[論文レビュー] Couplings, distances and contractivity for diffusion processes revisited

Andreas Eberle|arXiv (Cornell University)|May 6, 2013

Markov Chains and Monte Carlo Methods参考文献 25被引用数 2

ひとこと要約

本稿では、凸関数に基づく距離関数を用いて、全変動距離と標準 Wasserstein 距離の間を補間する、非凸ポテンシャルを持つ過減衰ランジュビン拡散の収縮性を分析するための新規フレームワークを提案する。標準 Wasserstein 収縮性が失敗するような状況（例：非凸ポテンシャルを有する過減衰ランジュビン拡散）においても、適切に選択されたこの距離関数により、近似的に最適な収縮率が達成される。

ABSTRACT

We consider contractivity for diffusion semigroups w.r.t. Kantorovich (L Wasserstein) distances based on appropriately chosen concave functions. These distances are inbetween total variation and usual Wasserstein distances. It is shown that by appropriate explicit choices of the underlying distance, contractivity with rates of close to optimal order can be obtained in several fundamental classes of examples where contractivity w.r.t. standard Wasserstein distances fails. Applications include overdamped Langevin diffusions with locally non-convex potentials, products of these processes, and systems of weakly interacting diffusions.

研究の動機と目的

• 局所的に非凸なポテンシャルを持つ拡散過程において、標準 Wasserstein 収縮性が失敗する問題に対処すること。
• 全変動距離と標準 Wasserstein 距離の間をつなぐ、確率測度間の距離測度の柔軟なクラスの構築。
• 過減衰ランジュビン拡散および弱く相互作用する系に対して、近似的に最適なレートを有する収縮推定の確立。
• ポテンシャル関数の凸性仮定を越えて収縮性解析を拡張し、基本的な確率的モデルへの適用範囲を広げること。

提案手法

• 距離構造を調整するための凹関数を用いた、Kantorovich 型距離関数の族を定義する。
• 基礎となる拡散過程の幾何構造に適合した明示的な距離関数を構築する。
• カップリング技法を用いて、拡散過程の半群下でのこれらの距離の進化を分析する。
• カップルド過程間の距離に対する微分不等式を導出し、収縮率を定量化する。
• フレームワークを過減衰ランジュビンダイナミクス、その積過程、および弱く相互作用する拡散系に適用する。
• 凹関数フレームワークを用いて、ポテンシャル関数の凸性を必要とせず、非凸領域でも収縮性を達成できるようにする。

実験結果

リサーチクエスチョン

• RQ1 非凸ポテンシャルを持つ拡散過程に対して、代替的な距離測度を用いることで、近似的に最適なレートでの収縮性を達成できるか？
• RQ2 凹関数で調整された Kantorovich 距離は、標準 Wasserstein 距離や全変動距離と比較して、収束挙動をどの程度うまく捉えられるか？
• RQ3 提案された距離フレームワーク下で、有効な収縮性を実現するためのポテンシャル関数に必要な条件は何か？
• RQ4 この手法を弱く相互作用する拡散系の系列にどの程度まで拡張できるか？
• RQ5 標準 Wasserstein 収縮性が失敗するような積過程に対しても、このフレームワークを適用できるか？

主な発見

• 提案された凹関数に基づく距離フレームワークにより、局所的に非凸なポテンシャルを持つ過減衰ランジュビン拡散において、最適に近い収縮率での収縮性が達成される。
• ポテンシャル関数の凸性が欠如するため、標準 Wasserstein 距離では失敗する状況でも、収縮性が確立される。
• 本手法は、そのような拡散の積過程および弱く相互作用する拡散系の系列に対しても、効果的に拡張可能である。
• 距離定義における凹関数の選択が、強力な収縮性を達成する上で極めて重要であり、明示的な構成例が提示されている。
• 本フレームワークにより、全変動距離と標準 Wasserstein メトリクスの間を滑らかに補間する体系的な手法が提供され、収束解析が向上する。
• 結果として、古典的な凸性仮定を越えて収縮性が達成可能であることが示され、適用範囲が著しく拡張される。