[论文解读] Component structure induced by a random walk on a random graph

Colin Cooper, Alan Frieze|arXiv (Cornell University)|May 10, 2010

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

一句话总结

本文研究了在两类随机图——连通阈值以上的Erdős–Rényi随机图 $G_{n,p}$ 与度数 $r \geq 3$ 的随机正则图 $G_r$ 上的随机游走。研究识别出空置集（未访问顶点）结构中的相变现象，表明当 $t \leq (1-\varepsilon)t^*$ 时，诱导子图 $\G(t)$ 包含一个唯一的巨大连通分量以及对数规模的连通分量；而当 $t \geq (1+\varepsilon)t^*$ 时，仅剩对数规模的连通分量，表明连通分量大小分布出现急剧转变。

ABSTRACT

We consider random walks on two classes of random graphs and explore the likely structure of the vacant set viz. the set of unvisited vertices. Let $\G(t)$ be the subgraph induced by the vacant set. We show that for random graphs $G_{n,p}$ (above the connectivity threshold) and for random regular graphs $G_r,\,r\geq 3$ there is a phase transition in the sense of the well-known Erd\H{os}-Renyi phase transition. Thus for $t\leq (1-\e)t^*$ we have a unique giant plus logarithmic size components and for $t\geq (1+\e)t^*$ we only have logarithmic sized components.

研究动机与目标

• 分析在随机图上进行的随机游走过程中，空置集（即未访问顶点集合）的连通分量结构。
• 确定空置集的连通分量结构中是否出现类似于Erdős–Rényi相变的相变现象。
• 刻画巨大连通分量消失、仅剩对数规模连通分量的临界时间 $t^*$。

提出的方法

• 分析连通阈值以上的 $G_{n,p}$ 上的随机游走，其中 $p$ 超过图连通性的阈值。
• 研究 $r \geq 3$ 的随机正则图 $G_r$ 上的随机游走，以评估空置集的结构变化。
• 将 $\G(t)$ 定义为时间 $t$ 时未访问顶点所诱导的子图，并分析其连通分量结构。
• 使用概率方法证明：当 $t \leq (1-\varepsilon)t^*$ 时，$\G(t)$ 包含一个唯一的巨大连通分量及对数规模的连通分量。
• 应用随机图论与随机过程中的技术，建立 $t^*$ 处存在锐利阈值的结论。
• 通过比较两种不同随机图模型中空置集的行为，推广相变结果的普适性。

实验结果

研究问题

• RQ1 在随机图上的随机游走中，空置集的连通分量结构是否表现出类似于Erdős–Rényi相变的相变现象？
• RQ2 巨大连通分量在空置集中消失的临界时间 $t^*$ 是什么？
• RQ3 当随机游走进程超过 $t^*$ 后，空置集中连通分量的大小分布如何演化？
• RQ4 空置集中的结构转变在不同随机图模型（如 $G_{n,p}$ 与随机正则图）中是否一致？
• RQ5 当 $t \gg t^*$ 时，空置集中连通分量大小的渐近行为如何？

主要发现

• 当 $t \leq (1-\varepsilon)t^*$ 时，由空置集诱导的子图 $\G(t)$ 包含一个唯一的巨大连通分量以及对数规模的连通分量。
• 当 $t \geq (1+\varepsilon)t^*$ 时，空置集仅诱导出对数规模的连通分量，表明巨大连通分量已不复存在。
• 连通分量结构的相变恰好发生在临界时间 $t^*$，标志着未访问顶点几何结构的急剧变化。
• 该转变行为在连通阈值以上的 $G_{n,p}$ 与度数 $r \geq 3$ 的随机正则图中均被观察到，表明其在不同模型间具有普适性。
• 结果证实了空置集结构中存在类似于经典Erdős–Rényi相变的相变，但其背景为随机图上的随机游走。