arXiv++ Combinatorics

This paper brings the main definitions and results from "The Ramanujan Property for Simplicial Complexes" [arXiv:1605.02664]. No proofs are given. Given a simplicial complex $\mathcal{X}$ and a group $G$ acting on $\mathcal{X}$, we define Ramanujan quotients of $\mathcal{X}$. For $G$ and $\mathcal{X}$ suitably chosen this recovers Ramanujan $k$-regular graphs and Ramanujan complexes in the sense of Lubotzky, Samuels and Vishne. Deep results in automorphic representations are used to give new examples of Ramanujan quotients when $\mathcal{X}$ is the affine building of an inner form of $\mathbf{GL}_n$ over a local field of positive characteristic.

Let $F$ be a discrete Morse function on a simplicial complex $L$. We construct a discrete Morse function $Δ(F)$ on the barycentric subdivision $Δ(L)$. The constructed function $Δ(F)$ "behaves the same way" as $F$, i. e. has the same number of critical simplexes and the same gradient path structure.

Let $G$ be a topological group acting on a simplicial complex $\mathcal{X}$ satisfying some mild assumptions. For example, consider a $k$-regular tree and its automorphism group, or more generally, a regular affine Bruhat-Tits building and its automorphism group. We define and study various types of high-dimensional spectra of quotients of $\mathcal{X}$ by subgroups of $G$. These spectra include the spectrum of many natural operators associated with the quotients, e.g. the high-dimensional Laplacians. We prove a theorem in the spirit of the Alon-Boppana Theorem, leading to a notion of Ramanujan quotients of $\mathcal{X}$. Ramanujan $k$-regular graphs and Ramanuajn complexes in the sense of Lubotzky, Samuels and Vishne are Ramanujan in dimension $0$ according to our definition (for $\mathcal{X}$, $G$ suitably chosen). We give a criterion for a quotient of $\mathcal{X}$ to be Ramanujan which is phrased in terms of representations of $G$, and use it, together with deep results about automorphic representations, to show that affine buildings of inner forms of $\mathbf{GL}_n$ over local fields of positive characteristic admit infinitely many quotients which are Ramanujan in all dimensions. The Ramanujan (in dimension $0$) complexes constructed by Lubotzky, Samuels and Vishne arise as a special case of our construction. Our construction also gives rise to Ramanujan graphs which are apparently new. Other applications are also discussed. For example, we show that there are non-isomorphic simiplicial complexes which are isospectral in all dimensions.

We study $d$-dimensional simplicial complexes that are PL embeddable in $\mathbb{R}^{d+1}$. It is shown that such a complex must satisfy a certain homological condition. The existence of this obstruction allows us to provide a systematic approach to deriving upper bounds for the number of top-dimensional faces of such complexes, particularly in low dimensions.

We introduce the van der Waerden complex ${\rm vdW}(n,k)$ defined as the simplicial complex whose facets correspond to arithmetic progressions of length $k$ in the vertex set $\{1, 2, \ldots, n\}$. We show the van der Waerden complex ${\rm vdW}(n,k)$ is homotopy equivalent to a $CW$-complex whose cells asymptotically have dimension at most $\log k / \log \log k$. Furthermore, we give bounds on $n$ and $k$ which imply that the van der Waerden complex is contractible.

In this paper, we study the lattice properties of posets of torsion pairs in the module category of a family of representation-finite gentle algebras called tiling algebras, introduced by Coelho Simoes and Parsons. We present a combinatorial model for torsion pairs using polyogonal subdivisions of a convex polygon. We use this model and the lattice theory to classify 2-term simple-minded collections in the bounded derived category of the corresponding tiling algebra. As a consequence, we obtain a characterization of c-matrices for any quiver mutation-equivalent to a type A Dynkin quiver. Our model is developed using the dual tree of a polygonal subdivision. Given such a tree, we introduce a simplicial complex of noncrossing geodesics supported by the tree which we call the noncrossing complex. The facets of the noncrossing complex may be given the structure of an oriented flip graph. Special cases of the oriented flip graphs that may be expressed in this way include the Tamari order, type A Cambrian orders, oriented exchange graphs for quivers mutation-equivalent to a path quiver. We prove that the oriented flip graph of any noncrossing complex is a polygonal, congruence-uniform lattice. To do so, we express the oriented flip graph as a lattice quotient of a lattice of biclosed sets. The facets of the noncrossing complex have an alternate ordering known as the shard intersection order. We prove that this shard intersection order is isomorphic to a lattice of noncrossing tree partitions. The oriented flip graph inherits a cyclic action from its congruence-uniform structure. On noncrossing tree partitions, this cyclic action generalizes the classical Kreweras complementation on noncrossing set partitions. We show that the data of a noncrossing tree partition and its Kreweras complement is equivalent to a 2-term simple-minded collection of the associated tiling algebra.

Imposing a strong condition on the linear order of shellable complexes, we introduce strong shellability. Basic properties, including the existence of dimension-decreasing strong shelling orders, are developed with respect to nonpure strongly shellable complexes. Meanwhile, pure strongly shellable complexes can be characterized by the corresponding codimension one graphs. In addition, we show that the facet ideals of pure strongly shellable complexes have linear quotients.

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 $d$ has vertices, edges, triangles, pyramids, up to $d$-dimensional cells. For any $0 \leq i < d$, a high order random walk on dimension $i$ moves between neighboring $i$-faces (e.g., edges) of the complex, where two $i$-faces are considered neighbors if they share a common $(i+1)$-face (e.g., a triangle). The case of $i=0$ 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 $1$-dimensional skeletons of all the links of a complex are spectral expanders, then for {\em all} $0 \le i < d$ the high order random walk on dimension $i$ 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.

We consider simplicial complexes that are generated from the binomial random 3-uniform hypergraph by taking the downward-closure. We determine when this simplicial complex is homologically connected, meaning that its zero-th and first homology groups with coefficients in $\mathbb{F}_2$ vanish. Although this is not intrinsically a monotone property, we show that it nevertheless has a single sharp threshold, and indeed prove a hitting time result relating the connectedness to the disappearance of the last minimal obstruction.

We investigate quasisymmetric functions coming from combinatorial Hopf monoids. We show that these invariants arise naturally in Ehrhart theory, and that some of their specializations are Hilbert functions for relative simplicial complexes. This class of complexes, called forbidden composition complexes, also forms a Hopf monoid, thus demonstrating a link between Hopf algebras, Ehrhart theory, and commutative algebra. We also study various specializations of quasisymmetric functions.

The partition number $π(K)$ of a simplicial complex $K\subset 2^{[m]}$ is the minimum integer $ν$ such that for each partition $A_1\uplus\ldots\uplus A_ν= [m]$ of $[m]$ at least one of the sets $A_i$ is in $K$. A complex $K$ is $r$-unavoidable if $π(K)\leq r$. We say that a complex $K$ is globally $r$-non-embeddable in $\mathbb{R}^d$ if for each continuous map $f: | K| \rightarrow \mathbb{R}^d$ there exist $r$ vertex disjoint faces $σ_1,\ldots, σ_r$ of $| K|$ such that $f(σ_1)\cap\ldots\cap f(σ_r)\neq\emptyset$. Motivated by the problems of Tverberg-Van Kampen-Flores type we prove several results (Theorems 3.6, 3.9, 4.6) which link together the combinatorics and topology of these two classes of complexes. One of our central observations (Theorem 4.6), summarizing and extending results of G. Schild, B. Grünbaum and many others, is that interesting examples of (globally) $r$-non-embeddable complexes can be found among the joins $K = K_1\ast\ldots\ast K_s$ of $r$-unavoidable complexes.

This is both an expository and research paper where we advocate a systematic study of continuous analogues of finite partially ordered sets, convex polytopes, oriented matroids, arrangements of subspaces, finite simplicial complexes, and other combinatorial structures. Among the illustrative examples are an Euler formula for a class of `continuous convex polytopes' (conjectured by Kalai and Wigderson), a duality result for a class of `continuous matroids', a calculation of the Euler characteristic of ideals in the Grassmannian poset (related to a problem of Gian-Carlo Rota), an exposition of the `homotopy complementation formula' for topological posets and its relation to the results of Kallel and Karoui about `weighted barycenter spaces' and a conjecture of Vassiliev about simplicial resolutions of singularities. We also include an extension of the index inequality (Sarkaria's inequality) based on interpreting diagrams of spaces as continuous posets.

We construct $d$-dimensional pure simplicial complexes and pseudo-manifolds (without boundary) with $n$ vertices whose combinatorial diameter grows as $c_d n^{d-1}$ for a constant $c_d$ depending only on $d$, which is the maximum possible growth. Moreover, the constant $c_d$ is optimal modulo a singly exponential factor in $d$. The pure simplicial complexes improve on a construction of the second author that achieved $c_d n^{2d/3}$. For pseudo-manifolds without boundary, as far as we know, no construction with diameter greater than $n^2$ was previously known.

In 1992, Brehm and Kühnel constructed a 8-dimensional simplicial complex $M^8_{15}$ with 15 vertices as a candidate to be a minimal triangulation of the quaternionic projective plane. They managed to prove that it is a manifold "like a projective plane" in the sense of Eells and Kuiper. However, it was not known until now if this complex is PL homeomorphic (or at least homeomorphic) to $\mathbb{H}P^2$. This problem was reduced to the computation of the first rational Pontryagin class of this combinatorial manifold. Realizing an algorithm due to Gaifullin, we compute the first Pontryagin class of $M^8_{15}$. As a result, we obtain that it is indeed a minimal triangulation of $\mathbb{H}P^2$.

The Evasiveness conjecture have been proved for properties of graphs on a prime-power number of vertices and the six vertices case. The ten vertices case is still unsolved. In this paper we study the size of the automorphism group of a graph on $2p$ vertices to estimate the Euler characteristic of monotone non-evasive graph properties and get some conditions such graph properties must satisfy. We also do this by means of Oliver groups and give some lower bounds for the dimension of the simplicial complex associated to a nontrivial monotone non-evasive graph property. We apply our results to graphs on ten vertices to get conditions on potential counterexamples to the evasiveness conjecture in the ten vertices case.

In 1992, Kalai and Kleitman proved a quasipolynomial upper bound on the diameters of convex polyhedra. Todd and Sukegawa-Kitahara proved tail-quasipolynomial bounds on the diameters of polyhedra. These tail bounds apply when the number of facets is greater than a certain function of the dimension. We prove tail-quasipolynomial bounds on the diameters of polytopes and normal simplicial complexes. We also prove tail-polynomial upper bounds on the diameters of polyhedra.

We introduce a new way to associate a simplicial complex called the \emph{survival complex} to a commutative semigroup with zero. Restricting our attention to the semigroup of monomials arising from an Artinian monomial ring, we determine that any such complex has an isolated point. Indeed, we show that there is exactly one isolated point essentially only in the case where the monomial ideal is generated purely by powers of the variables. This allows us to recover Beintema's result that an Artinian monomial ring is Gorenstein if and only if it is a complete intersection. A key ingredient of the translation between the pure power result and Beintema's result is given by the one-to-one correspondence we show between the so-called \emph{truly isolated} points of our complex and the generators of the socle of the defining ideal. In another relation between the geometry of the complex and the algebra of the ring, we essentially give a correspondence between the nontrivial connected components of the complex and the factors of a fibre product representation of the ring. Finally, we explore algorithms for building survival complexes from specified isolated points. That is, we work to build the ring out of a description of the socle.

Let $Y(n, p)$ denote the probability space of random 2-dimensional simplicial complexes in the Linial--Meshulam model, and let $Y \sim Y(n, p)$ denote a random complex chosen according to this distribution. In a paper of Cohen, Costa, Farber, and Kappeler, it is shown that for $p = o(1/n)$ with high probability $π_1(Y)$ is free. Following that, a paper of Costa and Farber shows that for values of $p$ which satisfy $3/n < p \ll n^{-46/47}$, with high probability $π_1(Y)$ is not free. Here we improve on both of these results to show that there are explicit constants $γ_2 < c_2 < 3$, so that for $p < γ_2/n$ with high probability $Y$ has free fundamental group and that for $p > c_2/n$, with high probability $Y$ has fundamental group which either is not free or is trivial.

Using the combinatorics of the underlying simplicial complex $K$, we give various upper and lower bounds for the Lusternik-Schnirelmann (LS) category of moment-angle complexes $\zk$. We describe families of simplicial complexes and combinatorial operations which allow for a systematic description of the LS category. In particular, we characterise the LS category of moment-angle complexes $\zk$ over triangulated $d$-manifolds $K$ for $d\leq 2$, as well as higher dimension spheres built up via connected sum, join, and vertex doubling operations. %This characterisation is given in terms of the combinatorics of $K$, the cup product length of $H^*(\zk)$, as well as a certain Massey products. We show that the LS category closely relates to vanishing of Massey products in $H^*(\zk)$ and through this connection we describe first structural properties of Massey products in moment-angel manifolds. Some of further applications include calculations of the LS category and the description of conditions for vanishing of Massey products for moment-angle manifolds over fullerenes, Pogorelov polytopes and $k$-neighbourly complexes, which double as important examples of hyperbolic manifolds.

It could be expected that the moment-angle complex associated with a Golod simplicial complex is homotopy equivalent to a suspension space. In this paper, we provide a counter example to this expectation. We have discovered this complex through the studies of the Golod property of the Alexander dual of a join of simplicial complexes, and that of a union of simplicial complexes.