Gauge-invariant thermodynamics of a finite-time quantum Otto engine

技術要約：有限時間量子オットーエンジンのゲージ不変熱力学

問題提起
量子熱力学は、根本的な概念的課題に直面している。すなわち、微視的な量子状態は、熱力学的記述に操作的に関連のある、あるいは実験者がアクセス可能な情報よりも、はるかに多くの情報を含んでいる。具体的には、コヒーレンスを熱とみなすか仕事とみなすかについて、既存の提案によって解釈が分かれており、コヒーレンスの役割が曖昧である。さらに、有限時間の量子熱機関においては、駆動プロトコルがエネルギー準位間の遷移を引き起こし、コヒーレンスを生成するため、準静的な極限からの逸脱（しばしば「内部摩擦」と呼ばれる）が生じる。多体系、特に臨界点付近におけるコヒーレンス生成、不可逆性、および仕事抽出の相互作用には、熱力学的にアクセス可能な情報とアクセス不可能な情報を区別する厳密な枠組みが必要である。

手法
著者らは、働く媒体として**リプキン・メシュコフ・グリック（LMG）**モデルを用いた有限時間量子オットーエンジンを調査している。この研究は、ゲージ不変量子熱力学の枠組みの中で行われる。

1. 理論的枠組み： 著者らは、熱力学的に区別不可能な状態のエクイバレンス・クラス（同値類）上で熱力学量が定義される定式化を採用している。熱力学的ゲージ群 $G_T$ は、系の平均エネルギーを保存するユニタリ変換によって定義される。熱力学量は、この群の上で標準的な量を平均化することによって得られ、エネルギー的な記述に影響を与えない変換に対して不変となる。
2. モデルとプロトコル： LMGハミルトニアンは $H(t) = -\frac{\gamma_x}{2j} J_x^2 - \delta_t J_z$ である（ここで $\delta_t$ は時間依存する横磁場である）。エンジンは、4つのストロークからなるオットーサイクルによって動作する。
   • 2つの等容ストローク（高温および低温のリザーバーとの熱平衡化）。
   • 2つのユニタリ・ストローク（プロトコル $\delta_t = \delta \pm \delta_0 \tanh(\alpha t)$ によって駆動される膨張および圧縮）。ここで $\alpha$ は駆動速度を制御する。
3. 解析： 著者らは、ゲージ不変な仕事 ($W_{inv}$)、コヒーレントな熱 ($Q_c$)、効率 ($\eta$)、およびエントロピー生成 ($\Sigma$) の明示的な式を導出している。彼らは、駆動速度 ($\alpha$) およびシステムサイズ ($j$) に関してサイクルの性能を分析し、LMGモデルの臨界点 ($\delta_c = \gamma_x$) の影響を検討している。

主要な貢献と結果

• 仕事と熱の分解： 本研究は、ユニタリ・ストローク中に通常行われる仕事 ($W_u$) が、2つの明確な部分に分解されることを示している。

  • 不変な仕事 ($W_{inv}$)： 即時的なエネルギー・スペクトルおよびポピュレーションの変化のみに関連する。これは、ゲージ粗視化によって制限された熱力学的観測者にとってアクセス可能な仕事を表す。
  • コヒーレントな寄与 ($Q_c$)： 即時的なエネルギー基底における有限時間の量子コヒーレンスから生じる。この項は、全機械的仕事と不変な仕事の差を表す。
  • 同様に、ユニタリ・ストローク中の熱交換も、完全にコヒーレントな熱で構成されている（$Q_{inv} = Q_c$）。一方、等容ストロークにおいては、従来の定式化とゲージ不変な定式化の結果は一致する。

• 量子コヒーレンスとの関係： 著者らは、コヒーレントな熱と、リソース理論におけるコヒーレンスの尺度との間の直接的な関連性を確立している。彼らは、コヒーレントな熱の大きさは、相対エントロピー・コヒーレンス ($C_{rel}$) と駆動速度によって制約されるという上限を導出した。これにより、熱力学的にアクセス不可能なコヒーレンスに伴うエネルギー的寄与が、系に存在するコヒーレンスの量によって制限されることが確認された。

• 効率とエルゴトロピー： エンジンの効率は、不変な成分 ($\eta_{inv}$) とコヒーレントな成分 ($\eta_c$) に分解される。著者らは、熱力学的粗視化を生き残る仕事の割合を定量化するために比 $\kappa = W_{inv} / W_{tot}$ を導入している。彼らは $W_{inv}$ をゲージ不変なエルゴトロピーと解釈しており、これは、状態の熱力学的にアクセス可能なセクターから抽出可能な最大仕事を表している。

• 臨界性の影響：

  • 動作領域： LMGモデルの臨界領域を通過することは、サイクルが熱機関（すなわち、高温リザーバーから熱が流れる状態）として機能するパラメータ空間 ($\alpha, j$) を大幅に縮小させる。
  • コヒーレントな補正の抑制： 逆説的に、非縮退相においてエンジン条件が満たされているとき（臨界点を通過する場合）、従来の記述とゲージ不変な記述の間の相違は強く抑制される ($\kappa \approx 1$)。これは、非縮退相においては、抽出される仕事が主にゲージ不変なセクター（ポピュレーション）によって担われている一方で、対称性が破れた相においては、コヒーレントな寄与がより重要であることを示している。

• 不可逆性の幾何学的解釈： ゲージ定式化は、有限時間の駆動によって生成されるエントロピー生成 ($\Sigma$) の幾何学的な分解を提供する。$\Sigma$ は、ポピュレーション項 ($\Sigma_{pop}$) とコヒーレンス項 ($\Sigma_{coh}$) に分割される。これにより、「内部摩擦」という従来の概念が、ポピュレーションの再分配に起因するものと、熱力学的にアクセス不可能なコヒーレンスに起因するものという、異なる物理的メカニズムへと明確に分解される。

意義
本論文は、ゲージ不変熱力学、有限時間の不可逆性、および多体系量子熱機関からの仕事抽出の間の直接的なつながりを確立している。熱力学を、ゲージ対称性による情報の制限されたアクセスを通じた理論として位置づけることで、著者らはポピュレーション・セクターとコヒーレンス・セクターを分離するための自然な幾何学的言語を提供している。

結果として、臨界性はエンジンの動作可能性を妨げる可能性がある一方で、エンジンが動作している場合には、仕事抽出に対するコヒーレントな補正の相対的な重要性を同時に抑制することも示された。これは、熱流の反転とコヒーレントな寄与を支配するメカニズムが異なることを示唆している。最終的に、本研究は量子コヒーレンスの熱力学的役割を定量化するための体系的な枠組みを提供しており、「コヒーレント」なセクターは、熱力学的記述によって破棄された情報に関連するエネルギー的寄与を表し、「不変」なセクターは、制限された観測者にとってアクセス可能な仕事を代表していることを示している。