[論文レビュー] Exponential Contraction in Wasserstein Distances for Diffusion Semigroups with Negative Curvature

Feng‐Yu Wang|arXiv (Cornell University)|Mar 18, 2016

Geometric Analysis and Curvature Flows参考文献 20被引用数 13

ひとこと要約

本稿は、リーマン多様体上の拡散セミ群および負の曲率を示すSDEに対して、 Wasserstein距離における指数的収縮を確立し、$ W_p(\mu_1P_t, \mu_2P_t) \leq c e^{-\lambda t} W_p(\mu_1, \mu_2) $ が $ c > 1 $, $ \lambda > 0 $, およびすべての $ p \geq 1 $ に対して成り立つことを証明している。これは、Bakry-Émery曲率が負の定数で下から有界である場合でも成り立つ。この結果は、正の曲率を超える既知の収縮推定値を拡張し、乗法的ノイズを伴うSDEの係数に対する明示的な条件を提供する。

ABSTRACT

Let $P_t$ be the (Neumann) diffusion semigroup $P_t$ generated by a weighted Laplacian on a complete connected Riemannian manifold $M$ without boundary or with a convex boundary. It is well known that the Bakry-Emery curvature is bounded below by a positive constant $\ll>0$ if and only if $$W_p(μ_1P_t, μ_2P_t)\le \e^{-\ll t} W_p (μ_1,μ_2),\ \ t\ge 0, p\ge 1 $$ holds for all probability measures $μ_1$ and $μ_2$ on $M$, where $W_p$ is the $L^p$ Wasserstein distance induced by the Riemannian distance. In this paper, we prove the exponential contraction $$W_p(μ_1P_t, μ_2P_t)\le c\e^{-\ll t} W_p (μ_1,μ_2),\ \ p\ge 1, t\ge 0$$ for some constants $c,\ll>0$ for a class of diffusion semigroups with negative curvature where the constant $c$ is essentially larger than $1$. Similar results are derived for SDEs with multiplicative noise by using explicit conditions on the coefficients, which are new even for SDEs with additive noise.

研究の動機と目的

• 正の曲率を超えて、曲率が負の定数で下から有界である場合の、リーマン多様体上での拡散セミ群における Wasserstein 距離の指数的収縮推定値を拡張すること。この場合、標準的な指数的減衰率は $ c = 1 $ では成り立たない。
• Bakry-Émery曲率が負の定数 $ K $ で下から有界である場合でも、指数的収縮が $ c > 1 $ を用いて成り立つことを確立すること。
• すべての $ p \geq 1 $ に対して $ W_p $ における指数的収縮を保証する、乗法的ノイズを伴うSDEのドリフトおよび拡散係数に関する明示的な条件を導出すること。
• 平坦な場合 $ \mathbb{R}^d $ からの結果を、非コンパクト幾何を有する一般のリーマン多様体へ一般化すること。
• スペクトルギャップ推定値が失敗する負の曲率領域において、log-Sobolev 不等式と Wasserstein 収縮の間のギャップを埋めること。

提案手法

• 負の曲率を有する拡散過程の法則間の Wasserstein 距離を制御するために、カップリング法および勾配推定値を用いる。
• リーマン多様体上での Bochner-Weitzenböck 公式を用いて、$ \text{Ric}_Z \geq K $（$ K < 0 $）である Bakry-Émery 曲率条件を適用し、勾配推定値を導出する。
• Riemann計量 $ a $ に由来する計量を用いて、$ P_t $ の時間発展を制御するため、log-Harnack および超コンパクト性推定値を用いる。
• 生成子を重み付きラプラシアンとドリフトに変換可能とするために、修正された Riemann 計量 $ g_{ij} = (a^{-1})_{ij} $ を構築する。
• $ W_p $-収縮と曲率の有界性の間の同値性を用い、既知の $ K > 0 $ の結果を $ K < 0 $ に拡張し、$ c > 1 $ を得る。
• 不変測度のモーメント条件の下で、[23] および [35] の超コンパクト性および対数ソボレフ不等式に関する結果を応用する。

実験結果

リサーチクエスチョン

• RQ1 Bakry-Émery曲率が負の定数で下から有界である場合に、拡散セミ群の $ W_p $-距離における指数的収縮を確立できるか？
• RQ2 乗法的ノイズを伴うSDEの係数にどのような明示的条件が、すべての $ p \geq 1 $ に対して $ W_p $-指数的収縮を保証するか？
• RQ3 曲率が負のとき、収縮境界 $ W_p(\mu_1P_t, \mu_2P_t) \leq c e^{-\lambda t} W_p(\mu_1, \mu_2) $ の定数 $ c $ はどのように振る舞うか？
• RQ4 負の曲率の場合に、指数的レート $ \lambda $ は $ p $ に依存しないか？
• RQ5 曲率の有界性と $ W_p $-収縮の同値性は、負の曲率領域へ拡張可能か？

主な発見

• 曲率が負の拡散セミ群では、$ W_p $-距離における指数的収縮が成り立つ：$ W_p(\mu_1P_t, \mu_2P_t) \leq c e^{-\lambda t} W_p(\mu_1, \mu_2) $ であるが、$ c > 1 $, $ \lambda > 0 $, およびすべての $ p \geq 1 $ に対して成り立つ。
• 指数的レート $ \lambda $ は $ p $ に依存しない。これは、さまざまなモーメントにおける一様収束推定値にとって重要である。
• 乗法的ノイズを伴うSDEに対しては、ドリフト $ b $ および拡散 $ a $ に関する明示的な条件が収縮を保証する。これは、加法的ノイズの既知の結果を一般化する。
• 曲率が負のとき、定数 $ c $ は本質的に 1 より大きい。これは、正の曲率の場合に比べて収束が遅いことを反映している。
• 不変測度 $ \mu $ は、$ \mu(e^{c_2|\cdot|^2}) < \infty $ を満たす $ c_2 > K/(2\alpha) $ が存在する。これは、モーメント推定値のための可積分性を保証する。
• 超コンパクト性および対数Harnack不等式を用いて勾配推定値を導出し、それらが命題 3.1 を介して $ W_p $-収縮を示唆する。