arXiv++ Combinatorics

In this paper, we prove the upper bound conjecture proposed by Saeedi Madani \& Kiani on the Castelnuovo-Mumford regularity of generalized binomial edge ideals. We give a combinatorial upper bound of regularity for generalized binomial edge ideals, which is better than the bound claimed in that conjecture. Also, we show that the bound is tight by providing an infinite class of graphs.

In this paper, we study rooted products of graphs from the perspective of combinatorial commutative algebra. For edge ideals, we introduce the 2-Cohen-Macaulayness with respect to a vertex and use it to investigate when edge ideals of rooted products of graphs are Cohen-Macaulay. Moreover, we completely determine when attaching a graph on at most six vertices to a given graph as rooted products, yields a Cohen-Macaulay edge ideal. Also, we define mulit-clique corona graphs as a generalization of clique-corona graphs and multi-whisker graphs. We prove that multi-clique corona graphs are vertex decomposable and hence sequentially Cohen-Macaulay. Also, we give formulas for the projective dimension and the Castelnuovo-Mumford regularity.

Let $K$ be a field of characteristic zero, let $I \subset S = K[x_1,\dots,x_n]$ be a homogeneous ideal, and let $\partial(I)$ be its gradient ideal. We study the relationship between $\mathrm{reg}\,I$ and $\mathrm{reg}\,\partial(I)$. While earlier work by Busé, Dimca, Schenck, and Sticlaru showed these regularities are generally incomparable for hypersurface ideals, we prove they remain incomparable even for monomial ideals with linear resolution, answering a question of J. Herzog. In fact, for any integers $a \in \mathbb{Z}$ and $b \ge - 1$, we construct monomial ideals $I$ and $J$ such that $\mathrm{reg}\,I - \mathrm{reg}\,\partial(I) = a$, $\mathrm{reg}\,\partial(J) - \mathrm{reg}\,J = b$ and $J$ has linear resolution. We introduce monomial ideals with differential linear resolution as those monomial ideals whose all iterated gradient ideals have linear resolution. We prove that polymatroidal ideals, equigenerated (strongly) stable ideals, powers of edge ideals with linear resolution, complementary edge ideals with linear resolution, and certain equigenerated squarefree monomial ideals with many generators satisfy this property.

To a graph $G$ one associates the binomial edge ideal $J_G$ generated by a collection of binomials corresponding to the edges of $G$. In this paper, we study the asymptotic behavior of symbolic powers of $J_G$, its lexicographic initial ideal $\mathrm{in}_<(J_G)$, and its multigraded generic initial ideal $\mathrm{gin}(J_G)$. We focus on the Waldschmidt constant, $\widehatα$, and asymptotic regularity, $\widehat{\mathrm{reg}}$, which capture linear growth of minimal generator degrees and Castelnuovo--Mumford regularity. We explicitly compute $\widehatα(J_G)$ and $\widehatα(\mathrm{in}_<(J_G))$, and compare the Betti numbers of the symbolic powers of $J_G$ and $J_H$, where $H$ is a subgraph of $G$. To analyze $\mathrm{in}_<(J_G)$ and $\mathrm{gin}(J_G)$, we use the symbolic polyhedron, a convex polyhedron that encodes the elements of the symbolic powers of a monomial ideal. We determine its vertices via $G$'s induced connected subgraphs and show that $\widehatα(\mathrm{gin}(J_G))=\widehatα(I_G)$, where $I_G$ is the edge ideal of $G$. This yields an alternate proof of known bounds for $\widehatα(I_G)$ in terms of $G$'s clique number and chromatic number.

This work establishes combinatorial bounds on the Castelnuovo-Mumford regularity of edge ideals for trees and their multi-whiskered variants. For a tree \( T \), we give bounds for the Castelnuovo-Mumford regularity of \( I(T) \) in terms of the order, diameter, and number of pendant vertices. Furthermore, we present an upper bound for multi-whiskered trees \( T_{\mathbf{a}} \), demonstrating that the Castelnuovo-Mumford regularity of \( I(T_{\mathbf{a}}) \) is bounded by the same invariants of the underlying tree \( T \). A principal consequence of this work is the derivation of corresponding inequalities for two key combinatorial invariants of \( T \), namely the induced matching number \( \operatorname{im}(T) \) and the independence number \( α(T) \).

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.

We provide necessary and sufficient conditions for simplicial complexes whose determinantal facet ideals admit reduced Grobner bases under diagonal term orders. Building on and extending foundational results for binomial edge ideals and determinantal ideals, we introduce two new classes of simplicial complexes-strong closed and poor closed-that generalize the notion of closedness in higher dimensions. Our main theorem offers a unified framework that recovers and refines several known results, including those for unit interval graphs and determinantal ideals of complete graphs. In particular, we correct and generalize prior characterizations of Grobner bases for determinantal facet ideals, establishing radicality for strong closed complexes and providing a new proof for the Grobner basis of maximal minors.

We investigate the analytic spread of binomial edge ideals of finite simple graphs. We provide tight bounds for this invariant in general. For special families of graphs (e.g., closed graphs, pseudo-forests), we compute the exact value for the analytic spread of the corresponding binomial edge ideals via combinatorial and convex geometric means.

We introduce the abstract notion of squarefree-power-like functions, which unify the sequences of squarefree ordinary and symbolic powers of squarefree monomial ideals. By employing the Tor-vanishing criteria for mixed sums of ideals, we establish sharp lower bounds for their Castelnuovo-Mumford regularity in terms of what we call the admissible set of the associated hypergraph. As an application, we derive the first general combinatorial lower bound for the regularity of squarefree symbolic powers of monomial ideals. In the setting of edge ideals, by exploiting the special combinatorial structures of block graphs and Cohen-Macaulay chordal graphs, we show that this bound turns into an exact formula for all squarefree symbolic powers of block graphs, as well as for the second squarefree symbolic powers of edge ideals of Cohen-Macaulay chordal graphs.

In this paper we investigate the Rees algebras of squarefree monomial ideals $I \subset S=K[x_1,\dots,x_n]$ generated in degree $n-2$, where $K$ is a field. Every such ideal arises as the complementary edge ideal $I_c(G)$ of a finite simple graph $G$. We describe the defining equations of the Rees algebra $\mathcal{R}(I_c(G))$ in terms of the combinatorics of $G$. If $G$ is a tree or a unicyclic graph whose unique induced cycle has length $3$ or $4$, we prove that $\mathcal{R}(I_c(G))$ is Koszul. We also determine the asymptotic depth of the powers of $I_c(G)$, proving that $\lim_{k \to \infty}\text{depth}\, S/I_c(G)^k=b(G)$, where $b(G)$ is the number of bipartite connected components of $G$. Finally, we show that the index of depth stability of $I_c(G)$ is at most $n-2$, and equality holds when $G$ is a path graph.

We investigate an invariant, called the Serre depth, from the perspective of combinatorial commutative algebra. In this paper, we establish several properties of an analogue of the depth of Stanley-Reisner rings. In particular, we relate the Serre depth both to the minimal free resolution of a Stanley-Reisner ring and to that of its Alexander dual. Also, we establish an analogue of a known result that describes the depth of Stanley-Reisner rings in terms of skeletons. Moreover, we study the Serre depth for $(S_{2})$ and the depth on the symbolic powers of Stanley--Reisner ideals. It had been an open question whether the depth of the symbolic powers of Stanley-Reisner ideals satisfies a non-increasing property, but Nguyen and Trung provided a negative answer. We construct an example that the Serre depth for $(S_{2})$ and the depth do not satisfy this property and its second symbolic power is Cohen-Macaulay. Moreover, we prove that the sequence of the Serre depth for $(S_{2})$ on the symbolic powers is convergent and that its limit coincides with the minimum value. Finally, we study the Serre depth on edge and cover ideals. Whether the depth on symbolic powers of edge ideals satisfies a non-increasing property has remained an open question. We address a related problem and show that the Serre depth for $(S_{2})$ on edge ideals of any well-covered graph satisfies a non-increasing property. In addition, we prove that the Serre depth for $(S_{2})$ on the cover ideals of any graph also satisfies a non-increasing property. Moreover, we determine the Serre depth on edge ideals of very well-covered graphs.

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

In this article, we survey the recent results on the Castelnuovo-Mumford regularity of binomial edge ideals and generalized binomial edge ideals. We also generalize some of the known upper bounds for binomial edge ideals to the case of generalized binomial edge ideals.

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.

In this paper, we introduce the concept of complementary edge ideals of graphs and study their algebraic properties and invariants.

Linear resolutions and the stronger notion of linear quotients are important properties of monomial ideals. In this paper, we fully characterize linear quotients in terms of the lcm-lattice of monomial ideals. We also formulate an analogous characterization for monomial ideals with linear resolutions, making explicit a relationship that is implicit in the existing literature. These results complement characterizations of these two properties in terms of the Alexander dual of the corresponding Stanley-Reisner simplicial complex. In addition, we discuss applications to the case of edge ideals.

It has been conjectured that the toric ideal of the base ring of a discrete polymatroid is generated by symmetric exchange binomials. In the present paper, we give several classes of discrete polymatroids which yield toric ideals generated by symmetric exchange binomials. Especially, we are interested in the discrete polymatroids arising from bounded powers of edge ideals of finite graphs.

In this paper, we compare the $\mathrm{v}$-numbers and the degree of the $h$-polynomials associated with edge ideals of connected graphs. We prove that the $\mathrm{v}$-number can be arbitrarily larger or smaller than the degree of the $h$-polynomial for the edge ideal of a connected graph. We also establish that for any pair of positive integers $(v,d)$ with $v \leq d$, there exists a connected graph $H(v,d)$ with the $\mathrm{v}$-number equal to $v$ and the degree of $h$-polynomial equal to $d$. Additionally, we show that the sum of the $\mathrm{v}$-number and the degree of the $h$-polynomial is bounded above by $n$, the number of vertices of $G$, and we classify all graphs for which this sum is exactly $n$. Finally, we show that all thirteen possible inequalities among the three invariants, the $\mathrm{v}$-number, the degree of the $h$-polynomial, and the Castelnuovo-Mumford regularity, can occur in the case of edge ideals of connected graphs. Many of these examples rely on a minimal example of a graph whose $\mathrm{v}$-number is more than the degree of its $h$-polynomial. Using a computer search, we show that there are exactly two such graphs on 11 vertices and 25 edges, and no smaller example on fewer vertices, or 11 vertices and less than 25 edges.

In this article, we explore the class of graphs for which the projective dimension of the quotient of the binomial edge ideals matches the big height of that ideal. Additionally, we investigate the Vasconcelos number of binomial edge ideals for cycles and crown graphs. We also provide proof for [Conjecture 4.13, 3], which is related to the Vasconcelos number of binomial edge ideals for cycles.

The v-number of a graded ideal is an invariant recently introduced in the context of coding theory, particularly in the study of Reed--Muller-type codes. In this work, we study the localized v-numbers of a binomial edge ideal $J_G$ associated to a finite simple graph $G$. We introduce a new approach to compute these invariants, based on the analysis of transversals in families of subsets arising from dependencies in certain rank-two matroids. This reduces the computation of localized v-numbers to the determination of the radical of an explicit ideal and provides upper bounds for these invariants. Using this method, we explicitly compute the localized v-numbers of $J_G$ at the associated minimal primes corresponding to minimal cuts of $G$. Additionally, we determine the v-number of binomial edge ideals for cycle graphs and give an almost complete answer to a recent conjecture, showing that the v-number of a cycle graph $C_n$ is either $\textstyle \left\lceil \frac{2n}{3} \right\rceil$ or $\textstyle \left\lceil \frac{2n}{3} \right\rceil - 1$.