Divergence / CONCEPT
Product Additivity of Finite Classical KL Divergence
Finite real-valued classical KL divergence is additive on product mass functions.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH1
DOCUMENT LINKS1
Finite classical KL divergence is additive on products
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
- Chain Rule for Finite Classical KL Divergencestructural-affinity · Closed
- Classical Data Processing as a Chain Identitystructural-affinity · Closed
- Classical Data Processing on General Supportstructural-affinity · Closed
- Equality in the Finite Log-Sum Inequalitystructural-affinity · Closed
- Log-Sum Inequality and Joint Convexity on General Supportstructural-affinity · Closed
- Power Additivity of Finite Classical KL Divergencestructural-affinity · Closed
- Power Additivity of Finite Renyi Divergencestructural-affinity · Closed
- Product Additivity of Finite Renyi Divergencestructural-affinity · Closed
- The Grandmother Theoremstructural-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