[论文解读] Noise sensitivity in bootstrap percolation

Zsolt Bartha, Gábor Pete|arXiv (Cornell University)|Sep 28, 2015

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

一句话总结

本文研究了有限图上 $k$-邻域Bootstrap渗滤中的噪声敏感性，表明在 $d$-维环面 $[n]^d$ 上，当 $k=2$ 且 $d\geq2$ 时，临界密度下的完全占据事件是噪声敏感的；而在 $d$-正则随机图 $G_{n,d}$ 上，当 $2\leq k\leq d-2$ 时，该事件是噪声不敏感的。该结果的关键在于临界密度的行为：在环面上 $p_c \to 0$（噪声敏感），在随机图上 $p_c > 0$（不敏感）。

ABSTRACT

Answering questions of Itai Benjamini, we show that the event of complete occupation in 2-neighbour bootstrap percolation on the d-dimensional box [n]^d, for d\geq 2, at its critical initial density p_c(n), is noise sensitive, while in k-neighbour bootstrap percolation on the d-regular random graph G_{n,d}, for 2\leq k\leq d-2, it is insensitive. Many open problems remain.

研究动机与目标

• 确定在有限图上，$k$-邻域Bootstrap渗滤中完全占据事件在临界初始密度 $p_c(n)$ 处是否具有噪声敏感性或不敏感性。
• 解决 Itai Benjamini 提出的关于在 $[n]^d$ 和 $G_{n,d}$ 上Bootstrap渗滤中噪声敏感性的问题。
• 研究 $p_c(G_n,k)$ 的渐近行为与完全占据事件噪声敏感性之间的关系。
• 建立欧几里得型晶格与随机正则图之间Bootstrap渗滤噪声敏感性的对比，尽管两者均具有单调动力学。

提出的方法

• 使用离散傅里叶分析和噪声算子技术，分析初始配置与每个比特以概率 $\epsilon$ 独立重采样后的噪声版本之间的相关性衰减。
• 应用Russo公式和关键性估计，界定单个顶点对完全占据事件的影响，证明当 $d=2$ 时，$\mathbb{I}_x = \mathbb{P}_p(x \text{ 是关键点}) = O(\log^{3+o(1)}n / n^2)$。
• 使用噪声稳定性界 $\mathcal{S}_\varepsilon(f) \leq (6e+1) \cdot \mathcal{W}(f)^{\alpha(\varepsilon) \cdot \varepsilon}$，其中 $\mathcal{W}(f)$ 为总影响，$\alpha(\varepsilon)$ 依赖于 $p_c(n)$ 的对数尺度。
• 利用已知的渐近行为 $p_c([n]^d,2) = \Theta(1 / \log^{d-1}n)$ 和 $p_c(G_{n,d},k) \to p_c(\mathbb{T}_d,k) > 0$，比较不同图类型下的噪声敏感性。
• 通过环面 $\mathbb{T}_n^d$ 与方块 $[n]^d$ 之间的耦合论证，证明 $p_c([n]^d) = p_c(\mathbb{T}_n^d) + o(1/n^{1/3})$，且噪声稳定性均匀衰减。
• 证明当 $\epsilon_n \gg \log\log n / \log n$ 时，$[n]^d$ 上的关联性 $\mathrm{Corr}(f^\mathcal{C}_n(\omega), f^\mathcal{C}_n(\omega^{\epsilon_n})) \to 0$，从而确认噪声敏感性。

实验结果

研究问题

• RQ1 在 $[n]^d$ 上，2-邻域Bootstrap渗滤中完全占据事件在临界密度 $p_c(n)$ 处是否具有噪声敏感性？
• RQ2 在 $d$-正则随机图 $G_{n,d}$ 上，当 $2 \leq k \leq d-2$ 时，$k$-邻域Bootstrap渗滤中完全占据事件是否具有噪声敏感性或不敏感性？
• RQ3 完全占据事件的噪声敏感性是否与 $p_c(G_n,k) \to 0$ 或 $\liminf p_c(G_n,k) > 0$ 相关？
• RQ4 能否通过单个顶点的影响和临界窗口的结构来刻画Bootstrap渗滤的噪声敏感性？
• RQ5 噪声算子 $N_p^\epsilon$ 在完全占据事件指示函数上的行为，如何与噪声下相关性的衰减相关联？

主要发现

• 当 $d \geq 2$ 时，$[n]^d$ 上2-邻域Bootstrap渗滤的完全占据事件是噪声敏感的：对于任意 $\epsilon_n \gg \log\log n / \log n$，当 $n \to \infty$ 时，原始配置与噪声配置之间的相关性趋于零。
• 在 $d$-正则随机图 $G_{n,d}$ 上，当 $2 \leq k \leq d-2$ 时，完全占据事件是噪声不敏感的，即使在小噪声下，相关性仍保持远离零。
• 每个顶点 $x$ 对完全占据事件的临界影响 $\mathbb{I}_x$ 满足 $\mathbb{I}_x = O(\log^{3+o(1)}n / n^2)$（当 $d=2$ 时），导致总影响 $\mathcal{W}(\mathcal{C}_{\mathbb{T}_n^2}) = O(\log^{5+o(1)}n / n^2)$。
• 噪声稳定性衰减为 $O\left(\left(\frac{\log^{5+o(1)}n}{n^2}\right)^{\varepsilon \cdot \frac{1}{\log\log n}}\right)$，当 $\epsilon_n \gg \log\log n / \log n$ 时趋于零，从而在环面上确认了噪声敏感性。
• 临界密度满足 $p_c([n]^d,2) = p_c(\mathbb{T}_n^d,2) + o(1/n^{1/3})$，使得环面的噪声敏感性结果可转移至方块。
• 该结果提示一种普遍的二分性：当 $p_c \to 0$ 时出现噪声敏感性，当 $p_c > 0$ 时为不敏感性，尽管完整解释仍待揭示。