[論文レビュー] The second law of Thermodynamics as a theorem in quantum mechanics

Hal Tasaki|arXiv (Cornell University)|Nov 20, 2000

Advanced Thermodynamics and Statistical Mechanics参考文献 1被引用数 5

ひとこと要約

この論文は、大規模な量子系における断熱過程をモデル化することで、量子力学から第二法則熱力学をきめ細やかに導出する。時間に依存するハミルトニアンを用い、一般のスペクトル性質（非 degenerate、非共鳴）を仮定し、ほとんどすべての待ち時間について、ゆっくりとした操作後の平均エネルギーが断熱仕事より下限づけられることを証明する。統計力学を用いずに、微視的レベルで最小仕事の法則を確立する。

ABSTRACT

We treat a quantum mechanical system with certain general properties which are expected to be common in macroscopic quantum systems. Starting from a PURE initial state (which may not describe an equilibrium) in which energy is mildly concentrated at a single value, we consider a time evolution determined by a time-dependent Hamiltonian as a model of an adiabatic operation in thermodynamics. We take a family of operations with the same procedure and various ``waiting times.'' Then the Minimum Work Principle is rigorously proved for almost all choices of the waiting time.

研究の動機と目的

• 統計力学に依存せずに、第二法則熱力学を微視的・量子力学的レベルから導出すること。
• 閉じた量子系における時間に依存するハミルトニアンの下での時間発展演算子として、熱力学的断熱操作をモデル化すること。
• 一般のマクロな系において、最小仕事の法則を量子力学の定理として確立すること。
• 初期状態をエネルギーが単一の値に集中する純粋状態として取り扱い、熱平衡化の問題を間接的に扱うこと。

提案手法

• 断熱操作を時間に依存するハミルトニアン Hτ(t) の下でのユニタリ時間発展演算子としてモデル化し、固定されたプロトコルだが変化する待ち時間 τ を用いる。
• 初期ハミルトニアン H_init が非デジェネレートで非共鳴なエネルギー準位を持ち、広義のエントロピー条件（式1）を満たし、広義のエントロピー s(ε) を持つと仮定する。
• 初期固有状態を最終固有状態へ写像するゆっくりとした発展演算子 U_slow を定義し、理想の断熱仕事に対応させる。
• エネルギーが ε₀V の周辺に狭いウィンドウに集中する純粋な初期状態 φ_init を用い、係数の減衰に関する制約（式4–5）を満たすと仮定する。
• 時間発展演算後の最終状態の平均エネルギー Ẽ_τ を分析し、分散の推定とチェビシェフ型不等式を用いて、その断熱値からのずれを評価する。
• ほとんどすべての τ に対して、最終エネルギー Ẽ_τ が E_slow − g(ε₀)V^{1−δ} で下限づけられることを証明し、最小仕事の法則が高確率で成立することを示す。

実験結果

リサーチクエスチョン

• RQ1 統計力学を用いずに、第二法則熱力学を量子力学から直接導出できるか？
• RQ2 閉じた量子系が断熱的時間発展を経る際に、最小仕事の法則はどのような条件下で成立するか？
• RQ3 待ち時間 τ がランダムに選ばれた場合、最終状態のエネルギー分布はどのように振る舞うか？
• RQ4 スペクトル的性質（非デジェネレート性と非共鳴性）は、熱力学的挙動の出現にどのように寄与するか？

主な発見

• 大規模系では、ほとんどすべての待ち時間 τ に対して、平均最終エネルギー Ẽ_τ が E_slow − g₇(ε₀)V^{1−δ} で下限づけられる。
• 断熱値から著しく逸脱する例外的な τ 値の測度は、系のサイズとともに指数関数的に減少し、exp[−V s(ε₀)/2] の形を取る。
• 最終エネルギー Ẽ_τ の分散は Ē² / Ω_V(ε₀V) で上界づけられ、断熱的結果の典型性が保証される。
• 初期状態が平衡状態でない場合でも結果が成り立つため、第二法則がユニタリ量子時間発展演算のみから生じることを示している。
• ハミルトニアンスペクトルと熱力学的挙動に関する一般の仮定の下で、最小仕事の法則が量子力学において厳密に定理として証明される。