[论文解读] Anatomy of a young giant component in the random graph

Jian Ding, Jeong Han Kim+2 more|ArXiv.org|Jun 10, 2009

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

一句话总结

本文對超臨界 Erdős-Rényi 隨機圖 $\mathcal{G}(n,p)$（其中 $p = (1+\varepsilon)/n$ 且 $\varepsilon$ 為小量）中的巨大連通 component 提供了完整的機率表徵，顯示該巨大連通 component 與一個由隨機 3-正則多重圖、隨機幾何邊長度及泊松-Galton-Watson 樹構成的模型是連續的。主要結果為精確的描述，使得以對所有 $\varepsilon$-區間的直徑與混合時間得出精確的漸近表達式。

ABSTRACT

We provide a complete description of the giant component of the Erdős-Rényi random graph $G(n,p)$ as soon as it emerges from the scaling window, i.e., for $p = (1+ε)/n$ where $ε^3 n o \infty$ and $ε=o(1)$. Our description is particularly simple for $ε= o(n^{-1/4})$, where the giant component $C_1$ is contiguous with the following model (i.e., every graph property that holds with high probability for this model also holds w.h.p. for $C_1$). Let $Z$ be normal with mean $\frac23 ε^3 n$ and variance $ε^3 n$, and let $K$ be a random 3-regular graph on $2\lfloor Z floor$ vertices. Replace each edge of $K$ by a path, where the path lengths are i.i.d. geometric with mean $1/ε$. Finally, attach an independent Poisson($1-ε$)-Galton-Watson tree to each vertex. A similar picture is obtained for larger $ε=o(1)$, in which case the random 3-regular graph is replaced by a random graph with $N_k$ vertices of degree $k$ for $k\geq 3$, where $N_k$ has mean and variance of order $ε^k n$. This description enables us to determine fundamental characteristics of the supercritical random graph. Namely, we can infer the asymptotics of the diameter of the giant component for any rate of decay of $ε$, as well as the mixing time of the random walk on $C_1$.

研究动机与目标

• 解析超臨界 Erdős-Rényi 隨機圖 $\mathcal{G}(n,p)$ 在相變點剛剛超越後的巨大連通 component 結構。
• 提供一個完整且明確的隨機圖模型，使其與巨大連通 component $\mathcal{C}_1$ 在 $\varepsilon = o(n^{-1/4})$ 時具有連續性。
• 推導巨大連通 component 上直徑與隨機游走混合時間等基本性質的精確漸近表達式。
• 克服先前方法在 $\varepsilon \to 0$ 時失效的限制，即在『年輕』巨大連通 component 區域中的問題。

提出的方法

• 透過抽樣一個常態分配的隨機變數 $Z \sim \mathcal{N}(\tfrac{2}{3}\varepsilon^3 n, \varepsilon^3 n)$ 來構建模型 $\tilde{\mathcal{C}}_1$。
• 在 $2\lfloor Z \rfloor$ 個頂點上生成一個隨機 3-正則多重圖 $\mathcal{K}$ 作為核心結構。
• 將 $\mathcal{K}$ 的每條邊以長度 i.i.d. 為幾何分配（均值為 $1/\varepsilon$）的路徑取代。
• 在所得圖的每個頂點上附加獨立的 $\mathrm{Poisson}(1-\varepsilon)$-Galton-Watson 樹。
• 建立 $\mathcal{C}_1$ 與 $\tilde{\mathcal{C}}_1$ 之間的連續性，即任何在 $\tilde{\mathcal{C}}_1$ 中以高機率成立的性質，亦以高機率在 $\mathcal{C}_1$ 中成立。
• 利用對 Cut-Off Line 算法的細緻分析與集中不等式，控制探索過程中活躍克隆與輕量克隆的數量。

实验结果

研究问题

• RQ1 當 $\varepsilon = o(n^{-1/4})$ 時，超臨界 Erdős-Rényi 隨機圖中巨大連通 component 的精確機率結構為何？
• RQ2 巨大連通 component 是否可由一個簡單且明確的隨機圖模型描述，且與之具有連續性？
• RQ3 在所有 $\varepsilon$-區間中，巨大連通 component 的直徑的精確漸近表達式為何？
• RQ4 在超臨界區段中，簡單隨機游走於巨大連通 component 上的混合時間為何？
• RQ5 當 $\varepsilon \to 0$ 時，2-核心與核結構如何演變？

主要发现

• 巨大連通 component $\mathcal{C}_1$ 與一個由隨機 3-正則多重圖、幾何邊長度及泊松-Galton-Watson 樹構成的模型具有連續性。
• 當 $\varepsilon = o(n^{-1/4})$ 時，$\mathcal{C}_1$ 的直徑漸近為 $\Theta(\varepsilon^{-1} \log n)$。
• 當 $\varepsilon = o(n^{-1/4})$ 時，簡單隨機游走在 $\mathcal{C}_1$ 上的混合時間漸近為 $\Theta(\varepsilon^{-2} \log^2 n)$。
• 對於較大的 $\varepsilon = o(1)$，核心結構推廣為一個隨機圖，其度數為 $k \geq 3$ 的頂點數 $N_k$ 滿足 $\mathbb{E}[N_k] \sim \varepsilon^k n$。
• 該構造能精確控制探索過程中活躍與輕量克隆的數量，進而實現高機率下的集中不等式。
• 分析確認，巨大連通 component 的結構在整個超臨界區段中均穩定，且可被所提模型良好近似。