Certifying Hidden Dissipation from Observed Current Fluctuations

技術要約：観測された電流のゆらぎからの隠れた散逸の認証

問題提起
駆動型分子機械（キネシンモーターや酵素など）を含む単一分子実験において、研究者は通常、基礎となる状態ネットワーク内の遷移のサブセットのみを解明している。機械的なステップによる目に見える変位はしばしば観測可能であるが、それを駆動する化学的なサブステップは隠れた状態にある。中心となる課題は、未知の遷移率や隠れた状態へのアクセスなしに、システム全体の自由エネルギー散逸（エントロピー生成）を、観測できない遷移による寄与を含めて決定することである。既存の熱力学的不確定性関係（TUR）は、選択された電流に基づいて散逸を制限するが、部分的な観測が隠れた寄与を一意に決定するためにいつ十分であるかを特定できていない。

手法
本論文は、非平衡定常状態（NESS）における有限状態マルコフ・ジャンプ系を分析している。アプローチは、長時間の経験的電流の統計的性質、具体的にはその平均とゆらぎ（共分散）に基づいている。

1. 幾何学的枠組み: 著者は、経験的密度およびフローに関するレベル2.5の大偏差レート関数を利用している。この汎関数を正規化された経験的密度のゆらぎに対して縮約することにより、サイクル電流の部分空間上に二次形式の計量 $M_T$ を導出する。これは「密度縮約されたトラフィック・エネルギー」を表し、局所的なエッジの計量はダイナミカルな活性（トラフィック）の逆数 $1/T_e$ である。
2. 共分散としての計量: 経験的エッジ電流の漸近的共分散が、サイクル部分空間への射影において、$M_T$ の疑似逆行列になることを示す。
3. 最小エネルギー補完: 一部のエッジ $O$ のみが観測される場合、観測された電流の共分散は制約付き最小化問題に対応する。具体的には、二次形式 $K_O^\top \Sigma_O^+ K_O$ （ここで $\Sigma_O$ は観測された共分散、$K_O$ は観測された平均電流）は、観測された電流 $O$ を再現するあらゆる定常電流の、最小密度縮約トラフィック・エネルギーに等しい。
4. サイクル観測可能性: 重要な条件が導出される：もし観測された遷移がネットワークのサイクル空間を生成する場合（すなわち、サイクル基底の観測エッジへの射影が単射である場合）、最小エネルギー補完は一意的であり、全ネットワークのエネルギーを回復する。
5. ハイブリッド境界: 観測されたエッジから直接計算される正確な非線形シュナケンベルグ・エントロピー生成と、二次共分散項を組み合わせる。これにより、より多くの遷移が観測されるにつれて改善される、全散逸に対する単調な下限が得られる。

主な貢献
本論文は、主に以下の4つの理論的進展を確立している：

• サイクル観測可能性条件: 部分的な観測が散逸への隠れた寄与を固定する条件を特定した。任意の電流から散逸を制限する従来のTURとは異なり、本研究は、観測されたエッジがサイクル空間を生成する場合、観測された電流の共分散が全隠れた二次コストを認証することを証明している。
• 最小エネルギー補完恒等式: 観測された電流の共分散を、隠れた電流の最小エネルギー定常補完として再構成した。これは、ゆらぎがいかにして観測されないネットワークに関する情報を符号化するかという幾何学的なメカニズムを提供している。
• トラフィック計量の特定: 電流の共分散オブジェクト内にある計量が、密度縮約されたトラフィック計量 $M_T$ であることを明示的に特定した。これは、生の二次トラフィック・コストと、スクリーニングされたコストを区別し、どれだけのトラフィック・コストが密度ゆらぎによって吸収されるかを定量化する「スクリーニング分率」$\gamma_G(K)$ を導入している。
• 操作的単調境界: エッジごとの非線形和と共分散ベースのハイブリッド境界の最大値を取ることにより、実用的な推定量 $B_{O}^{\max}$ を構築した。この推定量は、全エントロピー生成の下限であることが保証されており、より多くのエッジが観測されるにつれて単調に増加する。

結果

• 理論的検証: 観測されたエッジがサイクル空間を生成する場合、観測された共分散が全密度縮約ネットワーク・エネルギー $K^\top M_T K$ を回復することを著者らは示している。さらに、物理的な定常電流が追加的に「アンスクリーンド（非スクリーニング）」である場合（$\gamma_G(K) = 0$）、この回復されたエネルギーは、隠れたエッジに対しても正確な生の二次トラフィック・コスト $\sum K_e^2/T_e$ に等しい。
• スクリーニング効果: スクリーニングがゼロでない領域では、共分散の寄与は減少するが、操作的な境界は観測されたエッジの正確な非線形コストを取り入れることで妥当性を維持する。
• 数値デモンストレーション:
  • スクリーニングのない $3 \times 3$ トラス・ネットワークにおいて、操作的境界は全カバー時には真の散逸に飽和し、3分の1のエッジが隠れている場合でも全散逸の93.5%を回復する。
  • 変動するスクリーニングを持つ4状態2サイクル・ネットワークにおいて、境界は予測された理論的限界を追跡し、スクリーニングによる劣化は境界の失敗ではなく、連鎖の構造的特性であることを示している。
• キネシンへの適用: Liepelt–Lipowskyの6状態キネシンモデルに本理論を適用することで、機械的なステップのみを観測することは、ストール力（正味の電流が消失する点）における散逸を認証するには不十分であることを著者は示している。しかし、単一の化学的遷移を加えることでサイクル観測可能性が回復し、正味の変位が消失しているにもかかわらず、境界が全サイクル・エネルギーを認証することを可能にする。

意義
本論文の主要な意義は、部分的な観測を、不完全な情報の源から解決可能な「最小エネルギー補完」問題へと変貌させたことにある。論文は、厳密な認証定理を提供している：観測された遷移がネットワークのサイクルを生成する場合、それらの遷移のゆらぎは、遷移率や隠れたトポロジーを必要とせずに、全隠れた散逸を認証するのに十分である。これは、電流のゆらぎに基づく不確定性関係と、隠れた熱力学的コストを一意に推論するために必要な特定の幾何学的要件との間の溝を埋めるものである。本研究は、「トラフィック（ダイナミカルな活性）」が電流の対称的なパートナーであり、それがゆらぎを形成していることを強調しており、この関係性によって、観測可能な統計量のみから隠れたエネルギーコストを再構成することが可能となる。