[論文レビュー] Energy conservation and fluctuation theorem are incompatible for quantum work

Karen V. Hovhannisyan, Alberto Imparato|arXiv (Cornell University)|Apr 19, 2021

Advanced Thermodynamics and Statistical Mechanics参考文献 74被引用数 4

ひとこと要約

この論文は、量子仕事測定においてエネルギー保存則とJarzynskiのフラクチュアシオン定理（JE）が根本的にならないことを証明している。物理的に妥当な仕事測定スキーム—特に状態依存のもの—は、両条件を同時に満たせない。唯一、極めて限定的な異常なスキームを除き、二点測定（TPM）スキームのみが状態に依存しない条件下でJEと整合する。

ABSTRACT

Characterizing fluctuations of work in coherent quantum systems is notoriously problematic. Here we reveal the ultimate source of the problem by proving that ($\mathfrak{A}$) energy conservation and ($\mathfrak{B}$) the Jarzynski fluctuation theorem cannot be observed at the same time. Condition $\mathfrak{A}$ stipulates that, for any initial state of the system, the measured average work must be equal to the difference of initial and final average energies, and that untouched systems must exchange deterministically zero work. Condition $\mathfrak{B}$ is only for thermal initial states and encapsulates the second law of thermodynamics. We prove that $\mathfrak{A}$ and $\mathfrak{B}$ are incompatible for work measurement schemes that are differentiable functions of the state and satisfy two mild structural constraints. This covers all existing schemes and leaves the theoretical possibility of jointly observing $\mathfrak{A}$ and $\mathfrak{B}$ open only for a narrow class of exotic schemes. For the special but important case of state-independent schemes, the situation is much more rigid: we prove that, essentially, only the two-point measurement scheme is compatible with $\mathfrak{B}$.

研究の動機と目的

• 量子コherent系における仕事のフラクチュエーションを定義する長年の問題を解決すること。
• エネルギー保存則とJarzynskiのフラクチュエーション定理（JE）が量子仕事測定において共存可能かどうかを調査すること。
• 両方の物理的原則を満たす仕事測定スキームの理論的限界を特定すること。
• 量子仕事と古典的熱力学的原則（第二法則やエネルギー保存則）との基礎的不整合を明確にすること。

提案手法

• エネルギー保存則を二つの条件として形式化する：(1) 平均仕事がエネルギー差に等しい（A₁）、(2) 変化のない系に対して仕事がゼロである（A₂）。これらを組み合わせたものを詳細なエネルギー保存則（A）と呼ぶ。
• Jarzynskiのフラクチュエーション定理（B）を、すべての熱的初期状態に対してJEが成り立つという要件として定義し、量子仕事統計に第二法則を埋め込む。
• システムの状態に関する滑らかな関数としての仕事測定スキームを分析し、物理的に不適切または病理的なケースを除外するための弱い構造的制約を課す。
• 状態に依存しないスキームに対して、JE（B）が成り立つのは二点測定（TPM）スキームに限ることを証明し、JE ⇔ TPM を確立する。
• スペクトル解析とマジョライゼーション理論を用いて、特に固有値の順序とトレース不等式を通じて、仕事演算子の統計を比較する。
• 対数関数の作用素の凹性とトレース不等式を用いて、仕事期待値の上限を導出し、仕事統計間のマジョライゼーション関係を証明する。

実験結果

リサーチクエスチョン

• RQ1 量子仕事測定スキームは、エネルギー保存則とJarzynskiのフラクチュエーション定理を同時に満たすことができるか？
• RQ2 熱的状態に対してJarzynski等式を満たすための、仕事測定スキームに必要な条件は何か？
• RQ3 状態に依存しない測定ルールのもとで、Jarzynski等式を満たすために二点測定（TPM）スキームが唯一の実用的選択肢であるか？
• RQ4 状態依存スキームの導入は、エネルギー保存則とフラクチュエーション定理の整合性にどのように影響するか？
• RQ5 微分可能性と構造的制約は、そうでなければ両AとBを満たす可能性がある異常なスキームを除外するために果たす役割は何か？

主な発見

• 物理的に妥当な量子仕事測定スキームに対して、エネルギー保存則（A）とJarzynskiのフラクチュエーション定理（B）は根本的にならない。
• 状態に依存しないスキームにおいては、Jarzynski等式（B）を満たすのは二点測定（TPM）スキームに限る。このクラスではJE ⇔ TPM が成立する。
• A₁とA₂（詳細なエネルギー保存則）の両方を要求する場合、すべての滑らかな状態依存スキームはBと整合しない。唯一、極めて限定的な異常なスキームのクラスが理論的に可能である。
• 本論文は、Bを満たし、熱的状態に対して正しい平均仕事値を生成する任意のスキームが、TPMスキームと同じ統計を再現しなければならないことを証明している。
• 非可換ハミルトニアン（すなわち、[h,H] ≠ 0）の場合、Bを満たす任意のスキームは、熱的状態においてA₁を破る。これは直接的な不整合を示している。
• 仕事演算子Υρが固有値の順序でTPM仕事演算子Ωをマジョライズすること（Spec(Υτ)↓ ≻ Spec(Ω)↓）を示し、統計的ばらつきが強いことを示している。また、⟨Ω⟩τ − ⟨Υτ⟩τ ≤ β⁻¹S(τ∥U†τ′U) が成り立ち、相対エントロピーと自由エネルギー差と関連している。