arXiv++ Combinatorics

We prove that, for the edge ideal of a graph whose cycles are pairwise vertex-disjoint, the arithmetical rank is bounded above by the sum of the number of cycles and the maximum height of its associated primes.

We consider two problems regarding vanishing patterns in the Betti table of edge ideals $I$ in polynomial algebra $S$. First, we show that the $j$-strand is connected if $j=3$ (for $j=2$ this is easy and known), and give examples where the $j$-strand is not connected for any $j>3$. Next, we apply our result on strand connectivity to establish the subadditivity conjecture for edge ideals, $t_{a+b}\leq t_a+t_b$, in case $b=2,3$ (the case $b=1$ is known). Here $t_i$ stands for the maximal shifts in the minimal free $S$-resolution of $S/I$

Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over $\mathbb{K}$. Let $G$ be a graph with $n$ vertices. Assume that $I=I(G)$ is the edge ideal of $G$ and $p$ is the number of its bipartite connected components. We prove that for every positive integer $k$, the inequalities ${\rm sdepth}(I^k/I^{k+1})\geq p$ and ${\rm sdepth}(S/I^k)\geq p$ hold. As a consequence, we conclude that $S/I^k$ satisfies the Stanley's inequality for every integer $k\geq n-1$. Also, it follows that $I^k/I^{k+1}$ satisfies the Stanley's inequality for every integer $k\gg 0$. Furthermore, we prove that if (i) $G$ is a non-bipartite graph, or (ii) at least one of the connected components of $G$ is a tree with at least one edge, then $I^k$ satisfies the Stanley's inequality for every integer $k\geq n-1$. Moreover, we verify a conjecture of the author in special cases.

We graph-theoretically characterize triangle-free Gorenstein graphs $G$. As an application, we classify when $I(G)^2$ is Cohen-Macaulay.

In this paper, we give a complete description of the associated primes of every power of the edge ideal in terms of generalized ear decompositions of the graph. This result establishes a surprising relationship between two seemingly unrelated notions of Commutative Algebra and Combinatorics. It covers all previous major results in this topic and has several interesting consequences.

We study unmixed and Cohen-Macaulay properties of the binomial edge ideal of some classes of graphs. We compute the depth of the binomial edge ideal of a generalized block graph. We also characterize all generalized block graphs whose binomial edge ideals are Cohen-Macaulay and unmixed. So that we generalize the results of Ene, Herzog and Hibi on block graphs. Moreover, we study unmixedness and Cohen-Macaulayness of the binomial edge ideal of some graph products such as the join and corona of two graphs with respect to the original graphs'.

Let $G=W(C_{n})$ be a whiskered cycle graph with edge ideal $I=I(G)$. We prove that for every $s\geq 1$, the equality ${\rm reg}(I^{s})=2s+\lceil \frac{n-1}{2}\rceil-1$ holds.

Let $R= S/I$ where $S=k[T_1, \ldots, T_n]$ and $I$ is a homogeneous ideal in $S$. The acyclic closure $R \langle Y \rangle $ of $k$ over $R$ is a DG algebra resolution obtained by means of Tate's process of adjoining variables to kill cycles. In a similar way one can obtain the minimal model $S[X]$, a DG algebra resolution of $R$ over $S$. By a theorem of Avramov there is a tight connection between these two resolutions. In this paper we study these two resolutions when $I$ is the edge ideal of a path or a cycle. We determine the behavior of the deviations $\varepsilon_i(R)$, which are the number of variables in $R\langle Y \rangle$ in homological degree $i$. We apply our results to the study of the $k$-algebra structure of the Koszul homology of $R$.

We prove a conjectured upper bound for the Castelnuovo-Mumford regularity of binomial edge ideals of graphs, due to Matsuda and Murai. Indeed, we prove that $\mathrm{reg}(J_G)\leq n-1$ for any graph $G$ with $n$ vertices, which is not a path. Moreover, we study the behavior of the regularity of binomial edge ideals under the join product of graphs.

Parity binomial edge ideals of simple undirected graphs are introduced. Unlike binomial edge ideals, they do not have square-free Gröbner bases and are radical if only if the graph is bipartite or the characteristic of the ground field is not two. The minimal primes are determined and shown to encode combinatorics of even and odd walks in the graph. A mesoprimary decomposition is determined and shown to be a primary decomposition in characteristic two.

We investigate Rees algebras and special fiber rings obtained by blowing up specialized Ferrers ideals. This class of monomial ideals includes strongly stable monomial ideals generated in degree two and edge ideals of prominent classes of graphs. We identify the equations of these blow-up algebras. They generate determinantal ideals associated to subregions of a generic symmetric matrix, which may have holes. Exhibiting Gröbner bases for these ideals and using methods from Gorenstein liaison theory, we show that these determinantal rings are normal Cohen-Macaulay domains that are Koszul, that the initial ideals correspond to vertex decomposable simplicial complexes, and we determine their Hilbert functions and Castelnuovo-Mumford regularities. As a consequence, we find explicit minimal reductions for all Ferrers and many specialized Ferrers ideals, as well as their reduction numbers. These results can be viewed as extensions of the classical Dedekind-Mertens formula for the content of the product of two polynomials.

A graph is closed when its vertices have a labeling by [n] with a certain property first discovered in the study of binomial edge ideals. In this article, we explore various aspects of closed graphs, including the number of closed labelings and clustering coefficients.

The regularity of an edge ideal of a finite simple graph $G$ is at least the induced matching number of $G$ and is at most the minimum matching number of $G$. If $G$ possesses a dominating inuduced matching, i.e., an induced matching which forms a maximal matching, then the induced matching number of $G$ is equal to the minimum matching number of $G$. In the present paper, from viewpoints of both combinatorics and commutative algebra, finite simple graphs with dominating induced matchings will be mainly studied.

We make some observations on binomial edge ideals, with the characterization of their Koszulness as motivation. Inspired by results of Ene, Herzog and Hibi, we discuss building Koszul graphs from smaller pieces in a controlled manner. We characterize the Koszul property of cone graphs and compute the dual algebra of the quadratic algebra coming from an arbitrary binomial edge ideal. We compute the first two syzygies of the infinite minimal free resolution of the residue field over the algebra defined by a binomial edge ideal, and observe that they are always linear.

Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over the field $\mathbb{K}$. Suppose that $\mathcal{C}$ is a chordal clutter with $n$ vertices and assume that the minimum edge cardinality of $\mathcal{C}$ is at least $d$. It is shown that $S/I(c_d(\mathcal{C}))$ satisfies Stanley's conjecture, where $I(c_d(\mathcal{C}))$ is the edge ideal of the $d$-complement of $\mathcal{C}$. This, in particular shows that $S/I$ satisfies Stanley's conjecture, where $I$ is a quadratic monomial ideal with linear resolution. We also define the notion of Schmitt--Vogel number of a monomial ideal $I$, denoted by ${\rm sv}(I)$ and prove that for every squarefree monomial ideal $I$, the inequalities ${\rm sdepth}(I)\geq n-{\rm sv}(I)+1$ and ${\rm sdepth}(S/I)\geq n-{\rm sv}(I)$ hold.

Let G be a graph and let I = I(G) be its edge ideal. In this paper, when G is a forest or a cycle, we explicitly compute the regularity of I^s for all s > 0. In particular, for these classes of graphs, we provide the asymptotic linear function reg(I^s) as s > 0, and the initial value of s starting from which reg(I^s) attains its linear form. We also give new bounds on the regularity of I when G contains a Hamiltonian path and when G is a Hamiltonian graph.

We introduce and study the weighted $r$-path ideal of a weighted graph $G_ω$, which is a common generalization of Conca and De Negri's $r$-path ideal for unweighted graphs and Paulsen and Sather-Wagstaff's edge ideal of the weighted graph. Over a field, we explicitly describe primary decompositions of these ideals, and we characterize Cohen-Macaulayness of these ideals for trees (with arbitrary $r$) and complete graphs (for $r=2$).

In this article we prove that every toric ideal associated with a gap-free graph $G$ has a squarefree lexicographic initial ideal. Moreover, in the particular case when the complementary graph of $G$ is chordal (i.e. when the edge ideal of $G$ has a linear resolution), we show that there exists a reduced Gröbner basis $\mathcal{G}$ of the toric ideal of $G$ such that all the monomials in the support of $\mathcal{G}$ are squarefree. Finally, we show (using work by Herzog and Hibi) that if $I$ is a monomial ideal generated in degree 2, then $I$ has a linear resolution if and only if all powers of $I$ have linear quotients, thus extending a result by Herzog, Hibi and Zheng.

In this paper we prove the existence of a special order on the set of minimal monomial generators of powers of edge ideals of arbitrary graphs. Using this order we find new upper bounds on the regularity of powers of edge ideals of graphs whose complement does not have any induced four cycle.

We give a new combinatorial characterization of the big height of a squarefree monomial ideal leading to a new bound for the projective dimension of a monomial ideal.