[论文解读] 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

一句话总结

本文证明了施特拉姆关于在局部收敛于非阿梅纳传递图的均匀非阿梅纳传递图序列上渗滤临界概率局部性的猜想。在两个粗糙一致条件之下，它建立了当 $n \to \infty$ 时 $p_c(G_n) \to p_c(G)$，通过利用边界球上的调和测度和谱间隙估计，在均匀非阿梅纳设定下解决了该猜想。

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)$ 的收敛性。
• 识别出临界概率局部确定的几何与谱条件——具体而言，即粗糙一致性和均匀非阿梅纳性——的充分条件。
• 通过消除对球对称结构或大围长的依赖，扩展了此前在非阿梅纳图上的结果。
• 提供一个框架，通过边界集上的调和测度和谱间隙估计，在非阿梅纳设定下证明局部性。

提出的方法

• 使用局部收敛：若对每个 $R \in \mathbb{Z}_+$，当 $n$ 足够大时，$G_n$ 和 $G$ 的 $R$-邻域同构，则称 $G_n$ 局部收敛于 $G$。
• 对 $G$ 和 $\{G_n\}$ 应用粗糙一致条件，确保对体积增长和谱间隙的统一控制。
• 通过谱间隙界和命中测度的 $L^2$-范数控制，估计边界球 $\partial B_G(u,n)$ 上的调和测度比。
• 引入关键不等式 $\sum_{y \in A} b_n(y,u,n) \geq c_6$，其中 $A \subseteq \partial B_G(u,n)$ 满足 $\mu_n(A) \geq \lambda_1(G_n)/2$，该不等式取代了更强的假设。
• 通过比较 $\mu_n$（调和测度）与 $b_n(\cdot,u)$（格林函数比）来控制临界概率的行为。
• 通过谱和几何控制，将格里梅特-马尔施特伦的块构造和重正则化技术适应到非阿梅纳设定中。

实验结果

研究问题

• RQ1 对于局部收敛于传递图 $G$ 的均匀非阿梅纳序列 $\{G_n\}$，是否成立 $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$，该结果取代了更强的对称性假设。
• 作者表明，只要满足粗糙一致性和非阿梅纳性条件，即使不假设球对称或大围长，该猜想依然成立。
• 该结果意味着在非阿梅纳设定下，临界概率由局部几何决定，支持了渗滤中局部行为的普遍性。
• 该证明方法通过在边界上使用谱间隙和调和测度控制，将格里梅特-马尔施特伦的方法扩展到了非阿梅纳图。