[論文レビュー] Noise sensitivity in bootstrap percolation

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

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

ひとこと要約

本稿は、有限グラフ上の$k$-近傍ブートストラップパーコレーションにおけるノイズ感度を調査し、$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$-近傍ブートストラップパーコレーションにおける完全占有の事象が、臨界初期密度$p_c(n)$においてノイズに敏感か不感かを特定すること。
• イタイ・ベンジャミンが提起した、$[n]^d$および$G_{n,d}$におけるブートストラップパーコレーションのノイズ感度に関する問題を解決すること。
• 漸近的挙動$p_c(G_n,k)$と完全占有事象のノイズ感度との関係を調査すること。
• ユークリッド的ラティスとランダム正則グラフの両方でモノトニックなダイナミクスを示すが、ノイズ感度に差が生じる理由を対比すること。

提案手法

• 初期配置と、各ビットが確率$\epsilon$で独立に再サンプリングされるノイズ付きバージョンとの間の相関の減衰を分析するために、離散フーリエ解析とノイズ作用素の技術を用いる。
• ルッソの公式とピボタルティの推定を適用し、個々の頂点が完全占有事象に与える影響を評価し、$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 2近傍ブートストラップパーコレーションにおける$[n]^d$上での完全占有事象は、臨界密度$p_c(n)$においてノイズに敏感か？
• RQ2 $d$-正則ランダムグラフ$G_{n,d}$上での$k$-近傍ブートストラップパーコレーションにおける完全占有事象は、$2 \leq k \leq d-2$のときノイズに敏感か不感か？
• RQ3 完全占有事象のノイズ感度は、$p_c(G_n,k) \to 0$か$\liminf p_c(G_n,k) > 0$かに相関するか？
• RQ4 個々の頂点の影響と臨界ウィンドウの構造を用いて、ブートストラップパーコレーションのノイズ感度を特徴づけられるか？
• RQ5 完全占有事象の指示関数におけるノイズ作用素$N_p^\epsilon$の挙動は、ノイズ下での相関の減衰とどのように関係するか？

主な発見

• $d \geq 2$のとき、$[n]^d$上での2近傍ブートストラップパーコレーションにおける完全占有事象はノイズに敏感である：任意の$\epsilon_n \gg \log\log n / \log n$に対して、$n \to \infty$のとき、元の配置とノイズ付き配置との相関は0に収束する。
• $d$-正則ランダムグラフ$G_{n,d}$上では、$2 \leq k\leq d-2$のとき、完全占有事象はノイズに不感である。小さなノイズに対しても相関は0から離れて保たれる。
• 各頂点$x$のピボタル影響$\mathbb{I}_x$は、$d=2$のとき$\mathbb{I}_x = O(\log^{3+o(1)}n / n^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$のとき0に収束する。これにより、トーラス上でのノイズ感度が確認される。
• 臨界密度は$p_c([n]^d,2) = p_c(\mathbb{T}_n^d,2) + o(1/n^{1/3})$を満たし、トーラスからボックスへのノイズ感度の結果の移行が可能になる。
• この結果は一般化された二分岐を示唆している：$p_c \to 0$のときノイズに敏感、$p_c > 0$のとき不感であるが、完全な説明は未解決のままである。