Quantum / CONCEPT
Branch-Conditioned Trace Distance
A trace-nonincreasing finite Kraus branch contracts trace distance after weighting by its probability.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES1
PROOF DEPTH3
DOCUMENT LINKS1
Conditioning is stable above the branch-probability floor
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
- Audenaert's binary Holevo boundstructural-affinity · Closed
- Conditioning Trace-Distance Constantstructural-affinity · Closed
- Finite Trace Distancestructural-affinity · Closed
- Fisher information and the qubit rank alternativestructural-affinity · Closed
- Ordered GNS Projectionsstructural-affinity · Closed
- Probe Threshold Optimizationstructural-affinity · Closed
- Pure-qubit affine geometrystructural-affinity · Closed
- Rare-Branch Conditional Error Sharpnessstructural-affinity · Closed
- The sharp local-perception CHSH boundstructural-affinity · Closed
- TwoPositiveTransitionTracestructural-affinity · Closed
- Weil: Rank Tracestructural-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