607 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
Testing Odd Direct Sums Using High Dimensional Expanders
In this work, using methods from high dimensional expansion, we show that the property of k-direct-sum is testable for odd values of k . Previous work of [Kaufman and Lubotzky, 2014] could inherently deal only with the case that k is even, using a reduction to linearity testing. Interestingly, our work is the first to combine the topological notion of high dimensional expansion (called co-systolic expansion) with the combinatorial/spectral notion of high dimensional expansion (called colorful expansion) to obtain the result.
The classical k-direct-sum problem applies to the complete complex; Namely it considers a function defined over all k-subsets of some n sized universe. Our result here applies to any collection of k-subsets of an n-universe, assuming this collection of subsets forms a high dimensional expander
On Expansion and Topological Overlap
We give a detailed and easily accessible proof of Gromov's Topological
Overlap Theorem. Let be a finite simplicial complex or, more generally, a
finite polyhedral cell complex of dimension . Informally, the theorem states
that if has sufficiently strong higher-dimensional expansion properties
(which generalize edge expansion of graphs and are defined in terms of cellular
cochains of ) then has the following topological overlap property: for
every continuous map there exists a point that is contained in the images of a positive fraction of
the -cells of . More generally, the conclusion holds if is
replaced by any -dimensional piecewise-linear (PL) manifold , with a
constant that depends only on and on the expansion properties of ,
but not on .Comment: Minor revision, updated reference
- …