[論文レビュー] Graphical and uniform consistency of estimated optimal transport plans

Johan Segers|arXiv (Cornell University)|Aug 4, 2022

Fuzzy Systems and Optimization被引用数 4

ひとこと要約

本稿では、最大循環的単調写像を積空間における閉集合として扱い、Fell位相における確率的集合理論を適用することにより、ユークリッド空間内の確率測度間の推定最適輸送計画の図的かつ一様な一致性を確立する。主な貢献は、弱いモーメント条件の下で一般の一貫性結果を提示し、輸送計画の局所的一様収束を保証することで、最適輸送に基づく多変量ランクおよび分位数の有効な推論を可能にする点である。

ABSTRACT

A general theory is provided delivering convergence of maximal cyclically monotone mappings containing the supports of coupling measures of sequences of pairs of possibly random probability measures on Euclidean space. The theory is based on the identification of such a mapping with a closed subset of a Cartesian product of Euclidean spaces and leveraging tools from random set theory. Weak convergence in the appropriate Fell space together with the maximal cyclical monotonicity then automatically yields local uniform convergence of the associated mappings. Viewing such mappings as optimal transport plans between probability measures with respect to the squared Euclidean distance as cost function yields consistency results for notions of multivariate ranks and quantiles based on optimal transport, notably the empirical center-outward distribution and quantile functions.

研究の動機と目的

• ユークリッド空間内の確率測度間の推定最適輸送計画の図的かつ一様な一貫性を確立すること。
• 特に非パラメトリック統計において、最適輸送から導かれる多変量ランクおよび分位数の一般的一貫性フレームワークを提供すること。
• 密度や台に関する制限のない最小限のモーメント仮定の下で、輸送写像に対するGlivenko–Cantelli型結果を拡張すること。
• 最大単調写像の理論とFell位相における集合収束を通じて、輸送計画の収束を統一すること。
• 高次元における分布フリー推論において中心外向き分布関数および分位数関数の理論的妥当性を支援すること。

提案手法

• 最適輸送計画を、積空間 $\mathbb{R}^d \times \mathbb{R}^d$ 内の閉集合として特定される最大循環的単調写像としてモデル化する。
• Fell位相におけるこれらの閉集合の収束を分析するため、確率的集合理論の道具を適用する。
• Fell位相における弱収束と最大循環的単調性を組み合わせることで、写像の局所的一様収束を導出する。
• Prohorovの定理と弱コンパクト性を用いて、結合測度およびその台の前コンパクト性を保証する。
• Knott–Smithの最適性基準とRockafellarの定理を用いて、最適輸送計画を凸関数の超微分として特徴付ける。
• AlbertiとAmbrosio (1999) の基準を適用し、稠密部分集合上で写像の等価性を証明することで、図的収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 推定最適輸送計画が真の輸送計画に対して図的かつ一様に収束する条件は何か？
• RQ2 密度や台に関する強い仮定がなくても、多変量ランクおよび分位数関数の一貫性はどのように確立できるか？
• RQ3 Fell位相は、多価輸送写像の収束分析をどのように支援するか？
• RQ4 弱いモーメント条件の下で、輸送計画の収束をどの程度保証できるか？
• RQ5 最大循環的単調性は、極限における輸送計画の一意性と安定性を保証するために果たす役割は何か？

主な発見

• すべての循環的単調結合 $\varPi_{\mathrm{cm}}(P,Q)$ の集合は弱閉であり、測度の弱収束に対して安定であることが保証される。
• $P_n \to P$ および $Q_n \to Q$ の弱収束の下で、最適輸送計画 $T_n = \partial\psi_n$ の列は、$P$ の台の内部に含まれる任意のコンパクト集合 $V$ において、$T = \partial\psi$ に図的に収束する。
• $T_n$ の任意の蓄積点は、$\operatorname{spt}\pi$ を含む最大単調写像であり、$V$ 上ではすべての極限が一致するため、図的収束が保証される。
• Fell位相収束と最大循環的単調性の組み合わせにより、輸送写像の局所的一様収束が保証される。
• 結果は最小限の仮定の下で成り立つ——極限測度には有限第二モーメントのみが要求され、密度や台の正則性は必要としない。
• この枠組みは、経験的中心外向き分位数およびランク関数の理論的妥当性を支持し、多変量統計における分布フリー推論を可能にする。