[论文解读] The Evolution of the Mixing Rate

Nikolaos Fountoulakis, Bruce Reed|ArXiv.org|Jan 17, 2007

Stochastic processes and statistical mechanics参考文献 16被引用 15

一句话总结

本文分析了超临界随机图 $G_{n,p}$ 的巨分量上简单随机游走的混合时间，表明当平均度数较低时 $d \leq \sqrt{\ln n \ln \ln n}$，混合时间受具有度数为2的内部顶点的长诱导路径影响而变慢，导致混合时间为 $O((\ln n / d)^2)$；当 $d$ 较高时，直径成为主导因素，给出 $O(\ln n / \ln d)$ 的混合时间，且在常数因子范围内为紧致界。

ABSTRACT

In this paper we present a study of the mixing time of a random walk on the largest component of a supercritical random graph, also known as the giant component. We identify local obstructions that slow down the random walk, when the average degree d is at most (ln n lnln n)^{1/2}, proving that the mixing time in this case is O((ln n/d)^2) asymptotically almost surely. As the average degree grows these become negligible and it is the diameter of the largest component that takes over, yielding mixing time O(ln n/ln d). We proved these results during the 2003-04 academic year. Similar results but for constant d were later proved independently by I. Benjamini, G. Kozma and N. Wormald.

研究动机与目标

• 理解超临界随机图 $G_{n,p}$ 的巨分量上简单随机游走的混合时间。
• 识别结构障碍——特别是具有度数为2的内部顶点的长诱导路径——在低平均度数时延迟混合。
• 确定当平均度数增加时，混合时间如何从受局部路径结构支配转变为受全局图直径支配。
• 为所有平均度数 $d$ 的范围提供混合时间的紧致渐近界。

提出的方法

• 使用概率方法和耦合论证分析 $G_{n,p}$ 的巨分量 $H_{n,p}$。
• 利用广度优先搜索树的集中性来建模邻域的增长并估计混合时间。
• 应用二阶矩方法，证明当 $d \leq \sqrt{\ln n \ln \ln n}$ 时，几乎必然存在长度 $\sim \ln n / 4d$ 的长诱导路径，其内部顶点度数为2。
• 将此类路径上的随机游走建模为在 $\mathbb{Z}$ 上的对称随机游走，利用已知的 hitting time 结果（需 $\sim l^2$ 步才能达到距离 $l$）。
• 通过将此类路径收缩为边，构造辅助多重图 $G'_{n,p}$，以保持连通分量结构并便于分析全局连通性。
• 对 $\mathcal{S}$（即内部顶点度数为2且端点度数大于2的路径集合）中长路径的数量进行一阶与二阶矩计算。

实验结果

研究问题

• RQ1 是什么导致了超临界随机图巨分量上随机游走的混合时间延迟？
• RQ2 当平均度数 $d$ 较小时，即 $d \leq \sqrt{\ln n \ln \ln n}$ 时，混合时间如何变化？
• RQ3 在什么条件下，巨分量的直径会成为决定混合时间的主要因素？
• RQ4 像具有度数为2的内部顶点的长诱导路径这样的局部结构如何影响收敛到平稳分布？

主要发现

• 当 $d \leq \sqrt{\ln n \ln \ln n}$ 时，混合时间几乎必然为 $O((\ln n / d)^2)$，主要受具有内部度数为2的顶点的长诱导路径支配。
• 当 $d > \sqrt{\ln n \ln \ln n}$ 时，混合时间过渡为 $O(\ln n / \ln d)$，由巨分量的直径决定。
• 对于 $d \leq \sqrt{\ln n \ln \ln n}$，下界 $T_{\text{mix}} > \frac{1}{10}(\ln n / 8d)^2$ 成立，与上界仅相差常数因子。
• 长度 $\sim \ln n / 4d$ 的长诱导路径的数量几乎必然为 $\omega(n^{3/4})$，确保其在巨分量中存在。
• 在 $H_{n,p}$ 中不存在此类路径的概率为 $o(1)$，通过二阶矩论证确认其典型存在性。
• 当 $d = \omega(1)$ 时，$H_{n,p}$ 的直径渐近为 $\ln n / \ln d$，且当局部障碍消失时，该值主导混合时间。