[論文レビュー] Exponential Contractivity in the $L^p$-Wasserstein Distance for Diffusion Processes

Dejun Luo, Jian Wang|arXiv (Cornell University)|Jul 8, 2014

Geometric Analysis and Curvature Flows被引用数 1

ひとこと要約

本稿は、反射によるカップリングと無限遠方における凸補助関数を用いて、拡散セミ群における$L^p$-ウォッサーシュタイン距離における指数的収縮を確立する。すべての$p \in [1,\infty)$に対して$W_p(\delta_x P_t, \delta_y P_t) \leq C e^{-\lambda t/p} \cdot \max(|x-y|^{1/p}, |x-y|)$が成り立ち、$p=1$に限られていた先行研究を改善する。

ABSTRACT

By adopting the coupling by reflection and choosing an auxiliary function which is convex near infinity, we establish the exponential convergence of diffusion semigroups $(P_t)_{t\ge0}$ with respect to the standard $L^p$-Wasserstein distance for all $p\in[1,\infty)$. In particular, we show that for the Ito stochastic differential equation $$\d X_t=\d B_t+b(X_t)\,\d t,$$ if the drift term $b$ satisfies that for any $x,y\in\R^d$, $$\langle b(x)-b(y),x-y angle\le \begin{cases} K_1|x-y|^2,& |x-y|\le L; -K_2|x-y|^2,& |x-y|> L \end{cases}$$ holds with some positive constants $K_1$, $K_2$ and $L>0$, then there is a constant $\lambda:=\lambda(K_1,K_2,L)>0$ such that for all $p\in[1,\infty)$, $t>0$ and $x,y\in\R^d$, $$W_p(\delta_x P_t,\delta_y P_t)\leq Ce^{-\lambda t/p} \begin{cases} |x-y|^{1/p}, & \mbox{if } |x-y|\le 1; |x-y|, & \mbox{if } |x-y|> 1. \end{cases}$$ where $C:=C(K_1,K_2,L,p)$ is a positive constant. This improves the main result in \cite{Eberle} where the exponential convergence is only proved for the $L^1$-Wasserstein distance.

研究の動機と目的

• すべての$p \in [1,\infty)$に対して、拡散過程における$L^p$-ウォッサーシュタイン距離における指数的収束を確立すること。これは、$L^1$-ウォッサーシュタインの場合に限られていた既存の結果を拡張する。
• 既存の文献において指数的収縮が$p=1$でのみ証明されていたというギャップを埋めるために、すべての有限$p$に対して有効なフレームワークを構築すること。
• 区分的線形のドリフト行動を示すドリフト条件—$L^1$-類似および$L^\infty$-類似の領域—が収束速度に与える影響を分析すること。
• 収縮率$\lambda$および定数$C$がドリフトパラメータ$K_1$, $K_2$, $L$, および$p$にどのように依存するかを明示的に導出すること。
• 非一様なドリフト行動を取り扱うために、反射によるカップリングと凸補助関数を組み合わせた統一的フレームワークを構築すること。

提案手法

• 異なる初期点から出発する2つの拡散過程をカップリングするため、反射によるカップリング技法を用いる。
• カップリング距離の成長を制御し、有限時間でのカップリングを保証するために、無限遠方で凸である補助関数を導入する。
• 小距離領域（$|x-y| \leq L$）では線形的散逸的（dissipative）であり、大距離領域（$|x-y| > L$）では強く散逸的であるドリフト条件を用い、定数$K_1, K_2 > 0$を導入する。
• 伊藤の公式とカップリング過程の生成作用素を用いて、カップリング距離の$p$次モーメントに関する微分不等式を導出する。
• 比較論法を適用し、カップリング距離の期待$p$乗を用いて$L^p$-ウォッサーシュタイン距離を上界で抑え込む。
• ドリフトおよび補助関数の詳細な解析を通じて、指数的減衰率$\lambda = \lambda(K_1, K_2, L)$および定数$C = C(K_1, K_2, L, p)$を確立する。

実験結果

リサーチクエスチョン

• RQ1 区分的散逸的ドリフトを有する拡散過程に対して、すべての$p \in [1,\infty)$における$L^p$-ウォッサーシュタイン距離における指数的収縮を確立できるか？
• RQ2 反射によるカップリング手法に加えて凸補助関数を用いることで、$p > 1$の場合に既存手法よりも改善された収束速度が得られるか？
• RQ3 収縮率$\lambda$および定数$C$がドリフトパラメータ$K_1$, $K_2$, $L$, および指数$p$にどのように依存するかの正確な依存関係は何か？
• RQ4 区分的散逸的ドリフト条件は、$L^p$-ウォッサーシュタイン位相における拡散セミ群の長時間挙動にどのように影響を与えるか？
• RQ5 エーベルの$L^1$-ウォッサーシュタイン結果を、同じカップリングフレームワークを用いてすべての$L^p$-ウォッサーシュタイン距離に一般化できるか？

主な発見

• 区分的散逸的ドリフト条件の下で、$L^p$-ウォッサーシュタイン距離における指数的収縮は、$p=1$に限らず、すべての$p \in [1,\infty)$に対して成立する。
• 収縮率は$\lambda = \lambda(K_1, K_2, L) > 0$であり、散逸的定数$K_1$, $K_2$および閾値$L$に依存する。
• 境界は$t$に依存する減衰$e^{-\lambda t/p}$を示し、$p$が大きくなると収束速度が遅くなることを示している。
• 初期距離が小さい場合（$|x-y| \leq 1$）には、$|x-y|^{1/p}$に比例するスケーリングとなり、$L^p$-ノルムの挙動を反映している。
• 初期距離が大きい場合（$|x-y| > 1$）には、線形に$|x-y|$に比例するスケーリングとなり、$L^1$-タイプの挙動と整合的である。
• 定数$C = C(K_1, K_2, L, p)$は有限であり、$p$, $K_1$, $K_2$, $L$に明示的に依存しており、初期条件にわたる一様性を保証している。