Expanders via Local Edge Flips in Quasilinear Time

Mahlmann and Schindelhaue (2005) proposed the following simple process, called flip-chain, for transforming any given connected d-regular graph into a.. -regular expander: In each step, a random 3-path abcd. is selected, and edges ab and cd. are replaced by two new edges ac and bd, provided that ac and bd do not exist already. A motivation for the study of the flip-chain arises in the design of overlay networks, where it is common practice that adjacent nodes periodically exchange random neighbors, to maintain good connectivity properties. It is known that the flip-chain converges to the uniform distribution over connected d-regular graphs, and it is conjectured that an expander graph is obtained after Omicron(nd Log n) steps, w.h.p., where.. is the number of vertices. However, the best known upper bound on the number of steps is O(n(2) d(2)a root log n), and the best bound on the mixing time of the chain is O(n(16)d(36) logn). We provide a new analysis of a natural flip-chain instantiation, which shows that starting from any connected d-regular graph, for d= Omega(log(2) n), an expander is obtained after O(nd log(2)s n) steps, w.h.p. This result is tight within logarithmic factors, and almost matches the conjectured bound. Moreover, it justifies the use of edge flip operations in practice: for any d-regular graph with d= poly( logn), an expander is reached after each vertex participates in at most poly(logn) operations, w.h.p. Our analysis is arguably more elementary than previous approaches. It uses the novel notion of the strain of a cut, a value that depends both on the crossing edges and their adjacent edges. By keeping track of the cut strains, we form a recursive argument that bounds the time before all sets of a given size have large expansion, after all smaller sets have already attained large expansion.