arXiv++ Combinatorics

We prove that the $q$-Ehrhart series of a hyperplane slice of a cube is a rational function with an explicit denominator that satisfies $q$-reciprocity, confirming a conjecture of Reiner and Rhoades for these polytopes. To do this, we find a generating set for the orbit harmonics ideal, which also yields the Hilbert series and graded Frobenius characteristic of the associated quotient. We further show that the harmonic algebra of a hypersimplex $Δ$ is generated as an algebra by the harmonic space of $Δ$ using structural results on 2-factors of regular multigraphs. In particular, the harmonic algebra is finitely generated, giving a second proof of rationality.

Let $M$ be a simple matroid and let $B(M)$ be the graded Möbius algebra of its lattice of flats. The ordered-basis weights of flats define an inner product for which the adjoints of atom multiplication become ordinary coordinate derivatives under the basis-polynomial realization. From this, we construct a canonical global lowering operator $D_β$ which acts as ordinary differentiation on a canonical ``radial'' copy of a truncated polynomial algebra. Allowing both $D_β$ and the coordinate derivatives to act produces a graded cyclic module with Hilbert series \[ H_{β,M}(q)=\sum_{k=0}^r h_k^β(M)q^k. \] We give examples of matroids with the same Derksen $\mathcal G$-invariant and the same classical apolar Hilbert series but different $H_β$. Hence $H_β$ cannot be the restriction to simple matroids of a valuative matroid invariant. We conjecture that $H_β$ is log-concave and top-heavy in differential degree. For the generalized theta family containing Larson's counterexample to Whitney log-concavity, we compute the first four coefficients and prove the critical log-concavity inequality. Exact computation verifies both conjectures for all $950$ simple matroids on eight elements.

The coefficients that determine the Hilbert series of the superspace coinvariant ring are indexed by hook-shaped partitions. We give a manifestly positive combinatorial interpretation of these coefficients, together with several generating functions for them. Specializing this Hilbert series at $u=-q^2$, we show that its coefficients are differences of binomial coefficients. Consequently, this proves a conjecture of Sagan--Swanson (2024) that these coefficients are palindromic up to sign. More generally, for every $m \geq 1$ we obtain closed-form expressions for the $u = -q^m$ specialization.

A graphic arrangement $\A_G$ associated with a simple graph $G$ is a classical and well-studied object in the theory of hyperplane arrangements. In this note, we show that, for a connected graph $G$, a slight modification of the logarithmic vector field $D(\A_G)$ of $\A_G$ is isomorphic to the face ring of a certain simplicial poset. This allows us to give formulas for several algebraic invariants of $D(\A_G)$, such as its Hilbert series, local cohomology, projective dimension, and Castelnuovo--Mumford regularity, in terms of combinatorial and topological information about the corresponding simplicial poset. As a by-product, we also give an explicit vector space basis of $D(\A_G)$.

Place the vertices of a finite graph at projective points. Each edge defines a span map to $\mathrm{Gr}(2,n)$; the pulled-back Chern classes generate a graded algebra $A_G^{(n)}$. This assignment is a covariant graph functor, so the abstract graded-algebra type is a graph invariant. In ambient dimension four, the Hilbert series is incomparable with the chromatic and Tutte polynomials. On five vertices in dimension three, the $34$ graph classes yield $33$ algebra types, strictly refining both classical polynomials. For every tree $T$, we obtain a closed Hilbert-series formula depending only on $|V(T)|$ and $n$, while $A_T^{(3)}$ determines $T$ up to isomorphism. More precisely, its cubic relation data is a complete tree invariant of polynomial size. Finally, the graphical configuration space embeds as a dense open in the picture variety, and picture spaces with equal additive homology can have nonisomorphic edge-Chern algebras.

Let $\mathbf{x}_{n \times n}$ be an $n \times n$ matrix of variables and let $S = \mathbb{F}[\mathbf{x}_{n \times n}]$ be the polynomial ring over these variables where $\mathbb{F}$ is a field of characteristic zero. Regard $S$ as the coordinate ring of the affine space $\mathbb{F}^{n \times n}$ of $n \times n$ $\mathbb{F}$-matrices. Let $\mathfrak{D}_n \subseteq \mathbb{F}^{n \times n}$ be the locus of derangement permutation matrices. We study the orbit harmonics quotient ring ${\bf R}(\mathfrak{D}_n) = S/\mathrm{gr} \, \mathbf{I}(\mathfrak{D}_n)$ where $\mathrm{gr} \, \mathbf{I}(\mathfrak{D}_n)$ is the associated graded ideal of the vanishing ideal $\mathbf{I}(\mathfrak{D}_n) \subseteq S$. We give an explicit generating set of $\mathrm{gr} \, \mathbf{I}(\mathfrak{D}_n),$ relate the Hilbert series of $\mathbf{R}(\mathfrak{D}_n)$ to the Foata transformation and the longest increasing subsequence statistic on $\mathfrak{S}_n$, and give an alternating sum formula for the graded $\mathfrak{S}_n$-character of $\mathbf{R}(\mathfrak{D}_n)$. Our proofs make heavy use of the mapping cone construction of homological algebra.

We study the graphs $MECS_{b,n}^a \cong \overline{K}_a \join \big(n(K_b+K_2)\big)$, obtained by attaching an independent set of size $a$ to $n$ disjoint copies of the block $K_b+K_2$. For $n=1$, we get $MECS_{b,1}^a$, and recover the results of one-block case studied in [Anand, Gupta, Rather and Singh, Homological invariants of some complete split-like graphs, Beitr. Algebra Geom. (2025)]. Using Hochster's formula, tensor products of minimal free resolutions over disjoint variable sets, and the Betti-number formula for graph joins, we derive explicit descriptions of the independence complex, independence polynomial and its analytic properties, Hilbert series, linear and quadratic Betti strands, regularity, projective dimension, and several structural invariants of $MECS_{b,n}^a$. We further classify the well-covered and unmixed members, compute induced matching numbers, show that the family is never Cohen--Macaulay, and record algorithmic procedures for evaluating the Betti data.

We initiate the study of the multiplicity of negative one of independence polynomials of graphs. In this article, we simply refer to this as the \emph{multiplicity} of a graph. As applications, we provide a graph-theoretic description of trees whose independence complexes are contractible, give a new sufficient condition for independence polynomials of graphs to be log-concave, and finally, determine possible pairs $(\operatorname{mult}_{-1}P_G, α(G))$, where $P_G$ denotes the independence polynomial of $G$, and $α(G)$ the independence number. The study of the pairs $(\operatorname{mult}_{-1}P_G, α(G))$ is equivalent to finding all pairs of the numerator degree and denominator degree of the Hilbert series of the edge ideal of $G$. We also use spectral graph theory to obtain results on the multiplicity of line graphs of forests. Finally, we give some translations and applications in combinatorial commutative algebra.

For every loopless matroid $M$ and every Feichtner--Yuzvinsky building set $\mathcal{G}$ containing the top flat, we construct an integral tangent class $T_{M,\mathcal{G}}^{\mathbb{Z}}\in K_{\mathbb{Z}}(M,\mathcal{G})$; in the realizable case it specializes to the class of the tangent bundle of the corresponding wonderful compactification, it recovers the Hilbert series of the Chow ring through Hirzebruch--Riemann--Roch, and it satisfies the expected Chern-alpha lower bounds. This reproduces the tangent class and its key properties studied by the first author in arXiv:2606.22650. The main body of this paper was produced autonomously, without human mathematical guidance, by Danus, an AI mathematical reasoning agent. Danus solved the problem before arXiv:2606.22650 was publicly available, demonstrating the potential of AI agents in mathematical research. We reproduce its output faithfully, adding only editorial comments; the experiment is documented in Appendix B.

We determine the full graded Betti tables of graph families that subsume several classes studied recently in the literature, namely the generalized multiple complete split-like graphs and the generalized clique-star graphs with arbitrary clique block sizes. The method combines Hochster's formula with a precise decomposition of the associated independence complexes into disjoint unions of simplices and iterated joins of discrete complexes. This reduces every graded Betti number to an explicit coefficient extraction formula and yields closed expressions for the linear strand, higher strands, Hilbert series, regularity, projective dimension, and extremal Betti numbers. In particular, we prove a sharp criterion for $2$-linear resolution and identify the regularity corner in terms of the number of nontrivial clique blocks. As applications, we recover and extend earlier results on equal-block split-like graphs, obtain complete formulas for pineapple graphs, and derive consequences for power graphs of cyclic groups, elementary abelian groups, and prime-power dihedral groups.

Let $q$ be a prime power and write $Ω$ for the bigraded algebra of regular differential forms over $\mathbb{F}_q^n$. The general linear group $GL_n(\mathbb{F}_q)$ acts on $Ω$; write $SI \subseteq Ω$ for the ideal generated by $GL_n(\mathbb{F}_q)$-invariants with vanishing constant term. The {\em $GL_n(\mathbb{F}_q)$-superspace coinvariant ring} is the quotient $SR := Ω/SI$. We calculate the bigraded Hilbert series of $SR$ and give an operator-theoretic characterization of the inverse system $SI^\perp$. Our results extend to subgroups $G$ of $GL_n(\mathbb{F}_q)$ which contain $SL_n(\mathbb{F}_q)$.

This paper studies the zero-divisor graphs attached to several finite chain-ring families and computes the homological invariants of their edge ideals by using cochordal constructible systems. We begin with a general layered graph $C(q,L)$, whose vertices are arranged according to valuation layers and whose adjacency is governed by the single rule $k+\ell\ge L$, form some integers $k$ and $\ell$. This graph models the zero-divisor structure of a finite chain ring with residue field of order $q$ and nilpotency index $L$. We prove that $C(q,L)$ is cochordal, determine its type sequence, then correct and refine the Betti formula of its edge ideal [Dung and Vu, Cochordal zero divisor graphs and Betti numbers of their edge ideals, Comm. Algebra 54(2) (2026) 736--744]. The results are then specialized to the Gaussian quotient rings $\mathbb Z_{2^m}[i]$ and to the truncated polynomial rings $\mathbb Z_p[x]/(x^c)$. We compute projective dimension, regularity, independence number, height, Hilbert series, and Cohen--Macaulay behavior. The computations show that these quotient rings have $2$-linear resolutions, while Cohen--Macaulayness occurs only in the expected degenerate or complete-graph cases.

We show that the space of sections of any line bundle on the augmented wonderful variety of a hyperplane arrangement has the structure of a coalgebra. These coalgebras correspond to the hyperplane arrangement power ideals of Ardila and Postnikov, which include zonotopal algebras as a special case. By proving cohomology vanishing results on augmented wonderful varieties, we recover many results about zonotopal algebras. We also interpret the "superspace" zonotopal algebras of Rhoades, Tewari, and Wilson in terms of the sections of vector bundles on the augmented wonderful variety, and we use this interpretation to prove a formula that they conjectured for the Hilbert series of the superspace version of the central zonotopal algebra.

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.

By selecting a specific input or output of a dioperadic tree, we transform it into a rooted tree and induce a corresponding colored operadic structure. This fundamental pictorial construction demonstrates how the machinery of Gröbner bases and the theory of Hilbert series (well-established for (colored) operads) can be adapted to the dioperadic setting. We illustrate this framework by providing several examples and applications: (1) we compute the dimensions of the spaces of operations for the dioperad of Lie bialgebras; (2) we describe a Gröbner basis and a minimal resolution for the dioperad of triangular Lie bialgebras; (3) we provide computations for the dioperad of ``algebraic string operations''; (4) we present a graphical construction that establishes the existence of quadratic Gröbner bases and the Koszul property for a broad class of dioperads originating from cyclic operads.

In this article, we study Chow polynomials of weakly ranked posets and prove the existence of Gorenstein algebras with the Kähler package such that their Hilbert--Poincaré series agrees with the Chow polynomial. Our statement provides evidence in support of a conjecture by Ferroni, Matherne and the second author about the existence of an algebra for every weakly ranked poset that generalizes the Feichtner--Yuzvinsky Chow ring for matroids. This allows us to prove strong inequalities for the coefficients of Chow polynomials; we prove log-concavity for all posets of weak rank at most six and provide counterexamples to log-concavity for any higher rank. For ranked posets we recover an even stronger condition, showing that the differences between consecutive coefficients constitute a pure O-sequence.

In 1994, Alfano determined a monomial basis, bigraded Hilbert series, and bigraded Frobenius series for the ring of diagonal dihedral group coinvariants $R^{(2,0)}_{\mathfrak{I}_{2}(n)}$. Using diagonal supersymmetry, we determine a universal multigraded character series, universal multigraded Hilbert series, and monomial basis for the generalization to any $k$ sets of bosonic variables and $j$ sets of fermionic variables $R^{(k,j)}_{\mathfrak{I}_{2}(n)}$.

Within the group algebras of the symmetric and hyperoctahedral groups, one has their descent algebras and families of Eulerian idempotents. These idempotents are known to generate group representations with topological interpretations, as the cohomology of configuration spaces of types A and B. We provide an analogous cohomological interpretation for the representations generated by idempotents in the peak algebra, called the peak representations. We describe the peak representations as sums of Thrall's higher Lie characters, give Hilbert series and branching rule recursions for them, and discuss a connection to Jordan brackets.

Let $\mathcal{M}_{n,a}$ be the set consisting of involutions in symmetric group $\mathfrak{S}_n$ with exactly $a$ fixed points and apply the orbit harmonics method to obtain a graded $\mathfrak{S}_n$-module $R(\mathcal{M}_{n,a})$. Liu, Ma, Rhoades, and Zhu figured out a signed combinatorial formula for the graded Frobenius image $\mathrm{grFrob}(R(\mathcal{M}_{n,a});q)$ of $R(\mathcal{M}_{n,a})$. Our goal is to cancel these signs. Finally, we find two positive combinatorial formulae for $\mathrm{grFrob}(R(\mathcal{M}_{n,a});q)$. As an application, we deduce a series of $\mathfrak{S}_n$-equivariant isomorphisms between graded components $R(\mathcal{M}_{n,a})_d$ and $R(\mathcal{M}_{n,a^{\prime}})_d$ for some integers $a\neq a^{\prime}$ and $d$. Our positive formulae also yield potential attempts to find a linear basis for $R(\mathcal{M}_{n,a})$ and a statistic $\mathrm{stat}:\mathcal{M}_{n,a}\rightarrow\mathbb{Z}_{\ge0}$ to interpret the Hilbert series $\mathrm{Hilb}(R(\mathcal{M}_{n,a});q)$ of $R(\mathcal{M}_{n,a})$.

Let $Σ_{g,r}$ denote the $r$-punctured closed Riemann surface of genus $g$. For every $g\geq 0$, we determine the four-variable generating function for the mixed Hodge numbers of the unordered configuration spaces of $Σ_{g,1}$. The cases where $g\geq 2$ are new. Combining a result of \cite{huang2020cohomology}, this determines the analogous generating function for $Σ_{g,r}$ for all $r\geq 1$. As an application of our formula we illustrate how classical homological stability results, as well as so-called secondary stability results of \cite{miller2019higher} can be interpolated to illustrate stable behaviors in the mixed Hodge numbers of these spaces which have been thus-far undiscovered.