arXiv++ Combinatorics

We show that the high dimensional expansion property as defined by Gromov, Linial and Meshulam, for simplicial complexes is a form of testability. Namely, a simplicial complex is a high dimensional expander iff a suitable property is testable. Using this connection, we derive several testability results.

Random abstract simplicial complex representation provides a mathematical description of wireless networks and their topology. In order to reduce the energy consumption in this type of network, we intend to reduce the number of network nodes without modifying neither the connectivity nor the coverage of the network. In this paper, we present a reduction algorithm that lower the number of points of an abstract simplicial complex in an optimal order while maintaining its topology. Then, we study the complexity of such an algorithm for a network simulated by a binomial point process and represented by a Vietoris-Rips complex.

We develop a bipartite rigidity theory for bipartite graphs parallel to the classical rigidity theory for general graphs, and define for two positive integers $k,l$ the notions of $(k,l)$-rigid and $(k,l)$-stress free bipartite graphs. This theory coincides with the study of Babson--Novik's balanced shifting restricted to graphs. We establish bipartite analogs of the cone, contraction, deletion, and gluing lemmas, and apply these results to derive a bipartite analog of the rigidity criterion for planar graphs. Our result asserts that for a planar bipartite graph $G$ its balanced shifting, $G^b$, does not contain $K_{3,3}$; equivalently, planar bipartite graphs are generically $(2,2)$-stress free. We also discuss potential applications of this theory to Jockusch's cubical lower bound conjecture and to upper bound conjectures for embedded simplicial complexes.

In this paper we consider a family of simplicial complexes, which we call the view complexes. Our choice of objects of study is motivated by theoretical distributed computing, since the view complex is a key simplicial construction used for protocol complexes in the snapshot computational model. We show that the view complex $\view$ can be collapsed to the well-known complex $χ(Δ^n)$, called standard chromatic subdivision of a simplex, and that $χ(Δ^n)$ is itself collapsible. Furthermore, we show that the collapses can be performed simultaneously in entire orbits of the natural symmetric group action. Our results yield a purely combinatorial and constructive understanding of the topology of view complexes, at the same time as they enhance our knowledge about the standard chromatic subdivision of a simplex.

We prove a duality theorem for simplicial complexes arising from a combinatorial construction we define, which applies to the squarefree monomial complexes for Veronese ideals of projective spaces and weighted projective spaces. Our theorem yields a formula for the multigraded Betti numbers of these Veronese ideals in terms of the reduced homology groups of these complexes which is dual to one given by Bruns and Herzog. We apply this formula in several ways, including by giving an algorithm for finding the highest syzygy of such a Veronese ideal.

We compare various viewpoints on down-sets (simplicial complexes), illustrating how the combinatorial inclusion-exclusion principle may serve as an alternative to more advanced methods of studying their face numbers.

The fundamental Davis-Januszkiewicz construction of toric manifolds is reinterpreted in order to allow for generalization. Applications involve the simplicial wedge $J$-construction and Ayzenberg's recent identities arising from composed simplicial complexes.

For a finite Coxeter group W, a subword complex is a simplicial complex associated with a pair (Q, ρ), where Q is a word in the alphabet of simple reflections, ρis a group element. We describe the transformations of such a complex induced by nil-moves and inverse operations on Q in the nil-Hecke monoid corresponding to W. If the complex is polytopal, we also describe such transformations for the dual polytope. For W simply-laced, these descriptions and results of \cite{Go} provide an algorithm for the construction of the subword complex corresponding to (Q, ρ) from the one corresponding to (δ(Q), ρ), for any sequence of elementary moves reducing the word Q to its Demazure product δ(Q). The former complex is spherical if and only if the latter one is the (-1)-sphere.

Given a simplicial complex $K$, we consider several notions of geometric complexity of embeddings of $K$ in a Euclidean space ${\mathbb R}^d$: thickness, distortion, and refinement complexity (the minimal number of simplices needed for a PL embedding). We show that any $n$-complex with $N$ simplices which topologically embeds in ${\mathbb R}^{2n}$, $n>2$, can be PL embedded in ${\mathbb R}^{2n}$ with refinement complexity $O(e^{N^{4+ε}})$. Families of simplicial $n$-complexes $K$ are constructed such that any embedding of $K$ into ${\mathbb R}^{2n}$ has an exponential lower bound on thickness and refinement complexity as a function of the number of simplices of $K$. This contrasts embeddings in the stable range, $K\subset {\mathbb R}^{2n+k}$, $k>0$, where all known bounds on geometric complexity functions are polynomial. In addition, we give a geometric argument for a bound on distortion of expander graphs in Euclidean spaces. Several related open problems are discussed, including questions about the growth rate of complexity functions of embeddings, and about the crossing number and the ropelength of classical links.

In this paper, we introduce the concept of spanning simplicial complexes $Δ_s(G)$ associated to a simple finite connected graph G. We give the characterization of all spanning trees of the uni-cyclic graph $U_{n,m}$. In particular, we give the formula for computing the Hilbert series and h-vector of the Stanley-Riesner ring k[Δ_s(U_{n,m})]. Finally, we prove that the spanning simplicial complex $Δ_s(U_{n,m})$ is shifted hence $Δ_s(U_{n,m})$ is shellable.

The phylogenetic tree space, introduced by Billera, Holmes, and Vogtmann, is a cone over a simplicial complex. In this short article, we construct this complex from local gluings of classical polytopes, the associahedron and the permutohedron. Its homotopy is also reinterpreted and calculated based on polytope data.

We prove a generalization of the Expander Mixing Lemma for arbitrary (finite) simplicial complexes. The original lemma states that concentration of the Laplace spectrum of a graph implies combinatorial expansion (which is also referred to as mixing, or quasi-randomness). Recently, an analogue of this Lemma was proved for simplicial complexes of arbitrary dimension, provided that the skeleton of the complex is complete. More precisely, it was shown that a concentrated spectrum of the simplicial Hodge Laplacian implies a similar type of expansion as in graphs. In this paper we remove the assumption of a complete skeleton, showing that concentration of the Laplace spectra in all dimensions implies combinatorial expansion in any complex. As applications we show that spectral concentration implies Gromov's geometric overlap property, and can be used to bound the chromatic number of a complex.

In the paper we treat Gale diagrams in a combinatorial way. The interpretation allows to describe simplicial complexes which are Alexander dual to boundaries of simplicial polytopes and, more generally, to nerve-complexes of general polytopes. This technique and recent results of N.Yu.Erokhovets are combined to prove the following: Buchstaber invariant $s(P)$ of a convex polytope equals 1 if and only if $P$ is a pyramid. In general, we describe a procedure to construct polytopes with $s_R(P)>k$. The construction has purely combinatorial consequences. We also apply Gale duality to the study of bigraded Betti numbers and f-vectors of polytopes.

In this paper, we introduce random walks with absorbing states on simplicial complexes. Given a simplicial complex of dimension $d$, a random walk with an absorbing state is defined which relates to the spectrum of the $k$-dimensional Laplacian for $1 \leq k \leq d$ and which relates to the local random walk on a graph defined by Fan Chung. We also examine an application of random walks on simplicial complexes to a semi-supervised learning problem. Specifically, we consider a label propagation algorithm on oriented edges, which applies to a generalization of the partially labelled classification problem on graphs.

We show that very weak topological assumptions are enough to ensure the existence of a Helly-type theorem. More precisely, we show that for any non-negative integers $b$ and $d$ there exists an integer $h(b,d)$ such that the following holds. If $\mathcal F$ is a finite family of subsets of $\mathbb R^d$ such that $\tildeβ_i\left(\bigcap\mathcal G\right) \le b$ for any $\mathcal G \subsetneq \mathcal F$ and every $0 \le i \le \lceil d/2 \rceil-1$ then $\mathcal F$ has Helly number at most $h(b,d)$. Here $\tildeβ_i$ denotes the reduced $\mathbb Z_2$-Betti numbers (with singular homology). These topological conditions are sharp: not controlling any of these $\lceil d/2 \rceil$ first Betti numbers allow for families with unbounded Helly number. Our proofs combine homological non-embeddability results with a Ramsey-based approach to build, given an arbitrary simplicial complex $K$, some well-behaved chain map $C_*(K) \to C_*(\mathbb R^d)$.

Placement games are a subclass of combinatorial games which are played on graphs. We will demonstrate that one can construct simplicial complexes corresponding to a placement game, and this game could be considered as a game played on these simplicial complexes. These complexes are constructed using square-free monomials.

A strong placement game $G$ played on a board $B$ is equivalent to a simplicial complex $Δ_{G,B}$. We look at weight games, a subclass of strong placement games, and introduce upper bounds on the number of positions with $i$ pieces in $G$, or equivalently the number of faces with $i$ vertices in $Δ_{G,B}$, which are reminiscent of the Kruskal-Katona bounds.

A recent pair of papers of Armstrong, Loehr, and Warrington and Armstrong, Williams, and the author initiated the systematic study of {\em rational Catalan combinatorics} which is a generalization of Fuss-Catalan combinatorics (which is in turn a generalization of classical Catalan combinatorics). The latter paper gave two possible models for a rational analog of the associahedron which attach simplicial complexes to any pair of coprime positive integers a < b. These complexes coincide up to the Fuss-Catalan level of generality, but in general one may be a strict subcomplex of the other. Verifying a conjecture of Armstrong, Williams, and the author, we prove that these complexes agree up to homotopy and, in fact, that one complex collapses onto the other. This reconciles the two competing models for rational associahedra. As a corollary, we get that the involution (a < b) \longleftrightarrow (b-a < b) on pairs of coprime positive integers manifests itself topologically as Alexander duality of rational associahedra. This collapsing and Alexander duality are new features of rational Catalan combinatorics which are invisible at the Fuss-Catalan level of generality.

Let Y ~ Y_d(n,p) denote the Bernoulli random d-dimensional simplicial complex. We answer a question of Linial and Meshulam from 2003, showing that the threshold for vanishing of homology H_{d-1}(Y; Z) is less than 80d log n / n. This bound is tight, up to a constant factor.

We study the Fraisse limit of the class of all finite simplicial complexes. Whilst the natural model-theoretic setting for this class uses an infinite language, a range of results associated with Fraisse limits of structures for finite languages carry across to this important example. We introduce the notion of a local class, with the class of finite simplicial complexes as an archetypal example, and in this general context prove the existence of a 0-1 law and other basic model-theoretic results. Constraining to the case where all relations are symmetric, we show that every direct limit of finite groups, and every metrizable profinite group, appears as a subgroup of the automorphism group of the Fraisse limit. Finally, for the specific case of simplicial complexes, we show that the geometric realisation is topologically surprisingly simple: despite the combinatorial complexity of the Fraisse limit, its geometric realisation is homeomorphic to the infinite simplex.