arXiv++ Combinatorics

A Hamiltonian cycle in a graph is a spanning subgraph that is homeomorphic to a circle. With this in mind, it is natural to define a Hamiltonian d-sphere in a d-dimensional simplicial complex as a spanning subcomplex that is homeomorphic to a d-dimensional sphere. We consider the Linial-Meshulam model for random simplicial complexes, and prove that there is a sharp threshold at $p=\sqrt{\frac{e}{γn}}$ for the appearance of a Hamiltonian $2$-sphere in a random $2$-complex, where $γ= 4^4/3^3$.

This article surveys some of the work done in recent years on random simplicial complexes. We mostly consider higher-dimensional analogs of the well known phase transition in $G(n, p)$ theory that occurs at $p = \frac 1n$ . Our main objective is to provide a more streamlined and unified perspective of some of the papers in this area.

In this paper we define a family of topological spaces, which contains and vastly generalizes the higher-dimensional Dunce hats. Our definition is purely combinatorial, and is phrased in terms of identifications of boundary simplices of a~standard d-simplex. By virtue of the construction, the obtained spaces may be indexed by words, and they automatically carry the structure of a $Δ$-complex. As our main result, we completely determine the homotopy type of these spaces. In fact, somewhat surprisingly, we are able to prove that each of them is either contractible or homotopy equivalent to an odd-dimensional sphere. We develop the language to determine the homotopy type directly from the combinatorics of the indexing word. As added benefit of our investigation, we are able to emulate the Dunce hat phenomenon, and to obtain a large family of both $Δ$-complexes, as well as simplicial complexes, which are contractible, but not collapsible.

A~$k$-associahedron is a simplicial complex whose facets, called~$k$-triangulations, are the inclusion maximal sets of diagonals of a convex polygon where no~$k+1$ diagonals mutually cross. Such complexes are conjectured for about a decade to have realizations as convex polytopes, and therefore as complete simplicial fans. Apart from four one-parameter families including simplices, cyclic polytopes and classical associahedra, only two instances of multiassociahedra have been geometrically realized so far. This paper reports on conjectural realizations for all~$2$-associahedra, obtained by heuristic methods arising from natural geometric intuition on subword complexes. Experiments certify that we obtain fan realizations of~$2$-associahedra of an~$n$-gon for~$n\in\{10,11,12,13\}$, further ones being out of our computational reach.

A simplicial complex of dimension $d-1$ is said to be balanced if its graph is $d$-colorable. Juhnke-Kubitzke and Murai proved an analogue of the generalized lower bound theorem for balanced simplicial polytopes. We establish a generalization of their result to balanced triangulations of closed homology manifolds and balanced triangulations of orientable homology manifolds with boundary under an additional assumption that all proper links of these triangulations have the weak Lefschetz property. As a corollary, we show that if $Δ$ is an arbitrary balanced triangulation of any closed homology manifold of dimension $d-1 \geq 3$, then $2h_2(Δ) - (d-1)h_1(Δ) \geq 4{d \choose 2}(\tildeβ_1(Δ)-\tildeβ_0(Δ))$, thus verifying a conjecture by Klee and Novik. To prove these results we develop the theory of flag $h''$-vectors.

It is known that the Frobenius algebra of the injective hull of the residue field of a complete Stanley--Reisner ring (i.e. a formal power series ring modulo a squarefree monomial ideal) can be only principally generated or infinitely generated as algebra over its degree zero piece, and that this fact can be read off in the corresponding simplicial complex; in the infinite case, we exhibit a 1--1 correspondence between potential new generators appearing on each graded piece and certain pairs of faces of such a simplicial complex, and we use it to provide an alternative proof of the fact that these Frobenius algebras can only be either principally generated or infinitely generated.

Let $Φ$ be an irreducible (possibly noncrystallographic) root system of rank $l$ of type $P$. For the corresponding cluster complex $Δ(P)$, which is known as pure $(l-1)$-dimensional simplicial complex, we define the generating function of the number of faces of $Δ(P)$ with dimension $i-1$, which is called the {\it $f$-polynomial}. We show that the $f$-polynomial has exactly $l$ simple real zeros on the interval $(0, 1)$ and the smallest root for the infinite series of type $A_l$, $B_l$ and $D_l$ monotone decreasingly converges to zero as the rank $l$ tends to infinity. We also consider the generating function (called the {\it $f^{+}$-polynomial}) of the number of faces of the positive part $Δ_{+}(P)$ of the complex $Δ(P)$ with dimension $i-1$, whose zeros are real and simple and are located in the interval $(0, 1]$, including a simple root at $t=1$. We show that the roots $\{ t^{+}_{P, ν+1} \}_{ν=1}^{l-1}$ in decreasing order of $f^{+}$-polynomial alternate with the roots $\{ t_{P, ν} \}_{ν=1}^{l}$ in decreasing order of $f$-polynomial.

Strong placement games (SP-games) are a class of combinatorial games whose structure allows one to describe the game via simplicial complexes. A natural question is whether well-known invariants of combinatorial games, such as "game value", appear as invariants of the simplicial complexes. This paper is the first step in that direction. We show that every simplicial complex encodes a certain type of SP-game (called an "invariant SP-game") whose ruleset is independent of the board it is played on. We also show that in the class of SP-games isomorphic simplicial complexes correspond to isomorphic game trees, and hence equal game values. We also study a subclass of SP-games corresponding to flag complexes, showing that there is always a game whose corresponding complex is a flag complex no matter which board it is played on.

We introduce the notion of a quasi-matroidal class of ordered simplicial complexes: an approximation to the idea of a matroid cryptomorphism in the landscape of ordered simplicial complexes. A quasi-matroidal class contains pure shifted simplicial complexes and ordered matroid independence complexes. The essential property is that if a fixed simplicial complex belongs to this class for every ordering of its vertex set, then it is a matroid independence complex. Some examples of such classes appear implicitly in the matroid theory literature. We introduce various such classes that highlight different apsects of matroid theory and its similarities with the theory of shifted simplicial complexes. For example, we lift the study of objects like the Tutte polynomial and nbc complexes to a quasi-matroidal class that allows us to define such objects for shifted complexes. Furthermore, some of the quasi-matroidal classes are amenable to inductive techniques that can't be applied directly in the context of matroid theory. As an example, we provide a suitable setting to reformulate and extend conjecture of Stanley about $h$-vectors of matroids which is expected to be tractable with techniques that are out of reach for matroids alone. This new conjecture holds for pure shifted simplicial complexes and matroids of rank up to 4.

It was proven by González-Meneses, Manchón and Silvero that the extreme Khovanov homology of a link diagram is isomorphic to the reduced (co)homology of the independence simplicial complex obtained from a bipartite circle graph constructed from the diagram. In this paper we conjecture that this simplicial complex is always homotopy equivalent to a wedge of spheres. In particular, its homotopy type, if not contractible, would be a link invariant and it would imply that the extreme Khovanov homology of any link diagram does not contain torsion. We prove the conjecture in many special cases and find it convincing to generalize it to every circle graph (intersection graph of chords in a circle). In particular, we prove it for the families of cactus, outerplanar, permutation and non-nested graphs. Conversely, we also give a method for constructing a permutation graph whose independence simplicial complex is homotopy equivalent to any given finite wedge of spheres. We also present some combinatorial results on the homotopy type of finite simplicial complexes and a theorem generalizing previous results by Csorba, Nagel and Reiner, Jonsson and Barmak. We study the implications of our results to Knot Theory; more precisely, we compute the real-extreme Khovanov homology of torus links $T(3,q)$ and obtain examples of $H$-thick knots whose extreme Khovanov homology groups are separated either by one or two gaps as long as desired.

The theory of $k$-regular graphs is closely related to group theory. Every $k$-regular, bipartite graph is a Schreier graph with respect to some group $G$, a set of generators $S$ (depending only on $k$) and a subgroup $H$. The goal of this paper is to begin to develop such a framework for $k$-regular simplicial complexes of general dimension $d$. Our approach does not directly generalize the concept of a Schreier graph, but still presents an extensive family of $k$-regular simplicial complexes as quotients of one universal object: the $k$-regular $d$-dimensional arboreal complex, which is itself a simplicial complex originating in one specific group depending only on $d$ and $k$. Along the way we answer a question from [PR12] on the spectral gap of higher dimensional Laplacians and prove a high dimensional analogue of Leighton's graph covering theorem. This approach also suggests a random model for $k$-regular $d$-dimensional multicomplexes.

For a collection of convex bodies $P_1,\dots,P_n \subset \mathbb{R}^d$ containing the origin, a Minkowski complex is given by those subsets whose Minkowski sum does not contain a fixed basepoint. Every simplicial complex can be realized as a Minkowski complex and for convex bodies on the real line, this recovers the class of threshold complexes. The purpose of this note is the study of the convex threshold dimension of a complex, that is, the smallest dimension in which it can be realized as a Minkowski complex. In particular, we show that the convex threshold dimension can be arbitrarily large. This is related to work of Chvátal and Hammer (1977) regarding forbidden subgraphs of threshold graphs. We also show that convexity is crucial this context.

The random $2$-dimensional simplicial complex process starts with a complete graph on $n$ vertices, and in every step a new $2$-dimensional face, chosen uniformly at random, is added. We prove that with probability tending to $1$ as $n\to\infty$, the first homology group over $\mathbb Z$ vanishes at the very moment when all the edges are covered by triangular faces.

Random shapes arise naturally in many contexts. The topological and geometric structure of such objects is interesting for its own sake, and also for applications. In physics, for example, such objects arise naturally in quantum gravity, in material science, and in other settings. Stochastic topology may also be considered as a null hypothesis for topological data analysis. In this chapter we overview combinatorial aspects of stochastic topology. We focus on the topological and geometric properties of random simplicial complexes. We introduce a few of the fundamental models in Section 23.1. We review high-dimensional expander-like properties of random complexes in Section 23.2. We discuss threshold behavior and phase transitions in Section 23.3, and Betti numbers and persistent homology in Section 23.4.

We characterize homology manifolds with $g_2\leq 2$. Specifically, using retriangulations of simplicial complexes, we give a short proof of Nevo and Novinsky's result on the characterization of homology $(d-1)$-spheres with $g_2=1$ for $d\geq 5$ and extend it to the class of normal pseudomanifolds. We proceed to prove that every prime homology manifold with $g_2=2$ is obtained by centrally retriangulating a polytopal sphere with $g_2\leq 1$ along a certain subcomplex. This implies that all homology manifolds with $g_2=2$ are polytopal spheres.

The main result is a common generalization of results on lower bounds for the chromatic number of r-uniform hypergraphs and some of the major theorems in Tverberg-type theory, which is concerned with the intersection pattern of faces in a simplicial complex when continuously mapped to Euclidean space. As an application we get a simple proof of a generalization of a result of Kriz for certain parameters. This specializes to a short and simple proof of Kneser's conjecture. Moreover, combining this result with recent work of Mabillard and Wagner we show that the existence of certain equivariant maps yields lower bounds for chromatic numbers. We obtain an essentially elementary proof of the result of Schrijver on the chromatic number of stable Kneser graphs. In fact, we show that every neighborly even-dimensional polytope yields a small induced subgraph of the Kneser graph of the same chromatic number. We furthermore use this geometric viewpoint to give tight lower bounds for the chromatic number of certain small subhypergraphs of Kneser hypergraphs.

We resolve a conjecture of Kalai asserting that the $g_2$-number of any simplicial complex $Δ$ that represents a connected normal pseudomanifold of dimension $d\geq 3$ is at least as large as ${d+2 \choose 2}m(Δ)$, where $m(Δ)$ denotes the minimum number of generators of the fundamental group of $Δ$. Furthermore, we prove that a weaker bound, $h_2(Δ)\geq {d+1 \choose 2}m(Δ)$, applies to any $d$-dimensional pure simplicial poset $Δ$ all of whose faces of co-dimension $\geq 2$ have connected links. This generalizes a result of Klee. Finally, for a pure relative simplicial poset $Ψ$ all of whose vertex links satisfy Serre's condition $(S_r)$, we establish lower bounds on $h_1(Ψ),\ldots,h_r(Ψ)$ in terms of the $μ$-numbers introduced by Bagchi and Datta.

In this paper, we study Lefschetz properties of Artinian reductions of Stanley-Reisner rings of balanced simplicial $3$-polytopes. A $(d-1)$-dimensional simplicial complex is said to be balanced if its graph is $d$-colorable. If a simplicial complex is balanced, then its Stanley-Reisner ring has a special system of parameters induced by the coloring. We prove that the Artinian reduction of the Stanley-Reisner ring of a balanced simplicial $3$-polytope with respect to this special system of parameters has the strong Lefschetz property if the characteristic of the base field is not two or three. Moreover, we characterize $(2,1)$-balanced simplicial polytopes, i.e., polytopes with exactly one red vertex and two blue vertices in each facet, such that an analogous property holds. In fact, we show that this is the case if and only if the induced graph on the blue vertices satisfies a Laman-type combinatorial condition.

Random walks on regular bounded degree expander graphs have numerous applications. A key property of these walks is that they converge rapidly to the uniform distribution on the vertices. The recent study of expansion of high dimensional simplicial complexes, which are the high dimensional analogues of graphs, calls for the natural generalization of random walks to higher dimensions. In particular, a high order random walk on a $2$-dimensional simplicial complex moves at random between neighboring edges of the complex, where two edges are considered neighbors if they share a common triangle. We show that if a regular $2$-dimensional simplicial complex is a cosystolic expander and the underlying graph of the complex has a spectral gap larger than $1/2$, then the random walk on the edges of the complex converges rapidly to the uniform distribution on the edges.

Given a filter $Δ$ in the poset of compositions of $n$, we form the filter $Π^{*}_Δ$ in the partition lattice. We determine all the reduced homology groups of the order complex of $Π^{*}_Δ$ as ${\mathfrak S}_{n-1}$-modules in terms of the reduced homology groups of the simplicial complex $Δ$ and in terms of Specht modules of border shapes. We also obtain the homotopy type of this order complex. These results generalize work of Calderbank--Hanlon--Robinson and Wachs on the $d$-divisible partition lattice. Our main theorem applies to a plethora of examples, including filters associated to integer knapsack partitions and filters generated by all partitions having block sizes $a$ or~$b$. We also obtain the reduced homology groups of the filter generated by all partitions having block sizes belonging to the arithmetic progression $a, a + d, \ldots, a + (a-1) \cdot d$, extending work of Browdy.