[论文解读] Sharpness of Bernoulli percolation via couplings

Hugo Vanneuville|arXiv (Cornell University)|Jan 20, 2022

Stochastic processes and statistical mechanics被引用 2

一句话总结

本文提出了一种基于耦合的新证明方法，证明了在传递的、无限的、局部有限的图上，伯努利渗滤中相变的尖锐性。通过引入一个涉及远离球面断开概率的随机支配不等式，该方法在不依赖微分恒等式或重整化技术的前提下，建立了亚临界相中的连通性指数衰减以及超临界相中的均场下界。

ABSTRACT

In this paper, we consider Bernoulli percolation on a locally finite, transitive and infinite graph (e.g. the hypercubic lattice $\mathbb{Z}^d$). We prove the following estimate, where $ heta_n(p)$ is the probability that there is a path of $p$-open edges from $0$ to the sphere of radius $n$: \[ \forall p\in [0,1],\forall m,n \ge 1, \quad heta_{2n} (p-2 heta_m(p))\le C\frac{ heta_n(p)}{2^{n/m}}. \] This result implies that $ heta_n(p)$ decays exponentially fast in the subcritical phase. It also implies the mean-field lower bound in the supercritical phase. We thus provide a new proof of the sharpness of the phase transition for Bernoulli percolation. Contrary to the previous proofs of sharpness, we do not rely on any differential formula. The main novelty is a stochastic domination result which is inspired by [Russo, 1982]. We also discuss a consequence of our result for percolation in high dimensions, where it can be seen as a near-critical sharpness estimate.

研究动机与目标

• 提供伯努利渗滤中相变尖锐性的新证明，避免依赖微分恒等式或重整化群方法。
• 在亚临界相（p < pc）中，建立原点与距离n连通的概率θn(p)的指数衰减。
• 推导出超临界相（p > pc）中的均场下界θ(p) ≥ (p − pc)/2。
• 将分析扩展至高维渗滤，为近临界上界θn(pc − ε)提供更短的证明。

提出的方法

• 引入一个随机支配结果：对任意p ∈ (0,1)，m,n ≥1，Ppπm(p)下ω|En的分布被Pp[· | 0 ↮ Sn+m]随机支配。
• 定义πn(p) = Pp[0 ↮ Sn] = 1 − θn(p)，聚焦于断开概率而非连通概率。
• 通过使用均匀随机变量，采用逐条边的耦合构造方法，耦合渗滤配置。
• 应用Harris–FKG不等式，对边为关键边的概率进行上界估计，其与断开概率πn+m(ek, p)相关联。
• 推导出关键不等式：θ2n(p − 2θm(p)) ≤ C₀ θn(p) / 2n/m，其中C₀ = 4 log 2。
• 将主不等式应用于高维渗滤（d ≥ 11），利用已知的θn(pc)的均场界，推导出近临界上界。

实验结果

研究问题

• RQ1 伯努利渗滤中的相变尖锐性是否可以不使用微分恒等式或重整化方法来证明？
• RQ2 在亚临界区域中，断开概率πn(p)与连通概率θn(p)之间的定量关系为何？
• RQ3 与现有证明相比，这种新的基于耦合的方法在简洁性与高维模型适用性方面表现如何？
• RQ4 该新方法能否在高维渗滤中获得近临界界，特别是θn(pc − ε)的界？

主要发现

• 本文建立了对所有p ∈ [0,1]及m,n ≥1成立的不等式：θ2n(p − 2θm(p)) ≤ 4 log 2 × θn(p) / 2n/m，这是核心技术结果。
• 该不等式意味着当p < pc时θn(p)的指数衰减，从而证明了亚临界相的尖锐性：θn(p) ≤ Ce−cn对某个c,C > 0成立。
• 该不等式还意味着当p > pc时θ(p) ≥ (p − pc)/2，通过新方法恢复了经典结果。
• 该方法为近临界上界θn(pc − ε) ≤ C n⁻² exp(−c ε¹/² n)（d ≥11）提供了新的、更短的证明，与[CHS21, HMS23]的结果一致。
• 在高维情形下结果是尖锐的，因为一臂指数η₁与关联长度指数ν满足η₁ν ≤ 1，且在均场区域取等。
• 耦合构造确保：对远离球面的断开事件进行条件化时，其分布被乘以πm(p)后的渗滤参数所随机支配，而当p < pc时πm(p)接近1。