Skip to main content
Top

2019 | OriginalPaper | Chapter

The Thermodynamics of Computation: A Contradiction

Author : Wolfgang Porod

Published in: Energy Limits in Computation

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

In this chapter, we examine in detail Landauer’s influential argument that erasure of information is a fundamental source of energy dissipation. We will carefully define what we mean by general terms, such as “computation,” “reversibility,” and “entropy.” The literature contains quite a bit of confusion due to a lack of clear definitions of these terms. In particular, we will go to great length to distinguish between physical (thermodynamic) entropy and information entropy. We will be lead to conclude that Landauer’s influential argument contains a fundamental flaw in failing to distinguish between these two forms of entropy, and in using information entropy as if it were physical entropy. Erasure of information is not a fundamental source of energy dissipation in computation. Beyond Landauer’s argument, we will conclude that thermodynamics does not apply to the information-bearing degrees of freedom in a computer. The more a system can be described by thermodynamics, the less it can be used for computation. The main conclusion of this chapter is that the thermodynamics of computation is a contradiction in terms.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference R.W. Keyes, R. Landauer, Minimal energy dissipation in logic. IBM J. Res. Dev. 14, 152–157 (1970)CrossRef R.W. Keyes, R. Landauer, Minimal energy dissipation in logic. IBM J. Res. Dev. 14, 152–157 (1970)CrossRef
2.
go back to reference R.W. Keyes, Power dissipation in information processing. Science 168, 796–801 (1970)CrossRef R.W. Keyes, Power dissipation in information processing. Science 168, 796–801 (1970)CrossRef
3.
4.
5.
go back to reference W. Porod, R.O. Grondin, D.K. Ferry, G. Porod, Dissipation in computation. Phys. Rev. Lett. 52(3), 232–235 (1984). Rebuttals by: C.H. Bennett, Phys. Rev. Lett. 52(12), 1202 (1984); P. Benioff, ibid, p. 1203; T. Toffoli, ibid, p. 1204, and R. Landauer, ibid, p. 1205; Porod et al. Respond, ibid, p. 1206CrossRef W. Porod, R.O. Grondin, D.K. Ferry, G. Porod, Dissipation in computation. Phys. Rev. Lett. 52(3), 232–235 (1984). Rebuttals by: C.H. Bennett, Phys. Rev. Lett. 52(12), 1202 (1984); P. Benioff, ibid, p. 1203; T. Toffoli, ibid, p. 1204, and R. Landauer, ibid, p. 1205; Porod et al. Respond, ibid, p. 1206CrossRef
6.
go back to reference W. Porod, Comment on ‘energy requirement in communication’. Appl. Phys. Lett. 52, 2191 (1988)CrossRef W. Porod, Comment on ‘energy requirement in communication’. Appl. Phys. Lett. 52, 2191 (1988)CrossRef
7.
go back to reference L.B. Kish, End of Moore’s law: thermal (noise) death of integration in micro and nano electronics. Phys. Lett. A 305, 144–149 (2002)CrossRef L.B. Kish, End of Moore’s law: thermal (noise) death of integration in micro and nano electronics. Phys. Lett. A 305, 144–149 (2002)CrossRef
8.
go back to reference L.B. Kish, C.G. Granqvist, Energy requirement of control: comments on Szilard’s engine and Maxwell’s demon. Europhys. Lett. 98, 68001 (2012)CrossRef L.B. Kish, C.G. Granqvist, Energy requirement of control: comments on Szilard’s engine and Maxwell’s demon. Europhys. Lett. 98, 68001 (2012)CrossRef
9.
go back to reference L.B. Kish, C.G. Granqvist, S.P. Khatri, H. Wen, Demons: Maxwell’s demon, Szilard’s engine and Landauer’s erasure–dissipation. Int. J. Mod. Phys. Conf. Ser. 33, 1460364 (2014)CrossRef L.B. Kish, C.G. Granqvist, S.P. Khatri, H. Wen, Demons: Maxwell’s demon, Szilard’s engine and Landauer’s erasure–dissipation. Int. J. Mod. Phys. Conf. Ser. 33, 1460364 (2014)CrossRef
10.
go back to reference J.D. Norton, Eaters of the lotus: Landauer’s principle and the return of Maxwell’s demon. Stud. Hist. Philos. Sci. B 36, 375–411 (2005)MathSciNetMATH J.D. Norton, Eaters of the lotus: Landauer’s principle and the return of Maxwell’s demon. Stud. Hist. Philos. Sci. B 36, 375–411 (2005)MathSciNetMATH
12.
13.
go back to reference T. Sagawa, M. Ueda, Minimal energy cost for thermodynamic information processing: measurement and information erasure. Phys. Rev. Lett. 102, 250602 (2009)CrossRef T. Sagawa, M. Ueda, Minimal energy cost for thermodynamic information processing: measurement and information erasure. Phys. Rev. Lett. 102, 250602 (2009)CrossRef
14.
go back to reference A. Turing, in 1948, Intelligent Machinery, ed. By C.R. Evans, A.D.J. Robertson. Reprinted in Cybernetics: Key Papers (University Park Press, Baltimore, 1968), p. 31 A. Turing, in 1948, Intelligent Machinery, ed. By C.R. Evans, A.D.J. Robertson. Reprinted in Cybernetics: Key Papers (University Park Press, Baltimore, 1968), p. 31
16.
go back to reference D.J. Frank, Comparison of High Speed Voltage-scaled Conventional and Adiabatic Circuits, in Proc. Int. Workshop Low Power Electron. Design, (IEEE, New York, 1996), pp. 377–380 D.J. Frank, Comparison of High Speed Voltage-scaled Conventional and Adiabatic Circuits, in Proc. Int. Workshop Low Power Electron. Design, (IEEE, New York, 1996), pp. 377–380
17.
go back to reference P. Solomon, D.J. Frank, The Case for Reversible Computation, in Proc. Int. Workshop Low Power Design, (ACM, New York, 1994), pp. 93–98 P. Solomon, D.J. Frank, The Case for Reversible Computation, in Proc. Int. Workshop Low Power Design, (ACM, New York, 1994), pp. 93–98
18.
go back to reference M.P. Frank, Introduction to Reversible Computing: Motivation, Progress, and Challenges, in Proceedings of the 2nd Conference on Computing Frontiers, (ACM, New York, 2005), pp. 385–390CrossRef M.P. Frank, Introduction to Reversible Computing: Motivation, Progress, and Challenges, in Proceedings of the 2nd Conference on Computing Frontiers, (ACM, New York, 2005), pp. 385–390CrossRef
19.
go back to reference M.P. Frank, in Foundations of Generalized Reversible Computing, eds. By I. Phillips, H. Rahaman. Reversible Computation. RC 2017. Lecture Notes in Computer Science, vol. 10301 (Springer, Berlin, 2017), pp. 19–34 M.P. Frank, in Foundations of Generalized Reversible Computing, eds. By I. Phillips, H. Rahaman. Reversible Computation. RC 2017. Lecture Notes in Computer Science, vol. 10301 (Springer, Berlin, 2017), pp. 19–34
21.
go back to reference C.H. Bennett, The thermodynamics of computation – a review. Int. J. Theor. Phys. 21(12), 905–940 (1982)CrossRef C.H. Bennett, The thermodynamics of computation – a review. Int. J. Theor. Phys. 21(12), 905–940 (1982)CrossRef
22.
go back to reference C.H. Bennett, Notes on the history of reversible computation. IBM J. Res. Dev. 44(1/2), 270–277 (2000)CrossRef C.H. Bennett, Notes on the history of reversible computation. IBM J. Res. Dev. 44(1/2), 270–277 (2000)CrossRef
23.
go back to reference C.H. Bennett, Notes on Landauer’s principle, reversible computation, and Maxwell’s demon. Stud. Hist. Philos. Mod. Phys. 34, 501–510 (2003)MathSciNetCrossRef C.H. Bennett, Notes on Landauer’s principle, reversible computation, and Maxwell’s demon. Stud. Hist. Philos. Mod. Phys. 34, 501–510 (2003)MathSciNetCrossRef
24.
go back to reference E. Lutz, S. Ciliberto, Information: From Maxwell’s demon to Landauer’s eraser. Phys. Today 68(9), 30 (2015)CrossRef E. Lutz, S. Ciliberto, Information: From Maxwell’s demon to Landauer’s eraser. Phys. Today 68(9), 30 (2015)CrossRef
25.
go back to reference A. Berut, A. Arakelyan, A. Petrosyan, S. Ciliberto, R. Dillenschneider, E. Lutz, Experimental verification of Landauer’s principle linking information and thermodynamics. Nature 483, 187–189 (2012)CrossRef A. Berut, A. Arakelyan, A. Petrosyan, S. Ciliberto, R. Dillenschneider, E. Lutz, Experimental verification of Landauer’s principle linking information and thermodynamics. Nature 483, 187–189 (2012)CrossRef
26.
go back to reference J. Hong, B. Lambson, S. Dhuey, J. Bokor, Experimental test of Landauer’s principle in single-bit operations on nanomagnetic memory bits. Sci. Adv. 2, e1501492 (2016)CrossRef J. Hong, B. Lambson, S. Dhuey, J. Bokor, Experimental test of Landauer’s principle in single-bit operations on nanomagnetic memory bits. Sci. Adv. 2, e1501492 (2016)CrossRef
27.
go back to reference L.L. Yan, T.P. Xiong, K. Rehan, F. Zhou, D.F. Liang, L. Chen, J.Q. Zhang, W.L. Yang, Z.H. Ma, M. Feng, Single-atom demonstration of quantum Landauer principle, arXiv:1803.10424 [quant-ph] (2018) L.L. Yan, T.P. Xiong, K. Rehan, F. Zhou, D.F. Liang, L. Chen, J.Q. Zhang, W.L. Yang, Z.H. Ma, M. Feng, Single-atom demonstration of quantum Landauer principle, arXiv:1803.10424 [quant-ph] (2018)
28.
go back to reference A.O. Orlov, C.S. Lent, C.C. Thorpe, G.P. Boechler, G.L. Snider, Experimental test of Landauer’s principle at the sub-kBT level. Jpn. J. Appl. Phys. 51, 06FE10 (2012)CrossRef A.O. Orlov, C.S. Lent, C.C. Thorpe, G.P. Boechler, G.L. Snider, Experimental test of Landauer’s principle at the sub-kBT level. Jpn. J. Appl. Phys. 51, 06FE10 (2012)CrossRef
29.
go back to reference H. Leff, A.F. Rex, Maxwell Demon 2: Entropy, Classical and Quantum Information, Computing (IOP Publishing, Bristol, 2002) H. Leff, A.F. Rex, Maxwell Demon 2: Entropy, Classical and Quantum Information, Computing (IOP Publishing, Bristol, 2002)
Metadata
Title
The Thermodynamics of Computation: A Contradiction
Author
Wolfgang Porod
Copyright Year
2019
DOI
https://doi.org/10.1007/978-3-319-93458-7_4