A restricted form of Landauer’s principle, independent of computational considerations, is shown to hold for thermal systems by reference to the joint entropy associated with conjugate observables. It is shown that the source of the compensating entropy for irreversible physical processes is due to the ontological uncertainty attending values of such mutually incompatible observables, rather than due to epistemic uncertainty, as traditionally assumed in the information-theoretic approach. In particular, it is explicitly shown that erasure of logical (epistemic) information via reset operations is not equivalent to erasure of thermodynamic entropy, so that the traditional, information-theoretic form of Landauer’s principle is not supported by the physics. A further implication of the analysis is that, in principle, there can be no Maxwell’s Demon in the real world.
A restricted form of Landauer’s principle, independent of computational considerations, is shown to hold for thermal systems by reference to the joint entropy associated with conjugate observables. It is shown that the source of the compensating entropy for irreversible physical processes is due to the ontological uncertainty attending values of such mutually incompatible observables, rather than due to epistemic uncertainty, as traditionally assumed in the information-theoretic approach. In particular, it is explicitly shown that erasure of logical (epistemic) information via reset operations is not equivalent to erasure of thermodynamic entropy, so that the traditional, information-theoretic form of Landauer’s principle is not supported by the physics. A further implication of the analysis is that, in principle, there can be no Maxwell’s Demon in the real world.
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.
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.
It is widely believed that measurement is accompanied by irreversible entropy increase. This conventional wisdom is based in part on Szilard’s 1929 study of entropy decrease in a thermodynamic system by intelligent intervention (i.e., a Maxwell’s demon) and Brillouin’s association of entropy with information. Bennett subsequently argued that information acquisition is not necessarily irreversible, but information erasure must be dissipative (Landauer’s principle). Inspired by the ensuing debate, we revisit the membrane model introduced by Szilard and find that it can illustrate and clarify (1) reversible measurement, (2) information storage, (3) decoupling of the memory from the system being measured, and (4) entropy increase associated with memory erasure and resetting.
Landauer's erasure principle, which is one of the defining elements of modern information theory, states the minimum work required to erase 1 bit of information is kT ln(2), where T is the temperature of a thermal reservoir and k is Boltzmann's constant [1]. This principle arises from the maximisation of the entropy of the whole system (memory bit plus thermal reservoir) subject to energy conservation. In this talk we explore a different kind of statistical mechanics based on more general constraints other than energy conservation. Such systems have the potential to provide new mechanisms for erasing information, initialising the state of quantum systems and providing novel "heat" engines. We consider a gas of spin-1/2 systems (e.g. energy degenerate two-state atoms) which comes to equilibrium via angular momentum conserving interactions (e.g. elastic collisions). We model the gas as a canonical ensemble of spin particles constrained by the conservation of angular momentum. The gas acts as a spin reservoir whose macrostate is characterised by the total (fixed) average angular momentum of the gas. Our 1 bit memory device is represented by one spin-1/2 particle in an arbitrary mixed state. The state of the memory is erased by performing controlled operations on the memory particle and ancillary spin-1/2 particles and letting the memory and ancilla particles come to equilibrium with the spin reservoir. The cost of erasing 1 bit of memory is shown to be the angular momentum expended in the controlled operations. In principle there is no energy cost. We then apply this erasure mechanism to the Maxwell's demon problem. Imagine the demon is using the hot molecules of a thermal gas to produce mechanical work and we want to erase the demon's memory. If another thermal reservoir is used for the erasure, the associated energy cost will be greater than the mechanical work extracted by the demon [2]. However, we can avoid this energy cost by using the spin-reservoir erasure mechanism. In principle, all the heat can be extracted from the thermal reservoir as mechanical work for zero energy cost. The second law of thermodynamics and energy conservation are not violated by this process. The cost is in terms of angular momentum expended and an increase in the entropy of the spin reservoir. Moreover, the entropy of the whole system is increased in the process. [1] R. Landauer, IBM J. Res. Lett., 67 661 (1961). [2] C.H. Bennett, Int. J. Theor. Phys. 21, 905 (1982).
Abstract Landauer’s principle introduces a symmetry between computational and physical processes: erasure of information, a logically irreversible operation, must be underlain by an irreversible transformation dissipating energy. Monitoring micro- and nano-systems needs to enter into the energetic balance of their control; hence, finding the ultimate limits is instrumental to the development of future thermal machines operating at the quantum level. We report on the experimental investigation of a lower bound to the irreversible entropy associated to generalized quantum measurements on a quantum bit. We adopted a quantum photonics gate to implement a device interpolating from the weakly disturbing to the fully invasive and maximally informative regime. Our experiment prompted us to introduce a bound taking into account both the classical result of the measurement and the outcoming quantum state; unlike previous investigation, our entropic bound is based uniquely on measurable quantities. Our results highlight what insights the information-theoretic approach provides on building blocks of quantum information processors.
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.