[논문 리뷰] Stochastic path integrals can be derived like quantum mechanical path integrals

John J. Vastola, William R. Holmes|arXiv (Cornell University)|2019. 09. 28.

Quantum Mechanics and Applications참고 문헌 10인용 수 8

한 줄 요약

이 논문은 포크-플랑크 방정식에 의해 지배되는 시스템에 대해 양자역학에 영감을 받은 형식적 접근을 제시하여, 표준 양자역학적 경로 적분 기법과 유사한 통일적이고 체계적인 방법으로 확률적 경로 적분을 유도한다. 이 방법은 마틴-시그리아-로즈-얀센-데 도메니시 및 온세거-마클루프와 같은 기존의 형태를 명확히 회복하며, 가변 도메인, 확률적 해석, 시간 의존성, 곱셈 노이즈를 포함한 다양한 조건을 수용한다. 이는 확률적 동역학과 양자역학적 동역학 간 깊은 수학적 유사성을 명확히 한다.

ABSTRACT

Stochastic mechanics---the study of classical stochastic systems governed by things like master equations and Fokker-Planck equations---exhibits striking mathematical parallels to quantum mechanics. In this article, we make those parallels more transparent by presenting a quantum mechanics-like formalism for deriving a path integral description of systems described by stochastic differential equations. Our formalism expediently recovers the usual path integrals (the Martin-Siggia-Rose-Janssen-De Dominicis and Onsager-Machlup forms) and is flexible enough to account for different variable domains (e.g. real line versus compact interval), stochastic interpretations, arbitrary numbers of variables, explicit time-dependence, dimensionful control parameters, and more. We discuss the implications of our formalism for stochastic biology.

연구 동기 및 목표

• 포크-플랑크 방정식에 대해 양자역학에 영감을 받은 체계적이고 체계적인 확률적 경로 적분 유도 방법을 수립하기 위해.
• 양자역학적 경로 적분 유도 방식과 유사한 형식적 접근를 사용하여, 확률적 역학과 양자역학 간의 수학적 유사성을 명확히 하기 위해.
• 기존 방법의 한계—예를 들어 번거로운 자코비안 계산과 이산화 문제—를 극복하기 위해 더 유연하고 일반적인 프레임워크를 도입하기 위해.
• 가변 도메인(예: 실수선 대비 유계 간격)과 확률적 해석이 경로 적분 구성에 어떻게 영향을 미치는지 보여주기 위해.
• 임의의 변수, 시간 의존성, 차원을 가진 매개변수를 가진 시스템으로의 간편한 일반화를 가능하게 하기 위해.

제안 방법

• 시간 분할과 전이 진폭을 사용하여 양자역학적 경로 적분 유도 방식과 유사한 형식적 접근를 채택하기 위해.
• 스토케스틱 변수의 도메인에 맞춘 운동량 고유상태와 위치 고유상태를 정의하기 위해(예: 푸리에, 라플라스, 또는 푸리에 급수 변환).
• 포크-플랑크 해밀토니안의 시간 분할 지수 함수 곱으로 시간 진화 연산자를 표현함으로써 경로 적분을 구성하기 위해.
• 행동 일관성과 모호함을 피하기 위해 액션에 있는 함수들을 각 시간 간격의 왼쪽 끝점($x_j$)에서 평가하는 특정 이산화 체계를 사용하기 위해.
• 이산화 선택과는 별개로 다양한 확률적 해석(예: 이토, 스트라토노비치)을 고려하여 경로 적분 구성의 유연성을 확보하기 위해.
• 포크-플랑크 방정식을 해밀토니안 형식으로 매핑함으로써 액션을 도출하고, 운동량 연산자를 $\hat{p} = -\partial/\partial x$ 로 정의하기 위해.

실험 결과

연구 질문

• RQ1 포크-플랑크 동역학에 대해 양자역학에 유사한 유도 방식을 사용하여 체계적인 확률적 경로 적분을 도출할 수 있는가?
• RQ2 변수 도메인의 선택(예: $\mathbb{R}$, $[0,\infty)$, 유계 간격)이 경로 적분 구성과 관련된 운동량 연산자에 어떻게 영향을 미치는가?
• RQ3 이산화가 경로 적분 액션에 미치는 역할은 무엇이며, 이는 다양한 확률적 해석(예: 이토 대비 스트라토노비치)과 어떻게 관련이 있는가?
• RQ4 이 형식적 접근는 곱셈 노이즈, 시간 의존 매개변수, 또는 고차원 상태 공간을 가진 시스템으로 어떻게 일반화될 수 있는가?
• RQ5 이 새로운 형식적 접근에서 도이-펠레티 경로 적분과 포크-플랑크 경로 적분 간의 정확한 관계는 무엇인가?

주요 결과

• 형식적 접근는 양자역학적 유도 방식과 유사하게 표준 마틴-시그리아-로즈-얀센-데 도메니시 및 온세거-마클루프 경로 적분을 성공적으로 회복한다.
• 시간 분할과 포크-플랑크 해밀토니안의 지수 함수 곱을 통해 경로 적분 액션을 도출하며, 이산화된 액션에서 함수들은 $x_j$에서 평가된다.
• 이산화 방식의 선택(예: $x_j$ 대비 $\bar{x}_j$에서 평가)은 문헌에서 보고된 경로 적분 형태의 차이—예를 들어 $f'$ 항의 존재 또는 부재—를 설명한다.
• 운동량 연산자 $\hat{p} = -\partial/\partial x$ 는 자연스럽게 도출되며, 도메인과 연결된다: 실수선에 대해서는 푸리에, $[0,\infty)$에 대해서는 라플라스, 유계 간격에 대해서는 푸리에 급수.
• 이 형식적 접근는 임의의 변수 수, 명시적 시간 의존성, 차원을 가진 매개변수, 곱셈 노이즈를 가진 시스템까지도 다룰 수 있을 정도로 일반적이다.
• 이 접근는 도이-펠레티 경로 적분과 포크-플랑크 경로 적분 간의 연결 고리를 명확히 하며, 해밀토니안 근사 또는 액션 수준의 단순화를 통해 한쪽이 다른 쪽에서 유도될 수 있음을 시사한다.