[论文解读] Cover times, blanket times, and majorizing measures

Jian Ding, James R. Lee+1 more|arXiv (Cornell University)|Apr 25, 2010

Markov Chains and Monte Carlo Methods参考文献 27被引用 4

一句话总结

本文建立了图的覆盖时间与高斯自由场期望最大值之间的精确联系，表明覆盖时间与高斯自由场期望最大值的平方成正比，比例常数为绝对常数，且该比例常数乘以边数 |E|。该结果使得一种确定性多项式时间算法能够以常数因子近似覆盖时间，并解决了空白时间猜想，证明了空白时间与覆盖时间对所有图均在常数因子范围内相互关联。

ABSTRACT

We exhibit a strong connection between cover times of graphs, Gaussian processes, and Talagrand's theory of majorizing measures. In particular, we show that the cover time of any graph $G$ is equivalent, up to universal constants, to the square of the expected maximum of the Gaussian free field on $G$, scaled by the number of edges in $G$. This allows us to resolve a number of open questions. We give a deterministic polynomial-time algorithm that computes the cover time to within an O(1) factor for any graph, answering a question of Aldous and Fill (1994). We also positively resolve the blanket time conjectures of Winkler and Zuckerman (1996), showing that for any graph, the blanket and cover times are within an O(1) factor. The best previous approximation factor for both these problems was $O((\log \log n)^2)$ for $n$-vertex graphs, due to Kahn, Kim, Lovasz, and Vu (2000).

研究动机与目标

• 通过主要测度方法，建立图的覆盖时间与高斯过程之间的紧密联系。
• 解决长期悬而未决的开放问题：是否存在一种确定性多项式时间算法，能够以常数因子近似覆盖时间。
• 证明 Winkler 和 Zuckerman 提出的空白时间猜想，表明对所有图而言，空白时间与覆盖时间均在常数因子范围内相互关联。
• 提供一种计算高效的近似方法，利用高斯自由场的几何结构与主要测度，近似覆盖时间。

提出的方法

• 使用 Talagrand 的主要测度理论，对图上高斯自由场的期望最大值进行有界。
• 建立覆盖时间与 |E| 乘以高斯自由场期望最大值的平方之间的等价关系，比例常数为绝对常数。
• 应用一种随机化算法，计算图拉普拉斯伪逆矩阵的近似，以高效模拟高斯过程。
• 采用耦合论证，将随机游走的局部时间与高斯自由场关联，从而对覆盖时间建立界限。
• 利用主要测度中的 γ₂ 泛函，推导出高斯过程期望最大值的紧致界限。
• 利用高斯自由场中的电阻度量与树状结构，构造一个子过程，以模拟覆盖时间的动力学。

实验结果

研究问题

• RQ1 是否存在一种确定性多项式时间算法，能够对任意图的覆盖时间以常数因子近似？
• RQ2 对于所有图和所有 δ ∈ (0,1)，空白时间（定义为所有顶点均被访问至少其平稳测度 δ 分数的时间）是否在常数因子范围内与覆盖时间相互关联？
• RQ3 图上覆盖时间与高斯自由场期望最大值之间的精确关系是什么？
• RQ4 渐近等价式 t_cov(G) ∼ |E|·(𝔼[max η_v])² 在不同图族中成立的程度如何？

主要发现

• 覆盖时间 t_cov(G) 与 |E| 乘以高斯自由场在 G 上期望最大值的平方成正比，比例常数为绝对常数。
• 存在一种确定性多项式时间算法，能够以常数因子近似覆盖时间，解决了 Aldous 和 Fill（1994）提出的开放问题。
• Winkler 和 Zuckerman 提出的空白时间猜想得到证实：存在绝对常数 C，使得对所有 δ ∈ (0,1)，有 t_bl(G,δ) ≤ C·t_cov(G)。
• 此前覆盖时间与空白时间的最优近似因子为 O((log log n)^2)，现已被改进为 O(1)，且与 n 无关。
• 渐近公式 t_cov(G_n) ∼ |E(G_n)|·(𝔼[max η_v])² 在完全图与正则树中均成立，证实其在关键示例中的普遍性。
• 覆盖时间的标准差受最大 hitting 时间的限制，且归一化的覆盖时间 τ_cov − t_cov / t_hit 呈指数集中。