[論文レビュー] Optimal maps and local-to-global property in negative dimensional spaces with Ricci curvature bounded from below

Mattia Magnabosco, Chiara Rigoni|arXiv (Cornell University)|May 25, 2021

Geometric Analysis and Curvature Flows被引用数 4

ひとこと要約

本稿では、負の次元 $N < 0$ を持つ $σ$-曲率次元条件 $σ^*(K,N)$ を満たす測度付き距離空間に対して、最適輸送写像の存在と一意性を確立し、局所から大域への性質を証明する。これらの結果は、エンタルピーに基づく近似技法を擬似ラドン測度に適応することで、この文脈におけるエンタルピー関数の下方連続性の失敗を克服し、古典的な最適輸送理論および曲率次元理論を負の次元設定に拡張する。

ABSTRACT

In this paper we investigate two important properties of metric measure spaces satisfying the reduced curvature-dimension condition for negative values of the dimension parameter: the existence of a transport map between two suitable marginals and the so-called local-to-global property.

研究の動機と目的

• 非分岐測度付き距離空間において、有限エンタルピーかつ有界な台を持つ確率測度間の最適輸送写像の存在と一意性を、$N < 0$ における $σ^*(K,N)$ を満たすものとして確立すること。
• 負の次元空間における $σ^*(K,N)$ 条件の局所から大域への性質を拡張し、局所的な曲率境界が大域的境界を意味することを示すこと。
• 擬似ラドン測度設定下で標準的なエンタルピーの下方連続性が破綻する状況に対処するため、特化した近似法を考案すること。
• 正の次元 $σ^*(K,N)$ 理論からの古典的結果を、幾何学的・解析的挙動が著しく異なる $N < 0$ の場合に一般化すること。
• $N < 0$ の $σ^*(K,N)$-空間が、局所的なものから大域的なものへと、エンタルピーの測地的凸性や曲率境界といった主要な構造的性質をどのように継承するかを示すこと。

提案手法

• 標準的なエンタルピー関数の下方連続性に基づく古典的最適輸送議論を、下方連続性が成立しない擬似ラドン測度の文脈に適応すること。
• Wasserstein 空間内の測地線に沿ったエンタルピー歪度を制御するため、$\kappa$-測地線と $\mathsf{C}(\kappa)$ 性質を用いた局所化議論を用いること。
• $N < 0$ における $\mathsf{CD}^*(K,N)$ 条件と $\sigma$-係数 $\sigma_{K,N}^{(t)}$ を用いて、測地線に沿ったエンタルピーの進化を評価すること。
• 測地線計画の分割技術を用い、成分同士の互いに特異であることを利用して、成分間におけるエンタルピーの劣加法性を導出すること。
• $\mathsf{C}(\kappa)$ 性質を用いて、局所的から大域的へと曲率境界を伝搬させ、$K \geq 0$ の場合に局所的 $σ^*(K,N)$ が大域的 $σ^*(K-,N)$ を意味することを証明すること。
• Ohta [19] で確立されたように、$N < 0$ の場合に $σ(K,N)$ が $σ^*(K,N)$ を含むことを利用して、解析を減少した条件に還元すること。

実験結果

リサーチクエスチョン

• RQ1 負の次元 $N < 0$ を持つ $σ^*(K,N)$ 空間において、最適輸送写像の存在と一意性は成立するか？
• RQ2 $N < 0$ の場合に、$σ^*(K,N)$ 条件の局所から大域への性質を拡張できるか？
• RQ3 擬似ラドン測度の下で $ρ⁡\mathscr{P}_2(\mathsf{X})$ 上でエンタルピー関数の下方連続性が失敗する状況において、エンタルピーに基づく議論をどのように適応できるか？
• RQ4 負の次元の $σ^*$-空間における測地線に沿ったエンタルピー歪度を制御する際、$\sigma$-係数 $\sigma_{K,N}^{(t)}$ が果たす役割は何か？
• RQ5 $N < 0$ の $σ^*(K,N)$-空間は、正の次元のそれらと比べて、どの程度構造的性質を継承するか？

主な発見

• 有限エンタルピーかつ有界な台を持つ測度をもつ、本質的に非分岐な $σ^*(K,N)$ 空間（$N < 0$）において、最適輸送写像の存在と一意性が確立された。
• 局所から大域への性質は、$N < 0$ かつ $K \geq 0$ の $σ^*(K,N)$ に対して成立し、局所的条件が成り立てば大域的条件も成り立つことを意味する。
• 証明は、$\kappa$-測地線に沿ったエンタルピー歪度を制御する新しい $\mathsf{C}(\kappa)$ 性質に依存しており、この性質が $\kappa$ から $\kappa-1, \dots, 0$ へと伝搬することが示された。
• 任意の $N' \in [N, 0)$ に対して、エンタルピー $S_{N',\mathfrak{m}}$ は、$\mathsf{CD}^*(K,N)$ 条件の下で測地線に沿って凸性不等式を満たし、係数 $\sigma_{K',N'}^{(t)}$ を用いて記述される。
• コンパクト球上の下界をとり、曲率境界をとることで、局所的 $σ^*(K,N)$ から大域的 $σ^*(K-,N)$ が導かれ、局所から大域への移行が確認された。
• 結果として、正の次元 $σ^*$-理論からの古典的結果が、負の次元へと一般化され、擬似ラドン設定下でのエンタルピーの非標準的挙動にもかかわらず、主要な構造的特徴が保持されることを示した。