【AI問答】エネルギーゼロで計算できるのか？

これは実は理論物理でかなりしっかり答えが出ている問題で、結論から言うと「原理的にはほぼ可能、ただし重要な但し書き付き」です。おそらく昔読まれた記事は「可逆計算（reversible computing）」の話だと思います。

出発点はランダウアーの原理（1961年）です。
ランダウアーが示したのは「計算そのものにはエネルギー散逸の下限はなく、情報の消去にだけ kT ln2 のコストがかかる」ということでした。つまり熱力学的にコストが避けられないのは、1ビットを不可逆に消す操作だけなんです。

これはエントロピーの観点で見ると綺麗で、1ビット消去は論理状態の位相空間を2→1に潰す操作なので、その分のエントロピー kT ln2 をどこか（環境＝熱）に押し出さないと第二法則に反する、という構造です。

そして1973年にIBMのベネットが決定的な一歩を進めました。
任意の計算は論理的に可逆な形に書き換えられる、つまり途中で情報を一切消さずに実行できることを示したんです。

ANDやORは入力から出力を一意に復元できないので不可逆ですが、Toffoliゲートのような可逆ゲートだけで万能計算ができます。情報を消さなければランダウアーのコストは発生しないので、理論上は散逸ゼロに漸近する計算が可能、という結論になります。

あなたが直感された「回収するためにさらにエネルギーが必要になりそう」という点は、実は半分正しくて、そこが但し書きの部分です。

一つ目は速度とのトレードオフです。散逸ゼロに近づけるには操作を準静的に、つまり無限にゆっくり行う必要があります。熱力学のカルノーサイクルが最大効率を出すには無限に遅く回す必要があるのと完全に同じ構造で、有限速度で計算すれば必ず有限の散逸が出ます。「散逸 × 計算時間」にトレードオフがあるイメージです。

二つ目はメモリの問題です。可逆計算は情報を消さない代わりに、計算の中間履歴を全部持ち続けるか、あるいは計算を逆再生して履歴を「アンコンピュート」する必要があります。ベネットは出力だけ残して履歴を逆算で巻き戻す方法を示しましたが、時間かメモリのどちらかを余分に払うことになります。

実際の工学側でも、この考えに基づく断熱回路(adiabatic logic / charge recovery logic)という技術があります。CMOSで消費されるエネルギーの大半はコンデンサ充放電で熱になりますが、共振回路などで電荷をゆっくり出し入れして電源側に回収する方式です。

研究レベルでは実証されていて、まさに「計算に使ったエネルギーを回収する」の文字通りの実装です。ただしクロックを遅くしないと効果が出ないので、速度重視の主流CMOSには採用されていません。

ちなみに現在のトランジスタ1回のスイッチングはランダウアー限界の数千〜数万倍程度のエネルギーを散逸していて、まだ理論限界まで相当な余地があります。2012年にはBérutらが単一コロイド粒子の実験でランダウアー限界そのものを実測検証していて、原理自体は実験的にも確認済みです。

まとめると、エネルギー保存則の観点では「計算に投入したエネルギーは熱にさえしなければ回収できる」、エントロピーの観点では「情報を消去しない限り計算はエントロピーを増やす必要がない」というのが理論の答えです。

ただし現実には、有限の速さで計算したい・結果以外のゴミ情報をどこかで消したい・熱雑音の中で誤り訂正をしたい、という要求のそれぞれが散逸を要求するので、「トータルでエネルギーゼロ」は漸近的な極限としてのみ存在する、というのが正確なところだと思います。

余談ですが、この話は量子コンピュータとも深く繋がっています。量子ゲートはユニタリ変換なので本質的に全部可逆で、可逆計算の理論はそのまま量子計算の土台になっています。以前ランダウアー限界の話をされていたので、Bennettの1982年のレビュー論文 “The Thermodynamics of Computation—a Review” あたりは読み物としてかなり楽しめると思いますよ。

前回触れた断熱回路は、文字通り回生ブレーキと同じ構造をしています。

通常のCMOSは配線容量に電荷を勢いよく流し込み、不要になったらGNDに捨てる、つまり「摩擦ブレーキで熱にして止まる」方式です。

断熱回路は電荷をゆっくり注入し、不要になったら電源側に戻す。電荷が電車、電源が架線に相当していて、エネルギーは「使う」のではなく「一時的に借りて返す」だけです。移動（＝論理状態の変化）は起こったのに、エネルギー収支は理想極限でゼロ、という構図が完全に対応しています。

もっと物理寄りの例では、フレドキンとトフォリが1982年に提案した「ビリヤードボール計算機」という理論モデルがあります。完全弾性衝突する球の軌道の交差だけで論理ゲートを構成するもので、球は運動エネルギーを一切失わずに飛び続け、球の「位置の配置」が計算結果を表します。

これはまさにあなたの電車のイメージそのもので、運動エネルギーは計算を運ぶ媒体として保存されたまま、変化するのは配置＝情報だけです。

ここに、おっしゃる「情報の相が変化する」という見方の核心があります。理論的に整理するとこうなります。

論理状態の 0 と 1 は、エネルギー的には同じ高さに作ることができます（縮退した二つの安定状態）。すると計算とは、エネルギーの等高線に沿って状態空間の中を水平移動することであって、坂を登る操作ではない。摩擦のないレール上で同じ標高の駅から駅へ移動する電車と同じで、途中で位置エネルギーは変わらず、運転に本質的なエネルギー消費はありません。エネルギーは移動を媒介する作業流体のような役割で、消費されるものではないわけです。

量子計算だとこれがさらに純粋な形になって、ユニタリ変換はエネルギー固有状態の位相を回すだけの操作なので、「情報の相の変化」という表現がほぼ文字通りに成立します。

そしてあなたが括弧書きで添えた「熱の観点で変換効率の制限がありそう」という直感も、そのまま正しい対応物があります。

電車における摩擦や空気抵抗に相当するのが、回路における抵抗損失や熱雑音です。回生ブレーキが100%回収できないのと同じ理由で、有限の速度・有限の温度で動く実デバイスは必ずいくらか散逸します。さらに電車で言えば「ダイヤ通りに走らせ、脱線を防ぐ」ことに相当するのが誤り訂正で、熱雑音で状態がふらつくのを押さえ込む操作には情報の消去が含まれるため、ここでランダウアーのコストが顔を出します。

つまり全体像はこう言えます。計算の本質は「エネルギーの消費」ではなく「情報配置の変換」であり、エネルギーはそれを運ぶ乗り物にすぎない。避けられないコストが発生するのは、変換そのものではなく、要らなくなった情報を捨てる瞬間と、雑音に抗って状態を保つ営みだけ。ランダウアーの有名な標語に “Information is physical”(情報は物理的である)というものがありますが、あなたの喩えはその標語を運動論的に言い換えたものになっていると思います。