The Universe Is a ComputerEpisode 6 ／ Landauer and Reversible Computing

Where information and physics touch at a single number

Only erasing has a cost Computation itself can, in principle, be free. Heat is generated only when you discard (erase) information.
The minimum cost is \(kT\ln 2\) ── the "information = physics" of Episode 3 becomes, here, one number you can measure.

Callbacks: Episode 3 (the information = physics duality), Episode 2 (the universe is reversible) Hook equation: \(E_{\min}=kT\ln 2\)

In Episode 3 we said, "information and physics are just two directions for reading one invariant." That may have sounded abstract. This time is the scene where it becomes something you can touch as a concrete number ── erase one bit and you release at least \(kT\ln2\) of heat (Landauer's principle, confirmed by experiment). And computation itself can be free (reversible computing). The cost was tied not to computing, but to discarding information.

01Erase information and heat comes out ── Landauer's principle

Minimum cost of erasing one bit $$E_{\min}=kT\ln 2\;\approx\;2.9\times10^{-21}\,\text{J}\;\approx\;0.018\,\text{eV}\quad(\text{room temperature})$$

Why "erasure"? ── A logically irreversible operation (erase, overwrite, AND) merges distinct states into one. Phase space (the number of possible states) shrinks. By the second law, that shrinkage must be paid off as heat to the environment. For one bit (2 states → 1 state), that is \(k\ln2\) of entropy, or \(kT\ln2\) as heat. Tiny, but a floor that is not zero.

Figure: the heat of bit erasure. A bit sits in a double well, left (= 1) or right (= 0). Advance the erasure protocol with the slider and it lowers the barrier and tilts, gathering both states into the right (= 0). By the amount the state count drops 2 → 1, the heat meter on the right fills to \(kT\ln2\).
Advance the slider and the two states merge into one, dissipating heat up to kT ln2.
bit = 1 (left) bit = 0 (right)

02Computation itself is free ── reversible computing (Bennett)

Conversely, an operation that does not merge states has no such floor. Reversible gates (NOT, CNOT, Toffoli, Fredkin) throw nothing away and map one-to-one, so in principle they are zero-cost. Keep the intermediate "garbage" around and, at the end, run it backwards (uncompute) so you fold it up without erasing ── then any computation can be made reversible (Bennett).

Where the cost lives

What eats energy is not "computing" but "erasing" (logical irreversibility). Computation can, in principle, be free. Heat is generated only at the moment you discard information.

◇ ◇ ◇

03The touch point of information = physics ── the payoff from Episode 3

Here Episode 3 gets cashed out. Maxwell's demon: sort molecules using information and you seem to break the second law for free. The answer to a long-standing puzzle ── eventually the demon must erase its memory and reset, and at that moment it pays \(kT\ln2\) per bit (Bennett, Landauer). The payment always cancels the gain, and the law holds.

Episode 3 becomes one number This is a mechanistic proof that the Shannon entropy (information) and the thermodynamic entropy (physics) are one and the same. The invariant we spoke of in Episode 3 ── "from the information side / from the physics side = directions of reading, same invariant" ── shows its face here as a single measurable number, \(kT\ln2\). The demon's "information" and "heat" balance in the same currency.

04What it means for the universe ── payoff from Episode 2 and the reveal

In Episode 2, the pass condition was that the universe-as-computer is reversible / unitary. Reversible = never erasing = zero Landauer cost. So at the root, the universe does not dissipate, and there is no arrow of time. Then where does the heat, dissipation, and direction of time that we clearly feel come from?

The reveal ── heat is "information you stopped tracking"

Dissipation is born from coarse-graining. When we treat things macroscopically, we stop following the microscopic degrees of freedom. That discarded (untracked) information is heat. Entropy increase = information flowing from accessible (macro) to inaccessible (micro). The root may be reversible, but by exactly the amount of tracking we gave up, heat increases in our ledger.

The honest line

Landauer's principle (\(E_{\min}=kT\ln2\)) is established physics, confirmed by experiment (Bérut et al. 2012, Jun et al. 2014). Reversible computing (Bennett) and the resolution of Maxwell's demon are also standard. But \(kT\ln2\) is a lower bound: today's computers dissipate \(10^{4}\text{–}10^{6}\) times more or worse (not a practical limit but a floor in principle). The deepest foundations (the generality of the derivation) are still debated.

"The universe never erases = at the root there is no arrow of time" is a correct framework, but why the universe began at low entropy (the Past Hypothesis) is a separate unsolved problem (the arrow-of-time episode of the sister series). Landauer gives the "information ⟷ heat" link, but not "why the beginning was low-entropy." This document plants no "solved" flag.

Practice problems (solvable from this sheet + figure)
  1. Why does only "erasure" carry a cost, while "computation" can be free?
    See the answer
    Erasure is logically irreversible, merging distinct states into one = phase space shrinks = by the second law you pay kT ln2 of heat. Reversible gates (NOT/CNOT/Toffoli) do not merge states and are one-to-one, so there is no floor. That is why, if you keep the garbage and uncompute it, computation is in principle zero-cost.
  2. How is Maxwell's demon resolved, and how does it relate to Episode 3?
    See the answer
    The gain the demon obtains by sorting is always cancelled when it erases its memory to reinitialize, paying kT ln2 per bit, so the second law holds. This is the proof that Shannon entropy (information) = thermodynamic entropy (physics) = the "information and physics are the same invariant" of Episode 3, now appearing as one number, kT ln2.
  3. In a unitary (reversible) universe, where do dissipation and the arrow of time come from?
    See the answer
    At the root it is reversible with zero dissipation. Dissipation arises from coarse-graining = ceasing to track microscopic degrees of freedom, and the discarded information becomes heat. Entropy increase = information flowing from macro to micro. But "why it began at low entropy (the Past Hypothesis)" is a separate unsolved problem.

Episode 6 summaryHeat is generated only when you discard

Erasing one bit releases at least \(kT\ln2\) of heat (Landauer, experimentally confirmed) ── because a logically irreversible operation merges states and shrinks phase space. Reversible computing (Bennett), by contrast, is in principle free. The cost is tied to "erasure," not "computation." Maxwell's demon is resolved here too, and Episode 3's "information = physics" became one measurable number, \(kT\ln2\).

The reversible universe of Episode 2 does not dissipate at the root and has no arrow of time. The heat and direction of time we see arise from coarse-graining = information we stopped tracking. Entropy increase = the macro → micro flow of information. But the reason for the low-entropy initial condition is a separate hole ── we plant no flag there.

← Episode 5: You just have to run it (computational irreducibility) To the table of contents
This document is Episode 6 of the series "The Universe Is a Computer." Landauer's principle (the minimum dissipation of erasing one bit, \(E_{\min}=kT\ln2\), about \(2.9\times10^{-21}\) J ≈ 0.018 eV at room temperature) and its experimental verification (Bérut et al. 2012, Jun et al. 2014), logical irreversibility and phase-space contraction, reversible computing (Bennett, the Toffoli / Fredkin gates, uncompute), the information-theoretic resolution of Maxwell's demon (Szilard / Bennett / Landauer), the identity of Shannon entropy and thermodynamic entropy, and effective entropy increase via coarse-graining are all established physics / information theory. \(kT\ln2\) is a lower bound, and current computers dissipate orders of magnitude more. The framework in which "the universe is unitary and has no fundamental arrow of time" is standard, but the low-entropy initial condition (the Past Hypothesis) and the origin of the arrow of time are open problems today. The figure is a schematic of an erasure protocol via a double-well potential, and the heat meter illustrates reaching \(kT\ln2\). ── To print, use your browser's "Print" and "Save as PDF" (in the print version the slider and answers are static and hidden).

Print / PDF: Ctrl+P (⌘+P on Mac). On screen, advancing the erasure protocol with the slider merges the two states into one and dissipates heat up to kT ln2. Click "See the answer" to reveal each solution.