[论文解读] Sparse expanders have negative Ollivier-Ricci curvature

Justin Salez|arXiv (Cornell University)|Jan 20, 2021

Geometric Analysis and Curvature Flows被引用 2

一句话总结

本文证明了有界度数的膨胀图无法具有非负的Ollivier-Ricci曲率，从而解决了长期悬而未决的开放问题。通过利用Benjamini-Schramm极限分析平稳随机图，并借助Liouville性质的熵表征，作者表明在无穷远处，谱膨胀与非负曲率不相容，随后通过弱收敛和相对紧致性将该结论传递至有限图。

ABSTRACT

We prove that bounded-degree expanders with non-negative Ollivier-Ricci curvature do not exist, thereby solving a long-standing open problem suggested by Naor and Milman and publicized by Ollivier (2010). In fact, this remains true even if we allow for a vanishing proportion of large degrees, large eigenvalues, and negatively-curved edges. To prove this, we work directly the level of Benjamini-Schramm limits, and exploit the entropic characterization of the Liouville property on stationary random graphs to show that non-negative curvature and spectral expansion are incompatible at infinity. We then transfer this result to finite graphs via weak convergence and a relative compactness argument. We believe that this local weak limit approach to mixing properties of Markov chains will have many other applications.

研究动机与目标

• 解决有界度数的膨胀图是否可能具有非负Ollivier-Ricci曲率的开放问题。
• 在平稳随机图的极限下，建立谱膨胀与非负曲率之间的不相容性。
• 通过弱收敛和相对紧致性论证，将该不相容性推广至有限图。
• 证明即使允许大度数、大特征值或负曲率边的比例趋于零，膨胀图中仍无法实现非负曲率。

提出的方法

• 通过Benjamini-Schramm极限分析问题，以研究图序列在无穷远处的行为。
• 利用平稳随机图上Liouville性质的熵表征，将曲率与混合行为联系起来。
• 证明非负曲率蕴含非平凡的调和函数，从而与谱膨胀矛盾。
• 应用弱收敛将无穷极限中的结果反推回有限图。
• 采用相对紧致性论证，确保极限行为能反映有限图的性质。
• 结合谱隙估计与曲率约束，在非负曲率假设下导出矛盾。

实验结果

研究问题

• RQ1 有界度数的膨胀图能否维持非负Ollivier-Ricci曲率？
• RQ2 在随机图极限中，谱膨胀与非负曲率之间是否存在根本性的不相容性？
• RQ3 当允许大度数、大特征值或负曲率边的比例趋于零时，是否仍无法在膨胀图中实现非负曲率？
• RQ4 能否通过熵表征平稳随机图上的Liouville性质，以检测曲率约束？
• RQ5 如何将无穷图极限中的结果转移至有限图，以证明结构性不可能性？

主要发现

• 有界度数的膨胀图无法具有非负Ollivier-Ricci曲率，从而解决了长期悬而未决的开放问题。
• 在平稳随机图的Benjamini-Schramm极限中，非负曲率与谱膨胀不相容。
• 即使允许大度数、大特征值或负曲率边的比例趋于零，该不相容性依然存在。
• Liouville性质的熵表征为检测随机图极限中的曲率约束提供了关键工具。
• 弱收敛与相对紧致性使得无穷极限中的结果能够被传递至有限图。
• 局部弱极限方法为研究图上马尔可夫链的混合性质提供了新途径。