[論文レビュー] Maxwell's demon and the thermodynamics of computation

Jeffrey Bub|ArXiv.org|Mar 5, 2002

Advanced Thermodynamics and Statistical Mechanics参考文献 8被引用数 4

ひとこと要約

この論文は、測定による情報取得には根本的なエントロピー費用がかからず、コンピュータのメモリをゼロにリセットする情報消去は、環境に熱を放出するにあたり、1ビットあたり最小で $k\log 2$ のエントロピー費用を避けられないという、定説を擁護している。著者は、エーマンとノーランの挑戦を、可逆的測定はエントロピー費用を伴わず可能であるが、不可逆的消去は熱力学的に避けがたいことによって反論し、マクスウェルの悪魔と計算の文脈において第二法則が保たれることを示している。

ABSTRACT

It is generally accepted, following Landauer and Bennett, that the process of measurement involves no minimum entropy cost, but the erasure of information in resetting the memory register of a computer to zero requires dissipating heat into the environment. This thesis has been challenged recently in a two-part article by Earman and Norton. I review some relevant observations in the thermodynamics of computation and argue that Earman and Norton are mistaken: there is in principle no entropy cost to the acquisition of information, but the destruction of information does involve an irreducible entropy cost.

研究の動機と目的

• マクスウェルの悪魔のパラドックスを解消し、情報処理の熱力学的コストを明確にすること。
• エーマンとノーランが主張する、測定と消去の両方がエントロピーフリーである可能性に反論すること。
• 情報の消去のみが、不可避なエントロピー費用を伴うことを確立すること。
• コンピュータ化された悪魔が、メモリリセットにおける熱力学的不可逆性を破るなしに第二法則を回避できないことを示すこと。

提案手法

• ランドアウエルおよびベンネットの原理に基づき、メモリレジスタの操作に注目して計算の熱力学を分析する。
• 統計力学を適用し、スピン系などの離散状態を持つ物理的系としてコンピュータのメモリをモデル化する。
• 位相空間の圧縮の概念を用いて、メモリレジスタのリセットが利用可能な状態数を減少させ、その結果として環境への熱放出を要することを示す。
• 可逆的測定（エントロピー費用なし）と論理的に不可逆的消去（1ビットあたり $k\log 2$ のエントロピー費用）を対比する。
• スピンのアレイを用いたランドアウエルの thought experiment を用いて、リセット中のエントロピー低下とそれに伴う環境への熱コストを説明する。
• エーマンとノーランの悪魔モデルを批判し、一般化できない状態依存的で非ユニバーサルなリセット操作に依存していることから、根本的な熱力学的制約を回避していることを示す。

実験結果

リサーチクエスチョン

• RQ1 シルラードとブリルアンが主張したように、測定による情報取得は、不可避なエントロピー費用を伴うのか？
• RQ2 ランドアウエルとベンネットが主張するように、コンピュータのメモリレジスタにおける情報の消去は、熱力学的に避けがたいのか？
• RQ3 測定が可逆的で、消去が回避できるならば、コンピュータ化されたマクスウェルの悪魔は第二種永久運動機械として機能できるのか？
• RQ4 熱力学的原則から見ると、悪魔が仕事に熱を変換できない理由は測定にあるのか、それともメモリリセットにあるのか？
• RQ5 エーマンとノーランが提唱するように、状態に特化したリセット操作を用いる悪魔は、消去のエントロピー費用を回避できるのか？

主な発見

• 測定はコピー過程として、原理的には可逆的かつエントロピー費用なしに実行可能であり、シルラードの原理とは対照的である。
• メモリレジスタを明確な状態（例：すべて1）にリセットすることで、系の位相空間が縮小し、結果としてエントロピーが低下する。このため、環境への熱放出が不可避となる。
• 1ビットの情報の消去における最小エントロピー費用は、ランドアウエルの原理が示すように $k\log 2$ であり、論理的に不可逆な操作ではこれを避けられない。
• 初期状態に依存したリセット操作（例：0から1へのみリセット）は、入力状態の事前知識を利用することでエントロピー費用を低減できるが、その場合も前提となる知識が必要である。
• エーマンとノーランの悪魔は、一般化できない状態依存的動作に依存しているため、根本的な熱力学的制約を回避しているが、これは問題の核心を無視している。
• 第二法則が保たれるのは、情報の取得ではなく、メモリレジスタにおける情報の不可逆的消去によってであり、これは宇宙全体のエントロピーの増加を保証する。