# Notes on Landauer's Principle, Reversible Computation, and Maxwell's Demon

@article{Bennett2002NotesOL, title={Notes on Landauer's Principle, Reversible Computation, and Maxwell's Demon}, author={Charles H. Bennett}, journal={Studies in History and Philosophy of Modern Physics}, year={2002}, volume={34}, pages={501-510} }

Abstract Landauer's principle, often regarded as the basic principle of the thermodynamics of information processing, holds that any logically irreversible manipulation of information, such as the erasure of a bit or the merging of two computation paths, must be accompanied by a corresponding entropy increase in non-information-bearing degrees of freedom of the information-processing apparatus or its environment. Conversely, it is generally accepted that any logically reversible transformation…

## Figures from this paper

## 393 Citations

The connection between logical and thermodynamic irreversibility

- Mathematics
- 2007

There has recently been a good deal of controversy about Landauer's Principle, which is often stated as follows: The erasure of one bit of information in a computational device is necessarily…

Shakin' All Over: Proving Landauer's principle without neglect of fluctuations

- Mathematics, PhysicsThe British Journal for the Philosophy of Science
- 2021

Landauer's principle is, roughly, the principle that there is an entropic cost associated with implementation of logically irreversible operations. Though widely accepted in the literature on the…

Free energy of a general computation.

- Physics, MedicinePhysical review. E
- 2019

It is argued that the second law of thermodynamics has a particular feature that suggests its "logico-informational" nature, namely, simulation resilience: If a computation faithfully simulates a physical process violating the law, then that very computation procedure violates it as well.

Eaters of the Lotus: Landauer's Principle and the Return of Maxwell's Demon

- Computer Science
- 2005

Landauer’s principle is the loosely formulated notion that the erasure of n bits of information must always incur a cost of k ln n in thermodynamic entropy. It can be formulated as a precise result…

Generalizing Landauer's principle.

- Mathematics, PhysicsPhysical review. E, Statistical, nonlinear, and soft matter physics
- 2009

The most general statement of Landauer's principle is derived and its universality is proved, extending considerably the validity of previous proofs and confirming conjectures made that all logical operations may, in principle, be performed in a thermodynamically reversible fashion, although logically irreversible operations would require special, practically rather difficult, conditions to do so.

The Landauer Principle: Re-Formulation of the Second Thermodynamics Law or a Step to Great Unification?

- Mathematics, Computer ScienceEntropy
- 2019

The Landauer principle quantifies the thermodynamic cost of the recording/erasure of one bit of information, as it was stated by its author: “information is physical” and it has an energy equivalent.…

The physics of implementing logic: Landauer's principle and the multiple-computations theorem

- Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics
- 2019

Abstract This paper makes a novel linkage between the multiple-computations theorem in philosophy of mind and Landauer's principle in physics. The multiple-computations theorem implies that certain…

The peculiar status of the second law of thermodynamics and the quest for its violation

- Physics
- 2012

Abstract Even though the second law of thermodynamics holds the supreme position among the laws of nature, as stated by many distinguished scientists, notably Eddington and Einstein, its position…

A challenge to the second law of thermodynamics from cognitive science and vice versa

- Synthese
- 2021

We show that the so-called Multiple - Computations Theorem in cognitive science and philosophy of mind challenges Landauer’s Principle in physics. Since the orthodox wisdom in statistical physics is…

The Thermodynamics of Computation: A Contradiction

- Computer ScienceEnergy Limits in Computation
- 2018

This chapter examines in detail Landauer's influential argument that erasure of information is a fundamental source of energy dissipation in computation, and concludes that the thermodynamics of computation is a contradiction in terms.

## References

SHOWING 1-10 OF 24 REFERENCES

Logic and Entropy

- Mathematics
- 2000

A remarkable thesis prevails in the physics of information, saying that the logical properties of operations that are carried out by computers determine their physical properties. More specifically,…

Maxwell's Demon, Entropy, Information, Computing

- Computer Science, Philosophy
- 1990

This book brings under one cover twenty-five reprints, including seminal works by Maxwell and William Thomson; historical reviews by Martin Klein, Edward Daub, and Peter Heimann; information theoretic contributions by Leo Szilard, Leon Brillouin, Dennis Gabor, and Jerome Rothstein; and innovations by Rolf Landauer and Charles Bennett illustrating linkages with the limits of computation.

Maxwell's Demon and the Thermodynamics of Computation

- Physics, Computer Science
- 2001

It is argued that Earman and Norton are mistaken: there is in principle no entropy cost to the acquisition of information, but the destruction of information does involve an irreducible entropy cost.

Logical reversibility of computation

- Computer Science
- 1973

This result makes plausible the existence of thermodynamically reversible computers which could perform useful computations at useful speed while dissipating considerably less than kT of energy per logical step.

Conservative logic

- 1982

Conservative logic is a comprehensive model of computation which explicitly reflects a number of fundamental principles of physics, such as the reversibility of the dynamical laws and the…

Exorcist XIV: The wrath of maxwell’s demon. Part II. from szilard to Landauer and beyond

- Physics
- 1999

In this second part of our two-part paper we review and analyse attempts since 1950 to use information theoretic notions to exorcise Maxwell’s Demon. We argue through a simple dilemma that these…

The thermodynamics of computation—a review

- Physics
- 1982

Computers may be thought of as engines for transforming free energy into waste heat and mathematical work. Existing electronic computers dissipate energy vastly in excess of the mean thermal…

On the decrease of entropy in a thermodynamic system by the intervention of intelligent beings.

- Medicine, PsychologyBehavioral science
- 1964

This is one of the earliest, if not the earliest paper, in which the relations of physical entropy to information were rigorously demonstrated and in which Maxwell's famous demon was successfully exorcised: a milestone in the integration of physical and cognitive concepts.

Sequence logos, machine/channel capacity, Maxwell's demon, and molecular computers: a review of the theory of molecular machines

- Materials Science
- 1994

Living cells contain many molecules which can make simple decisions, such as whether to bind to a particular nucleotide sequence or not. A theory describing the practical limits of these molecular…

Time/Space Trade-Offs for Reversible Computation

- Mathematics, Computer ScienceSIAM J. Comput.
- 1989

Using a pebbling argument, this paper shows that, for any $\varepsilon > 0$, ordinary multitape Turing machines using time T and space S can be simulated by reversible ones using time $O(T^{1 + \varpsilon } )$ and space $O (S\log T)$ or in linear time and space$O(ST^\varePSilon )$.