52
11

Cover Time and Broadcast Time

Abstract

We introduce a new technique for bounding the cover time of random walks by relating it to the runtime of randomized broadcast. In particular, we strongly confirm for dense graphs the intuition of Chandra et al. \cite{CRRST97} that "the cover time of the graph is an appropriate metric for the performance of certain kinds of randomized broadcast algorithms". In more detail, our results are as follows: For any graph G=(V,E)G=(V,E) of size nn and minimum degree δ\delta, we have R(G)=\Oh(Eδlogn)\mathcal{R}(G)= \Oh(\frac{|E|}{\delta} \cdot \log n), where R(G)\mathcal{R}(G) denotes the quotient of the cover time and broadcast time. This bound is tight for binary trees and tight up to logarithmic factors for many graphs including hypercubes, expanders and lollipop graphs. For any δ\delta-regular (or almost δ\delta-regular) graph GG it holds that R(G)=Ω(δ2n1logn)\mathcal{R}(G) = \Omega(\frac{\delta^2}{n} \cdot \frac{1}{\log n}). Together with our upper bound on R(G)\mathcal{R}(G), this lower bound strongly confirms the intuition of Chandra et al. for graphs with minimum degree Θ(n)\Theta(n), since then the cover time equals the broadcast time multiplied by nn (neglecting logarithmic factors). Conversely, for any δ\delta we construct almost δ\delta-regular graphs that satisfy R(G)=\Oh(max{n,δ}log2n)\mathcal{R}(G) = \Oh(\max \{\sqrt{n},\delta \} \cdot \log^2 n). Since any regular expander satisfies R(G)=Θ(n)\mathcal{R}(G) = \Theta(n), the strong relationship given above does not hold if δ\delta is polynomially smaller than nn. Our bounds also demonstrate that the relationship between cover time and broadcast time is much stronger than the known relationships between any of them and the mixing time (or the closely related spectral gap).

View on arXiv
Comments on this paper