[論文レビュー] Mean-Square Convergence of a New Parameterized Leapfrog Scheme for Hamiltonian Systems Driven by Gaussian Process Potentials

Sourabh Bhattacharya|arXiv (Cornell University)|Feb 15, 2026

Stochastic processes and financial applications被引用数 0

ひとこと要約

この論文は、ガウス過程ポテンシャルを持つハミルトン系に対するパラメータ化された確率的リープフロッグ法の平均二乗収束性を証明し、特定のパラメータ仮定の下で一階の平均二乗的全球精度を達成する。

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記述と局所切断誤差解析を導出する。
• 厳密なガウス過程仮定の下での証明の概要を示し、非パラメトリックポテンシャルへの含意を論じる。

提案手法

• 元のガウス過程ポテンシャルを持つハミルトン系とパラメータ化リープフロッグ法（y_{n+1}, x_{n+1}）をαとβのパラメータで定義する。
• サンプル路展開を用いて一ステップ更新とパラメータの効果を明らかにする。
• Δt^2の精度まで追従する修正確率微分方程式を導出する。
• 一歩の平均二乗誤差を界化する局所切断誤差解析を実施する。
• 有限時間区間において平均二乗収束性が1次である主定理を証明する。
• ガウス過程モーメント境界と Borell–TIS 不等式を用いて V の導関数を制御し、有限モーメントを保証する。

実験結果

リサーチクエスチョン

• RQ1 パラメータ化リープフロッグ法はガウス過程ポテンシャルを持つ正確なハミルトン流へ平均二乗収束するか。
• RQ2 平均二乗収束の次数は何で、どのパラメータ選択の下で達成されるか。
• RQ3 ガウス過程の導関数境界は安定性と誤差成長にどう影響するか。
• RQ4 導入された α と β のパラメータは修正方程式と収束速度にどう影響するか。

主な発見

• 有限区間に対して修正リープフロッグ法の平均二乗収束階数が1であることを確立。
• α1 = β1 = 0 のとき、局所切断誤差は平均二乗で O(Δt^4) となり、1次法として最適に一致する。
• リープフロッグ法を特徴づける修正連続時間ODEを示し、標準的なハミルトン力学に対するパラメータ駆動補正を明らかにする。
• ガウス過程導関数のモーメント境界を導出し、解析に必要な有限二次モーメントを保証する。
• 解析は、この法が平均二乗感覚でガウス過程ポテンシャルにより駆動される従来の確率的ハミルトン方程式を解くことを示している。