Certifying Hidden Dissipation from Observed Current Fluctuations

技术摘要：通过观测到的电流涨落认证隐藏的耗散

问题陈述
在涉及驱动分子机器（如驱动动力蛋白 kinesin 或酶）的单分子实验中，研究人员通常只能解析底层状态网络中的一部分跃迁。虽然产生可见位移的机械步进通常是可观测的，但驱动这些步进的化学亚步进（substeps）则是隐藏的。核心挑战在于，如何在事先不知道跃迁速率或无法接触隐藏状态的情况下，确定整个系统的总自由能耗散（熵产生）。现有的热力学不确定关系（TURs）虽然可以基于选定的电流来限制耗散，但未能明确指出在何种情况下，部分观测足以唯一确定隐藏部分的贡献。

方法论
本文分析了处于非平衡稳态（NESS）下的有限状态马尔可夫跳跃系统。该方法依赖于经验电流在长时间尺度下的统计特性，特别是其均值和涨落（协方差）。

1. 几何框架： 作者利用了经验密度与流的 level-2.5 大偏差速率函数。通过在归一化经验密度涨落上对该泛函进行收缩，作者导出了循环电流子空间上的一个二次度量 $M_T$。该度量代表了“密度收缩后的交通能量”（density-contracted traffic energy），其中局部边度量是动力活性（traffic）的倒数 $1/T_e$。
2. 协方差作为度量： 经验边电流在循环子空间上的渐近协方差被证明是度量 $M_T$ 的伪逆。
3. 最小能量补全： 当仅观测到一部分边 $O$ 时，观测电流的协方差对应于一个约束最小化问题。具体而言，二次型 $K_O^\top \Sigma_O^+ K_O$（其中 $\Sigma_O$ 是观测协方差，$K_O$ 是观测平均电流）等于能够重现 $O$ 上观测电流的所有平稳电流中的最小密度收缩交通能量。
4. 循环可观测性： 作者推导出了一个关键条件：如果观测到的跃迁跨越了网络的循环空间（即观测边的循环基底在网络中的投影是单射的），则最小能量补全是唯一的，并且可以恢复完整的网络能量。
5. 混合界限： 作者将二次协方差项与直接从观测边计算出的精确非线性 Schnakenberg 熵产生相结合。这产生了一个单调的耗散下界，该下界随着观测到的跃迁增加而提高。

主要贡献
本文确立了四项主要的理论进展：

• 循环可观测性条件： 它确定了一个精确的条件，即在何种情况下部分观测可以固定隐藏部分的耗散贡献。不同于以往通过任意电流来限制耗散的 TURs，这项工作证明了如果观测边跨越了循环空间，观测电流的协方差就能认证完整的隐藏二次成本。
• 最小能量补全恒等式： 观测电流的协方差被重新表述为隐藏电流的最小能量平稳补全。这提供了一种几何机制，解释了涨落如何编码关于未观测网络的信息。
• 交通度量识别： 本工作明确识别了电流协方差对象中的度量——密度收缩后的交通度量 $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$ 环面网络（torus network）上，操作性界限在完全覆盖时饱和了真实的耗散，并且即使在三分之一的边被隐藏时，也能恢复 93.5% 的总耗散。
  • 在一个具有不同屏蔽程度的四状态两循环网络上，该界限追踪了预测的理论极限，表明由于屏蔽导致的性能下降是链条的结构属性，而非界限失效。
• 应用于动力蛋白（Kinesin）： 通过将该理论应用于 Liepelt–Lipowsky 六状态动力蛋白模型，作者展示了仅观测机械步进不足以在停滞力（stall force，即净电流为零时）处认证耗散。然而，增加一个化学跃迁即可恢复循环可观测性，使得该界限能够在净位移消失的情况下，依然能够认证完整的循环能量。

意义
本文声称其主要意义在于将部分观测从一个信息不全的来源转变为一个可求解的“最小能量补全”问题。它提供了一个严格的认证定理：如果观测到的跃迁跨越了网络的循环，那么这些跃迁的涨落足以认证总体的隐藏耗散，而无需知道跃迁速率或隐藏的拓扑结构。这项工作强调了“交通”（动力活性）是塑造涨落的电流的对称伴侣，而这种关系允许仅通过观测统计量来重建隐藏的能量成本。该工作强调，交通成本与电流之间的关系使得从观测到的统计数据中重建隐藏的能量成本成为可能。