ランダウアーの原理
現在、削除の方針に従って、この項目の一部の版または全体を削除することが審議されています。 削除についての議論は、削除依頼の依頼サブページで行われています。削除の議論中はこのお知らせを除去しないでください。 依頼サブページはまだ作成されていません。雛型を利用して作成できます。 インクルード文 {{Wikipedia:削除依頼/ランダウアーの原理}} の 貼り付け先は Wikipedia:削除依頼/ログ/2024年12月1日 です。 内枠の中にあるメッセージはサブページが作成されると自動消去されます。消去されない場合は してください。 この項目の執筆者の方々へ: まだ削除が行われていない場合は、議論に参加し、削除の方針に該当するかどうか検討してください。また、本項目を既に編集されていた方は、自身の編集した記述内容を念のために控えておいてください。 |
ランダウアーの原理(ランダウアーのげんり、英: Landauer's Principle)とは、情報の消去など論理的に非可逆な計算は熱力学的にも非可逆であり、環境での相応する熱力学的エントロピーの上昇を必要とすることを主張する原理である。1961年にIBMのロルフ・ランダウアーによって始めに議論された。
定量的には、情報処理過程において1ビット(=1シャノン)の情報を失うとき、環境での熱力学的エントロピーの上昇も最低でも1ビットとなる。通常の物理的単位で表すならこれは k ln 2 であり、よって環境に放出される熱は最低でも kT ln 2 となる(ただし、k はボルツマン定数、T は絶対温度)。この限界値は、ランダウアーの限界 (Landauer's limit) もしくはフォン・ノイマン=ランダウアーの限界と呼ばれる。
ランダウアーの原理は熱力学第二法則の理論的帰結として理解できる。計算の論理状態の数が計算が進むにつれて減少するならば、熱力学第二法則よりエントロピーを減少させないように、各論理的状態に対応する物理的状態の数がそれを補償するだけ増加しなければならない。システムの論理状態のみを取り出すことができる観測者にとっては、これは熱力学的エントロピーが増大したことを意味する。
この限界は情報処理過程が論理的に非可逆な場合のみに存在するものである。情報の消去がない可逆計算ならば、原理的に熱力学的にも可逆なものにすることができ、こうした限界は存在しない。換言すれば、用いられる基本的な計算過程を元の状態から結果の状態への関数として表したとき、すべて単射(1対1)となるようなものならば、エントロピーの増加量に理論的な下限は存在しない。通常の論理和や論理積はこの条件を満たさないが、単射とするための「ゴミ」を忘れずにとっておくような過程ならばこれは実現できる。
ランダウアーの限界はもちろん現在の通常のコンピュータにとっては問題にならないほど小さな値である。しかし、熱力学第二法則に反するように見えるために多くの論議を巻き起こしたマクスウェルの悪魔の問題をチャールズ・ベネットが議論した際に、悪魔の記憶の消去によるエントロピーの増加を表すものとして決定的な役割を果たした。
参考文献
[編集]- ファインマン, R. P. 著、原康夫・中山健・松田和典 訳「可逆計算と計算の熱力学」、ヘイ, A., アレン, R. 編 編『ファインマン計算機科学』岩波書店、1999年1月26日。ASIN 4000059416。ISBN 4000059416。 NCID BA39756439。OCLC 675711159。全国書誌番号:99063722 。