2,544 research outputs found
Ramanujan Graphs in Polynomial Time
The recent work by Marcus, Spielman and Srivastava proves the existence of
bipartite Ramanujan (multi)graphs of all degrees and all sizes. However, that
paper did not provide a polynomial time algorithm to actually compute such
graphs. Here, we provide a polynomial time algorithm to compute certain
expected characteristic polynomials related to this construction. This leads to
a deterministic polynomial time algorithm to compute bipartite Ramanujan
(multi)graphs of all degrees and all sizes
Ramanujan Coverings of Graphs
Let be a finite connected graph, and let be the spectral radius of
its universal cover. For example, if is -regular then
. We show that for every , there is an -covering
(a.k.a. an -lift) of where all the new eigenvalues are bounded from
above by . It follows that a bipartite Ramanujan graph has a Ramanujan
-covering for every . This generalizes the case due to Marcus,
Spielman and Srivastava (2013).
Every -covering of corresponds to a labeling of the edges of by
elements of the symmetric group . We generalize this notion to labeling
the edges by elements of various groups and present a broader scenario where
Ramanujan coverings are guaranteed to exist.
In particular, this shows the existence of richer families of bipartite
Ramanujan graphs than was known before. Inspired by Marcus-Spielman-Srivastava,
a crucial component of our proof is the existence of interlacing families of
polynomials for complex reflection groups. The core argument of this component
is taken from a recent paper of them (2015).
Another important ingredient of our proof is a new generalization of the
matching polynomial of a graph. We define the -th matching polynomial of
to be the average matching polynomial of all -coverings of . We show this
polynomial shares many properties with the original matching polynomial. For
example, it is real rooted with all its roots inside .Comment: 38 pages, 4 figures, journal version (minor changes from previous
arXiv version). Shortened version appeared in STOC 201
Twice-Ramanujan Sparsifiers
We prove that every graph has a spectral sparsifier with a number of edges
linear in its number of vertices. As linear-sized spectral sparsifiers of
complete graphs are expanders, our sparsifiers of arbitrary graphs can be
viewed as generalizations of expander graphs.
In particular, we prove that for every and every undirected, weighted
graph on vertices, there exists a weighted graph
with at most \ceil{d(n-1)} edges such that for every , where and
are the Laplacian matrices of and , respectively. Thus,
approximates spectrally at least as well as a Ramanujan expander with
edges approximates the complete graph. We give an elementary
deterministic polynomial time algorithm for constructing
Interlacing Families IV: Bipartite Ramanujan Graphs of All Sizes
We prove that there exist bipartite Ramanujan graphs of every degree and
every number of vertices. The proof is based on analyzing the expected
characteristic polynomial of a union of random perfect matchings, and involves
three ingredients: (1) a formula for the expected characteristic polynomial of
the sum of a regular graph with a random permutation of another regular graph,
(2) a proof that this expected polynomial is real rooted and that the family of
polynomials considered in this sum is an interlacing family, and (3) strong
bounds on the roots of the expected characteristic polynomial of a union of
random perfect matchings, established using the framework of finite free
convolutions we recently introduced
An Alon-Boppana Type Bound for Weighted Graphs and Lowerbounds for Spectral Sparsification
We prove the following Alon-Boppana type theorem for general (not necessarily
regular) weighted graphs: if is an -node weighted undirected graph of
average combinatorial degree (that is, has edges) and girth , and if are the
eigenvalues of the (non-normalized) Laplacian of , then (The Alon-Boppana theorem implies that if is unweighted and
-regular, then if the diameter is at least .)
Our result implies a lower bound for spectral sparsifiers. A graph is a
spectral -sparsifier of a graph if where is the Laplacian matrix of and is
the Laplacian matrix of . Batson, Spielman and Srivastava proved that for
every there is an -sparsifier of average degree where
and the edges of are a
(weighted) subset of the edges of . Batson, Spielman and Srivastava also
show that the bound on cannot be reduced below when is a clique; our Alon-Boppana-type result implies that
cannot be reduced below when comes
from a family of expanders of super-constant degree and super-constant girth.
The method of Batson, Spielman and Srivastava proves a more general result,
about sparsifying sums of rank-one matrices, and their method applies to an
"online" setting. We show that for the online matrix setting the bound is tight, up to lower order terms
- β¦