arXiv++ Combinatorics

Let $G$ be a graph with $n$ vertices and let $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$. Assume that $I(G)$ and $J(G)$ denote the edge ideal and the cover ideal of $G$, respectively. We provide a combinatorial upper bound for the index of depth stability of symbolic powers of $J(G)$. As a consequence, we compute the depth of symbolic powers of cover ideals of fully clique-whiskered graphs. Meanwhile, we determine a class of graphs $G$ with the property that the Castelnuovo--Mumford regularity of $S/I(G)$ is equal to the induced matching number of $G$.

We characterize unmixed and Cohen-Macaulay edge-weighted edge ideals of very well-covered graphs. We also provide examples of oriented graphs which have unmixed and non-Cohen-Macaulay vertex-weighted edge ideals, while the edge ideal of their underlying graph is Cohen-Macaulay. This disproves a conjecture posed by Pitones, Reyes and Toledo.

Let $G$ be a graph with edge ideal $I(G)$. We recall the notions of $\min-match_{\{K_2, C_5\}}(G)$ and $\ind-match_{\{K_2, C_5\}}(G)$ from \cite{sy}. We show that $${\rm reg}(I(G)^s)\leq 2s+\min-match_{\{K_2, C_5\}}(G)-1,$$for all $s\geq 1$, which implies that$${\rm reg}(I(G)^s)\leq 2s+\min-match(G)-1.$$Moreover, we show that$${\rm reg}(I(G)^s)\geq 2s+\ind-match_{\{K_2, C_5\}}(G)-2,$$and if $\ind-match_{\{K_2, C_5\}}(G)$ is an odd integer, then$${\rm reg}(I(G)^s)\geq 2s+\ind-match_{\{K_2, C_5\}}(G)-1.$$Furthermore, it is shown that$${\rm reg}(I(G)^s)\leq 2s+\ord-match(G)-1,$$where $\ord-match(G)$ denotes the ordered matching number of $G$. Finally, we construct infinitely many connected graphs which satisfy the following strict inequalities:$$2s+\ind-match(G)-1 < {\rm reg}(I(G)^s)< 2s+{\rm cochord}(G)-1.$$This gives a positive answer to a question asked in \cite{jns}.

Let $k\geq 3$ be an integer and $G$ be a very well-covered graph with ${\rm odd-girth}(G)\geq 2k+1$. Assume that $I(G)$ is the edge ideal of $G$. We show that for every integer $s$ with $1\leq s\leq k-2$, we have ${\rm reg}(I(G)^s)=2s+ν(G)-1$, where $ν(G)$ is the induced matching number of $G$.

Let $G$ be a graph with $n$ vertices, $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$ and $I(G)$ denote the edge ideal of $G$. For every collection $\mathcal{H}$ of connected graphs with $K_2\in \mathcal{H}$, we introduce the notions of $\ind-match_{\mathcal{H}}(G)$ and $\min-match_{\mathcal{H}}(G)$. It will be proved that the inequalities $\ind-match_{\{K_2, C_5\}}(G)\leq{\rm reg}(S/I(G))\leq\min-match_{\{K_2, C_5\}}(G)$ are true. Moreover, we show that if $G$ is a Cohen--Macaulay graph with girth at least five, then ${\rm reg}(S/I(G))=\ind-match_{\{K_2, C_5\}}(G)$. Furthermore, we prove that if $G$ is a paw--free and doubly Cohen--Macaulay graph, then ${\rm reg}(S/I(G))=\ind-match_{\{K_2, C_5\}}(G)$ if and only if every connected component of $G$ is either a complete graph or a $5$-cycle graph. Among other results, we show that for every doubly Cohen--Macaulay simplicial complex, the equality ${\rm reg}(\mathbb{K}[Δ])={\rm dim}(\mathbb{K}[Δ])$ holds.

We characterize pure lexsegment complexes which are Cohen-Macaulay in arbitrary codimension. More precisely, we prove that any lexsegment complex is Cohen-Macaulay if and only if it is pure and its one dimensional links are connected, and, a lexsegment flag complex is Cohen-Macaulay if and only if it is pure and connected. We show that any non-Cohen-Macaulay lexsegment complex is a Buchsbaum complex if and only if it is a pure disconnected flag complex. For $t\ge 2$, a lexsegment complex is strictly Cohen-Macaulay in codimension $t$ if and only if it is the join of a lexsegment pure disconnected flag complex with a $(t-2)$-dimensional simplex. When the Stanley-Reisner ideal of a pure lexsegment complex is not quadratic, the complex is Cohen-Macaulay if and only if it is Cohen-Macaulay in some codimension. Our results are based on a characterization of Cohen-Macaulay and Buchsbaum lexsegment complexes by Bonanzinga, Sorrenti and Terai.

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 $G$ be a finite simple graph on a vertex set $V(G)=\{x_{11}, \ldots, x_{n1}\}$. Also let $m_1, \ldots,m_n \geq 2$ be integers and $G_1, \ldots, G_n$ be connected simple graphs on the vertex sets $V(G_i)=\{x_{i1}, \ldots, x_{im_i}\}$. In this paper, we provide necessary and sufficient conditions on $G_1, \ldots, G_n$ for which the graph obtained by attaching $G_i$ to $G$ is unmixed or vertex decomposable. Then we characterize Cohen--Macaulay and sequentially Cohen--Macaulay graphs obtained by attaching the cycle graphs or connected chordal graphs to an arbitrary graphs.

Let $S = \mathbb{K}[x_1, \dots, x_n]$ be the polynomial ring over a field $\mathbb{K}$. In this paper we present a criterion for componentwise linearity of powers of monomial ideals. In particular, we prove that if a square-free monomial ideal $I$ contains no variable and some power of $I$ is componentwise linear, then $I$ satisfies gcd condition. For a square-free monomial ideal $I$ which contains no variable, we show that $S/I$ is a Golod ring provided that for some integer $s\geq 1$, the ideal $I^s$ has linear quotient with respect to a monomial order. We also provide a lower bound for some Betti numbers of powers of a square-free monomial ideal which is generated in a single degree.

Let $G$ be an unmixed bipartite graph of dimension $d-1$. Assume that $K_{n,n}$, with $n\ge 2$, is a maximal complete bipartite subgraph of $G$ of minimum dimension. Then $G$ is Cohen-Macaulay in codimension $d-n+1$. This generalizes a characterization of Cohen-Macaulay bipartite graphs by Herzog and Hibi and a result of Cook and Nagel on unmixed Buchsbaum graphs. Furthermore, we show that any unmixed bipartite graph $G$ which is Cohen-Macaulay in codimension $t$, is obtained from a Cohen-Macaulay graph by replacing certain edges of $G$ with complete bipartite graphs. We provide some examples.

In this note we show that every discrete polymatroid is $M$-shellable. This gives, in a partial case, a positive answer to a conjecture of Chari and improves a recent result of Schweig where he proved that the $h$-vector of a lattice path matroid satisfies a conjecture of Stanley.

A graph $G$ is well-covered if it has no isolated vertices and all the maximal independent sets have the same cardinality. If furthermore two times this cardinality is equal to $|V(G)|$, the graph $G$ is called very well-covered. The class of very well-covered graphs contains bipartite well-covered graphs. Recently in \cite{CRT} it is shown that a very well-covered graph $G$ is Cohen-Macaulay if and only if it is pure shellable. In this article we improve this result by showing that $G$ is Cohen-Macaulay if and only if it is pure vertex decomposable. In addition, if $I(G)$ denotes the edge ideal of $G$, we show that the Castelnuovo-Mumford regularity of $R/I(G)$ is equal to the maximum number of pairwise 3-disjoint edges of $G$. This improves Kummini's result on unmixed bipartite graphs.

We introduce sequentially $S_r$ modules over a commutative graded ring and sequentially $S_r$ simplicial complexes. This generalizes two properties for modules and simplicial complexes: being sequentially Cohen-Macaulay, and satisfying Serre's condition $S_r$. In analogy with the sequentially Cohen-Macaulay property, we show that a simplicial complex is sequentially $S_r$ if and only if its pure $i$-skeleton is $S_r$ for all $i$. For $r=2$, we provide a more relaxed characterization. As an algebraic criterion, we prove that a simplicial complex is sequentially $S_r$ if and only if the minimal free resolution of the ideal of its Alexander dual is componentwise linear in the first $r$ steps. We apply these results for a graph, i.e., for the simplicial complex of the independent sets of vertices of a graph. We characterize sequentially $S_r$ cycles showing that the only sequentially $S_2$ cycles are odd cycles and, for $r\ge 3$, no cycle is sequentially $S_r$ with the exception of cycles of length 3 and 5. We extend certain known results on sequentially Cohen-Macaulay graphs to the case of sequentially $S_r$ graphs. We prove that a bipartite graph is vertex decomposable if and only if it is sequentially $S_2$. We provide some more results on certain graphs which in particular implies that any graph with no chordless even cycle is sequentially $S_2$. Finally, we propose some questions.

Let $R$ be a commutative ring with $\Z(R)$ its set of zero-divisors. In this paper, we study the total graph of $R$, denoted by $\T(Γ(R))$. It is the (undirected) graph with all elements of $R$ as vertices, and for distinct $x, y\in R$, the vertices $x$ and $y$ are adjacent if and only if $x + y\in\Z(R)$. We investigate properties of the total graph of $R$ and determine all isomorphism classes of finite commutative rings whose total graph has genus at most one (i.e., a planar or toroidal graph). In addition, it is shown that, given a positive integer $g$, there are only finitely many finite rings whose total graph has genus $g$.

In this paper we show that if the Stanley-Reisner ring of the simplicial complex of independent sets of a bipartite graph $G$ satisfies Serre's condition $S_2$, then $G$ is Cohen-Macaulay. As a consequence, the characterization of Cohen-Macaulay bipartite graphs due to Herzog and Hibi carries over this family of bipartite graphs. We check that the equivalence of Cohen-Macaulay property and the condition $S_2$ is also true for chordal graphs and we classify cyclic graphs with respect to the condition $S_2$.

For a positive integer $k$ and a non-negative integer $t$ a class of simplicial complexes, to be denoted by $k$-${\rm CM}_t$, is introduced. This class generalizes two notions for simplicial complexes: being $k$-Cohen-Macaulay and $k$-Buchsbaum. In analogy with the Cohen-Macaulay and Buchsbaum complexes, we give some characterizations of ${\rm CM}_t(=$1-${\rm CM}_t)$ complexes, in terms of vanishing of some homologies of its links and, in terms of vanishing of some relative singular homologies of the geometric realization of the complex and its punctured space. We show that a complex is $k$-${\rm CM}_t$ if and only if the links of its nonempty faces are $k$-${\rm CM}_{t-1}$. We prove that for an integer $s\le d$, the $(d-s-1)$-skeleton of a $(d-1)$-dimensional $k$-${\rm CM}_t$ complex is $(k+s)$-${\rm CM}_t$. This result generalizes Hibi's result for Cohen-Macaulay complexes and Miyazaki's result for Buchsbaum complexes.

Associated to a simple undirected graph $G$ is a simplicial complex $Δ_G$ whose faces correspond to the independent sets of $G$. A graph $G$ is called vertex decomposable if $Δ_G$ is a vertex decomposable simplicial complex. We are interested in determining what families of graph have the property that the complement of $G$, denoted by $\overline{G}$, is vertex decomposable. We obtain the result that the complement of a connected bipartite graph is vertex decomposable and so it is Cohen-Macaulay due to pureness of $Δ_{\overline{G}}$.

Let $R$ be a commutative ring with identity. Let $Γ(R)$ be a graph with vertices as elements of $R$, where two distinct vertices $a$ and $b$ are adjacent if and only if $Ra+Rb=R$. In this paper we consider a subgraph $Γ_2(R)$ of $Γ(R)$ which consists of non-unit elements. We look at the connectedness and the diameter of this graph. We completely characterize the diameter of the graph $Γ_2(R)\setminus\J(R)$. In addition, it is shown that for two finite semi-local rings $R$ and $S$, if $R$ is reduced, then $Γ(R)\congΓ(S)$ if and only if $R\cong S$.

Let $R$ be a commutative ring with identity and let $I$ be an ideal of $R$. Let $R\Join I$ be the subring of $R\times R$ consisting of the elements $(r,r+i)$ for $r\in R$ and $i\in I$. We study the diameter and girth of the zero-divisor graph of the ring $R\Join I$.