[論文レビュー] A General Duality Theorem for the Monge--Kantorovich Transport Problem

Mathias Beiglboeck, Christian Léonard+1 more|arXiv (Cornell University)|Nov 23, 2009

Geometry and complex manifolds参考文献 4被引用数 11

ひとこと要約

この論文は、ポーランド空間におけるボレル確率測度とボレルコスト関数（[0, ∞] に値をとる）を用いたモンジュ＝カンタロヴィチ輸送問題について、一般の双対性定理を確立する。プライマル問題を質量 1−ε の部分的輸送を許容するように緩和した場合、そのような部分的計画における最小コストが双対値に収束することを示し、双対ギャップが存在しないことを証明する。この結果は、古典的な下半連続性または有界性の仮定の下での双対性を拡張するものである。

ABSTRACT

The duality theory of the Monge--Kantorovich transport problem is analyzed in a general setting. The spaces $X, Y$ are assumed to be polish and equipped with Borel probability measures $μ$ and $ν$. The transport cost function $c:X imes Y o [0,\infty]$ is assumed to be Borel. Our main result states that in this setting there is no duality gap, provided the optimal transport problem is formulated in a suitably relaxed way. The relaxed transport problem is defined as the limiting cost of the partial transport of masses $1-\varepsilon$ from $(X,μ)$ to $(Y, ν)$, as $\varepsilon >0$ tends to zero. The classical duality theorems of H.\ Kellerer, where $c$ is lower semi-continuous or uniformly bounded, quickly follow from these general results.

研究の動機と目的

• 古典的な結果が成立しない一般の条件下で、モンジュ＝カンタロヴィチ輸送問題における双対ギャップ問題を解決すること。
• コスト関数が無限大をとる場合を含めても有効な、ボレル可測コスト関数に対して成立する一般双対性定理を確立すること。
• 全質量の輸送ではなく、質量 1−ε の輸送を許容するようにプライマル問題を緩和した場合に双対性が成立することを示すこと。
• ケラーラーの結果を含む既存の双対性結果を統一的かつ一般化する枠組みを構築すること。
• 例えばウィENER空間やカミル・マーチン空間における特異的または無限大のコスト関数を含む設定において、双対性の基礎を提供すること。

提案手法

• プライマル問題を、X と Y がポーランド空間上に定義されたボレル確率測度 μ と ν に対して、π ∈ Π(μ,ν) における ∫c(x,y)dπ(x,y) の最小化問題として定式化する。
• 双対問題を、φ(x) + ψ(y) ≤ c(x,y) が点ごとに成り立つようなペア (φ,ψ) ∈ Ψ(μ,ν) に対する ∫φdμ + ∫ψdν の最大化問題として定義する。
• 質量 1−ε の輸送を許容するようにプライマル問題を緩和し、π ∈ Π^ε(μ,ν) が周辺制約 p_X(π) ≤ μ および p_Y(π) ≤ ν を満たすように定義する。
• P^ε を Π^ε(μ,ν) 上での最小コストとし、その極限 inf_{ε↓0} P^ε を緩和されたプライマル値として考える。
• チョケットの容量定理を用いてボレル集合を正の測度のコンパクト集合に還元し、正の測度を持つコンパクト集合に質量を集中させる輸送計画の構成を可能にする。
• すべての π ∈ Π(μ,ν) に対して π(L)=0 を満たすボレル集合 L ⊆ X×Y が存在するならば、m(L)=0 であることが示され、L が μ(M)=ν(N)=0 を満たす M×Y ∪ X×N の形の零集合に含まれることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 コスト関数の下半連続性や有界性を仮定しない一般の条件下で、モンジュ＝カンタロヴィチ双対性はどのような条件下で成立するか？
• RQ2 例えば、対角線上でコスト関数が 1、それ以外で ∞ である例のように、古典的双対ギャップが生じる場合に、双対性は回復可能か？
• RQ3 一般設定において双対ギャップを解消する自然なプライマル問題の緩和は存在するか？
• RQ4 例えばウィENER空間におけるカミル・マーチンノルムを用いた場合のように、大きな集合で無限大をとるコスト関数に対しても双対性結果を拡張可能か？
• RQ5 ボレルコスト関数の下で双対性を保証するための、輸送計画の台の構造はどのような役割を果たすか？

主な発見

• 質量 1−ε の部分的輸送を許容するように緩和されたプライマル問題は、双対問題と双対ギャップを有さない。
• 任意のボレルコスト関数 c: X×Y → [0,∞] に対して、プライマル値 P と双対値 D は、プライマル問題が部分的輸送を許容するように緩和された場合に P = D を満たす。
• 古典的定式化では観察される双対ギャップ（例：c(x,y) = 1 を対角線上で、それ以外で ∞ とする例）は、緩和定式化の下では消失する。
• ボレル集合を正の測度のコンパクト集合に還元するチョケットの容量定理に基づくコンパクトネスの議論が、証明の根幹をなす。
• すべての π ∈ Π(μ,ν) に対して π(L)=0 を満たすボレル集合 L ⊆ X×Y が存在するならば、L のルベーグ測度は 0 である。これは、L が μ(M)=ν(N)=0 を満たす M×Y ∪ X×N の形の零集合に含まれることを意味する。
• この結果はケラーラーの古典的双対性定理を一般化し、c が下半連続であるか、可積分関数によって有界である場合にその結果が特別な場合として回復されることを示す。