[论文解读] Dynamical aspects of generalized Schr{\\"o}dinger problem via Otto calculus -- A heuristic point of view

Ivan Gentil, Christian Léonard+1 more|arXiv (Cornell University)|Jun 1, 2018

Geometric Analysis and Curvature Flows被引用 13

一句话总结

本文引入了一个扰动的Wasserstein代价泛函 $π^\varepsilon_\mathcal{F}$，通过用一般泛函 $\mathcal{F}$ 替代熵，将Schrödinger问题推广。利用Otto微分几何与慢速梯度流的启发式分析，推导出 $\varepsilon\mathcal{F}$-插值的牛顿型方程，并在Ricci曲率下界条件下建立了新的压缩不等式，扩展了最优传输与梯度流理论中的已知结果。

ABSTRACT

The defining equation $(\\ast):\\ \\dot \\omega\\_t=-F'(\\omega\\_t),$ of a gradient flow is kinetic in essence. This article explores some dynamical (rather than kinetic) features of gradient flows (i) by embedding equation $(\\ast)$ into the family of slowed down gradient flow equations: $\\dot \\omega ^{ \\varepsilon}\\_t=- \\varepsilon F'( \\omega ^{ \\varepsilon}\\_t),$ where $\\varepsilon>0$, and (ii) by considering the \\emph{accelerations} $\\ddot \\omega ^{ \\varepsilon}\\_t$. We shall focus on Wasserstein gradient flows. Our approach is mainly heuristic. It relies on Otto calculus.A special formulation of the Schr{\\"o}dinger problem consists in minimizing some action on the Wasserstein space of probability measures on a Riemannian manifold subject to fixed initial and final data. We extend this action minimization problem by replacing the usual entropy, underlying Schr{\\"o}dinger problem, with a general function of the Wasserstein space. The corresponding minimal cost approaches the squared Wasserstein distance when some fluctuation parameter tends to zero. We show heuristically that the solutions satisfy a Newton equation, extending a recent result of Conforti. The connection with Wasserstein gradient flows is established and various inequalities, including evolutional variational inequalities and contraction inequality under curvature-dimension condition, are derived with a heuristic point of view. As a rigorous result we prove a new and general contraction inequality for the Schr{\\"o}dinger problem under a Ricci lower bound on a smooth and compact Riemannian manifold.

研究动机与目标

• 通过在Wasserstein空间上用一般泛函 $\mathcal{F}$ 替代相对熵，将Schrödinger问题从熵最小化推广至更广范畴。
• 通过引入慢速参数 $\varepsilon > 0$ 并分析加速度 $\ddot{\omega}^\varepsilon_t$，研究梯度流的动力学特征。
• 建立 $\varepsilon\mathcal{F}$-插值与Wasserstein空间中牛顿方程之间的启发式联系。
• 在曲率-维数条件（特别是Ricci下界）下，为广义问题推导新的压缩不等式。
• 在紧致黎曼流形上，针对Schrödinger问题在Ricci下界条件下的严格压缩不等式，改进了先前结果。

提出的方法

• 本文将代价泛函 $\mathcal{A}^\varepsilon_\mathcal{F}(\mu,\nu)$ 定义为包含动能与惩罚梯度项 $\varepsilon^2 |\operatorname{grad}_\mu \mathcal{F}|^2$ 的作用量的下确界，推广了Benamou-Brenier公式。
• 利用Otto微分几何将Wasserstein空间 $\mathcal{P}_2(N)$ 视为无穷维黎曼流形，从而定义测地线、梯度与Hessian。
• 对 $\varepsilon\mathcal{F}$-插值的分析导致在Wasserstein空间中启发式导出牛顿方程，扩展了Conforti的近期结果。
• 通过马尔可夫半群技术与热核估计，在Ricci下界 $\rho$ 条件下推导压缩不等式，利用 $\Gamma_2$-微分几何与Laplacian的谱性质。
• 应用柯西-施瓦茨不等式与时间反演技巧，控制 $\varepsilon\mathcal{F}$-插值与原始路径的偏离，最终导出压缩结果。
• 通过热半群 $\mathsf{P}_t$ 的摄动论证严格证明结果，关键不等式通过积分涉及 $\Lambda(r)$ 与Ricci曲率的微分不等式导出。

实验结果

研究问题

• RQ1 在梯度流中引入慢速参数 $\varepsilon$ 如何揭示超越动能演化之外的动力学特征？
• RQ2 $\varepsilon\mathcal{F}$-插值在Wasserstein空间中是否满足牛顿型方程？该方程的物理或几何意义为何？
• RQ3 在熵被一般泛函 $\mathcal{F}$ 取代的广义Schrödinger问题中，是否继承了Ricci下界条件下的曲率性质（如压缩性）？
• RQ4 Otto微分几何在Wasserstein空间中表述二阶动力学与Hessian型结构中起何作用？
• RQ5 能否在无时间扭曲条件下，为Schrödinger问题推导新的压缩不等式，且在Ricci曲率下界条件下成立？

主要发现

• $\varepsilon\mathcal{F}$-插值在Wasserstein空间中满足启发式牛顿方程，将Conforti的近期结果推广至更广的泛函类。
• 当 $\varepsilon \to 0$ 时，代价泛函 $\mathcal{A}^\varepsilon_\mathcal{F}$ 退化为平方Wasserstein距离 $W_2^2$，确认其与经典最优传输的一致性。
• 在Ricci下界 $\rho$ 条件下，严格证明了Schrödinger问题的新压缩不等式，其形式为 $\mathcal{A}^\varepsilon_\mathcal{E\!nt}(\mathsf{P}_t\mu, \mathsf{P}_t\nu) \leq e^{-2\rho t} \mathcal{A}^\varepsilon_\mathcal{E\!nt}(\mu, \nu)$。
• 该压缩不等式在无时间扭曲条件下导出，改进了 [GLR17] 中的早期结果，其推导依赖于涉及半群 $\mathsf{P}_t$ 与Ricci曲率的微分不等式。
• 该方法表明 $\mathcal{F}$-插值应为光滑的，支持在Wasserstein空间中使用二阶微分几何。
• 该框架可推广至带向量场 $V$ 的算子 $\Delta_g + V$，表明其在标准Schrödinger问题之外具有广泛适用性。