宇宙は計算機第 6 回 / Landauer と可逆計算

情報と物理が、一つの数で触れる

消すことだけが、コストを持つ 計算そのものは原理的にタダにできる。熱を生むのは情報を捨てる(消す)ときだけ。
その最小コストは \(kT\ln 2\) ── 第3回の「情報=物理」が、ここで測れる一つの数になる。

回収:第3回(情報=物理の双対)、第2回(宇宙は可逆) フック式:\(E_{\min}=kT\ln 2\)

第3回で「情報と物理は一つの不変量を読む向きの違い」と言いました。抽象に聞こえたかもしれません。今回はそれが具体的な数で触れる現場です ── 1ビットを消すと、最低でも \(kT\ln2\) の熱が出る(Landauer 原理、実験で確認済み)。そして計算そのものはタダにできる(可逆計算)。コストは計算ではなく、情報を捨てることに紐づいていた。

01情報を消すと、熱が出る ── Landauer 原理

1ビット消去の最小コスト $$E_{\min}=kT\ln 2\;\approx\;2.9\times10^{-21}\,\text{J}\;\approx\;0.018\,\text{eV}\quad(\text{室温})$$

なぜ「消去」か ── 論理的に不可逆な操作(消去・上書き・AND)は、異なる状態を一つに merge する。位相空間(取りうる状態の数)が縮む。第二法則により、その縮みは環境への熱として払うしかない。1ビット(2状態→1状態)なら \(k\ln2\) のエントロピー、熱にして \(kT\ln2\)。極小だがゼロではない床です。

図:ビット消去の熱。ビットは二重井戸の左(=1)か右(=0)。スライダーで消去プロトコルを進めると、障壁を下げて傾け、左右どちらの状態も右(=0)へ集める。状態数 2→1 の縮みぶん、右の熱メーターが \(kT\ln2\) まで溜まる
スライダーを進めると、二つの状態が一つに merge し、熱が kT ln2 まで散逸します。
ビット=1(左) ビット=0(右)

02計算そのものはタダ ── 可逆計算(Bennett)

逆に、状態を merge しない操作にはこの床がありません。可逆ゲート(NOT・CNOT・Toffoli・Fredkin)は入力を捨てず一対一で写すので、原理的にゼロコスト。途中の "ゴミ" を残しておき、最後に逆算(uncompute)して消さずに畳めば、任意の計算が可逆にできる(Bennett)。

コストの在りか

エネルギーを食うのは「計算」ではなく「消去(論理的不可逆)」。計算は原理的にタダにできる。熱を生むのは情報を捨てる瞬間だけ

◇ ◇ ◇

03情報=物理の、触れる点 ── 第3回の回収

ここで第3回が現金化されます。Maxwell の悪魔:分子を情報で選り分ければ、一見タダで第二法則を破れる。長年の謎の答え ── 悪魔はいつか記憶を消してリセットせねばならず、そのとき \(kT\ln2/\)ビットを払う(Bennett・Landauer)。払いが利得を必ず相殺し、法則は守られる。

第3回が一つの数になる これは Shannon エントロピー(情報)と熱力学エントロピー(物理)が同一であることの、機構つきの証明です。第3回で「情報より/物理より=読む向き、同じ不変量」と言った、その不変量が ── ここでは \(kT\ln2\) という測れる一つの数として顔を出す。悪魔の "情報" と "熱" が、同じ通貨で釣り合う。

04宇宙にとって ── 第2回の回収と種明かし

第2回で「宇宙という計算機は可逆/ユニタリ」が合格条件でした。可逆=消さない=Landauer コストゼロ。つまり根源では、宇宙は散逸せず、時間の矢も無い。では、我々が確かに感じる熱・散逸・時間の向きは、どこから来るのか。

種明かし ── 熱とは「追跡をやめた情報」

散逸は粗視化から生まれる。マクロに扱うとき、我々は微視的な自由度を追わなくなる。その捨てた(追跡をやめた)情報が熱。エントロピー増大=情報がアクセス可能(マクロ)→不可能(ミクロ)へ流れること。根源は可逆でも、追跡を諦めた分だけ、我々の帳簿では熱が増える。

正直な線

Landauer 原理(\(E_{\min}=kT\ln2\))は実験で確認済み(Bérut ら 2012、Jun ら 2014)で確立した物理。可逆計算(Bennett)・Maxwell の悪魔の解決も標準です。ただし \(kT\ln2\) は下限で、現在の計算機はその \(10^{4}\text{–}10^{6}\) 倍以上を散逸します(実用上の限界ではなく、原理的な床)。最深の基礎付け(導出の一般性)にはなお議論もあります。

「宇宙は消さない=根源では時間の矢が無い」は正しい枠組みですが、なぜ宇宙が低エントロピーで始まったか(過去仮説)は別の未解決問題(姉妹シリーズの arrow of time 回)。Landauer は「情報 ⟷ 熱」のリンクを与えますが、「なぜ最初が低エントロピーか」は与えません。この文書に「解けた」はありません。

練習問題(この一枚+図で解けます)
  1. なぜ「消去」だけがコストを持ち、「計算」はタダにできるのか。
    答えを見る
    消去は論理的に不可逆で、異なる状態を一つに merge する=位相空間が縮む=第二法則で熱 kT ln2 を払う。可逆ゲート(NOT/CNOT/Toffoli)は状態を merge せず一対一なので床がない。だからゴミを残して uncompute すれば計算は原理的にゼロコスト。
  2. Maxwell の悪魔はどう解決されるか。第3回との関係は。
    答えを見る
    悪魔が選り分けで得た利得は、記憶を消して初期化するとき kT ln2/ビットを払うことで必ず相殺され、第二法則が守られる。これは Shannon エントロピー(情報)=熱力学エントロピー(物理)の証明=第3回「情報と物理は同じ不変量」が kT ln2 という一つの数になった姿。
  3. ユニタリ(可逆)な宇宙で、散逸や時間の矢はどこから来るか。
    答えを見る
    根源は可逆で散逸ゼロ。散逸は粗視化=微視自由度を追わなくなることから生まれ、捨てた情報が熱になる。エントロピー増大=情報がマクロからミクロへ流れること。ただし「なぜ低エントロピーで始まったか(過去仮説)」は別の未解決問題。

第6回まとめ熱を生むのは、捨てるときだけ

1ビット消去は最低 \(kT\ln2\) の熱を出す(Landauer、実験確認済み)── 論理的に不可逆な操作が状態を merge し位相空間を縮めるから。逆に可逆計算(Bennett)は原理的にタダ。コストは「計算」でなく「消去」に紐づく。Maxwell の悪魔もここで解決し、第3回「情報=物理」が \(kT\ln2\) という測れる一つの数になった。

第2回の可逆宇宙は根源で散逸せず時間の矢も無い。我々が見る熱・時間の向きは粗視化=追跡をやめた情報から生まれる。エントロピー増大=情報のマクロ→ミクロの流れ。ただし低エントロピーな初期条件の理由は別の穴 ── そこには旗を立てない。

この文書は「宇宙は計算機」シリーズ第6回です。Landauer 原理(1ビット消去の最小散逸 \(E_{\min}=kT\ln2\)、室温で約 \(2.9\times10^{-21}\) J ≈ 0.018 eV)とその実験的検証(Bérut ら 2012、Jun ら 2014)、論理的不可逆性と位相空間収縮、可逆計算(Bennett、Toffoli/Fredkin ゲート、uncompute)、Maxwell の悪魔の情報論的解決(Szilard/Bennett/Landauer)、Shannon エントロピーと熱力学エントロピーの同一性、粗視化による有効的エントロピー増大は、いずれも確立した物理/情報理論です。\(kT\ln2\) は下限で、現行の計算機はこれを桁違いに上回って散逸します。「宇宙がユニタリで根源的に時間の矢を持たない」ことの枠組みは標準ですが、低エントロピー初期条件(過去仮説)と時間の矢の起源は現行の未解決問題です。図は二重井戸ポテンシャルによる消去プロトコルの模式で、熱メーターは \(kT\ln2\) への到達を図示したものです。 ── 印刷する場合はブラウザの「印刷」から「PDF に保存」を(印刷版ではスライダーと解答は静止・非表示になります)。

印刷 / PDF 化:Ctrl+P(Mac は ⌘+P)。画面ではスライダーで消去プロトコルを進めると、二状態が一つに merge し熱が kT ln2 まで溜まります。「答えを見る」で解答が開きます。