[论文解读] Horizontal diffusion in $C^1$ path space

Marc Arnaudon, Abdoulaye Koléhè Coulibaly-Pasquier+1 more|arXiv (Cornell University)|Apr 17, 2009

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

一句话总结

本文在黎曼流形上的$C^1$路径空间中引入了水平扩散，构造了一类生成元为$L$的扩散过程，通过形变平行移动保持导数结构。关键结果表明，当度量在前向里奇流下演化时，水平扩散保持长度不变，从而可通过Monge-Kantorovich问题实现最优传输中的压缩估计。

ABSTRACT

We define horizontal diffusion in $C^1$ path space over a Riemannian manifold and prove its existence. If the metric on the manifold is developing under the forward Ricci flow, horizontal diffusion along Brownian motion turns out to be length preserving. As application, we prove contraction properties in the Monge-Kantorovich minimization problem for probability measures evolving along the heat flow. For constant rank diffusions, differentiating a family of coupled diffusions gives a derivative process with a covariant derivative of finite variation. This construction provides an alternative method to filtering out redundant noise.

研究动机与目标

• 在黎曼流形上为椭圆型与时间依赖的生成元$L$定义并构造$C^1$路径空间中的水平扩散。
• 建立此类扩散保持路径长度的条件，特别是当度量在前向里奇流下演化时。
• 提出一种新方法，通过具有有限变差的内在导数过程，无需过滤冗余噪声，来对扩散族进行微分。
• 将该构造应用于证明在热流演化下测度的Monge-Kantorovich最优传输问题中的压缩性质。
• 通过形变平行移动构造具有有限变差的导数过程，将理论推广至常秩退化扩散。

提出的方法

• 该构造通过扩散的迭代平行耦合来定义一参数族$X_t(u)$，其生成元为$L$，确保导数$\partial_u X_t(u)$局部一致有界。
• 导数过程满足随机微分方程$\partial_u X_t(u) = W(X(u))_t(\dot{\varphi}(u))$，其中$W(X(u))$是沿半鞅$X(u)$的形变平行移动。
• 对于常秩扩散，导数过程$T_{x_0}X$具有有限变差，满足$\tilde{D}'T_{x_0}X = \tilde{\nabla}_{T_{x_0}X}Z\,dt - \frac{1}{2}\mathop{\mathrm{Ric}}^\sharp(T_{x_0}X)\,dt$。
• 该方法依赖于向量丛上的联络$\tilde{\nabla}$，其对偶联络$(\tilde{\nabla})'$用于定义导数过程的协变导数。
• 该构造避免了原始方法中对随机微分方程的需求，仅通过$\text{carr\acute{e}}$ du champ算子来定义联络。
• 通过证明在时变里奇流下，演化测度间的Wasserstein距离减小，将该理论应用于证明最优传输中的压缩性。

实验结果

研究问题

• RQ1 能否在$C^1$路径空间上构造一类生成元为$L$的扩散族，使得对初始路径的导数局部一致有界？
• RQ2 在何种几何条件下，水平扩散能保持路径长度？
• RQ3 如何构造退化扩散的导数过程使其具有有限变差，且无需过滤噪声？
• RQ4 能否在时变度量下利用水平扩散分析Monge-Kantorovich最优传输问题？
• RQ5 形变平行移动在刻画耦合扩散族导数中的作用是什么？

主要发现

• 对于椭圆型与时间依赖的生成元$L$，$C^1$路径空间中的水平$L$-扩散存在，其导数过程由形变平行移动给出。
• 当度量在前向里奇流下演化时，水平扩散保持长度不变，意味着路径空间中具有等距行为。
• 对于常秩扩散，导数过程$T_{x_0}X$具有有限变差，其显式协变导数为$\tilde{D}'T_{x_0}X = \tilde{\nabla}_{T_{x_0}X}Z\,dt - \frac{1}{2}\mathop{\mathrm{Ric}}^\sharp(T_{x_0}X)\,dt$。
• 该构造产生一个保持原始扩散的过滤结构与寿命的流，使其具有内在性，非常适合路径空间分析。
• 该方法提供了一种新的Bismut型公式推导方法，无需过滤冗余噪声，直接利用导数过程。
• 该理论在一般成本函数非减于距离的条件下，建立了在热流演化下测度的Monge-Kantorovich问题中的压缩性。