arXiv++ Combinatorics

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.

Let $I$ be a monomial ideal of a polynomial ring $R=K[x_1,\ldots,x_n]$ over a field $K$ and let ${\rm sgn}(I)$ be its signature ideal. If $I$ is not a principal ideal, we show that the depth of $R/I$ is the depth of $R/{\rm sgn}(I)$, and the regularity of $R/{\rm sgn}(I)$ is at most the regularity of $R/I$. For ideals of height at least $2$, we show that the height and the associated primes of $I$ and its signature ${\rm sgn}(I)$ are the same, and we show that $I$ is Cohen--Macaulay (resp. Gorenstein) if and only if ${\rm sgn}(I)$ is Cohen--Macaulay (resp. Gorenstein), and furthermore we show that the v-number of ${\rm sgn}(I)$ is at most the v-number of $I$. We give an algorithm to compute the signature of a monomial ideal using \textit{Macaulay}$2$, and an algorithm to examine given families of monomial ideal by computing their signature ideals and determining which of these are either Cohen--Macaulay or Gorenstein.

We study relations of $λ_{y}$-classes associated to tautological bundles over the flag manifold of type $C$ in the quantum $K$-ring. These relations are called the quantum $K$-theoretic Whitney relations. The strategy of the proof of the quantum $K$-theoretic Whitney relations is based on the method of semi-infinite flag manifolds and the Borel-type presentation. In addition, we observe that the quantum $K$-theoretic Whitney relations give a complete set of the defining relations of the quantum $K$-ring. This gives a presentation of the quantum $K$-ring of the flag manifold of type $C$, called the Whitney-type presentation, as a quotient of a polynomial ring, different from the Borel-type presentation.

We extend Grood's tableau construction of irreducible representations of the rook monoid and Steinberg's analogous result for the full transformation monoid. Our approach is characteristic-free and applies to any submonoid $\mathcal{M}(n)$ of the partial transformation monoid on an $n$-element set that contains the symmetric group. To achieve this, we introduce and study a functor from the category of rational representations of the monoid of $n \times n$ matrices to the category of finite dimensional representations of $\mathcal{M}(n)$. We establish two branching rules. Our main results describe graded module structures of orbit harmonics quotients for the rook, partial transformation, and full transformation monoids. This yields analogs of the Cauchy decomposition for polynomial rings in $n\times n$ variables.

The cozero-divisor graph of a commutative ring $R$, denoted $Γ'(R)$, is the graph whose vertices are the non-zero and non-unit elements of $R$, with two distinct vertices $x$ and $y$ adjacent if and only if $x \notin Ry$ and $y \notin Rx$. This paper studies the structural properties of $Γ'(R)$ for the polynomial ring $R = \Z_n[x]/(x^2)$, where $n$ has the prime power decomposition of $p_1^{a_1}p_2^{a_2}\cdots p_q^{a_q}$. We provide a complete structure of the cozero-divisor graph for all $n$ up to cubic prime power decompositions. Furthermore, we determine the Laplacian spectrum of these graphs. Finally, we discuss the connectivity of such a cozero-divisor graph of the polynomial rings for any $n$. Our work provides the first comprehensive spectral analysis of cozero-divisor graphs for non-local polynomial rings and establishes powerful new techniques for bridging commutative algebra with spectral graph theory.

A spline is an assignment of polynomials to the vertices of a graph, where the difference of two polynomials along an edge must belong to the ideal labeling that edge. We consider a ring of splines $\mathcal{M}_{H}$ constructed on a graph whose vertices are the Weyl group $\mathfrak{W}_n$ of signed permutations, and whose edges and edge-ideals are defined using an order ideal $H$ of positive roots. These splines are a module over the polynomial ring in two ways, and a $\mathfrak{W}_n$-module by the dot action. These structures on $\mathcal{M}_{H}$ give rise to the graded left and right dot action representations of $\mathfrak{W}_n$. The left representation is the type B/C generalization of the type A dot action for regular semisimple Hessenberg varieties (and thus, chromatic quasisymmetric functions), and the right representation is the same for corresponding manifolds of isospectral matrices (and thus, unicellular LLT polynomials). This paper gives explicit module generators for the degree-one graded piece of $\mathcal{M}_{H}$ and computes the degree-one piece of the both dot action representations for all $H$ using the combinatorial data of $H$.

Skew polynomial rings provide a fundamental example of noncommutative principal ideal domains. Special quotients of these rings yield matrix algebras that play a central role in the theory of rank-metric codes. Recent breakthroughs have shown that specific subsets of these quotients produce the largest known families of maximum rank distance (MRD) codes. In this work, we present a systematic study of transposition and duality operations within quotients of skew polynomial rings. We develop explicit skew-polynomial descriptions of the transpose and dual code constructions, enabling us to determine the adjoint and dual codes associated with the MRD code families recently introduced by Sheekey et al. Building on these results, we compute the nuclear parameters of these codes, and prove that, for a new infinite set of parameters, many of these MRD codes are inequivalent to previously known constructions in the literature.

Let $S=K[x_1, \ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I(G) \subset S$ the edge ideal of a finite graph $G$ on $n$ vertices. Given a vector $\mathfrak{c}\in\mathbb{N}^n$ and an integer $q\geq 1$, we denote by $(I(G)^q)_{\mathfrak{c}}$ the ideal of $S$ generated by those monomials belonging to $I(G)^q$ whose exponent vectors are componentwise bounded above by $\mathfrak{c}$. Let $δ_{\mathfrak{c}}(I(G))$ denote the largest integer $q$ for which $(I(G)^q)_{\mathfrak{c}}\neq (0)$. Since $(I(G)^{δ_{\mathfrak{c}}(I)})_{\mathfrak{c}}$ is a polymatroidal ideal, it follows that its minimal set of monomial generators is the set of bases of a discrete polymatroid $\mathcal{D}(G,\mathfrak{c})$. In the present paper, a classification of Gorenstein polytopes of the form ${\rm conv}(\mathcal{D}(G,\mathfrak{c}))$ is studied.

Every Latin square of prime power order $q$ is uniquely described by a local permutation polynomial (LPP) in the polynomial ring $\mathbb{F}_q[x,y]$. Despite this equivalence, one may find in the literature only some preliminary results on the relationship among Latin squares and LPPs. This paper delves into this topic by showing how the coefficients of any LPP are identified with the zeros of an algebraic set over $\mathbb{F}_q$. This allows for an algebraic description of all Latin squares of order $q$ by means of a unique polynomial in $\mathbb{F}_q[x,y]$, whose coefficients satisfy the constraints defined by the algebraic set under consideration. In order to make much easier the construction of this polynomial, we also deal with the natural translation to LPPs of both notions of reduced and isotopic Latin squares. Our algebraic approach is readily adapted to identify both types of Latin squares. All of the above is constructively illustrated for $q\in\{4,5\}$. We finish our study with the natural translation to LPPs of both notions of complete mappings and orthomorphisms of quasigroups, showing their relationship with transversals and isotopisms of Latin squares.

We give explicit, uniform formulas for the graded characters and total ranks of the Lie algebra homology of finite-dimensional representations in all classical types. In many cases, these compute the Tor groups of finite length modules over polynomial rings, and this is the first in a series of papers to investigate total rank conjectures from this perspective. These formulas refine and generalize the classical $ρ$-decomposition of Kostant, and in particular we prove that the characters involved exhibit three structural phenomena: divisibility (by a large power of 2), equidistribution, and uniform factorization formulas.

Let $G$ be a Cameron--Walker graph on $n$ vertices and $J_G$ the binomial edge ideal of $G$. Let $S$ denote the polynomial ring in $2n$ variables over a field. It is shown that the following conditions are equivalent: (i) $S/J_G$ is Cohen--Macaulay; (ii) $J_G$ is unmixed; (iii) $\dim (S/J_G) = n+1$; (iv) (a) $n = 3$ and $G$ is a path of length $2$ or (b) $n = 5$ and $G$ is a path of length $4$ or (c) $n=5$ and $G$ is obtained by attaching a path of length $2$ to a triangle. Moreover, the depth of $S/J_G$ is computed for a class of Cameron--Walker graphs, called minimal dense Cameron--Walker graphs. As an application, it is proved that finite graphs $G$ with $\depth(S/J_G)=6$ can have any number of vertices~$n\geq 6$. Finally, it is shown that given integers $t,n$ with $6\leq t\leq n+1$, there exists a finite connected graph $G$ with $\depth (S/J_G)=t$.

Let $S = K[x_1, \dots, x_n]$ be the standard graded polynomial ring over a field $K$. In this paper, we address and completely solve two fundamental open questions in Commutative Algebra: (i) For which degrees $d$, does there exist a uniform combinatorial characterization of all squarefree monomial ideals in $S$ having $d$-linear resolutions? (ii) For which degrees $d$, does having a linear resolution coincide with having linear powers for all squarefree monomial ideals of $S$ generated in degree $d$? Let $\mathcal{I}_{n,d}(K)$ denote the class of squarefree monomial ideals of $S$ having a $d$-linear resolution. Our main result establishes the equivalence of the following conditions: (a) Any squarefree monomial ideal $I$ in $S$ generated in degree $d$ has a linear resolution, if and only if, $I$ has linear powers. (b) $\mathcal{I}_{n,d}(K)$ is independent of the base field $K$. (c) $d\in\{0,1,2,n{-}2,n{-}1,n\}$. In each of these degrees, we show that a squarefree monomial ideal has a linear resolution if and only if all of its powers admit linear quotients, and we combinatorially classify such ideals. In contrast, for each degree $3\le d\le n{-}3$, we construct fully-supported squarefree monomial ideals $I$ and $J$ in $S$ generated in degree $d$ such that the linear resolution property of $I$ depends on the choice of the base field, $J$ has a linear resolution and $J^2$ does not have a linear resolution.

Let $S=K[x_1,\dots,x_n]$ be the polynomial ring over a field $K$ and $I\subset S$ be a squarefree monomial ideal generated in degree $n-2$. Motivated by the remarkable behavior of the powers of $I$ when $I$ admits a linear resolution, as established in [11], in this work we investigate the algebraic and homological properties of $I$ and its powers. To this end, we introduce the complementary edge ideal of a finite simple graph $G$ as the ideal $$I_c(G)=((x_1\cdots x_n)/(x_ix_j):\{i,j\}\in E(G)) $$ of $S$, where $V(G)=\{1,\ldots,n\}$ and $E(G)$ is the edge set of $G$. By interpreting any squarefree monomial ideal $I$ generated in degree $n-2$ as the complementary edge ideal of a graph $G$, we establish a correspondence between algebraic invariants of $I$ and combinatorial properties of $G$. More precisely, we characterize sequentially Cohen-Macaulay, Cohen-Macaulay, Gorenstein, nearly Gorenstein and matroidal complementary edge ideals. Moreover, we determine the regularity of powers of $I$ in terms of combinatorial invariants of the graph $G$ and obtain that $I^k$ has linear resolution or linear quotients for some $k$ (equivalently for all $k\geq 1$) if and only if $G$ has only one connected component with at least two vertices.

We study zeros of polynomials in the multivariate skew polynomial ring $D[x_1,\ldots,x_n; σ]$, where $σ$ is an automorphism of a division ring $D$. We prove a generalization of Alon's celebrated Combinatorial Nullstellensatz for such polynomials. In the case where $D$ is a finite field, we prove skew analogues of the Chevalley--Warning theorem, Ax's Lemma, and the weak case of Terjanian's Finitesatz.

This paper aims to employ a cluster-theoretic approach to provide a class of Diophantine equations whose solutions can be obtained by starting from initial solutions through mutations. We establish a novel framework bridging cluster theory and Diophantine equations through the lens of cluster symmetry. On the one hand, we give the necessary and sufficient condition for Laurent polynomials to remain invariant under a given cluster symmetric map. On the other hand, we construct a discriminant algorithm to determine whether a given Laurent polynomial has cluster symmetry and whether it can be realized in a generalized cluster algebra. As applications, we solve Markov-cluster equations, describe some invariant Laurent polynomial rings, and resolve the questions posed by Gyoda and Matsushita.

We introduce and study the mixed Segre zeta function of a sequence of homogeneous ideals in a polynomial ring. This function is a power series encoding information about the mixed Segre classes obtained by extending the ideals to projective spaces of arbitrarily large dimension. Our work generalizes and unifies results by Kleiman and Thorup on mixed Segre classes and by Aluffi on Segre zeta functions. We prove that this power series is rational, with poles corresponding to the degrees of the generators of the ideals. We also show that the mixed Segre zeta function only depends on the integral closure of the ideals. Finally, we prove that the homogenization of the numerator of a modification of the mixed Segre zeta function is denormalized Lorentzian in the sense of Brändén and Huh.

We study almost complete intersection ideals in a polynomial ring, generated by powers of all the variables together with a power of their sum. Our main result is an explicit description of the reduced Gröbner bases for these ideals under any term order. Our approach is primarily combinatorial, focusing on the structure of the initial ideal. We associate a lattice path to each monomial in the vector space basis of an Artinian monomial complete intersection and introduce a reflection operation on these paths, which enables a key counting argument. As a consequence, we provide a new proof that Artinian monomial complete intersections possess the strong Lefschetz property over fields of characteristic zero. Our results also offer new insights into the longstanding problem of classifying the weak Lefschetz property for such intersections in characteristic $p$. Furthermore, we show that the number of Gröbner basis elements in each degree is connected to several well-known sequences, including the (generalized) Catalan, Motzkin, and Riordan numbers, and connect these numbers to the study of entanglement detection in spin systems within quantum physics.

Specht ideals are symmetric ideals in the polynomial ring generated by Specht polynomials associated with group representations. These ideals were previously studied for reflection groups of types $A$ and $B$, where their inclusion relations and their varieties reflect rich combinatorial structures. In this paper, we extend this theory to type $D$ and the dihedral groups. Our results complete the combinatorial study of Specht ideals across all infinite families of essential real reflection groups.

Let $S=K[x_1, \ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I \subset S$ a monomial ideal. Given a vector $\mathfrak{c}\in\mathbb{Z}_{>0}^n$, the ideal $I_{\mathfrak{c}}$ is the ideal generated by those monomials belonging to $I$ whose exponent vectors are componentwise bounded above by $\mathfrak{c}$. Let $δ_{\mathfrak{c}}(I)$ be the largest integer $q$ for which $(I^q)_{\mathfrak{c}}\neq 0$. Let $I(G) \subset S$ denote the edge ideal of a finite graph $G$ on the vertex set $V(G) = \{x_1, \ldots, x_s\}$. In our previous work, it is shown that $(I(G)^{δ_{\mathfrak{c}}(I)})_{\mathfrak{c}}$ is a polymatroidal ideal. Let $\mathcal{W}(\mathfrak{c},G)$ denote the minimal system of monomial generators of $(I(G)^{δ_{\mathfrak{c}}(I)})_{\mathfrak{c}}$. It follows that $\mathcal{W}(\mathfrak{c},G)$ satisfies the symmetric exchange property. In the present paper, the question when $\mathcal{W}(\mathfrak{c},G)$ enjoys the strong exchange property, or equivalently, when $\mathcal{W}(\mathfrak{c},G)$ is of Veronese type is studied.

In this paper, we compare the index of ass-stability $\text{astab}(I)$ and the index of $\text{v}$-stability $\text{vstab}(I)$ of powers of a graded ideal $I$. We prove that $\text{astab}(I)=1\le\text{vstab}(I)$ for any graded ideal $I$ in a 2-dimensional polynomial ring, and that $\text{vstab}(I)$ can be any positive integer in this situation. Moreover, given any integers $a,b\ge1$, we construct a graded ideal $I$ in a $3(a+1)$-dimensional polynomial ring such that $(\text{astab}(I),\text{vstab}(I))=(a,b)$.