[论文解读] Absence of infinite cluster for critical Bernoulli percolation on slabs

Hugo Duminil‐Copin, Vladas Sidoravičius+1 more|arXiv (Cornell University)|Jan 28, 2014

Stochastic processes and statistical mechanics参考文献 11被引用 5

一句话总结

该论文证明了在 slab 图 $\mathbb{Z}^2 \times \{0,\dots,k\}$ 上的临界伯努利渗滤中，$k \geq 0$ 时，几乎必然不存在无限簇。证明依赖于将多值映射原理新颖地应用于处理非相交交叉路径，从而推广至 $\mathbb{Z}^2$ 上的有限范围、旋转对称与反射对称的渗滤模型，建立了这些情形下相变的连续性。

ABSTRACT

We prove that for Bernoulli percolation on a graph $\mathbb{Z}^2 imes\{0,\dots,k\}$ ($k\ge 0$), there is no infinite cluster at criticality, almost surely. The proof extends to finite range Bernoulli percolation models on $\mathbb{Z}^2$ which are invariant under $π/2$-rotation and reflection.

研究动机与目标

• 建立伯努利渗滤在 slab 图 $\mathbb{Z}^2 \times \{0,\dots,k\}$ 上临界点处不存在无限簇的结论。
• 将结果扩展至 $\mathbb{Z}^2$ 上的有限范围、$\pi/2$-旋转与反射不变的伯努利渗滤模型。
• 提出一种处理高维渗滤中非相交交叉路径的新技术，这是 $\mathbb{Z}^d$（$d \geq 3$）中的主要障碍。
• 通过分析 slab 极限，为理解 $\mathbb{Z}^3$ 上的临界渗滤是否也缺乏无限簇奠定基础。

提出的方法

• 证明采用多值映射原理来控制产生特定交叉事件的配置数量，从而实现随机控制论证。
• 使用路径的词典序排列，确保最小路径唯一确定，并在局部修改下保持连通性。
• 构造定义了一个从具有大簇的配置到具有特定交叉路径的配置的映射 $\Psi$，通过在集合 $U$ 中的点处进行局部边翻转。
• 该方法依赖于：由于度数约束和排序，从 $\overline{S_{3n}}$ 到 $\overline{Z_n}$ 的最小路径被迫经过特定顶点，从而确保映射的唯一性和单射性。
• 关键不等式通过局部邻域中的边数作为缩放因子，将大簇的概率有界为交叉概率的倍数。
• 通过在 $\pi/2$-旋转和反射下的对称性与不变性，将论证扩展至有限范围模型，确保相同控制成立。

实验结果

研究问题

• RQ1 临界伯努利渗滤在 slab 图 $\mathbb{Z}^2 \times \{0,\dots,k\}$ 上是否几乎必然表现出无限簇？
• RQ2 多值映射原理能否被调整以处理非平面渗滤模型中的非相交交叉路径？
• RQ3 临界点处不存在无限簇的结论是否可推广至 $\mathbb{Z}^2$ 上的对称有限范围渗滤模型？
• RQ4 若 $p_c(k) \to p_c(\mathbb{Z}^3)$，能否利用 slab 结果推断 $\mathbb{Z}^3$ 上临界点处也不存在无限簇？

主要发现

• 对所有 $k > 0$，有 $\mathbf{P}_{p_c(k)}[0 \stackrel{\mathbb{S}_k}{\longleftrightarrow} \infty] = 0$，证明了在 slab 上临界点处不存在无限簇。
• 相同方法适用于 $\mathbb{Z}^2$ 上的有限范围、$\pi/2$-旋转与反射不变的渗滤模型，证明了相变的连续性。
• 证明引入了多值映射原理处理交叉路径非相交性的新颖应用，这是高维渗滤中的主要障碍。
• 该结果意味着，若在 $p_c(k)$ 附近簇密度关于 $k$ 一致衰减，则 $\mathbb{Z}^3$ 上的临界渗滤不存在无限簇，如命题 3 所形式化。
• 本文表明，对于 $\mathbb{Z}^2$，即使在有限范围对称相互作用下，相变仍保持连续，与长程模型中可能出现的不连续相变形成对比。