arXiv++ Combinatorics

We study the Koszul property of a standard graded $K$-algebra $R$ defined by the binomial edge ideal of a pair of graphs $(G_1,G_2)$. We show that the following statements are equivalent: (i) $R$ is Koszul; (ii) the defining ideal $J_{G_1,G_2}$ of $R$ has a quadratic Gröbner basis; (iii) the graded maximal ideal of $R$ has linear quotients with respect to a suitable order of its generators

Let $G$ be the circulant graph $C_n(S)$ with $S\subseteq\{ 1,\ldots,\left \lfloor\frac{n}{2}\right \rfloor\}$ and let $I(G)$ be its edge ideal in the ring $K[x_0,\ldots,x_{n-1}]$. Under the hypothesis that $n$ is prime we : 1) compute the regularity index of $R/I(G)$; 2) compute the Castelnuovo-Mumford regularity when $R/I(G)$ is Cohen-Macaulay; 3) prove that the circulant graphs with $S=\{1,\ldots,s\}$ are sequentially $S_2$ . We end characterizing the Cohen-Macaulay circulant graphs of Krull dimension $2$ and computing their Cohen-Macaulay type and Castelnuovo-Mumford regularity.

We prove several cases of the Betti number conjecture for the binomial edge ideal $J_G$ of a proper interval graph $G$ (also known as closed graph). Namely, we show that this conjecture is true for the linear strand of $J_G$, and true in general for any proper interval graph $G$ such that the regularity of $S/J_G$ equals two.

We explore connections between the generalized multiplicities of square-free monomial ideals and the combinatorial structure of the underlying hypergraphs using methods of commutative algebra and polyhedral geometry. For instance, we show the $j$-multiplicity is multiplicative over the connected components of a hypergraph, and we explicitly relate the $j$-multiplicity of the edge ideal of a properly connected uniform hypergraph to the Hilbert-Samuel multiplicity of its special fiber ring. In addition, we provide general bounds for the generalized multiplicities of the edge ideals and compute these invariants for classes of uniform hypergraphs.

We graph-theoretically characterize the class of graphs $G$ such that $I(G)^2$ are Buchsbaum.

We prove that, for the edge ideal of a cactus graph, the arithmetical rank is bounded above by the sum of the number of cycles and the maximum height of its associated primes. The bound is sharp, but in many cases it can be improved. Moreover, we show that the edge ideal of a Cohen-Macaulay graph that contains exactly one cycle or is chordal or has no cycles of length 4 and 5 is a set-theoretic complete intersection.

We relate homological properties of a binomial edge ideal $\mathcal{J}_G$ to invariants that measure the connectivity of a simple graph $G$. Specifically, we show if $R/\mathcal{J}_G$ is a Cohen-Macaulay ring, then graph toughness of $G$ is exactly $\frac{1}{2}$. We also give an inequality between the depth of $R/\mathcal{J}_G$ and the vertex-connectivity of $G$. In addition, we study the Hilbert-Samuel multiplicity, and the Hilbert-Kunz multiplicity of $R/\mathcal{J}_G$.

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 $J=J(G)$ is its cover ideal. We prove that ${\rm sdepth}(J)\geq n-ν_{o}(G)$ and ${\rm sdepth}(S/J)\geq n-ν_{o}(G)-1$, where $ν_{o}(G)$ is the ordered matching number of $G$. We also prove the inequalities ${\rm sdepth}(J^k)\geq {\rm depth}(J^k)$ and ${\rm sdepth}(S/J^k)\geq {\rm depth}(S/J^k)$, for every integer $k\gg 0$, when $G$ is a bipartite graph. Moreover, we provide an elementary proof for the known inequality ${\rm reg}(S/I)\leq ν_{o}(G)$.

Let $G$ be a graph and let $I := I (G)$ be its edge ideal. In this paper, we provide an upper bound of $n$ from which $\depth R/ I(G)^n$ is stationary, and compute this limit explicitly. This bound is always achieved if $G$ has no cycles of length $4$ and every its connected component is either a tree or a unicyclic graph.

We obtain an improved lower bound for the regularity of the binomial edge ideals of trees. We prove an upper bound for the regularity of the binomial edge ideals of certain subclass of block-graphs. As a consequence we obtain sharp upper and lower bounds for the regularity of binomial edge ideals of a class of trees called lobsters. We also obtain precise expressions for the regularities of binomial edge ideals of certain classes of trees and block graphs.

We study how powerful algebraic discrete Morse theory is when applied to hull resolutions. The main result describes all cases when the hull resolution of the edge ideal of the complement of a triangle-free graph can be made minimal using algebraic discrete Morse theory.

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.