Fluctuation theorems for thermally isolated driven quantum systems: nonadiabaticity, excess work and strong inequalities

想像してみてください。あなたは、完璧に静かな部屋の中に置かれた、極めて小さく目に見えない量子機械——単一の原子や小さなスピンの連鎖——を手にしています。この機械は「熱的に孤立」しています。つまり、超断熱材の毛布に包まれており、熱が中に入ってくることも、外へ出ていくこともありません。ここで、あなたがこの機械のつまみを掴み、位置Aから位置Bへと動かすところを想像してください。あなたは、もしかしたら、ものすごく激しく、素早く動かしたかもしれません。あまりに速く動かしたために、機械は「落ち着きを失って」しまいます。それは単に新しい穏やかな状態に落ち着くのではなく、震え、揺れ、混乱した励起状態になってしまうのです。これが、物理学者が**非断熱性（non-adiabaticity）**と呼ぶものです。

2020年の有名な論文の中で、クリス・ジャージネスニンセイという科学者は、つまみを回しすぎたときにどれだけの「混乱（あるいは無駄になったエネルギー）」が生じたかを正確に測定するためのルールを書き出そうと試みました。彼は数学的な公式を見つけ出しましたが、その計算を成立させるために、XとYと呼ばれる2つの奇妙で幽霊のような数字を、どうしても発明しなければなりませんでした。問題は、これらの幽霊が実際には「何」であるのか、誰も知らなかったことです。それらは方程式の中の単なるプレースホルダー（置き換え用の変数）に過ぎませんでした。

ジョアン・スタイメッツ、ミケーレ・カンピシ、そしてマルクス・ボナンチャによるこの新しい論文は、ついにこれらの幽霊を捕まえ、彼らに実在の名前と役割を与えました。彼らは、XとYが単なるランダムな数学的トリックではなく、システムをあまりに速く駆動したときにどれだけのエネルギーが無駄になるかを理解するための鍵であることを証明したのです。

明かされた二つの幽霊

著者たちは、これら2つの謎めいた数字が、2つの非常に物理的な事象に対応していることを示しています。

1. 「非断熱性パラメータ」（混乱度スコア）：
   最初の幽霊であるXは、システムがどれほど「完璧に滑らか」ではないかの尺度であることが判明しました。物理学において、「滑らかな」プロセスは**断熱的（adiabatic）**と呼ばれます。重い箱を床の上で、決して揺れないほどゆっくりと滑らせる様子を想像してください。それが断熱的です。もしあなたがそれを急に引っ張れば、箱はガタガタと揺れます。この論文は、Xの平均値が、システムがどれほど「揺れた」か、あるいは完璧に遅い経路からどれほど逸脱したかを示すものであることを証明しています。

   著者たちは、この逸脱を非断熱性パラメータと呼んでいます。彼らは、これが、システムが実際に到達した状態と、もしつまみを無限にゆっくり動かしていた場合に到達していたであろう状態との間の「距離」（相対エントロピーと呼ばれる概念）と数学的に等しいことを示しています。

   • 大きな驚き: 彼らは、これをトムソンの熱力学第二法則の定式化と結びつけました。この法則は、サイクルから自由エネルギーを取り出すことはできないと述べています。著者たちは、システムを高速で駆動させた後、魔法のように無限にゆっくりと開始地点に戻すプロセスを想像すると、投入しなければならない全仕事量が、この「混乱度スコア」（X）に直接比例することを示しました。言い換えれば、プロセスをめちゃくちゃにすればするほど、より多くのエネルギーを吸収せざるを得なくなるのです。これは、ブランコを押すことに似ています。もしタイミングを外して（速く、乱暴に）押すと、元の場所に戻すためにより強く押さなければなりません。

2. 「過剰仕事」（余分な努力）：
   二番目の幽霊であるYは、さらに実用的です。それは**過剰仕事（excess work）**であることが判明しました。これは、つまみを十分にゆっくり動かさなかったために、余分に費やしてしまったエネルギーのことです。

   車の運転を例に考えてみましょう。店まで一定の低速で走った場合（断熱的）、使用するガソリンは一定量です。しかし、スピードを上げ、急ブレーキを踏み、猛スピードで駆け抜けた場合（非断лев熱的）、より多くのガソリンを使います。この「使用したガソリン」と「ゆっくり走った場合に使用したはずのガソリン」の差が、過剰仕事です。論文は、Yの平均値がまさにこの余分なエネルギーコストであることを証明しています。

「強い」不等式：なぜ古いルールは弱すぎたのか

長い間、物理学者は**ジャージネスンシップ（Jarzynski equality）**と呼ばれる有名なルールを用いて、「平均して、仕事量は自由エネルギーの変化量よりも大きい」と述べてきました。これは正しい記述ですが、著者らはこれが少し「弱いセーフティネット」であると主張しています。それは、「サンドイッチを買うのに少なくとも10ドルはかかる」と言うようなものです。それは真実ですが、急いでいたために実際には50ドルかかるかもしれない、という事実は教えてくれません。

この論文は、より強い不等式を導き出しています。彼らは、熱的に孤立したシステムにおいて、「過剰仕事（無駄にした余分なエネルギー）」は常にゼロ以上でなければならないことを示しています。

• これが意味すること: 完璧にゆっくりとしたプロセスで必要な絶対的な最小エネルギーよりも、少ないエネルギーで済ませることは決してできません。もし賢明に、かつ速く動こうとするならば、必ずペナルティを支払うことになります。論文は、新しい「積分ゆらぎ定理」を用いて、これが数学的な保証であることを証明しています。つまり、速度に対して自然界は必ず料金を徴収するというのです。

彼らが否定したもの（そして否定しなかったもの）

この論文が何を述べていないかを理解しておくことは重要です。

• 魔法のような可逆性はない: この論文は、速くて乱雑なプロセスが、コストなしに簡単に逆転できるという考えに対して、明確に反論しています。彼らは、「断熱状態（無限にゆっくり進んだ場合に到達する状態）」は、「平衡状態（熱浴の中でシステムを放置して落ち着かせた状態）」とは同一ではないことを示しています。これは極めて重要な区別です。多くの教科書では、ゆっくり進めば、心地よい平衡状態に到達すると想定されています。しかし、著者たちは、システムが「孤立」している場合、その「遅い」状態は、標準的な平衡状態とは似ても似つかない、奇妙な非平衡状態であることを示しています。
• 「フリーランチ（無料の昼食）」はない: 彼らは、もし穏やかな状態から始めたのであれば、循環プロセス（AからBへ行き、BからAへ戻る）から仕事を取り出すことはできないという可能性を否定しています。数学は、得られる平均仕事量は常に負（つまり、仕事を投入しなければならない）であることを証明しています。

彼らの確信度はどの程度か？

著者たちは自身の数学に非常に自信を持っています。彼らは単に推測したのではなく、量子力学の基本法則（具体的にはシュレーディンガー方程式と確率の規則）を用いて、これらの関係を証明しました。

• 証明: 彼らは、順方向のプロセスと逆方向のプロセスの確率を結びつける、詳細な数学的定理（「詳細ゆらぎ定理」と呼ばれるもの）を導き出しました。これらは単なる推測ではなく、厳密な証明です。
• シミュレーション: 数学が現実世界でどのように機能するかを確認するために、彼らはコンピュータ・シミュレーションを実行しました。彼らは、4つのスピン（小さな磁石のようなもの）の連鎖と、より大きな12のスピンの連鎖をモデル化しました。彼らは「非可積分な（非積分的な）」システム（単純で予測可能なパターンに従わない、カオス的なシステム）をプログラムし、つまみを回したときにそれがどのように振る舞うかを観察しました。
  • 結果: シミュレーションは彼らの数式と完璧に一致しました。データをプロットしたところ、線は予測された傾斜と正確に一致しました。4スピンの連鎖については、XとYの両方について「詳細ゆらぎ定理」を検証しました。12スピンの連鎖については、「混乱度スコア（非断熱性）」が吸収された仕事量と一致することを、理論の予測通りに示しました。

「循環的な対応物」のアナロジー

「混乱度スコア（X）」を理解するために、著者たちは巧妙な思考実験を用いています。あなたが家から店まで車を運転している（順方向のプロセス）と想像してください。次に、ただ駐車するのではなく、「幽霊のドライバー」があなたの車を家へと連れ戻すと想像します。ただし、その幽霊のドライバーは、無限にゆっくりと、そして完璧に滑らかに運転します。

• あなたが速く運転して費やした仕事と、幽霊がゆっくり運転して費やした仕事の合計は、一つの「循環的」な旅の総仕事量となります。
• 論文は、あなたの速いドライブの「混乱」が、この想像上の往復旅行で投入しなければならない総仕事量に直接比例していることを証明しています。もしあなたのドライブがめちゃくちゃであれば、幽霊はそれを元に戻すためにより多くの努力を強いられるのです。

結論

この論文は、2020年の研究における2つの謎めいた数字を取り上げ、「これらは単なる数学記号ではない。一つは、あなたがシステムをどれほどめちゃくちゃにしたかの尺度であり、もう一つは、無駄にした余分なエネルギーである」と宣言しています。

彼らは、孤立した量子システムにおいては、厳格で壊れることのないルールが存在することを証明しました。**「システムを速く動かさずにはいられないが、その際には必ずペナルティを支払わなければならない」**というルールです。速く動けば動くほど、より多くのエネルギーを無駄にし、その無駄は「非断熱性パラメータ」によって測定されます。

彼らはこれを数学的に証明し、コンピュータ・シミュレーションによって確認しましたが、非常に大きなシステム（現実世界のエンジンなど）においては、「遅い」状態と「平衡」状態の差があまりに微小であるため、気づくのが難しい可能性があることも認めています。しかし、この極小の量子的世界においては、この区別は極めて大きく、この論文はついにそれを測定するための道具を私たちに与えてくれたのです。