[論文レビュー] Sharp relations between volume growth, isoperimetry and resistance in vertex-transitive graphs

Romain Tessera, Matthew Tointon|arXiv (Cornell University)|Jan 6, 2020

Limits and Structures in Graph Theory参考文献 8被引用数 10

ひとこと要約

この論文は、頂点推移的グラフ上の単純ランダムウォークの逸脱確率について、鋭い有限的境界を確立し、普遍的なギャップを示している：ウォークは再帰的であるか、あるいは普遍定数 c よりも大きな確率で逸脱する。Varopoulosの定理を、体積増加、等周性、抵抗と結びつけることで精緻化し、2002年のBenjaminiとKozmaの予想を有限グラフにおいても裏付けた。

ABSTRACT

We prove sharp bounds on the probability that the simple random walk on a vertex-transitive graph escapes the ball of radius r before returning to its starting point. In particular, this shows that if the ball of radius r has size slightly greater than r^2 then this probability is bounded from below. On the other hand, we show that if the ball of radius r has volume slightly less than r^3 then this probability decays logarithmically for all larger balls. These results represent a finitary refinement of Varopoulos's theorem that a random walk on a vertex-transitive graph is recurrent if and only if the graph has at most quadratic volume growth. They also combine to show that there is a gap for escape probabilities: there exists a universal constant c such that the random walk on an arbitrary vertex-transitive graph is either recurrent or has a probability of at least c of escaping to infinity. We also prove versions of these results for finite graphs, in particular confirming and strengthening a conjecture of Benjamini and Kozma from 2002. Amongst other things, we also generlise our results to give a sharp finitary version of the characterisation of p-parabolic vertex-transitive graphs, and prove a number of sharp isoperimetric inequalities for vertex-transitive graphs.

研究の動機と目的

• 頂点推移的グラフにおけるランダムウォークの再帰性に関するVaropoulosの定理を、有限的で定量的な境界を導入することで精緻化すること。
• 頂点推移的グラフにおける体積増加、等周的性質、抵抗の間の鋭い関係を確立すること。
• BenjaminiとKozma（2002年）が提示した有限頂点推移的グラフにおける逸脱確率に関する予想を解決すること。
• 結果を p-放物的グラフへ一般化し、頂点推移的構造における鋭い等周不等式を導出すること。

提案手法

• 半径 r の球に到達する前に、出発点に戻る前に逸脱する確率の鋭い境界を導出する。
• 体積増加条件（r² 略超えまたは r³ 略未満）を、逸脱行動を分類するための主要パラメータとして用いる。
• スペクトルグラフ理論および抵抗ネットワークの技術を適用し、逸脱確率とグラフ構造の関係を明らかにする。
• 頂点推移的グラフにおける p-放物的性質の有限的バージョンを導入する。
• 混合速度および逸脱速度を制御するために、等周不等式を中心的ツールとして用いる。
• 確率論的および幾何的手法を統合し、逸脱確率に対する普遍的な下界を証明する。

実験結果

リサーチクエスチョン

• RQ1 頂点推移的グラフにおいて、再帰的行動と正の逸脱確率を分ける体積増加の正確な閾値は何か？
• RQ2 有限および無限の頂点推移的グラフにおいて、等周的性質およびグラフ抵抗は逸脱確率とどのように関係するか？
• RQ3 再帰的でない場合に、逸脱確率に対して普遍的な下界を、グラフに依存せずに確立できるか？
• RQ4 頂点推移的グラフにおいて、鋭い等周不等式はどの程度成立し、既知の境界をどのように精緻化するか？
• RQ5 BenjaminiとKozmaの予想は、鋭い体積および等周的条件のもとで、有限頂点推移的グラフにおいても成立するか？

主な発見

• 半径 r の球の体積が r² 略超えであれば、その球からの逸脱確率は一様に下から有界である。
• 半径 r の球の体積が r³ 略未満であれば、すべてのより大きな球において逸脱確率は対数的に減少する。
• ある普遍定数 c > 0 が存在し、逸脱確率はゼロ（再帰的）または c 以上（非再帰的）であることが保証され、逸脱行動にギャップが存在することが示された。
• 本結果は、2002年のBenjaminiとKozmaの予想を有限頂点推移的グラフにおいても確認・強化した。
• 頂点推移的グラフに対して鋭い等周不等式が確立され、体積と拡張性の観点から既知の境界が精緻化された。
• p-放物的性質の有限的バージョンが証明され、体積増加が再帰性および逸脱を正確に定量的に関連づけた。