Numerical evidence against a conjecture on the cover time of planar graphs

We investigate a conjecture on the cover times of planar graphs by means of large Monte Carlo simulations. The conjecture states that the cover time τ(G(N)) of a planar graph G(N) of N vertices and maximal degree d is lower bounded by τ(G(N))≥C(d)N(lnN)2 with C(d)=(d/4π)tan(π/d), with equality holding for some geometries. We tested this conjecture on the regular honeycomb (d=3), regular square (d=4), regular elongated triangular (d=5), and regular triangular (d=6) lattices, as well as on the nonregular Union Jack lattice (dmin=4, dmax=8). Indeed, the Monte Carlo data suggest that the rigorous lower bound may hold as an equality for most of these lattices, with an interesting issue in the case of the Union Jack lattice. The data for the honeycomb lattice, however, violate the bound with the conjectured constant. The empirical probability distribution function of the cover time for the square lattice is also briefly presented, since very little is known about cover time probability distribution functions in general.