[论文解读] Decomposition of geodesics in the Wasserstein space and the globalization property

Fabio Cavalletti|arXiv (Cornell University)|Sep 26, 2012

Geometric Analysis and Curvature Flows参考文献 19被引用 8

一句话总结

本文在满足曲率-维数条件 $\mathsf{CD}^*(K,N)$ 的度量测度空间中，建立了 $L^2$-Wasserstein 地道的分解，表明此类地道可分解为一维分量与满足 $\mathsf{CD}^*(K,N-1)$ 的低维分量的乘积。在长度函数具有局部利普希茨正则性的条件下，该分解实现了全局化结果：对于特定类别的最优传输，一维分量随时间线性演化，从而推出完整地道的全局 $\mathsf{CD}(K,N)$ 条件。

ABSTRACT

We will prove a decomposition for Wasserstein geodesics in the following sense: let $(X,d,m)$ be a non-branching metric measure space verifying $\mathsf{CD}_{loc}(K,N)$ or equivalently $\mathsf{CD}^{*}(K,N)$. We prove that every geodesic $μ_{t}$ in the $L^{2}$-Wasserstein space, with $μ_{t} \ll m$, is decomposable as the product of two densities, one corresponding to a geodesic with support of codimension one verifying $\mathsf{CD}^{*}(K,N-1)$, and the other associated with a precise one dimensional measure, provided the length map enjoys local Lipschitz regularity. The motivation for our decomposition is in the use of the component evolving like $\mathsf{CD}^{*}$ in the globalization problem. For a particular class of optimal transportation we prove the linearity in time of the other component, obtaining therefore the global $\mathsf{CD}(K,N)$ for $μ_{t}$. The result can be therefore interpret as a globalization theorem for $\mathsf{CD}(K,N)$ for this class of optimal transportation, or as a ``self-improving property'' for $\mathsf{CD}^{*}(K,N)$. Assuming more regularity, namely in the setting of infinitesimally strictly convex metric measure space, the one dimensional density is the product of two differentials giving more insight on the density decomposition.

研究动机与目标

• 解决一个开放问题：若局部在一组覆盖集上成立 $\mathsf{CD}(K,N)$，是否可全局成立？
• 探讨在附加正则性条件下，简化曲率-维数条件 $\mathsf{CD}^*(K,N)$ 是否蕴含全局 $\mathsf{CD}(K,N)$ 条件。
• 建立 $L^2$-Wasserstein 地道的几何分解，将其分解为余维一的 $\mathsf{CD}^*(K,N-1)$ 分量与一维分量。
• 证明对于特定类别的最优传输，一维分量随时间线性演化，从而实现完整地道的全局 $\mathsf{CD}(K,N)$ 条件。

提出的方法

• 利用 Kantorovich 潜势的等值集上的测度分解，将地道沿运动方向分解为若干分量。
• 应用面积公式与球面 Hausdorff 测度，分析最优传输的度量结构及等值集的几何性质。
• 采用 Hopf-Lax 公式刻画 Kantorovich 潜势并推导地道上梯度信息。
• 通过潜在演化函数的微分，推导出一维分量密度的正式表达式，将其与 Kantorovich 潜势的 Hessian 联系起来。
• 施加无穷小严格凸性以改进分解，将一维密度表达为两个微分的乘积。
• 利用地道上 Kantorovich 潜势的时间导数，推导出一维分量在时间上的线性性。

实验结果

研究问题

• RQ1 能否通过 Wasserstein 地道的分解，从局部 $\mathsf{CD}_{\text{loc}}(K,N)$ 或 $\mathsf{CD}^*(K,N)$ 条件全局恢复 $\mathsf{CD}(K,N)$ 条件？
• RQ2 在适当的正则性假设下，Wasserstein 地道的一维分量是否随时间线性演化，从而推出全局 $\mathsf{CD}(K,N)$ 条件？
• RQ3 地道密度分解为 $\mathsf{CD}^*(K,N-1)$ 分量与一维分量的方式，如何反映曲率-维数结构？
• RQ4 Kantorovich 潜势的 Hessian 在决定一维分量行为中起何种精确作用？
• RQ5 $\mathsf{CD}^*(K,N)$ 在何种条件下蕴含 $\mathsf{CD}(K,N)$？这是否可视为一种自增强性质？

主要发现

• 在长度函数具有局部利普希茨正则性的条件下，$L^2$-Wasserstein 空间中的地道 $\mu_t$ 可分解为与 $\mathsf{CD}^*(K,N-1)$ 空间相关的密度和一维分量的乘积。
• 对于特定类别的最优传输，一维分量随时间线性演化，从而推出 $\mu_t$ 的全局 $\mathsf{CD}(K,N)$ 条件。
• 在无穷小严格凸性条件下，一维密度被表达为两个微分的乘积，进一步优化了分解，并提供了几何洞见。
• 地道上 Kantorovich 潜势的时间导数产生了一个点态恒等式，将 $\varphi_t$ 的梯度与传输映射的演化联系起来，从而推导出一维分量的行为。
• 形式计算表明 $\lambda_t^{-1} = \|\nabla\varphi_t\|^2 + t \langle H\varphi_t \nabla\varphi_t, \nabla\varphi_t \rangle$，与基于 Hessian 的传输结构一致。
• 该分解证实了 $\mathsf{CD}(K,N)$ 中的 $\tau_{K,N}^{(t)}(\theta)$ 系数源于 $(N-1)$-维畸变与 $t^{1/N}$ 缩放的乘积，支持了 $\mathsf{CD}^*(K,N)$ 的自增强性质。