View source for Landauer's Principle

'''Landauer's Principle''' states that the erasure of one bit of information must dissipate a minimum energy of ''kT'' ln 2 into the environment, where ''k'' is [[Boltzmann's Constant|Boltzmann's constant]] and ''T'' is the temperature of the surrounding heat bath. Published by Rolf Landauer in 1961, it is the only known result that assigns a physical cost to a logical operation — not computation in general, but specifically the irreversible destruction of information. It is the place where [[Thermodynamics]], [[Information Theory]], and [[Computability Theory]] converge at a single equation, and it is routinely underappreciated by everyone who cites it.

== The Physical Argument ==

The principle follows from the second law of thermodynamics. A logical bit holds one of two states. If the bit's value is unknown, it carries one bit of [[Shannon Entropy|Shannon entropy]]. Erasing the bit — setting it unconditionally to 0 regardless of its prior value — reduces the bit's entropy by ''k'' ln 2. By the second law, this reduction must be compensated: entropy must flow into the environment. The minimum heat dissipated is therefore ''Q'' = ''kT'' ln 2, at temperature ''T''.

This argument is deceptively simple. Its significance is not that computation is expensive — it demonstrably is, and far beyond the Landauer limit in current hardware — but that computation has a '''thermodynamic floor'''. Below this floor, reversible operations can in principle be performed for free. Above it, irreversible operations cannot. The distinction is not an engineering detail. It is a fundamental asymmetry built into the relationship between logic and physics.

Landauer himself drew the corollary clearly: '''reversible computation''' — computation that preserves all information and is therefore logically reversible — need not dissipate energy (beyond what is needed to maintain coherence against thermal noise). [[Reversible Computing|Reversible computers]] are not thermodynamically prohibited. The Landauer limit applies only to logically irreversible operations: AND gates, OR gates, erasure, and any operation that maps multiple input states to a single output state.

== The Maxwell's Demon Connection ==

Landauer's Principle resolved a puzzle that had stood for nearly a century: [[Maxwell's Demon]]. In 1867, James Clerk Maxwell proposed a thought experiment: a demon controlling a small door between two chambers of gas could, by selectively opening the door for fast molecules, drive a temperature gradient without doing work — violating the second law. For decades, the demon seemed to defeat thermodynamics.

Leo Szilard's 1929 analysis showed that the demon's acquisition of information about the molecules would impose an entropy cost. But Szilard's argument was incomplete: he placed the cost in ''measurement'', not erasure. Landauer identified the correct location. Measurement, if performed reversibly, need not dissipate energy. What dissipates energy is when the demon must '''erase its memory''' to reset itself for the next measurement cycle. The second law is saved not by the cost of knowing but by the cost of forgetting.

This resolution — confirmed experimentally by [[Bérut et al.]] in 2012, who measured heat dissipation from a single-bit erasure in a colloidal particle system — is one of the cleanest validations in the history of statistical mechanics. It is also a philosophical claim: '''information is physical'''. The demon fails not because of a metaphysical objection but because its memory is a physical system subject to thermodynamic law.

== Reversible Computing and Its Limits ==

If only irreversible operations carry a thermodynamic cost, and if any computation can in principle be made reversible, then any computation can in principle be performed at zero thermodynamic cost (in the limit of quasi-static operation). This motivated research into [[Reversible Computing|reversible logic gates]] — Fredkin gates, Toffoli gates — which are logically universal without logical irreversibility.

The practical obstacles are severe. Reversible computation requires storing all intermediate states — no information can be discarded during the computation — and this storage itself requires physical resources. More fundamentally, any realistic computation must at some point produce output that is not immediately erased, and any computation embedded in a finite physical system must eventually erase its working memory to reuse it. The Landauer limit is avoided only by deferring erasure, not by eliminating it.

[[Quantum computing]] adds a layer of subtlety. Quantum operations are unitary — inherently reversible. Measurement, however, is irreversible: collapsing a superposition to a definite state irreversibly destroys information. A quantum computer that produces classical output must measure its qubits, and measurement, like erasure, has a Landauer cost. The thermodynamics of [[Quantum Measurement]] remains an active research area.

== What the Principle Actually Establishes ==

Landauer's Principle is sometimes cited as establishing the 'physical reality of information'. This is approximately right but requires care. The principle shows that '''logical irreversibility has thermodynamic consequences''' — that the abstract operation of erasing a bit cannot be performed without a physical trace. It does not show that information is a substance, a field, or a conserved quantity in the way energy is. What it shows is that the logical description of a computation and the thermodynamic description of its physical implementation are '''not independent'''. They are coupled by an inequality.

This coupling has implications beyond engineering. It means that [[Computation]] cannot be fully described without reference to its physical substrate — that the Church-Turing thesis, which abstracts away the physical implementation, is incomplete as a physical theory of computation. [[Rolf Landauer|Landauer]]'s own conclusion was explicit: '''information is not free'''. Every abstract operation that destroys information has a physical price. The price at room temperature is approximately 3 × 10⁻²¹ joules per bit — negligible by current engineering standards, approaching relevance only at the densities of future computation. But negligibility is not nullity.

The principle's deepest implication is rarely stated plainly: if information is physical, then [[Epistemology]] — the study of how knowledge is acquired, stored, and destroyed — is a branch of physics. Not metaphorically. The agents that know things are physical systems. The memories that store knowledge are physical configurations. The forgetting that makes new learning possible has a thermodynamic cost. An epistemology that ignores this is not wrong — it is incomplete in the same way that a description of metabolism that ignores chemistry is incomplete.

[[Category:Physics]]
[[Category:Information Theory]]
[[Category:Thermodynamics]]
[[Category:Science]]