State convertibility and fluctuation theorems from a dynamical reference: majorization meets martingales

技術的要約：動的な参照系からの状態変換可能性と揺らぎ定理

問題提起
本論文は、統計力学における断片化の問題に取り組んでいる。すなわち、大偏差理論、情報理論、熱力学のリソース理論、および確率的な揺らぎの関係といった異なる枠組みが、参照状態に対するシステム集団の分布を個別に扱ってきたという問題である。歴史的に、状態変換可能性（変換 $k(t_1) \to k(t_2)$ が可能かどうかの決定）は、一様参照の場合はマジョライゼーション（主要化）、ギブス参照の場合はサーモ・マジョライゼーションによって支配されてきた。これらの基準は、状態依存のローレンツ曲線の構築と比較に依存しており、固定された平衡参照系に紐付いており、操作上の要求も高い。さらに、既存の揺らぎ定理は通常、既知の静的な、あるいは定常状態の参照（例：ギブス分布）を仮定しており、任意の、時間依存する参照分布 $g(t)$ をどのように扱うか、また仮定された参照が真の物理的進化から逸脱する場合に誤差をどのように定量化するかという問いが残されている。

手法
著者らは、「親分布（parent distribution）」形式を導入することで、これらの異質な概念を統一する。状態 $k(t)$ と参照状態 $g(t)$ を直接比較するのではなく、それらを実数値の相対集団の分布へと写像する：
$$\kappa_j(t) := \frac{k_j(t)}{g_j(t)}$$
この相対集団は、親分布 $p_\kappa(x; t) = \sum_j g_j(t) \delta(x - \kappa_j(t))$ を定義する。これは、参照アンサンブル $g(t)$ からサンプリングを行う際に、特定の偏差から得られる相対集団の確率を表している。

この写像を用いることで、著者らは状態変換可能性の問題を、一次元の凸順序問題へと再定式化している。彼らはマルチンゲール理論を活用し、参照の動力学を保存する（$Tg(t_1) = g(t_2)$ となる）列確率行列 $T$ の存在と、時刻 $t_1$ と $t_2$ における親分布間のマルチンゲール結合の存在との間の全単射を確立した。

主な貢献と結果

1. $g(t)$-マジョライゼーションとマルチンゲール結合（定理1）：
   本論文は、参照の動力学 $g(t)$ と互換性のある遷移 $k(t_1) \to k(t_2)$ が存在するための必要十分条件は、関連する親分布がマルチンゲールによって結合されていることであることを示している。

• この条件は、凸順序関係 $p_\kappa(\cdot; t_1) \succeq_{cx} p_\kappa(\cdot; t_2)$ に等しい。
• これは、ローレンツ曲線のソートに基づく比較を、マルチンゲールの存在によって決定可能な一次元の凸順序比較へと一般化するものである。物理的には、これは許容される遷移が、時間の経過とともに相対集団分布の集中（狭まり）に対応することを意味する。

2. 参照一般化揺らぎ定理（定理2）：
   参照相対サプライザル $s_j(t) = -\ln(k_j(t)/g_j(t))$ と、それに伴うエントロピー生成 $\Delta s = s_{j_2}(t_2) - s_{j_1}(t_1)$ を定義することにより、著者らは、参照の動力学と互換性のある任意の遷移行列 $T$ に対して、厳密な積分揺らぎ定理を導出している：
   $$\mathbb{E}_\Pi [e^{-\Delta s}] = 1$$
   ここで、期待値はプロセスの物理的な結合法則に関して取られる。この結果は、イェンセンの不等式を通じて標準的な第二法則の不等式 $\mathbb{E}_\Pi[\Delta s] \geq 0$ を回収する。この結果は、確率熱力学を任意の動的な参照へと拡張するものである。

3. 参照の不一致の認証（定理3）：
   著者らは、仮定された参照 $g(t)$ が真の参照進化 $g_{\text{true}}(t)$ と異なる実用的なシナリオに対処している。彼らは、揺らぎ定理の観測された破れ $\mathbb{E}_\Pi [e^{-\Delta s}] - 1$ が、真の参照と仮定された参照の間の $\chi^2$ ダイバージェンスに対する、モデルに依存しない、認証された下界を与えることを示している：
   $$D_{\chi^2}(g_{\text{true}}(t_2) \parallel g(t_2)) \geq \frac{(\mathbb{E}_\Pi [e^{-\Delta s}] - 1)^2}{\sum_j k_j^2(t_2)/g_j(t_2)}$$
   この下界は、真の動力学に関する独立した特性評価を必要としない。分母は調整可能な診断ツールとして機能する。プローブ状態 $k(t_2)$ をエラーが疑われるマイクロステートに集中させると、下界は鋭くなり、逆に一様に広げると希釈される。小偏差の極限において、この下界は、仮定された軌跡と真の軌跡の間のラオ・フィッシャー距離に対する下界を認証する。

例示的な事例
この枠組みは、時間依存するエネルギーギャップを持つ駆動型二準位系を用いて実証されている。

• 参照が真の伝播された状態である場合、揺らぎ定理は厳密に成立する。
• 参照が（断熱近似においてのみ有効な）瞬時ギブス状態である場合、有限の駆動速度に対して揺らぎ定理は破れる。
• この破れの大きさは、非断熱ラグの定量的な尺度として機能し、真の動力学を事前に知ることなく、仮定された瞬時平衡と真の非平衡動力学の間の不一致を認証する。

意義と主張
本論文は、単一の、任意で、かつおそらく時間依存する参照 $g(t)$ が、以下の事項を同時に統一できる「共通構造」を提供すると主張している：

• 揺らぎの速度（大偏差理論）
• 情報的な意味（情報理論）
• 状態の変換可能性（リソース理論）
• 軌跡の統計（確率的揺らぎの関係）

これらの問いを相対集団の統計へと集約することで、本研究は状態変換可能性をマルチンゲール問題へと変え、揺らぎ関係の崩壊を診断ツールへと変貌させている。著者らは、このアプローチが、真の参照状態の準備や特性評価が困難または不可能な複雑なシステム（例：駆動されるメゾスコピック素子や量子プロセッサ）において、参照エラーを定量化するためのモデルに依存しない方法を提供するものであることを強調している。本研究は新しい実験装置を提案するものではなく、むしろ既存の非平衡プロセスの測定を解釈するための理論的枠組みを提供するものである。