[論文レビュー] Continuity, curvature, and the general covariance of optimal transportation

Young‐Heon Kim, Robert J. McCann|ArXiv.org|Dec 19, 2007

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

ひとこと要約

本稿は、コスト関数によって誘導される擬リーマン計量における非負の断面曲率として解釈することで、最適輸送の滑らかさのためのMa-Trudinger-Wang（MTW）条件の幾何的起源を確立する。リーマン多様体、特に球面を含むコンパクトなリーマン多様体上での最適マップのホルダー連続性を、継続的メソッドやDelano€ü, Loeper、またはMa-Trudinger-Wangの先行結果に依存せずに、直接的かつ自己完結的な証明により示す。さらに、部分写像とテンソル積を用いて、一般の多様体およびコスト関数への理論の拡張も行う。

ABSTRACT

Let M and \bar M be n-dimensional manifolds equipped with suitable Borel probability measures ρand \barρ. Ma, Trudinger & Wang gave sufficient conditions on a transportation cost c \in C^4(M imes \bar M) to guarantee smoothness of the optimal map pushing ρforward to \barρ; the necessity of these conditions was deduced by Loeper. The present manuscript shows the form of these conditions to be largely dictated by the covariance of the question; it expresses them via non-negativity of the sectional curvature of certain null-planes in a novel but natural pseudo-Riemannian geometry which the cost c induces on the product space M imes \bar M. Hölder continuity of optimal maps was established for rougher mass distributions by Loeper, still relying on a key result of Trudinger & Wang which required certain structure on the domains and the cost. We go on to develop this theory for mass distributions on differentiable manifolds -- recovering Loeper's Riemannian examples such as the round sphere as particular cases -- give a direct proof of the key result mentioned above, and revise Loeper's Hölder continuity argument to make it logically independent of all earlier works, while extending it to less restricted geometries and cost functions even for subdomains M and \bar M of R^n. We also give new examples of geometries satisfying the hypotheses -- obtained using submersions and tensor products -- and some connections to spacelike Lagrangian submanifolds in symplectic geometry.

研究の動機と目的

• 最適輸送の正則性のためのMa-Trudinger-Wang条件の幾何的意味を、積多様体上の擬リーマン構造における非負の断面曲率として解釈することにより明確化すること。
• コンパクトなリーマン多様体（球面を含む）上での最適マップのホルダー連続性を、継続的メソッドやDelano€ü, Loeper、またはMa-Trudinger-Wangの先行結果に依存せずに、論理的に独立した直接的証明により示すこと。
• ユークリッド領域から一般の微分可能多様体への最適輸送理論の一般化を、内在的な幾何学的道具を用いて行うこと。
• 部分写像と多様体のテンソル積を用いて、MTW条件を満たす新しいコスト関数と幾何構造の例を構成すること。
• 最適輸送フレームワークとシンプレクティック幾何学における時空的ラグラジアン部分多様体との関係を明らかにし、より深い幾何的構造を解明すること。

提案手法

• コスト関数 $c$ によって誘導される、積空間 $M \times \bar{M}$ 上の新しい擬リーマン計量を導入し、MTW条件が特定の零空間の非負な断面曲率と同値であることを示す。
• $c$-指数写像と $c$-凸ポテンシャルを用いて、最適マップを $F = c\text{-Exp} \circ Du$ として構成し、MTW条件のもとで連続性を保証する。
• 測地球内の体積比較議論を用いて局所的ホルダー推定を導出し、コンパクト性を活用して結果を大域化する。
• 領域 $N = B_r(z) \times B_R(\pm z)$ が垂直に凸で $2$-一様であることを示し、比較定理の適用を可能にする。
• 継続的メソッドへの依存を排除し、MTW条件と $c$-凸性からの直接的推定を用いる。特に $u^{c^{*}c} = u$ とポテンシャルの $C^1$ 連続性を活用する。
• 部分写像と多様体のテンソル積を用いて、標準的なユークリッドまたはリーマンの場合を越えた、新たなMTWを満たす幾何構造を構成する。

実験結果

リサーチクエスチョン

• RQ1 最適輸送の正則性のためのMa-Trudinger-Wang条件の背後にある幾何的構造は何か？
• RQ2 最適マップのホルダー連続性は、継続的メソッドや既存の結果（Delano€ü, Loeper, Ma-Trudinger-Wang）に依存せずに、リーマン多様体上で証明可能か？
• RQ3 最適輸送フレームワークは、ユークリッド領域から一般の微分可能多様体へどのように一般化可能か？
• RQ4 MTW条件を満たす新たなコスト関数と幾何構造のクラスは何か？そして、それらはどのように体系的に構成できるか？
• RQ5 最適輸送とシンプレクティック幾何学における時空的ラグラジアン部分多様体との関係は何か？

主な発見

• Ma-Trudinger-Wang条件は、$M \times \bar{M}$ 上でコスト関数によって誘導される擬リーマン計量における特定の零空間の非負な断面曲率と幾何的に同値である。
• MTW条件と $\bar{\rho} \geq m > 0$ の仮定の下で、球面 $\mathbf{S}^n$ 上の最適マップ $F$ は連続的であり、$F = c\text{-Exp} \circ Du$（$C^1$ ポテンシャル $u$）として表される。
• コスト関数 $c(x,\bar{x}) = \mathop{\rm dist}^2(x,\bar{x})/2$ または $c(x,\bar{x}) = -\log|x - \bar{x}|$ を持つ球面では、$\rho$ が $L^p$ 積分可能で $p > n$ のとき、最適マップはそれぞれ $C^{1/5}(\mathbf{S}^n, \mathbf{S}^n)$ または $C^{(1 - n/p)/(4n - 1 - n/p)}(\mathbf{S}^n, \mathbf{S}^n)$ に属する。
• ホルダー連続性の証明は自己完結的であり、継続的メソッドやDelano€ü, Loeper、またはMa-Trudinger-Wangの先行結果に依存しない。
• 部分写像と多様体のテンソル積を用いて、新たなMTWを満たす幾何構造が構成され、許容可能なコスト関数のクラスが標準的なユークリッドまたはリーマンの場合を超えて拡張された。
• フレームワークにより、最適輸送とシンプレクティック幾何学における時空的ラグラジアン部分多様体との間の関係が明らかになり、より深い幾何的双対性が示唆された。