[論文レビュー] Extremal doubly stochastic measures and optimal transportation

Najma Ahmad, Hwa Kil Kim+1 more|arXiv (Cornell University)|Apr 21, 2010

Point processes and geometric inequalities参考文献 24被引用数 6

ひとこと要約

本稿は、重複しない定義域とネストされた値域を持つ交互なグラフとアンチグラフの系列である番号付き肢構造（numbered limb systems）を用いて、極値の二重確率測度の幾何的特徴付けを確立する。これにより、このような支持は極値性の必要条件であり、ほぼ十分条件であることが証明される。主な貢献は、この枠組みを応用して球面多様体上での最適輸送の一意性を解明し、コスト関数の構造とモース理論を介して極値測度と最適輸送理論を結びつけることにある。

ABSTRACT

This article connects the theory of extremal doubly stochastic measures to the geometry and topology of optimal transportation. We begin by reviewing an old question (# 111) of Birkhoff in probability and statistics [4], which is to give a necessary and sufficient condition on the support of a joint probability to guarantee extremality among all measures which share its marginals. Following work of Douglas, Lindenstrauss, and Beneš and Štěpán, Hestir and Williams [15] found a necessary condition which is nearly sufficient; we relax their subtle measurability hypotheses separating necessity from sufficiency slightly, yet demonstrate by example that to be sufficient certainly requires some measurability. Their condition amounts to the vanishing of γ outside a countable alternating sequence of graphs and antigraphs in which no two graphs (or two antigraphs) have domains that overlap, and where the domain of each graph / antigraph in the sequence contains the range of the succeeding antigraph (respectively, graph). Such sequences are called numbered limb systems. Surprisingly, this characterization can be used to resolve the uniqueness question for optimal transportation on manifolds with the topology of the sphere.

研究の動機と目的

• 無限次元設定における極値の二重確率測度を特徴付けるというバーキホフの長年の未解決問題を解決すること。
• 極値測度理論と最適輸送理論を結ぶために、極値性を保証する支持の幾何的条件を特定すること。
• 特に球面的位相を持つ多様体上での最適輸送計画の一意性が成立する条件を確立すること。
• ヘスティルとウィリアムズの先行研究における可測性条件を精緻化し、反例を用いてその必要性を示すこと。
• モース理論とコスト関数の構造が、極値的サポート系における肢の数を決定する役割をどのように果たすかを検討すること。

提案手法

• 重複しない定義域とネストされた値域を持つ交互なグラフとアンチグラフの系列である番号付き肢構造（numbered limb systems）を用いて、極値の二重確率測度の支持を特徴付ける。
• クリーン＝ミルマンの定理を用いて、極値測度が二重確率測度の弱-*位相における稠密な部分集合を形成することを主張する。
• 双対性と劣微分解析を用いて極値性の必要条件を導出し、特にコスト関数とポテンシャル関数における不等式の飽和を介して得る。
• サブツイスト条件を用いて最適輸送計画の支持を分析し、コスト関数の勾配構造において最大値と最小値がそれぞれ高々1つずつに制限されることを示す。
• 周期性とトーラス幾何を用いて、支持を複数の番号付き肢構造として表現し、極値的サポートの位相的分類を可能にする。
• 極値性は、グラフとアンチグラフの特定の幾何的配置を要請し、定義域・値域のネスト構造により凸分解が不可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 無限次元設定において、二重確率測度の支持にどのような幾何的条件が、その極値性を保証するか？
• RQ2 コスト関数が滑らかで、底面多様体が非自明な位相を持つ場合、最適輸送計画の極値性はどのように特徴付けられるか？
• RQ3 先行研究における可測性仮定が極値性の十分性に与える影響はどの程度で、その仮定を緩和しても特徴付けが失われないか？
• RQ4 なぜサブツイスト条件は、トーラスのような複雑なモース構造を持つ多様体上で成立しないのか？その結果、一意性にどのような影響を与えるか？
• RQ5 番号付き肢構造における肢の数は、球面やトーラスのような多様体の位相的複雑性と関連づけられるか？

主な発見

• 極値の二重確率測度は、重複しない定義域とネストされた値域を持つ交互なグラフとアンチグラフの系列である番号付き肢構造に支持が含まれる場合に特徴付けられる。
• ヘスティルとウィリアムズの極値性条件はほぼ十分であるが、厳密な可測性条件が必要である。反例により、それらを緩和すると十分性が崩れることが示された。
• 球面上では、サブツイスト条件を満たすコスト関数のもとで、極値性条件は最適輸送計画の一意性を示唆する。
• 円形湖の例では、最適輸送計画の支持は2つの写像上に存在する：1つのグラフと1つのアンチグラフであり、2肢構成の番号付き肢構造を形成する。
• トーラス上での周期性により、同一の支持が複数の異なる番号付き肢構造として表現可能であり、位相的柔軟性を示している。
• トーラス上での滑らかなコスト関数は、滑らかな密度関数に対して、すべてのケースで最適輸送の一意性を保証するものとして知られていないが、一般性の期待とは対照的である。