[论文解读] Uniqueness of percolation on products with Z

Itaï Benjamini, Gady Kozma|arXiv (Cornell University)|May 13, 2011

Stochastic processes and statistical mechanics参考文献 9被引用 3

一句话总结

本文构造了一个具有次指数体积增长的连通图 $G$，使得在 $G \times \mathbb{Z}$ 上的临界渗滤表现出无限多个无限簇，从而证明了在临界阈值下簇的非唯一性。该构造通过在稀疏层级上嵌入 $\mathbb{Z}^d$ 晶格的修改树实现，结果通过基于三岔点和 $\mathbb{Z}$ 上质量传输原理的反证法证明，违反了可约性。

ABSTRACT

We show that there exists a connected graph G with subexponential volume growth such that critical percolation on the product of G with the line has infinitely many infinite clusters. We also give some conditions under which this cannot occur.

研究动机与目标

• 为解决 Sznitman 提出的问题：即 $G$ 的可约性是否意味着在 $G\times\mathbb{Z}$ 渗滤中仅有有限多个无限簇。
• 构造一个反例，表明即使在次指数增长下，$G\times\mathbb{Z}$ 上的临界渗滤仍可能具有无限多个无限簇。
• 研究 $G\times\mathbb{Z}$ 避免无限多个无限簇的条件，特别是在强可约性和体积增长的背景下。
• 探索具有均匀指数增长且强可约（即不包含非可约子图）的图的存在性，这是几何群论中的一个长期开放问题。

提出的方法

• 构造一个度数为 $4d$ 的树，其层级 $l_n$ 按 $l_{n+1} = l_n + \lceil d^2 \log(n+1) \rceil$ 增长，形成稀疏区间。
• 在每个层级转换 $l_n \to l_{n+1}$ 时，将每条边替换为一个 $\mathbb{Z}^d$ 晶格，将端点连接到晶格中的 $(0,\dots,0)$ 和 $(n,\dots,n)$。
• 利用当 $d \to \infty$ 时 $p_c(\mathbb{Z}^{d+1}) \sim 1/(2d)$ 的事实，确保 $G\times\mathbb{Z}$ 上的临界渗滤处于 $p_c(\mathbb{Z}^{d+1})$，此时无限簇开始出现。
• 在 $G\times\mathbb{Z}$ 中定义“层级之间”的路径，以隔离可独立分析渗滤行为的区域。
• 在 $\mathbb{Z}$ 上应用质量传输原理，表明三岔点的存在会导致形成一个三正则的三岔点树。
• 通过证明在大区间内此类点的数量超过在树结构下可能的值，导出对 $\mathbb{Z}$ 可约性的矛盾。

实验结果

研究问题

• RQ1 可约性是否意味着 $G$ 的 $G\times\mathbb{Z}$ 在临界渗滤中仅有有限多个无限簇？
• RQ2 一个具有次指数体积增长的图 $G$ 是否可能支持 $G\times\mathbb{Z}$ 上临界渗滤中出现无限多个无限簇？
• RQ3 是否存在一个具有均匀指数增长且强可约（即不包含非可约子图）的图？
• RQ4 $G\times\mathbb{Z}$ 是否可能在 $p_c(G\times\mathbb{Z})$ 处表现出无限多个无限簇，而 $G$ 是强可约的？
• RQ5 在 $G\times\mathbb{Z}$ 上渗滤的唯一性非单调性是否允许在唯一与无限簇相变之间出现多次跃迁？

主要发现

• 存在一个具有次指数体积增长的连通图 $G$，使得在 $G\times\mathbb{Z}$ 上的临界渗滤具有无限多个无限簇。
• 所构造的图 $G$ 是强可约的，因为它不包含非可约子图，但仍表现出在 $p_c$ 处的非唯一性。
• 图 $G$ 的体积增长被限制在 $\exp(C\sqrt{r}\log r)$ 以内，确认了其为次指数增长。
• 证明依赖于 $\{v\}\times\mathbb{Z}$ 中三岔点的存在，这些点被证明形成一个三正则树，从而与 $\mathbb{Z}$ 的可约性矛盾。
• 该构造表明，当 $d$ 较大时，$p_c(G\times\mathbb{Z}) = p_c(\mathbb{Z}^{d+1})$，且在该 $p$ 值下，会涌现出无限多个簇。
• 避免无限多个簇的一个充分条件是：$G$ 中每个有限集合均可通过移除一个统一有界的边数与无穷远隔离开来。