On the Cover Time of Planar Graphs

The cover time of a finite connected graph is the expected number of steps needed for a simple random walk on the graph to visit all the vertices. It is known that the cover time on any $n$-vertex, connected graph is at least $\bigl(1+o(1)\bigr)n\log n$ and at most $\bigl(1+o(1)\bigr)\frac{4}{27}n^3$. This paper proves that for bounded-degree planar graphs the cover time is at least $c n(\log n)^2$, and at most $6n^2$, where $c$ is a positive constant depending only on the maximal degree of the graph. The lower bound is established via use of circle packings.

[1]  Frank Harary,et al.  Graph Theory , 2016 .

[2]  D. Aldous On the time taken by random walks on finite groups to visit every state , 1983 .

[3]  B. Rodin,et al.  The convergence of circle packings to the Riemann mapping , 1987 .

[4]  P. Matthews Covering Problems for Brownian Motion on Spheres , 1988 .

[5]  D. Zuckerman,et al.  Covering times of random walks on bounded degree trees and other graphs , 1989 .

[6]  David J. Aldous,et al.  Lower bounds for covering times for reversible Markov chains and random walks on graphs , 1989 .

[7]  David Zuckerman,et al.  A technique for lower bounding the cover time , 1990, STOC '90.

[8]  Gary L. Miller,et al.  Separators in two and three dimensions , 1990, STOC '90.

[9]  P. Tetali Random walks and the effective resistance of networks , 1991 .

[10]  Seth M. Malitz,et al.  On the angular resolution of planar graphs , 1992, STOC '92.

[11]  M. Karonski Collisions among Random Walks on a Graph , 1993 .

[12]  Graham R. Brightwell,et al.  Representations of Planar Graphs , 1993, SIAM J. Discret. Math..

[13]  Uriel Feige,et al.  A Tight Upper Bound on the Cover Time for Random Walks on Graphs , 1995, Random Struct. Algorithms.

[14]  Zheng-Xu He,et al.  Hyperbolic and parabolic packings , 1995, Discret. Comput. Geom..

[15]  Uriel Feige,et al.  A Tight Lower Bound on the Cover Time for Random Walks on Graphs , 1995, Random Struct. Algorithms.

[16]  I. Benjamini,et al.  Harmonic functions on planar and almost planar graphs and manifolds, via circle packings , 1996 .

[17]  Shang-Hua Teng,et al.  Spectral partitioning works: planar graphs and finite element meshes , 1996, Proceedings of 37th Conference on Foundations of Computer Science.

[18]  László Lovász,et al.  The cover time, the blanket time, and the Matthews bound , 2000, Proceedings 41st Annual Symposium on Foundations of Computer Science.