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}
}
  • C. H. Bennett
  • Published 1 October 2002
  • Physics
  • Studies in History and Philosophy of Modern Physics
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

The connection between logical and thermodynamic irreversibility
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
  • W. Myrvold
  • Mathematics, Physics
    The 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.
TLDR
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
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.
  • O. Maroney
  • Mathematics, Physics
    Physical review. E, Statistical, nonlinear, and soft matter physics
  • 2009
TLDR
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?
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
  • M. Hemmo, Orly Shenker
  • 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
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
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
  • W. Porod
  • Computer Science
    Energy Limits in Computation
  • 2018
TLDR
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.
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 24 REFERENCES
Logic and Entropy
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
TLDR
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
  • J. Bub
  • Physics, Computer Science
  • 2001
TLDR
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
TLDR
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
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
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
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.
  • L. Szilard
  • Medicine, Psychology
    Behavioral science
  • 1964
TLDR
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
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
TLDR
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 )$.
...
1
2
3
...