Jump to content

Landauer's principle

From Wikipedia, the free encyclopedia

Landauer's principle is a physical principle pertaining to a lower theoretical limit of energy consumption of computation. It holds that an irreversible change in information stored in a computer, such as merging two computational paths, dissipates a minimum amount of heat to its surroundings.[1] In the formulation of Charles H. Bennett, 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; the entropy thus resides in the physical hardware and its surroundings, not in the bit as a logical entity.[2] It is hypothesized that energy consumption below this lower bound would require the development of reversible computing.

The principle was first proposed by Rolf Landauer in 1961.

Statement

[edit]

Landauer's principle states that the minimum energy needed to erase one bit of information is proportional to the temperature at which the system is operating. Specifically, the energy needed for this computational task is given by

where is the Boltzmann constant and is the absolute temperature.[3] At room temperature, the Landauer limit represents an energy of approximately 0.018 eV (2.9×10−21 J). As of 2012, modern computers use about a billion times as much energy per operation.[4][5]

The bound refers to the physical system that stores the bit: erasure resets a memory that may be in either of two distinguishable physical states into a fixed state, regardless of its initial state.[6] Whether, and how much, heat is actually dissipated depends on the physical implementation rather than on the logical operation as such.[7]

History

[edit]

Rolf Landauer first proposed the principle in 1961 while working at IBM.[8] He justified and stated important limits to an earlier conjecture by John von Neumann. This refinement is sometimes called the Landauer bound, or Landauer limit.

In 2008 and 2009, researchers showed that Landauer's principle can be derived from the second law of thermodynamics and the entropy change associated with information gain, developing the thermodynamics of quantum and classical feedback-controlled systems.[9][10]

In 2011, the principle was generalized to show that while information erasure requires an increase in entropy, this increase could theoretically occur at no energy cost.[11] Instead, the cost can be taken in another conserved quantity, such as angular momentum.

In a 2012 article published in Nature, a team of physicists from the École normale supérieure de Lyon, University of Augsburg and the University of Kaiserslautern described that for the first time they have measured the tiny amount of heat released when an individual bit of data is erased.[12]

In 2014, a high-precision test using a colloidal particle in a feedback trap confirmed its predictions.[13]

In 2016, researchers used a laser probe to measure the amount of energy dissipation that resulted when a nanomagnetic bit flipped from off to on. Flipping the bit required about 0.026 eV (4.2×10−21 J) at 300 K, which is just 44% above the Landauer minimum.[14]

A 2018 article published in Nature Physics features a Landauer erasure performed at cryogenic temperatures (T = 1 K) on an array of high-spin (S = 10) quantum molecular magnets. The array is made to act as a spin register where each nanomagnet encodes a single bit of information.[15] The experiment has laid the foundations for the extension of the validity of the Landauer principle to the quantum realm. Owing to the fast dynamics and low "inertia" of the single spins used in the experiment, the researchers also showed how an erasure operation can be carried out at the lowest possible thermodynamic cost—that imposed by the Landauer principle—and at a high speed.[15][1]

The bound kBT ln 2 applies only to arbitrarily slow erasure. In 2020, Proesmans, Ehrich and Bechhoefer showed that erasing a bit in a finite time τ requires additional work that decreases in proportion to 1/τ, so that the Landauer limit is reached only in the quasistatic limit; the operating speed of the hardware therefore enters the minimum cost directly.[16]

Challenges

[edit]

The principle is widely accepted as physical law, but it has been challenged for using circular reasoning and faulty assumptions.[17][18][19][20] Others[1][21][22] have defended the principle, and Sagawa and Ueda (2008)[9] and Cao and Feito (2009)[10] have shown that Landauer's principle is a consequence of the second law of thermodynamics and the entropy reduction associated with information gain.

On the other hand, recent advances in non-equilibrium statistical physics have established that there is no a priori relationship between logical reversibility (whether the input of an operation can be uniquely reconstructed from its output) and thermodynamic reversibility (whether the physical process implementing it produces no entropy).[7] Logical reversibility is a property of the computation itself, i.e. of the abstract mapping from inputs to outputs, whereas thermodynamic reversibility is a property of the physical process, i.e. the hardware, that implements it. The two can therefore differ: a logically reversible computation can be implemented by a thermodynamically irreversible process, and a logically irreversible computation by a thermodynamically reversible one. Whether implementing a computation with a logically reversible system actually saves energy therefore depends on the physical implementation; the benefits are not automatic.[23]

See also

[edit]

References

[edit]
  1. 1 2 3 Charles H. Bennett (2003), "Notes on Landauer's principle, Reversible Computation and Maxwell's Demon" (PDF), Studies in History and Philosophy of Modern Physics, 34 (3): 501–510, arXiv:physics/0210005, Bibcode:2003SHPMP..34..501B, doi:10.1016/S1355-2198(03)00039-X, S2CID 9648186, retrieved 2015-02-18.
  2. ↑ Bennett, Charles H. (2003). "Notes on Landauer's principle, reversible computation, and Maxwell's Demon". Studies in History and Philosophy of Modern Physics. 34 (3): 501–510. arXiv:physics/0210005. doi:10.1016/S1355-2198(03)00039-X.
  3. ↑ Vitelli, M.B.; Plenio, V. (2001). "The physics of forgetting: Landauer's erasure principle and information theory" (PDF). Contemporary Physics. 42 (1): 25–60. arXiv:quant-ph/0103108. Bibcode:2001ConPh..42...25P. doi:10.1080/00107510010018916. eISSN 1366-5812. hdl:10044/1/435. ISSN 0010-7514. S2CID 9092795.
  4. ↑ Thomas J. Thompson. "Nanomagnet memories approach low-power limit". bloomfield knoble. Archived from the original on December 19, 2014. Retrieved May 5, 2013.
  5. ↑ Samuel K. Moore (14 March 2012). "Landauer Limit Demonstrated". IEEE Spectrum. Retrieved May 5, 2013.
  6. ↑ Landauer, Rolf (1991). "Information is physical". Physics Today. 44 (5): 23–29. doi:10.1063/1.881299.
  7. 1 2 Takahiro Sagawa (2014), "Thermodynamic and logical reversibilities revisited", Journal of Statistical Mechanics: Theory and Experiment, 2014 (3): 03025, arXiv:1311.1886, Bibcode:2014JSMTE..03..025S, doi:10.1088/1742-5468/2014/03/P03025, S2CID 119247579.
  8. ↑ Rolf Landauer (1961), "Irreversibility and heat generation in the computing process" (PDF), IBM Journal of Research and Development, 5 (3): 183–191, doi:10.1147/rd.53.0183, retrieved 2015-02-18.
  9. 1 2 Sagawa, Takahiro; Ueda, Masahito (2008-02-26). "Second Law of Thermodynamics with Discrete Quantum Feedback Control". Physical Review Letters. 100 (8) 080403. arXiv:0710.0956. Bibcode:2008PhRvL.100h0403S. doi:10.1103/PhysRevLett.100.080403. PMID 18352605. S2CID 41799543.
  10. 1 2 Cao, F. J.; Feito, M. (2009-04-10). "Thermodynamics of feedback controlled systems". Physical Review E. 79 (4) 041118. arXiv:0805.4824. Bibcode:2009PhRvE..79d1118C. doi:10.1103/PhysRevE.79.041118. PMID 19518184. S2CID 30188109.
  11. ↑ Joan Vaccaro; Stephen Barnett (June 8, 2011), "Information Erasure Without an Energy Cost", Proc. R. Soc. A, 467 (2130): 1770–1778, arXiv:1004.5330, Bibcode:2011RSPSA.467.1770V, doi:10.1098/rspa.2010.0577, S2CID 11768197.
  12. ↑ Antoine Bérut; Artak Arakelyan; Artyom Petrosyan; Sergio Ciliberto; Raoul Dillenschneider; Eric Lutz (8 March 2012), "Experimental verification of Landauer's principle linking information and thermodynamics" (PDF), Nature, 483 (7388): 187–190, arXiv:1503.06537, Bibcode:2012Natur.483..187B, doi:10.1038/nature10872, PMID 22398556, S2CID 9415026.
  13. ↑ Yonggun Jun; Momčilo Gavrilov; John Bechhoefer (4 November 2014), "High-Precision Test of Landauer's Principle in a Feedback Trap", Physical Review Letters, 113 (19) 190601, arXiv:1408.5089, Bibcode:2014PhRvL.113s0601J, doi:10.1103/PhysRevLett.113.190601, PMID 25415891, S2CID 10164946.
  14. ↑ Hong, Jeongmin; Lambson, Brian; Dhuey, Scott; Bokor, Jeffrey (2016-03-01). "Experimental test of Landauer's principle in single-bit operations on nanomagnetic memory bits". Science Advances. 2 (3) e1501492. Bibcode:2016SciA....2E1492H. doi:10.1126/sciadv.1501492. ISSN 2375-2548. PMC 4795654. PMID 26998519..
  15. 1 2 Rocco Gaudenzi; Enrique Burzuri; Satoru Maegawa; Herre van der Zant; Fernando Luis (19 March 2018), "Quantum Landauer erasure with a molecular nanomagnet", Nature Physics, 14 (6): 565–568, Bibcode:2018NatPh..14..565G, doi:10.1038/s41567-018-0070-7, hdl:10261/181265, S2CID 125321195.
  16. ↑ Proesmans, Karel; Ehrich, Jannik; Bechhoefer, John (2020). "Finite-Time Landauer Principle". Physical Review Letters. 125 (10) 100602. arXiv:2006.03242. doi:10.1103/PhysRevLett.125.100602.
  17. ↑ Earman, John; Norton, John (December 1998). "Exorcist XIV: The Wrath of Maxwell's Demon. Part I. From Maxwell to Szilard". Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics. 29 (4): 435–471. Bibcode:1998SHPMP..29..435E. doi:10.1016/S1355-2198(98)00023-9. Retrieved 2024-11-15.
  18. ↑ Shenker, Orly R. (June 2000). "Logic and Entropy [preprint]". PhilSci Archive. Archived from the original on 15 November 2023. Retrieved 20 December 2023.
  19. ↑ Norton, John D. (June 2005). "Eaters of the lotus: Landauer's principle and the return of Maxwell's demon". Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics. 36 (2): 375–411. Bibcode:2005SHPMP..36..375N. doi:10.1016/j.shpsb.2004.12.002. S2CID 21104635. Archived from the original on 5 June 2023. Retrieved 20 December 2023.
  20. ↑ Norton, John D. (August 2011). "Waiting for Landauer" (PDF). Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics. 42 (3): 184–198. Bibcode:2011SHPMP..42..184N. doi:10.1016/j.shpsb.2011.05.002. Retrieved 20 December 2023.
  21. ↑ Ladyman, James; Presnell, Stuart; Short, Anthony J.; Groisman, Berry (March 2007). "The connection between logical and thermodynamic irreversibility". Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics. 38 (1): 58–79. Bibcode:2007SHPMP..38...58L. doi:10.1016/j.shpsb.2006.03.007. Retrieved 20 December 2023.
  22. ↑ Jordan, Andrew; Manikandan, Sreenath (12 December 2019). "Some Like It Hot". Inference: International Review of Science. 5 (1). doi:10.37282/991819.19.82. S2CID 241470079.
  23. ↑ David H. Wolpert (2019), "Stochastic thermodynamics of computation", Journal of Physics A: Mathematical and Theoretical, 52 (19): 193001, arXiv:1905.05669, Bibcode:2019JPhA...52s3001W, doi:10.1088/1751-8121/ab0850, S2CID 126715753.

Further reading

[edit]
[edit]