[논문 리뷰] Mean-Square Convergence of a New Parameterized Leapfrog Scheme for Hamiltonian Systems Driven by Gaussian Process Potentials

Sourabh Bhattacharya|arXiv (Cornell University)|2026. 02. 15.

Stochastic processes and financial applications인용 수 0

한 줄 요약

요약: 이 논문은 가우시안 프로세스 포텐셜을 갖는 해밀토니안 시스템에 대한 매개변수화된 확률적 리프복 스킴의 평균-제곱 수렴을 보이고, 특정 매개변수 가정하에서 전역 평균-제곱 정확도 1차를 달성한다.

ABSTRACT

This paper establishes the mean-square convergence of a new stochastic, parameterized leapfrog scheme introduced in our companion paper Mazumder et al. (2026) for Hamiltonian systems with Gaussian process potentials. We consider a one-step numerical integrator and provide a complete, rigorous analysis under minimal regularity assumptions on the Gaussian potential. The key technical contribution is identifying and exploiting the symplectic structure ingrained in our stochastic, parameterized leapfrog method. Combined with local truncation error analysis, this leads to a global error bound of O(δt) in mean-square sense. Our results establish that although the spatio-temporal model of Mazumder et al. (2026) arises as the anticipated new stochastic leapfrog solution of a system of modified (parameterized) stochastic Hamiltonian equations, the new stochastic leapfrog actually solves the traditional stochastic Hamiltonian equations, driven by Gaussian process potential.

연구 동기 및 목표

• 가우시안 프로세스 포텐셜을 갖는 해밀토니안 시스템의 수치 적분 동기를 제시한다.
• 매개변수화된 확률적 리프복 스킴을 도입하고 형식화한다.
• 평균-제곱 수렴을 확립하고 전역 오차 경계를 제공한다.
• 최소 정규성 하에서 수정된 ODE 설명 및 국소 절단 오차 분석을 도출한다.
• 정확한 가우시안 프로세스 가정 하에서의 증명을 개요하고 비매개변수 포텐셜에 대한 시사점을 논의한다.

제안 방법

• 가우시안 프로세스 포텐셜과 매개변수 alpha 및 beta 를 가진 원래의 해밀토니안 시스템과 매개변수화된 리프복 스킴(y_{n+1}, x_{n+1})를 정의한다.
• 경로별 샘플 경로 확장을 수행하여 한 단계 업데이트와 매개변수 효과를 밝힌다.
• 스킴이 추적하는 수정된 확률적 ODE를 도출하여 O(delta t^2) 정확도까지 확인한다.
• 일 단계 차이를 평균 제곱 의미에서 경계하는 국소 절단 오차 분석을 수행한다.
• 유한 시간 구간에서 평균 제곱 수렴 1차를 보이는 주된 수렴 정리를 증명한다.
• 가우시안 프로세스 모멘트 경계와 Borell–TIS 불평등을 사용하여 V의 도함수를 제어하고finite moments를 확보한다.

실험 결과

연구 질문

• RQ1 매개변수화된 리프복 스킴이 가우시안 프로세스 포텐셜을 갖는 정확한 해밀토니안 흐름으로 평균 제곱 수렴하는가?
• RQ2 평균 제곱 수렴의 차수는 얼마이며 어떤 매개변수 선택에서 달성되는가?
• RQ3 가우시안 프로세스 도함수 경계가 안정성 및 오차 증가에 어떻게 영향을 미치는가?
• RQ4 도입된 매개변수 alpha와 beta가 수정된 방정식 및 수렴 속도에 어떤 영향을 미치는가?

주요 결과

• 수정된 리프복 스킴에 대해 유한 구간에서 글로벌 평균 제곱 수렴 속도 1차가 확립된다.
• alpha1 = beta1 = 0일 때, 국소 절단 오차가 평균 제곱에서 O(delta t^4)로, 최적의 1차 방법과 일치한다.
• 스킴을 기술하는 수정된 연속 시간 ODE가 존재하며, 표준 해밀토니안 역학에 대한 매개변수 주도 보정을 드러낸다.
• 가우시안 프로세스 도함수에 대한 모멘트 경계가 도출되어 분석에 필요한 두 번째 모멘트의 유한성을 확보한다.
• 해당 분석은 스킴이 평균 제곱 의미에서 가우시안 프로세스 포텐셜이 주도하는 전통적인 확률적 해밀토니안 방정식을 실제로 해결한다고 보여준다.