[논문 리뷰] On the Hamiltonian structure of large deviations in stochastic hybrid systems

Paul C. Bressloff, Olivier Faugeras|arXiv (Cornell University)|2014. 10. 07.

Advanced Thermodynamics and Statistical Mechanics참고 문헌 43인용 수 6

한 줄 요약

이 논문은 빠른 이산 마코프 체인과 느린 연속 역학을 갖는 확률적 하이브리드 시스템에서의 대규모 편차에 기반하는 하미르تون 구조를 규명한다. 대규모 편차 원리의 비용 함수는 빠른 마코프 체인과 느린 결정론적 역학에서 유도된 선형 연산자의 프로넨 고유값으로 나타나는 하미르턴 함수를 갖는 고전적 작용에 의해 결정됨을 보여준다. 주요 기여는 엄밀한 대규모 편차 이론과 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 및 경로 적분과 같은 응용 방법 간의 엄밀한 연결을 수립하기 위해.
• 빠른 이산 마코프 체인과 느린 연속 역학을 갖는 시스템의 대규모 편차 원리에서의 비용 함수에 기반한 공통의 하미르턴 구조를 규명하기 위해.
• 전이 비율과 이동 함수를 포함하는 행렬 연산자의 프로넨 고유값으로 나타나는 하미르턴 함수를 갖는 고전적 작용으로 비용 함수를 유도하기 위해.
• 느린 역학이 조각별 확률적 미분 방정식(SDE)으로 제어되는 다중 스케일 시스템으로 분석을 확장하기 위해.
• 신경 세포의 막 전위 변동과 관련된 실제 의미를 보여주기 위해 확률적 이온 채널의 예시를 통해 프레임워크를 검증하기 위해.

제안 방법

• 비용 함수는 변분법과 전이 비율과 연속 시스템의 이동을 코딩하는 $|̳|$ 차원 선형 연산자에 적용된 프로넨-프로베니우스 정리를 통해 유도된다.
• 하미르턴 함수는 $\mathcal{L}^{x} + \beta F_{\cdot}(x)$의 주요(프로넨) 고유값으로 정의되며, 여기서 $\mathcal{L}^{x}$는 빠른 마코프 체인의 무한소 생성자이다.
• 해당 하미르턴 함수의 페널리에-레지오트 변환을 통해 라그랑지안이 도출되어 볼록성과 쌍대성을 보장한다.
• 작용 함수 $S_{0T}(\gamma) = \int_0^T L(\gamma_t, \dot{\gamma}_t) dt$ 는 스케일링된 느린 과정 $z^{\varepsilon}$에 대한 대규모 편차 원리를 정의하는 데 사용된다.
• 시간 스케일링 변환과 계약 원리를 통해 대규모 편차 원리가 확립되며, 영역에서의 탈출 확률에 대한 지수적 점근 해가 도출된다.
• 확률적 이온 채널 모델에서 WKB 및 경로 적분 방법과의 등가성을 보여줌으로써 프레임워크를 검증한다.

실험 결과

연구 질문

• RQ1 확률적 하이브리드 시스템에서의 대규모 편차 이론의 비용 함수는 잘 정의된 하미르턴 함수를 갖는 고전적 작용으로 어떻게 표현할 수 있는가?
• RQ2 빠른 마코프 체인과 느린 결정론적 역학 간의 시간 스케일 분리에서 유도되는 하미르턴의 정확한 수학적 구조는 무엇인가?
• RQ3 전이 비율과 이동 함수를 포함하는 선형 연산자의 프로넨 고유값은 첫 번째 통과 시간 문제에서의 퍼텐셜과 어떻게 관련이 있는가?
• RQ4 이 하미르턴 구조는 생물학적 시스템에서 엄밀한 대규모 편차 결과와 WKB 및 경로 적분과 같은 응용 방법을 통합할 수 있는가?
• RQ5 이 프레임워크는 느린 역학이 조각별 SDE로 제어되는 시스템으로 얼마나 넓게 확장될 수 있는가?

주요 결과

• 대규모 편차 원리의 비용 함수는 고전적 작용 $J_T[x] = \int_0^T L(x, \dot{x}) dt$ 로 표현되며, 여기서 라그랑지안 $L$ 은 하미르턴 함수의 페널리에-레지오트 변환으로 유도된다.
• 하미르턴 함수는 빠른 마코프 체인의 무한소 생성자와 느린 역학의 이동을 조합한 연산자 $\mathcal{L}^{x} + \beta F_{\cdot}(x)$ 의 프로넨 고유값으로 규명된다.
• 유도된 하미르턴 구조는 경로 적분 및 WKB 방법을 통해 유도된 것과 동치이며, 엄밀한 접근과 응용적 접근 간의 통합 프레임워크를 확립한다.
• 흡착점에서의 탈출 비율을 지배하는 퍼텐셜 $\Phi(x)$ 는 이 하미르턴 함수를 갖는 하미르턴-자비 방정식 $H(x, \partial_x \Phi) = 0$ 를 만족한다.
• 확률적 이온 채널의 경우, 이 프레임워크는 기존 결과를 재현하며 뉴런 역학에서 희귀 사건 확률을 체계적으로 계산하는 데 유용하다.
• 느린 조각별 SDE로 제어되는 다중 스케일 시스템으로의 분석도 확장되며, 동일한 하미르턴 구조가 대규모 편차 행동을 지배한다.