[論文レビュー] Jarzynski Equality with Maxwell's Demon

Takahiro Sagawa, Masahito Ueda|arXiv (Cornell University)|Sep 5, 2006

Advanced Thermodynamics and Statistical Mechanics参考文献 2被引用数 3

ひとこと要約

本稿は、ジャルジンスキー等式を一般化し、マクスウェルの悪魔を含める。量子測定に基づく熱力学的プロセスを定式化し、悪魔が情報を得て仕事を行うことを想定する。一般化されたジャルジンスキー等式および不等式を導出し、1つの熱浴から抽出可能な仕事の上限が、悪魔の情報取得量と測定精度に依存することを示す。悪魔の初期状態や最終状態にかかわらず、非平衡状態にあっても成り立つ。

ABSTRACT

We propose a new thermodynamic equality and several inequalities concerning the relationship between work and information for an isothermal process with Maxwell's demon. Our approach is based on the formulation a la Jarzynski of the thermodynamic engine and on the quantum information-theoretic characterization of the demon. The lower bound of each inequality, which is expressed in terms of the information gain by the demon and the accuracy of the demon's measurement, gives the minimum work that can be performed on a single heat bath in an isothermal process. These results are independent of the state of the demon, be it in thermodynamic equilibrium or not.

研究の動機と目的

• マクスウェルの悪魔を含む等温過程における、仕事、自由エネルギー、情報の間の熱力学的等式を確立すること。
• 悪魔が熱力学的平衡にない場合に、情報取得と第二法則の整合性を解消すること。
• ジャルジンスキー等式を量子測定および悪魔による情報理論的制御を含む形に一般化すること。
• 悪魔が得た情報を利用して1つの熱浴から抽出可能な最小仕事に関する不等式を導出すること。
• 一般化された等式が成り立つ条件を明らかにすること、特に系の最終状態に関する条件に注目すること。

提案手法

• 系S、熱浴B、および量子測定と測定結果に基づくユニタリ操作を行う悪魔を含む等温過程を定式化する。
• ジャルジンスキー等式の枠組みを拡張し、悪魔の行動を測定および条件付きユニタリ変換として組み込む。
• 量子測定の結果を用いて悪魔の情報取得を特徴づけ、測定プロセスに基づく有効な情報量を定義する。
• 系の最終状態に関する弱い仮定（式16）を導入し、悪魔が測定によって最終状態をカノニカル平衡状態と区別できないことのみを要請する。
• 一般化されたジャルジンスキー等式（式18）および仕事、自由エネルギーの差、情報取得量を関係付ける熱力学的不等式（式22）を導出する。
• 最終状態仮定からのわずかなずれに対する等式のロバストネスを分析し、誤差を式（29）で評価する。

実験結果

リサーチクエスチョン

• RQ1 等温過程においてマクスウェルの悪魔の役割を含めたジャルジンスキー等式をどのように一般化できるか？
• RQ2 悪魔の初期状態や最終状態にかかわらず、悪魔が得た情報を利用して1つの熱浴から抽出可能な最小仕事は何か？
• RQ3 悪魔が量子測定およびユニタリ操作を行う場合、一般化されたジャルジンスキー等式が成り立つ条件は何か？
• RQ4 悪魔の測定精度および情報取得量が、仕事抽出の熱力学的上限にどのように影響するか？
• RQ5 系の最終状態が熱力学的平衡と整合する役割を果たす条件は何か？また、その仮定はどれほど弱くできるか？

主な発見

• 一般化されたジャルジンスキー等式（式18）は、悪魔の初期状態や最終状態にかかわらず成り立ち、悪魔が非平衡状態にあっても成立する。
• 不等式 ⟨exp(−βW)⟩ ≥ exp(−βΔF − β⟨I⟩)（式22）は、悪魔による情報取得量 ⟨I⟩ のおかげで、−ΔF よりも大きな仕事が1つの熱浴から抽出可能であることを示す。
• 仕事の下限は、悪魔の情報取得量と測定精度によって決定され、有効情報量を用いて定量的に評価できる。
• 最終状態に関する仮定（16）は、ρ_f = ρ_f^can を要請するのと比べてはるかに弱く、測定結果がカノニカル状態と一貫していることのみを要請する。
• 理想の最終状態からのずれは、|Δη/η| ≤ (d′/p)ε で上限が与えられ、ε は実際の最終状態とカノニカル最終状態との測定期待値の差を定量化する。
• 結果は、理想の最終状態からのわずかなずれに対してもロバストであるため、実際の物理系において実用的に実現可能である。