[論文レビュー] A Phase Transition for the Metric Distortion of Percolation on the Hypercube

Omer Angel, Itaï Benjamini|ArXiv.org|Jun 25, 2003

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

ひとこと要約

本稿は、$H_n$ 上のベルヌーイ結合確率におけるメトリック歪度の段階的転移を $\alpha = 1/2$ で特定する。$p = n^{-\alpha}$ のとき、$\alpha < 1/2$ では高確率で定数歪度が達成可能であり、$\alpha > 1/2$ では歪度が $n$ に対して多項式的に増加する。これは、巨大成分が局所的に木構造的になり、測地的サイクルを失うためである。この結果は、確率的ハイパーキューブの幾何的性質における鋭い閾値を示している。

ABSTRACT

Let H_n be the hypercube {0,1}^n, and let H_{n,p} denote the same graph with Bernoulli bond percolation with parameter p=n^-α. It is shown that at α=1/2 there is a phase transition for the metric distortion between H_n and H_{n,p}. For α&lt;1/2, asymptotically there is a map from H_n to H_{n,p} with constant distortion (depending only on α). For α&gt;1/2 the distortion tends to infinity as a power of n. We indicate the similarity to the existence of a non-uniqueness phase in the context of infinite nonamenable graphs.

研究の動機と目的

• ハイパーキューブ $H_n$ とその確率的変種 $H_{n,p}$ 間のメトリック歪度が、$p = n^{-\alpha}$ に従ってどのように変化するかを分析すること。
• $\alpha = 1/2$ における歪度行動の鋭い段階的転移を特定すること。
• $\alpha$ に応じて歪度が $n$ に対して有界のままか、増加するかを同定すること。
• 確率的ハイパーキューブの幾何的挙動を、非アーメンなグラフにおける非一意的無限クラスタなど、より広範な現象と結びつけること。

提案手法

• 写像 $f$ による距離の拡大 $D_+(f)$ と収縮 $D_-(f)$ を用いて、$D(f) = D_+(f)/D_-(f)$ としてメトリック歪度を定義する。
• 基本的な写像として恒等写像を用い、$\alpha < 1/2$ のとき、ほとんどすべての頂点対が $H_{n,p}$ において距離比が有界のままであることを示し、定数歪度を示す。
• $\alpha > 1/2$ のとき、巨大成分が局所的に木構造的になり、測地的サイクルを欠くことから歪度が増加することを証明する。
• 長さ $2l \in [2n^\beta, 2n^\gamma]$ の単純サイクルから距離 $\delta$ 以内にある頂点の確率を、組合せ的数え上げと $p^{2l} = n^{-2\alpha l}$ を用いて評価する。
• 二重数え上げ法を適用：歪度が $n^\beta$ で有界ならば、写像 $f$ の像には少なくとも $2^n n^{-n^\beta}$ 個の頂点が存在し、これらは制御された長さのサイクルの近くに位置する必要がある。
• このような頂点の期待数が非指数的であることを示し、低歪度写像の存在と矛盾する。これにより、歪度が高確率で $n^\beta$ を超えることが証明される。

実験結果

リサーチクエスチョン

• RQ1 $p = n^{-\alpha}$ のとき、$\alpha = 1/2$ でメトリック歪度に段階的転移が生じるか？
• RQ2 $p = a n^{-1/2}$ のとき、$\alpha = 1/2$ の周囲に臨界ウィンドウが存在するか？
• RQ3 $\alpha > 1/2$ のとき、歪度のスケーリングはどのようになるか？下界 $n^\beta$ で $\beta < (2\alpha - 1)/4$ はタイトか？
• RQ4 $\alpha < 1/2$ のとき、歪度は一様に有界であり、さらに $1 + \lfloor \alpha / (1/2 - \alpha) \rfloor$ に改善可能か？
• RQ5 $\alpha < 1/5$ のとき、$H_n$ から $H_{n,p}$ への埋め込みにおける最小遅延は何か？

主な発見

• $\alpha < 1/2$ のとき、定数 $c = c(\alpha)$ が存在し、$\mathbb{P}(D(H_n, H_{n,p}) < c) \to 1$ ($n \to \infty$) が成り立つ。
• $\alpha > 1/2$ のとき、$\beta = \beta(\alpha) > 0$ が存在し、$\mathbb{P}(D(H_n, H_{n,p}) < n^\beta) \to 0$ ($n \to \infty$) が成り立つ。
• $\alpha > 1/2$ のとき、歪度は $n$ に対して多項式的に増加し、指数 $\beta$ は $\beta < (2\alpha - 1)/4$ を満たす。
• 長さ $[2n^\beta, 2n^\gamma]$ の単純サイクルから距離 $\delta$ 以内にある頂点の確率は、$n^{\delta + 1 + n^\beta(\beta + 1 - 2\alpha)}$ 以下である。
• 長さ $[n^{\gamma - \beta}, 2n^{\gamma + \beta}]$ のサイクルから距離 $2n^{2\beta}$ 以内にある頂点の期待数は非指数的であり、低歪度写像の存在と矛盾する。
• 証明から、$\alpha > 1/2$ のとき歪度は $n$ に対して超多項式的に増加することが示され、また遅延もおそらく超多項式的に増加する。