[論文レビュー] On the Uniqueness of Kantorovich Potentials

Thomas Staudt, Shayan Hundrieser+1 more|arXiv (Cornell University)|Jan 20, 2022

Geometric Analysis and Curvature Flows被引用数 7

ひとこと要約

本稿は、源分布および標的分布の両方が非連結な台を持つ場合でも、Kantorovichポテンシャルの一意性を保証する弱い十分条件を確立している。これは長年にわたり「台が連結でなければならない」という仮定に挑戦するものである。誘導された正則性とc変換の非退化性および連続性を導入することで、著者らはポテンシャルがμ-ほとんど everywhere において定数の違いを除き一意に定まることを証明し、古典的結果を一般のコスト関数および測地的空間へと拡張している。

ABSTRACT

Kantorovich potentials denote the dual solutions of the renowned optimal transportation problem. Uniqueness of these solutions is relevant from both a theoretical and an algorithmic point of view, and has recently emerged as a necessary condition for asymptotic results in the context of statistical and entropic optimal transport. In this work, we challenge the common perception that uniqueness in continuous settings is reliant on the connectedness of the support of at least one of the involved measures, and we provide mild sufficient conditions for uniqueness even when both measures have disconnected support. Since our main finding builds upon the uniqueness of Kantorovich potentials on connected components, we revisit the corresponding arguments and provide generalizations of well-known results. To this end, we introduce the notion of induced regularity and employ it to extend the regularity theory of Kantorovich potentials advanced by Gangbo and McCann (1996) to more general cost functions in $\mathbb{R}^d$ and to geodesic spaces.

研究の動機と目的

• 本稿は、Kantorovichポテンシャルの一意性に必要な条件として、台が連結であることの長年の仮定に取り組んでいる。
• 連続な設定において台が非連結であっても、一意性が保証可能かどうかを検討している。
• 正則性および非退化性の条件を用いて、連結な台を超えた一意性結果を一般化することを目的としている。
• 線形計画法における有限空間の一意性結果と連続的最適輸送理論を橋渡しすることを目的としている。
• 統計的およびエントロピー的最適輸送における一意性を実用的かつ検証可能なかたちで保証する条件を提供することを目的としている。

提案手法

• 著者らは、標準的なコスト関数を超えたKantorovichポテンシャルの正則性理論を拡張するために「誘導された正則性」という概念を導入している。
• 任意のKantorovichポテンシャルのc変換が標的測度の台上で連続であれば、一意性が保証されることを証明している。
• 証明は、最適輸送計画を用いて源測度の連結成分を、標的台における共有される接触点を通じて結びつけることで成り立っている。
• 真の部分集合に異なる質量を割り当てるという定義に基づく測度の非退化性が、異なる成分におけるポテンシャルが一意に関連付けられることを保証するために用いられている。
• この手法により、GangboとMcCann（1996）の結果が測地的空間およびより一般のコスト関数へと一般化されている。
• 閉集合および台の連結性に関する位相的議論を用いて、連結成分が共通のポテンシャル差を持つ必要があることを示し、これにより一意性が強制されている。

実験結果

リサーチクエスチョン

• RQ1 源分布および標的分布の両方が非連結な台を持つ場合、連続的最適輸送においてKantorovichポテンシャルは一意に定まるか？
• RQ2 連結な台という条件を超えて、Kantorovichポテンシャルの一意性を保証する条件は何か？
• RQ3 線形計画法における有限空間の一意性結果は、どのように連続的設定へと拡張できるか？
• RQ4 c変換の連続性がポテンシャルの一意性をどのように強制するか？
• RQ5 測度の非退化性は、非連結な設定においても一意性の十分条件として機能できるか？

主な発見

• 本稿は、f^c が ν の台上で連続である場合、Kantorovichポテンシャルが定数の違いを除き μ-ほとんど everywhere で一意に定まることを証明している。
• 一意性は弱い条件下でも成立する：f^c が supp(ν) 上で連続であること、μ および ν が非退化であること、各連結成分ごとに一意であること。
• 著者らは、非退化性が非連結な成分間のポテンシャルを結びつけ、独立した定数シフトを防ぐことを示している。
• 可算な添字集合に対しては、零測度の成分や閉集合でない集合を扱うために、証明の修正が可能である。
• 理論は R^d 上の一般コスト関数および測地的空間に適用可能であり、GangboとMcCann（1996）の先行結果を一般化している。
• 統計的およびエントロピー的最適輸送において、一意性の検証が可能なか構造的枠組みを提供しており、漸近的結果のためにはこれが不可欠である。