[論文レビュー] An upper bound for the critical probability on the Cartesian product graph of a regular tree and a line

Kohei Yamamoto|arXiv (Cornell University)|May 19, 2017

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

ひとこと要約

この論文は、$T_d$ を $d$-正則木とするとき、$T_d \square \mathbb{Z}$ 上のベルヌーイ枝percolationにおける臨界確率 $p_c$ の新しい上界を確立する。最初のステップのみに依存するのではなく、複数ステップにわたるクラスタ成長を追跡する分岐過程に基づく手法を精緻化することで、$d \geq 3$ に対して $p_c \leq 1/d$ を得、さらに $d=4$ の場合に $p_c < 0.225$ にさらに tightened し、この場合に $p_c < p_u$ を証明する。

ABSTRACT

In Bernoulli bond percolation on the Cartesian product graph of a $d$-regular tree and a line, we give an upper bound for the critical probability $p_c$.

研究の動機と目的

• ベルヌーイ枝percolationにおける $T_d \square \mathbb{Z}$ 上の臨界確率 $p_c$ の上界を改善すること。ここで $T_d$ は $d$-正則木、$\mathbb{Z}$ は整数直線である。
• $d=4$ の場合に $p_c < p_u$ が成り立つことを示し、非可換グラフ上でのpercolation理論における重要な問いを解決すること。
• 従来の研究が最初のステップの推定に依存するのに対し、複数ステップにわたるクラスタ成長を分析することで、分岐過程の手法を精緻化すること。

提案手法

• 著者たちは、$T_d \square \mathbb{Z}$ から $T_d$ への自然な射影 $\pi$ を用いて、積グラフ上での根からの距離 $n$ にあり、開パスによって根と接続されている頂点の数を分析する。
• 距離 $n$ におけるこのような頂点の数を数える確率変数 $X_n(\omega)$ を定義し、その母関数 $H_p(z)$ を用いてクラスタの成長を分析する。
• 重要な関数 $h_p(x) = 2H_p(px) + \frac{p}{1-p}H_p(p^2x)$ が導入され、ある $x < d-1$ に対して $h_p(x) \geq \frac{1-p}{p}$ が成り立つと、$p_c \leq p_0$ が導かれる。ここで $p_0$ はこのような $p$ の下界である。
• この手法では、部分木の生存確率 $\Phi_p(l)$ の間の調和平均と幾何平均の不等式を用いて、変形された分岐過程の生存確率を評価する。
• 指数的減衰推定を用いて $\Phi_p(l)^2$ の下界を導出し、$h_p(x) \geq \frac{1-p}{p}$ を満たす十分条件を得る。
• $d=4$ の場合、$p=0.225$ および $x=2.999$ における数値評価により、$h_p(x) \geq \frac{1-p}{p}$ かつ $x < d-1$ が成り立つことが確認され、$p_c < 0.225$ が得られる。

実験結果

リサーチクエスチョン

• RQ1 特に小さな $d$ に対して、以前の知られていたものよりタイトな $p_c(T_d \square \mathbb{Z})$ の上界が存在するか？
• RQ2 分岐過程の手法を最初のステップを越えて拡張することで、積グラフ上のpercolationにおける臨界確率の推定値を改善できるか？
• RQ3 $d=4$ の場合に $p_c < p_u$ が成り立つか？これは上臨界相における無限個の無限クラスタの存在を示唆する。
• RQ4 すべての $d \geq 4$ に対して、$p_c$ が $1/d$ より厳密に小さいことが示せるか？
• RQ5 クラスタ成長関数 $h_p(x)$ が、$p_c < p$ を示すために必要な不等式を満たすような $p$ が存在するか？

主な発見

• 本論文は、新しい上界を確立した：すべての $d \geq 3$ に対して $p_c(T_d \square \mathbb{Z}) \leq \frac{1}{d}$ であり、以前の上界 $\frac{d - \sqrt{d^2 - 4}}{2}$ よりも改善されている。
• $d=4$ の場合、$p=0.225$ および $x=2.999$ に対して $h_p(x) \geq \frac{1-p}{p}$ かつ $x < d-1=3$ が成り立つことから、$p_c < 0.225$ が示された。
• 既知の下界 $p_u \geq \left(\sqrt{3} + 1 + \sqrt{2\sqrt{3} - 1}\right)^{-1} \approx 0.232$ を用いて、$d=4$ 時に $p_c < 0.225 < 0.232 < p_u$ が成り立つと結論づけられ、この場合に $p_c < p_u$ が証明された。
• この手法は、最初のステップのみに注目するのではなく、複数ステップにわたるクラスタ成長を追跡することで、特に非可換グラフにおいて $p_c$ の推定値を著しく改善できることを示している。
• この結果は、$d=4$ の場合、無限個の無限クラスタがほとんど確実に存在する非空の領域が存在することを確認している。これはユークリッド格子では観察されない現象である。
• 解析により、関数 $h_p(x)$ は $[0, 1/p)$ 上で連続的かつ単調増加であり、$x < d-1$ に対して $h_p(x) \geq \frac{1-p}{p}$ が成り立つことは、$p_c$ の上界を定めるために必要かつ十分であることが示された。