10 research outputs found
Ramanujan Complexes and bounded degree topological expanders
Expander graphs have been a focus of attention in computer science in the
last four decades. In recent years a high dimensional theory of expanders is
emerging. There are several possible generalizations of the theory of expansion
to simplicial complexes, among them stand out coboundary expansion and
topological expanders. It is known that for every d there are unbounded degree
simplicial complexes of dimension d with these properties. However, a major
open problem, formulated by Gromov, is whether bounded degree high dimensional
expanders, according to these definitions, exist for d >= 2. We present an
explicit construction of bounded degree complexes of dimension d = 2 which are
high dimensional expanders. More precisely, our main result says that the
2-skeletons of the 3-dimensional Ramanujan complexes are topological expanders.
Assuming a conjecture of Serre on the congruence subgroup property, infinitely
many of them are also coboundary expanders.Comment: To appear in FOCS 201
High Dimensional Random Walks and Colorful Expansion
Random walks on bounded degree expander graphs have numerous applications,
both in theoretical and practical computational problems. A key property of
these walks is that they converge rapidly to their stationary distribution.
In this work we {\em define high order random walks}: These are
generalizations of random walks on graphs to high dimensional simplicial
complexes, which are the high dimensional analogues of graphs. A simplicial
complex of dimension has vertices, edges, triangles, pyramids, up to
-dimensional cells. For any , a high order random walk on
dimension moves between neighboring -faces (e.g., edges) of the complex,
where two -faces are considered neighbors if they share a common
-face (e.g., a triangle). The case of recovers the well studied
random walk on graphs.
We provide a {\em local-to-global criterion} on a complex which implies {\em
rapid convergence of all high order random walks} on it. Specifically, we prove
that if the -dimensional skeletons of all the links of a complex are
spectral expanders, then for {\em all} the high order random walk
on dimension converges rapidly to its stationary distribution.
We derive our result through a new notion of high dimensional combinatorial
expansion of complexes which we term {\em colorful expansion}. This notion is a
natural generalization of combinatorial expansion of graphs and is strongly
related to the convergence rate of the high order random walks.
We further show an explicit family of {\em bounded degree} complexes which
satisfy this criterion. Specifically, we show that Ramanujan complexes meet
this criterion, and thus form an explicit family of bounded degree high
dimensional simplicial complexes in which all of the high order random walks
converge rapidly to their stationary distribution.Comment: 27 page
Hypergraph Markov Operators, Eigenvalues and Approximation Algorithms
The celebrated Cheeger's Inequality \cite{am85,a86} establishes a bound on
the expansion of a graph via its spectrum. This inequality is central to a rich
spectral theory of graphs, based on studying the eigenvalues and eigenvectors
of the adjacency matrix (and other related matrices) of graphs. It has remained
open to define a suitable spectral model for hypergraphs whose spectra can be
used to estimate various combinatorial properties of the hypergraph.
In this paper we introduce a new hypergraph Laplacian operator (generalizing
the Laplacian matrix of graphs)and study its spectra. We prove a Cheeger-type
inequality for hypergraphs, relating the second smallest eigenvalue of this
operator to the expansion of the hypergraph. We bound other hypergraph
expansion parameters via higher eigenvalues of this operator. We give bounds on
the diameter of the hypergraph as a function of the second smallest eigenvalue
of the Laplacian operator. The Markov process underlying the Laplacian operator
can be viewed as a dispersion process on the vertices of the hypergraph that
might be of independent interest. We bound the {\em Mixing-time} of this
process as a function of the second smallest eigenvalue of the Laplacian
operator. All these results are generalizations of the corresponding results
for graphs.
We show that there can be no linear operator for hypergraphs whose spectra
captures hypergraph expansion in a Cheeger-like manner. For any , we give a
polynomial time algorithm to compute an approximation to the smallest
eigenvalue of the operator. We show that this approximation factor is optimal
under the SSE hypothesis (introduced by \cite{rs10}) for constant values of
.
Finally, using the factor preserving reduction from vertex expansion in
graphs to hypergraph expansion, we show that all our results for hypergraphs
extend to vertex expansion in graphs