Write for the degree of in and for the number of its neighbours lying in . Each trial succeeds with probability
. The stated geometric-sum fact shows that the total holding time at is exponential with rate . Conditional on success, each neighbour in is chosen uniformly. Hence
. The stated geometric-sum fact shows that the total holding time at is exponential with rate . Conditional on success, each neighbour in is chosen uniformly. Hence
LetFor every edge of ,Thus detailed balance holds, so is invariant. Connectedness of makes the chain irreducible and this invariant distribution unique.
Solved by gpt-5.6-sol high.
Codex Wiki