Signatures of coherent initial ensembles on all work moments

技術要約：すべての仕事モーメントにおけるコヒーレントな初期アンサンブルのシグネチャ

問題提起
量子的な仕事を定義するための標準的なアプローチ、特に二点測定（TPM）スキームは、プロセスの開始時と終了時における射影エネルギー測定に依存している。直感的ではあるが、これらの測定は侵入的である。すなわち、初期量子状態を崩壊させ、初期のコヒーレンス（エネルギー基底における非対角要素）を消去し、系の軌跡を変化させてしまう。その結果、TPMは、初期アンサンブルに存在するコヒーレントな重ね合わせの熱力学的シグネチャを捉えることができない。ベイズ推論や擬確率分布といった既存の非侵入的な代替手法は、操作的な測定可能性を欠いていたり、負の確率を導入したりすることが多い。本論文は、駆動ハミルトニアン（量子摩擦）によって生成されるコヒーレンスとは異なる、初期のコヒーレンスが駆動散逸系における熱力学的仕事の完全な統計分布にどのように影響するかという理解の空白に対処するものである。

手法
著者らは、熱浴に弱結合した駆動散逸量子ビットを調査している。系は、エネルギー基底においてコヒーレンスを生成しない時間依存ハミルトニアン $H_t = E_t |e\rangle\langle e|$ によって制御されており、これにより観測されるコヒーレンス効果が厳密に初期状態の準備に由来することを保証している。

1. 操作的な仕事の定義: 本研究では、非侵入的な操作的仕事の定義を採用している。POVMの結果としてではなく、仕事は初期状態のラベル $i$ に条件付けられた駆動装置上の演算子の期待値として定義される。このアプローチは、量子的な仕事の定義に関するノーゴ定理を回避しながら、初期アンサンブルのコヒーレンスを保持する。
2. 軌跡形式: 系の進化は、一連の純粋状態（量子軌跡）を記述する、時間依存クラウス演算子のストロボスコピック極限を用いてモデル化されている。これらの軌跡には、ユニタリ進化、重ね合わせの非放射崩壊（ヌルイベント）、およびエネルギー固有状態間の確率的なジャンプが含まれる。
3. モーメント母関数 (MGF): 著者らは、仕事コストのMGFである $G(u, t)$ の閉じた形式の進化方程式を導出している。この方程式は、古典的な軌跡からの寄与と、初期のコヒーレンス分布から生じる寄与を明示的に分離する微分方程式である。
4. アンサンブル比較: コヒーレンスの影響を孤立させるために、著者らは同じ平均密度行列 $\rho_0 = I/2$ を与える異なる初期アンサンブル（分解）を比較している。これらには以下が含まれる：
   • DEG: エネルギー固有状態 $|g\rangle$ と $|e\rangle$ の古典的な混合（コヒーレンスなし）。
   • DPM: 重ね合わせ状態 $|\pm\rangle$ の離散的な混合。
   • DHaar: ブロッホ球上の純粋状態の連続一様分布（Haarランダム）。

主要な貢献と結果

• 仕事モーメントの階層方程式: 著者らは、仕事分布のモーメントに関する一連の階層的な微分方程式を導出している。彼らは、平均仕事 ($\langle W \rangle$) は、同じ $\rho_0$ を共有するすべてのアンサンブルで同一であり（したがって初期コヒーレンスに対して不感である）、高次モーメント（分散、歪度など）は初期コヒーレンス分布によって非自明に影響を受けることを示している。
• 精密さのためのリソースとしてのコヒーレンス: 中心的な知見は、単調な駆動プロトコルにおいて、初期アンサンブルにおけるコヒーレンスの存在が、同じ平均ポピュレーションを持つコヒーレンスレスなアンサンブルと比較して、仕事コストの分散を減少させることである。決定的なのは、このゆらぎの減少（精度の向上）が、典型的な熱力学的不確定性関係（TUR）で見られるトレードオフとは異なり、追加の平均散逸コストを負うことなく達成される点である。
• 修正されたジャルジンスキー等式と絶対的不可逆性: 本研究は、一般化されたゆらぎ定理 $\langle e^{-\beta(W - \Delta F)} \rangle = 1 - \xi$ を確立している。パラメータ $\xi$ は、標準的なジャルジンスキー等式からの偏差を定量化し、「量子絶対的不可逆性」に直接結びついている。これは、重ね合わせ状態から始まる軌跡には時間反転の対応物が存在しない（固有状態から重ね合わせへの逆方向のジャンプは禁止されている）ために生じる。パラメータ $\xi$ は、コヒーレントなアンサンブルに対しては厳密に正であり、古典的なアンサンブルに対してはゼロである。
• 散逸仕事の新しい下限: ジェンセンの不等式を修正されたジャルジンスキー等式に適用することで、平均散逸仕事に対する新しい下限 $W_{diss} \geq -\beta^{-1} \ln(1 - \xi)$ を導出する。驚くべきことに、この下限は、同じ平均密度行列 $\rho_0$ を共有する「古典的」なアンサンブル（DEGなど）に対しても適用可能である。平均仕事は $\rho_0$ のすべての分解で同一であるため、コヒーレントな分解が存在することは、古典的なプロセスに対してよりタイトな下限を課すことを意味し、関連するアンサンブルの量子特性を実質的に利用して古典的なプロセスを制約している。
• 修正された揺動散逸関係 (FDR): 低速駆動領域において、著者らは修正されたFDRを導出している。古典的な系では分散が散逸仕事に比例する（$\dot{\sigma}^2_W \approx 2\beta^{-1}\dot{W}_{diss}$）のに対し、コヒーレントな初期アンサンブルは負の補正項を導入し、ゆらぎの成長率をさらに抑制する。これは、TPMスキームにおいてコヒーレンスがしばしばゆらぎを増大させるという以前の知見とは対照的である。

意義
本論文は、初期のコヒーレンスが、平均的な散逸のペナルティを負うことなく、熱力学的プロセスの精密さ（仕事のゆらぎの減少）を高めるためのリソースとして利用できることを主張している。操作的で非侵入的な仕事の定義を用いることで、著者らは標準的な測定スキームによって消去されてしまう熱力学的シグネチャを捉えることに成功した。本研究は、初期コヒーレンス、絶対的不可逆性、および修正されたゆらぎ定理の間の深い関係を浮き彫りにしている。さらに、古典的な系の統計的性質が、その密度行列のコヒーレントな分解の存在を考慮することで、よりタイトに束縛され得ることを示しており、量子と古典の熱力学の相互作用に対する新しい視点を提供している。