journal article·2023-08-01Open access

Dissipation and irreversibility in computing

David K Ferry, Wolfgang Porod

Materials Research Express· Volume 10· Issue 8

Abstract

Abstract There has been much discussion for decades over the proper concepts of minimum dissipation per logic gate and what is required for computation, as well as early arguments over logically reversible machines. Here these arguments, and the thermodynamics related to them, are discussed in terms of what is required for a computing machine. This gives a set of requirements for a valid computer that arise already from Turing and a set of limitations on energy dissipation and entropy. Here, the requirements set by Turing on what can and cannot be a computing machine are introduced, and how these limits affect not only the machine, but individual bits and a general need for irreversibility, are discussed. Then, it is shown that there is a minimum dissipation for a bit operation, and this is imposed both by Turing’s requirements as well as by noise in the system. Finally, it is shown that information entropy differs from physical entropy and care must be taken in trying to connect the two quantities. How these requirements, and new ones, affect quantum computation is also discussed.
Source: crossref · Quality: baseline

Research context

OpenAlex topics: Quantum Computing Algorithms and Architecture · Advanced Thermodynamics and Statistical Mechanics · Quantum Mechanics and Applications

SciVX discovery tags are terminology-based. OpenAlex topics are source-provided classifications.

References (61)

Show source-provided references
1. Marguin · 1992
2. Halacy · 1970
3. Turing · Proc. London Math. Soc. · 1937 · 42 · 23010.1112/plms/s2-42.1.230 ↗
4. Porod · Phys. Rev. Lett. · 1984 · 52 · 23210.1103/PhysRevLett.52.232 ↗
5. Hilbert · 1928
6. Gödel · Monatshefte Math. Phys. · 1931 · 38 · 17310.1007/BF01700692 ↗
7. Church · J. Symbolic Logic · 1936 · 1 · 4010.2307/2269326 ↗
8. Prigogine · Phil. Proc. Royal Soc. A Math. Engr. Phys. Sci. · 2002 · 360 · 29910.1098/rsta.2001.0957 ↗
9. Landauer · IBM J. Res. Develop. · 1961 · 5 · 18310.1147/rd.53.0183 ↗
10. Shannon · Bell Sys. Techn. J. · 1948 · 27 · 37910.1002/j.1538-7305.1948.tb01338.x ↗
11. Feynman · 2000
12. Benioff · Int. J. Theor. Phys. · 1982 · 21 · 17710.1007/BF01857725 ↗
13. Deutsch · Proc. Roy. Soc. London · 1985 · 400 · 9710.1098/rspa.1985.0070 ↗
14. Bennett · IBM J. Res. Develop. · 1973 · 17 · 52510.1147/rd.176.0525 ↗
15. Price · 1997
16. Keyes · IBM J. Res. Develop. · 1970 · 14 · 15210.1147/rd.142.0152 ↗
17. Landauer · J. Appl. Phys. · 1971 · 42 · 230110.1063/1.1660540 ↗
18. Landauer · Phys. Scr. · 1987 · 35 · 8810.1088/0031-8949/35/1/021 ↗
19. Landauer · Science · 1996 · 272 · 191410.1126/science.272.5270.1914 ↗
20. Wigner · Phys. Rev. · 1932 · 40 · 74910.1103/PhysRev.40.749 ↗
21. Ferry · 2018
22. De · Phil. Mag. · 1924 · 47 · 44610.1080/14786442408634378 ↗
23. Kennard · Phys. Rev. · 1928 · 31 · 87610.1103/PhysRev.31.876 ↗
24. Feynman · Rev. Mod. Phys. · 1948 · 20 · 36710.1103/RevModPhys.20.367 ↗
25. Bohm · Phys. Rev. · 1952 · 85 · 16610.1103/PhysRev.85.166 ↗
26. Fredkin · Int. J. Theor. Phys. · 1982 · 21 · 21910.1007/BF01857727 ↗
27. Keyes · Proc. IEEE · 1981 · 69 · 26710.1109/PROC.1981.11959 ↗
28. Avery · 2003
29. Shiffer · Phys. Lett. · 1991 · 154 · 36110.1016/0375-9601(91)90033-5 ↗
30. Kish · J. Comp. Electron. · 2018 · 17 · 4310.1007/s10825-017-1044-1 ↗
31. Brillouin · 1965
32. Bate · 1982 · vol 9 · 359
33. Kish · Phys. Lett. A · 2002 · 305 · 14410.1016/S0375-9601(02)01365-8 ↗
34. Keyes · 1988 · p 15910.1016/S0375-9601(02)01365-8 ↗
35. Zhirnov · Proc. IEEE · 2003 · 91 · 193410.1109/JPROC.2003.818324 ↗
36. Gea-Banaloche · IEEE Proc. · 2005 · 93 · 185810.1109/JPROC.2005.853549 ↗
37. Maxwell · 1871
38. Szilard · Z. Phys. · 1929 · 53 · 84010.1007/BF01341281 ↗
39. Bennett · Int. J. Theor. Phys. · 1982 · 21 · 90510.1007/BF02084158 ↗
40. Bennett · Sci. Am. · 1987 · 257 · 10810.1038/scientificamerican1187-108 ↗
41. Kish · Europhys. Lett. · 2012 · 9810.1209/0295-5075/98/68001 ↗
42. Mead · 1981
43. Johnson · Phys. Rev. · 1928 · 32 · 9710.1103/PhysRev.32.97 ↗
44. Kogan · 1996
45. Ferry · Semicond. Sci. Technol. · 2022 · 32 · 04300110.1088/1361-6641/ac4405 ↗
46. Schrödinger · Naturwiss. · 1935 · 23 · 80310.1007/BF01491891 ↗
47. Schrödinger · Naturwiss. · 1935 · 23 · 82310.1007/BF01491914 ↗
48. Schrödinger · Naturwiss. · 1935 · 23 · 84410.1007/BF01491987 ↗
49. Tr Trimmer · Proc. Am. Phil. Soc. · 1980 · 124 · 323
50. Weinstein · Phys.Rev. Lett. · 2001 · 86 · 188910.1103/PhysRevLett.86.1889 ↗
51. Heisenberg · Z. Phys. · 1927 · 43 · 17210.1007/BF01397280 ↗
52. Tr. Wheeler · 1983
53. Dirac · Rev. Mod. Phys. · 1945 · 17 · 19510.1103/RevModPhys.17.195 ↗
54. Feynmann · 1965
55. Kak · Inform. Sci. · 2003 · 152 · 19510.1016/S0020-0255(02)00410-3 ↗
56. Ferry · 2019
57. Oriols · Proc. IEEE · 2021 · 109 · 95510.1109/JPROC.2021.3067110 ↗
58. Ferry · 2023
59. Giustina · Nature · 2023 · 617 · 25410.1038/d41586-023-01488-x ↗
60. Vahapoglu · Sci. Adv. · 2021 · 710.1126/sciadv.abg9158 ↗
61. Nakav · Phys. Rev. · 2023 · 10710.1103/PhysRevA.107.042622 ↗