Ding Shaojie, Qian Min, Qian Hong, Zhang Xuejuan
Department of Mathematics, Zhejiang Normal University, Zhejiang 321004, People's Republic of China.
School of Mathematical Sciences, Peking University, Beijing 100087, People's Republic of China.
J Chem Phys. 2016 Dec 28;145(24):244107. doi: 10.1063/1.4971429.
The stochastic Hodgkin-Huxley model is one of the best-known examples of piecewise deterministic Markov processes (PDMPs), in which the electrical potential across a cell membrane, V(t), is coupled with a mesoscopic Markov jump process representing the stochastic opening and closing of ion channels embedded in the membrane. The rates of the channel kinetics, in turn, are voltage-dependent. Due to this interdependence, an accurate and efficient sampling of the time evolution of the hybrid stochastic systems has been challenging. The current exact simulation methods require solving a voltage-dependent hitting time problem for multiple path-dependent intensity functions with random thresholds. This paper proposes a simulation algorithm that approximates an alternative representation of the exact solution by fitting the log-survival function of the inter-jump dwell time, H(t), with a piecewise linear one. The latter uses interpolation points that are chosen according to the time evolution of the H(t), as the numerical solution to the coupled ordinary differential equations of V(t) and H(t). This computational method can be applied to all PDMPs. Pathwise convergence of the approximated sample trajectories to the exact solution is proven, and error estimates are provided. Comparison with a previous algorithm that is based on piecewise constant approximation is also presented.
随机霍奇金 - 赫胥黎模型是分段确定性马尔可夫过程(PDMPs)中最著名的例子之一,其中细胞膜上的电势V(t)与一个介观马尔可夫跳跃过程相耦合,该过程表示嵌入膜中的离子通道的随机开放和关闭。反过来,通道动力学的速率是电压依赖性的。由于这种相互依赖性,对混合随机系统的时间演化进行准确而有效的采样一直具有挑战性。当前的精确模拟方法需要针对具有随机阈值的多个路径依赖强度函数解决电压依赖击中时间问题。本文提出了一种模拟算法,该算法通过用分段线性函数拟合跳跃间停留时间H(t)的对数生存函数来近似精确解的另一种表示。后者使用根据H(t)的时间演化选择的插值点,作为V(t)和H(t)耦合常微分方程的数值解。这种计算方法可以应用于所有PDMPs。证明了近似样本轨迹向精确解的逐路径收敛,并提供了误差估计。还给出了与基于分段常数近似的先前算法的比较。