[論文レビュー] An extended footnote on finitely minimal martingale measures

Claus Griessler|arXiv (Cornell University)|Jun 9, 2016

Nonlinear Partial Differential Equations参考文献 21被引用数 5

ひとこと要約

本稿は、コスト関数が可積分関数の和によって上から有界である場合に、マルティングル・トランスポート問題における最適性の十分条件を確立する。主な貢献は、この一般化された十分条件を用いて、左単調マルティングル・トランスポート計画の一意性を明確に示した点であり、従来のより強い連続性および有界性の仮定を必要としていなかった先行研究を拡張する。

ABSTRACT

This note contains a short discussion on the sufficiency of finite optimality in martingale transport. It is shown that finitely minimal martingale measures are solutions of the martingale transport problem when the cost function is upper semi-continuous and bounded from above by a sum of integrable functions. As an application a transparent proof of the uniqueness of left-monotone martingale transport plans is given.

研究の動機と目的

• コスト関数の連続性および有界性に関する従来の仮定を超えて、マルティングル・トランスポート問題における最適性のより広範な十分条件を確立すること。
• 新しい十分条件を用いて、左単調マルティングル・トランスポート計画の一意性を明快かつ直接的に証明すること。
• c-有限最小化の概念を、可積分関数の和によって上から有界なコスト関数を含むより広いクラスにまで拡張すること。
• コスト関数に最小限の正則性条件しか課さない状況下で、c-有限最適性と最適性の関係を結びつけること。

提案手法

• コスト関数が周辺分布に関して可積分関数の和によって上から有界であるという仮定の下で、c-有限最適性が全最適性を意味する一般化された十分条件を導入する。
• 最適輸送における循環的単調性にインspiredされた分割型の議論を用い、φ(x) + ψ(y) ≤ c(x,y) かつ計画の台集合上で等号が成り立つような可測関数φとψを構成する。
• ξ(x,y) = φ(x) + ψ(y) + Δ(x)(y−x) という修正されたコスト関数型の関数を定義し、与えられたコストの有界性のもとで可積分であり、すべてのマルティングル・カップリングに対して不変であることを示す。
• すべてのマルティングル・カップリングにおいて∫ξ dπが不変であることを応用し、c-有限最適性が任意の競合計画との比較によって全最適性を示すことを証明する。
• 主定理を左単調カップリングπlcに適用し、すべてのs,tについてその台集合がc_{s,t}-有限最小であることを示し、したがってすべてのsuchコスト関数に対して最適であることを示す。
• 関数c_{s,t}(x,y) = 1_{(-∞,s]}(x)|y−t|が凸順序を生成することを用いて、πlcが唯一の左単調マルティングル・カップリングであると結論づける。

実験結果

リサーチクエスチョン

• RQ1 c-有限最適性がマルティングル・トランスポート問題において全最適性を意味する条件は何か？
• RQ2 複雑な近似議論に依存せずに、左単調マルティングル・トランスポート計画の一意性を確立できるか？
• RQ3 最適性の十分条件は、連続的かつ有界なコスト関数を超えてどの程度拡張可能か？
• RQ4 凸順序を生成するコスト関数のクラスに対して、左単調カップリングが唯一の最小化子であることを直接証明する方法はあるか？

主な発見

• コスト関数c(x,y)がc₁(x) + c₂(y)によって上から有界であり、c₁ ∈ L¹(μ)およびc₂ ∈ L¹(ν)である場合、任意のc-有限に最適なマルティングル・測度は最適である。
• 左単調マルティングル・トランスポート計画πlcは、M_mart(μ,ν)における唯一の左単調要素である。なぜなら、すべてのコスト関数c_{s,t}(x,y) = 1_{(-∞,s]}(x)|y−t|に対して唯一の最小化子であるからである。
• 一意性の証明は今や明快かつ直接的であり、新しい十分条件と関数c_{s,t}が凸順序を生成することを除いて、他の仮定を必要としない。
• μ|_{(-∞,s]}のシャドウを用いたπlcの構成により、すべてのs,t ∈ ℝについてその台集合がc_{s,t}-有限最小であることが保証される。
• 十分条件のおかげで、従来の唯一性を証明する際に用いられていた複雑な近似手続きを回避でき、議論を著しく簡素化することができる。
• 可測関数φとψを用いて構成された不変積分I(φ + ψ)により、任意の競合計画のコストがc-有限に最適な計画のコスト以下にはならないことが保証される。