Partial Entropy production of active particles with hidden states in potentials

本文将微扰框架推广至计算具有隐藏自驱动特性的活性粒子在一般约束势中的部分熵产生，成功复现了活性奥恩斯坦 - 乌伦贝克粒子的精确结果，并推导出了谐波势阱中奔跑 - 翻滚粒子的新速率。

要点

想象你正透过一扇雾蒙蒙的窗户观察一条繁忙的城市街道。你能看到人们在行走，但你看不到他们的面孔、意图，也无法分辨他们行走是因为想去某个地方，还是因为被人群推搡着走。

本文旨在探讨如何判断街道上的人们是在随机游荡（即处于“平衡态”，如同平静的一天），还是实际上正受到某种隐藏力量的驱动（即“非平衡态”，如同游行或恐慌）。

以下是用通俗语言对这项研究的拆解：

问题：雾蒙蒙的窗户

在物理学中，如果你足够仔细地观察一个系统，通常能判断它是否处于失衡状态。如果你看到一个球在滚上山坡，你就知道有什么东西在推它。这种“推力”会产生熵产生，这本质上是对系统为了维持运动而“浪费”了多少能量的度量。

然而，在现实世界（尤其是生物学）中，我们往往无法看清一切。我们可能看到细菌在移动，却看不到驱动它的微小内部引擎（即“隐藏状态”）。

• ** trick（技巧/现象）：** 如果你隐藏了引擎，细菌可能看起来只是在随机抖动。它可能看起来像是在遵循一个平静、平衡系统的规律，尽管它实际上正在辛勤工作。
• 目标： 作者希望创造一种数学工具，即使引擎不可见，也能检测到那种隐藏的“功”，特别是当粒子被困在势场（如山谷或碗状结构）中时。

类比：奔跑与翻滚的徒步者

作者使用了一个特定的例子，称为“奔跑与翻滚”（Run-and-Tumble）粒子。想象一个在雾中森林里的徒步者：

1. 奔跑： 徒步者沿直线走上一段时间。
2. 翻滚： 徒步者停下，随机旋转，然后选择一个新的方向。

场景 A：自由的森林（没有山丘）
如果森林完全平坦，而你只能看到徒步者的路径（却看不到他们面朝哪个方向），那么路径看起来是完全对称的。如果你把视频倒放，看起来会一模一样。徒步者看起来就像是在随机游荡。

• 结果： “部分熵”（对隐藏功的度量）为零。你无法判断他们是否处于活跃状态。

场景 B：多山的森林（势场）
现在，想象森林是一个碗状结构（谐振势）。徒步者位于底部。

• 下坡： 当徒步者被内部引擎推着向下坡时，他们移动得很快。
• 上坡： 当他们被推着向上坡时，他们必须对抗重力，因此移动得很慢。
• 线索： 如果你倒放视频，你会看到徒步者缓慢地下坡，而快速地上坡。这看起来很奇怪！这打破了时间反演对称性。
• 结果： 即使你看不到引擎，路径的形状（轨迹中的“折角”）也会暴露真相。“部分熵”为正值。

他们做了什么

作者开发了一种新的数学配方（一种“微扰框架”），仅通过观察粒子的路径，就能精确计算出有多少“隐藏功”正在被做。

1. 公式： 他们创建了一个复杂的方程，对路径的所有细微细节进行求和。它考察粒子如何移动，以及“隐藏引擎”（即自驱动）如何与其所在山谷的形状相关联。
2. 意外发现： 他们发现，对于某些类型的粒子（例如“活性奥恩斯坦 - 乌伦贝克”粒子，这就像是一个拥有非常平滑、抖动引擎的徒步者），如果它们处于完美的碗中，隐藏功可能看起来仍然为零。但对于其他类型（例如“奔跑与翻滚”的徒步者），即使看不到引擎，隐藏功在路径中也清晰可见。

关键要点

这篇论文证明，隐藏引擎并不总是能隐藏证据。

• 如果粒子处于平坦区域，隐藏其引擎会使其看起来完全正常（平衡态）。
• 但如果粒子处于“山谷”（势场）中，它上下坡的移动方式会产生独特的特征。粒子会冲下坡，然后缓慢爬升。这种不对称性揭示了该系统不处于平衡态，即使你看不到内部马达。

他们精确计算了这种信号对于两种常见类型的活性粒子的强度。他们发现，对于碗中的“奔跑与翻滚”粒子，信号非常微弱（需要观察路径的高阶细节），但它确实存在。

简而言之： 仅凭观察，你并不总能判断一个系统是“有生命的”还是“活跃的”。但是，如果你知道它所处环境的形状，你通常可以推断出它正在做功，即使你看不到驱动它的引擎。

技术摘要

技术摘要：势场中具有隐藏态的活性粒子的部分熵产生

问题陈述
远离平衡态运行的随机系统通常表现出时间反演对称性（TRS）破缺。然而，当内部自由度（如自推进状态）未被观测到时，活性粒子的可见动力学可能表现为时间可逆，导致尽管系统处于非平衡态，其熵产生的估计值却为零。这种“部分”可观测性给试图量化非平衡行为的实验人员带来了挑战。虽然先前的工作已证实，隐藏态可以使自由粒子（例如自由运行的翻滚粒子）恢复时间反演对称性，但此类系统在受限势场影响下的行为仍是一个未解之谜。具体而言，当自推进未被观测到时，势场 $V(x)$ 如何影响部分熵产生率（partial EPR）尚不清楚。

方法论
作者将先前为自由粒子引入的微扰框架扩展至一般受限势场中的活性粒子情形。该系统由过阻尼朗之万方程建模：
$$\dot{x}(t) = \nu w(t) - \partial_x V(x(t)) + \xi(t)$$
其中 $x(t)$ 是可观测位置，$w(t)$ 是隐藏的无量纲随机自推进过程，$\nu$ 是推进速度，$\xi(t)$ 是高斯白噪声。

推导过程如下：

1. 路径概率表述：通过联合系统 $\{x(t), w(t)\}$ 的前向与时间反演路径概率之间的 Kullback-Leibler 散度，定义全熵产生率（EPR）。
2. 边缘化：通过对隐藏变量 $w(t)$ 进行边缘化处理，构建部分 EPR（$\dot{S}_x$），实质上仅考虑可观测位置 $x(t)$ 的路径概率。
3. 微扰展开：利用 Onsager-Machlup 泛函表达前向与反演路径概率之比。作者将该比值的对数按耦合参数 $\nu/D$ 的幂次进行展开。这导出了部分 EPR 的级数表示，其中涉及自推进过程 $w(t)$ 的累积量以及位置 $x(t)$ 及其导数的关联函数。
4. 对称性分析：系统性地分析 $w(t)$ 的性质（零均值、时间平移不变性、宇称和时间反演对称性）以及势场 $V(x)$ 如何导致展开式中各项的抵消。
5. 具体模型：将一般框架应用于两个典型模型：活性奥恩斯坦 - 乌伦贝克粒子（AOUP）和运行 - 翻滚（RnT）粒子，具体是在谐振势 $V(x) = \frac{1}{2}kx^2$ 中。对于 RnT 情形，作者采用 Doi-Peliti 场论来计算所需的高阶关联函数。

主要贡献与结果

• 通用微扰框架：本文推导出了活性粒子在一般势场中部分 EPR 的通用级数展开式（公式 15）。该表达式将部分 EPR 与隐藏自推进的累积量及位置轨迹的关联函数联系起来。
• 对称性诱导的抵消：作者证明，对于具有零均值自推进（$\langle w \rangle = 0$）及特定对称性（宇称和时间反演）的活性粒子，展开式中的主导项会消失。在自由系统（$V=0$）中，这些对称性可能导致部分 EPR 为零。然而，势场的存在引入了在速度宇称反转下不消失的项，通常恢复了非零的部分 EPR。
• 活性奥恩斯坦 - 乌伦贝克粒子（AOUP）：对于谐振势中的 AOUP，作者复现了一个精确结果，表明部分 EPR 为零（$\dot{S}_x = 0$）。这归因于 AOUP 噪声的高斯特性，将展开限制在二阶累积量，以及谐振势中各项的特定抵消。
• 运行 - 翻滚（RnT）粒子：对于谐振势中的 RnT 粒子，部分 EPR 非零。由于 RnT 过程的离散特性及势场的对称性，展开式中的主导贡献出现在 $n=4$ 阶（正比于 $(\nu/D)^4$）。
  • 主导阶部分 EPR 的显式结果推导如下：
    $$\dot{S}_x = \left(\frac{\nu^2}{D}\right)^4 \frac{2\alpha k}{3(\alpha + k)(\alpha + 3k)(2\alpha + k)(2\alpha + 3k)(3\alpha + 2k)} + O\left(\frac{\nu^{10}}{D^5}\right)$$
  • 该结果的阶数显著高于全 EPR（全 EPR 按 $\nu^2/D$ 标度），表明在存在隐藏态和受限势场的情况下，空间轨迹的时间反演不对称性是一种微妙的效应。
• 低阶项的消失：本文严格证明了对于谐振势中的 RnT 粒子，由于稳态的时间平移不变性与势场导数特定结构之间的相互作用，$n=2$ 和 $n=3$ 阶项消失。

意义与主张
本文声称提供了一种系统的方法，用于计算任意势场中具有隐藏态的活性粒子的部分熵产生。其主要意义在于量化当内部状态被隐藏时，非平衡系统可观测动力学中时间反演对称性被打破的程度。

作者强调：

1. 势场打破隐藏对称性：虽然隐藏态可以使自由活性粒子与平衡态无法区分（零部分 EPR），但引入受限势场通常会打破这种对称性，使得仅通过空间轨迹即可将系统检测为非平衡态。
2. 数量级：部分 EPR 在推进参数 $\nu$ 中的阶数通常远高于全 EPR。对于 RnT 粒子，部分 EPR 按 $\nu^8/D^4$ 标度（由于 $(\nu/D)^4$ 前置因子及位置关联函数的 $\nu^4$ 标度），而全 EPR 按 $\nu^2/D$ 标度。这表明在部分观测系统中检测非平衡行为需要高精度或特定条件。
3. AOUP 的独特性：该工作指出，谐振势中的 AOUP 是一个特例，其稳态下的部分 EPR 保持为零，从而将其与 RnT 等非高斯活性过程区分开来。

作者对未来应用保持谦逊，指出计算所需的关联函数具有挑战性，且部分 EPR 的热力学解释仍是未来研究的课题。他们建议该框架可扩展至随时间变化的势场或依赖于隐藏变量的势场，但未提出具体的实验方案。