295 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
Generalizations of the Kolmogorov-Barzdin embedding estimates
We consider several ways to measure the `geometric complexity' of an
embedding from a simplicial complex into Euclidean space. One of these is a
version of `thickness', based on a paper of Kolmogorov and Barzdin. We prove
inequalities relating the thickness and the number of simplices in the
simplicial complex, generalizing an estimate that Kolmogorov and Barzdin proved
for graphs. We also consider the distortion of knots. We give an alternate
proof of a theorem of Pardon that there are isotopy classes of knots requiring
arbitrarily large distortion. This proof is based on the expander-like
properties of arithmetic hyperbolic manifolds.Comment: 45 page
- …