Expanders via local edge flips in quasilinear time - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2022

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.
Fichier principal
Vignette du fichier
stoc22flip.pdf (511.63 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03792482 , version 1 (30-09-2022)

Licence

Identifiants

Citer

George Giakkoupis. Expanders via local edge flips in quasilinear time. STOC 2022 - 54th Annual ACM SIGACT Symposium on Theory of Computing, Jun 2022, Rome, Italy. pp.64-76, ⟨10.1145/3519935.3520022⟩. ⟨hal-03792482⟩
58 Consultations
101 Téléchargements

Altmetric

Partager

More