arXiv++ Combinatorics

An $r$-dimensional wheel is defined as the join of an $(r-2)$-simplex and a cycle. In this paper, we study the maximum signless Laplacian spectral radius of $n$-vertex $r$-dimensional pure simplicial complexes that contain no $r$-dimensional wheels. For sufficiently large $n$, we determine the extremal complexes that attain this maximum. Our result generalizes the corresponding extremal results of signless Laplacian on graphs and provides a spectral anlogue of a theorem of Brown, Erdős and Sós on the maximum number of facets of simplicial complexes in the case $r=2$.

We study simplicial complexes with a given number of vertices whose Stanley-Reisner ring has the minimal sum of Betti numbers. We prove that every full subcomplex of them is homotopy equivalent either to a point or to a sphere. Moreover, we prove that such kind of simplicial complexes coincide with those having minimal Taylor resolutions.

We study new higher-dimensional analogs of graph chordality and review the existing ones. Our main results for simplicial complexes are: (1) $Δ$ skeleton-E-chordal $\Rightarrow$ $Δ^\vee$ vertex-decomposable $\Rightarrow$ $Δ$ skeleton-clique-chordal. Moreover, for subflag complexes, $Δ$ skeleton-E-chordal $\Longleftrightarrow$ $Δ^\vee$ vertex-decomposable. (For $d=1$ this boils down to ``$G$ chordal $\Longleftrightarrow$ $G^\vee$ vertex-decomposable'', a result closely related to Fröberg's theorem.) (2) For subflag complexes, $Δ$ is skeleton-E-chordal $\Longleftrightarrow$ it splits as $Δ= Δ_1 \cup Δ_2$, with each $Δ_i$ a skeleton-E-chordal induced subcomplex of $Δ$, and with $Δ_1 \cap Δ_2$ a complex whose $1$-skeleton is a clique. (This generalizes ``$G$ chordal $\Longleftrightarrow$ $G$ splits as a union of chordal graphs that intersect in a common clique''). (3) $Δ$ skeleton-E-chordal $\Longleftrightarrow$ every nonempty induced subcomplex of $Δ$ has a skeleton-E-simplicial vertex. (Generalizes ``$G$ chordal $\Leftrightarrow$ every nonempty induced subgraph has a simplicial vertex''.) (4) $Δ$ underclosed $\Rightarrow$ $Δ$ skeleton-weakly-chordal and weakly-closed. (Generalizes ``$G$ interval $\Rightarrow$ $G$ chordal and co-comparability''.) (5) All pure E-chordal complexes are vertex-chordal; all pure mid-chordal complexes are weakly-vertex-chordal; all pure very-weakly-chordal complexes are weakly-ridge-chordal. (This expands Bigdeli, Yazdan-Pour and Zaare-Nahandi's work on ridge-chordality.)

We show that the problem of deciding whether a simplicial complex is partitionable is NP-complete in dimensions two and higher, answering a 1995 question of Kleinschmidt and Onn.

The well-known open problem of Bell and Skandera asks whether a real-rooted polynomial $f(t)$ with positive integer coefficients and constant term one is the $f$-polynomial of a simplicial complex. Mu and Welker proved that if the recursive decomposition $f(t)=g(t)+th(t)$ satisfies the corresponding coefficient inequality $h_i<g_i$, then this open problem has an affirmative answer. Mu and Welker also conjectured that the real-rootedness of $f(t)$ implies that of $g(t)$ and $h(t)$. We give counterexamples to the conjecture of Mu and Welker for every degree at least three, and prove that the assertion holds in degrees $1$ and $2$. Moreover, each polynomial we construct is the $f$-polynomial of a simplicial complex.

This paper studies crossing numbers of $d$-dimensional simplicial complexes drawn in $\mathbb R^{2d}$ or $\mathbb S^{2d}$. We clarify and generalize a number of known results and conjectures from the graph case to higher dimensions: the crossing lemma (including the exceptional case of two-dimensional complexes drawn in dimension $4$), a generalized Harary-Hill conjecture (and evidence for it), existence of a midrange crossing constant (in a weak sense), and upper bound constructions based on stochastic geometry (related to Sylvester's problem) and the cyclic polytope. Some of our results are new even in the case of graphs: we give a simple proof of the Harary-Hill conjecture for antipodal drawings, and sharpen the threshold above which the rectilinear and spherical crossing numbers of the Erdős-Rényi random graph behave like those of the complete graph.

For a polynomial $f(t) = 1+f_0t+\cdots +f_{d-1}t^d$ with positive integer coefficients Bell and Skandera ask if real rootedness of f(t) implies that there is a simplicial complex with f-vector $(1,f_0 \ldots,f_{d-1})$. In this paper we discover properties implied by the real rootedness of f(t) in terms of the binomial representation $f_i = \binom{x_{i+1}}{i+1}, i \geq 0$. We use these to provide a sufficient criterion for a positive answer to the question by Bell and Skandera. We also describe two further approaches to the conjecture and use one to verify that some well studied real rooted classical polynomials are f-polynomials. Finally, we provide a series of results showing that the set of f-vectors of simplicial complexes is closed under constructions also preserving real rootedness of their generating polynomials.

The independence complex of the Kneser graph $\KG(n,k)$ is the simplicial complex of pairwise intersecting families of $n$-subsets of $[2n+k]$; equivalently, it is a Vietoris--Rips complex of the $n$-subsets of $[2n+k]$ under the symmetric-difference metric. Feng and Wang asked whether, for $n=3$, its reduced homology is nontrivial only in dimensions $6$ and $9$, and conjectured the rank in dimension $9$. We answer the question affirmatively over the rationals and determine all the associated Betti numbers. For every $k\ge0$, the only nonzero reduced Betti numbers using rationals of $\Ind(\KG(3,k))$ are \[ β_6=\binom{k+5}{7}+29\binom{k+6}{7} \qquad\text{and}\qquad β_9=\binom{k+6}{6}. \] The proof uses an inductive decomposition based on a simplicial retraction and Barmak's star clusters, Dowker duality together with Jonsson's computation of the homology of complexes of graphs with bounded covering number, and a relative Mayer--Vietoris spectral sequence which reduces the problem to the six-element sets.

Extremal ideals are a class of square-free monomial ideals which dominate and determine many algebraic invariants of powers of all square-free monomial ideals. For example, the $r^{th}$ power ${\mathcal{E}_q}^r$ of the extremal ideal on $q$ generators has the maximum Betti numbers among the $r^{th}$ power of any square-free monomial ideal with $q$ generators. In this paper we study the combinatorial and geometric structure of the (minimal) free resolutions of powers of square-free monomial ideals via the resolutions of powers of extremal ideals. Although the end results are algebraic, this problem has a natural interpretation in terms of polytopes and discrete geometry. Our guiding conjecture is that all powers ${\mathcal{E}_q}^r$ of extremal ideals have resolutions supported on their Scarf simplicial complexes, and thus their resolutions are as small as possible. This conjecture is known to hold for $r \leq 2$ or $q \leq 4$. In this paper we prove the conjecture holds for $r=3$ and any $q\geq 1$ by giving a complete description of the Scarf complex of ${\mathcal{E}_q}^3$. This effectively gives us a sharp bound on the betti numbers and projective dimension of the third power of any square-free momomial ideal. For large $i$ and $q$, our bounds on the $i^{th}$ betti numbers are an exponential improvement over previously known bounds. We also describe a large number of faces of the Scarf complex of ${\mathcal{E}_q}^r$ for any $r,q \geq 1$.

Let $E$ be the exterior algebra of an $n$-dimensional vector space over a field, let $F$ be a graded free $E$-module with $r$ generators of degrees $d_1 \le \dots \le d_r$, and let $M$ range over the monomial submodules of Amata and Crupi. The Hilbert function of $F/M$ is a shifted sum of $f$-vectors of simplicial complexes; the companion paper determines the convex hull of such sums, and here we count them. For $r = 1$ the count is Linusson's (1999); we show that no new recursion is needed for general $r$. Using two statistics of an $f$-vector -- its top nonvanishing degree and the initial degree of the corresponding ideal -- we prove that the number of achievable Hilbert functions is a product of $r-1$ transfer matrices, one per generator-degree gap, with entries differences of Linusson's refined counts $E^p(n,k)$. The rank enters only as the length of a matrix product. The same holds for the proper variant. Consequences: a linear recurrence in $r$ for constant gaps, with exact exponential asymptotics $K λ^r$ when the gap is positive; polynomiality in $r$ when all gaps vanish; a threshold beyond which the count is a plain power; and polynomiality in the number of vertices.

The computation of the vertices of a polyhedron described by a system of linear inequalities is a central problem in polyhedral computation. It is a fundamental step in the conversion between H-representations, by linear inequalities, and V-representations, by vertices and extreme rays. This operation plays an important role both in the study of polyhedra and their combinatorics in mathematics and in applications to software and system verification. We present a certificate-based approach for formally verifying the computation of the vertices of a polyhedron. Given an informally computed list of vertices, our method allows to certify in the proof assistant Rocq that the list is complete, or even exact. The cornerstone of the method is a new completeness criterion based on an abstract simplicial complex that generalizes a triangulation of the normal fan of the polyhedron. A significant advantage over previous approaches is that the usually expensive numerical computations are essentially reduced to membership tests to the polyhedron, while the other steps are cheap combinatorial tests. We implement the certification method and prove its correctness in the proof assistant Rocq. We experiment with it on a variety of polyhedra, including Birkhoff polytopes, cross-polytopes, cubes, permutahedra, hypersimplices, and high-dimensional polytopes involved in the disproof of the Hirsch conjecture. Our experiments show that certification with the Rocq-to-OCaml extracted checker is typically 1.5x to over 5x faster than vertex enumeration by the state-of-the-art informal C implementation lrslib of the reverse search method.

For a finite group \(G\), let \(N(G)\) be the simplicial complex of subsets that do not generate \(G\). We separate a general Frattini-topological reduction from the structure special to finite \(p\)-groups. For every finite noncyclic group, the non-cone Frattini core is homotopy equivalent to the order complex of the proper part of the subgroup lattice of \(G/Φ(G)\). For a finite \(p\)-group this quotient is an elementary abelian vector space, and the core becomes the non-spanning complex of a uniform parallel extension of \(\mathrm{PG}(r-1,p)\), where \(r=d(G)\) and \(q=|Φ(G)|\). We use this geometry to determine the exact simplicial isomorphism data and full simplicial automorphism group, identify top homology equivariantly with the appropriate restriction of the Steinberg module, and derive modular consequences. We also give an explicit supportwise formula for every multigraded Betti number and compare it with a closed single-sum formula for the \(\mathbb Z\)-graded Betti numbers. Known matroidal and building-theoretic inputs are stated separately from the group-specific consequences. The resulting framework also yields the homotopy type, depth, regularity, projective dimension, face enumeration, and the complete Cohen--Macaulay classification.

The switch chain is a Markov chain defined on the set of labelled realizations of a given graphical degree sequence. At each step, a pair of vertex-disjoint edges is chosen at random and the process attempts to replace them with a uniformly chosen perfect matching of the same four vertices, rejecting any proposal that would create a multiple edge. The resulting process is reversible with respect to the uniform distribution on all realizations. We investigate the mixing time of this chain by viewing realizations as the facets of a simplicial complex and studying a variant of the original process called the simplicial switch chain, which we analyze using tools from the theory of high-dimensional expansion. Our technical contributions include a proof that links of faces of sufficiently high codimension are strong spectral expanders and a comparison between the Dirichlet energies of large block updates and two-edge updates. Our main result is an $O(Δ^{2}m\log m)$ bound on the mixing time of both simplicial and classical switch chains whenever $m\ge CΔ^{8}$, where $m$ is the number of edges, $Δ$ is the maximum prescribed degree, and $C>0$ is an absolute constant. For sequences on $n$ vertices with fixed maximum degree, this proves that the chain mixes in $O(n\log n)$ steps, resolving a longstanding conjecture of Cooper, Dyer, and Greenhill and extending its conclusion to irregular degree sequences.

We investigate the structural, combinatorial, ideal-theoretic and Krohn-Rhodes complexity of the Margolis-Rhodes monoid, MR(G), of a finite simple graph G, viewed topologically as a 1-dimensional simplicial complex. Alongside the full monoid, we examine some subsemigroups including St(G), defined by the condition that the full inverse image is an edge or the empty set and Inj(G), the monoid of all partial 1-1 continuous functions. We provide explicit combinatorial enumerations and struture for paths and cycles. We compute Green's relations showing in particular that the partial order of regular J-classes is isomorphic to the poset of induced subgraphs of G. Finally, we apply these structural invariants to Krohn-Rhodes complexity theory. It is known that the Margolis-Rhodes monoid has complexity at most 2 and 1 for St(G) and Inj(G). We show that for cycles the complexity of its Margolis-Rhodes monoid is 2 if and only if the cycle is of length at least 4. For paths, we prove that the complexity of its Margolis-Rhodes monoid is 2 if the path length is at least 13.

We introduce a new class of simplicial complexes, called \emph{$t$-Young complexes}, arising from Young diagrams and a positive integer~$t$. We show that every $t$-Young complex is either contractible or homotopy equivalent to a wedge of spheres, and a complete characterization of their vertex-decomposability is provided. Interestingly, $t$-Young complexes naturally appear as the Alexander dual complexes of squarefree powers of $t$-path ideals of path graphs. For this family, we use generating functions to obtain an explicit formula for homotopy type. As applications, we determine the projective dimension and the Krull dimension of these squarefree powers.

We prove a dimensional strengthening of the colorful Helly theorem. Let $\mathcal{C}_1,\dots,\mathcal{C}_{d+1}$ be finite nonempty families of convex sets in $\mathbb{R}^d$. If $C_1\cap\cdots\cap C_{d+1}\neq\varnothing$ for every choice of $C_i\in\mathcal{C}_i$, then $\sum_{i=1}^{d+1}\dim(\bigcap\mathcal{C}_i)\geq0$, where $\dim\varnothing=-1$. We also obtain a dimensional strengthening of a theorem of Kim and Lew, in which the intersections are taken over unions of color classes. For simplicial complexes, we introduce the link-Leray dimension, defined as the Leray number of the link for a face and as $-1$ for a nonface. Using this invariant, we prove a matroidal extension of the dimensional colorful Helly theorem for $d$-Leray complexes. We further establish a corresponding strengthening of the topological Kim--Lew theorem in two ranges of parameters. As a special case, we recover the topological colorful Helly theorem of Kalai and Meshulam. Finally, we construct counterexamples to the unrestricted topological extension, even under a stronger local condition.

Hyun, Kim, Wu and Yue constructed optimal and minimal binary linear codes from order ideals of hierarchical posets with two levels. Two different generalizations of the underlying antichain (simplicial complex) setting to odd characteristic are known: down-sets of $\mathbb{F}_p^n$ under the componentwise order, and support-closed subsets of $\mathbb{F}_q^m$. No generalization of the poset setting itself has appeared. We introduce generalized order ideals of a poset of order $p-1$, obtained by attaching multiplicities in ${0,\dots,p-1}$ to the elements of a poset, and study the two natural notions of order ideal that arise for hierarchical posets with two levels. Whenever the ideal meets the upper level, the resulting defining sets are neither down-sets nor support-closed. We determine the weight distributions of the associated complement codes, exhibit a family of Griesmer codes in which the upper element carries an arbitrary multiplicity, and, via the characteristic function of a generalized order ideal, obtain an infinite family of minimal $p$-ary codes of length $p^n-1$ and dimension $n+1$ violating the Ashikhmin--Barg condition.

We prove that $7$-located locally $5$-large simplicial complexes are aspherical.

We introduce Lehmer codes for several finite Coxeter groups, including all classical Weyl groups. These codes correspond to embed products of chains in the Bruhat order, which allow us to associate to each lower Bruhat interval of these groups a multicomplex whose $f$-polynomial is the Poincaré polynomial of the interval. Via a general construction, we prove that these polynomials are $h$-polynomials of vertex-decomposable simplicial complexes, which we call Lehmer complexes. Moreover we provide a classification, in terms of unimodal permutations, of Poincaré polynomials of smooth Schubert varieties in flag manifolds.

Let $G$ be a compact, connected, simply connected semisimple Lie group with Weyl group $W$ and simple reflections $S$. For a simplicial complex $\mathcal K$ on $S$, form the homotopy colimit $X_{\mathcal K}(G)=\operatorname*{hocolim}_{I\in\mathcal K}G/G_I$ of standard partial flag manifolds. We compute its integral homology. If $\operatorname{Des}_R(w)$ is the right descent set of $w\in W$ and $\ell(w)$ its Coxeter length, then $$ H_n(X_{\mathcal K}(G);\mathbb Z)\cong \bigoplus_{w\in W}\widetilde H_{n-2\ell(w)-1}(\mathcal K_{\operatorname{Des}_R(w)};\mathbb Z). $$ Thus the induced subcomplexes of $\mathcal K$ supply the topological data, while the Weyl group determines which subcomplex occurs and the Schubert-degree shift. The proof gives a chain-level splitting and an integral Morse reduction. We derive homotopy detection, duality and rigidity results, and recover polyhedral products, matroid--Tutte formulas, and the adjoint sphere as special cases.