[论文解读] On the Hamiltonian structure of large deviations in stochastic hybrid systems

Paul C. Bressloff, Olivier Faugeras|arXiv (Cornell University)|Oct 7, 2014

Advanced Thermodynamics and Statistical Mechanics参考文献 43被引用 6

一句话总结

本文通过证明在大偏差原理中，速率函数由经典作用量决定，而该作用量的哈密顿量则源于由快速马尔可夫链和慢速确定性动力学导出的线性算子的Perron特征值，建立了随机混合系统中大偏差背后的哈密顿结构。关键贡献在于识别出一个统一的哈密顿框架，将严格的大型偏差理论与WKB和路径积分等应用方法联系起来，并在随机离子通道的背景下得到验证。

ABSTRACT

We develop the connection between large deviation theory and more applied approaches to stochastic hybrid systems by highlighting a common underlying Hamiltonian structure. A stochastic hybrid system involves the coupling between a piecewise deterministic dynamical system in $R^d$ and a time-homogeneous Markov chain on some discrete space $Γ$. We assume that the Markov chain on $Γ$ is ergodic, and that the discrete dynamics is much faster than the piecewise deterministic dynamics (separation of time-scales). Using the Perron-Frobenius theorem and the calculus-of-variations, we evaluate the rate function of a large deviation principle in terms of a classical action, whose Hamiltonian is given by the Perron eigenvalue of a $|Γ|$-dimensional linear equation. The corresponding linear operator depends on the transition rates of the Markov chain and the nonlinear functions of the piecewise deterministic system. The resulting Hamiltonian is identical to one derived using path-integrals and WKB methods. We illustrate the theory by considering the example of stochastic ion channels.

研究动机与目标

• 建立大偏差理论与随机混合系统中WKB和路径积分等应用方法之间的严格联系。
• 识别出在具有快速离散马尔可夫链和慢速连续动力学的系统中，大偏差原理的速率函数背后的统一哈密顿结构。
• 以涉及跃迁率和漂移函数的矩阵算子的Perron特征值为哈密顿量，推导出速率函数的表达形式。
• 将分析扩展到慢速动力学由分段随机微分方程（SDE）支配的多尺度系统。
• 通过随机离子通道的实例验证该框架，证明其在神经元膜电位波动中的相关性。

提出的方法

• 通过变分法和Perron-Frobenius定理应用于编码马尔可夫链跃迁率和连续系统漂移的$|̳|$维线性算子，推导出速率函数。
• 哈密顿量定义为算子$\mathcal{L}^{x} + \beta F_{\cdot}(x)$的主（Perron）特征值，其中$\mathcal{L}^{x}$是快速马尔可夫链的无穷小生成元。
• 通过哈密顿量的Fenchel-Legendre变换获得相应的拉格朗日量，确保其凸性与对偶性。
• 使用作用泛函$S_{0T}(\gamma) = \int_0^T L(\gamma_t, \dot{\gamma}_t) dt$来定义缩放后慢过程$z^{\varepsilon}$的大偏差原理。
• 通过时间重标度论证和压缩原理建立大偏差原理，得出从某区域逃逸概率的指数渐近性。
• 通过证明在随机离子通道模型中与WKB和路径积分方法等价，验证了该框架。

实验结果

研究问题

• RQ1 如何将随机混合系统中大偏差理论的速率函数表达为具有明确定义哈密顿量的经典作用量？
• RQ2 从快速马尔可夫链与慢速确定性动力学之间的时间尺度分离中，所出现的哈密顿量的精确数学结构是什么？
• RQ3 由跃迁率和漂移函数构成的线性算子的Perron特征值，如何与首达时间问题中的拟势相关联？
• RQ4 该哈密顿量结构能否统一严格的大型偏差结果与生物系统中如WKB和路径积分等应用方法？
• RQ5 该框架在慢速动力学由分段SDE支配的系统中，可扩展到何种程度？

主要发现

• 大偏差原理的速率函数可表达为经典作用量$J_T[x] = \int_0^T L(x, \dot{x}) dt$，其中拉格朗日量$L$由哈密顿量的Fenchel-Legendre变换导出。
• 哈密顿量被识别为算子$\mathcal{L}^{x} + \beta F_{\cdot}(x)$的Perron特征值，该算子结合了快速马尔可夫链的无穷小生成元与慢速动力学的漂移。
• 所得的哈密顿结构与通过路径积分和WKB方法导出的结构等价，建立了严谨方法与应用方法之间的统一框架。
• 控制从吸引子逃逸速率的拟势$\Phi(x)$满足以该哈密顿量为基准的哈密顿-雅可比方程$H(x, \partial_x \Phi) = 0$。
• 对于随机离子通道，该框架重现了已知结果，并为计算神经元动力学中的罕见事件概率提供了一套系统化方法。
• 该分析可扩展至慢速为分段SDE的多尺度系统，其中相同的哈密顿结构支配大偏差行为。