16 research outputs found
Isoperimetric Inequalities in Simplicial Complexes
In graph theory there are intimate connections between the expansion
properties of a graph and the spectrum of its Laplacian. In this paper we
define a notion of combinatorial expansion for simplicial complexes of general
dimension, and prove that similar connections exist between the combinatorial
expansion of a complex, and the spectrum of the high dimensional Laplacian
defined by Eckmann. In particular, we present a Cheeger-type inequality, and a
high-dimensional Expander Mixing Lemma. As a corollary, using the work of Pach,
we obtain a connection between spectral properties of complexes and Gromov's
notion of geometric overlap. Using the work of Gunder and Wagner, we give an
estimate for the combinatorial expansion and geometric overlap of random
Linial-Meshulam complexes
On Eigenvalues of Random Complexes
We consider higher-dimensional generalizations of the normalized Laplacian
and the adjacency matrix of graphs and study their eigenvalues for the
Linial-Meshulam model of random -dimensional simplicial complexes
on vertices. We show that for , the eigenvalues of
these matrices are a.a.s. concentrated around two values. The main tool, which
goes back to the work of Garland, are arguments that relate the eigenvalues of
these matrices to those of graphs that arise as links of -dimensional
faces. Garland's result concerns the Laplacian; we develop an analogous result
for the adjacency matrix. The same arguments apply to other models of random
complexes which allow for dependencies between the choices of -dimensional
simplices. In the second part of the paper, we apply this to the question of
possible higher-dimensional analogues of the discrete Cheeger inequality, which
in the classical case of graphs relates the eigenvalues of a graph and its edge
expansion. It is very natural to ask whether this generalizes to higher
dimensions and, in particular, whether the higher-dimensional Laplacian spectra
capture the notion of coboundary expansion - a generalization of edge expansion
that arose in recent work of Linial and Meshulam and of Gromov. We show that
this most straightforward version of a higher-dimensional discrete Cheeger
inequality fails, in quite a strong way: For every and , there is a -dimensional complex on vertices that
has strong spectral expansion properties (all nontrivial eigenvalues of the
normalised -dimensional Laplacian lie in the interval
) but whose coboundary expansion is bounded
from above by and so tends to zero as ;
moreover, can be taken to have vanishing integer homology in dimension
less than .Comment: Extended full version of an extended abstract that appeared at SoCG
2012, to appear in Israel Journal of Mathematic
The Isospectral Fruits of Representation Theory: Quantum Graphs and Drums
We present a method which enables one to construct isospectral objects, such
as quantum graphs and drums. One aspect of the method is based on
representation theory arguments which are shown and proved. The complementary
part concerns techniques of assembly which are both stated generally and
demonstrated. For that purpose, quantum graphs are grist to the mill. We
develop the intuition that stands behind the construction as well as the
practical skills of producing isospectral objects. We discuss the theoretical
implications which include Sunada's theorem of isospectrality arising as a
particular case of this method. A gallery of new isospectral examples is
presented and some known examples are shown to result from our theory