RenyiDivergence / CONCEPT
Order Monotonicity of Finite Renyi Divergence
Finite Renyi divergence is nondecreasing in its order separately below and above order one under minimal reference-mass hypotheses.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES2
PROOF DEPTH6
DOCUMENT LINKS1
Finite Renyi divergence is monotone below order one
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Above-One Data Processing for Finite Renyi Divergencestructural-affinity · Closed
- Chernoff Information Zero Criterionstructural-affinity · Closed
- Data Processing for Finite Renyi Divergencestructural-affinity · Closed
- Divergence Support: General Support Additivitystructural-affinity · Closed
- Finite Order Comparisons for Renyi Divergencestructural-affinity · Closed
- Finite Renyi Divergencestructural-affinity · Closed
- Hellinger Data Processing Through Affinitystructural-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
- Skew Symmetry of Finite Renyi Divergencestructural-affinity · Closed
- Zero Characterization of Finite Renyi Divergencestructural-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