Quantum / CONCEPT
Conditioning Trace-Distance Constant
Positive conditioning filters have sharp trace-distance constant equal to the spectral condition number.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES0
PROOF DEPTH8
DOCUMENT LINKS1
Conditioning has sharp constant equal to the condition number
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Branch-Conditioned Trace Distancestructural-affinity · Closed
- Exact Conditional Preparation Coststructural-affinity · Closed
- Finite Kraus Instrument Born Marginalstructural-affinity · Closed
- Fixed-Pair Convexity of Generalized Fidelitystructural-affinity · Closed
- Mayer zero fidelity and process fidelitystructural-affinity · Closed
- Pure covariant programs do not match the mixed dimensionstructural-affinity · Closed
- The sharp A|BC constant of the GHZ measurestructural-affinity · Closed
- The threshold prior of the G-teststructural-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