DivergenceSupport / CONCEPT
Log-Sum Inequality and Joint Convexity on General Support
The finite log-sum inequality and joint convexity of real-valued KL divergence under discrete absolute continuity.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES2
PROOF DEPTH1
DOCUMENT LINKS1
Coordinatewise relative entropy dominates its aggregate
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
- Product Additivity of Finite Classical KL Divergencestructural-affinity · Closed
- Sharp Finite Fano Inequality in Natsstructural-affinity · Closed
- The Grandmother Theoremstructural-affinity · Closed
- Weak Finite Fano Inequality in Natsstructural-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