Jarzynski equality for counterwork under reversed memory-filtered driving

技術要約：逆転メモリフィルタリング駆動下におけるカウンターワークに関するジャルジンスキ等式

問題設定
揺らぎの関係式、特にジャルジンスキの等式は、平衡から遠く離れた状態へと駆動される系に対して行われる仕事の統計量に対する厳密な制約を与える。標準的な等式は、与えられたプロトコル $\lambda(t)$ に対して、仕事の指数平均と平衡自由エネルギー差を関連付けるものであるが、本研究ではこれとは補完的な構成、すなわち「カウンターワーク（対抗仕事）」プロセスの熱力学的状態に対処する。中心となる問題は、課されたプロトコル $\lambda(t)$ の端点を反転させる有効プロトコル $\Lambda(t)$ によって生成されるカウンターワーク・ファンクショナルを定義し、分析することである。具体的には、メモリ・フィルタリングされた駆動メカニズムを用いてこのような逆転プロトコルを構築する方法を調査する。これは受動的な浴の応答ではなく、駆動装置の能動的な構成要素である。本研究では、これがジャルジンスキの等式および熱力学第二法則の適用にどのように影響するかを検討する。

手法
著者らは、メモリ・フィルタリングされた速度を用いて、課されたプロトコル $\lambda(t)$ から有効プロトコル $\Lambda(t)$ が生成される形式を導入している：
$$\dot{\Lambda}(t) = \int_0^\tau K(t, t') \dot{\lambda}(t') dt'$$
決定的なことに、カーネル $K(t, t')$ は、受動的な熱応答を表すのではなく、符号反転（反転）特性を持つことを許容する、外部駆動装置内における能動的なプロトコル・メモリ・カーネルとして解釈される。

「カウンターワーク」$C$ は、ハミルトニアン族 $H(\Gamma, \Lambda)$ に対して有効プロトコル $\Lambda(t)$ が作用する場合の通常のハミルトニアン・ワークとして定義される：
$$C = \int_0^\tau \frac{\partial H}{\partial \Lambda}(\Gamma_t, \Lambda(t)) \dot{\Lambda}(t) dt$$
解析では、系がそれぞれのプロトコルの開始点に対応するカノニカル平衡状態（元の仕事 $W$ に対しては $\lambda(0)$、カウンターワーク $C$ に対しては $\Lambda(0)$）に初期準備されていると仮定する。著者らは、$\Lambda(t)$ が $\lambda(t)$ の端点を反転させる条件（すなわち $\Lambda(0) = \lambda(\tau)$ かつ $\Lambda(\tau) = \lambda(0)$）を導出し、その結果生じる統計的関係を分析する。

主な貢献と結果

1. 相互的な揺らぎの関係：
   有効プロトコルが元のプロトコルの端点を反転させる場合、カウンターワークに関連する自由エネルギー差は $\Delta F_C = -\Delta F_W$ を満たす。したがって、カウンターワークに関するジャルジンスキの等式は次のように導かれる：
   $$\langle e^{-\beta C} \rangle = e^{-\beta \Delta F_C} = e^{\beta \Delta F_W} = \frac{1}{\langle e^{-\beta W} \rangle}$$
   これにより、カウンターワークの指数平均は、元の仕事の指数平均の逆数になることが確立される。著者らは、この関係が、異なるカノニカル準備から始まる2つの異なるプロセスの指数平均に関するものであり、軌跡ごとの等式 $C = -W$ に関するものではないことを強調している。

2. 逆転変位のためのカーネル正規化：
   本論文では、任意のプロトコル速度に対して逆転変位（$\delta \Lambda = -\delta \lambda$）を保証するために必要な、メモリ・カーネルの具体的な条件を導出している。この条件は、符号反転型の正規化である：
   $$\int_0^\tau K(t, t') dt = -1 \quad (\text{ただし } 0 \le t' \le \tau)$$
   例として、一定のカーネル $K(t, t') = -1/\tau$ を用いることで、線形な前方プロトコルを線形な後方有効プロトコルへと変換できることが示されている。

3. 平均仕事とカウンターワークの境界：
   これら2つの揺らぎの関係式にイェンセンの不等式を適用することで、著者らは平均仕事とカウンターワークの指数の積に関する境界を導き出している：
   $$e^{-\beta \langle C \rangle} e^{-\beta \langle W \rangle} \le 1 \implies \langle C \rangle + \langle W \rangle \ge 0$$
   この結果は、負の平均カウンターワーク（仕事の抽出）は熱力学的に可能であるが、それは元の操作における十分に大きな正の平均仕事によって補償されなければならないことを意味する。前方およびカウンターの段階を合わせた全平均仕事は、負にはなり得ない。

4. 第二法則との整合性：
   この構成は、熱力学第二法則と矛盾しないことが示されている。符号反転カーネルは有効な駆動プロトコルを変更するが、$H(\Gamma, \Lambda(t))$ によって生成されるプロセスに適用される熱力学的境界を回避することはない。散逸カウンターワーク $C_{diss} = \langle C \rangle - \Delta F_C$ は非負である。散逸仕事と散逸カウンターワークの和は $W_{diss} + C_{diss} \ge 0$ を満たし、等号成立は準静的な極限においてのみである。

5. 不完全な情報下でのカウンター操作：
   論文では、カウンターオペレーターが事前に $\Delta F_W$ の符号を知らないシナリオを分析している。$\Delta F_C = -\Delta F_W$ であるため、カウンター操作は自由エネルギーのランドスケープに応じて、仕事抽出型または仕事消費型のいずれかになり得る。著者らは、堅牢な熱力学的戦略は、カウンターワークの符号を規定することではなく、端点の反転を強制しつつ、散逸カウンターワークを最小化すること（準静的な変換に近づけること）であると主張している。

意義と主張
本論文は、「カウンターワーク」を生成する能動的なメモリ・フィルタリング駆動に関する厳密な熱力学的枠組みを提供することを目的としている。その主要な意義は、符号反転カーネルは端点の熱力学的状態を反転させ、相互的な揺らぎの関係を生み出すが、熱力学的境界を回避することを可能にするものではないことを明らかにしている点にある。符号反転カーネルは、課されたプロトコルを、変位を反転させた有効プロトコルへと写像する制御された反転メカニズムとして機能するが、そのエネルギー的なコストまたは利得は、基礎となる自由エネルギーのランドスケープと第二法則によって厳密に決定される。

著者らは、前方およびカウンターのプロセスの間の必要な平衡化ステップ中の熱交換を含む、完全なサイクルのエネルギー的記述は今後の課題として残されていると明記している。現在の寄与は、カウンターワーク・ファンクショナル、反転のためのカーネル条件、およびそれらに伴う揺らぎの関係と不等式の確立に限定されている。