We show that the measure on markings of Z d n , d ≥ 3, with elements of {0, 1} given by iid fair coin flips on the range R of a random walk X run until time T and 0 otherwise becomes indistinguishable from the uniform measure on such markings at the threshold . As a consequence of our methods, we show that the total variation mixing time of the random walk on the lamplighter graph Z2 Z Tcov(Z d n ). We give a general criterion under which both of these results hold; other examples for which this applies include bounded degree expander families, the intersection of an infinite supercritical percolation cluster with an increasing family of balls, the hypercube, and the Caley graph of the symmetric group generated by transpositions. The proof also yields precise asymptotics for the decay of correlation in the uncovered set.
Miller and Peres REF studied the connection between cover times and the mixing times for the random walks on corresponding lamplighter graphs.
Uniformity of the uncovered set of random walk and cutoff for lamplighter chains
Annals of Probability 2012, Vol. 40, No. 2, 535-577
Mathematics