ランダウアーの原理は、計算エネルギー消費の理論的な下限に関する物理原理である。これは、2つの計算パスをマージするなど、コンピュータに保存されている情報の不可逆的な変更によって、周囲に最小限の熱が放散されるというものである。[1]
この原理は1961年にロルフ・ランダウアーによって初めて提案されました。
声明
ランダウアーの原理は、1ビットの情報を消去するために必要な最小エネルギーは、システムが動作している温度に比例すると述べています。具体的には、この計算タスクに必要なエネルギーは次のように表されます。
ここではボルツマン定数、はケルビン温度です。[2]室温では、ランダウアー限界は約0.018 eV(2.9 × 10 −21 J)のエネルギーを表します。現代のコンピュータは1回の演算で約10億倍のエネルギーを使用します。[3] [4]
歴史
ロルフ・ランダウアーは1961年にIBMで働いていたときに初めてこの原理を提案しました。[5]彼はジョン・フォン・ノイマンによる以前の推測を正当化し、重要な制限を述べました。このため、これは単にランダウアー境界またはランダウアー限界と呼ばれることもあります。
2008年と2009年に研究者らは、ランダウアーの原理が熱力学の第二法則と情報利得に関連するエントロピー変化から導き出され、量子および古典的フィードバック制御システムの熱力学を発展させることができることを示しました。[6] [7]
2011年にこの原理は一般化され、情報の消去にはエントロピーの増加が必要であるが、この増加は理論的にはエネルギーコストなしで起こり得ることが示された。[8]代わりに、コストは角運動量などの別の保存量で考慮することができる。
2012年にネイチャー誌に掲載された論文では、リヨン高等師範学校、アウクスブルク大学、カイザースラウテルン大学の物理学者チームが、データの1ビットが消去される際に放出される微量の熱を初めて測定したと報告している。[9]
2014年に物理実験でランダウアーの原理が検証され、その予測が確認されました。[10]
2016年、研究者らはレーザープローブを使用して、ナノ磁性ビットがオフからオンに反転したときに生じるエネルギー散逸量を測定した。ビットを反転させるには26ミリ電子ボルト(4.2ゼプトジュール)が必要であった。[11]
2018年にNature Physicsに掲載された記事では、高スピン(S = 10)量子分子磁石のアレイ上で極低温(T = 1 K)で実行されたランダウアー消去が紹介されています。アレイはスピンレジスタとして機能するように作られており、各ナノ磁石は1ビットの情報をエンコードします。[12]この実験は、ランダウアー原理の有効性を量子領域に拡張するための基礎を築きました。実験で使用された単一スピンの高速ダイナミクスと低い「慣性」により、研究者は、ランダウアー原理によって課せられる可能な限り低い熱力学的コストで、高速で消去操作を実行する方法も示しました。[12] [1]
課題
この原理は物理法則として広く受け入れられているが、近年では循環論法や誤った仮定を使用しているとして、特に Earman and Norton (1998) 、続いて Shenker (2000) [13]や Norton (2004, [14] 2011 [15] ) によって異議が唱えられており、Bennett (2003) [1] 、 Ladyman et al. (2007) [16] 、 Jordan and Manikandan (2019) [17]によって擁護されている。Sagawa and Ueda (2008) および Cao and Feito (2009) は、ランダウアーの原理が熱力学の第二法則と情報ゲインに関連するエントロピー減少の結果であることを示している。[6] [7]
一方、非平衡統計物理学の最近の進歩により、論理的可逆性と熱力学的可逆性の間には先験的な関係がないことが立証されました。[18]物理プロセスは論理的には可逆的であるが、熱力学的には不可逆である可能性があります。また、物理プロセスは論理的には不可逆的であるが、熱力学的には可逆である可能性もあります。せいぜい、論理的に可逆なシステムで計算を実装することの利点は微妙なものです。[19]
2016年、ペルージャ大学の研究者らは、ランダウアーの原理に違反することを証明したと主張した。[20]しかし、ラズロ・キッシュ(2016)によると、[21]彼らの研究結果は「エネルギー散逸の主な原因、すなわち入力電極の静電容量の充電エネルギーを無視している」ため無効である。
参照
- 量子速度の限界
- ブレーマーマンの限界
- ベケンシュタイン行き
- コルモゴロフ複雑性
- 熱力学と情報理論におけるエントロピー
- 情報理論
- ジャルジンスキー平等
- 計算の限界
- 拡張された心の論文
- マクスウェルの悪魔
- クーミーの法則
- 削除不可能定理
参考文献
- ^ abc Charles H. Bennett (2003)、「Landauer の原理、可逆計算、および Maxwell の悪魔に関する注記」(PDF)、現代物理学の歴史と哲学の研究、34 (3): 501–510、arXiv : physics/0210005、Bibcode :2003SHPMP..34..501B、doi :10.1016/S1355-2198(03)00039-X、S2CID 9648186、2015年 2 月 18 日取得。
- ^ Vitelli, MB; Plenio, V. (2001). 「忘却の物理学:ランダウアーの消去原理と情報理論」(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.
- ^ Thomas J. Thompson. 「ナノマグネットメモリが低電力限界に近づく」。bloomfield novell。2014年12月19日時点のオリジナルよりアーカイブ。2013年5月5日閲覧。
- ^ Samuel K. Moore (2012年3月14日). 「Landauer Limit Demonstrated」. IEEE Spectrum . 2013年5月5日閲覧。
- ^ Rolf Landauer (1961)、「コンピューティングプロセスにおける不可逆性と熱発生」(PDF)、IBM Journal of Research and Development、5 (3): 183–191、doi :10.1147/rd.53.0183 、 2015年2月18日取得。
- ^ ab 佐川貴弘; 上田正人 (2008-02-26). 「離散量子フィードバック制御による熱力学第二法則」. Physical Review Letters . 100 (8): 080403. arXiv : 0710.0956 . Bibcode :2008PhRvL.100h0403S. doi :10.1103/PhysRevLett.100.080403. PMID 18352605. S2CID 41799543.
- ^ ab Cao, FJ; Feito, M. (2009-04-10). 「フィードバック制御システムの熱力学」. Physical Review E. 79 ( 4): 041118. arXiv : 0805.4824 . Bibcode :2009PhRvE..79d1118C. doi :10.1103/PhysRevE.79.041118. PMID 19518184. S2CID 30188109.
- ^ Joan Vaccaro、Stephen Barnett (2011 年 6 月 8 日)、「エネルギーコストなしの情報消去」、Proc. R. Soc. A、467 (2130): 1770–1778、arXiv : 1004.5330、Bibcode :2011RSPSA.467.1770V、doi :10.1098/rspa.2010.0577、S2CID 11768197。
- ^ Antoine Bérut、Artak Arakelyan、Artyom Petrosyan、Sergio Ciliberto、Raoul Dillenschneider、Eric Lutz (2012 年 3 月 8 日)、「情報と熱力学を結びつける Landauer の原理の実験的検証」(PDF)、Nature、483 (7388): 187–190、arXiv : 1503.06537、Bibcode :2012Natur.483..187B、doi :10.1038/nature10872、PMID 22398556、S2CID 9415026。
- ^ Yonggun Jun、Momčilo Gavrilov、John Bechhoefer (2014 年 11 月 4 日)、「フィードバックトラップにおける Landauer 原理の高精度テスト」、Physical Review Letters、113 (19): 190601、arXiv : 1408.5089、Bibcode :2014PhRvL.113s0601J、doi :10.1103/PhysRevLett.113.190601、PMID 25415891、S2CID 10164946。
- ^ Hong, Jeongmin; Lambson, Brian; Dhuey, Scott; Bokor, Jeffrey (2016-03-01). 「ナノ磁性メモリビットのシングルビット操作におけるLandauerの原理の実験的テスト」. Science Advances . 2 (3): e1501492. Bibcode :2016SciA....2E1492H. doi :10.1126/sciadv.1501492. ISSN 2375-2548. PMC 4795654. PMID 26998519 . 。
- ^ ロコ・ガウデンジ氏;エンリケ・ブルズリ。前川悟;ヘレ・ファン・デル・ザント。 Fernando Luis (2018 年 3 月 19 日)、「分子ナノ磁石による量子ランダウアー消去」、Nature Physics、14 (6): 565–568、Bibcode :2018NatPh..14..565G、doi :10.1038/s41567-018-0070- 7、hdl:10261/181265、S2CID 125321195。
- ^ Shenker, Orly R. (2000年6月). 「Logic and Entropy [preprint]」. PhilSci アーカイブ. 2023年11月15日時点のオリジナルよりアーカイブ。 2023年12月20日閲覧。
- ^ Norton, John D. (2005年6月). 「ロータスを食べる者たち: ランダウアーの原理とマクスウェルの悪魔の復活」.科学史と科学哲学の研究パートB: 現代物理学の歴史と哲学の研究. 36 (2): 375–411. Bibcode :2005SHPMP..36..375N. doi :10.1016/j.shpsb.2004.12.002. S2CID 21104635. 2023年6月5日時点のオリジナルよりアーカイブ。 2023年12月20日閲覧。
- ^ Norton, John D. (2011年8月). 「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 . 2023年12月20日閲覧。
- ^ ジェームス・レディマン、スチュアート・プレスネル、アンソニー・J.・ショート、ベリー・グロイスマン(2007年3月)。「論理的および熱力学的不可逆性のつながり」。科学史および科学哲学研究パートB:現代物理学の歴史と哲学の研究。38 (1):58–79。Bibcode :2007SHPMP..38...58L。doi :10.1016/j.shpsb.2006.03.007 。2023年12月20日閲覧。
- ^ ジョーダン、アンドリュー; マニカンダン、スリーナス (2019年12月12日). 「お熱いのがお好き」.推論: 国際科学評論. 5 (1). doi :10.37282/991819.19.82. S2CID 241470079.
- ^ 佐川貴弘 (2014)、「熱力学的および論理的可逆性の再考」、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。
- ^ David H. Wolpert (2019)、「計算の確率的熱力学」、Journal of Physics A: Mathematical and Theoretical、52 (19): 193001、arXiv : 1905.05669、Bibcode :2019JPhA...52s3001W、doi :10.1088/1751-8121/ab0850、S2CID 126715753。
- ^ 「コンピューティング研究が『情報は物理的である』という有名な主張を反証」m.phys.org。
- ^ Laszlo Bela Kish (2016). 「「Sub-kBT Micro-Electromechanical Irreversible Logic Gate」に関するコメント」. Fluctuation and Noise Letters . 14 (4): 1620001–1620194. arXiv : 1606.09493 . Bibcode :2016FNL....1520001K. doi :10.1142/S0219477516200017. S2CID 12110986. 2020年3月8日閲覧。
さらに読む
- プロコペンコ、ミハイル; リジエ、ジョセフ T. (2014)、「転送エントロピーと計算の過渡的限界」、サイエンティフィック レポート、4 (1): 5394、Bibcode :2014NatSR...4E5394P、doi :10.1038/srep05394、PMC 4066251、PMID 24953547
外部リンク
- ランダウアーの原理の妥当性に関する公開討論(物理情報学のホットトピック会議、2013 年 11 月 12 日)
- ランダウアーの原理と可逆コンピューティングに関する入門記事
- Maroney, OJE「情報処理と熱力学的エントロピー」スタンフォード哲学百科事典。
- Eurekalert.org: 「磁気メモリとロジックが究極のエネルギー効率を実現」、2011 年 7 月 1 日
