Lifts, discrepancy and nearly optimal spectral gap

From MaRDI portal
Publication:879159

DOI10.1007/S00493-006-0029-7zbMATH Open1121.05054arXivmath/0312022OpenAlexW2130270608WikidataQ105583356 ScholiaQ105583356MaRDI QIDQ879159FDOQ879159


Authors: Yonatan Bilu, Nathan Linial Edit this on Wikidata


Publication date: 8 May 2007

Published in: Combinatorica (Search for Journal in Brave)

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.


Full work available at URL: https://arxiv.org/abs/math/0312022




Recommendations





Cited In (72)





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)