[論文レビュー] Horizontal diffusion in $C^1$ path space

Marc Arnaudon, Abdoulaye Koléhè Coulibaly-Pasquier+1 more|arXiv (Cornell University)|Apr 17, 2009

Geometric Analysis and Curvature Flows参考文献 11被引用数 7

ひとこと要約

本稿では、リーマン多様体上の$C^1$経路空間における水平拡散を導入し、生成作用素$L$を持つ拡散族を構成する。この際、変形平行移動を用いて微分構造を保存する。主な結果として、計量が前向きリッチフローに従って進化する場合、水平拡散は長さを保存することが示され、最適輸送における収縮評価がモンジュ＝カンタロヴィチ問題を通じて可能になる。

ABSTRACT

We define horizontal diffusion in $C^1$ path space over a Riemannian manifold and prove its existence. If the metric on the manifold is developing under the forward Ricci flow, horizontal diffusion along Brownian motion turns out to be length preserving. As application, we prove contraction properties in the Monge-Kantorovich minimization problem for probability measures evolving along the heat flow. For constant rank diffusions, differentiating a family of coupled diffusions gives a derivative process with a covariant derivative of finite variation. This construction provides an alternative method to filtering out redundant noise.

研究の動機と目的

• リーマン多様体上での楕円型および時刻に依存する生成作用素$L$に対して、$C^1$経路空間における水平拡散を定義・構成すること。
• 計量が前向きリッチフローに従って進化する場合に、このような拡散が経路長を保存する条件を確立すること。
• 冗長なノイズのフィルタリングを回避するため、有限変動を示す内在的微分過程を用いて、拡散族の微分を扱う新たな手法を提供すること。
• 熱フローに従って進化する測度に対するモンジュ＝カンタロヴィチ最適輸送問題の収縮性を証明するために、この構成を応用すること。
• 定数ランクの退化拡散へ理論を拡張するため、変形平行移動を用いて有限変動を示す微分過程を構成すること。

提案手法

• 反復的平行結合を用いて、生成作用素$L$を持つ一意の1パラメータ族$X_t(u)$を定義し、微分$\partial_u X_t(u)$が局所的に一様有界であることを保証する。
• 微分過程は確率的微分方程式$\partial_u X_t(u) = W(X(u))_t(\dot{\varphi}(u))$を満たす。ここで$W(X(u))$は半マルティンガール$X(u)$に沿った変形平行移動である。
• 定数ランクの拡散に対しては、微分過程$T_{x_0}X$が有限変動を示し、$\tilde{D}'T_{x_0}X = \tilde{\nabla}_{T_{x_0}X}Z\,dt - \frac{1}{2}\mathop{\mathrm{Ric}}^\sharp(T_{x_0}X)\,dt$を満たすことが示される。
• 接続$\tilde{\nabla}$をベクトル場のバンドル上に定義し、その随伴接続$(\tilde{\nabla})'$を用いて微分過程の共変微分を定義する。
• 元の手法で必要な確率的微分方程式を回避し、代わりに$\text{carr\acute{e}}$ du champ作用素のみを用いて接続を定義する。
• 時間に依存するリッチフロー下で、測度の進化に伴う Wasserstein 距離の減少を示すことで、最適輸送における収縮性を証明する。

実験結果

リサーチクエスチョン

• RQ1 生成作用素$L$を持つ拡散族が$C^1$経路空間上に構成可能であり、初期経路に関する微分が局所的に一様有界となるか。
• RQ2 水平拡散が経路長を保存する幾何的条件下での条件は何か。
• RQ3 ノイズのフィルタリングを回避するため、退化拡散の微分過程を有限変動を示す形でどのように構成できるか。
• RQ4 時間に依存する計量下で、モンジュ＝カンタロヴィチ最適輸送問題を水平拡散を用いて分析可能か。
• RQ5 変形平行移動は、結合された拡散族の微分を特徴付ける上で果たす役割は何か。

主な発見

• 楕円型および時刻に依存する生成作用素$L$に対して、$C^1$経路空間上に水平$L$-拡散が存在し、微分過程は変形平行移動によって与えられる。
• 計量が前向きリッチフローに従って進化する場合、水平拡散は長さを保存する。これは経路空間における等長的挙動を意味する。
• 定数ランクの拡散に対しては、微分過程$T_{x_0}X$が有限変動を示し、明示的な共変微分$\tilde{D}'T_{x_0}X = \tilde{\nabla}_{T_{x_0}X}Z\,dt - \frac{1}{2}\mathop{\mathrm{Ric}}^\sharp(T_{x_0}X)\,dt$を満たす。
• この構成により、元の拡散のフィルトレーションおよび寿命を保存するフローが得られ、経路空間解析に適した内在的構造となる。
• ノイズのフィルタリングを回避する新たなアプローチにより、直接的に微分過程を用いることで、ビスマールト型公式の導出が可能になる。
• 一般の距離関数に非減少なコスト関数に対して、測度が熱フローに従って進化する場合、モンジュ＝カンタロヴィチ問題における収縮性が理論的に確立される。