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 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.
This paper proposes that quantum measurement is not the acquisition of information, but the execution of encoding. Starting solely from the second lawof thermodynamics and physical encoding operations, without presupposing theinner product of Hilbert space, we construct a pre-Hilbert space of differences, reestablishing quantum states as the coexistence of physical differences. It is demonstrated that the essence of a measurement device is an encoder, whose ideal dynamical form is uniquely derived from the thermodynamic stability of faithfulnessand linear response. On this basis, the Born rule is proved to be the thermodynamically optimal solution for an encoder pursuing maximum faithfulness underfinite resources, rather than an independent axiom. The irreversibility of measurement is strictly confined to coarse-grained entropy increase, not a violationof unitary evolution, and a lower bound for the energy cost of quantum-classicalinformation conversion is given via a generalized Landauer principle. The entirework combines encoding hierarchies with physical truncation conditions, providing a low-circularity, logically self-consistent foundational framework for quantummeasurement.
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.
I dispute the conventional claim that the second law of thermodynamics is saved from a "Maxwell's Demon" by the entropy cost of information erasure, and show that instead it is measurement that incurs the entropy cost. Thus Brillouin, who identified measurement as savior of the second law, was essentially correct, and putative refutations of his view, such as Bennett's claim to measure without entropy cost, are seen to fail when the applicable physics is taken into account. I argue that the tradition of attributing the defeat of Maxwell's Demon to erasure rather than to measurement arose from unphysical classical idealizations that do not hold for real gas molecules, as well as a physically ungrounded recasting of physical thermodynamical processes into computational and information-theoretic conceptualizations. I argue that the fundamental principle that saves the second law is the quantum uncertainty principle applying to the need to localize physical states to precise values of observables in order to effect the desired disequilibria aimed at violating the second law. I obtain the specific entropy cost for localizing a molecule in the Szilard engine, which coincides with the quantity attributed to Landauer's principle. I also note that an experiment characterized as upholding an entropy cost of erasure in a "quantum Maxwell's Demon" actually demonstrates an entropy cost of measurement.
I dispute the conventional claim that the second law of thermodynamics is saved from a “Maxwell’s demon” by the entropy cost of information erasure and show that instead it is measurement that incurs the entropy cost. Thus, Brillouin, who identified measurement as savior of the second law, was essentially correct, and putative refutations of his view, such as Bennett’s claim to measure without entropy cost, are seen to fail when the applicable physics is taken into account. I argue that the tradition of attributing the defeat of Maxwell’s demon to erasure rather than to measurement arose from unphysical classical idealizations that do not hold for real gas molecules, as well as a physically ungrounded recasting of physical thermodynamical processes into computational and information-theoretic conceptualizations. I argue that the fundamental principle that saves the second law is the quantum uncertainty principle applying to the need to localize physical states to precise values of observables in order to effect the desired disequilibria aimed at violating the second law. I obtain the specific entropy cost for localizing a molecule in the Szilard engine and show that it coincides with the quantity attributed to Landauer’s principle. I also note that an experiment characterized as upholding an entropy cost of erasure in a “quantum Maxwell’s demon” actually demonstrates an entropy cost of measurement.
The minimum amount of thermodynamic work required in order to implement a quantum computation or a quantum state transformation can be quantified using frameworks based on the resource theory of thermodynamics, deeply rooted in the works of Landauer and Bennett. For instance, the work we need to invest in order to implement n independent and identically distributed (i.i.d.) copies of a quantum channel is quantified by the thermodynamic capacity of the channel when we require the implementation's accuracy to be guaranteed in diamond norm over the n-system input. Recent work showed that work extraction can be implemented universally, meaning the same implementation works for a large class of input states, while achieving a variable work cost that is optimal for each individual i.i.d. input state. Here, we revisit some techniques leading to derivation of the thermodynamic capacity, and leverage them to construct a thermodynamic implementation of n i.i.d. copies of any time-covariant quantum channel, up to some process decoherence that is necessary because the implementation reveals the amount of consumed work. The protocol uses so-called thermal operations and achieves the optimal per-input work cost for any i.i.d. input state; it relies on the conditional erasure protocol in our earlier work, adjusted to yield variable work. We discuss the effect of the work-cost decoherence. While it can significantly corrupt the correlations between the output state and any reference system, we show that for any time-covariant i.i.d. input state, the state on the output system faithfully reproduces that of the desired process to be implemented. As an immediate consequence of our results, we recover recent results for optimal work extraction from i.i.d. states up to the error scaling and implementation specifics, and propose an optimal preparation protocol for time-covariant i.i.d. states.
Quantum error correction protects logical qubits from decoherence but requires repeated syndrome extraction whose fundamental thermodynamic cost has not been characterized exactly. We prove five theorems and two corollaries that supply this characterization for stabilizer codes. First, a no-go result establishes that every error-correction cycle requires strictly positive work, ruling out passive error correction. Second, a duality identity shows that the combined measurement and erasure cost per syndrome-extraction round is determined solely by the number of stabilizer generators; only the split between measurement and erasure depends on the error rate. Third, a coherence dissipation theorem quantifies the additional irreversible work generated when projective stabilizer measurements destroy quantum coherence in the data register. CSS codes eliminate this cost for generators aligned with the noise channel’s eigenbasis, yielding a thermodynamic criterion for code selection under non-Pauli noise. Fourth, a Crooks fluctuation theorem for the full syndrome cycle yields a Jarzynski equality and exponential tail bounds on rare work fluctuations. Fifth, a variance formula captures the effect of syndrome correlations among stabilizers that share physical qubits. We evaluate all results across eleven codes, from a three-qubit repetition code to a 144-qubit quantum low-density parity-check code, establishing a Pareto trade-off between thermodynamic cost and error-suppression capability. Comparison with four experimental platforms—two superconducting, one trapped-ion, and one neutral-atom—shows that current hardware operates five to eleven orders of magnitude above the Landauer limit, with control and readout hardware, not syndrome extraction, as the dominant source of dissipation.