[論文レビュー] Five lectures on optimal transportation: Geometry, regularity and applications

Nestor Guillen, Robert J. McCann|arXiv (Cornell University)|Nov 12, 2010

Geometry and complex manifolds被引用数 5

ひとこと要約

本稿は、幾何学的・解析的・経済的応用に焦点を当てた、最適輸送理論の包括的サーベイを提示する。Monge-Ampère方程式を用いて最適マップの正則性の条件を確立し、最適輸送と特別ラグラジアン部分多様体を結びつける擬リーマン幾何的枠組みを導入する。主な結果として、輸送グラフの連続性、凸性、最大体積性の性質が得られる。

ABSTRACT

In this series of lectures we introduce the Monge-Kantorovich problem of optimally transporting one distribution of mass onto another, where optimality is measured against a cost function c(x,y). Connections to geometry, inequalities, and partial differential equations will be discussed, focusing in particular on recent developments in the regularity theory for Monge-Ampere type equations. An application to microeconomics will also be described, which amounts to finding the equilibrium price distribution for a monopolist marketing a multidimensional line of products to a population of anonymous agents whose preferences are known only statistically.

研究の動機と目的

• 幾何学的および解析的構造に重点を置き、最適輸送理論の統一的概観を提供すること。
• 特にMa-Trudinger-Wang（MTW）条件を通じて、最適輸送マップが連続または滑らかであるための条件を確立すること。
• コスト関数によって誘導される擬リーマン計量とシンプレクティック形式を介して、最適輸送を微分幾何学と結びつけること。
• 独占企業による多次元スクリーニングや非線形価格設定などのミクロ経済学的問題への最適輸送の応用。
• 最適輸送マップが凸性と双対性構造を持つ変分問題の解としてどのように生じるかを示すこと。

提案手法

• Kantorovichの双対性定式化を用いて、Monge問題を測度上の線形計画問題に再定式化する。
• 線形計画法の双対性およびゲーム理論的原則を適用して、最適輸送計画を特徴付ける。
• 最適マップの正則性を研究するために、Monge-Ampère方程式およびその退化楕円型形式を用いる。
• コスト関数 $ c $ から導かれる擬リーマン計量 $ h $ を用いて、$ M^+ \times M^- $ 上でクロス曲率条件を導入し、正則性を幾何学的に特徴付ける。
• コスト関数 $ c $ によって誘導されるシンプレクティック形式 $ \omega $ を用いて、$ c $-最適マップが $ \omega $-ラグラジアンかつ $ h $-空間的であることを示す。
• 連続性法および正規化技術を用いて、MTW型条件のもとで最適マップのホルダー連続性および正則性を証明する。

実験結果

リサーチクエスチョン

• RQ1 最適輸送マップが連続または滑らかであるための条件は何か？
• RQ2 コスト関数の曲率条件を用いて、最適マップの正則性をどのように幾何学的に特徴付けることができるか？
• RQ3 擬リーマン計量 $ h $ およびシンプレクティック形式 $ \omega $ は、最適輸送の幾何的構造において果たす役割は何か？
• RQ4 最適輸送は、スプリット幾何学における体積を最大化する特別ラグラジアン部分多様体とどのように関係するか？
• RQ5 ミクロエコノミクスにおける多次元スクリーニング問題は、適切な仮定の下で凸変分構造を持つ最適輸送問題に再定式化可能か？

主な発見

• Ma-Trudinger-Wang（MTW）条件は、最適輸送マップの連続性の必要十分な幾何的基準を提供する。
• 最適マップは、コスト関数から導かれる計量 $ h $ を用いて、空間 $ M^+ \times M^- $ 上の $ h $-空間的かつ $ \omega $-ラグラジアン部分多様体として特徴付けられる。
• 最適マップのグラフは、共形的スケーリングされた計量 $ h^{f^\pm}_c $ において最大体積を達成し、その幾何において平均曲率がゼロであることを示唆する。
• Loeperの最大原理は、コスト関数のクロス曲率を用いて、最適マップの連続性の必要十分条件を提供する。
• 適切な仮定の下で、多次元スクリーニング問題における最適輸送問題は、凹最大化問題に還元され、解の存在および一意性が保証される。
• コスト関数によって誘導される擬リーマン構造を通じて、最適輸送と特別ラグラジアン部分多様体の間の関係が確立され、幾何測度論との深い関連が明らかになる。