[论文解读] Wasserstein decay of one dimensional jump-diffusions

Bertrand Cloez|arXiv (Cornell University)|Feb 6, 2012

Geometric Analysis and Curvature Flows参考文献 25被引用 12

一句话总结

本文通过费曼-卡茨半群方法，为一维跳跃扩散过程建立了显式且最优的 Wasserstein 收敛速率边界。它引入了一个 Wasserstein 曲率框架以量化长期行为，为 TCP 窗口大小、柯尔莫哥洛夫-朗之万动力学以及 Lévy 型积分等过程提供了精确的指数衰减估计，并应用于谱间隙与总变差边界。

ABSTRACT

This work is devoted to the Lipschitz contraction and the long time behavior of certain Markov processes. These processes diffuse and jump. They can represent some natural phenomena like size of cell or data transmission over the Internet. Using a Feynman-Kac semigroup, we prove a bound in Wasserstein metric. This bound is explicit and optimal in the sense of Wasserstein curvature. This notion of curvature is relatively close to the notion of (coarse) Ricci curvature or spectral gap. Several consequences and examples are developed, including an $L^2$ spectral for general Markov processes, explicit formulas for the integrals of compound Poisson processes with respect to a Brownian motion, quantitative bounds for Kolmogorov-Langevin processes and some total variation bounds for piecewise deterministic Markov processes.

研究动机与目标

• 推导一维跳跃扩散过程趋于平衡态收敛速率的定量显式边界。
• 建立 Wasserstein 曲率与非平衡、非可逆且具有无限支撑过程的指数遍历性之间的联系。
• 通过费曼-卡茨半群方法，建立一个通用框架，以推导梯度估计与曲率边界。
• 将结果扩展至 TCP 窗口大小、柯尔莫哥洛夫-朗之万过程及复合泊松积分等具体模型。
• 证明该曲率边界在 Wasserstein 曲率意义下是最优的，与粗 Ricci 曲率及谱间隙密切相关。

提出的方法

• 利用费曼-卡茨半群表示法，推导跳跃扩散过程转移核的梯度估计。
• 应用 Kantorovich-Rubinstein 对偶性，将 Wasserstein 距离表示为所有 1-Lipschitz 函数上的上确界。
• 将 Wasserstein 曲率定义为最大常数 ρ，使得半群以速率 e^{-ρt} 指数收缩 1-Lipschitz 函数。
• 通过生成元与 Wasserstein 度量之间的交错关系，推导曲率边界。
• 通过对数时间变换，将乘法型跳跃过程转化为加法型，从而实现对 Lévy 型积分的分析。
• 将曲率框架应用于推导特定模型中不变测度的显式矩公式与收敛速率。

实验结果

研究问题

• RQ1 能否为具有通用跳跃与扩散系数的一维跳跃扩散过程，推导出显式且最优的 Wasserstein 收敛边界？
• RQ2 在非可逆、具有无限支撑的过程中，Wasserstein 曲率与谱间隙及粗 Ricci 曲率之间有何关系？
• RQ3 TCP 窗口大小过程在长期行为上，其与平衡态的 Wasserstein 距离表现为何种特性？
• RQ4 费曼-卡茨方法能否为由布朗运动驱动的复合泊松过程的不变分布提供显式矩公式？
• RQ5 在曲率框架下，连续时间马尔可夫过程（PDMP）的总变差衰减速率如何？

主要发现

• Wasserstein 曲率 ρ 是最优的，且满足 ρ = inf_{x≠y} (P_t g(x) - P_t g(y)) / |x - y| ≤ e^{-ρt} 对所有 t ≥ 0 及 g ∈ Lip₁ 成立。
• 对于 TCP 窗口大小过程，本文推导出形式为 W(L(Y_t), π) ≤ e^{-κ₁t} W(δ₀, π) 的 Wasserstein 衰减边界，其中 κ₁ = 1 - ∫₀¹ h H(dh)。
• 对于独立布朗运动上的复合泊松过程的积分，其不变测度 π 的矩为 ∫xⁿπ(dx) = n! / (r^{n/2} ∏_{k=1}^{n/2} κ_{2k})（当 n 为偶数时），奇数 n 的情形类似。
• 曲率框架通过 Wasserstein 曲率与谱间隙之间的关系，导出了 L² 谱间隙边界。
• 对于具有非凸势能的柯尔莫哥洛夫-朗之万过程，该方法提供了 Wasserstein 距离下的显式指数收敛性。
• 该方法适用于 PDMP，通过相同的基于曲率的方法，导出了总变差衰减边界。