[論文レビュー] Complete Duality for Martingale Optimal Transport on the Line

Mathias Beiglböck, Marcel Nutz+1 more|arXiv (Cornell University)|Jul 2, 2015

Markov Chains and Monte Carlo Methods被引用数 2

ひとこと要約

本稿は、マルティングル・オプティマル・トランスポートの完全な双対性理論を実直線上に確立する。これは、双対問題の準確確率的定式化を導入することで達成され、双対ギャップが存在せず、一般のモーメンタルおよび可測報酬関数に対し双対最適化子の存在を保証する。これは古典的定式化では成立しない性質である。主な貢献は、双対最適化子を用いた最適輸送幾何を記述する一般化された周期的単調性原理の確立である。

ABSTRACT

We study the optimal transport between two probability measures on the real line, where the transport plans are laws of one-step martingales. A quasi-sure formulation of the dual problem is introduced and shown to yield a complete duality theory for general marginals and measurable reward (cost) functions: absence of a duality gap and existence of dual optimizers. Both properties are shown to fail in the classical formulation. As a consequence of the duality result, we obtain a general principle of cyclical monotonicity describing the geometry of optimal transports.

研究の動機と目的

• マルティングル・オプティマル・トランスポートの古典的定式化における双対ギャップの欠如および双対最適化子の存在の欠如を解消すること。
• 一般のモーメンタルおよび実直線上の可測報酬関数に対して効果的な双対性フレームワークを構築すること。
• 双対最適化子を用いた最適マルティングル輸送の一般化された周期的単調性原理を確立すること。
• 弱い積分可能性条件のもとで、古典的双対定式化が双対解の存在や双対ギャップの不在を保証しないことを示すこと。
• 反例を用いて、報酬関数に下界がない場合に双対ギャップが生じうることを示すこと。

提案手法

• マルティングル・オプティマル・トランスポートにおける双対問題の準確確率的定式化を導入し、点ごとの制約を、すべてのマルティングル測度のもとでのほとんど確実な条件に置き換える。
• 双対ドメイン Dcµ,ν(f) を、すべての P ∈ M(µ, ν) に対して P-ほとんど確実に (x, y) で ϕ(x) + ψ(y) + h(x)(y − x) ≥ f(x, y) を満たす可測関数 (ϕ, ψ, h) の集合として定義する。
• 成長を制御し、特に重たい尾を持つモーメンタルの場合に双対妥当性を保証するために、凹関数 Moderator χ(y) の概念を用いる。
• ルジンの定理および可測選択の議論を用いて、準確確率的制約から点ごとの不等式を導出し、双対最適性条件の導出を可能にする。
• 一階モーメントは有限だが二階モーメントが無限大である離散測度を用いた具体的な反例を構築し、古典的双対性の失敗を示す。
• 不可約な凸順序の構造を用いて、補助集合の性質を分析し、双対制約のタイトネスを強制する。

実験結果

リサーチクエスチョン

• RQ1 古典的定式化が失敗する状況において、実直線上のマルティングル・オプティマル・トランスポートに対して完全な双対性理論を確立できるか？
• RQ2 一般のモーメンタルおよび可測報酬関数のもとで、双対ギャップの不在および双対最適化子の存在が保証されるか？
• RQ3 最適マルティングル輸送の幾何的構造は何か？ そして、双対最適化子を用いて特徴付けられるか？
• RQ4 報酬関数に下界がない、または積分可能性の問題がある場合、どのような条件下で古典的双対定式化が失敗するか？
• RQ5 重たい尾を持つ分布の存在下で、点ごとの双対性の制限をどのように準確確率的定式化が克服するか？

主な発見

• 準確確率的双対定式化により、すべての可測報酬関数および凸順序にある一般のモーメンタルに対して、双対ギャップが存在せず、双対最適化子の存在が保証される。
• 古典的双対性は、プライマル問題が有限であっても、非可積分性のため D1µ,ν(f) が空集合となる例によって、双対最適化子の存在を保証しないことが示された。
• 報酬関数に下界がない場合、プライマルおよび双対問題がともに有限であっても双対ギャップが生じうる。例 8.6 では f が [−∞, 0] の値をとる場合にその例示がなされている。
• 最適マルティングル輸送の幾何は周期的単調性によって特徴づけられる：ある双対最適化子 (ϕ, ψ, h) に対して、P ∈ M(µ, ν) が最適であるための必要十分条件は、ϕ(x) + ψ(y) + h(x)(y − x) = f(x, y) を満たす集合に集中することである。
• 報酬関数 f(x, y) = (x − y)² の場合、プライマル値 Sµ,ν(f) は 1 で有界であるが、ϕ および ψ の非可積分性により古典的双対問題 D1µ,ν(f) は空集合となり、双対値が無限大になる。
• 不可約な凸順序の状況では、双対制約が ψ が少なくとも二次的に成長することを強制する。ν が無限大の二階モーメントを持つ場合、これは L¹(ν) 可積分性に反するため、古典的双対性は無効となる。