Expanders via local edge flips in quasilinear time - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2022

Expanders via local edge flips in quasilinear time

Abstract

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
Origin Files produced by the author(s)

Dates and versions

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

Licence

Identifiers

Cite

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⟩
50 View
97 Download

Altmetric

Share

More