[論文レビュー] Bohman-Frieze processes at criticality and emergence of the giant component

Shankar Bhamidi, Amarjit Budhiraja+1 more|arXiv (Cornell University)|Jun 6, 2011

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

ひとこと要約

本稿は、ボーマン＝フリーズランダムグラフ過程が、古典的なエレドシュ＝レニのモデルと同一の臨界的挙動を示すことを確立している。臨界的状況において、成分サイズは適切にスケーリング・リセンターされ、標準的な乗法的コalescentと同一の極限分布に収束する。著者らは、近臨界的多型ブランチャッチ過程との新しいカップリングおよび関数解析的手法を用いてこれを証明し、優先的エッジ選択ルールによって巨大成分の出現が遅れるにもかかわらず、臨界窓における普遍性を確認した。

ABSTRACT

The evolution of the usual Erdős-Rényi random graph model on n vertices can be described as follows: At time 0 start with the empty graph, with n vertices and no edges. Now at each time k, choose 2 vertices uniformly at random and attach an edge between these two vertices. Let \bfG_n(k) be the graph obtained at step k. Refined analysis in random graph theory now shows that for fixed t\in \Rbold, when k(n) = n/2+ n^{2/3} t/2, the sizes of the components in \bfG_n(k(n)) scale like n^{2/3} and rescaled component sizes converge to the standard multiplicative coalescent at time $t$. The last decade has seen variants of this process introduced, under the name Achlioptas processes, to understand the effect of simple changes in the edge formation scheme on the emergence of the giant component. Stimulated by a question of Achlioptas, one of the simplest and most popular of such models is the Bohman Frieze (BF) model wherein at each stage $k$, 2 edges e_1(k)=(v_1,v_2) and e_2(k) = (v_3, v_4) are chosen uniformly at random. If at this time v_1, v_2 are both isolated then this edge is added, otherwise e_2 is added. Then \cite{bohman2001avoiding} (and further analysis in \cite{spencer2007birth}) show that once again there is a critical parameter, which is larger than 1, above and below which the asymptotic behavior is as in the Erdős-Rényi setting. While an intense study for this and related models seems to suggest that at criticality, this model should be in the same universality class as the original Erdős-Rényi process, a precise mathematical treatment of the dynamics in the critical window has to date escaped analysis. In this work we study the component structure of the BF model in the critical window and show that at criticality the sizes of components properly rescaled and re-centered converge to the standard multiplicative coalescent.

研究の動機と目的

• 臨界窓におけるボーマン＝フリーズランダムグラフモデルの成分構造を厳密に分析すること。
• ボーマン＝フリーズ過程が、臨界的状況において古典的エレドシュ＝レニのモデルと同一の普遍性クラスに属するかどうかを特定すること。
• エッジ形成ルールによる巨大成分の遅れにもかかわらず、スケーリングされた成分サイズが標準的な乗法的コalescentに収束することを確立すること。
• 近臨界的多型ブランチャッチ過程と関数解析的手法を用いたカップリングフレームワークを構築し、臨界領域におけるダイナミクスを分析すること。

提案手法

• 成分サイズ空間 $l^{2}_{\downarrow}$ において、ボーマン＝フリーズ過程 $\bar{\boldsymbol{C}}_n^{\scriptscriptstyle BF}$ を確率的に有界化する2つの補助過程 $\bar{\boldsymbol{C}}_n^{-}$ と $\bar{\boldsymbol{C}}_n^{+}$ を構築する。
• 両方の有界過程の極限過程として乗法的コalescentを用い、アルドウスらの既知の収束結果を活用する。
• 空間 $\mathcal{D}((-∞,\infty):l^{2}_{\downarrow})$ における関数的収束技術を適用し、ボーマン＝フリーズ過程が同一の極限に収束することを確立する。
• アルドウスによる $\mathcal{D}$-空間過程の緊密性基準を用い、特に有界過程の二乗 $l^2$-ノルムの差を分析する。
• 乗法的コalescentのマルコフ性とモーメントバウンドを用いて、差過程 $\mathcal{V}(\lambda) = \mathcal{U}_+(\lambda) - \mathcal{U}_-(\lambda)$ の緊密性を検証する。
• 空間 $l^{2}_{\downarrow}$ 上の部分順序 $\preceq$ を活用し、成分構成を比較し、カップリングにおける単調性を保証する。

実験結果

リサーチクエスチョン

• RQ1 ボーマン＝フリーズ過程は、臨界窓において古典的エレドシュ＝レニのモデルと同一の臨界的挙動を示すか、具体的には乗法的コalescentに収束するか？
• RQ2 ボーマン＝フリーズモデルにおける巨大成分の出現遅延は、臨界的状況における成分サイズのスケーリング極限にどのように影響するか？
• RQ3 ボーマン＝フリーズ過程のダイナミクスは、臨界領域において近臨界的多型ブランチャッチ過程によって近似可能か？
• RQ4 異なるエッジ形成ルールがあるにもかかわらず、ボーマン＝フリーズモデルにおけるスケーリングされた成分サイズの極限分布は、エレドシュ＝レニモデルと同一か？

主な発見

• すべての $\lambda \in \mathbb{R}$ に対して、スケーリングされた成分サイズ過程 $\bar{\boldsymbol{C}}_n^{\scriptscriptstyle BF}(\lambda)$ は $n \to \infty$ のとき標準的な乗法的コalescent $\boldsymbol{X}(\lambda)$ に分布収束する。
• 収束はスコロホド空間 $\mathcal{D}((-∞,\infty):l^{2}_{\downarrow})$ で成立し、全軌道の関数的収束を確認する。
• 臨界窓のスケーリング $k(n) = n/2 + n^{2/3}t/2$ は、成分サイズが $n^{2/3}$ のオーダーに相当し、エレドシュ＝レニの場合と一致する。
• 極限過程は普遍的である：エッジ形成ルールが孤立頂点を優先するにもかかわらず、臨界的挙動は古典的モデルと一致する。
• 乗法的コalescentのモーメントバウンドとマルコフ性を用いて、差過程 $\mathcal{V}(\lambda)$ の緊密性が確立された。
• カップリングによる不等式 $\bar{\boldsymbol{C}}_n^{-} \preceq \bar{\boldsymbol{C}}_n^{\scriptscriptstyle BF} \preceq \bar{\boldsymbol{C}}_n^{+}$ により、過程が2つの既知の極限の間に挟まれ、収束が保証された。