[論文レビュー] Riemannian Langevin Dynamics: Strong Convergence of Geometric Euler-Maruyama Scheme

Zhiyuan Zhan, Masashi Sugiyama|arXiv (Cornell University)|Mar 4, 2026

Markov Chains and Monte Carlo Methods被引用数 0

ひとこと要約

この論文はリーマン幾何 Langevin ダイナミクスのフレームワークを構築し、幾何的 Euler–Maruyama 离散化の強収束性を証明する。これを支持する一連の技術的補題は不等式と微分幾何の知識に基づく。

ABSTRACT

Low-dimensional structure in real-world data plays an important role in the success of generative models, which motivates diffusion models defined on intrinsic data manifolds. Such models are driven by stochastic differential equations (SDEs) on manifolds, which raises the need for convergence theory of numerical schemes for manifold-valued SDEs. In Euclidean space, the Euler--Maruyama (EM) scheme achieves strong convergence with order $1/2$, but an analogous result for manifold discretizations is less understood in general settings. In this work, we study a geometric version of the EM scheme for SDEs on Riemannian manifolds and prove strong convergence with order $1/2$ under geometric and regularity conditions. As an application, we obtain a Wasserstein bound for sampling on manifolds via the geometric EM discretization of Riemannian Langevin dynamics.

研究の動機と目的

• リーマン多様体上の Langevin ダイナミクスの研究動機を提示し、離散化の収束性を扱う。
• 離散化に伴う確率誤差と幾何学的誤差を制御するための幾何的解析ツールを構築・適用する。
• 収束証明に必要なモーメント・ノルム・作用素写像を界づける補助補題を確立する。

提案手法

• 確率的推定とモーメント境界に関する補題を導入・活用する（ Hölder・Minkowski 不等式など、多様体上の確率過程に関連するもの）。
• 滑らかなカットオフ関数と射影演算子を構築して非リプシッツ性や有界でない挙動を処理する。
• ユークリッド微分を多様体値微分へ関連付けるために微分幾何学的恒等式（Gauss、第二基本形式など）を用いる。
• 射影写像と右逆写像のリプシッツ型性を証明して、多様体上の離散化ダイナミクスの安定性を確保する。

実験結果

リサーチクエスチョン

• RQ1 リーマン幾何 Langevin ダイナミクスに対する幾何的 Euler–Maruyama 法の強収束性はどのように確立できるか。
• RQ2 多様体上の離散化誤差を制御するために必要な補助推定（モーメント、リプシッツ性、射影）とは何か。
• RQ3 第二基本形式のような微分幾何的構成要素が、多様体上の確率過流の離散化収束解析にどのように影響するか。
• RQ4 収束証明中の未有界領域や問題領域を扱う際、平滑なカットオフ関数はどのような役割を果たすか。

主な発見

• リーマン確率文脈で現れるモーメントとノルムを界づける一連の不等式と補題が提供される。
• ボールへの射影演算子とそのリプシッツ性が安定な離散化ステップを保証するよう特徴づけられる。
• リーマン多様体と関連二項写像の性質が、収束解析に不可欠な作用素境界へ結びつけられる。
• Gaussの公式の下でユークリッドヘッセ行列と多様体ヘッセ行列の関係が形式化され、微分演算子の多様体間の関連性が整理される。