Current browse context:
math
Change to browse by:
References & Citations
Mathematics > Probability
Title: Sparse expanders have negative curvature
(Submitted on 20 Jan 2021 (v1), last revised 1 Feb 2021 (this version, v2))
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 establish this, we work directly at 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 local weak convergence. The same approach also applies to the Bacry-Emery curvature condition CD$(0,\infty)$, thereby settling a recent conjecture of Cushing, Liu and Peyerimhoff (2019).
Submission history
From: Justin Salez [view email][v1] Wed, 20 Jan 2021 18:30:35 GMT (21kb)
[v2] Mon, 1 Feb 2021 17:01:37 GMT (23kb)
Link back to: arXiv, form interface, contact.