Cover Time of the Cycle Graph

1. Cover Time of the Line Graph

Computing the cover time of the line graph is straightforward using Moon’s lemma.


(Moon’s Lemma, 1973) Given a graph for which (i,j)(i,j) is a cut edge, we have:

ETij=2E+1\mathbb E T_{ij} = 2 |E| + 1

where (S,E)(S,E) is the graph containing ii when the edge (i,j)(i,j) is removed. In particular, if (S,E)(S,E) is a tree, then:

ETij=2S1\mathbb E T_{ij} = 2 |S| - 1

picture

Proof. Traversing the edge (i,j)(i,j) takes one time step. How many times do we need to come back to ii before crossing this bridge? Well, this number of times NN is geometrically distributed and we have:

P{N=k}=1d(11d)k\mathbb P \{N=k\} = \frac{1}{d} \left(1 - \frac{1}{d}\right)^k

where dd is the degree of the node ii. Now the expected time spent walking in SS is just NETiiN \mathbb E T_{ii} if by ETii\mathbb E T_{ii} we have in mind a random walk happening on (S,E)(S,E). If we note (π1,,πn)(\pi_1, \ldots, \pi_n) the stationnary distribution where nn is the number of nodes in SS, we have (by the property of mean recurrence times) that:

ETii=1πi=2Edi=2Ed1\mathbb E T_{ii} = \frac{1}{\pi_i} = \frac{2|E|}{d_i} = \frac{2|E|}{d-1}

since the degree of the node ii is one less in (S,E)(S,E). Since NN is geometric, we also now that EN=d1\mathbb E N=d-1, which yields the proof.

A line graph is of course a tree and we can apply the second equation successively as we move from the left-most vertex to the right-most vertex.

picture

We therefore get a sum of successive odd integers (2S1)(2|S|-1) as SS grows from being the left-most vertex to being the entire line graph:

2. Hitting Time of the Cycle Graph

Work in progress