[論文レビュー] Independence of synthetic Curvature Dimension conditions on transport distance exponent

Afiny Akdemir, Fabio Cavalletti+3 more|arXiv (Cornell University)|Jul 21, 2020

Geometric Analysis and Curvature Flows参考文献 42被引用数 7

ひとこと要約

本稿は、非分岐メトリック測度空間において、すべての $p>1$ に対して合成的曲率次元条件 $σ_{p}(K,N)$ が同値であることを確立し、運搬コストとして $p$-ウォッサーシュタイン距離を選ぶことによる曲率次元理論への影響がないことを示している。主な洞察は $L^1$-最適運搬とニードル分解を用い、異なる $p$ の間で条件を統一するものであり、$σ_p(K,N)$ がすべての $p,q>1$ に対して $σ_q(K,N)$ を含意することを証明し、これらの条件の局所的から大域的への性質を確立している。

ABSTRACT

The celebrated Lott-Sturm-Villani theory of metric measure spaces furnishes synthetic notions of a Ricci curvature lower bound $K$ joint with an upper bound $N$ on the dimension. Their condition, called the Curvature-Dimension condition and denoted by $\\mathrm{CD}(K,N)$, is formulated in terms of a modified displacement convexity of an entropy functional along $W_{2}$-Wasserstein geodesics. We show that the choice of the squared-distance function as transport cost does not influence the theory. By denoting with $\\mathrm{CD}_{p}(K,N)$ the analogous condition but with the cost as the $p^{th}$ power of the distance, we show that $\\mathrm{CD}_{p}(K,N)$ are all equivalent conditions for any $p>1$ -- at least in spaces whose geodesics do not branch. We show that the trait d'union between all the seemingly unrelated $\\mathrm{CD}_{p}(K,N)$ conditions is the needle decomposition or localization technique associated to the $L^{1}$-optimal transport problem. We also establish the local-to-global property of $\\mathrm{CD}_{p}(K,N)$ spaces.

研究の動機と目的

• 運搬コストとして $p$-ウォッサーシュタイン距離を用いる曲率次元条件 $σ_p(K,N)$ が、合成的リッチ曲率および次元の上限に影響を与えるかどうかを特定すること。
• 非分岐メトリック測度空間において、すべての $p>1$ に対して $σ_p(K,N)$ 条件が同値であることを確立すること。
• $L^1$-最適運搬およびニードル分解技術を用いて、$σ_p(K,N)$ 空間の局所的から大域的への性質を拡張すること。
• 勾配流れの線（符号付き距離関数の運搬レーン）という共通構造を通じて、見た目は異なる $σ_p(K,N)$ 条件を統一すること。

提案手法

• 異なる $p>1$ の $p$-ウォッサーシュタイン条件を結びつけるために、$L^1$-最適運搬フレームワークとニードル分解を用い、運搬レーンの「接続の特徴」を活用する。
• 指数 $p$ を用いたホフ・ラクス変換を適用し、測地線に沿ったカントロビッチポテンシャルの1階・2階・3階不等式を導出する。
• 定理5.10における変数変換公式を用い、異なる $p$-コスト下での測地線に沿った密度を関係づける。これは $σ^{1}_{ρ}(K,N)$ 条件に依存する。
• $t \mapsto \rho_t(\gamma_t)$ が上半連続であり、かつ $1/\rho_t(\gamma_t) = L(t)Y(t)$ という構造を満たし、$L$ が下に凸、$Y$ が $\mathsf{CD}(K_0,N)$ 密度であることを示し、ホルダーの不等式の適用を可能にする。
• $\mathsf{CD}^{1}_{\text{Lip}}(K,N)$ 条件を用いて定理5.12の仮定を検証し、$W_q$-測地線に沿った $\mathsf{CD}_q(K,N)$ 不等式の有効性を保証する。
• $\sigma_{K,N}^{(\alpha)}$ および $\tau_{K,N}^{(\alpha)}$ 変形係数を用いて、エントロピー関数の必要な変位凸性不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 運搬コスト $\mathsf{d}^p$ の選択が、メトリック測度空間における合成的曲率次元条件 $\mathsf{CD}_p(K,N)$ に影響を与えるか。
• RQ2 非分岐空間において、異なる $p>1$ に対する条件 $\mathsf{CD}_p(K,N)$ は同値か。
• RQ3 $L^1$-最適運搬フレームワークおよびニードル分解は、$p>1$ 全体にわたる $\mathsf{CD}_p(K,N)$ 条件を統合するメカニズムとして機能できるか。
• RQ4 $\mathsf{CD}_p(K,N)$ 空間の局所的から大域的への性質は、すべての $p>1$ に対して成り立つか。
• RQ5 $p$-コストの変更、特に $p \to 1$ および $p \to q>1$ のとき、$\mathsf{CD}_p(K,N)$ 条件は保存されるか。

主な発見

• 非分岐メトリック測度空間において、すべての $p>1$ に対して $\mathsf{CD}_p(K,N)$ 条件が同値である。これは、$p$-ウォッサーシュタインコストの選択が合成的曲率次元境界に影響しないことを意味する。
• $L^1$-最適運搬フレームワークおよびニードル分解は、運搬レーンの挙動を通じて、すべての $p>1$ の $\mathsf{CD}_p(K,N)$ 条件を統合するメカニズムとして機能する。
• $t \mapsto \rho_t(\gamma_t)$ は端点で上半連続であり、$1/\rho_t(\gamma_t) = L(t)Y(t)$ という構造を満たし、$L$ は下に凸、$Y$ は $\mathsf{CD}(K_0,N)$ 密度である。これによりホルダーの不等式が適用可能となる。
• $q>1$ に対して $W_q$-測地線に沿って $\mathsf{CD}_q(K,N)$ 不等式が成り立つ。これは変形係数 $\tau_{K,N}^{(\alpha)}(\mathsf{d}(\gamma_0,\gamma_1))$ および導出された不等式 (5.24) を用いて示された。
• 測地線の長さがゼロである $\varphi$-スライム上では、密度が一定であり $\tau_{K,N}^{(\alpha)}(0) = \alpha$ であるため、$\mathsf{CD}_q(K,N)$ 条件は自明に等式として成立する。
• 局所的から大域的への性質が成立する：$(X,\mathsf{d},\mathfrak{m})$ が $p$-本質的に非分岐で、長さ空間であり、$\mathsf{CD}_{p,loc}(K,N)$ を満たすならば、$\mathsf{CD}_p(K,N)$ を満たす。