TotalVariation / CONCEPT
Metric Laws and Variational Characterization for Finite Total Variation
Finite total variation satisfies the metric laws, the probability unit bound, and an attained event-gap characterization.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES17
PROOF DEPTH3
DOCUMENT LINKS1
Total variation is unconditionally nonnegative
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- Actual Finite-Tree Markov Stabilitytruth-dependency · Closed
- Actual mixing and complete-prefix comparisontruth-dependency · Closed
- Bhattacharyya Affinity and the Bretagnolle--Huber Boundtruth-dependency · Closed
- Bounds and Contraction for the Descent Defecttruth-dependency · Closed
- Five Mode Predictive Law Geometry Coretruth-dependency · Closed
- Green-Class Window Total Variationtruth-dependency · Closed
- Le Cam's Two-Point Lemma for Every Finite Testtruth-dependency · Closed
- Nearest Laws With Declared Joint Sourcestruth-dependency · Closed
- Original Single-Terminal Ternary Obstructiontruth-dependency · Closed
- Probability Extension Without Surjective Carrier Bondstruth-dependency · Closed
- Product Subadditivity of Total Variationtruth-dependency · Closed
- Rank-One Feedback and the First Readtruth-dependency · Closed
- Seeded Bernoulli factory execution and total-call lower boundstruth-dependency · Closed
- Sharp challenge instrumenttruth-dependency · Closed
- Sharp coupling budgets on a permutation cycletruth-dependency · Closed
- The Finite Negentropy Budgettruth-dependency · Closed
- Tree Parity Kernelstruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- A facet of every lazy two-causal polytopestructural-affinity · Closed
- Actual Finite-Tree Markov Stabilitystructural-affinity · Closed
- Actual mixing and complete-prefix comparisonstructural-affinity · Closed
- Bhattacharyya Affinity and the Bretagnolle--Huber Boundstructural-affinity · Closed
- Bounds and Contraction for the Descent Defectstructural-affinity · Closed
- Complete Twisted Prefix Comparisonstructural-affinity · Closed
- Composition parity and biased Bernoulli paritystructural-affinity · Closed
- Equality in Total-Variation Data Processingstructural-affinity · Closed
- Finite differences charge one common endpoint momentstructural-affinity · Closed
- Finite Start Five Mode Sourcestructural-affinity · Closed
- Finite Total Variation and Pinsker's Inequalitystructural-affinity · Closed
- Five Mode Predictive Law Geometry Corestructural-affinity · Closed
- Green-Class Window Total Variationstructural-affinity · Closed
- Le Cam's Two-Point Lemma for Every Finite Teststructural-affinity · Closed
- Measurable Random Control and Actual Complete Recordsstructural-affinity · Closed
- Native uniform innovations and the critical Bernoulli-factory momentstructural-affinity · Closed
- Nearest Laws With Declared Joint Sourcesstructural-affinity · Closed
- Operational sparse-probe compression boundstructural-affinity · Closed
- Original Single-Terminal Ternary Obstructionstructural-affinity · Closed
- OverlapBoundstructural-affinity · Closed
- Parity kernel massesstructural-affinity · Closed
- Probability Extension Without Surjective Carrier Bondsstructural-affinity · Closed
- Product Subadditivity of Total Variationstructural-affinity · Closed
- Rank-One Feedback and the First Readstructural-affinity · Closed
- Seeded Bernoulli factory execution and total-call lower boundsstructural-affinity · Closed
- Sharp challenge instrumentstructural-affinity · Closed
- Sharp coupling budgets on a permutation cyclestructural-affinity · Closed
- The Finite Negentropy Budgetstructural-affinity · Closed
- The relabelled chained inequality for outcome communicationstructural-affinity · Closed
- Tree Parity Kernelsstructural-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