Lifts, discrepancy and nearly optimal spectral gap

From MaRDI portal
(Redirected from Publication:879159)




Abstract: We present a new explicit construction for expander graphs with nearly optimal spectral gap. The construction is based on a series of 2-lift operations. Let G be a graph on n vertices. A 2-lift of G is a graph H on 2n vertices, with a covering map pi:HoG. It is not hard to see that all eigenvalues of G are also eigenvalues of H. In addition, H has n ``new eigenvalues. We conjecture that every d-regular graph has a 2-lift such that all new eigenvalues are in the range [2sqrtd1,2sqrtd1] (If true, this is tight, e.g. by the Alon-Boppana bound). Here we show that every graph of maximal degree d has a 2-lift such that all ``new eigenvalues are in the range [csqrtdlog3d,csqrtdlog3d] for some constant c. This leads to a polynomial time algorithm for constructing arbitrarily large d-regular graphs, with second eigenvalue O(sqrtdlog3d). The proof uses the following lemma: Let A be a real symmetric matrix such that the l1 norm of each row in A is at most d. Let alpha=maxx,yin0,1n,supp(x)capsupp(y)=emptysetfrac|xAy|||x||||y||. Then the spectral radius of A is at most calphalog(d/alpha), for some universal constant c. An interesting consequence of this lemma is a converse to the Expander Mixing Lemma.




Cited in
(71)






This page was built for publication: Lifts, discrepancy and nearly optimal spectral gap

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q879159)