Expanders via local edge flips in quasilinear time
Résumé
Mahlmann and Schindelhaue~(2005) proposed the following simple process, called \emph{flip-chain}, for transforming any given connected $d$-regular graph into a $d$-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 $O(nd\log n)$ steps, w.h.p., where $n$ is the number of vertices. However, the best known upper bound on the number of steps is $O(n^2d^2\sqrt{\log n})$, and the best bound on the mixing time of the chain is $O(n^{16}d^{36}\log n)$.
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^2n)$ 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 (\log n)$, an expander is reached after each vertex participates in at most $poly (\log n)$ operations, w.h.p. Our analysis is arguably more elementary than previous approaches. It uses the novel notion of the \emph{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.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|