[论文解读] Lower bound for the coarse Ricci curvature of continuous-time pure jump processes

Denis Villemonais|arXiv (Cornell University)|May 18, 2017

Geometric Analysis and Curvature Flows参考文献 66被引用 6

一句话总结

本文为连续时间纯跳跃马尔可夫过程在粒子系统上的粗 Ricci 曲率建立了可计算的下界，利用跳跃转移测度之间的 Wasserstein 距离计算。关键贡献是一个涉及跳跃速率和跳跃分布函数的 Lipschitz 范数的一般性下界公式，使得对相互作用粒子系统、生灭过程和跳跃扩散模型的曲率估计成为可能。

ABSTRACT

We obtain a lower bound for the coarse Ricci curvature of continuous time pure jump Markov processes, with an emphasis on interacting particle systems. Applications to several models are provided, with a detailed study of the herd behavior of a simple model of interacting agents.

研究动机与目标

• 推导出有限或可数状态空间上连续时间纯跳跃马尔可夫过程的粗 Ricci 曲率的实用且可计算的下界。
• 解决连续时间设定下缺乏一般性下界的问题，该问题曾阻碍收敛速率分析和谱隙估计的应用。
• 通过将曲率下界与亚稳态和相变联系起来，分析具有平均场相互作用的相互作用代理系统中的群体行为。
• 通过 Wasserstein 耦合技术，将现有离散时间曲率结果推广至连续时间过程。
• 为特定模型（包括平均场相互作用粒子、生灭过程以及具有高斯或离散跳跃的跳跃扩散）提供明确的曲率估计。

提出的方法

• 使用由跳跃转移诱导的测度之间的 Wasserstein 距离 $\mathcal{W}_d$ 来量化过程随时间的收缩性。
• 采用基于耦合的方法，通过跳跃速率和分布的联合凸性与 Lipschitz 连续性，对转移核之间的 Wasserstein 距离进行上界估计。
• 通过不等式 $\mathcal{W}_d(\mathbb{P}(\bar{X}_t\in\cdot|\bar{X}_0=\bar{x}), \mathbb{P}(\bar{X}_t\in\cdot|\bar{X}_0=\bar{y})) \leq e^{-\sigma t} d(\bar{x},\bar{y})$ 推导出粗 Ricci 曲率 $\sigma$ 的一般性下界。
• 利用 Vallender 定理和 $W_2$-Wasserstein 上界，对高斯和离散跳跃测度显式计算所需的 Wasserstein 距离。
• 引入函数 $J_d^{x,y}(F(x,\bar{x}), F(y,\bar{y}))$ 以量化状态 $x$ 和 $y$ 之间的最坏情况收缩率，并通过跳跃强度和分布函数的 Lipschitz 范数对其进行上界估计。
• 通过公式 $\sigma \geq -2\left\|\frac{\beta}{\lambda}\right\|_{Lip}$ 建立曲率下界，适用于生灭过程，并对其他模型给出类似表达式，其中使用了跳跃速率与跳跃分布之比的 Lipschitz 范数。

实验结果

研究问题

• RQ1 能否为连续时间纯跳跃过程推导出一般且可计算的粗 Ricci 曲率下界？
• RQ2 曲率下界如何与具有平均场相互作用的相互作用代理系统中群体行为的出现相关联？
• RQ3 在何种情况下所推导的曲率下界是紧的，何时可显式计算？
• RQ4 跳跃速率和跳跃分布的 Lipschitz 性质如何影响曲率估计？
• RQ5 对于具有高斯、离散或密度结构跳跃测度的模型，其曲率下界是什么？

主要发现

• 对于生灭过程，推导出粗 Ricci 曲率的一般性下界为 $\sigma \geq -2\left\|\frac{\beta}{\lambda}\right\|_{Lip}$，其中 $\beta$ 为跳跃速率，$\lambda$ 为总跳跃速率。
• 对于具有高斯跳跃测度的系统，曲率下界为 $\sigma \geq -2\|\beta\|_{\infty}\left\|\Sigma^{1/2}\right\|_{Lip} - 2\|\beta\|_{Lip}\left\|\sqrt{\sum_{i=1}^{n}(\Sigma_{ii})^2}\right\|_{\infty}$，其中使用了 Frobenius 范数和矩阵平方根的 Lipschitz 连续性。
• 对于在 $\mathbb{Z}$ 上具有有界支撑的离散跳跃过程，曲率下界为 $\sigma \geq -2\|\beta\|_{\infty}\|\alpha\|_{Lip} - 2\|\beta\|_{Lip}\|M_\alpha\|_{\infty}$，其中 $M_\alpha$ 为跳跃分布的一阶绝对矩。
• 在生灭过程情况下，该下界是紧的，与先前文献 [13, 34] 中显式计算的曲率一致。
• 曲率下界可用来检测相变：对于相互作用代理模型，正曲率下界表示群体行为的倾向，而负下界则表明独立动力学。
• 利用 [26, 27] 中的大偏差结果，确认了群体行为与非群体行为相态的存在，且曲率分析为该结论提供了支持。