[論文レビュー] Local structure of multi-dimensional martingale optimal transport

Hadrien De March|arXiv (Cornell University)|May 24, 2018

Markov Chains and Monte Carlo Methods参考文献 15被引用数 10

ひとこと要約

本稿は、多変数空間における最適マルティングルール輸送計画の局所微分的構造を確立し、一般のリプシッツ連続コスト関数に対して、最適カップリングがコスト関数の部分勾配とアフィン関数の交差上に支持されていることを示している。Ghoussoub, Kim & Limが提起した、最適計画が常に$d+1$点に支持されているという予想は、非原子的標的に対して反例を構成することで否定された。また、一般の滑らかなコスト関数に対しては、最適支持が有限であり、$d$ が偶数のときには$d+2$点に達することが証明された。

ABSTRACT

This paper analyzes the support of the conditional distribution of optimal martingale transport plans in higher dimension. In the context of a distance coupling in dimension larger than 2, previous results established by Ghoussoub, Kim & Lim show that this conditional transport is concentrated on its own Choquet boundary. Moreover, when the target measure is atomic, they prove that the support is concentrated on d+1 points, and conjecture that this result is valid for arbitrary target measure. We provide a structure result of the support of the conditional optimal transport for general Lipschitz couplings. Using tools from algebraic geometry, we provide sufficient conditions for finiteness of this conditional support, together with (optimal) lower bounds on the maximal cardinality for a given coupling function. More results are obtained for specific examples of coupling functions based on distance functions. In particular, we show that the above conjecture of Ghoussoub, Kim & Lim is not valid beyond the context of atomic target distributions.

研究の動機と目的

• 一般のリプシッツ連続コスト関数に対して、$\mathbb{R}^d$ における最適マルティングルール輸送計画の支持の局所的微分的構造を同定すること。
• Ghoussoub, Kim & Limが提起した予想、すなわち高次元における距離コストに対して最適カップリングが常に$d+1$点に支持されているという仮説の妥当性を検証すること。
• 代数幾何学的ツールを用いて、条件付き支持の有限性の十分条件を確立すること。
• 非原子的標的測度に対して、予想が成立しないことを示す反例を構成すること。
• 任意の有限点集合が勾配-アフィン交差から得られる場合、その点集合が何らかの周辺分布に対して最適化子であることを示す逆構造定理を確立すること。

提案手法

• 最適カーネルの支持を、部分勾配$c_x(x_0, \cdot)$とアフィン関数$A \in \mathrm{Aff}_d$の交差を用いて、マルティングルール最適輸送における条件付き分布の支持を分析する。
• 代数幾何学的手法を用いて、最適カーネルの支持の有限性の十分条件を導出する。
• 逆構造定理を導入：$\{c_x(x_0, Y) = A(Y)\}$で定義される任意の点集合に対して、その点集合が最適マルティングルールカップリングの支持となるような周辺分布$\mu, \nu$が存在する。
• 関数$G(X) = \left(\sum_{i=1}^{d+1} \frac{\lambda_i}{X - a_i}\right)^{-1}$を用いて重心表現を特徴付け、凸包を分析する。
• 数値ソルバーを用いて、$c(X,Y) = |X-Y|^p$に対して$\{c_x(0,Y) = A(Y)\}$を満たす点のランダム配置を生成し、$p \approx 1.9$および$p \approx 2.1$において理論的結果を検証する。
• 非退化性の仮定のもとで、$\log(\lambda)$空間における曲線の交差を、$S_0$の点と関連付けるために定理2.20を適用する。

実験結果

リサーチクエスチョン

• RQ1 Ghoussoub, Kim & Limが提起した予想、すなわち距離コストに対して最適マルティングルール輸送計画が$\mathbb{R}^d$で常に$d+1$点に支持されているという仮説は、原子的でない標的測度に対しても成立するか？
• RQ2 与えられたコスト関数に対して、$\mathbb{R}^d$における最適マルティングルールカップリングの支持の最大可能な濃度は何か？
• RQ3 コスト関数の部分勾配とアフィン関数の交差を用いた局所的構造によって、最適カップリングの構造を完全に特徴付けられるか？
• RQ4 コスト関数にどのような条件下で、最適カーネルの支持が有限に保たれるか？
• RQ5 コスト関数の部分勾配$c_x(x_0, \cdot)$とアフィン関数の交差から得られる任意の有限点集合が、何らかの周辺分布に対して最適カップリングの支持として実現可能か？

主な発見

• Ghoussoub, Kim & Limの予想、すなわち距離コストに対して最適カップリングが常に$d+1$点に支持されているという仮説は、非原子的標的測度に対して反例を構成することで一般には誤りであることが示された。
• 一般の滑らかなコスト関数に対しては、最適カップリングは有限個のグラフ上に支持されており、$d$ が偶数のときには最大濃度が$d+2$以上であることが保証されている。
• 最適カーネルの支持は、$c_x(x_0, \cdot)$のグラフとアフィン関数$A \in \mathrm{Aff}_d$の交差上に含まれる。これはチョケット境界よりもはるかに鋭い特徴付けを提供する。
• 逆構造定理が証明された：任意の有限点集合$\{y_1, \dots, y_k\}$が$c_x(x_0, y_i) = A(y_i)$で定義される場合、その点集合が最適マルティングルールカップリングの支持となるような周辺分布$\mu, \nu$が存在する。
• 数値実験により、$c(X,Y) = |X-Y|^p$に対して、$p \leq 1$では支持サイズが$2d$、$p > 1$では$2d+1$であることが確認され、非退化なランダムサンプリングに対しても安定した構成が得られた。
• 本稿では、$p|y_0|^{p-2}$が特性多項式$\chi$の単一の根である場合、$y_0$が残りの点の凸包上にあるため、$S_0$が自らのチョケット境界に集中していないことが示された。