[论文解读] Large-deviation principles of switching Markov processes via Hamilton-Jacobi equations

Mark A. Peletier, Mikola C. Schlottke|arXiv (Cornell University)|Jan 24, 2019

Advanced Thermodynamics and Statistical Mechanics参考文献 39被引用 7

一句话总结

该论文通过哈密顿-雅可比方程，为周期介质中的切换马尔可夫过程建立了路径大偏差原理，将分子马达的宏观速度与谱问题的主特征值联系起来。关键结果表明，打破细致平衡是实现输运的必要条件，且速度可表征为哈密顿函数在零处的导数，从而统一并拓展了分子马达动力学与大偏差理论的既有成果。

ABSTRACT

We prove pathwise large-deviation principles of switching Markov processes by exploiting the connection to associated Hamilton-Jacobi equations, following Jin Feng's and Thomas Kurtz's method. In the limit that we consider, we show how the large-deviation problem in path-space reduces to a spectral problem of finding principal eigenvalues. The large-deviation rate functions are given in action-integral form. As an application, we demonstrate how macroscopic transport properties of stochastic models of molecular motors can be deduced from an associated principal-eigenvalue problem. The precise characterization of the macroscopic velocity in terms of principal eigenvalues implies that breaking of detailed balance is necessary for obtaining transport. In this way, we extend and unify existing results about molecular motors and place them in the framework of stochastic processes and large-deviation theory.

研究动机与目标

• 为周期环境中切换马尔可夫过程建立大偏差原理，超越以往的福克-普朗克收敛结果。
• 通过将大偏差理论与谱问题联系，阐明微观动力学在生成宏观输运中的作用。
• 通过严格的大偏差框架，统一并推广现有分子马达输运结果。
• 证明分子马达的宏观速度由哈密顿函数在零处的导数决定，且哈密顿函数的对称性与细致平衡相关。
• 表明在反应速率极大的极限下，由于有效哈密顿函数的对称性，输运消失，与王、佩斯金和艾尔斯顿的数值观察一致。

提出的方法

• 采用Feng-Kurtz方法，通过求解相关哈密顿-雅可比方程，推导切换马尔可夫过程的路径大偏差原理。
• 将路径空间的大偏差问题简化为涉及退化椭圆算子主特征值的谱问题。
• 利用Donsker-Varadhan等变分表示法及其它泛函分析工具，表征速率函数。
• 以作用量积分形式表述大偏差速率函数，其中哈密顿函数由过程的生成元导出。
• 通过分析定义有效哈密顿函数的周期元胞问题，将理论应用于分子马达模型。
• 建立比较原理成立的条件，以确保哈密顿-雅可比方程解的唯一性与正则性。

实验结果

研究问题

• RQ1 如何为周期介质中的切换马尔可夫过程严格推导大偏差原理？
• RQ2 生成元的主特征值与分子马达模型中宏观速度之间的精确联系是什么？
• RQ3 为何必须打破细致平衡才能实现定向输运？这种现象在哈密顿函数中如何体现？
• RQ4 大偏差框架如何解释大反应速率极限下输运消失的现象？
• RQ5 能否通过大偏差视角恢复并扩展Mirrahimi与Souganidis的福克-普朗克收敛结果？

主要发现

• 分子马达的宏观速度由 $ v = \frac{d}{d\theta} \tilde{\rho}(\theta) \big|_{\theta=0} $ 给出，其中 $ \tilde{\rho} $ 为有效哈密顿函数，提供了一种与微观细节无关的普适表征。
• 细致平衡意味着哈密顿函数的对称性，从而强制 $ v = 0 $，证明了打破细致平衡是实现定向输运的必要条件。
• 在反应速率极大的极限下，有效哈密顿函数趋于对称，解释了Wang、Peskin与Elston所观察到的输运消失现象。
• 大偏差速率函数以包含哈密顿函数的作用量积分形式表达，其来源于环面上的谱问题解。
• 耦合系统 $ P = L - R $ 的主特征值（其中 $ L $ 为椭圆算子矩阵，$ R $ 为非负非对角矩阵）唯一确定了速率函数。
• 该方法在一般大偏差理论与具体模型贡献之间建立了清晰分离，其中哈密顿函数编码了所有模型特异性动力学。