trureturingGitHub MATHEMATICAL ATLAS

Quantum / CONCEPT

Entropy Production by Coherence Deletion

Unitary evolution followed by coordinate-basis pinching produces entropy equal to the deleted coherence, with nonnegative gains that telescope.

Closed Authored exposition
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES17
PROOF DEPTH5
DOCUMENT LINKS0
THEOREM

Finite diagonal functional calculus

RELATIONSHIP ATLAS

Every connection, in context.

Explore in 3D
Direct recorded relationships
The Grandmother TheoremThe Grandmother TheoremVon Neumann Entropy Under Basis PinchingVon Neumann Entropy Under BasisPinchingProjection Probability FlowProjection Probability FlowEntropy Production by Coherence DeletionEntropy Production by CoherenceDeletionCanonical Quantum Channel Data ProcessingCanonical Quantum Channel DataProcessingActual relative modular modelActual relative modular modelThe three-state root-fidelity Holevo boundThe three-state root-fidelityHolevo boundLieb overlap and the weighted resolvent budgetLieb overlap and the weightedresolvent budgetFuchs's physical-basis logarithm question is falseFuchs's physical-basislogarithm question is falseCoherent Premeasurement and Correlation TaxCoherent Premeasurement andCorrelation TaxEnergy and Information with Initial CorrelationsEnergy and Information withInitial CorrelationsClassical finite mixturesClassical finite mixturesOrder-three Renyi information combiningOrder-three Renyi informationcombiningA counterexample to Zhang–Wu–Fei superadditivityA counterexample toZhang–Wu–Fei superadditivityPositiveMapJensenPositiveMapJensenA mixed-state counterexample to the quantum inverse sumset boundA mixed-state counterexample tothe quantum inverse sumsetboundA counterexample to mixed-power norm monotonicityA counterexample to mixed-powernorm monotonicityA positive block does not force normalityA positive block does not forcenormalityA positive map reflecting positive contractionsA positive map reflectingpositive contractionsWord traces do not control fractional Schatten normsWord traces do not controlfractional Schatten normsData processing fails for the cumulant-based Renyi functional at every order above oneData processing fails for thecumulant-based Renyi functionalat every order above one
Proof dependencyStructural affinityDocument link

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.