蘭道爾原理

物理學定律蘭道爾定律（英語：Landauer's Principle）理論上刻畫了計算過程（英语：Computation）至少須消耗多少能量，指出「任何對資訊邏輯上不可逆的操作，例如抹除位元，或兩計算過程（英语：computation）路徑交匯，必增加資訊處理儀器——或其環境——不攜資訊自由度的熵。」 另一種表述是，如果觀測者喪失一物理系統的資訊，他亦無法使其做功。 計算過程若無資訊損耗，即所謂邏輯上可逆，則理論上可以不耗散熱能。這興起了可逆計算研究。確實，不可逆計算下，每耗散一焦耳能執行的計算次數是有上限的。若庫米定律（英语：Koomey's law）維持，則蘭道爾定律推導出的上限將於2050年左右達到。 20攝氏度下（約為室温，即293.15 K），蘭道爾限界為大概0.0175 eV或2.805 zJ。理論上，在室温的蘭道爾限界下，電腦記憶體可以在每秒只向介質耗散2805 皮瓦（2.805 pJ）熱能的前提下，處理10億位元（1 Gbit）。現代電腦執行時散熱為這個下限的百萬倍。 有界物理系統的最大熵是有限的。（如果全像原理成立，則有限表面積的物理系理有有限的最大熵；但無論全像原理成立與否，量子場論的貝肯斯坦上限勒令有限半徑及能量的系統的有限性。）為免於冗長的計算過程中達到這個上限，熵始終需要被排除到外界去。 羅夫·蘭道爾（英语：Rolf Landauer）於IBM任職時提出該定律。他贊同约翰·冯·诺伊曼早前猜想，並指出了其中重要的下限。因此，有時又簡稱定律為蘭道爾界限。 研究者於2011年將定律推廣，提出了雖然抹除資訊會導致熵增，但該熵增不一定體現於能量損耗上。取而代之，代價可以是別的守恆量，例如角動量的損耗。 2012年《自然》的學術論文中，里昂高等师范学校、奥格斯堡大学及凯撒斯劳滕工业大学的物理學家報告了人類第一次對抹除單獨位元時耗散的微量熱能的測量實驗。 2014年，物理實驗驗證了蘭道爾原理及其預測。 2016年，研究人員使用激光儀測量納米磁鐵（英语：nanomagnet）上位元激活時能量的耗散。翻轉該位元使用了26毫電子伏特（4.2 zJ）。 《自然-物理學》一篇2018年的研究則表演了低温（約1開爾文）場合下，對一批高自旋（S = 10）量子單分子磁鐵（英语：molecular magnets）陣列的蘭道爾抹除實驗。該陣列寄存自旋，每個納米磁鐵編碼一位元。實驗舖設了將蘭道爾定律推廣到量子領域的基礎。實驗裡單自旋具備高動態及低「慣性」的特性，令研究人員可以同時展示了如何快速地在熱力學最低能耗（即蘭道爾界限）上實現抹除操作。 首先，蘭道爾原理框架內，「不可逆地擦除一位元信息」是指如果一個邏輯門有兩位元輸入，輸出一位元，而另一位元的信息被擦除，則輸出的信息不足以重構輸入狀態：計算過程中信息已不可逆轉地丟失。例如，如果一個與非門產生輸出1，則不再可能從輸出重構輸入，因為三個輸入值(0,1)、(1,0)和(0,0)都是可能的。 考慮兩個輸入和一個輸出的邏輯門，此系統中，可能的輸入狀態數為 Ω = 2 2 {\displaystyle \Omega =2^{2}} ；它的熵是 S = k ln ⁡ ( Ω ) = 2 k ln ⁡ ( 2 ) {\displaystyle S=k\ln(\Omega )=2k\ln(2)} 。邏輯操作後，輸出只能取兩個值，門的熵變成 k ln ⁡ ( 2 ) {\displaystyle k\ln(2)} ；因此，末態和始態之間熵變是 − k ln ⁡ ( 2 ) {\displaystyle -k\ln(2)} 。熱力學第二定律要求邏輯門的熵與外部的熵變之和大於等於0，所以外熵 S e {\displaystyle S_{e}} 至少增加 k ln ⁡ ( 2 ) {\displaystyle k\ln(2)} 。如果系統浸入溫度為 T 的恆溫池中，則門釋放的熱量大於或等於 Δ Q e = T Δ S e = k T ln ⁡ ( 2 ) {\displaystyle \Delta Qe=T\Delta S_{e}=kT\ln(2)} 。 「狀態已知」的情況下，蘭道爾原理不適用。實際上，對於由諸如圖1所描述的圓柱體組成的記憶體，如果擦除存儲器是將其切換到狀態0，則可能有兩種情況：存儲器已處於狀態0而不需任何操作，或者存儲器處於狀態1，此時可以在準靜態兼可逆的前提下，將圓柱體旋轉180°，這就足以擦除它。這兩種情況下，擦除都是在沒有熵變化的情況下完成的。 利奧·西拉德在1929年提出的思想實驗有助於理解這最後一個斷言。西拉德考慮密封於氣缸的單原子氣體，該氣缸與恆溫器接觸，保持溫度為T，這個氣缸由隔板M分成兩個相等的部分。氣缸兩側由兩個活塞封住（參見圖1）。 如果關於粒子位置的有用信息是它所在的隔間，那麼一個位元就足以描述它。我們協定按粒子是分別在左邊還是右邊來選擇將其值設置為0或1。 假設粒子的位置是已知，且它在左側，可以通過執行以下循環從圓柱體中提取功： 將右活塞移向氣缸中心；這個動作不須做功，因為隔間是空的； 拆除分隔牆M；體積變化為零，因此也不須做功； 左側部分所含氣體所施加的壓力會將右側活塞推回其初始位置，從而對外提供功； 一旦活塞回到初始位置，放回分隔牆。 假設活塞準靜態地運動，對外做功為 ∫ V / 2 V P d V = ∫ V / 2 V k T V d V = k T ln ⁡ ( 2 ) {\displaystyle \int _{V/2}^{V}PdV=\int _{V/2}^{V}{\frac {kT}{V}}dV=kT\ln(2)} 。 雖然氣體僅由單粒子組成，但熱力學概念仍有意義，因為在這種情況下，遍歷假設（法语：遍歷假設）指出時間平均值可代替粒子系綜平均值。例如，在活塞的兩個無窮小位移之間，如果在足夠時長內計算速度平方的時間平均值，其值將趨於 3 k T / m {\displaystyle 3kT/m} 。 將分隔壁放回原位，圓柱體回復初始配置後，但因為粒子隨機運動，它有1/2的概率處於兩個隔間之一：不作新測量的話，將遺失有關圓柱體中粒子位置的信息。換言之，上述循環已經將一信元信息轉化為 k T ln ⁡ ( 2 ) {\displaystyle kT\ln(2)} 大小的功。 另一方面，如果在循環開始時選擇包含氣體的隔間，則外部必須做功才能壓縮氣體。 因此，沒有事先知道粒子位置的情況下，隨機選擇活塞推動循環時提取正功的概率為 1/2。 重複操作 N 次時，沒有每個循環粒子起始位置信息的情況下，不可能平均情況下作正功。 蘭道爾原理指出，抹除一位元所須能量有最小值，稱為「蘭道爾界限」。 E = k B T ln ⁡ 2 , {\displaystyle E=k_{\text{B}}T\ln 2,} 其中 k B {\displaystyle k_{\text{B}}} 是波爾茲曼常數（約為1.38×10−23 J/K）， T {\displaystyle T} 是散熱器的开尔文温度， ln ⁡ 2 {\displaystyle \ln 2} 是2的自然對數（約0.69315）。令 T {\displaystyle T} 等於室温20 °C（293.15 K），可得到每抹消一位元，損耗0.0175eV（2.805zJ）的界限。 該方程可以用波茲曼熵公式( S = k B ln ⁡ W {\displaystyle S=k_{\text{B}}\ln W} )導出，考慮到 W {\displaystyle W} 是系統可能狀態數目，這對於位元來說即是2，而熵 S {\displaystyle S} 定義成 E / T {\displaystyle E/T} 。所以抹除一個位元的操作將熵變大至少 k B ln ⁡ 2 {\displaystyle k_{\text{B}}\ln 2} ，即向環境耗散出至少 k B T ln ⁡ 2 {\displaystyle k_{\text{B}}T\ln 2} 的能量。 該原理被廣泛接受為物理定律，但近年來受到了使用循環論證及錯誤假設的質疑。值得一提的質疑有1998年的Earman和Norton，及隨後的2000年的Shenker，2004年及2011年的Norton，以及2003年查爾斯·H·本內特的辯護和2007年Ladyman等人的辯護，及2019年Jordan和Manikandan等。 另一方面，非平衡態統計物理學近期的發展發現，邏輯及熱力學可逆性不存在先天的關係。物理現象可能邏輯可逆但熱力學不可逆，亦可能邏輯不可逆但熱力學可逆。用可逆系統去實現計算過程的優勢即使有，亦很微妙。 2016年佩鲁贾大学的研究人員聲稱展現了違反蘭道爾定律的現象。但根據2016年拉茲洛·基什（英语：Laszlo B. Kish）的說法，這個結論不成立，因為他們「忽視了能量耗散的主要來源，亦即輸入電極電容的充電電能」。 Margolus–Levitin theorem（英语：Margolus–Levitin theorem） 布雷默曼極限（英语：Bremermann's limit） 貝肯斯坦上限 柯氏复杂性 熱力學與信息論的熵（英语：Entropy in thermodynamics and information theory） 信息论 Jarzynski恆等式 Limits to computation（英语：Limits to computation） Extended mind thesis（英语：Extended mind thesis） 麦克斯韦妖 庫米定律（英语：Koomey's law） 粒子在圓柱體中的速度是恆定的，但每次與構成壁的原子碰撞後，速度會根據麥克斯韋速度分佈定律隨機改變。 Charles H. Bennett（英语：Charles H. Bennett (computer scientist)）, Notes on Landauer's principle, Reversible Computation and Maxwell's Demon (PDF), Studies in History and Philosophy of Modern Physics, 2003, 34 (3): 501–510 [2015-02-18], Bibcode:2003SHPMP..34..501B, S2CID 9648186, arXiv:physics/0210005 , doi:10.1016/S1355-2198(03)00039-X, （原始内容存档 (PDF)于2021-06-05） . Thomas J. Thompson. Nanomagnet memories approach low-power limit. bloomfield knoble. [2013-05-05]. （原始内容存档于2014-12-19）.  Samuel K. Moore. Landauer Limit Demonstrated. IEEE Spectrum. 2012-03-14 [2013-05-05].  Rolf Landauer, Irreversibility and heat generation in the computing process (PDF), IBM Journal of Research and Development, 1961, 5 (3): 183–191 [2015-02-18], doi:10.1147/rd.53.0183, （原始内容存档 (PDF)于2022-01-10） 。 Joan Vaccaro; Stephen Barnett, Information Erasure Without an Energy Cost, Proc. R. Soc. A, 2011-06-08, 467 (2130): 1770–1778, Bibcode:2011RSPSA.467.1770V, S2CID 11768197, arXiv:1004.5330 , doi:10.1098/rspa.2010.0577 . Antoine Bérut; Artak Arakelyan; Artyom Petrosyan; Sergio Ciliberto; Raoul Dillenschneider; Eric Lutz, Experimental verification of Landauer's principle linking information and thermodynamics (PDF), Nature, 2012-03-08, 483 (7388): 187–190 [2022-01-21], Bibcode:2012Natur.483..187B, PMID 22398556, S2CID 9415026, arXiv:1503.06537 , doi:10.1038/nature10872, （原始内容存档 (PDF)于2021-02-25） . Yonggun Jun; Momčilo Gavrilov; John Bechhoefer, High-Precision Test of Landauer's Principle in a Feedback Trap, Physical Review Letters, 2014-11-04, 113 (19): 190601, Bibcode:2014PhRvL.113s0601J, PMID 25415891, S2CID 10164946, arXiv:1408.5089 , doi:10.1103/PhysRevLett.113.190601 . Hong, Jeongmin; Lambson, Brian; Dhuey, Scott; Bokor, Jeffrey. Experimental test of Landauer's principle in single-bit operations on nanomagnetic memory bits. Science Advances. 2016-03-01, 2 (3): e1501492. Bibcode:2016SciA....2E1492H. ISSN 2375-2548. PMC 4795654 . PMID 26998519. doi:10.1126/sciadv.1501492 （英语）.  Rocco Gaudenzi; Enrique Burzuri; Satoru Maegawa; Herre van der Zant; Fernando Luis. Quantum Landauer erasure with a molecular nanomagnet. Nature Physics. 2018-03-19, 14 (6): 565–568 [2022-01-21]. Bibcode:2018NatPh..14..565G. S2CID 125321195. doi:10.1038/s41567-018-0070-7. hdl:10261/181265 . （原始内容存档于2022-01-21）.  （德文） Szilard, Leo (1929). "Über die Entropieverminderung in einem thermodynamischen System bei Eingriffen intelligenter Wesen (On the reduction of entropy in a thermodynamic system by the intervention of intelligent beings)". Zeitschrift für Physik. 53 (11–12): 840–856. Bibcode:1929ZPhy...53..840S. doi:10.1007/bf01341281. cited in Bennett 1987. English translation available as NASA document TT F-16723 published 1976 （页面存档备份，存于互联网档案馆） Logic and Entropy （页面存档备份，存于互联网档案馆）。Critique by Orly Shenker (2000). Eaters of the Lotus （页面存档备份，存于互联网档案馆）. Critique by John Norton (2004). Waiting for Landauer （页面存档备份，存于互联网档案馆）. Response by Norton (2011). The Connection between Logical and Thermodynamic Irreversibility （页面存档备份，存于互联网档案馆）Ladyman et al. (2007). Some Like It Hot （页面存档备份，存于互联网档案馆） Letter to the Editor in reply to Norton's article by A. Jordan and S. Manikandan (2019). Takahiro Sagawa, Thermodynamic and logical reversibilities revisited, Journal of Statistical Mechanics: Theory and Experiment, 2014, 2014 (3): 03025, Bibcode:2014JSMTE..03..025S, S2CID 119247579, arXiv:1311.1886 , doi:10.1088/1742-5468/2014/03/P03025 . David H. Wolpert, Stochastic thermodynamics of computation, Journal of Physics A: Mathematical and Theoretical, 2019, 52 (19): 193001, Bibcode:2019JPhA...52s3001W, S2CID 126715753, arXiv:1905.05669 , doi:10.1088/1751-8121/ab0850 . Computing study refutes famous claim that 'information is physical'. m.phys.org. [2022-01-21]. （原始内容存档于2018-10-21）.  Laszlo Bela Kish. Comments on 'Sub-kBT Micro-Electromechanical Irreversible Logic Gate'. Fluctuation and Noise Letters. 2016, 14 (4): 1620001–1620194 [2020-03-08]. Bibcode:2016FNL....1520001K. S2CID 12110986. arXiv:1606.09493 . doi:10.1142/S0219477516200017. （原始内容存档于2022-01-21）.  Prokopenko, Mikhail; Lizier, Joseph T., Transfer entropy and transient limits of computation, Scientific Reports, 2014, 4: 5394, Bibcode:2014NatSR...4E5394P, PMC 4066251 , PMID 24953547, doi:10.1038/srep05394  論蘭道爾原理是否成立的公開辯論（Hot Topics in Physical Informatics, 2013年11月12日）. （原始内容存档于2019-03-22） （英语）.  介紹蘭道爾原理和可逆計算的文章. [2022-01-21]. （原始内容存档于2022-01-21） （英语）.  Maroney, O.J.E. "Information Processing and Thermodynamic Entropy （页面存档备份，存于互联网档案馆）" The Stanford Encyclopedia of Philosophy. Eurekalert.org: "Magnetic memory and logic could achieve ultimate energy efficiency" （页面存档备份，存于互联网档案馆）, July 1, 2011