[論文レビュー] Mass transportation and contractions

Alexander V. Kolesnikov|arXiv (Cornell University)|Mar 8, 2011

Geometric Analysis and Curvature Flows参考文献 16被引用数 14

ひとこと要約

本稿は、最適輸送におけるCaffarelliの収縮定理について包括的な概説を提供し、標準ガウス測度をヘッセ行列 $ D^2W \geq \text{Id} $ を満たす対数凸測度に押し出す最適マッピングが1リプシッツ（すなわち収縮写像）であることを確立する。この結果は、モンジュ＝アンペール方程式に最大原理を適用することで得られ、等周的不等式、ソボレフおよび対数ソボレフ不等式、ガウス型相関予想、ブラスカム＝リーブ不等式への重要な応用をもたらす。

ABSTRACT

According to a celebrated result of L. Caffarelli, every optimal mass transportation mapping pushing forward the standard Gaussian measure onto a log-concave measure $e^{-W} dx$ with $D^2 W \ge {Id}$ is 1-Lipschitz. We present a short survey of related results and various applications.

研究の動機と目的

• 標準ガウス測度から対数凸測度への最適輸送マップの収縮性に関するL. Caffarelliの基礎的結果をサーベイし、明確化すること。
• 最適輸送マップの収縮性が強い幾何学的および関数的不等式をどのように導くかを示すこと。
• 近似および摂動技法を用いて、非ガウス測度や凸集合への収縮定理の適用範囲を拡張すること。
• 最適輸送、等周的性、モーメント不等式（ガウス型相関予想およびTalagrand型不等式を含む）の間の関係を確立すること。

提案手法

• 最適輸送問題から導かれるモンジュ＝アンペール方程式 $ \rho_1(\nabla\Phi)\det D^2\Phi = \rho_0 $ に最大原理を適用する。
• 行列のトレース恒等式および逆ヘッセ行列を用いて、単位ベクトル $ e $ に沿ってモンジュ＝アンペール方程式の対数形を2回微分する。
• $ D^2W \geq K\cdot\text{Id} $ の条件を用いて、2階微分 $ \Phi_{ee} $ を $ V_{ee} $ の項で評価し、$ \sup \Phi_{ee}^2 \leq \frac{1}{K} \sup V_{ee} $ を得る。
• 測度 $ \mu $ が標準ガウス分布で $ K \geq 1 $ のとき、輸送マップ $ T = \nabla\Phi $ が1リプシッツ（収縮写像）であることを確立する。
• 収縮性を用いて、収縮写像による測度の押し出しを介して、等周的およびソボレフ型不等式を導出する。
• 収縮定理を用いて、対称な凸集合 $ K $ に対して $ t \mapsto \gamma(e^t K) $ が対数凸であることを証明し、(B)-予想を解決する。

実験結果

リサーチクエスチョン

• RQ1 目標ポテンシャル $ W $ にどのような条件を課せば、標準ガウス測度から $ e^{-W}dx $ への最適輸送マップが収縮写像となるか？
• RQ2 最適輸送マップの収縮性が等周的不等式および関数的不等式にどのように影響するか？
• RQ3 収縮定理は非ガウス測度や非凸領域へ拡張可能か？
• RQ4 収縮性の性質がガウス型相関予想およびブラスカム＝リーブ不等式に与える影響は何か？
• RQ5 完全な滑らかさを仮定せずに、増分商の手法やPDEに基づくアプローチを用いて収縮性を証明するにはどうすればよいか？

主な発見

• もし $ D^2W \geq \text{Id} $ ならば、標準ガウス測度から $ e^{-W}dx $ への最適輸送マップ $ T $ は1リプシッツ、すなわち収縮写像である。
• 収縮性により、押し出し測度 $ \nu = \mu \circ T^{-1} $ の等周的プロファイル $ \mathcal{I}_\nu $ が $ \mathcal{I}_\mu $ 以上であることが保証される。
• この結果はBakry–Ledoux比較定理を含み、一様に対数凸な測度に対する対数ソボレフ不等式を導く。
• 収縮定理により(B)-予想が解決される：対称な凸集合 $ K $ に対して、関数 $ t \mapsto \gamma(e^t K) $ は対数凸である。
• 片側指数測度に対しては、密度の摂動が $ |g'| \leq c < 1 $ を満たすとき、逆輸送マップは $ \frac{1}{1-c} $-収縮写像である。
• 増分商の手法は、$ \Phi $ が $ C^2 $ でない場合でも適用可能な、最大原理の証明の正則性フリーな代替手法を提供する。