[論文レビュー] Multi-marginal optimal transport on Riemannian manifolds

Young‐Heon Kim, Brendan Pass|arXiv (Cornell University)|Mar 25, 2013

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

ひとこと要約

本稿は、コンpactなリーマン多様体上での多重量最適輸送問題に対して、共通の重心への距離の二乗和の下界として定義されたコスト関数を用いて、Monge解の存在および一意性を確立する。最初の周辺分布に正則性条件を課すと、最適輸送計画は可測写像のグラフに集中し、McCannの極座標分解定理を複数の周辺分布へ一般化するとともに、GangboとSwiechの結果を曲がった空間へ拡張する。

ABSTRACT

We study a multi-marginal optimal transportation problem on a Riemannian manifold, with cost function given by the average distance squared from multiple points to their barycenter. Under a standard regularity condition on the first marginal, we prove that the optimal measure is unique and concentrated on the graph of a function over the first variable, thus inducing a Monge solution. This result generalizes McCann's polar factorization theorem on manifolds from 2 to several marginals, in the same sense that a well known result of Gangbo and Swiech generalizes Brenier's polar factorization theorem on $\mathbb{R}^n$.

研究の動機と目的

• リーマン多様体上での2重量からm ≥ 3重量へのMcCannの極座標分解定理の拡張。
• 多重量最適輸送問題において、最適輸送計画が関数のグラフに集中する（すなわちMonge解を有する）ための条件の確立。
• ユークリッド空間上でのGangboとSwiechの結果を、幾何的に自然なコスト関数を用いてコンパクトなリーマン多様体へ一般化すること。
• 周辺分布の重心（フレシェ／カルケル平均）に基づくコスト関数における最適計画の構造の分析。
• 二乗コストに加え、距離の厳密に凸で増加的な関数への一般化。

提案手法

• コンパクトなリーマン多様体上での多重量最適輸送問題を、Monge形式およびKantorovich形式の両方で定式化する。
• コスト関数を、M 内の各点 y における各周辺点から y までの距離の二乗和の下界として定義し、重心コストを表す。
• 指数写像および凸関数の超微分を用いた、多様体上での最適輸送の技法を適用する。
• 指数写像による摂動論法を用いて、コスト関数の最小化子がカット集合に属しないことを示し、輸送写像の正則性を保証する。
• 双対性および c-変換を用いて最適計画の構造を分析し、それがグラフに集中することを証明する。
• テイラー展開および凸性の議論を用いて、f_i(d(x_i,y)) の形の非二乗コスト関数へ一般化し、最小化子の正則性を維持する。

実験結果

リサーチクエスチョン

• RQ1 リーマン多様体上での多重量最適輸送問題が、最初の周辺分布から他の分布への決定的写像（Monge解）を有するための条件は何か？
• RQ2 コンパクトなリーマン多様体上、共通の重心への距離の二乗和がコスト関数である場合、最適輸送計画は一意的か？
• RQ3 特にカット集合を含む多様体の幾何的構造が、最適輸送写像の正則性に与える影響は何か？
• RQ4 二乗コストに対する結果を、距離のより一般的な凸関数へ拡張できるか？
• RQ5 多様体の幾何構造に内在的に関連する重心コスト関数は、ユークリッド空間におけるMonge解および一意性の性質を保つのか？

主な発見

• 最適輸送計画は、最初の周辺分布から他の分布への可測写像のグラフに一意に集中し、Monge解が確立される。
• 最初の周辺測度が局所座標に関して絶対連続であるという標準的な正則性条件のもとで、最適計画の一意性が成立する。
• 重心コスト関数の最小化子は、いかなる周辺点のカット集合にも属しないため、輸送写像の滑らかさが保証される。
• 本結果は、McCannの極座標分解定理を2重量から m ≥ 3 重量のリーマン多様体へ一般化する。
• 二乗コストを距離の厳密に凸で増加的な関数に置き換えても、Monge解および一意性の性質が保たれる。
• 証明技法は、テイラー展開および凸性の議論により非二乗コストへ拡張可能であり、最適計画の構造的性質が維持される。