[論文レビュー] 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 性質のエントロピー的特徴づけは、ランダムグラフ極限における曲率制約を検出するための重要なツールを提供する。
• 弱収束と相対コンパクト性により、無限大極限の結果を有限グラフに転送できる。
• 局所的弱収束極限のアプローチは、グラフ上のマルコフ連鎖の混合性を研究するための新しい道筋を提供する。