[论文解读] 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

一句话总结

本文证明了Bohman-Frieze随机图过程在临界点处表现出与经典Erdős-Rényi模型相同的临界行为：在临界窗口内，经适当重标度和中心化后的连通分量大小收敛于与标准乘法共alescent相同的极限分布。作者通过与近临界多类型分支过程的新型耦合及泛函分析工具，证明了尽管由于偏好边选择规则导致巨分量出现延迟，该过程在临界窗口内仍表现出 universality（普遍性）。

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.

研究动机与目标

• 严格分析Bohman-Frieze随机图模型在巨分量出现的临界窗口内的连通分量结构。
• 确定Bohman-Frieze过程在临界点是否属于与经典Erdős-Rényi模型相同的普遍性类。
• 在由于边生成规则导致巨分量出现延迟的情况下，建立重标度连通分量大小收敛于标准乘法共alescent的结论。
• 开发一种基于近临界多类型分支过程与泛函分析方法的耦合框架，以分析临界区域的动力学。

提出的方法

• 构造两个辅助过程 $\bar{\boldsymbol{C}}_n^{-}$ 和 $\bar{\boldsymbol{C}}_n^{+}$，它们在 $l^{2}_{\downarrow}$ 空间中随机有界住 Bohman-Frieze 过程 $\bar{\boldsymbol{C}}_n^{\scriptscriptstyle BF}$。
• 利用乘法共alescent作为两个边界过程的极限过程，借助 Aldous 等人已知的收敛结果。
• 在空间 $\mathcal{D}((-∞,\infty):l^{2}_{\downarrow})$ 中应用函数收敛技术，建立 Bohman-Frieze 过程收敛于同一极限。
• 应用 Aldous 提出的 $\mathcal{D}$-空间过程的紧致性准则，特别分析边界过程在平方 $l^2$-范数上的差异。
• 利用乘法共alescent的马氏性质与矩界，验证差过程 $\mathcal{V}(\lambda) = \mathcal{U}_+(\lambda) - \mathcal{U}_-(\lambda)$ 的紧致性。
• 利用 $l^{2}_{\downarrow}$ 上的偏序 $\preceq$ 比较连通分量构型，确保耦合中的单调性。

实验结果

研究问题

• RQ1 Bohman-Frieze 过程是否在临界窗口内表现出与经典 Erdős-Rényi 模型相同的临界行为，特别是收敛于乘法共alescent？
• RQ2 Bohman-Frieze 模型中巨分量出现的延迟如何影响临界点处连通分量大小的标度极限？
• RQ3 Bohman-Frieze 过程的动力学是否能在临界区域内由近临界多类型分支过程近似？
• RQ4 尽管边生成规则不同，Bohman-Frieze 模型中重标度连通分量大小的极限分布是否与 Erdős-Rényi 模型相同？

主要发现

• 重标度连通分量大小过程 $\bar{\boldsymbol{C}}_n^{\scriptscriptstyle BF}(\lambda)$ 沿着 $n \to \infty$ 在所有 $\lambda \in \mathbb{R}$ 上依分布收敛于标准乘法共alescent $\boldsymbol{X}(\lambda)$。
• 收敛性在 Skorokhod 空间 $\mathcal{D}((-∞,\infty):l^{2}_{\downarrow})$ 中成立，证实了整个轨迹的函数收敛。
• 临界窗口标度 $k(n) = n/2 + n^{2/3}t/2$ 导致连通分量大小为 $n^{2/3}$ 量级，与 Erdős-Rényi 情况一致。
• 极限过程具有普遍性：尽管边生成规则偏好孤立顶点，临界行为仍与经典模型一致。
• 通过乘法共alescent的矩界与马氏性质，建立了差过程 $\mathcal{V}(\lambda)$ 的紧致性。
• 通过 $\bar{\boldsymbol{C}}_n^{-} \preceq \bar{\boldsymbol{C}}_n^{\scriptscriptstyle BF} \preceq \bar{\boldsymbol{C}}_n^{+}$ 的耦合论证，确保过程被夹在两个已知极限之间，从而实现收敛。