[論文レビュー] A diffusion approach to Stein's method on Riemannian manifolds

Huiling Le, Alexander Lewis+2 more|arXiv (Cornell University)|Mar 25, 2020

Geometric Analysis and Curvature Flows参考文献 36被引用数 8

ひとこと要約

本稿では、同一の生成子を有する結合拡散過程を分析することにより、リーマン多様体上での積分距離のバインディングを目的とした拡散型スティーン法を開発する。曲率依存のスティーン要因を導出し、古典的なR^m上での境界を一般化し、非負のリッチ曲率のもとで距離過程の指数的収縮を保証することで、明示的な誤差制御を伴う曲がった空間上での分布近似を可能にする。

ABSTRACT

We detail an approach to develop Stein's method for bounding integral metrics on probability measures defined on a Riemannian manifold $\mathbf M$. Our approach exploits the relationship between the generator of a diffusion on $\mathbf M$ with target invariant measure and its characterising Stein operator. We consider a pair of such diffusions with different starting points, and through analysis of the distance process between the pair, derive Stein factors, which bound the solution to the Stein equation and its derivatives. The Stein factors contain curvature-dependent terms and reduce to those currently available for $\mathbb R^m$, and moreover imply that the bounds for $\mathbb R^m$ remain valid when $\mathbf M$ is a flat manifold

研究の動機と目的

• ユークリッド空間を超えて一般のリーマン多様体へ、分布近似のためのスティーン法を拡張すること。
• 目的不変測度を有する拡散過程の生成子を用いて、多様体上でのスティーン作用素を定義するフレームワークを構築すること。
• 曲率情報を組み込んだ明示的なスティーン要因（スティーン方程式の解およびその微分の境界）を導出すること。
• 2つの結合拡散過程間の距離過程の指数的収縮が成立する条件を確立し、積分距離のタイトな境界を保証すること。
• 多様体が平坦な場合に、古典的なR^mの境界が特別なケースとして回復されることを確認し、一般化の妥当性を検証すること。

提案手法

• 同一の生成子と不変測度を有する2つの拡散過程を、異なる初期点からリーマン多様体上に構築する。
• 2つの拡散過程間の距離過程ρ(X_t,x, Y_t,y) を、切断点および共役点を考慮して分析する。
• 伊藤の公式と平行移動を用いて、距離およびその微分のSDEを導出し、リッチ曲率およびヘッセ項を組み込む。
• 比較定理およびグロワールド型不等式を適用して、2つの拡散過程間の期待二乗距離または絶対距離をバインディングする。
• 距離過程を用いて、スティーン方程式の解およびその微分の成長を制御することで、曲率依存のスティーン要因を導出する。
• 特にリッチ曲率の下界および最初の共役点の不在という多様体の幾何的性質を用いて、距離過程の指数的収縮を保証する。

実験結果

リサーチクエスチョン

• RQ1 拡散過程を用いて、R^mからリーマン多様体へスティーン法を一般化できるか？
• RQ2 多様体の幾何における曲率項は、スティーン方程式の解の境界にどのように影響するか？
• RQ3 どのような幾何的条件下で、多様体上での結合拡散過程間の距離過程が指数的に収縮するか？
• RQ4 多様体が平坦な場合に、古典的なR^mのスティーン要因が特別なケースとして回復できるか？
• RQ5 切断点および共役点は、結合拡散過程の収束挙動にどのような役割を果たすか？

主な発見

• リッチ曲率の下界が存在し、切断点内に最初の共役点が存在しない場合、2つの拡散過程間の距離過程が指数的パスワイズ収縮することを確立した。
• 最初の共役点が存在する場合、平均的収縮が達成され、スティーン方程式の解が有界であることが保証される。
• 導出されたスティーン要因は、リッチ曲率およびポテンシャル関数φのヘッセ行列に明示的に依存しており、R^mの場合を一般化している。
• 平坦な多様体では、曲率依存の境界が古典的なR^mのスティーン要因に簡略化され、一般化の整合性が確認された。
• 目標測度μ_φと近似測度ν間のウォッシャーティン距離に対する明示的な上界が、初期距離および曲率パラメータの関数として得られた。
• 解f_hおよびその微分の境界は、距離過程の期待減衰率によって制御され、正のリッチ曲率のもとで指数的減衰が成立する。