trureturingGitHub MATHEMATICAL ATLAS

Quantum / CONCEPT

Finite Trace Distance

Trace norm, actual density-state distance, and contraction for every canonical quantum channel.

Closed Authored exposition
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES29
PROOF DEPTH1
DOCUMENT LINKS0
THEOREM

The Gram matrix computes transformed inner products

RELATIONSHIP ATLAS

Every connection, in context.

Explore in 3D
Direct recorded relationships
Finite Density States and Quantum ChannelsFinite Density States andQuantum ChannelsFinite Trace DistanceFinite Trace DistanceA counterexample to the maximal reverse Pinsker boundA counterexample to the maximalreverse Pinsker boundTwo unbounded entanglement gaps with one qubitTwo unbounded entanglement gapswith one qubitFinite Record Recovery ErrorFinite Record Recovery ErrorThe three-state root-fidelity Holevo boundThe three-state root-fidelityHolevo boundA generic-state counterexample in the kicked Ising chainA generic-state counterexamplein the kicked Ising chainComparability of conical-design concurrence boundsComparability of conical-designconcurrence boundsFinite Sector Channel OptimalityFinite Sector ChannelOptimalitySchur Channel Upper BoundSchur Channel Upper BoundSelective LOCC can increase the Moreau-Yosida entanglement of formationSelective LOCC can increase theMoreau-Yosida entanglement offormationNegativity is not the partial transpose distance to the PPT statesNegativity is not the partialtranspose distance to the PPTstatesThe negativity of randomized graph states is not monotoneThe negativity of randomizedgraph states is not monotoneWerner states undetected by all complex testersWerner states undetected by allcomplex testersFinite Reference Channel DistanceFinite Reference ChannelDistanceThe Alsing–Birrittella logarithmic-negativity sandwichThe Alsing–Birrittellalogarithmic-negativity sandwichTrace-norm CMI contraction conjectureTrace-norm CMI contractionconjectureThe qutrit overlap entropy bound is unattainableThe qutrit overlap entropybound is unattainableThe trace-corrected arithmetic boundThe trace-corrected arithmeticboundCentered Kraus trace norm on finite referencesCentered Kraus trace norm onfinite referencesWeighted Bottcher-Wenzel, case (ii)Weighted Bottcher-Wenzel, case(ii)Bound coherence in every dimension at least threeBound coherence in everydimension at least threeBranch-Conditioned Trace DistanceBranch-Conditioned TraceDistanceRare-Branch Conditional Error SharpnessRare-Branch Conditional ErrorSharpnessOptimality of the coefficient in the entanglement-breaking norm inequalityOptimality of the coefficientin the entanglement-breakingnorm inequalityThe overlap-to-purity part of Kopel's equality theoremThe overlap-to-purity part ofKopel's equality theoremThe least trace-distance contraction coefficient over a classical channelThe least trace-distancecontraction coefficient over aclassical channelReal rectangular nuclear-norm additivityReal rectangular nuclear-normadditivityExpanding square matrices and their singular valuesExpanding square matrices andtheir singular valuesThe lower Gelfand–Naimark ratio inequalityThe lower Gelfand–Naimark ratioinequalityUnitarily invariant norms and symmetric diagonal gaugesUnitarily invariant norms andsymmetric diagonal gauges
Proof dependencyStructural affinityDocument link

Certified topology / UPSTREAM

Prerequisites

Certified topology / DOWNSTREAM

Consequences

RELATED KNOWLEDGE

Structural connections

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 archive

Certified provenance

Exact release coordinate

Authority boundary

Dependency edges, status, and source coordinates come from the verified release and certified topology. Blueprint exposition is labeled separately. A fallback title carries no additional mathematical authority.