The Thermodynamic Cost of Knowing: Observation as Irreversible Payment This preprint is a formal technical note establishing a rigorous, machine-verified bridge between Quantum Information Theory (Englert-Greenberger duality) and Classical Thermodynamics (Landauer's Principle). Abstract The UMST/DUMSTO Thermodynamic Gate has been extended to enforce physical quantum boundary conditions. Every mathematical proposition presented in this note is mechanically verified in Lean 4 with Mathlib. Across 53 core modules (58 .lean files), the underlying formalization contains 515 theorems, 33 lemmas, 6 explicit axioms, and 0 sorry gaps. We formally prove that every fraction of a bit of which-path information causes a proportional destruction of interference, and this destruction carries an exact Landauer thermodynamic cost. The Core Result: The Principle of Maximal Information Collapse The central theorem of this framework demonstrates that information extraction cannot be decoupled from thermodynamic dissipation. Specifically, the acquisition of which-path information strictly binds the residual coherence capacity of the quantum state, forcing a minimum Landauer erasure cost when the environment is reset. When an observer extracts which-path information from a quantum system, the residual coherence capacity is strictly bounded by: Residual Coherence = 1 − [ MI_extracted / (k_B T ln 2) ] ∈ [0, 1] This formally verifies that observation is an irreversible thermodynamic payment, anchoring the abstract axioms of quantum measurement (collapse) to the physical constraints of heat generation. Formally Proved Englert Complementarity: V² + I² ≤ 1 Which-Path Collapse: V → 0 after projection (Lüders channel) Cost-Coherence Identity: Q = k_B T ln(2) · (1 − Residual Capacity) Landauer Bound: Erasure cost matches thermodynamic heat dissipation Quantum Mutual Information: I(A:B) = S(A) + S(B) − S(AB) ≥ 0 General Residual Coherence: measurement-update coherence bound for arbitrary bases Erasure Channel: complete depolarization entropy bound Verification Stack & Source Availability While this document details the theoretical and mathematical framework, the complete proof source code is publicly available via the associated tytolabs GitHub Repository. Formal Proof: Lean 4 + Mathlib (53 modules, 515 theorems, 33 lemmas, 6 explicit axioms, 0 sorry). Property Testing: Haskell/QuickCheck (14 physical admissibility properties). Numerical Simulation: Python (stdlib + QuTiP) — 87 unit tests, 4 simulations. Cross-Language Specs: Coq/Rocq (9 modules, 0 Admitted) and Agda (11 modules) parity translations.
Observer-information entropy production quantifies the loss of recoverable information about a physical source when an already formed observation undergoes source-independent irreversible degradation. The statistical second-law statement
Σobs[s,t]=I(X;Rs)−I(X;Rt)=I(X;Rs∣Rt)≥0 follows from data processing, but by itself it does not identify a physical energetic or thermodynamic cost. This paper establishes such a connection within an explicit and deliberately restricted stochastic-thermodynamic regime. We consider a finite observer memory
Rt coupled to a single heat bath at temperature
T. A source label
X is fixed during the passive relaxation, the transition generator of
Rt is independent of
X, and the memory dynamics satisfies detailed balance with respect to a strictly positive equilibrium law
q. For the joint source--memory ensemble and for the unconditioned memory marginal, we define the standard stochastic-thermodynamic entropy-production rates. Using the relative-entropy chain rule and the detailed-balance
H-theorem, we prove the exact correlation-dissipation decomposition
kBS˙totXR=σobs+kBS˙totR. Consequently,
S˙totXR≥kBσobs,ΔStotXR[s,t]≥kBΣobs[s,t]. At fixed temperature the same result is an excess-free-energy dissipation bound, \[ \Fex_{XR}(s)-\Fex_{XR}(t) \ge k_BT\Sigma_{\mathrm{obs}}[s,t]. \] Equality holds when the memory marginal remains at equilibrium, in which case all thermodynamic irreversibility is attributable to the destruction of source--record correlation. A symmetric two-state memory provides an exactly solvable saturation example. The result is not a universal Landauer principle. It constrains total entropy production and loss of nonequilibrium free energy during passive decorrelation; it does not assert a universal heat or work cost for arbitrary information loss. Driven memories, source-dependent transition rates, active measurement, feedback, multiple reservoirs, and nonequilibrium steady states require the broader information-thermodynamic bookkeeping developed in stochastic thermodynamics. We then place the thermodynamic result beside two Fisher--Shannon bridges. Under Gaussian observation heat flow
Yt=X+Bt, observer-information dissipation obeys the exact identity
σobs(t)=21(td−J(Yt))=2t21mmse(X∣Yt), while pairwise statistical distinguishability obeys \[ \frac{d}{dt}\KL(p_t\|q_t) =-\frac12\Jrel(p_t\|q_t). \] Recent temporal-Fisher speed-limit results provide a complementary route from physical entropy production to the speed of probability evolution. Together these results separate three objects that are often conflated: thermodynamic irreversibility, Shannon information loss about the physical source, and Fisher-geometric statistical motion. The paper thereby supplies a physical-cost layer for observer information theory without identifying information with energy or thermodynamic entropy.
We establish a duality between quantum measurement and Landauer erasure at the level of quantum channels, using the Hilbert--Schmidt adjoint. For projective measurements on a finite-dimensional system, the quantum-to-classical measurement channel and the classical-to-quantum preparation channel are mutual adjoints, and the resulting involution exchanges the Schrodinger and Heisenberg pictures. The duality yields an exact thermodynamic identity: the total minimum work cost of a complete measurement-erasure cycle depends only on the Hilbert-space dimension and the temperature, independent of the input state or measurement basis. We prove that the Hilbert--Schmidt adjoint is the unique duality satisfying five physically motivated axioms when the dimension is three or greater; consequently, the total cycle cost is the only value consistent with these axioms. We show that measurement irreversibility equals the relative entropy of coherence in the input state, and that near-equilibrium work fluctuations scale with the same quantity. Combined with the Sagawa--Ueda generalized second law, these results yield a basis-independent bound on quantum Maxwell-demon work extraction that is strictly tighter than the standard constraint whenever the thermal state is not maximally mixed. The duality generalizes to arbitrary faithful reference states via the KMS dual, which for state-preserving channels coincides with the Petz recovery map of quantum error correction.
We propose a conceptual framework for analyzing the thermodynamic cost of observation when an observer with finite memory and energy resources attempts to model a quantum system of comparable complexity. Central to the framework is a taxonomy that decouples Bennett's logical depth into two orthogonal axes: descriptive complexity C_desc, governed by Landauer's erasure cost, and executive complexity C_exec, governed by dissipative cost per operation and the Margolus-Levitin temporal constraint. A key contribution is the replacement of the uncomputable Kolmogorov complexity by Levin's time-bounded complexity K_t, evaluated at the system's decorrelation time, which renders C_desc strictly computable while preserving its thermodynamic anchoring. We identify three independent collapse regimes for the information extraction efficiency: descriptive collapse, executive-dissipative collapse, and temporal collapse. This consolidated edition integrates a full numerical validation program with an important self-correction: the originally proposed executive-dissipative scaling law is shown to be internally inconsistent, and is revised to match established Trotter-error theory and finite-entanglement scaling for the Ising universality class. The qualitative architecture of the framework — three independent, thermodynamically anchored collapse mechanisms, and the Conjecture of Thermodynamic Inobservability — is unaffected by this correction.
This paper argues that the formation of a definite record in any physical system—whether a quantum measurement outcome or a neural decision—carries an unavoidable thermodynamic cost given by the Bennett-Landauer erasure bound: at least k_B T \ln 2 per bit of discarded branch information. The authors define a definite record operationally, without reference to observers, as a state in which a system selects one alternative from a set and renders the others inaccessible to itself, making the transition a many-to-one map on its state space. They address the central objection that decoherence is reversible by distinguishing the reversible entanglement step from the irreversible erasure step, arguing that the bound applies to the reset of the record system relative to its own accessible correlations. The framework is applied to quantum measurement and neural commitment as structural analogues rather than identical mechanisms, and the authors explicitly limit their claims: they do not derive the Second Law, explain the arrow of time, or require consciousness.
We propose that measurement is a physical event (a “Boundary Event”) that converts quantum uncertainty into classical certainty. This conversion requires a strict thermodynamic price of at least k_B T ln 2 of heat per bit, consistent with Landauer’s principle. This framework offers a thermodynamic rationale for the Born rule: the probability P = |ψ|² corresponds to the informational cost of erasing the sign distinction (±ψ) when creating irreversible classical records. We argue that the accumulated classical information from irreversible measurements underlies the geometry of spacetime. Furthermore, the exact relationship T_H S_BH = (1/2)Mc² for black holes suggests a thermodynamic cycle: measurement creates classical information by paying a thermodynamic cost, while black holes destroy classical information and return that cost as Hawking radiation. We interpret the factor of 1/2 as an equipartition between the energy of the substrate and the energy cost of its information. The framework provides testable predictions regarding measurement calorimetry, entanglement-space correlation, and the information-theoretic nature of time dilation.
Irreversibility has a fundamental thermodynamic cost, erasing information inevitably generates heat. This connection is quantified by the Landauer bound, which gives the minimum dissipation needed to erase a single bit of information. While this bound applies in both classical and quantum settings, it is saturated only in idealised limits of infinite resources. Here, we provide a unified first principles description of finite-resource erasure in both classical and quantum systems. We begin by proving the communal folklore that in the idealised regime the erasure cost of a bit encoded in a quantum or classical system is the same. Despite this, we show that their practical implementation differs substantially: achieving comparable erasure quality in quantum systems requires more control, larger accessible energy gaps and longer operation times. Classical protocols can achieve the erasure of a comparable quantum protocol under far weaker constraints which we expose in trade-off relations. Our results explain why practical erasure schemes fall short of Landauer's bound and show that classical systems enjoy several fundamental thermodynamic advantages.