arXiv++ Combinatorics

For integers $h,k\geq 1$, let $hA$ be the $h$-fold sumset of $A$ and put $\mathcal{R}(h,k)=\{|hA|:A\subset\mathbb{Z}, |A|=k\}$. Previously, the fixed-cardinality exponent law was known only for $k\leq 3$; every fixed $k\geq 4$ remained open. We settle the problem in full by determining the complete fixed-cardinality exponent law: $|\mathcal{R}(h,k)|=\begin{cases}1,&k\leq 2,\\ h,&k=3,\\ h^{k-1+o_k(1)},&k\geq 4\end{cases}$. Here $o_k(1)\to 0$ as $h\to\infty$ with $k$ fixed. More sharply, for fixed $k\geq 4$, an interval of length $Θ_k(h^{k-1})$ contains at least $h^{k-1-o_k(1)}$ attainable values. At $k=4$ we prove $|\mathcal{R}(h,4)|=Θ(h^3)$ with positive lower density in its ambient interval, disproving Nathanson's proposed $o(h^3)$ and $O(h^2)$ bounds. One bounded addition-table geometry drives these results, coupling Hilbert-energy amplification to optimal finite-observation compression. Every ordered real $k$-set ($k\geq 2$) has an integer model in $[0,O_k(h^{k-2})]$ preserving every sum equality and strict comparison through degree $h$; the exponent $k-2$ is sharp. The universal label-realization length is therefore $Θ_k(h^{k-2})$, one power sharper than Nathanson's $O_k(h^{k-1})$ bound. For $h\geq 2$ and $k\geq 3$, minimum active rank equals realization-frequency codimension, exponent-shape codimension, and sampling-rarity exponent; a full-exponent family has maximal-rank witnesses with Cohen-Macaulay toric coordinate rings. At rank zero, for $h\geq 2$, it proves the conjectural OEIS A227589 formula $\binom{h+2}{2}+\mathbf{1}_{\{2\nmid h\}}$ for the least normalized diameter of a four-point $B_h$-set. It also gives exact fixed-$(h,k)$ popularity laws for $k$-subsets of $\{1,\ldots,q\}$ as $q\to\infty$, resolving Nathanson's Problems 9 and 10.

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})$.

For $q\ge 1$, the $q$-th squarefree power $I(G)^{[q]}$ of the edge ideal of a graph $G$ is generated by the squarefree monomials supported on $q$-matchings of $G$; it is the Stanley--Reisner ideal of the complex $Δ_q(G)=\{F\subseteq V(G):ν(G[F])<q\}$, where $ν$ denotes matching number. We prove a general formula for the matching number of an arbitrary graph join, \[ ν(G\ast H) = \min\Big(ν(G)+|V(H)|,\ \ ν(H)+|V(G)|,\ \ \Big\lfloor\tfrac{|V(G)|+|V(H)|}{2}\Big\rfloor\Big), \] via the Tutte--Berge formula, and use it to decompose $Δ_q(G\ast H)$ for arbitrary graphs $G,H$. Specializing to the wheel graph $\mathcal{W}_n = \mathcal{C}_n\ast\mathcal K_1$, we determine the Krull dimension and height of $R/I(\mathcal{W}_n)^{[q]}$ exactly for all $n\ge 3$, $1\le q\le\lfloor n/2\rfloor$, and -- combining our matching-number computations with a recent Tutte-type Cohen-Macaulayness criterion of Ficarra and Moradi -- prove that at the \emph{top} squarefree power $q=ν(\mathcal{W}_n)=\lceil n/2\rceil$, the ideal $I(\mathcal{W}_n)^{[ν(\mathcal{W}_n)]}$ is literally the squarefree Veronese ideal, so that $R/I(\mathcal{W}_n)^{[ν(\mathcal{W}_n)]}$ is Cohen-Macaulay with \[ {\rm dim} = {\rm depth} = {\rm reg}\big(R/I(\mathcal{W}_n)^{[ν(\mathcal{W}_n)]}\big) = 2\Big\lceil\frac n2\Big\rceil-1. \] This resolves all four classical invariants at the top power, and confirms there the pattern depth$(R/I(\mathcal{W}_n)^{[q]}) = 2q-1$ that our computational data (now extended to $n\le13$, every valid $q$) suggests holds throughout. We prove a general depth formula for squarefree powers of cone graphs, via a Betti-splitting exact sequence, that reduces this pattern to two more tractable statements about the underlying cycle alone; both are verified computationally in every case checked but left open in general.

Let $G$ be a graph and let $\PF_t(G)$ denote the simplicial complex whose faces are vertex subsets whose induced subgraphs contain no path on $t$ vertices. These complexes encode a forbidden-subgraph condition as a family of allowed vertex subsets. In this paper, we study $t$-path-free complexes of complete multipartite graphs. Let \[ G=K_{n_1,\dots,n_m}, \qquad n_1\le\cdots\le n_m. \] We first obtain an explicit structural decomposition of $\PF_t(G)$ as a union of join complexes, together with an additional lower-dimensional size-truncation term. Using this decomposition, we show that for $t\le 2n_{m-1}-2$ the complex $\PF_t(G)$ is not sequentially Cohen-Macaulay, while for $t\ge 2 n_{m-1}-1$ it is vertex decomposable. Consequently, we obtain a complete characterization for complete multipartite graphs: $\PF_t(G)$ is vertex decomposable if and only if $t\ge 2n_{m-1}-1$. Equivalently, this is also exactly the range in which $\PF_t(G)$ is shellable and sequentially Cohen-Macaulay. We further analyze the topology via a Mayer-Vietoris spectral sequence: for complete bipartite graphs, we determine the full homotopy type as an explicit wedge of spheres in all cases.

We study sequentially Cohen-Macaulay co-chordal graphs through the glued clique complexes of their chordal complements. Using the characterization of these complements as $(d_1,\ldots,d_q)$-trees, we derive explicit formulas for the graded Betti numbers of the associated edge ideals, yielding a complete homological characterization of sequentially Cohen-Macaulay co-chordal graphs. As applications, we determine exact homological invariants for several important graph families, including split graphs, threshold graphs, and prime ideal graphs, and classify their Cohen-Macaulay cases. We further characterize the sequentially Cohen-Macaulay nilpotent graphs of finite direct products of Artinian chain rings and establish a closed formula for their graded Betti numbers in terms of local nilpotency indices and residue field cardinalities. Finally, we classify the zero-divisor graphs of $\mathbb{Z}_n$, proving that they are sequentially Cohen-Macaulay if and only if $n=2p$ or $n=p^a$, where $p$ is a prime.

In this paper, we introduce and investigate the $\textbf{k}$-neighborhood ideal of a graph, a natural generalization of the closed neighborhood ideal. Let $G$ be a simple graph on the vertex set $[n]$, and let $S=K[x_1,\dots,x_n]$ be the polynomial ring over a field $K$. For a vector $\textbf{k}=(k_1,\ldots,k_n)\in \mathbb{N}^n$ satisfying $1\leq k_i\leq \textrm{deg}_G(i)+1$ for all $i$, the $\textbf{k}$-neighborhood ideal of $G$ is defined as the squarefree monomial ideal $$\textrm{NI}_{\textbf{k}}(G)=\sum_{i=1}^n\, (\textbf{x}_W:\, W\subseteq N_G[i],\, |W|=k_i)$$ of $S$, where $\textbf{x}_W=\prod_{i\in W} x_i$. We study homological invariants and properties of $\textrm{NI}_{\textbf{k}}(G)$ focusing on its Castelnuovo-Mumford regularity, projective dimension and Cohen-Macaulayness. Special attention is devoted to the case where the vector ${\textbf{k}}$ is the degree-vector of the graph, i.e., $k_i=\textrm{deg}_G(i)$ for all vertices $i$, and to the case where $\textrm{NI}_{\textbf{k}}(G)$ coincides with the edge ideal of a graph. In these settings, we provide combinatorial characterizations and bounds for the regularity and projective dimension of $\textrm{NI}_{\textbf{k}}(G)$ for several classes of graphs, and further investigate the Cohen-Macaulay property of these ideals.

The neighborhood complex $N(G)$ and the dominance complex $D(G)$ are fundamental simplicial complexes associated with a graph $G$. We characterize precisely when the Stanley-Reisner ring $k[N(G)]$ admits a $2$-linear resolution, thereby answering an open question posed by Fröberg. We prove that this occurs if and only if $G$ is neighborhood conformal and its common neighbor graph is chordal. Equivalently, $G$ is a bipartite graph whose only induced cycles are $4$-cycles. As a consequence, we show that Katzman's lower bound becomes an equality for this class, yielding $\operatorname{reg}(S/I(G))=\operatorname{im}(G)$. Using recent results on glued clique complexes, we derive explicit combinatorial formulas for the exact graded Betti numbers of these neighborhood complexes. Finally, utilizing combinatorial Alexander duality, we obtain a corresponding classification of Cohen-Macaulay dominance complexes, and prove that the dominance complex of a graph without isolated vertices admits a $2$-linear resolution if and only if the graph is a star graph.

Let $G$ be a graph and $r \ge 1$. A vertex subset is $r$-independent if every connected component of its induced subgraph has size at most $r$. The family of all such subsets forms a simplicial complex, the $r$-independence complex $\Ind_r(G)$, generalizing the classical independence complex. Recent work has focused on shellability and vertex decomposability of these complexes. For chordal graphs, $\Ind_r(G)$ has the homotopy type of a wedge of spheres for all $r$, and some chordal subfamilies are known where these complexes are not even sequentially Cohen-Macaulay. Thus, determining chordal graph classes and values of $r$ for which $\Ind_r(G)$ is sequentially Cohen-Macaulay, shellable, or vertex decomposable remains an active area. Existing methods, based on chordal hypergraphs or special graph properties, do not extend to arbitrary chordal graphs. In this paper, we show that for every tree $T$ and every integer $r \ge 1$, the complex $\Ind_r(T)$ is vertex decomposable, resolving a conjecture \cite[Conjecture 3.15]{PD23chordal} of Abdelmalek et al. Our approach gives a structural description of shedding vertices via rooted subtrees and uses it to prove vertex decomposability recursively.

We study the volume map on Artinian quotients of Cohen-Macaulay algebras in characteristic $p$, and the interaction between it and the action of Frobenius on resolutions. This allows us to provide a general, conceptual way to understand Parseval-Rayleigh identities, curious inhomogeneous identities on the volume map which were developed for the proof of the Ohsugi-Hibi conjecture. This general perspective gives a new approach to generic Lefschetz theory. We use this perspective to do the following: we give sufficient conditions for anisotropy and the Hard Lefschetz property for generic Artinian reductions of graded Gorenstein rings; we study the codimension-$3$ Gorenstein quotient of a polynomial ring by the ideal generated by Pfaffians, proving a Parseval-Rayleigh identity and deriving anisotropy and Hard Lefschetz in characteristic $2$; we deduce the $g$-theorem for simplicial spheres and the Ohsugi-Hibi conjecture following previous work of Adiprasito, Papadakis, and Petrotou; and we provide further examples of Parseval-Rayleigh identities for Gorenstein rings.

We study the homological properties of $Δ_{\mathbf{r}}(n_1, \dots, n_e)$, a simplicial complex formed by sequentially gluing complete graphs along $(r_i-1)$-simplices. This construction generates precisely the chordal clique complexes, whose Stanley-Reisner ideals admit 2-linear resolutions. By computing the $f$-vector and evaluating the Hilbert series, we establish explicit graded Betti numbers for all $k$-skeletons. We show that the regularity of these skeletons is $k+1$ and the projective dimension stabilizes at $N_{\mathbf{r}} - r_{\min} - 1$ for $k \ge r_{\min}$, providing a complete classification of when the complex is Cohen-Macaulay, sequentially Cohen-Macaulay, or initially Cohen-Macaulay. We also obtain explicit formulas for the ring multiplicity and reduced Euler characteristic. Applying Alexander duality, we derive the $f$-vector, rational $h$-polynomial, and exact graded Betti numbers of the dual and its skeletons. Furthermore, analyzing these dual skeletons yields a family of complexes that resolve recent open bounds on regularity. Finally, equating the topological and rational evaluations of the Hilbert series produces a new family of combinatorial binomial identities.

In this article, we characterize all unmixed and Cohen-Macaulay parity binomial edge ideals of cactus and chordal graphs in terms of the structural properties of the graph.

We introduce vertex dismissible and scalable simplicial complexes, generalizing the classical notions of vertex decomposability and shellability. We prove that a complex satisfies these properties if and only if its initial dimension skeleton is vertex decomposable or shellable, respectively. Algebraically, we define vertex divisible ideals and ideals with degree quotients, proving they are the exact Alexander duals of these complexes. This establishes a corresponding topological and homological hierarchy that interpolates between classical structural properties and the initially Cohen-Macaulay condition. Furthermore, we demonstrate that for complexes of initial dimension one and the independence complexes of co-chordal and cycle graphs, vertex dismissibility, scalability, and initial Cohen-Macaulayness are equivalent to weak connectedness. Finally, we provide a complete skeletal characterization of these properties, a generalized perspective that recovers numerous classical theorems as immediate consequences.

We introduce a fundamental homological invariant, called Serre depth, which stratifies Serre's conditions in the same way that depth stratifies the Cohen-Macaulay property. We study the Serre depths of modules over arbitrary Noetherian local rings and over standard graded algebras over a field, extending the polynomial ring case due to Muta and Terai. Under mild hypotheses, we show that the $r$-th Serre depth of a finitely generated module $M$ measures the deviation of $M$ from satisfying Serre's condition $(S_r)$. The main results of the paper can be summarized as follows: (i) We establish the basic properties of Serre depth and prove that it is invariant under completion. (ii) If the base ring $R$ is a homomorphic image of a Gorenstein ring, we show that a finitely generated $R$-module $M$ is equidimensional and satisfies $(S_r)$ if and only if its $r$-th Serre depth equals its Krull dimension. Analogous statements are obtained for schemes. (iii) For a homogeneous ideal in a standard graded polynomial ring over a field, we compare its Serre depths with those of its initial ideal. (iv) We characterize the Serre depths of a monomial ideal in terms of its skeletons and prove that the Serre depths of sufficiently large powers of a monomial ideal stabilize; the proof uses Presburger arithmetic.

We study certain groups and ideals arising from the chip-firing game on a generalisation of graphs called pargraphs. Several well-known families of toric ideals, including those defining rational normal curves and binomial edge ideals of complete graphs, arise as toppling ideals of pargraphs. We provide sufficient conditions under which the toppling ideal of a pargraph to be toric. In addition, we construct a Gröbner basis for the toppling ideal, a minimal cellular free resolution for a distinguished initial ideal known as the $G$-parking function ideal, and establish Cohen-Macaulay property for these ideals. We also study the Picard group of a pargraph and provide sufficient conditions ensuring its freeness.

We study combinatorial and algebraic properties of $t$-clique-free complexes, a family of simplicial complexes associated with finite simple graphs that generalize the classical independence complex. For a graph $G$ and an integer $t \ge 2$, the $t$-clique-free complex $\mathsf{CF}_t(G)$ is the simplicial complex on the vertex set of $G$ whose faces are the subsets inducing no cliques of size $t$. Our main results provide sufficient conditions for shellability and related decomposability properties of $t$-clique-free complexes. In particular, we show that if $G$ is a $t$-diamond-free chordal graph (in particular, a block graph), then $\mathsf{CF}_t(G)$ is $(t-2)$-decomposable and hence shellable. We also investigate how graph modifications via clique attachments influence shellability. Generalizing earlier constructions involving whiskers and clique extensions, we introduce the following operation: given a graph $H$, a subset $S \subseteq V(H)$, and an integer $t \ge 2$, we form a graph $\operatorname{Cl}(H,S,t)$ by attaching to each vertex in $S$ a clique of size at least $t$. We prove that $\mathsf{CF}_t(H\setminus S)$ is shellable if and only if $\mathsf{CF}_t(\operatorname{Cl}(H,S,t))$ is shellable. This yields a flexible method for constructing shellable complexes, particularly when $S$ is a cycle cover. In addition, we extend the notion of clique whiskering and show that for any graph admitting a clique vertex-partition, the resulting $t$-clique whiskering produces a pure and shellable, and hence Cohen-Macaulay, $t$-clique-free complex. Finally, we establish a Fröberg-type result linking chordality and linear resolutions. We show that for any chordal graph $G$, the edge ideal of the complement $t$-clique clutter $\overline{\mathcal{CH}_t(G)}$ admits a $t$-linear resolution over any field.

Let $G$ be a finite simple graph and $NI(G)$ be the closed neighborhood ideal of $G$ in the polynomial ring $S=K[V(G)]$. In this paper, we study the Castelnuovo-Mumford regularity, projective dimension and Cohen-Macaulayness of this ideal. For any chordal graph $G$, we show that $\text{reg}(S/NI(G))=τ(G)$, where $τ(G)$ denotes the vertex cover number of $G$. This generalizes the corresponding result for trees shown in [3], as in trees $τ(G)$ is the same as the matching number of $G$. When $G$ is a bipartite graph or a very well-covered graph, we notice that $\text{reg}(S/NI(G))\geq τ(G)$ and that this inequality can be strict in general. Moreover, we describe the projective dimension of $S/NI(G)$ for some families of graphs. Finally, we give a characterization of very well-covered graphs $G$ for which the ring $S/NI(G)$ is Cohen-Macaulay.

In this paper, we initiate a systematic study of generalized binomial edge ideals of whisker graphs by working within a substantially broader class of graphs. We extend the notion of generalized corona products, and through this enlarged framework, investigate fundamental algebraic invariants such as depth, (Castelnuovo-Mumford) regularity, and the Cohen-Macaulay property. In particular, we establish a sharp lower bound on the depth of generalized binomial edge ideals for our extended class, and further obtain explicit depth formula for a broad subclass of this family, which in turn recovers the depth formula for whisker graphs. We also establish sharp upper bounds for the regularity, and in the case of binomial edge ideals of whisker graphs over gap-free graphs, determine the exact value of the regularity. Finally, for our extended class, we provide a combinatorial classification of all Cohen-Macaulay binomial edge ideals, which in turn yields a new construction of Cohen-Macaulay binomial edge ideals.

We show that the (non-Noetherian) Stanley-Reisner ring of the order complex of certain intervals in the Bruhat order on the infinite symmetric group $S_\infty$ of all auto-bijections of $\mathbb{N}$ is Cohen-Macaulay in the sense of ideals and weak Bourbaki unmixed. This gives an infinite-dimensional version of results due to Edelman, Björner, and Kind and Kleinschmidt for finite symmetric groups $S_n$.

We show that, under certain constraints, the Stanley-Reisner ring of an infinite simplicial complex is Cohen-Macaulay in the sense of ideals and weak Bourbaki unmixed. We apply this result to prove the wanted claim -- that initial complexes of matrix Schubert varieties corresponding to infinite permutations in $S_{\infty}$ with respect to an antidiagonal term order are Cohen-Macaulay (in the same sense), giving rise to new examples of non-Noetherian Cohen-Macaulay rings.

We investigate the Gauss algebra for squarefree Veronese algebras generated in degree $3$. For small dimensions not exceeding $7$, we determine the Gauss algebra by specifying its generators and show in particular that it is normal and Cohen-Macaulay.