RenyiDivergence / CONCEPT
Zero Characterization of Finite Renyi Divergence
Finite Renyi divergence is nonnegative above order one and vanishes exactly when the two normalized laws coincide, with deliberately different support hypotheses below and above one.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES0
PROOF DEPTH8
DOCUMENT LINKS1
Finite Renyi divergence is nonnegative above one under absolute continuity
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Data Processing for Finite Renyi Divergencestructural-affinity · Closed
- Equality in Gibbs' Inequalitystructural-affinity · Closed
- Finite Order Comparisons for Renyi Divergencestructural-affinity · Closed
- Order Monotonicity of Finite Renyi Divergencestructural-affinity · Closed
- Product Additivity of Finite Renyi Divergencestructural-affinity · Closed
- Renyi Divergence: Order Infinity Limitstructural-affinity · Closed
- Renyi Divergence: Order One Limitstructural-affinity · Closed
- Renyi Divergence: Order Spectrumstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance