Quantum / CONCEPT
Eleven Actual Strong Subadditivities
A quantum five-party precursor is the sum of eleven actual nonnegative CMIs.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH23
DOCUMENT LINKS0
The eleven-term precursor
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
- Actual Density Strong Subadditivitystructural-affinity · Closed
- Classical Pointer Conditional Copystructural-affinity · Closed
- Finite Density Marginal Calculusstructural-affinity · Closed
- Five Party Actual Marginalsstructural-affinity · Closed
- Four Party Density Entropiesstructural-affinity · Closed
- Marginal Consistency after Discarding Estructural-affinity · Closed
- Physical AD Conditional Copystructural-affinity · Closed
- Zhang-Yeung for Classical AD Density Statesstructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance