[论文解读] 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

一句话总结

本文证明了在满足缩减曲率-维数条件 $\mathsf{CD}^*(K,N)$ 且维数 $N < 0$ 的度量测度空间中，最优传输映射的存在性与唯一性，并建立了局部到全局的性质。研究通过将基于熵的逼近技术适配至拟Radon测度，克服了在此类背景下熵泛函下确界连续性失效的问题，从而将经典最优传输与曲率-维数理论推广至负维设置。

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.

研究动机与目标

• 在满足 $\mathsf{CD}^*(K,N)$ 条件且 $N < 0$ 的非分支度量测度空间中，建立具有有限熵与有界紧支集的概率测度之间最优传输映射的存在性与唯一性。
• 将 $\mathsf{CD}^*(K,N)$ 条件的局部到全局性质推广至负维空间，证明局部曲率界蕴含全局曲率界。
• 通过开发定制化的逼近论证，解决在拟Radon测度设定下标准熵下确界连续性失效的问题。
• 将经典正维 $\mathsf{CD}^*(K,N)$ 理论结果推广至 $N < 0$ 的情形，其中几何与分析行为存在显著差异。
• 证明 $\mathsf{CD}^*(K,N)$-空间在 $N < 0$ 时，可从局部性质继承关键结构特性，如熵的测地凸性与全局曲率界。

提出的方法

• 将基于熵泛函下确界连续性的经典最优传输论证方法，适配至拟Radon测度设定，其中标准下确界连续性不成立。
• 通过 $\kappa$-测地线与 $\mathsf{C}(\kappa)$ 性质的局部化论证，控制 Wasserstein 空间中测地线路径上的熵畸变。
• 使用 $N < 0$ 时的缩减曲率-维数条件 $\mathsf{CD}^*(K,N)$，并利用 $\sigma$-系数 $\sigma_{K,N}^{(t)}$ 控制测地线路径上的熵演化。
• 对测地线计划实施分割技术，利用各分量间的互异测度性，推导熵在分量间的次可加性。
• 利用 $\mathsf{C}(\kappa)$ 性质将局部曲率界传播至全局，证明局部 $\mathsf{CD}^*(K,N)$ 蕴含全局 $\mathsf{CD}^*(K-,N)$（当 $K \geq 0$ 时）。
• 利用已由 Ohta [19] 建立的结论：当 $N < 0$ 时，$\mathsf{CD}(K,N)$ 蕴含 $\mathsf{CD}^*(K,N)$，将分析简化至缩减条件。

实验结果

研究问题

• RQ1 在负维 $N < 0$ 的 $\mathsf{CD}^*(K,N)$ 空间中，最优传输映射的存在性与唯一性是否成立？
• RQ2 能否将 $\mathsf{CD}^*(K,N)$ 条件的局部到全局性质推广至 $N < 0$ 的情形？
• RQ3 当熵泛函在 $\mathscr{P}_2(\mathsf{X})$ 上因拟Radon测度而不再下确界连续时，如何适配基于熵的论证方法？
• RQ4 $\sigma$-系数 $\sigma_{K,N}^{(t)}$ 在控制负维 $\mathsf{CD}^*$-空间中测地线路径上的熵畸变中起何作用？
• RQ5 $\mathsf{CD}^*(K,N)$-空间在 $N < 0$ 时，其结构特性在多大程度上继承自正维情形的对应性质？

主要发现

• 在本质上非分支的 $\mathsf{CD}^*(K,N)$ 空间中，当 $N < 0$ 时，对具有有限熵与有界紧支集的边际测度，最优传输映射的存在性与唯一性得以确立。
• 当 $K \geq 0$ 时，$\mathsf{CD}^*(K,N)$ 在 $N < 0$ 时的局部到全局性质成立，即若条件在局部成立，则其在全局也成立。
• 证明依赖于一种新提出的 $\mathsf{C}(\kappa)$ 性质，该性质控制 $\kappa$-测地线上的熵畸变，且该性质可从 $\kappa$ 传播至 $\kappa-1, \dots, 0$。
• 对任意 $N' \in [N, 0)$，在 $\mathsf{CD}^*(K,N)$ 条件下，熵 $S_{N',\mathfrak{m}}$ 沿测地线满足凸性不等式，其系数为 $\sigma_{K',N'}^{(t)}$。
• 通过在紧球上取下确界并结合曲率界，从局部 $\mathsf{CD}^*(K,N)$ 推出全局 $\mathsf{CD}^*(K-,N)$ 条件，确认了局部到全局的传递性。
• 研究结果将经典正维 $\mathsf{CD}^*$-理论结果推广至负维情形，表明尽管在拟Radon测度设定下熵的行为非标准，关键结构特征仍得以保持。