[论文解读] Existence of an unbounded vacant set for subcritical continuum percolation

Daniel Ahlberg, Vincent Tassion+1 more|arXiv (Cornell University)|Jun 9, 2017

Stochastic processes and statistical mechanics参考文献 8被引用 2

一句话总结

本文证明，在二维泊松玻尔兹曼渗滤模型中，若半径分布的二阶矩有限，则未占据区域存在无界连通分量的临界强度等于占据区域的临界强度。作者提出一种新颖的佩尔斯型论证方法，避免使用重正则化技术，证明若不存在长程占据连接，则几乎必然存在无界未占据连通分量，从而在最小矩条件假设下解决了长期悬而未决的问题。

ABSTRACT

We consider the Poisson Boolean percolation model in $\mathbb{R}^2$, where the radii of each ball is independently chosen according to some probability measure with finite second moment. For this model, we show that the two thresholds, for the existence of an unbounded occupied and an unbounded vacant component, coincide. This complements a recent study of the sharpness of the phase transition in Poisson Boolean percolation by the same authors. As a corollary it follows that for Poisson Boolean percolation in $\mathbb{R}^d$, for any $d\ge2$, finite moment of order $d$ is both necessary and sufficient for the existence of a nontrivial phase transition for the vacant set.

研究动机与目标

• 为解决在 R² 中子临界连续渗滤下，未占据与占据渗滤临界阈值是否在最小矩条件下一致的开放问题。
• 证明半径分布的有限二阶矩是任意维度 d ≥ 2 中未占据集发生非平凡相变的充分必要条件。
• 提出一种基于佩尔斯型论证的新证明技术，避免先前工作中依赖的强弱相关性假设。
• 将相变尖锐性结果扩展至高维中未占据集，在最小矩条件下保持成立。

提出的方法

• 引入一种佩尔斯型论证，用于控制围绕大球 B(0, L) 的‘项链’——即半径递减的球序列——出现的概率，此类项链对应于原点周围的占据环路。
• 将‘项链’定义为一系列半径递减的球，其并集将 B(0, L) 与无穷远分离，且在移除任意一个球后仍保持连通性。
• 采用对偶表述：B(0, L) 在未占据集中不与无穷远连通的概率，等于存在占据环路（即围绕 B(0, L) 的项链）的概率。
• 通过对第二大海量球半径的 dyadic 尺度进行并集界分解，将项链出现的概率分解为可处理的部分。
• 利用泊松尾部界和几何估计，控制满足特定大小与位置约束的球的期望数量。
• 利用有限二阶矩条件（H2）确保随着尺度增大，大半径区域上的尾部积分 ∫ z² μ(dz) 趋于零。

实验结果

研究问题

• RQ1 在二维泊松玻尔兹曼渗滤中，若仅假设半径分布具有有限二阶矩，未占据集的临界阈值是否与占据集一致？
• RQ2 有限二阶矩条件（H2）是否为 R² 中未占据集发生非平凡相变的充分必要条件？
• RQ3 能否将佩尔斯型论证适配至无需依赖重正则化或强弱相关性假设的连续渗滤模型？
• RQ4 当半径分布具有有限 d 阶矩时，临界阈值的一致性是否可推广至高维 d ≥ 2？
• RQ5 二阶矩条件在确保子临界区域内无界未占据连通分量存在的作用是什么？

主要发现

• 在二维泊松玻尔兹曼渗滤中，若满足有限二阶矩条件（H2），则未占据集与占据集的临界阈值一致，即 λ⋆c = λc。
• 有限二阶矩条件（H2）是 R² 中未占据集发生非平凡相变的充分必要条件。
• 在更高维度 d ≥ 2 中，有限 d 阶矩条件（Hd）是小强度下未占据连通分量存在的充分必要条件，即 λ⋆c ∈ (0, ∞)。
• 证明表明，若随着盒子尺寸增大，穿越大盒子的概率趋于零，则在（H2）条件下，几乎必然存在无界未占据连通分量。
• 作者构建了一种新型佩尔斯型论证，避免了先前基于重正则化的证明中所需的强弱相关性假设。
• 由于有限二阶矩的存在，∑j≥j₀ p(3j) 随 L → ∞ 而趋于零，从而确保项链概率衰减，完成证明。