[論文レビュー] Locality of percolation critical probabilities: uniformly nonamenable case

Song He, Kainan Xiang+1 more|arXiv (Cornell University)|Oct 8, 2014

Stochastic processes and statistical mechanics参考文献 13被引用数 4

ひとこと要約

この論文は、局所的に非アーメンな推移的グラフに収束する一様非アーメンな列 $\{G_n\}$ に対して、シュラムの予想である、確率的臨界確率の局所性を証明する。二つの粗い一様性条件の下で、$p_c(G_n) \to p_c(G)$ が $n \to \infty$ のとき成り立つことを確立し、境界球上の調和測度とスぺクトルギャップ推定を用いて、一様非アーメンな設定における予想を解決する。

ABSTRACT

Let $\{G_n\}_{n=1}^{\infty}$ be a sequence of transitive infinite connected graphs with $\sup\limits_{n\geq 1} p_c(G_n) < 1,$ where each $p_c(G_n)$ is bond percolation critical probability on $G_n.$ Schramm (2008) conjectured that if $G_n$ converges locally to a transitive infinite connected graph $G,$ then $p_c(G_n) ightarrow p_c(G)$ as $n ightarrow\infty.$ We prove the conjecture when $G$ satisfies two rough uniformities, and $\{G_n\}_{n=1}^{\infty}$ is uniformly nonamenable.

研究の動機と目的

• 推移的グラフに対する2008年シュラムの予想である、確率的臨界確率の局所性を解決すること。
• 列 $\{G_n\}$ が一様非アーメンで、局所的に推移的グラフ $G$ に収束するとき、$p_c(G_n) \to p_c(G)$ の収束を確立すること。
• 具体的には、粗い一様性と一様非アーメン性という幾何的・スペクトル的条件が、臨界確率が局所的に決定可能であるための十分条件であることを同定すること。
• 球対称構造や大きなゴージョンを仮定しないで、非アーメングラフに関する先行結果を拡張すること。
• 調和測度と境界集合におけるスぺクトルギャップ推定を用いて、非アーメン設定における局所性を示すフレームワークを提供すること。

提案手法

• 局所収束の使用：$G_n$ が $G$ に局所収束するとは、任意の $R \in \mathbb{Z}_+$ に対して、十分大きな $n$ において $G_n$ と $G$ の $R$-近傍が同型であること。
• グラフ $G$ と $\{G_n\}$ に対する粗い一様性条件の適用により、体積成長とスペクトルギャップの均一な制御を保証する。
• スペクトルギャップの境界と $L^2$-ノルムによる到達測度の制御を用いて、境界球 $\partial B_G(u,n)$ 上の調和測度比を推定する。
• 集合 $A \subseteq \partial B_G(u,n)$ に対して $\mu_n(A) \geq \lambda_1(G_n)/2$ のとき、$\sum_{y \in A} b_n(y,u,n) \geq c_6$ という鍵となる不等式を導入し、より強い仮定に代わる。
• $\mu_n$（調和測度）と $b_n(\cdot,u)$（グリーン関数比）の比較を用いて、臨界確率の挙動を制御する。
• スペクトル的および幾何的制御を用いて、グリムネット＝マルシュトゥのブロック構成と再正規化技術を非アーメン設定に適応する。

実験結果

リサーチクエスチョン

• RQ1 一様非アーメンな列 $\{G_n\}$ が局所的に推移的グラフ $G$ に収束するとき、$p_c(G_n) \to p_c(G)$ は成立するか？
• RQ2 球対称構造や大きなゴージョンを仮定しないで、$p_c$ の局所性を確立できるか？
• RQ3 正の調和測度を持つ部分集合 $A \subseteq \partial B_G(u,n)$ に対して、和 $\sum_{y \in A} b_n(y,u,n)$ に一様下界が存在するか？
• RQ4 局所収束の下で、調和測度 $\mu_n$ とグリーン関数比 $b_n(\cdot,u)$ は漸近的に絶対連続か？
• RQ5 非アーメンな推移的グラフにおいて、臨界確率は純粋に局所幾何によって特徴づけられるか？

主な発見

• 論文は、二つの粗い一様性条件の下で、一様非アーメンな推移的グラフ列に対してシュラムの予想を証明する。
• 列 $\{G_n\}$ が一様非アーメンで $G_n \to G$ 局所収束するとき、$p_c(G_n) \to p_c(G)$ が $n \to \infty$ のとき成り立つことを確立する。
• 主な技術的結果は、$\mu_n(A) \geq \lambda_1(G_n)/2$ を満たす部分集合 $A \subseteq \partial B_G(u,n)$ に対して、$\sum_{y \in A} b_n(y,u,n) \geq c_6$ という一様下界が得られることで、より強い対称性仮定に代わる。
• 著者らは、球対称性や大きなゴージョンを仮定しないで、粗い一様性と非アーメン性の条件が満たされていれば、予想が成立することを示す。
• この結果は、非アーメン設定において臨界確率が局所幾何によって決定されることを示唆し、確率的臨界確率の局所的挙動の普遍性を支持する。
• 証明技法は、スペクトルギャップと境界における調和測度の制御を用いて、グリムネット＝マルシュトゥの手法を非アーメングラフに拡張する。