arXiv++ Combinatorics

We establish an upper bound on the cardinality of a minimal generating set for the fundamental group of a large family of connected, balanced simplicial complexes and, more generally, simplicial posets.

In their work on `Coxeter-like complexes', Babson and Reiner introduced a simplicial complex $Δ_T$ associated to each tree $T$ on $n$ nodes, generalizing chessboard complexes and type A Coxeter complexes. They conjectured that $Δ_T$ is $(n-b-1)$-connected when the tree has $b$ leaves. We provide a shelling for the $(n-b)$-skeleton of $Δ_T$, thereby proving this conjecture. In the process, we introduce notions of weak order and inversion functions on the labellings of a tree $T$ which imply shellability of $Δ_T$, and we construct such inversion functions for a large enough class of trees to deduce the aforementioned conjecture and also recover the shellability of chessboard complexes $M_{m,n}$ with $n \ge 2m-1$. We also prove that the existence or nonexistence of an inversion function for a fixed tree governs which networks with a tree structure admit greedy sorting algorithms by inversion elimination and provide an inversion function for trees where each vertex has capacity at least its degree minus one.

A flag complex can be defined as a simplicial complex whose simplices correspond to complete subgraphs of its 1-skeleton taken as a graph. In this article, by introducing the notion of s-dismantlability, we shall define the s-homotopy type of a graph and show in particular that two finite graphs have the same s-homotopy type if, and only if, the two flag complexes determined by these graphs have the same simplicial simple-homotopy type (Theorem 2.10, part 1). This result is closely related to similar results established by Barmak and Minian (Adv. in Math., 218 (2008), 87-104) in the framework of posets and we give the relation between the two approaches (theorems 3.5 and 3.7). We conclude with a question about the relation between the s-homotopy and the graph homotopy defined by Chen, Yau and Yeh (Discrete Math., 241(2001), 153-170).

Scattered over the past few years have been several occurrences of simplicial complexes whose topological behavior characterize the Cohen-Macaulay property for quotients of polynomial rings by arbitrary (not necessarily squarefree) monomial ideals. The purpose of this survey is to gather the developments into one location, with self-contained proofs, including direct combinatorial topological connections between them.

A neighborliness property of marginal polytopes of hierarchical models, depending on the cardinality of the smallest non-face of the underlying simplicial complex, is shown. The case of binary variables is studied explicitly, then the general case is reduced to the binary case. A Markov basis for binary hierarchical models whose simplicial complexes is the complement of an interval is given.

A simplicial complex is d-collapsible if it can be reduced to an empty complex by repeatedly removing (collapsing) a face of dimension at most d-1 that is contained in a unique maximal face. We prove that the algorithmic question whether a given simplicial complex is d-collapsible is NP-complete for d greater or equal to 4 and polynomial time solvable for d at most 2. As an intermediate step, we prove that d-collapsibility can be recognized by the greedy algorithm for d at most 2, but the greedy algorithm does not work for d greater or equal 3. A simplicial complex is d-representable if it is the nerve of a collection of convex sets in R^d. The main motivation for studying d-collapsible complexes is that every d-representable complex is d-collapsible. We also observe that known results imply that analogical algorithmic question for d-representable complexes is NP-hard for d greater or equal to 2.

Shellability is a well-known combinatorial criterion for verifying that a simplicial complex is Cohen-Macaulay. Another notion familiar to commutative algebraists, but which has not received as much attention from combinatorialists as the Cohen-Macaulay property, is the notion of a Golod ring. Recently, a criterion on simplicial complexes reminiscent of shellability, called the strong gcd-condition, was shown to imply Golodness of the associated Stanley-Reisner ring. The two algebraic notions were tied together by Herzog, Reiner and Welker who showed that if the Alexander dual of a complex is sequentially Cohen-Macaulay then the complex itself is Golod. In this paper, we present a combinatorial companion of this result, namely that if the Alexander dual of a complex is (non-pure) shellable then the complex itself satisfies the strong gcd-condition. Moreover, we show that all implications just mentioned are strict in general but that they are equivalences for flag complexes.

With a view toward studying the homotopy type of spaces of Boolean formulae, we introduce a simplicial complex, called the theta complex, associated to any hypergraph, which is the Alexander dual of the more well-known independence complex. In particular, the set of satisfiable formulae in k-conjunctive normal form with less than or equal to n variables has the homotopy type of Theta(Cube(n,n-k)), where Cube(n,n-k) is a hypergraph associated to the (n-k)-skeleton of an n-cube. We make partial progress in calculating the homotopy type of theta for these cubical hypergraphs, and we also give calculations and examples for other hypergraphs as well. Indeed studying the theta complex of hypergraphs is an interesting problem in its own right.

Suppose $M$ is a finite simplicial complex and that for $0=t_0,t_1,...,t_r=1$ we have a discrete Morse function $F_{t_i}:M\to \zr$. In this paper, we study the births and deaths of critical cells for the functions $F_{t_i}$ and present an algorithm for pairing the cells that occur in adjacent slices. We first study the case where the triangulation of $M$ is the same for each $t_i$, and then generalize to the case where the triangulations may differ. This has potential applications in data imaging, where one has function values at a sample of points in some region in space at several different times or at different levels in an object.

A simplicial complex $Δ$ is called flag if all minimal nonfaces of $Δ$ have at most two elements. The following are proved: First, if $Δ$ is a flag simplicial pseudomanifold of dimension $d-1$, then the graph of $Δ$ (i) is $(2d-2)$-vertex-connected and (ii) has a subgraph which is a subdivision of the graph of the $d$-dimensional cross-polytope. Second, the $h$-vector of a flag simplicial homology sphere $Δ$ of dimension $d-1$ is minimized when $Δ$ is the boundary complex of the $d$-dimensional cross-polytope.

The circular peak set of a permutation $σ$ is the set $\{σ(i)\mid σ(i-1)<σ(i)>σ(i+1)\}$. Let $\mathcal{P}_n$ be the set of all the subset $S\subseteq [n]$ such that there exists a permutation $σ$ which has the circular set $S$. We can make the set $\mathcal{P}_n$ into a poset $\mathscr{P}_n$ by defining $S\preceq T$ if $S\subseteq T$ as sets. In this paper, we prove that the poset $\mathscr{P}_n$ is a simplicial complex on the vertex set $[3,n]$. We study the $f$-vector, the $f$-polynomial, the reduced Euler characteristic, the M$\ddot{o}$bius function, the $h$-vector and the $h$-polynomial of $\mathscr{P}_n$. We also derive the zeta polynomial of $\mathscr{P}_n$ and give the formula for the number of the chains in $\mathscr{P}_n$. By the poset $\mathscr{P}_n$, we define two algebras $\mathcal{A}_{\mathscr{P}_n}$ and $\mathcal{B}_{\mathscr{P}_n}$. We consider the Hilbert polynomials and the Hilbert series of the algebra $\mathcal{A}_{\mathscr{P}_n}$ and $\mathcal{B}_{\mathscr{P}_n}$.

A split of a polytope $P$ is a (regular) subdivision with exactly two maximal cells. It turns out that each weight function on the vertices of $P$ admits a unique decomposition as a linear combination of weight functions corresponding to the splits of $P$ (with a split prime remainder). This generalizes a result of Bandelt and Dress [Adv. Math. 92 (1992)] on the decomposition of finite metric spaces. Introducing the concept of compatibility of splits gives rise to a finite simplicial complex associated with any polytope $P$, the split complex of $P$. Complete descriptions of the split complexes of all hypersimplices are obtained. Moreover, it is shown that these complexes arise as subcomplexes of the tropical (pre-)Grassmannians of Speyer and Sturmfels [Adv. Geom. 4 (2004)].

For $d \geq 2$, Walkup's class ${\cal K}(d)$ consists of the $d$-dimensional simplicial complexes all whose vertex-links are stacked $(d-1)$-spheres. Kalai showed that for $d \geq 4$, all connected members of ${\cal K}(d)$ are obtained from stacked $d$-spheres by finitely many elementary handle additions. According to a result of Walkup, the face vector of any triangulated 4-manifold $X$ with Euler characteristic $χ$ satisfies $f_1 \geq 5f_0 - {15/2} χ$, with equality only for $X \in {\cal K}(4)$. Kühnel observed that this implies $f_0(f_0 - 11) \geq -15χ$, with equality only for 2-neighborly members of ${\cal K}(4)$. Kühnel also asked if there is a triangulated 4-manifold with $f_0 = 15$, $χ= -4$ (attaining equality in his lower bound). In this paper, guided by Kalai's theorem, we show that indeed there is such a triangulation. It triangulates the connected sum of three copies of the twisted sphere product $S^3 \times {-2.8mm}_{-} S^1$. Because of Kühnel's inequality, the given triangulation of this manifold is a vertex-minimal triangulation. By a recent result of Effenberger, the triangulation constructed here is tight. Apart from the neighborly 2-manifolds and the infinite family of $(2d+ 3)$-vertex sphere products $S^{d-1} \times S^1$ (twisted for $d$ odd), only fourteen tight triangulated manifolds were known so far. The present construction yields a new member of this sporadic family. We also present a self-contained proof of Kalai's result.

A simplicial complex K is called d-representable if it is the nerve of a collection of convex sets in R^d; K is d-collapsible if it can be reduced to an empty complex by repeatedly removing a face of dimension at most d-1 that is contained in a unique maximal face; and K is d-Leray if every induced subcomplex of K has vanishing homology of dimension d and larger. It is known that d-representable implies d-collapsible implies d-Leray, and no two of these notions coincide for d greater or equal to 2. The famous Helly theorem and other important results in discrete geometry can be regarded as results about d-representable complexes, and in many of these results "d-representable" in the assumption can be replaced by "d-collapsible" or even "d-Leray". We investigate "dimension gaps" among these notions, and we construct, for all positive integers d, a 2d-Leray complex that is not (3d-1)-collapsible and a d-collapsible complex that is not (2d-2)-representable. In the proofs we obtain two results of independent interest: (i) The nerve of every finite family of sets, each of size at most d, is d-collapsible. (ii) If the nerve of a simplicial complex K is d-representable, then K embeds in R^d.

In this paper we introduce a class of hypergraphs that we call chordal. We also extend the definition of triangulated hypergraphs, given in \cite{VT}, so that a triangulated hypergraph, according to our definition, is a natural generalization of a chordal (rigid circuit) graph. In \cite{F1}, Fröberg shows that the chordal graphs corresponds to graph algebras, $R/I(\mc{G})$, with linear resolutions. We extend Fröberg's method and show that the hypergraph algebras of generalized chordal hypergraphs, a class of hypergraphs that includes the chordal hypergraphs, have linear resolutions. The definitions we give, yield a natural higher dimensional version of the well known flag property of simplicial complexes. We obtain what we call $d$-flag complexes.

We generalize the definition and enumeration of spanning trees from the setting of graphs to that of arbitrary-dimensional simplicial complexes $Δ$, extending an idea due to G. Kalai. We prove a simplicial version of the Matrix-Tree Theorem that counts simplicial spanning trees, weighted by the squares of the orders of their top-dimensional integral homology groups, in terms of the Laplacian matrix of $Δ$. As in the graphic case, one can obtain a more finely weighted generating function for simplicial spanning trees by assigning an indeterminate to each vertex of $Δ$ and replacing the entries of the Laplacian with Laurent monomials. When $Δ$ is a shifted complex, we give a combinatorial interpretation of the eigenvalues of its weighted Laplacian and prove that they determine its set of faces uniquely, generalizing known results about threshold graphs and unweighted Laplacian eigenvalues of shifted complexes.

Given a convex n-gon P in the Euclidean plane, it is well known that the simplicial complex θ(P) with vertex set given by diagonals in P and facets given by triangulations of P is the boundary complex of a polytope of dimension n-3. We prove that for any non-convex polygonal region P with n vertices and h+1 boundary components, θ(P) is a ball of dimension n+3h-4. We also provide a new proof that θ(P) is a sphere when P is convex.

We study the intersections of general Schubert varieties X_w with permuted big cells, and give an inductive degeneration of each such "Schubert patch" to a Stanley-Reisner scheme. Similar results had been known for Schubert patches in various types of Grassmannians. We maintain reducedness using the results of [Knutson 2007] on automatically reduced degenerations, or through more standard cohomology-vanishing arguments. The underlying simplicial complex of the Stanley-Reisner scheme is a subword complex, as introduced for slightly different purposes in [Knutson-Miller 2004], and is homeomorphic to a ball. This gives a new proof of the Andersen-Jantzen-Soergel/Billey and Graham/Willems formulae for restrictions of equivariant Schubert classes to fixed points.

We investigate one-point reduction methods of finite topological spaces. These methods allow one to study homotopy theory of cell complexes by means of elementary moves of their finite models. We also introduce the notion of h-regular CW-complex, generalizing the concept of regular CW-complex, and prove that the h-regular CW-complexes, which are a sort of combinatorial-up-to-homotopy objects, are modeled (up to homotopy) by their associated finite spaces. This is accomplished by generalizing a classical result of McCord on simplicial complexes.

Let $(a_n)_{n \geq 0}$ be a sequence of complex numbers such that its generating series satisfies $\sum_{n \geq 0} a_nt^n = \frac{h(t)}{(1-t)^d}$ for some polynomial $h(t)$. For any $r \geq 1$ we study the transformation of the coefficient series of $h(t)$ to that of $h^{< r >}(t)$ where $\sum_{n \geq 0} a_{nr} t^n = \frac{h^{< r >}(t)}{(1-t)^d}$. We give a precise description of this transformation and show that under some natural mild hypotheses the roots of $h^{< r >}(t)$ converge when $r$ goes to infinity. In particular, this holds if $\sum_{n \geq 0} a_n t^n$ is the Hilbert series of a standard graded $k$-algebra $A$. If in addition $A$ is Cohen-Macaulay then the coefficients of $h^{< r >}(t)$ are monotonely increasing with $r$. If $A$ is the Stanley-Reisner ring of a simplicial complex $Δ$ then this relates to the $r$th edgewise subdivision of $Δ$ which in turn allows some corollaries on the behavior of the respective $f$-vectors.