[論文レビュー] Introduction to Optimal Transport Theory

Filippo Santambrogio|arXiv (Cornell University)|Sep 20, 2010

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

ひとこと要約

本稿は、モンジュ＝カンタロヴィチ問題、ワサーライン距離、および最適輸送と偏微分方程式（PDE）との関係に焦点を当てた、最適輸送理論の簡潔な紹介を提供する。モンジュ＝アンペール方程式を用いて、最適輸送写像の存在性と正則性を確立し、密度関数がホルダー連続で一様に有界である条件下で、ブレニエ解が $ C^{2,\beta} $ であることを示す。これにより、古典的可解性が保証され、輸送問題が凸解析およびPDE理論と結びつく。

ABSTRACT

These notes constitute a sort of Crash Course in Optimal Transport Theory. The different features of the problem of Monge-Kantorovitch are treated, starting from convex duality issues. The main properties of space of probability measures endowed with the distances $W_p$ induced by optimal transport are detailed. The key tools to put in relation optimal transport and PDEs are provided.

研究の動機と目的

• 分野に初めて入門する研究者向けに、自己完結的で理解しやすい最適輸送理論の入門を提供すること。
• 輸送問題の原始的（カンタロヴィチ）形式と双対的（カンタロヴィチ汎関数）形式の間の双対性を明確にすること。
• モンジュ＝アンペール方程式と変位凸性を介して、最適輸送とPDEの関係を確立すること。
• 出発測度および到達測度に対して最小限の仮定のもとで、最適輸送写像の正則性結果を提示すること。

提案手法

• コスト関数 $ c(x,y) = |x-y|^2/2 $ を用いてモンジュ問題を質量輸送問題として定式化し、連合測度 $ \gamma \in \Pi(\mu,\nu) $ を用いたカンタロヴィチの緩和問題に至らせる。
• 凸双対性を適用して、カンタロヴィチ汎関数 $ \psi $ を含む双対問題を導出する。ここで $ \psi(x) + \psi^c(y) \leq c(x,y) $ を満たし、$ \gamma $ の台上でほとんど everywhere で等号が成り立つ。
• Wasserstein 距離 $ W_p $ を $ L^p $-最適輸送コストとして定義し、変位補間を用いて確率測度の空間を測地的距離空間に変換する。
• 連続の方程式 $ \partial_t \mu_t + \nabla \cdot (v_t \mu_t) = 0 $ を用いて $ \mathcal{W}_p $ 内の曲線を特徴づけ、動的挙動と最適輸送を結びつける。
• 変数変換の公式を $ T = \nabla\phi $ の下で用い、モンジュ＝アンペール方程式 $ \det D^2\phi = u / v(\nabla\phi) $ を導出する。ここで $ \phi $ は凸関数である。
• 解の概念を定義する：ブレニエ（押し出し写像）、アレクサンドロフ（測度値）、可視化（比較）、および古典的（点ごとの $ C^2 $）解。正則性の伝播をペロンの方法およびブートストラップ法により確立する。

実験結果

リサーチクエスチョン

• RQ1 二つの確率測度の間で最適輸送写像が存在するための条件は何か？
• RQ2 カンタロヴィチ双対問題は、最適輸送計画および汎関数をどのように特徴づけられるか？
• RQ3 2次コスト関数の場合に、最適輸送とモンジュ＝アンペールPDEの関係は何か？
• RQ4 最適輸送写像は、出発測度および到達測度の密度関数からどのような正則性を引き継ぐか？
• RQ5 $ \mathcal{W}_p $ 空間における変位凸性および測地線は、確率測度の時間発展とどのように関係するか？

主な発見

• 出発測度 $ \mu $ および到達測度 $ \nu $ の密度関数 $ u $ と $ v $ が、凸領域 $ \Omega $ 上で $ C^{0,\alpha} $ であり、0および無限大から一様に離れていると仮定すると、モンジュ＝アンペール方程式の唯一のブレニエ解 $ \phi $ は $ C^{2,\alpha}(\Omega) \cap C^{1,\alpha}(\overline{\Omega}) $ に属する。
• したがって、最適輸送写像 $ T = \nabla\phi $ は $ C^{2,\alpha} $ のクラスに属し、モンジュ＝アンペール方程式が古典的意味で成立することが保証される。
• 解 $ \phi $ は、解の正則性のおかげで、アレクサンドロフおよび可視化の意味でも方程式を満たす。
• 正則性結果は、まずペロンの方法を用いて可視化解の存在を示し、その後、モンジュ＝アンペール方程式の既知の正則性理論を用いて $ C^{1,\alpha} $ および $ C^{2,\alpha} $ に段階的に向上させる。
• 関数 $ J^1(\mu) = \int f(u(x))\,dx $ は、$ r \mapsto r^d f(r^{-d}) $ が凸かつ非増加であれば、変位凸性を満たす。これにより、エントロピー型汎関数が最適輸送幾何と結びつく。
• 関数 $ J^2(\mu) = \int V(x)\,\mu(dx) $ および $ J^3(\mu) = \iint w(x-y)\,\mu(dx)\mu(dy) $ は、それぞれ $ V $ および $ w $ が凸であれば、変位凸性を満たす。