Divergence / CONCEPT
Strict Positivity of Finite Classical KL Divergence
Distinct finite probability mass functions have strictly positive classical KL divergence.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES2
PROOF DEPTH3
DOCUMENT LINKS1
Distinct finite probability masses have positive KL divergence
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
- Bayesian Reverse Recovery at Zero DPI Defectstructural-affinity · Closed
- Channel Monotonicity of Finite Classical KL Divergencestructural-affinity · Closed
- Equality in Gibbs' Inequalitystructural-affinity · Closed
- Green-Class Window Divergencestructural-affinity · Closed
- Maximum Entropy on a Finite Alphabetstructural-affinity · Closed
- Nonnegativity of the Classical Data-Processing Defectstructural-affinity · Closed
- Posterior Equality, Recovery, and Permutation Channelsstructural-affinity · Closed
- Prime-Channel Log-Evidence Additivitystructural-affinity · Closed
- Strict Positivity of the Classical Data-Processing Defectstructural-affinity · Closed
- The Classical Petz Equality Conditionstructural-affinity · Closed
- The Grandmother Theoremstructural-affinity · Closed
- When the General-Support Data-Processing Defect Vanishesstructural-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