[論文レビュー] Structure of martingale transports in finite dimensions

Jan Obłój, Pietro Siorpaes|arXiv (Cornell University)|Feb 27, 2017

Geometric Analysis and Curvature Flows参考文献 14被引用数 17

ひとこと要約

本稿は、R^N を相対的開凸集合 {C_x} に標準的凸分割することを確立し、任意のマルティングール輸送が、μ-ほとんど everywhere で x から C_x の閉包へ質量を集約することを示している。この構成は、ビーグルボックとユリルの1次元結果を有限次元に一般化し、マルティングール極集合の幾何的特徴付けを提供するとともに、高次元におけるマルティングール最適輸送の最小で標準的な分解を提示する。

ABSTRACT

We study the structure of martingale transports in finite dimensions. We consider the family $\mathcal{M}(μ,ν) $ of martingale measures on $\mathbb{R}^N imes \mathbb{R}^N$ with given marginals $μ,ν$, and construct a family of relatively open convex sets $\{C_x:x\in \mathbb{R}^N \}$, which forms a partition of $\mathbb{R}^N$, and such that any martingale transport in $\mathcal{M}(μ,ν) $ sends mass from $x$ to within $\overline{C_x}$, $μ(dx)$--a.e. Our results extend the analogous one-dimensional results of M. Beiglböck and N. Juillet (2016) and M. Beiglböck, M. Nutz, and N. Touzi (2015). We conjecture that the decomposition is canonical and minimal in the sense that it allows to characterise the martingale polar sets, i.e. the sets which have zero mass under all measures in $\mathcal{M}(μ,ν)$, and offers the martingale analogue of the characterisation of transport polar sets proved in M. Beiglböck, M. Goldstern, G. Maresch, and W. Schachermayer (2009).

研究の動機と目的

• 1次元におけるマルティングール最適輸送の幾何的特徴付けを任意の有限次元に拡張すること。
• 任意のマルティングールカップリング θ に対して、μ-ほとんど everywhere で x から C_x の閉包へ質量を送る、R^N の標準的で最小の凸分割 {C_x} を構成すること。
• すべてのマルティングールカップリングで測度がゼロとなる集合（極集合）を、μ-零集合および ν-零集合の直積と全空間の和集合に含む集合として幾何的に特徴付けること。
• 最適輸送で発展した双対性および極集合理論の有限次元版を、マルティングール制約に適応させること。
• すべてのマルティングールカップリング下での零集合を記述するために必要な最小構造を特定することで、マルティングール最適輸送における双対性理論の基盤を築くこと。

提案手法

• マルティングールカップリング θ において L1(θ) 収束する凸関数列 (ϕ^n) の超微分レベル集合の面の相対的内部として、凸集合族 {C_x} を定義する。
• バーゲンター性質を用いる：任意のマルティングールカップリング θ に対して、分解 γ(x,·) の重心は x に等しく、定理4.6を適用して γ(x,·) が x の相対的内部を含む面 F_x に集中することを示す。
• 集合 {y : Δ_xϕ^n(y) → 0} の相対的内部が面 F_x に等しく、その閉包が A_x((ϕ^n)_n) の閉包に等しいことを示し、これにより C_x を同定する。
• 面の相対的内部が異なる支持関数に対して不変であるという事実を活用し、分解が正しく定義され標準的であることを保証する。
• ポテンシャル関数 u_{ν−μ} の収束および凸関数とその部分微分の双対性を用いて、分割を生成するレベル集合を定義する。
• 部分微分のボレル可測セレクタの存在および面の相対的内部作用に対する閉包性といった凸解析の結果を適用し、分解の可測性および一貫性を保証する。

実験結果

リサーチクエスチョン

• RQ1 ビーグルボックとユリルの1次元マルティングール輸送分解は、有限次元マルティングール最適輸送に一般化可能か？
• RQ2 μ と ν 間のすべてのマルティングールカップリングのサポートを特徴付ける、R^N の標準的で最小の凸分割 {C_x} は何か？
• RQ3 高次元において、すべてのマルティングールカップリングで測度がゼロとなる集合（極集合）は、どのように幾何的に特徴付けられるか？
• RQ4 分解 {C_x} は、任意のマルティングールカップリングにおける各 x の像を含む最小の集合を特定する意味で、最小かつ標準的か？
• RQ5 凸関数の部分微分構造と有限次元におけるマルティングール輸送計画の幾何学的性質の間には、どのような関係があるか？

主な発見

• 本稿は、R^N を分割する相対的開凸集合族 {C_x} を構成し、任意のマルティングールカップリング θ ∈ M(μ,ν) が、μ-ほとんど everywhere で x から C_x の閉包へ質量を送ることを示している。
• 分解 {C_x} は、μ-零集合 N_μ および ν-零集合 N_ν に対して (N_μ × R^N) ∪ (R^N × N_ν) に含まれる集合が極集合であると特徴付けられる意味で、標準的かつ最小的である。
• 点 x を含む集合 {y : Δ_xϕ^n(y) → 0} の面の相対的内部は、支持関数 b^n の選択に依存せず不変であるため、分解が正しく定義され標準的であることが保証される。
• 各 C_x の閉包は、集合 {y : Δ_xϕ^n(y) → 0} の面の相対的内部の閉包に等しく、これは A_x((ϕ^n)_n) の閉包に等しいことが示された。これにより C_x が同定される。
• 分解 γ(x,·) の重心は、集合 {y : Δ_xϕ^n(y) → 0} の面 F_x の相対的内部に位置し、γ(x,·) は F_x に集中する。これは、x からの質量が C_x の閉包までに制限されることを示唆する。
• 本稿の構成は、ビーグルボックとユリルの1次元結果を、ポテンシャル関数および部分微分レベル集合の使用を有限次元に拡張することで一般化し、次元 ≥2 においてより豊かな幾何的構造を明らかにしている。