[论文解读] Liouville property and non-negative Ollivier curvature on graphs

Jürgen Jost, Florentin Münch+1 more|arXiv (Cornell University)|Mar 26, 2019

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

一句话总结

本文建立了具有非负Ollivier曲率的图的Liouville性质，证明了每个有界调和函数均为常数。该成果通过将Lipschitz函数与最优传输计划联系起来，并运用迭代梯度控制实现，同时借助Schr"{o}dinger（1998）的方法，在正曲率下改进了集中测度的界。

ABSTRACT

For graphs with non-negative Ollivier curvature, we prove the Liouville property, i.e., every bounded harmonic function is constant. Moreover, we improve Ollivier's results on concentration of the measure under positive Ollivier curvature.

研究动机与目标

• 在具有非负Ollivier曲率的图上建立Liouville性质——即有界调和函数为常数，这是此前该设定下未知的结果。
• 弥合Ollivier曲率与调和函数行为等分析性质之间的鸿沟，后者在Bakry-Émery曲率下已有充分理解，但尚未在Ollivier曲率下实现。
• 通过改进Schr"{o}dinger（1998）的方法，在正Ollivier曲率下提升现有集中测度结果，实现具有最优指数的高斯尾部界。
• 证明非负Ollivier曲率蕴含强分析刚性，即使在缺乏Bakry-Émery曲率所依赖的梯度衰减估计的情况下亦成立。

提出的方法

• 通过最优传输计划使用广义Ollivier曲率定义，其中曲率被定义为在单位梯度范数的1-Lipschitz函数上，拉普拉斯梯度的下确界。
• 应用[WM17]中的命题2.4，将曲率表示为在1-球上传输计划的上确界，从而在证明中利用紧致性与对偶性。
• 利用关键引理（引理2.3）构造一个顶点对的迭代序列，使距离不断增加，同时通过曲率与梯度界控制函数值的差异。
• 采用反证法：假设存在非常数的有界调和函数，将导致函数值差异超过其$L^∞$范数，违反有界性。
• 在集中测度方面，应用Schr"{o}dinger（1998）的半群方法，推导出热半群下函数指数矩的微分不等式。
• 利用曲率界$\kappa(x,y) \geq K > 0$与$\operatorname{Deg}_{\max} \leq 1$控制热流梯度的衰减，从而导出具有指数$Kr^2$的高斯尾部界。

实验结果

研究问题

• RQ1 图上具有非负Ollivier曲率是否意味着Liouville性质成立，即所有有界调和函数均为常数？
• RQ2 在正Ollivier曲率下，是否可以将集中测度结果改进至超越现有界限，特别是在尾部衰减的指数方面？
• RQ3 是否存在一种方法，可在不依赖梯度估计或Bakry-Émery型曲率的情况下，从Ollivier曲率导出分析刚性结果？
• RQ4 传输计划与最优耦合技术如何与具有曲率约束的图上调和函数的行为相关联？
• RQ5 Schr"{o}dinger（1998）的方法是否可被调整，以在Ollivier曲率下获得精确的集中测度界？

主要发现

• 所有具有非负Ollivier曲率的图均满足Liouville性质：每个有界调和函数均为常数。
• 该证明依赖于构造一列距离递增且函数值差异受控的顶点对，若调和函数非常数，则会导致矛盾。
• 曲率条件确保函数值差异的增长速度不会超过距离，而迭代构造迫使违反$L^\infty$范数。
• 对于正Ollivier曲率$\kappa(x,y) \geq K > 0$，本文建立了高斯集中测度界：$m(f > r) \leq e^{-Kr^2}$，优于Ollivier的$e^{-K^2 r^2}$（当$r$较小时）。
• 改进后的界对所有$r > 0$成立，无限制，且在$\operatorname{Deg}_{\max} \leq 1$的约束下，指数$Kr^2$为最优（至常数因子）。
• 结果表明，即使缺乏梯度衰减估计，非负Ollivier曲率仍蕴含强分析刚性，标志着向理解Ollivier曲率分析含义迈出关键一步。