[论文解读] Subcritical phase of $d$-dimensional Poisson-Boolean percolation and its vacant set

Hugo Duminil‐Copin, Aran Raoufi+1 more|arXiv (Cornell University)|May 2, 2018

Stochastic processes and statistical mechanics被引用 6

一句话总结

该论文在较弱的矩条件（$r^{5d-3}$ 可积性）下，建立了 $d$-维泊松-布尔渗滤的精确相变，证明了 $ olambda_c = \tilde{\lambda}_c$，且当半径分布具有指数尾部时，连接概率呈指数衰减。证明方法利用随机算法推导连接概率的微分不等式，避免了对指数衰减的依赖，并将结果推广至空集，同样获得了精确性结果。

ABSTRACT

We prove that the Poisson-Boolean percolation on $\mathbb{R}^d$ undergoes a sharp phase transition in any dimension under the assumption that the radius distribution has a $5d-3$ finite moment (in particular we do not assume that the distribution is bounded). More precisely, we prove that: -In the whole subcritical regime, the expected size of the cluster of the origin is finite, and furthermore we obtain bounds for the origin to be connected to distance $n$: when the radius distribution has a finite exponential moment, the probability decays exponentially fast in $n$, and when the radius distribution has heavy tails, the probability is equivalent to the probability that the origin is covered by a ball going to distance $n$. - In the supercritical regime, it is proved that the probability of the origin being connected to infinity satisfies a mean-field lower bound. The same proof carries on to conclude that the vacant set of Poisson-Boolean percolation on $\mathbb{R}^d$ undergoes a sharp phase transition. This paper belongs to a series of papers using the theory of randomized algorithms to prove sharpness of phase transitions.

研究动机与目标

• 在半径分布的矩假设最小化条件下，建立 $ olambda^d$ 中泊松-布尔渗滤的精确相变。
• 在 $r^{5d-3}$ 矩条件下，证明临界参数 $ olambda_c$ 与 $ olambda_c^*$ 相等，从而表明相变的精确性。
• 刻画子临界区域中连接概率 $ theta_r(\lambda)$ 的衰减速率，区分指数尾部与重尾半径分布的情形。
• 将精确性结果推广至泊松-布尔模型的空集，证明在半径分布具有紧支集时 $ olambda_c^* = \tilde{\lambda}_c^*$。
• 发展并应用新的重正化不等式，以在不假设连接概率指数衰减的前提下控制连接概率。

提出的方法

• 利用随机算法推导连接概率的微分不等式，从而在高维中实现精确性证明。
• 引入函数 $ pi_r^\alpha(\lambda)$，表示单个球覆盖原点且与 $ partial B_r$ 相交的概率，作为连接性的关键基准。
• 通过引理19的递归不等式，利用缩放和次可加性，将 $ theta_r^\alpha(\lambda)$ 用 $ pi_r^\alpha(\lambda)$ 有界。
• 通过与 $ varphi_r(\lambda)$（即单个球覆盖0且与 $ partial B_r$ 相交的概率）比较，控制 $ theta_r(\lambda)$ 的衰减，适用于重尾分布。
• 利用 $g(\alpha,r)$ 和 $f(\alpha,r)$ 关于 $r \to \infty$ 的一致收敛性及其连续极限，分析重尾情形下的渐近等价性。
• 通过考虑布尔模型补集中的连通性，并利用对偶连通事件 $x^* \leftrightarrow y$，将方法适配至空集。

实验结果

研究问题

• RQ1 当半径分布仅有 $5d-3$ 阶矩时，$ mathbb{R}^d$ 中的泊松-布尔渗滤是否经历精确相变？
• RQ2 在不假设半径分布具有指数尾部的前提下，能否证明 $ olambda_c = \tilde{\lambda}_c$？
• RQ3 当半径分布具有重尾时，子临界区域中 $ theta_r(\lambda)$ 的衰减行为如何？
• RQ4 当半径分布具有紧支集时，泊松-布尔渗滤的空集是否也经历精确相变？
• RQ5 当半径尾部衰减为 $r^{-c}$ 或 $ exp(-c r^\alpha)$ 时，连接概率 $ theta_r(\lambda)$ 是否渐近等价于 $ varphi_r(\lambda)$？

主要发现

• 在假设 $\int_{\mathbb{R}^+} r^{5d-3} d\mu(r) < \infty$ 下，临界参数满足 $\nolambda_c = \tilde{\lambda}_c$，从而证明了相变的精确性。
• 当 $\lambda < \tilde{\lambda}_c$ 且尾部呈指数衰减（$\mu[r,\infty] \leq \exp(-cr)$）时，连接概率呈指数衰减：对所有 $r \geq 1$，有 $\ntheta_r(\lambda) \leq \exp(-c_\lambda r)$。
• 当半径尾部衰减为 $\mu[r,\infty] = r^{-c}$（$c > 0$）时，连接概率 $\ntheta_r(\lambda)$ 渐近等价于 $\nvarphi_r(\lambda)$，即单个球覆盖0且与 $\partial B_r$ 相交的概率。
• 对于亚指数尾部（如 $\mu[r,\infty] = \exp(-c r^\alpha)$，$\alpha \in (0,1)$），当 $r \to \infty$ 时，连接概率满足 $\ntheta_r(\lambda) \sim \nvarphi_r(\lambda)$。
• 当半径分布具有紧支集时，泊松-布尔渗滤的空集经历精确相变，且 $\nolambda_c^* = \tilde{\lambda}_c^*$。
• 基于随机算法与重正化不等式的证明方法具有鲁棒性，适用于占据集与空集，即使在不假设连接概率指数衰减的前提下也成立。