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.
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.
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 the transition from quantum correlation to objective classical record is a thermodynamically irreversible process, and derive a bound: the irreversible record-formation channel must dissipate at least k_B T ln 2 of heat per bit of classical information created. Using an explicit system–pointer–bath model, we identify the precise stage at which this Landauer cost is paid: not during unitary premeasurement coupling, but during irreversible amplification when the pointer becomes entangled with N >> 1 environmental degrees of freedom. We formulate a record-formation heat bound and propose a circuit-QED differential calorimetry experiment using superconducting qubits and nanocalorimeters (TES or SNS nanobolometer class). The protocol compares heat dissipation between record-forming measurements and matched controls, yielding a differential observable ΔQ that suppresses dominant readout-chain backgrounds. Three control experiments (constant-preparation null test, measurement-strength scaling, and reversal-delay timing sweep) provide discrimination from systematic effects. Sensitivity analysis using demonstrated nanobolometer performance shows detection is feasible with N ~ 10^9 repetitions at 10 mK, achieving SNR ≳ 10. The bound is falsified if the observed slope of ΔQ versus classical information I(X;Y) falls statistically below k_B T ln 2.
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 propose that the transition from quantum correlation to objective classical record is a thermodynamically irreversible process, and derive a bound: the irreversible record-formation channel must dissipate at least kBT ln 2 of heat per bit of classical information created. Using an explicit system-pointer-bath model, we identify the precise stage at which this Landauer cost is paid: not during unitary premeasurement coupling, but during irreversible amplification when the pointer becomes entangled with N ≫ 1 environmental degrees of freedom. We formulate a record formation heat bound and propose a circuit-QED differential calorimetry experiment using superconducting qubits and nanocalorimeters (TES or SNS nanobolometer class). The protocol compares heat dissipation between record-forming measurements and matched controls, yielding a differential observable ∆Q that suppresses dominant readout-chain backgrounds. Three control experiments (constant-preparation null test, measurement-strength scaling, and reversal-delay timing sweep) provide discrimination from systematic effects. Sensitivity analysis using demonstrated nanobolometer performance shows detection is feasible with N ∼ 10[9] repetitions at 10 mK, achieving SNR ≳ 10. The bound is falsified if the observed slope of ∆Q versus classical information I(X; Y ) falls statistically below kBT ln 2.