arXiv++ Combinatorics

Using the strong discrete Morse theory developed by Fernández, we define the complex $\mathcal{SM}(K)$ of strong discrete Morse matchings on a simplicial complex $K$, as well as the pure subcomplex $\mathcal{SM}_{pure}(K)$ generated by the facets in $\mathcal{SM}(K)$ of maximal dimension. For most complexes $K$ these objects are proper subcomplexes of the complexes ${\mathfrak M}(K)$ and ${\mathfrak M}_{\textrm{pure}}(K)$ defined by Chari--Joswig using all Morse matchings on $K$. The homotopy types of the latter are not well-understood in general, but they are known when $K$ is the path $P_n$ with $n$ edges, the cycle $C_n$ with $n$ edges, the star $S_n$ with $n$ leaves, the $n$-simplex $Δ^n$ ($n\le 3$), and the boundary $\partialΔ^n$ ($n\le 3$). in this paper we compute the homotopy types of $\mathcal{SM}_{pure}(C_n)$ and $\mathcal{SM}(K)$ for $K=P_n,S_n,Δ^n,\partialΔ^n$ for all $n$. We also compute the homology of $\mathcal{SM}(C_n)$ for $n\le 21$.

Classes of squarefree monomial ideals were intensively studied being an important connection between two main areas in mathematics: commutative algebra and combinatorics. Many algebraic invariants of the squarefree monomial ideals are given in terms of properties of the combinatorial associated objects (graphs, simplicial complexes etc.).

An Euler circuit of a graph is a closed path that visits every edge of the graph exactly once. Euler circuit and circuit decomposition problems can also be formulated for higher dimensional simplicial complexes. An Euler k-circuit in K is a cyclic sequence of vertices v_1...v_n such that every k+1 adjacent terms { v_i,v_{i+1},...,v_{i+k} } (indexed modulo n) form a k-simplex, and every k-simplex of K appears exactly once in the sequence v_1v_2...v_n(v_1v_2...v_k). We investigate the 2-circuit decomposition problem for triangulated closed compact surfaces. For an orientable triangulated surface we use interior angles of paths to define an obstruction that lives in the first cohomology of the surface. It vanishes if and only if the surface has a 2-circuit decomposition. We also show that a non-orientable triangulated surface has a 2-circuit decomposition if and only if its orientable 2-fold cover does.

Let $(W,S)$ be a finite Coxeter system and let $\mathcal K\subseteq 2^S$ be a simplicial complex. We define a parabolic bar complex ${\mathcal B}_{\mathcal K}(W)$ and prove a decomposition indexed by $w\in W$ in which the $w$-summand is a relative order-complex chain complex determined by the right descent set ${\operatorname{Des}_{R}}(w)$. An explicit integral Morse reduction identifies this summand, up to the Schubert shift $2\ell(w)+1$, with the augmented chains of the induced subcomplex $\mathcal K_{{\operatorname{Des}_{R}}(w)}$. For Weyl groups the complex is the cellular chain complex of \[ {X_{\mathcal K}}(G)={\operatorname*{hocolim}}_{I\in\mathcal K} G/G_I, \] so its homology is a descent-weighted Hochster decomposition. We prove functoriality and a homotopy-detection theorem for inclusions of indexing complexes, an Alexander-duality symmetry for generalized homology spheres, and, for simple $G$, a rigidity theorem characterizing the boundary simplex among the homology-sphere members of the family. For $G=(SU(2))^r$ the construction agrees up to homotopy with $(D^3,S^2)^{\mathcal K}$, and matroid independence complexes give a Tutte-polynomial specialization. The boundary-simplex case recovers the two-generator integral Morse model of the unit adjoint sphere.

The independence complex and the perfect matching complex of a graph are simplicial complexes encoding, respectively, its independent sets and perfect matchings. Determining the homotopy types and other topological properties of these complexes is, in general, a difficult problem, and explicit descriptions are known only for relatively restricted classes of graphs, typically possessing substantial combinatorial regularity or symmetry. Although these complexes have been extensively investigated for several families of graphs, including square grid graphs, comparatively little is known for other natural families of highly symmetric graphs. In this article, we determine the homotopy types of the independence complex and the perfect matching complex of the Möbius ladder graphs $M_{2n}$. Möbius ladder graphs form a natural and highly symmetric family of cubic graphs obtained from a $2n$-cycle by joining pairs of opposite vertices. We prove that the homotopy type of the independence complex $\operatorname{Ind}(M_{2n})$ depends periodically on $n$ modulo $4$: for $n=4k$, it is homotopy equivalent to $\mathbb{S}^{2k-1}$; for $n=4k+2$, it is homotopy equivalent to a wedge of three copies of $\mathbb{S}^{2k}$; and for $n=4k+1$ or $4k+3$, it is homotopy equivalent to $\mathbb{S}^{2k}$. We further determine the homotopy type of the perfect matching complex $\mathcal{M}_p(M_{2n})$. For even $n$, it is homotopy equivalent to a wedge of two copies of $\mathbb{S}^{(n-2)/2}$, while for odd $n$ its homotopy type depends periodically on $n$ modulo $6$. Thus, our results provide explicit descriptions of two fundamental simplicial complexes associated with an important family of highly symmetric cubic graphs.

In this work, we propose an efficient decoding algorithm for codes arising from simplicial complexes, a family of binary linear codes for which no decoding method of this type was previously known. Although the algorithm does not always attain the maximum theoretical error-correcting capability, it provides an explicit bound that can be computed directly from the structure of the complex. Moreover, this bound is asymptotically optimal: the ratio between the guaranteed correcting capability and the theoretical maximum converges to $1$ as the code length increases, under natural assumptions on the dimension of the maximal faces. The correction capability is also presented in specific examples. Finally, we introduce specific families of simplicial complexes where the algorithm successfully reaches this theoretical bound.

We investigate random recursive simplicial complexes growing by adding, at each step, a vertex together with a simplex formed by joining the new vertex with a randomly chosen existing simplex. We also add all faces of the new simplex to ensure that the resulting object remains a simplicial complex. If the choice of an existing simplex is uniform among simplices of dimension $<m$, the number $S_d$ of simplices of any admissible dimension $d\leq m$ is an asymptotically self-averaging random variable. This feature allows us to determine the asymptotic growth law of the average of $S_d$ when the number of vertices diverges. We also probe the degree distribution, examine the probabilities of various extreme outcomes, and analyze the characteristics of the first vertex.

A celebrated result of Bayer and Stillman from 1987 states that for a homogeneous ideal $I$ of a polynomial ring $S$, the regularities of $S/I$ and $S/\textrm{GIN}(I)$ are the same under the reverse lexicographic monomial ordering, where $\textrm{GIN}(I)$ is the generic initial ideal. If $R$ is a polynomial ring whose variables are subdivided into disjoint blocks of variables $X_1,\dots,X_c$, there is a natural multi-grading on $R$, and one can analogously define a multi-graded version of the generic initial ideal for any multi-homogeneous ideal $I$ of $R$. However, the full strength of the Bayer--Stillman Theorem fails in the multi-graded setting; there are multi-homogeneous ideals $I$ such that the regularities are not preserved after passing to the multi-graded generic initial ideal no matter the choice of monomial ordering. We prove lower bounds on the regularity of $R/I$ in terms of almost regular sequences of the multi-graded generic initial ideal of $I$ restricted to each block of variables. Again, we use the reverse lexicographic monomial ordering, but interestingly, the lower bound result requires a particular choice of ordering on the variables. As an application, we prove the optimal fractional Helly theorem for $d$-Leray simplicial complexes, a problem stemming from the work of Kim in 2017.

Given an integer $k\geq2$ and a graph $F$, the $k$-uniform suspension $\mathcal{S}^kF$ is obtained by adjoining a fixed set of $k-2$ new vertices to every edge of $F$. In this paper, we study two extremal problems for suspensions of even cycles. Write $K^k_t$ for the $k$-uniform clique of order $t$. Let $\mathrm{ex}(n,\mathcal{S}^kC_{2\ell})$ and $\mathrm{ex}(n,K^k_t,\mathcal{S}^kC_{2\ell})$ denote the maximum numbers of edges and copies of $K^k_t$, respectively, in an $\mathcal{S}^kC_{2\ell}$-free $k$-uniform hypergraph on $n$ vertices. We prove that, for every $k\geq2$ and infinitely many $n$, \[\mathrm{ex}(n,K^{k}_{k+1},\mathcal{S}^kC_4)=\frac{n^{k-1/2}}{(k+1)!}+O(n^{k-1}).\] This extends a folklore result for $k=2$ and, as an immediate consequence, yields the asymptotics of $\mathrm{ex}(n,\mathcal{S}^kC_4)$ for infinitely many $n$, previously established by Mubayi (for all $n$). Furthermore, for every $k\geq2$ and $\ell\in\{3,5\}$, we determine the order of magnitude \[\mathrm{ex}(n,\mathcal{S}^kC_{2\ell})=Θ(n^{k-1+1/\ell}).\] This generalizes both the classical graph case $k=2$ and a previous result of Mukherjee for $k=\ell=3$. The principal difficulty in both problems lies in constructing the lower bounds. Our construction for $\mathrm{ex}(n,K^{k}_{k+1},\mathcal{S}^kC_4)$ incorporates a novel block-packing structure, which yields substantially more copies of $K^k_{k+1}$ than previously known constructions. For $\mathrm{ex}(n,\mathcal{S}^kC_{2\ell})$ with $\ell\in\{3,5\}$, we establish a natural $k$-uniform version of Wenger graphs, addressing the subtleties involved in lifting extremal graph constructions to suspensions. We also give applications of our results to Turán problems for simplicial complexes.

The Grone--Merris--Bai theorem states that the Laplacian spectrum of a simple graph is majorized by its conjugate degree sequence. Recently, Zhang, Song, and Fan extended this result to simplicial complexes by establishing a majorization relation between the spectrum of the $(r-1)$-dimensional up-Laplacian and the conjugate $(r-1)$-degree sequence. In this paper, we characterize all equality cases in the partial-sum inequalities of this higher-dimensional majorization theorem. For every $r$-dimensional simplicial complex $X$ with $r\ge2$, we prove that \[ \sum_{i=1}^{q}λ_{r-1,i}(X) = \sum_{i=1}^{q}d_{r-1,i}^{\top}(X) \] if and only if \[ q\ge \max\{\operatorname{rank}B_r(X),Δ_{r-1}(X)\}. \] Thus, unlike the graph case, equality can occur only after both sequences have exhausted all their nonzero terms. As consequences, equality in the first partial sum and equality between the entire sequences are both equivalent to $X$ containing a unique $r$-simplex. The proof is based on the local down-Laplacian decomposition and the equality case of the Ky Fan inequality.

For a simplicial complex $Δ$ and integers $n_i\ge 2$, set $A_{Δ,\mathbf n}=\mathbb{k}[x_1,\ldots,x_m]/(I_Δ+(x_1^{n_1},\ldots,x_m^{n_m}))$. We give an exact combinatorial formula for the canonical trace for arbitrary truncation exponents and for an arbitrary simplicial complex after deleting irrelevant ghost vertices. The formula extends the free-face formula of Gasanova--Herzog--Hibi--Moradi for square-zero flag face algebras and recovers, in the simplex-boundary case, a special case of their formula for monomial almost complete intersections. As a first consequence, we classify the nearly Gorenstein algebras in this family: on each connected component $C$ of $Δ^{(1)}$, the induced complex is either the simplex $2^C$, with arbitrary exponents, or the boundary $\partial 2^C$, with every exponent equal to two. We also compute the Teter number on this nearly Gorenstein locus. For flag complexes the trace is generated by the free-face monomials for arbitrary exponents, and we characterize the equalities $\operatorname{tr}_A(ω_A)=\mathfrak m_A^q$. In the square-zero one-dimensional case we isolate the additional contribution coming from triangle components.

Let $K$ be a finite pure $k$-dimensional simplicial complex, with $k\ge1$, on the vertex set $[n]$ and with facet family $K_k$. Let $λ_1(K)\geλ_2(K)\ge\cdots>0$ be the nonzero eigenvalues of its $(k-1)$-dimensional up-Laplacian, and, after ordering the vertices so that $°_K(1)\ge\cdots\ge°_K(n)$, let $\dvT{r}(K)$ be the number of vertices contained in at least $r$ facets. A complex is \emph{shifted} if replacing a vertex of a face by a smaller vertex outside the face always yields another face. We prove that there is a shifted family $\HH$ of $(k+1)$-element subsets of $[n]$, with the same number of members as $K_k$, such that \[ \tfrac12\bigl|K_k\,\triangle\,\HH\bigr| \;\le\; \tfrac12\left[\sum_{r\ge1}\bigl(\dvT{r}(K)\bigr)^{2}-\sum_{r}λ_r(K)^{2}\right]. \] The left-hand side counts the facets that have to be exchanged to reach $\HH$; thus one half of the gap between the second power sums of the two sequences bounds the distance of $K_k$ to a shifted family. The characterization $λ(K)=\dv(K)^{\mathsf T}\iff K$ is isomorphic to a shifted complex was established in \cite{Gupta} from the identity that this gap equals twice the number of failed elementary shifts. The present paper converts that identity into a quantitative stability statement and recovers the equality characterization at zero defect. For $k=1$ this bounds the number of edge exchanges needed to reach a threshold graph with the same number of edges.

We prove several bounds on the largest and smallest eigenvalues of the combinatorial Hodge Laplacian $Δ^H_k$ of a finite simplicial complex $Σ.$ As a consequence, we obtain new vanishing criteria for cohomology groups $H^k(Σ,\mathbb{R)}$ and confirm a conjecture of O on the dimensional monotonicity of the largest eigenvalue.

We analyse topology of random simplicial complexes in the medial regime. We show that these complexes are highly connected and have homotopy type of iterated suspensions. One of our main tools is a new combinatorial criterion for high connectivity of simplicial complexes, which is more flexible than conicity. We show that topological complexity of random simplical complexes in the medial regime is bounded above by 2 and it equals 2 for a class of homogenous medial regime random simplicial complexes, a.a.s.

Bier spheres arise as deleted joins of simplicial complexes with their combinatorial Alexander duals and form one of the largest known families of simplicial spheres. We study centrally symmetric Bier spheres and give a simple criterion for when they cannot arise as boundaries of centrally symmetric polytopes. From this, we obtain a large new family of simplicial polytopes with combinatorial automorphisms that cannot be realized geometrically. Prior to our construction, the Bokowski--Ewald--Kleinschmidt polytope was the only known simplicial example exhibiting these properties. By Smith theory, these polytopes have noncontractible realization spaces. Finally, we establish that every Bier sphere with at most $12$ vertices is polytopal.

Let $K$ be a finite $k$-dimensional simplicial complex with at least two $k$-faces, and let $\Lup_{k-1}(K)=\partial_k\partial_k^{\T}$ be its $(k-1)$-dimensional up-Laplacian. Writing $d_2(K)$ for the second largest upper degree of a $(k-1)$-face, we prove the sharp bound \[ λ_2\bigl(\Lup_{k-1}(K)\bigr)\ \ge\ d_2(K)+k-1 . \] For $k=1$, this recovers the graph inequality $λ_2(L(G))\ge d_2(G)$ of Li and Pan. We also show that the full graph inequality of Brouwer and Haemers does not extend directly to simplicial complexes: the natural candidate $λ_m(\Lup_{k-1}(K))\ge d_m(K)-m+k+1$ already fails for $m=3$.

The Bier sphere of a simplicial complex $K$ is defined as the deleted join of $K$ and its combinatorial Alexander dual. We focus on the class of Bier spheres of the skeleta of a simplex. Since these Bier spheres are known to be polytopal, they give rise to small covers. We classify small covers over these Bier spheres up to Davis--Januszkiewicz equivalence. As applications, for all $m \geq 4$, we determine the homeomorphism types of small covers over the Bier spheres of the $0$-skeleton and the $(m-3)$-skeleton of an $(m-1)$-simplex. For the remaining cases $0<r<m-3$, we compute their rational Betti numbers.

Characterizing when the symbolic and ordinary powers of an ideal coincide is a central problem in commutative algebra, and ideals satisfying this property are called Simis ideals. In this article, we investigate the Simis property of monomial ideals by studying the recent conjecture of Mendez, Pinto, and Villarreal on monomial ideals with minimal irreducible decomposition. Let $I$ be a monomial ideal, and let $\mathcal{F}(I)$ denote the collection of supports of the minimal generators of $I$. Assuming that $\mathcal{F}(I)=\mathcal{F}(\sqrt{I})$, we prove that if $I$ admits more than one minimal generator with a fixed support, then it is not Simis. Using this reduction, we establish the Mendez-Pinto-Villarreal conjecture for two broad classes of monomial ideals, namely support-$3$ monomial ideals and monomial ideals whose associated simplicial complexes are simplicial forests. Finally, we study the Cohen-Macaulay property of monomial ideals whose associated simplicial complexes are grafted and satisfy $\mathcal{F}(I)=\mathcal{F}(\sqrt{I})$.

We prove that the expectation of the Euler characteristic X(H) of random level surface H in a given simplicial complex G is E[X(H)] =2-2K(G)-X(G), where K(G)=1-f_0/2+f_1/3- ... is the curvature functional of G and X(G)=f_0-f_1+f_2-... is the Euler characteristics. More generally, the expectation of the f-vector of a submanifold is explicitly linked to the f-vector of the host manifold.

Inspired by the generalization of the formula of determinant of the distance matrix of trees to $k$-trees, we study the Smith normal form of Laplacian matrices associated with some simplicial complexes. We find relations between sandpile groups of adjacency graphs and the Smith normal form of Laplacian matrices of simplicial complexes. We use such relations to calculate the Smith normal form of the highest Laplacian matrix of simplicial annuli and $k$-trees. %The low dimensional cases seems to be more difficult to calculate. We also provide numerical experiments to visualize how good are these algebraic invariants to distinguish $k$-trees. Finally, we point out that the Graham-Lovász-Pollak matrix, used to compute the determinant of the distance matrix of trees, can be used in the context of Laplacian matrices of trees and block graphs.