# マクスウェルの悪魔：情報を食べて動く機械は作れるか

> 速い分子だけを通す「悪魔」は熱力学第二法則を破れるのか。シラードのエンジンでこの問いを 1 分子まで単純化し、1 ビットの記憶を消すには kT ln2 以上の熱を捨てねばならないというランダウアーの原理で決着をつける。
> https://rikai.mugen-giken.com/physics/physics-columns/maxwells-demon

## 0. この記事の要点

- マクスウェルの悪魔とは、箱の仕切りに付いた小窓を開け閉めして、速い分子と遅い分子を選り分ける架空の存在です。仕事をせずに温度差を作れるので、熱力学第二法則を破っているように見えます。
- シラードは 1929 年に、この悪魔を「分子 1 個の箱」まで単純化しました。この装置は 1 サイクルあたり $k_B T \ln 2$（室温で約 $2.9 \times 10^{-21}$ J）の仕事を取り出します。ちょうど 1 ビットの情報と引き換えです。
- 長いあいだ「観測にエネルギーがかかるから帳尻が合う」と説明されてきましたが、これは誤りでした。観測（測定）は原理的にはいくらでも小さいコストで行えます。
- 本当の代償は**消去**です。ランダウアーの原理により、1 ビットの記憶を消すには温度 $T$ の環境へ少なくとも $k_B T \ln 2$ の熱を捨てなければなりません。悪魔がメモリを空にして次のサイクルに入る瞬間、借金は必ず返済されます。
- 第二法則は破れません。ただしその防衛線は「情報は物理的な実体である」という、19 世紀には想像もされなかった場所に引かれていました。

## 1. 動機：19 世紀の物理学者が仕掛けたいたずら

熱いコーヒーは冷めます。冷めたコーヒーがひとりでに熱くなることはありません。この当たり前すぎる事実を法則の形にしたものが、熱力学第二法則です。

しかし 19 世紀の後半、物理学者たちは困ったことに気づいていました。コーヒーが冷めるのは、水分子が容器や空気の分子とぶつかって運動エネルギーを渡していくからです。ところが分子 1 個 1 個の運動を支配するニュートンの法則は<Ref to="physics/physics-columns/laplaces-demon#def-flow" text="決定論的" />で、しかも時間の向きを持ちません。分子の衝突を撮影した映像を逆再生しても、力学の法則には何も違反していないのです。**部品はどれも時間反転に対して対称なのに、組み上がった機械だけが一方向にしか進まない。** これはどういうことでしょうか。

ジェームズ・クラーク・マクスウェルは 1867 年、友人ピーター・ガスリー・テイトへの手紙の中で、この疑問を突く思考実験を書き送りました。のちに『熱の理論』(1871) で公にされたその筋書きは、こうです。

気体の入った箱を仕切りで 2 つに分け、仕切りに小さな窓を付けます。窓のそばに「非常に目のいい、非常に小さな存在」を配置します。この存在は近づいてくる分子の速さを見て、速い分子が右から来たら窓を開けて左へ通し、遅い分子が左から来たら窓を開けて右へ通します。それ以外のときは窓を閉じておきます。窓は摩擦なく軽く動くので、開け閉めにエネルギーは（ほとんど）要りません。

しばらく待つと、左室には速い分子ばかりが、右室には遅い分子ばかりが集まります。気体の温度とは分子の平均運動エネルギーのことですから、これは**左室が熱く、右室が冷たくなった**ことを意味します。仕事をひとつもしていないのに温度差ができました。あとはこの温度差に熱機関をつないでやれば、いくらでも仕事が取り出せます。

マクスウェル自身は、この存在を悪魔とは呼びませんでした。「悪魔（demon）」という呼び名を付けたのはケルビン卿です。マクスウェルの意図は「第二法則は個々の分子には適用できない統計的な法則にすぎない」と示すことにあり、悪魔を実際に作れると考えたわけではありません。それでも問いは残ります。**なぜ作れないのか。** その理由をきちんと述べるのに、物理学は 100 年以上を要しました。

<Aside type="note">
同じ「悪魔」でも、[ラプラスの悪魔](/physics/physics-columns/laplaces-demon)（<Ref to="physics/physics-columns/laplaces-demon#def-demon" />）は宇宙の全粒子の位置と速度を知って未来を計算する存在で、決定論についての思考実験です。マクスウェルの悪魔はもっと慎ましく、目の前を通る分子 1 個の速さが分かればよい。慎ましいぶん、こちらのほうが厄介でした。
</Aside>

## 2. 準備：エントロピーと第二法則

議論を進めるために、言葉を 2 つだけ固めておきます。

<Axiom id="ax-kelvin" title="熱力学第二法則（ケルビンの表現）">
ただ一つの温度 $T$ の熱浴から熱を吸収し、それを全部仕事に変え、自分自身は元の状態に戻る、という循環過程を行う装置は存在しない。
</Axiom>

「自分自身は元の状態に戻る」という条件が要です。1 回きりでよいなら簡単です。ピストンの中の気体を熱浴につないでゆっくり膨張させれば、吸収した熱はすべて仕事になります。しかしそのとき気体の体積は増えたままで、装置は元に戻っていません。元に戻すには圧縮が必要で、そこで仕事を返さねばならない。この「返済」から逃れる方法がない、というのが第二法則の主張です。

エントロピーは、この法則を数量で表すための道具です。

<Definition id="def-entropy" title="ボルツマンのエントロピー">
系のマクロな状態（温度・体積などで指定される状態）に対応するミクロな状態の数を $W$ とするとき、その状態のエントロピーを
$$
S = k_B \ln W
$$
で定める。$k_B = 1.380649 \times 10^{-23}\ \mathrm{J/K}$ をボルツマン定数という。

より一般に、ミクロ状態 $i$ が確率 $p_i$ で実現するとき、エントロピーは
$$
S = -k_B \sum_i p_i \ln p_i
$$
で与えられる（すべての $p_i$ が等しく $1/W$ のとき、これは $k_B \ln W$ に一致する）。
</Definition>

$\ln W$ の形をしているので、エントロピーは「その状態が、どれだけ多くの可能性を含んでいるか」を測る量です。逆に言えば、**エントロピーが小さい状態とは、こちらが多くを知っている状態**です。この読み替えが、後でそのまま情報の話につながります。

第二法則をエントロピーで書けば、「孤立した系全体のエントロピーは減らない」となります。悪魔が箱を熱い側と冷たい側に分けると、分子の配置の可能性は減りますからエントロピーは下がります。もしそれを埋め合わせるものが箱の外に何もなければ、第二法則は破れます。

## 3. 悪魔の設計図

悪魔の装置をもう少し几帳面に描いておきます。

<Figure caption="悪魔の箱。仕切りの小窓を、悪魔は近づく分子の速さを見て開け閉めする">
<svg viewBox="0 0 640 250" width="100%" role="img" aria-label="仕切りと小窓のある箱。左室に速い分子、右室に遅い分子が集まっている">
  <g fill="none" stroke="currentColor" stroke-width="2">
    <rect x="20" y="20" width="600" height="180" rx="6" />
    <line x1="320" y1="20" x2="320" y2="95" />
    <line x1="320" y1="145" x2="320" y2="200" />
  </g>
  <g stroke="var(--sl-color-accent)" stroke-width="2" fill="none" stroke-linecap="round">
    <path d="M 92 60 l 54 0 m -13 -8 l 13 8 l -13 8" />
    <path d="M 116 112 l 50 0 m -13 -8 l 13 8 l -13 8" />
    <path d="M 82 162 l 58 0 m -13 -8 l 13 8 l -13 8" />
    <path d="M 406 62 l 18 0 m -7 -6 l 7 6 l -7 6" />
    <path d="M 484 122 l 16 0 m -7 -6 l 7 6 l -7 6" />
    <path d="M 428 168 l 17 0 m -7 -6 l 7 6 l -7 6" />
  </g>
  <g fill="currentColor">
    <circle cx="86" cy="60" r="5" />
    <circle cx="110" cy="112" r="5" />
    <circle cx="76" cy="162" r="5" />
    <circle cx="400" cy="62" r="5" />
    <circle cx="478" cy="122" r="5" />
    <circle cx="422" cy="168" r="5" />
  </g>
  <g fill="currentColor" font-size="15">
    <text x="170" y="228" text-anchor="middle">速い分子（熱くなる側）</text>
    <text x="470" y="228" text-anchor="middle">遅い分子（冷たくなる側）</text>
    <text x="334" y="122" font-size="13">小窓</text>
  </g>
</svg>
</Figure>

まず、選り分ける相手がどんなものかを見ておきましょう。

<Example id="ex-speeds" title="室温の空気分子はどれくらいの速さか">
窒素分子 $\mathrm{N_2}$ の質量は $m = 28 \times 1.661 \times 10^{-27} \approx 4.65 \times 10^{-26}$ kg です。温度 $T$ の気体の分子は平均して $\frac{3}{2}k_B T$ の運動エネルギーを持つので、二乗平均速度 $v_{\mathrm{rms}}$ は $\frac{1}{2} m v_{\mathrm{rms}}^2 = \frac{3}{2} k_B T$ から
$$
v_{\mathrm{rms}} = \sqrt{\frac{3 k_B T}{m}} = \sqrt{\frac{3 \times 1.380649\times10^{-23} \times 300}{4.65 \times 10^{-26}}} \approx \sqrt{2.67\times 10^{5}} \approx 5.2 \times 10^{2}\ \mathrm{m/s}
$$
となります。$T = 300$ K（およそ 27 ℃）でおよそ 520 m/s、時速にして 1900 km ほどです。しかもこれは平均であって、実際の速さはマクスウェル分布に従ってばらついており、200 m/s 台の分子も 1000 m/s を超える分子も同時に飛び回っています。

さらに 1 気圧の空気では、1 個の分子が次の衝突までに進む距離（平均自由行程）はおよそ 70 nm しかありません。速さ 520 m/s を 70 nm で割ると、1 秒あたり $10^9$ 回を超える衝突が起きている計算になります。悪魔は音速の 1.5 倍で飛び回り、1 ナノ秒ごとに向きを変える相手を、1 個ずつ見分けなければなりません。
</Example>

技術的には絶望的です。しかし物理学が知りたいのは「難しいか」ではなく「原理的に禁じられているか」です。そこで、悪魔が理想的に働けたとして何が起きるかを確認します。

<Proposition id="prop-demon-violates" title="成功した悪魔は第二種永久機関を生む">
温度 $T$ の一様な気体の入った箱に、エネルギーを消費せずに分子を速さで選り分ける装置が取り付けられており、その装置が有限回の操作のあとに必ず元の状態に戻るとする。このとき、ただ一つの温度の熱浴から熱を吸収して全部仕事に変える循環装置が構成できる。すなわち<Ref to="ax-kelvin" />に反する。
</Proposition>

<Proof of="prop-demon-violates">
装置を働かせて、左室の温度を $T_h$、右室の温度を $T_c$（$T_c < T_h$）にします。これは仮定により、外部から仕事を受け取らずに達成されます。

次に、左室と右室のあいだにカルノー熱機関をつなぎます。カルノー熱機関は高温側から熱 $Q_h$ を受け取り、低温側に $Q_c$ を捨て、差 $Q_h - Q_c > 0$ を仕事として出します。これで正味の仕事が得られました。

熱機関を動かすと温度差は縮まり、やがて全体が一様な温度 $T$ に戻ります。ここで悪魔をもう一度働かせれば、再び温度差が作られます。この繰り返しは、悪魔が元の状態に戻るという仮定のもとで無限に続けられます。

1 サイクル全体を眺めると、箱の中の気体はもとの一様な温度 $T$ に戻り、装置も元の状態に戻り、外部には正味の仕事だけが出てきています。エネルギー保存則（熱力学第一法則）より、その仕事の源は箱の気体が持っていた熱以外にありません。つまりこれは、単一温度の熱浴から熱を吸って全部仕事に変える循環装置であり、<Ref to="ax-kelvin" />が存在しないと述べたものそのものです。
</Proof>

<Ref to="prop-demon-violates" />が示すのは、逃げ道が 2 つしかないということです。ひとつは「第二法則は本当は破れる」。もうひとつは「悪魔は、仮定のどれかを必ず破る」。物理学が選んだのは後者ですが、**どの仮定が破れるのか**を特定するのに時間がかかりました。

## 4. シラードのエンジン：悪魔を分子 1 個まで痩せさせる

議論を進めた最初の人はレオ・シラードです。1929 年、彼は悪魔から余計な装飾をすべて剥ぎ取り、分子 1 個の箱に還元しました。速さを測る必要すらありません。**左にいるか右にいるか**が分かればよいのです。

<Definition id="def-szilard-engine" title="シラードのエンジン">
体積 $V$ の箱に分子が 1 個だけ入っており、箱は温度 $T$ の熱浴に接している。次の操作を 1 サイクルとする装置をシラードのエンジンという。

1. 箱の中央に仕切りを差し込み、体積 $V/2$ の 2 室に分ける。分子はどちらか一方に閉じ込められる。
2. 分子がどちらの室にいるかを観測し、その結果を 1 ビットの記憶（メモリ）に記録する。
3. 記憶に従って、分子のいる室の側にピストンを連結する。
4. 熱浴と熱をやりとりさせながら、ピストンをゆっくり（準静的に）押し戻し、体積を $V/2$ から $V$ に戻す。このとき外部に仕事が取り出される。
5. 仕切りを抜き、装置を最初の状態に戻す。
</Definition>

<Figure caption="シラードのエンジンの 1 サイクル。手順 7 が 100 年ぶんの謎の答えだった">
<Mermaid code={`flowchart TD
  A["1. 体積 V の箱に分子が 1 個。位置は不明"] --> B["2. 中央に仕切りを入れる（仕事はゼロ）"]
  B --> C["3. 左右どちらかを観測する"]
  C --> D["4. 結果を 1 ビットのメモリに記録する"]
  D --> E["5. 分子のいる側にピストンを連結する"]
  E --> F["6. 等温準静的に膨張。仕事 kT ln2 を取り出す"]
  F --> G["7. メモリを消去して初期状態に戻す"]
  G --> A`} />
</Figure>

手順 4 で取り出せる仕事を計算します。

<Theorem id="thm-szilard-work" title="シラードのエンジンの仕事">
<Ref to="def-szilard-engine" />のエンジンにおいて、手順 4 の等温準静的膨張で外部に取り出される仕事は、分子が左右どちらの室にいた場合でも
$$
W = k_B T \ln 2
$$
である。またこのとき、同じ量の熱 $Q = k_B T \ln 2$ が温度 $T$ の熱浴から吸収され、熱浴のエントロピーは $k_B \ln 2$ だけ減少する。
</Theorem>

<Proof of="thm-szilard-work">
分子は 1 個ですが、これは粒子数 $N = 1$ の理想気体とみなせます。理想気体の状態方程式 $pV = N k_B T$ に $N = 1$ を代入すると
$$
p = \frac{k_B T}{V}
$$
です。ここで $p$ は、分子がピストンに何度も衝突することで生じる圧力の時間平均を指します。

ピストンが体積 $V'$ から $V' + dV'$ まで動くとき、気体が外にする仕事は $p\,dV'$ です。手順 4 では体積が $V/2$ から $V$ まで変化するので、
$$
W = \int_{V/2}^{V} p \, dV' = \int_{V/2}^{V} \frac{k_B T}{V'} \, dV' = k_B T \bigl[\ln V'\bigr]_{V/2}^{V} = k_B T \ln \frac{V}{V/2} = k_B T \ln 2
$$
となります。分子が右室にいた場合も、膨張の始点と終点の体積は同じ $V/2$ と $V$ ですから、値は変わりません。

次に熱です。理想気体の内部エネルギーは温度だけで決まり、等温過程では変化しません（$\Delta U = 0$）。熱力学第一法則 $\Delta U = Q - W$ より $Q = W = k_B T \ln 2$ です。熱浴は温度 $T$ を保ったままこの熱を放出したので、そのエントロピー変化は
$$
\Delta S_{\text{熱浴}} = \frac{-Q}{T} = -k_B \ln 2
$$
です。
</Proof>

<Example id="ex-szilard-numbers" title="この仕事はどれくらいの大きさか">
$T = 300$ K のとき
$$
k_B T \ln 2 = 1.380649\times10^{-23} \times 300 \times 0.6931 \approx 2.87 \times 10^{-21}\ \mathrm{J}
$$
です。電子ボルトに直すと $2.87\times10^{-21} / 1.602\times10^{-19} \approx 0.018$ eV。空気分子 1 個の平均運動エネルギー $\frac{3}{2}k_B T \approx 6.2\times10^{-21}$ J のおよそ半分です。

1 モルぶん、つまり $6.02\times10^{23}$ ビットを処理したとすると $6.02\times10^{23} \times 2.87\times10^{-21} \approx 1.7\times10^{3}$ J、だいたい 1.7 kJ になります。これは 100 W の電球を 17 秒つけるエネルギーです。悪魔が働いたところで、電力会社が倒産する心配はありません。問題は量ではなく、**符号**です。
</Example>

<Ref to="thm-szilard-work" />の帰結は深刻です。1 サイクルごとに熱浴のエントロピーが $k_B \ln 2$ ずつ減り、箱の中の分子は最初と同じ「体積 $V$ のどこかにいる」状態に戻っています。もし悪魔の側で何も起きていないなら、宇宙全体のエントロピーが 1 サイクルあたり $k_B\ln 2$ ずつ減り続けることになります。

## 5. 犯人捜し：観測にコストがかかるのか

長らく有力とされた説明は、**観測が犯人だ**というものでした。1951 年、レオン・ブリルアンは次のように論じます。真っ暗な箱の中で分子を見るには、悪魔は懐中電灯を持たねばならない。光子 1 個を分子に当てて跳ね返りを見る。周囲の熱放射に紛れないためには、光子のエネルギーは $k_B T$ より十分大きくなければならない。その光子はやがて吸収されて熱になるので、観測 1 回あたり $k_B T$ 以上のエントロピー生成が起きる。よって帳尻は合う、と。

もっともらしい議論ですが、決定的ではありませんでした。ブリルアンが示したのは「この特定のやり方で観測するとコストがかかる」ことであって、「あらゆる観測にコストがかかる」ことではないからです。

1970 年代から 80 年代にかけて、チャールズ・ベネットはこの点を突きました。

<Remark id="rem-bennett" title="測定は原理的にはただでできる">
ベネットは、外部に何のエントロピーも生まずに測定を行う具体的な模型を構成しました。要点は、測定を**可逆な操作**として設計することです。

測定とは「対象の状態」と「メモリの状態」を相関させる操作です（量子力学で同じ相関を作れば、それが<Ref to="physics/physics-columns/schrodingers-cat#def-entanglement" text="エンタングルメント" />です）。メモリが初期状態 0 にあるとき、対象が左なら 0 のまま、右なら 1 に変える。この対応
$$
(\text{左}, 0) \mapsto (\text{左}, 0), \qquad (\text{右}, 0) \mapsto (\text{右}, 1)
$$
は 1 対 1 です。入口の状態と出口の状態が 1 対 1 に対応する操作は、原理的には逆向きにも実行でき、摩擦のないゆっくりした過程として任意に小さい散逸で行えます。したがって測定は、ブリルアンが考えたような必然的コストを伴いません。

くわしくは Bennett (1982) を参照してください。
</Remark>

もう一つ、「そもそも知的な存在を持ち出すのがおかしい、機械仕掛けの悪魔ならどうか」という疑問もあります。これには別の答えが用意されています。

<Remark id="rem-smoluchowski" title="ばね仕掛けの悪魔はなぜ動かないか">
マリアン・スモルコフスキーは 1912 年、ばねで押さえた跳ね上げ扉（片方向にしか開かない小窓）を考えました。分子が右から当たれば開き、左から当たれば閉じたまま。これなら知性は不要です。

しかし扉自身が温度 $T$ の環境にあります。扉が分子を止められるほど軽くばねが弱ければ、扉は自分自身の熱運動でパタパタと勝手に開いてしまいます。逆に熱運動で開かないほどばねを強くすれば、分子 1 個の衝突では開きません。**選別に必要な感度と、熱雑音に負けない頑丈さが両立しない**のです。

同じ構造の議論を、リチャード・ファインマンが「ラチェットと爪」の模型で詳しく展開しています（『ファインマン物理学』第 I 巻）。ラチェットが一方向にしか回らないためには爪が熱運動より強く押さえられている必要があり、そのためには爪を冷やさねばならず、冷やすとは温度差を作ることで、結局ふつうの熱機関に戻ってしまいます。
</Remark>

観測は無罪。機械仕掛けも駄目。では、シラードのエンジンのどこに借金が隠れているのでしょうか。答えは、これまで誰も勘定に入れていなかった手順にありました。

## 6. ランダウアーの原理：忘れることの代償

<Ref to="def-szilard-engine" />をもう一度読んでください。手順 5 で「装置を最初の状態に戻す」と書きましたが、**悪魔のメモリは元に戻っていません**。1 サイクル前は「まだ何も書かれていない」状態だったのに、いまは左か右かが書き込まれています。装置が本当に元の状態に戻るには、メモリを消さなければなりません。

ロルフ・ランダウアーが 1961 年に指摘したのは、この消去こそが物理的な代償を要求する、ということでした。

<Definition id="def-logical-irreversibility" title="論理的非可逆性">
ある操作が**論理的に可逆**であるとは、操作後の状態から操作前の状態が一意に決まることをいう。そうでないとき、その操作は**論理的に非可逆**であるという。

1 ビットの消去、すなわち状態 0 と状態 1 のどちらであっても状態 0 にする操作
$$
0 \mapsto 0, \qquad 1 \mapsto 0
$$
は、出力 0 から入力を復元できないので論理的に非可逆である。
</Definition>

なぜ論理的な性質が、熱という物理的なものを呼び寄せるのでしょうか。鍵は次の事実です。

<Lemma id="lem-volume" title="リウヴィルの定理（位相空間体積の保存）">
ハミルトン力学に従って時間発展する系において、位相空間（すべての粒子の位置と運動量が張る空間。<Ref to="physics/physics-columns/laplaces-demon#def-state" />）の領域の体積は、時間発展によって変化しない。領域の形は複雑に引き伸ばされても、その体積は保たれる。
</Lemma>

<Remark id="rem-liouville-proof" title="この補題の証明について">
<Ref to="lem-volume" />は解析力学の標準的な結果で、正準方程式から導かれる位相空間の流れが非圧縮的（速度場の発散がゼロ）であることに帰着します。証明はランダウ＝リフシッツ『力学』や、統計力学の教科書の冒頭部にあります。ここでは事実として用います。
</Remark>

<Theorem id="thm-landauer" title="ランダウアーの原理">
温度 $T$ の環境と接する系の中で、等確率で 0 または 1 の値をとる 1 ビットのメモリを、初期値によらず一定の状態にする（消去する）操作を行うとする。このとき環境に放出される熱 $Q$ は
$$
Q \ge k_B T \ln 2
$$
を満たす。等号は、操作を無限にゆっくり準静的に行った極限で成り立つ。
</Theorem>

<Proof of="thm-landauer">
消去の前後で、メモリの状態が占める領域を比べます。

消去前、メモリは 0 と 1 のどちらでもありえます。<Ref to="def-entropy" />により、この不確かさに対応するエントロピーは、2 つの状態が等確率なので
$$
S_{\text{前}} = -k_B\left(\tfrac12 \ln \tfrac12 + \tfrac12 \ln \tfrac12\right) = k_B \ln 2
$$
です。消去後は状態が 0 と確定しているので $S_{\text{後}} = 0$。したがってメモリのエントロピーは $k_B \ln 2$ だけ減少しました。

ここで<Ref to="lem-volume" />が効きます。メモリと環境を合わせた全体はハミルトン力学に従うので、全体の位相空間体積は減らせません。メモリ側で領域が半分に潰れたのなら、その体積は消えたのではなく、**環境側の領域が広がることで押し出された**はずです。言い換えると、メモリのエントロピー減少は、環境のエントロピー増加によって少なくとも相殺されなければなりません。
$$
\Delta S_{\text{環境}} \ge k_B \ln 2
$$
環境は温度 $T$ の熱浴ですから、そこに熱 $Q$ が流れ込んだときのエントロピー増加は $Q/T$ です。よって
$$
\frac{Q}{T} \ge k_B \ln 2 \quad\Longrightarrow\quad Q \ge k_B T \ln 2
$$
を得ます。

等号が実際に達成できることは、具体的な消去手続きで確かめられます。1 ビットのメモリを、体積 $V$ の箱に仕切りを入れて分子 1 個を左右どちらかに閉じ込めたもので表しましょう（左が 0、右が 1）。消去とは「どちらにいても左に集める」ことです。まず仕切りを抜きます。分子は体積 $V$ を自由に動き回り、この時点で左右の情報は失われます。次にピストンで体積を $V/2$ まで等温準静的に圧縮すれば、分子は必ず左室にいます。この圧縮に要する仕事は、<Ref to="thm-szilard-work" />の計算を逆向きにたどって
$$
W_{\text{圧縮}} = -\int_{V}^{V/2} \frac{k_B T}{V'}\,dV' = k_B T \ln 2
$$
であり、等温過程なので同量の熱 $k_B T \ln 2$ が熱浴に捨てられます。準静的に行えば下限がちょうど達成されます。
</Proof>

<Aside type="caution">
ランダウアーの原理がコストを課すのは**消去**であって、書き込みでも読み出しでも計算一般でもありません。可逆な論理演算（たとえば入力を保存したまま結果を追加する形の計算）は、原理的には熱を出さずに実行できます。「情報処理には必ずエネルギーが要る」という粗い標語は、この意味で不正確です。
</Aside>

さて、決算です。

<Corollary id="cor-demon-balance" title="悪魔の帳簿は合う">
<Ref to="def-szilard-engine" />のシラードのエンジンを、メモリの消去まで含めて 1 サイクル完結させるとき、外部に取り出せる正味の仕事 $W_{\text{net}}$ は
$$
W_{\text{net}} \le 0
$$
を満たす。したがってこの装置は<Ref to="ax-kelvin" />に反しない。
</Corollary>

<Proof of="cor-demon-balance">
1 サイクルで取り出される仕事は、<Ref to="thm-szilard-work" />より $W = k_B T \ln 2$ です。

一方、装置を完全に初期状態へ戻すには、記録された 1 ビットを消去しなければなりません。<Ref to="rem-bennett" />により観測そのものは無コストで行えますが、消去は<Ref to="thm-landauer" />により少なくとも $k_B T \ln 2$ の熱を環境に捨てることを要求します。エネルギー保存則より、その熱を賄うには外部から少なくとも同じだけの仕事 $W_{\text{消去}} \ge k_B T \ln 2$ を投入しなければなりません。

したがって
$$
W_{\text{net}} = W - W_{\text{消去}} \le k_B T \ln 2 - k_B T \ln 2 = 0
$$
です。等号はすべての過程を準静的に行った極限でのみ成り立ち、そのとき取り出せる正味の仕事はちょうどゼロになります。
</Proof>

悪魔は詐欺師ではなく、**帳簿を 1 ページ見落としていただけ**でした。稼いだぶんは、次の仕事にかかる前に必ず吐き出さねばなりません。

<Remark id="rem-circularity" title="この解決は循環論法ではないか">
鋭い読者はここで引っかかるはずです。<Ref to="thm-landauer" />の証明では第二法則的な議論（エントロピーは減らない）を使い、その結果を使って第二法則を守った。これは循環ではないか、と。

実際、ジョン・アーマンとジョン・ノートンはこの点を厳しく批判しました。彼らの整理によれば、ランダウアーの原理を第二法則から導いてから悪魔を退治するのは論点先取であり、逆に統計力学から独立に導けるなら、悪魔の議論そのものが不要になる、というジレンマがあります。

これに対する現在の標準的な立場は、<Ref to="lem-volume" />を出発点とする証明のように、ランダウアーの原理を**力学と統計力学から独立に導く**ことです。近年は、有限時間の測定とフィードバックを含む過程に対して、第二法則を情報量ぶんだけ拡張した「ゆらぎの定理」の形の等式が確立しており、悪魔を含む系の収支は不等式ではなく等式として書けるようになっています。哲学的な論争は完全には終わっていませんが、物理としての勘定は閉じている、というのが実情です。
</Remark>

## 7. 実験室の悪魔と、あなたのパソコン

これらは思考実験にとどまりません。21 世紀に入って、どちらも実験室で確かめられました。

<Example id="ex-berut" title="ランダウアー限界の測定（2012 年）">
アントワーヌ・ベリュらのグループは、水中に浮かべた直径 2 マイクロメートルほどのコロイド粒子を、レーザーで作った「2 つの谷を持つポテンシャル」に閉じ込めました。粒子が左の谷にいれば 0、右の谷にいれば 1。これが 1 ビットのメモリです。

谷の壁を下げ、片側に傾けてまた壁を上げる、という操作で「どちらにいた粒子も左の谷に集める」消去を実行し、そのあいだに粒子が水に渡した熱を、粒子の位置と速度の記録から算出しました。操作をゆっくり行うほど散逸する熱は減っていき、極限で $k_B T \ln 2$ に漸近して、それを下回ることはありませんでした。<Ref to="thm-landauer" />の等号が達成されうること、そして下限が破れないことの、直接の確認です（Bérut et al., *Nature* 483 (2012)）。

その 2 年前には鳥谷部祥一らが逆向きの実験、すなわち観測とフィードバックによってブラウン運動する粒子を坂の上に登らせ、情報からエネルギーを取り出すことに成功しています（Toyabe et al., *Nature Physics* 6 (2010)）。悪魔は実在します。ただし、収支を守る悪魔として。
</Example>

<Example id="ex-erase-gigabyte" title="1 ギガバイトを消すと部屋は暖まるか">
1 GB $= 8\times10^{9}$ ビットを室温で完全に消去したときに、原理的に避けられない発熱は
$$
8\times10^{9} \times 2.87\times10^{-21} \approx 2.3\times10^{-11}\ \mathrm{J}
$$
です。0.00000000002 ジュール。水 1 g を 1 度上げるのに 4.2 J 要ることを思えば、まったく無視できます。

一方、現在の半導体素子が 1 ビットのスイッチングに使うエネルギーは $10^{-17}$ J 程度と見積もられています。ランダウアー限界のおよそ数千倍です。つまり今日のコンピュータの発熱は、情報の消去という原理的な理由ではなく、電荷を配線に充放電するという工学的な理由でほぼ全部説明がつきます（微細化がぶつかっているもう一つの壁、ゲート絶縁膜のトンネル漏れについては<Ref to="physics/physics-columns/physics-in-everyday-life#ex-gate-oxide" />）。

とはいえ、素子 1 個あたりのエネルギーは歴史的に一貫して下がり続けてきました。もしこの傾向が続くなら、いつかは工学的な無駄を削り尽くし、ランダウアー限界という物理の壁に突き当たります。そのとき設計者に残された道は、消去しない計算、すなわち可逆計算です。マクスウェルが手紙に書いたいたずらは、いまや半導体設計の遠い将来の設計図に顔を出しています。
</Example>

<Aside type="tip">
この物語の教訓を一文にすれば、ランダウアーの標語「情報は物理的である（Information is physical）」に尽きます。情報は数学的な抽象物ではなく、必ず何らかの物理的な自由度に載っており、その自由度は熱力学の法則に従います。だからこそ、情報を消すという操作に価格表が付くのです。物理学にはまだ多くの[未解決問題](/physics/physics-columns/unsolved-problems-in-physics)（宇宙の収支にいたっては 95 % が空欄のままです。<Ref to="physics/physics-columns/unsolved-problems-in-physics#ex-cosmic-budget" />）がありますが、悪魔の一件は、100 年越しで決着がついた稀な例といえます。
</Aside>

## 8. 演習

<Exercise id="exr-erase-cost" difficulty="易">
$T = 300$ K で 1 ビットを消去するときに必要な最小の熱量を求め、それを「電子 1 個を 1 V の電位差で動かすエネルギー」（$1\ \mathrm{eV} = 1.602\times10^{-19}$ J）と比べてください。何倍の差がありますか。
<Solution>
<Ref to="thm-landauer" />より最小の熱量は
$$
k_B T \ln 2 = 1.380649\times10^{-23} \times 300 \times 0.6931 \approx 2.87\times10^{-21}\ \mathrm{J}
$$
です。1 eV との比は
$$
\frac{2.87\times10^{-21}}{1.602\times10^{-19}} \approx 1.8\times10^{-2}
$$
すなわち約 $1/56$ です。逆に言えば 1 eV はランダウアー限界のおよそ 56 倍。電子回路が扱う典型的なエネルギースケール（数百 mV から数 V）は、すでにランダウアー限界より 1〜2 桁大きいことが分かります。実際の素子（1 ビットあたり $10^{-17}$ J 程度、ランダウアー限界の数千倍）がそこからさらに 2 桁ほど無駄をしているのは、1 回のスイッチングで多数の電子を動かすためです。
</Solution>
</Exercise>

<Exercise id="exr-asymmetric" difficulty="標準">
シラードのエンジンで、仕切りを中央ではなく、左室と右室の体積比が $1:3$ になる位置に入れたとします。分子が左室にいる確率は $1/4$、右室にいる確率は $3/4$ です。1 サイクルあたりに取り出せる仕事の**期待値**を求め、<Ref to="thm-szilard-work" />の値と比べてください。
<Solution>
分子が左室（体積 $V/4$）にいた場合、そこから体積 $V$ まで等温準静的に膨張させると、<Ref to="thm-szilard-work" />の証明と同じ計算で
$$
W_{\text{左}} = \int_{V/4}^{V} \frac{k_B T}{V'}dV' = k_B T \ln 4
$$
右室（体積 $3V/4$）にいた場合は
$$
W_{\text{右}} = \int_{3V/4}^{V} \frac{k_B T}{V'}dV' = k_B T \ln \frac{4}{3}
$$
です。期待値は
$$
\langle W \rangle = \frac14 k_B T \ln 4 + \frac34 k_B T \ln\frac43 = k_B T\left(\frac{1.3863}{4} + \frac{3 \times 0.2877}{4}\right) \approx 0.562\, k_B T
$$
となります。中央で仕切った場合の $k_B T \ln 2 \approx 0.693\, k_B T$ より小さくなりました。

この値には意味があります。確率 $(1/4, 3/4)$ の分布のエントロピー（<Ref to="def-entropy" />の第 2 の式で $k_B$ を外したもの）は
$$
-\left(\frac14\ln\frac14 + \frac34\ln\frac34\right) \approx 0.562
$$
で、期待仕事とぴったり一致します。**取り出せる仕事は、観測で得られる情報量にちょうど比例する**のです。偏ったコイン（どちらに入っているか予想がつく状況）からは、少ししか仕事を取り出せません。
</Solution>
</Exercise>

<Exercise id="exr-finite-memory" difficulty="難">
悪魔が $N$ ビットの空のメモリを持ち、消去をいっさい行わずにシラードのエンジンを回すとします。(1) 悪魔が取り出せる仕事の合計はいくらですか。(2) この場合、第二法則は破れているといえますか。(3) 悪魔が無限に働き続けるには何が必要ですか。
<Solution>
**(1)** メモリが空である限り、1 サイクルごとに新しい 1 ビットを未使用の領域に書き込めるので、消去は不要です。<Ref to="thm-szilard-work" />より 1 サイクルで $k_B T \ln 2$ が得られ、$N$ サイクル回せるので合計は
$$
W_{\text{合計}} = N k_B T \ln 2
$$
です。$N$ を大きく取れば、いくらでも大きな仕事を取り出せます。

**(2)** 破れていません。第二法則（<Ref to="ax-kelvin" />）が禁じているのは「装置が元の状態に戻る循環過程」で熱をすべて仕事に変えることです。ここでは熱浴のエントロピーが $N k_B \ln 2$ 減った代わりに、悪魔のメモリのエントロピーが同じだけ増えています。空の $N$ ビットは 1 通りの状態しか取りませんが、書き込み後は $2^N$ 通りありうるので、<Ref to="def-entropy" />より
$$
\Delta S_{\text{メモリ}} = k_B \ln 2^{N} = N k_B \ln 2
$$
です。合計は増減ゼロで、収支は合っています。装置が元に戻っていない以上、これは第二法則への反例ではありません。

**(3)** 消去です。$N$ サイクルを終えた悪魔のメモリは満杯で、次のサイクルに入るには初期化しなければなりません。<Ref to="thm-landauer" />より $N$ ビットの消去には $N k_B T \ln 2$ 以上の熱を環境に捨てる必要があり、それには同じだけの仕事の投入が要ります。(1) で稼いだぶんはここで残らず返済されます。

つまり有限のメモリを持つ悪魔は、**一時的にしか第二法則を破れません**。破っているように見える期間の長さは、メモリの容量で決まります。これは第二法則の例外ではなく、「元の状態に戻る」という条件がいかに本質的かを示す好例です。
</Solution>
</Exercise>

## 参考文献

- J. C. Maxwell, *Theory of Heat*, Longmans, Green, and Co., 1871 — 第 22 章に、悪魔の原型となる記述があります。
- L. Szilard, "Über die Entropieverminderung in einem thermodynamischen System bei Eingriffen intelligenter Wesen", *Zeitschrift für Physik* 53 (1929), 840–856 — シラードのエンジンの原論文。
- R. Landauer, "Irreversibility and heat generation in the computing process", *IBM Journal of Research and Development* 5 (1961), 183–191 — ランダウアーの原理の原論文。
- C. H. Bennett, "The thermodynamics of computation — a review", *International Journal of Theoretical Physics* 21 (1982), 905–940 — 測定が無コストでありうること、消去こそが代償であることを整理した総説。
- H. S. Leff and A. F. Rex (eds.), *Maxwell's Demon 2: Entropy, Classical and Quantum Information, Computing*, Institute of Physics Publishing, 2003 — 主要論文を集めたアンソロジーで、歴史的経緯の解説も収録。
- A. Bérut et al., "Experimental verification of Landauer's principle linking information and thermodynamics", *Nature* 483 (2012), 187–189 — 消去の熱の直接測定。
- R. P. Feynman, R. B. Leighton, M. Sands, *The Feynman Lectures on Physics*, Vol. I, Addison-Wesley, 1963 — 第 46 章「ラチェットと爪」。機械仕掛けの悪魔がなぜ動かないか。
- J. Earman and J. D. Norton, "Exorcist XIV: The Wrath of Maxwell's Demon", *Studies in History and Philosophy of Modern Physics* 29 (1998) および 30 (1999) — 情報理論的解決への批判的検討。

## Appendix: 二つのエントロピーは、なぜ同じ単位で測れるのか

**熱のエントロピーと情報のエントロピー。** この記事では、熱浴のエントロピー $-Q/T$ と、メモリの不確かさのエントロピー $k_B \ln 2$ を、当たり前のように足し引きしました。しかし片方は蒸気機関の解析から生まれた量で、もう片方は通信路の容量を測るためにクロード・シャノンが 1948 年に導入した量です。出自がまったく違うものを、なぜ同じ帳簿に載せてよいのでしょうか。

**形が同じであること。** シャノンは、確率 $p_i$ で記号 $i$ が現れる情報源の不確かさを
$$
H = -\sum_i p_i \log_2 p_i \quad [\text{ビット}]
$$
で定義しました。<Ref to="def-entropy" />のボルツマンのエントロピー $S = -k_B \sum_i p_i \ln p_i$ と見比べると、違いは対数の底（2 か $e$ か）と、前に付く定数 $k_B$ だけです。$\log_2 x = \ln x / \ln 2$ を使えば
$$
S = k_B \ln 2 \cdot H
$$
という換算式が得られます。1 ビットの情報は $k_B \ln 2 \approx 9.57\times10^{-24}$ J/K のエントロピーに対応する、というわけです。<Ref to="thm-landauer" />の $k_B T \ln 2$ は、この換算式に温度を掛けただけのものです。

**それは単なる数式の類似ではないのか。** 長いあいだ、この一致は形式的なアナロジーにすぎないと考える人もいました。しかしシラードのエンジンが示すのは、両者が**同じ通貨で交換できる**ということです。<Ref to="thm-szilard-work" />では 1 ビットの情報が $k_B T \ln 2$ の仕事に化け、<Ref to="thm-landauer" />ではその逆の交換が起きます。為替レートが定数 $k_B \ln 2$ で固定されており、両替に手数料以上の損はあっても得はない。この交換可能性が実験で確かめられたこと（<Ref to="ex-berut" />）が、アナロジー説を退けました。

**残る違い。** ただし両者は完全に同じものではありません。熱力学のエントロピーは、系のミクロ状態についての「どの記述の粗さで見るか」を暗黙に固定して定義されます。情報のエントロピーは、誰が何を知っているかという相対的な量です。この差は、悪魔の問題では「悪魔が何を知っているか」がエントロピーの値を変える、という形で表面化しました。マクスウェルの悪魔が物理学に残した最大の贈り物は、温度差でも永久機関でもなく、**知識という主観的に見える概念が、熱という客観的な量と地続きである**という発見だったのかもしれません。
