[論文レビュー] On the Monge-Kantorovich problem with additional linear constraints

Danila Zaev|arXiv (Cornell University)|Apr 19, 2014

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

ひとこと要約

本稿は、関数部分空間 W における積分が 0 となる線形制約を輸送計画に追加することで、古典的な Monge-Kantorovich 最適輸送問題を拡張する。Kantorovich 型双対性を確立し、正則性条件下で解の存在を証明し、最適計画を特徴付ける新しい幾何的条件—(c,W)-単調性—を導入する。この枠組みにより、マルティングールと不変測度の問題が、一元的な理論的枠組みで統一される。

ABSTRACT

We consider the modified Monge-Kantorovich problem with additional restriction: admissible transport plans must vanish on some fixed functional subspace. Different choice of the subspace leads to different additional properties optimal plans need to satisfy. Our main results are quite general and include several important examples. In particular, they include Monge-Kantorovich problems in the classes of invariant measures and martingales. We formulate and prove a criterion for existence of a solution, a duality statement of the Kantorovich type, and a necessary geometric condition on a support of optimal measure, which is analogues to the usual $c$-monotonicity.

研究の動機と目的

• 関数部分空間 W を用いて輸送計画に線形制約を組み込むことにより、Monge-Kantorovich 問題を一般化すること。
• このような制約のもとで最適輸送計画の存在条件を確立すること。
• 制約付き問題における Kantorovich 型双対性を確立すること。
• 最適計画の台に作用する新しい幾何的条件—(c,W)-単調性—を導入し、その特徴づけを行うこと。
• マルティングールおよび不変測度輸送問題に関する既知の結果を、一つの枠組みで統一・一般化すること。

提案手法

• 固定された周辺測度 μk と、すべての ω ∈ W に対して ∫ω dπ = 0 を満たす輸送計画 π に対して、コスト ∫cdπ を最小化する制約付き Monge-Kantorovich 問題を定式化する。
• 可積分性および問題の位相的性質を取り扱うために、関数空間 CL(μ) と関連するセミノルム ‖·‖L を導入する。
• 測度論的道具と Riesz の表現定理を用いて、CL(μ) 上の線形汎関数を積空間 X 上のボレル確率測度に同定する。
• 連続性および密度に関する議論を保証するため、より強いセミノルム ‖·‖D を用い、CL(μ) 上に拡張された汎関数 P が正しい周辺測度を持つボレル確率測度 π に対応することを証明する。
• 双対性結果を導出する：inf ∫cdπ = sup{∑∫fk dμk : ∑fk + ω ≤ c, ω ∈ W} であり、主問題と双対問題を結びつける。
• (c,W)-単調性を、最適計画の台に作用する必要十分な幾何的条件として導入し、古典的な c-単調性を一般化する。

実験結果

リサーチクエスチョン

• RQ1 追加の線形制約が課された Monge-Kantorovich 問題に対して、解が存在するための条件は何か？
• RQ2 このような制約が存在する状況で、Kantorovich 型双対性をどのように定式化し、証明できるか？
• RQ3 関数部分空間 W を通じた制約が課された際、c-単調性を一般化する幾何的条件は何か？
• RQ4 マルティングールおよび不変測度輸送問題のような既知の問題は、この一般化された枠組みにどのように適合するか？
• RQ5 特にコンパクト群の不変性のような特定のケースに対して、この理論を応用して新たな結果を導けるか？

主な発見

• コスト関数が適切な正則性条件を満たす限り、制約付き Monge-Kantorovich 問題の解が存在するための必要十分条件は、許容可能な輸送計画の集合が空でないことである。
• Kantorovich 型双対性が成立する：主問題の下限は、ω ∈ W に対して ∑fk + ω ≤ c を満たす関数の上での双対問題の上限に等しい。
• 任意の最適計画の台は (c,W)-単調でなければならない。これは、制約部分空間 W を組み込んだ古典的な c-単調性の一般化である。
• マルティングール条件は、ω が L1 内の関数 f(x1,…,xk) − E[f(x1,…,xk+1)|x1,…,xk] の形をとる線形制約 ∫ω dπ = 0 の特別な場合として現れる。
• コンパクト群の不変性に対しては、理論により新たな結果が得られ、適切な条件下で不変な最適計画の存在が保証される。
• この枠組みは、従来の不変およびマルティングール輸送に関する結果を統一・拡張し、一般理論がこれらのケースを包含していることを示している。