[論文レビュー] On the Duality Theory for the Monge-Kantorovich Transport Problem

Mathias Beiglböck, Christian Léonard+1 more|arXiv (Cornell University)|Oct 26, 2010

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

ひとこと要約

本稿では、有限次元設定におけるFenchelの摂動法を用いて、Monge-Kantorovich最適輸送問題の双対性理論を構築し、原始的定式化を緩和した場合に双対性が成立することを示し、双対最適化子に非自明な特異部を含む明示的例を構成した。主な貢献は、コスト関数が可測であっても標準的双対性が失敗する場合に、緩和によって双対ギャップを解消できることを証明したことである。

ABSTRACT

The paper is accompanying "A general Duality Theorem for the Monge-Kantorovich Transport Problem". We explain the methods used in this article in an elementary setting and present two examples complementing the results obtained therein.

研究の動機と目的

• Fenchelの摂動法を用いた、有限次元的で解説的最適輸送の双対性理論の導入。
• BLS09, 定理4.2が予測するように、双対最適化子に非自明な特異部が現れることを示す。
• 弱-star収束による最適化列の極限として特異部がどのように出現するかを示す明示的例を構築する。
• コスト関数が可測であるために標準的双対性が失敗する場合に、修正された双対問題が双対性を回復できるかどうかを分析する。
• 双対緩和が、一般に双対ギャップを完全に解消しないことの実証。

提案手法

• 離散的測度を備えた有限次元線形計画法としての最適輸送問題に、Fenchelの摂動法を適用する。
• 周辺制約および非負制約にラグランジュ乗数を導入し、輸送計画に関する下限をとることで双対関数を導出する。
• 弱-star収束を用いて、双対空間における最適化列の極限を分析し、双対最適化子に特異部が出現することを明らかにする。
• [0,1) 上に再帰的で区間ベースの変換を定義し、輸送写像をモデル化し、変動を制御する関数を定義する。
• 再帰的測度および変動の境界を満たす関数列 τn,j および φn,j を定義し、それらが極限写像 τn に収束することを保証する。
• 単位区間をdyadicに類似した区間 In,k に再帰的分割することで、輸送写像および双対関数の振る舞いを制御する。

実験結果

リサーチクエスチョン

• RQ1 コスト関数が可測であり標準的双対性が失敗する場合、Monge-Kantorovich問題における双対性は回復可能か？
• RQ2 双対最適化子における特異部の役割は何か？ また、それを明示的に構成できるか？
• RQ3 有限次元設定において、双対最適化子は最適化列の弱-star極限としてどのように出現するか？
• RQ4 緩和によって双対問題を修正することで、可測コスト関数の場合に一般に双対性が回復するか？
• RQ5 双対緩和が一般に双対ギャップを解消しないことを示す反例を構築できるか？

主な発見

• Monge-Kantorovich問題における双対最適化子は、例3.1で明示的に構成されたように、非自明な特異部を含み得る。
• 特異部は、最適化列 (φn ⊕ ψn) の弱-star極限として生じる。この列は L¹(X×Y,π)** に収束するが、L¹ には収束しない。
• 構成法により、再帰的区間分割と輸送写像の制御された変動を通じて、特異成分が蓄積されることを示した。
• 双対関数 D(φ,ψ,ϱ) はラグランジアンの下限の上限として表現され、緩和のもとで双対ギャップのない定式化が得られる。
• 修正された双対問題は一般に双対性を保証しない。第3節の例を変形することで、緩和のもとでも一般に双対性が成り立たない反例が得られる。
• 列 (mj) が十分に速く ∞ に収束するとき、極限写像 τn = limj→∞ τn,j はほとんど everywhere で存在し、反復的構成の収束を保証する。