[论文解读] Ricci curvature of Markov chains on metric spaces

Yann Ollivier|ArXiv.org|Jan 30, 2007

Geometric Analysis and Curvature Flows被引用 9

一句话总结

本文通过测量马尔可夫转移核在概率测度上的Wasserstein距离的局部收缩性，为度量空间上的马尔可夫链提出了一种新的里奇曲率定义。该定义推广了黎曼里奇曲率，在连续情形下恢复了已知结果，并建立了与谱间隙、测度集中性及修正对数 Sobolev 不等式之间的联系，且在离散立方体和 Ornstein–Uhlenbeck 过程等例子中给出了精确的界。

ABSTRACT

We define the Ricci curvature of Markov chains on metric spaces as a local contraction coefficient of the random walk acting on the space of probability measures equipped with a Wasserstein transportation distance. For Brownian motion on a Riemannian manifold this gives back the value of Ricci curvature of a tangent vector. Examples of positively curved spaces for this definition include the discrete cube and discrete versions of the Ornstein--Uhlenbeck process. Moreover this generalization is consistent with the Bakry--Émery Ricci curvature for Brownian motion with a drift on a Riemannian manifold. Positive Ricci curvature is easily shown to imply a spectral gap, a Lévy--Gromov-like Gaussian concentration theorem and a kind of modified logarithmic Sobolev inequality. These bounds are sharp in several interesting examples.

研究动机与目标

• 为一般度量空间上的马尔可夫链定义一种里奇曲率概念，该概念推广了黎曼里奇曲率，并适用于图等离散结构。
• 建立里奇曲率与诸如谱间隙、测度集中性及修正对数 Sobolev 不等式等功能不等式之间的联系。
• 提供一种计算上可行且具有几何直观性的定义，避免了先前基于最优传输的定义所具有的无穷小与复杂特性。
• 证明该定义在扩散情形下与 Bakry–Émery 曲率一致，并在离散立方体和 Ornstein–Uhlenbeck 过程等具体例子上得到验证。
• 提供一种基于度量的替代耦合方法，以最优传输和 Wasserstein 几何为基础，用于分析马尔可夫过程。

提出的方法

• 将里奇曲率定义为马尔可夫转移核在概率测度上作用于 Wasserstein 运输距离时的局部收缩系数。
• 利用平行移动和指数映射比较黎曼流形上扰动测度之间的距离，通过截面曲率的平均值与里奇曲率建立联系。
• 应用压缩原理，推导马尔可夫核下小球的像之间 Wasserstein 距离的界。
• 通过对切空间球面取平均来估计期望收缩率，通过距离函数的 Hessian 矩阵的迹引入里奇曲率。
• 通过欧氏近似中的方差与矩估计，将度量球的局部几何（展开性与局部维数）与曲率联系起来。
• 利用马尔可夫核作用下利普希茨常数的压缩性作为里奇曲率的代理，扩展了 Bakry–Émery 和 Dobrushin 的思想。

实验结果

研究问题

• RQ1 能否为一般度量空间上的马尔可夫链定义一种非无穷小且可计算的里奇曲率概念？
• RQ2 该定义在黎曼流形上的布朗运动情形下是否能恢复经典里奇曲率？
• RQ3 该曲率概念能否推出诸如谱间隙、集中性及对数 Sobolev 不等式等功能不等式？
• RQ4 在存在漂移的情况下，该定义是否与 Bakry–Émery 曲率一致？
• RQ5 在离散空间（如离散立方体或有限马尔可夫链）中，该曲率能否被有效计算或界定？

主要发现

• 当应用于黎曼流形上的布朗运动时，所提出的里奇曲率能恢复切向量的标准里奇曲率。
• 对于离散立方体 $\{0,1\}^N$，曲率为正，且与球面 $S^N$ 的曲率相当，与该空间的集中性质一致。
• 该曲率定义与具有漂移的扩散过程中的 Bakry–Émery 曲率一致，包括 Ornstein–Uhlenbeck 过程。
• 正里奇曲率意味着存在谱间隙，且在离散立方体等例子中界是精确的。
• 建立了类似 Lévy–Gromov 的高斯集中不等式，其中显式常数依赖于曲率与局部维数。
• 推导出一个修正对数 Sobolev 不等式，其常数损失与经典情形相比保持有界。