# Cohen Macaulayness and Arithmetical Rank of Generalized Theta Graphs

^{*}

*Keywords:*arithmetical rank; Cohen-Macaulay; height

Next Article in Journal

Next Article in Special Issue

Next Article in Special Issue

Previous Article in Journal

Previous Article in Special Issue

Previous Article in Special Issue

Faculty of Mathematics and Computer Science, Amirkabir University of Technology, 424 Hafez Ave., P.O. Box 15875-4413, Tehran 1591634311, Iran

Author to whom correspondence should be addressed.

Academic Editor: Hvedri Inassaridze

Received: 5 March 2016 / Revised: 5 June 2016 / Accepted: 6 June 2016 / Published: 29 June 2016

(This article belongs to the Special Issue Homological and Homotopical Algebra and Category Theory)

In this paper, we study some algebraic invariants of the edge ideal of generalized theta graphs, such as arithmetical rank, big height and height. We give an upper bound for the difference between the arithmetical rank and big height. Moreover, all Cohen-Macaulay (and unmixed) graphs of this type will be characterized.

For an ideal I of a commutative ring R with identity , the arithmetical rank (ara I) of the ideal I is defined as the minimum number s of elements ${a}_{1},\dots ,{a}_{s}$ of R such that $\sqrt{I}=\sqrt{({a}_{1},\dots ,{a}_{s})}$. For a squarefree monomial ideal I, it is known that $p{d}_{R}(R/I)\le ara(I)$ and $bight(I)\le p{d}_{R}(R/I)$ (see, for example, [1,2]). Thus,
where $\mu (I)$ is the minimum number of generators of I. $R/I$ is Cohen–Macaulay if and only if $ht(I)=p{d}_{R}(R/I)$. An ideal I is called a set-theoretic complete intersection whenever $ht(I)=ara(I)$. If I is not unmixed, then I is not a set-theoretic complete intersection. However, it is possible to have $bight(I)=p{d}_{R}(R/I)=ara(I)$. The question then arises, “For which ideal does the previous equality hold?”

$$ht(I)\le bight(I)\le p{d}_{R}(R/I)\le ara(I)\le \mu (I)$$

Given a polynomial ring $R=K[{x}_{1},\dots ,{x}_{n}]$ over a field K and a simple graph G with the vertex set ${V}_{G}=\{{x}_{1},\dots ,{x}_{n}\}$ and the edge set ${E}_{G}$, the edge ideal of G, denoted by $I(G)$, is the ideal of R generated by ${x}_{i}{x}_{j}$ such that $\{{x}_{i},{x}_{j}\}\in {E}_{G}$. The graph G is called Cohen–Macaulay over the field K if the ring $R/I(G)$ is Cohen–Macaulay.

It is still an open problem to find an explicit formula for the arithmetical rank of the edge ideal of a graph. For the edge ideal of a forest, it is shown that $bight(I(G))=araI(G)=pd(R/I(G))$ by Barile [3] and Kimura and Terai [4]. In [5], Barile et al. proved that $araI(G)=pd(R/I(G))$ when G is a cyclic or bicyclic graph. In [6], Mohammadi and Kiani investigated the graphs consisting of some cycles and lines that have a common vertex. It is shown that the projective dimension equals the arithmetical rank for all such graphs. A graph G is called an n-cyclic graph with a common edge if G is a graph consisting of n cycles ${C}_{3{r}_{1}+1},\dots ,{C}_{3{r}_{{k}_{1}}+1},{C}_{3{t}_{1}+2},\dots ,{C}_{3{t}_{{k}_{2}}+2},{C}_{3{s}_{1}},\dots ,{C}_{3{s}_{{k}_{3}}}$ connected through a common edge, where ${k}_{1}+{k}_{2}+{k}_{3}=n$. Zhu, Shi and Gu proved that $pd(R/I(G))=bightI(G)=ara(I(G))$ for some special n-cyclic graphs with a common edge [7]. For the class of generalized theta graphs, $G={\theta}_{{n}_{1},\dots ,{n}_{k}}$, the authors in [8] showed that $pd(R/I(G))=bightI(G)$ except in the following two cases:

- ${n}_{i}\equiv 0\phantom{\rule{4.44443pt}{0ex}}(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}3)$ for any $1\le i\le k$;
- there exists exactly one ${n}_{j}$ such that ${n}_{j}\equiv 1\phantom{\rule{4.44443pt}{0ex}}(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}3)$, and for any $1\le i\ne j\le k$, we have ${n}_{i}\equiv 2\phantom{\rule{4.44443pt}{0ex}}(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}3)$.

For these cases, they show that $pd(R/I(G))=bightI(G)+1$.

Since $bightI(G)\le ara(I(G))$, it can be interesting to compare these invariants for the generalized theta graphs. In the sequel, we compute the height of the edge ideal of generalized theta graphs based on the number of vertices being even or odd in any path. Moreover, we show that $G={\theta}_{{n}_{1},\dots ,{n}_{k}}$ is Cohen–Macaulay (and unmixed) if and only if $G={\theta}_{2,3,4}$.

Let $k\ge 3$ be a positive integer and ${n}_{1},\dots ,{n}_{k}$ be a sequence of positive integers. Let ${\theta}_{{n}_{1},\dots ,{n}_{k}}$ be the graph constructed by k paths with ${n}_{1},\dots ,{n}_{k}$ vertices with only the endpoints in common. Since the graphs are assumed to be simple, at most one of ${n}_{1},\dots ,{n}_{k}$ can be equal to two. Throughout this paper, we assume that x and y are the common vertices. We define the projective dimension of G to be the projective dimension of the R-module $R/I(G)$ and we will write $pd(G)=pd(R/I(G))$. The edge ideal of a cycle of length n with the vertex set $\{{x}_{1},\dots ,{x}_{n}\}$ is $I({C}_{n})=({x}_{1}{x}_{2},{x}_{2}{x}_{3},\dots ,{x}_{n-1}{x}_{n},{x}_{n}{x}_{1})$. The edge ideal of a line (path) with the vertex set $\{{x}_{1},\dots ,{x}_{n}\}$ is $I({L}_{n})=({x}_{1}{x}_{2},{x}_{2}{x}_{3},\dots ,{x}_{n-1}{x}_{n})$. In the following, we consider the labeling below:

$$I({L}_{3{s}_{i}})=({x}_{1,i}{x}_{2,i},{x}_{2,i}{x}_{3,i},\dots ,{x}_{3{s}_{i}-1,i}{x}_{3{s}_{i},i});\phantom{\rule{4pt}{0ex}}for\phantom{\rule{4pt}{0ex}}i=1,\dots ,{k}_{3}$$

$$I({L}_{3{r}_{j}+1})=({y}_{1,j}{y}_{2,j},{y}_{2,j}{y}_{3,j},\dots ,{y}_{3{r}_{j},j}{y}_{3{r}_{j}+1,j});\phantom{\rule{4pt}{0ex}}for\phantom{\rule{4pt}{0ex}}j=1,\dots ,{k}_{1}$$

$$I({L}_{3{t}_{l}+2})=({z}_{1,l}{z}_{2,l},{z}_{2,l}{z}_{3,l},\dots ,{z}_{3{t}_{l}+1,l}{z}_{3{t}_{l}+2,l});\phantom{\rule{4pt}{0ex}}for\phantom{\rule{4pt}{0ex}}l=1,\dots ,{k}_{2}$$

Suppose that $min\{{n}_{1},\dots ,{n}_{k}\}={n}_{t}$. One can consider the graph ${\theta}_{{n}_{1},\dots ,{n}_{k}}$ as a $(k-1)$-cyclic graph with common path ${L}_{{n}_{t}}$ consisting of $k-1$ cycles of lengths ${n}_{i}+{n}_{t}-2$ for any $1\le i\ne t\le k$. This generalizes the concept of n-cyclic graphs with a common edge.

For instance, let $G={\theta}_{{n}_{1},\dots ,{n}_{{k}_{1}+{k}_{3}}}$ be the graph consisting of lines ${L}_{3{r}_{1}+1},\dots ,{L}_{3{r}_{{k}_{1}}+1},{L}_{3{s}_{1}},\dots ,{L}_{3{s}_{{k}_{3}}}$ such that ${k}_{1},{k}_{3}>0$. Without loss of generality, suppose that $min\{{n}_{1},\dots ,{n}_{{k}_{1}+{k}_{3}}\}=3{s}_{1}$. One can consider G as a $({k}_{1}+{k}_{3}-1)$-cyclic graph with common path ${L}_{3{s}_{1}}$ that the cycles are of lengths $3{s}_{1}+3{r}_{j}+1-2=3({s}_{1}+{r}_{j}-1)+2$ or $3{s}_{1}+3{s}_{i}-2=3({s}_{1}+{s}_{i}-1)+1$ for $1\le j\le {k}_{1}$ and $2\le i\le {k}_{3}$. Consider the following labeling for $I({C}_{3({s}_{1}+{r}_{j}-1)+2})$:

$$\begin{array}{cc}\hfill I({C}_{3({s}_{1}+{r}_{j}-1)+2})=({x}_{1,1}{x}_{2,1},\dots ,& {x}_{3{s}_{1}-1,1}{x}_{3{s}_{1},1},{x}_{3{s}_{1},1}{y}_{3{s}_{1}+1,j},{y}_{3{s}_{1}+1,j}{y}_{3{s}_{1}+2,j},\dots ,\hfill \\ & {y}_{3({s}_{1}+{r}_{j}-1)+1,j}{y}_{3({s}_{1}+{r}_{j}-1)+2,j},{y}_{3({s}_{1}+{r}_{j}-1)+2,j}{x}_{1,1})\hfill \end{array}$$

In this section, we obtain an upper bound for the arithmetical rank of the edge ideal of generalized theta graphs. Using the big height of the edge ideal of these graphs computed in [8], we estimate an upper bound for $araI({\theta}_{{n}_{1},\dots ,{n}_{k}})-bightI({\theta}_{{n}_{1},\dots ,{n}_{k}})$. For this purpose, we consider seven cases that are treated separately in the following theorems.

Let $G={\theta}_{{n}_{1},\dots ,{n}_{{k}_{3}}}$ be the graph consisting of lines ${L}_{3{s}_{1}},\dots ,{L}_{3{s}_{{k}_{3}}}$, i.e., ${n}_{i}=3{s}_{i}$ for $1\le i\le {k}_{3}$. Then,

$$0\le araI(G)-bightI(G)\le {k}_{3}-1$$

By definition, one can consider G as a $({k}_{3}-1)$-cyclic graph with common path of length $min\{{n}_{1},\dots ,{n}_{{k}_{3}}\}$. Without loss of generality, we may assume $min\{{n}_{1},\dots ,{n}_{{k}_{3}}\}=3{s}_{1}$. Since $3{s}_{1}+3{s}_{i}-2=3({s}_{1}+{s}_{i}-1)+1$ for any $i\ne 1$, by ([5], Proposition 2.3), we can construct ${Q}_{2},\dots ,{Q}_{{k}_{3}}$ as follows: for any $2\le i\le {k}_{3}$, set ${Q}_{i}=({q}_{0},{q}_{1,i},{q}_{2},\dots ,{q}_{2({s}_{1}+{s}_{i}-1)+1,i})$ where

$$\begin{array}{cc}& {q}_{0}={x}_{1,1}{x}_{2,1}\hfill \\ & {q}_{1,i}={x}_{1,1}{x}_{3({s}_{1}+{s}_{i}-1)+1,i}+{x}_{2,1}{x}_{3,1}\hfill \\ & {q}_{2}={x}_{4,1}{x}_{5,1}\hfill \\ & {q}_{3}={x}_{3,1}{x}_{4,1}+{x}_{5,1}{x}_{6,1}\hfill \\ & \vdots \hfill \\ & {q}_{2({s}_{1}-1)}={x}_{3{s}_{1}-2,1}{x}_{3{s}_{1}-1,1}\hfill \\ & {q}_{2{s}_{1}-1}={x}_{3{s}_{1}-3,1}{x}_{3{s}_{1}-2,1}+{x}_{3{s}_{1}-1,1}{x}_{3{s}_{1},1}\hfill \\ & {q}_{2{s}_{1},i}={x}_{3{s}_{1}+1,i}{x}_{3{s}_{1}+3,i}\hfill \\ & \vdots \hfill \\ & {q}_{2({s}_{1}+{s}_{i}-1),i}={x}_{3({s}_{1}+{s}_{i}-1),i}{x}_{3({s}_{1}+{s}_{i}-1)+1,i}\hfill \end{array}$$

Observe that the sequences ${Q}_{2},\dots ,{Q}_{{k}_{3}}$ have $2{s}_{1}-1$ common elements, namely ${q}_{0},{q}_{2},\dots ,{q}_{2{s}_{1}-1}$. On the other hand, by ([9] p. 249), we have $\sqrt{{Q}_{i}}=I({C}_{3({s}_{1}+{s}_{i}-1)+1})$. Therefore, we deduce

$$araI(G)\le (2{s}_{1}-1)+\sum _{i=2}^{{k}_{3}}((2{s}_{1}+2{s}_{i}-2-2{s}_{1}+1)+1)=2\sum _{i=1}^{{k}_{3}}{s}_{i}-1$$

Similar to the proof of Theorem 2.11 of [8], we obtain that $bightI(G)=2{\sum}_{i=1}^{{k}_{3}}{s}_{i}-{k}_{3}$, it follows that
as desired. □

$$0\le araI(G)-bightI(G)\le {k}_{3}-1$$

Let $G={\theta}_{{n}_{1},\dots ,{n}_{{k}_{1}}}$ be the graph consisting of lines ${L}_{3{r}_{1}+1},\dots ,{L}_{3{r}_{{k}_{1}}+1}$, i.e., ${n}_{i}=3{r}_{i}+1$ for $1\le i\le {k}_{1}$. Then,

$$pd(G)=bightI(G)=araI(G)=2\sum _{i=1}^{{k}_{1}}{r}_{i}$$

For $1\le i\le {k}_{1}$, a similar argument as in ([3], p. 4701), Put ${Q}_{i}$ is generated up to radical by
we have $I(G)=\sqrt{{Q}_{1}+\dots +{Q}_{{k}_{1}}}$ by ([9], p. 249). Then, $araI(G)\le 2{\sum}_{i=1}^{{k}_{1}}{r}_{i}$. Similar to the proof of Theorem 2.6 of [8], we obtain that $2{\sum}_{i=1}^{{k}_{1}}{r}_{i}$, it follows that

$$\begin{array}{cc}& {y}_{2,i}{y}_{3,i}\hfill \\ & {y}_{1,i}{y}_{2,i}+{y}_{3,i}{y}_{4,i}\hfill \\ & \vdots \hfill \\ & {y}_{3j-1,i}{y}_{3j,i}\hfill \\ & {y}_{3j-2,i}{y}_{3j-1,i}+{y}_{3j,i}{y}_{3j+1,i}\hfill \\ & \vdots \hfill \\ & {y}_{3{r}_{i}-2,i}{y}_{3{r}_{i}-1,i}+{y}_{3{r}_{i},i}{y}_{3{r}_{i}+1,i}\hfill \end{array}$$

$$pd(G)=bightI(G)=araI(G)=2\sum _{i=1}^{{k}_{1}}{r}_{i}$$

□

Let $G={\theta}_{{n}_{1},\dots ,{n}_{{k}_{2}}}$ be the graph consisting of lines ${L}_{3{t}_{1}+2},\dots ,{L}_{3{t}_{{k}_{2}}+2}$, i.e., ${n}_{i}=3{t}_{i}+2$ for $1\le i\le {k}_{2}$. Then,

$$0\le araI(G)-bightI(G)\le {k}_{2}-2$$

We can assume, without loss of generality, that $min\{{n}_{1},\dots ,{n}_{{k}_{2}}\}={n}_{1}$. By definition, one may consider G as a $({k}_{2}-1)$-cyclic graph with common path ${L}_{{n}_{1}}$ that any cycle contains only $3({t}_{1}+{t}_{i})+2$ vertices. Applying Proposition 2.4 of [5], we construct ${Q}_{i}=({q}_{0},{q}_{1},\dots ,{q}_{2({t}_{1}-1)+1},{q}_{2{t}_{1},i},{q}_{2{t}_{1}+1,i},\dots ,{q}_{2({t}_{1}+{t}_{i}),i})$ for any $2\le i\le {k}_{2}$ as follows:

$$\begin{array}{cc}& {q}_{0}={z}_{1,1}{z}_{2,1}\hfill \\ & {q}_{1}={z}_{2,1}{z}_{3,1}+{z}_{4,1}{z}_{5,1}\hfill \\ & \vdots \hfill \\ & {q}_{2l}={z}_{3l,1}{z}_{3l+1,1}+{z}_{3l+2,1}{z}_{3l+3,1}\hfill \\ & {q}_{2l+1}={z}_{3l+2,1}{z}_{3l+3,1}+{z}_{3l+4,1}{z}_{3l+5,1}\hfill \\ & \vdots \hfill \\ & {q}_{2({t}_{1}-1)+1}={z}_{3{t}_{1}-1,1}{z}_{3{t}_{1},1}+{z}_{3{t}_{1}+1,1}{z}_{3{t}_{1}+2,1}\hfill \\ & {q}_{2{t}_{1},i}={z}_{3{t}_{1},1}{z}_{3{t}_{1}+1,1}+{z}_{3{t}_{1}+2,1}{z}_{3{t}_{1}+3,i}\hfill \\ & \vdots \hfill \\ & {q}_{2({t}_{1}+h),i}={z}_{3({t}_{1}+h),i}{z}_{3({t}_{1}+h)+1,i}+{z}_{3({t}_{1}+h)+2,i}{z}_{3({t}_{1}+h)+3,i}\hfill \\ & {q}_{2({t}_{1}+h)+1,i}={z}_{3({t}_{1}+h)+2,i}{z}_{3({t}_{1}+h)+3,i}+{z}_{3({t}_{1}+h)+4,i}{z}_{3({t}_{1}+h)+5,i}\hfill \\ & \vdots \hfill \\ & {q}_{2({t}_{1}+{t}_{i}),i}={z}_{1,1}{z}_{3({t}_{1}+{t}_{i})+2,i}+{z}_{3({t}_{1}+{t}_{i}),i}{z}_{3({t}_{1}+h)+1,i}\hfill \end{array}$$

We have $I(G)={\sum}_{i=2}^{{k}_{2}}I({C}_{3({t}_{1}+{t}_{i})+2})$, and it follows from ([9], p. 249) that $I(G)=\sqrt{\sqrt{({Q}_{2})}+\dots +\sqrt{({Q}_{{k}_{2}})}}$. It is easily seen that the sequences ${Q}_{2},\dots ,{Q}_{{k}_{2}}$ have the terms ${q}_{0},{q}_{1},\dots ,{q}_{2({t}_{1}-1)+1}$ in common. Hence,

$$araI(G)\le 2\sum _{i=1}^{{k}_{3}}{t}_{i}+{k}_{2}-1$$

Similar to the proof of Theorem 2.7 of [8], we obtain that $bightI(G)=2{\sum}_{i=1}^{{k}_{2}}{t}_{i}+1$, and it follows that
as required. □

$$0\le araI(G)-bightI(G)\le 2\sum _{i=1}^{{k}_{2}}{t}_{i}+{k}_{2}-1-(2\sum _{i=1}^{{k}_{2}}{t}_{i}+1)={k}_{2}-2$$

Let $G={\theta}_{{n}_{1},\dots ,{n}_{{k}_{1}+{k}_{3}}}$ be the graph consisting of lines ${L}_{3{r}_{1}+1},\dots ,{L}_{3{r}_{{k}_{1}}+1},{L}_{3{s}_{1}},\dots ,{L}_{3{s}_{{k}_{3}}}$, i.e., ${n}_{i}=3{r}_{i}+1$ for $1\le i\le {k}_{1}$ and ${n}_{i}=3{s}_{i}$ for ${k}_{1}+1\le i\le {k}_{1}+{k}_{3}$ such that ${k}_{1},{k}_{3}>0$. Then,

- 1.
- If there exists $1\le i\le {k}_{1}$ such that $min\{{n}_{1},\dots ,{n}_{{k}_{1}+{k}_{3}}\}=3{r}_{i}+1$, then $0\le araI(G)-bightI(G)\le min\{{k}_{3},{r}_{i}+{k}_{1}+{k}_{3}-3\}$;
- 2.
- If there exists $1\le j\le {k}_{3}$ such that $min\{{n}_{1},\dots ,{n}_{{k}_{1}+{k}_{3}}\}=3{s}_{j}$, then $0\le araI(G)-bightI(G)\le min\{{k}_{3},{s}_{j}+{k}_{3}-2\}$.

We have $araI({L}_{3{r}_{i}+1})=2{r}_{i}$ and $araI({L}_{3{s}_{j}})=2{s}_{j}$ by ([3], p. 4701). It follows that

$$araI(G)\le 2\sum _{i=1}^{{k}_{1}}{r}_{i}+2\sum _{j=1}^{{k}_{3}}{s}_{j}$$

- Without loss of generality, assume that $min\{{n}_{1},\dots ,{n}_{{k}_{1}+{k}_{3}}\}=3{r}_{1}+1$. One can consider G as a $({k}_{1}+{k}_{3}-1)$-cyclic graph with common path ${L}_{3{r}_{1}+1}$ that the cycles are of lengths $3{r}_{1}+1+3{r}_{i}+1-2=3({r}_{1}+{r}_{i})$ or $3{r}_{1}+1+3{s}_{j}-2=3({r}_{1}+{s}_{j}-1)+2$ for $2\le i\le {k}_{1}$ and $1\le j\le {k}_{3}$. Now, suppose that$$\begin{array}{cc}& {q}_{0}={y}_{1,1}{y}_{2,1}\hfill \\ & {q}_{1,i}={y}_{1,1}{y}_{3({r}_{1}+{r}_{i}),i}+{y}_{2,1}{y}_{3,1}\hfill \\ & \vdots \hfill \\ & {q}_{2({r}_{1}-1)+1}={y}_{3({r}_{1}-1),1}{y}_{3({r}_{1}-1)+1,1}+{y}_{3({r}_{1}-1)+2,1}{y}_{3({r}_{1}-1)+3,1}\hfill \\ & {q}_{2{r}_{1},i}={y}_{3{r}_{1}+1,1}{y}_{3{r}_{1}+2,i}\hfill \\ & \vdots \hfill \\ & {q}_{2h,i}={y}_{3h+1,i}{y}_{3h+2,i}\hfill \\ & {q}_{2h+1,i}={y}_{3h,i}{y}_{3h+1,i}+{y}_{3h+2,i}{y}_{3h+3,i}\hfill \\ & \vdots \hfill \\ & {q}_{2({r}_{1}+{r}_{i}-1)+1,i}={y}_{3({r}_{1}+{r}_{i}-1),i}{y}_{3({r}_{1}+{r}_{i}-1)+1,i}+{y}_{3({r}_{1}+{r}_{i}-1)+2,i}{y}_{3({r}_{1}+{r}_{i}-1)+3,i}\hfill \end{array}$$$$\begin{array}{cc}& {q}_{0}^{\prime}={y}_{1,1}{y}_{2,1}\hfill \\ & {q}_{1}^{\prime}={y}_{2,1}{y}_{3,1}+{y}_{4,1}{y}_{5,1}\hfill \\ & \vdots \hfill \\ & {q}_{2l}^{\prime}={y}_{3l,1}{y}_{3l+1,1}+{y}_{3l+2,1}{y}_{3l+3,1}\hfill \\ & {q}_{2l+1}^{\prime}={y}_{3l+2,1}{y}_{3l+3,1}+{y}_{3l+4,1}{y}_{3l+5,1}\hfill \\ & \vdots \hfill \\ & {q}_{2({r}_{1}-1)}^{\prime}={y}_{3{r}_{1}-3,1}{y}_{3{r}_{1}-2,1}+{y}_{3{r}_{1}-1,1}{y}_{3{r}_{1},1}\hfill \\ & {q}_{2{r}_{1}-1,j}^{\prime}={y}_{3{r}_{1}-1,1}{y}_{3{r}_{1},1}+{y}_{3{r}_{1}+1,1}{x}_{3{r}_{1}+2,j}\hfill \\ & \vdots \hfill \\ & {q}_{2h,j}^{\prime}={x}_{3h,j}{x}_{3h+1,j}+{x}_{3h+2,j}{x}_{3h+3,j}\hfill \\ & {q}_{2h+1,j}^{\prime}={x}_{3h+2,j}{x}_{3h+3,j}+{x}_{3h+4,j}{x}_{3h+5,j}\hfill \\ & \vdots \hfill \\ & {q}_{2({r}_{1}+{s}_{j}-1),i}^{\prime}={y}_{1,1}{x}_{3({r}_{1}+{s}_{j}-1)+2,j}+{x}_{3({r}_{1}+{s}_{j}-1),j}{x}_{3({r}_{1}+{s}_{j}-1)+1,j}\hfill \end{array}$$$$araI(G)\le 2\sum _{i=1}^{{k}_{1}}{r}_{i}+2\sum _{j=1}^{{k}_{3}}{s}_{j}+{r}_{1}+{k}_{1}-3$$$$0\le araI(G)-bightI(G)\le min\{{k}_{3},{r}_{1}+{k}_{1}+{k}_{3}-3\}$$
- We may assume, without loss of generality, that $min\{{n}_{1},\dots ,{n}_{{k}_{1}+{k}_{3}}\}=3{s}_{1}$. One can consider G as a $({k}_{1}+{k}_{3}-1)$-cyclic graph with common path ${L}_{3{s}_{1}}$ that the cycles are of lengths $3{s}_{1}+3{s}_{i}-2=3({s}_{1}+{s}_{i}-1)+1$ for any $2\le i\le {k}_{3}$ or $3{s}_{1}+3{r}_{j}+1-2=3({s}_{1}+{r}_{j}-1)+2$ for any $1\le j\le {k}_{1}$. Applying Proposition 2.3 of [5], we construct the following sequences:$$\begin{array}{cc}& {q}_{0}={x}_{1,1}{x}_{2,1}\hfill \\ & {q}_{1,i}={x}_{1,1}{x}_{3({s}_{1}+{s}_{i}-1)+1,i}+{x}_{2,1}{x}_{3,1}\hfill \\ & \vdots \hfill \\ & {q}_{2({s}_{1}-1)}={x}_{3{s}_{1}-2,1}{x}_{3{s}_{1}-1,1}\hfill \\ & {q}_{2{s}_{1}-1}={x}_{3{s}_{1}-3,1}{x}_{3{s}_{1}-2,1}+{x}_{3{s}_{1}-1,1}{x}_{3{s}_{1},1}\hfill \\ & {q}_{2{s}_{1},i}={x}_{3{s}_{1}+1,i}{x}_{3{s}_{1}+2,i}\hfill \\ & \vdots \hfill \\ & {q}_{2h,i}={x}_{3h+1,i}{x}_{3h+2,i}\hfill \\ & {q}_{2h+1,i}={x}_{3h,i}{x}_{3h+1,i}+{x}_{3h+2,i}{x}_{3h+3,i}\hfill \\ & \vdots \hfill \\ & {q}_{2({s}_{1}+{s}_{i}-1),i}={x}_{3({s}_{1}+{s}_{i}-1),i}{x}_{3({s}_{1}+{s}_{i}-1)+1,i}\hfill \end{array}$$$$\begin{array}{cc}& {q}_{0}^{\prime}={x}_{1,1}{x}_{2,1}\hfill \\ & {q}_{1}^{\prime}={x}_{2,1}{x}_{3,1}+{x}_{4,1}{x}_{5,1}\hfill \\ & \vdots \hfill \\ & {q}_{2l}^{\prime}={x}_{3l,1}{x}_{3l+1,1}+{x}_{3l+2,1}{x}_{3l+3,1}\hfill \\ & {q}_{2l+1}^{\prime}={x}_{3l+2,1}{x}_{3l+3,1}+{x}_{3l+4,1}{x}_{3l+5,1}\hfill \\ & \vdots \hfill \\ & {q}_{2({s}_{1}-1)}^{\prime}={x}_{3{s}_{1}-3,1}{x}_{3{s}_{1}-2,1}+{x}_{3{s}_{1}-1,1}{x}_{3{s}_{1},1}\hfill \\ & {q}_{2{s}_{1}-1,j}^{\prime}={x}_{3{s}_{1}-1,1}{x}_{3{s}_{1},1}+{y}_{3{s}_{1}+1,j}{y}_{3{s}_{1}+2,j}\hfill \\ & \vdots \hfill \\ & {q}_{2h,j}^{\prime}={y}_{3h,j}{y}_{3h+1,j}+{y}_{3h+2,j}{y}_{3h+3,j}\hfill \\ & {q}_{2h+1,j}^{\prime}={y}_{3h+2,j}{y}_{3h+3,j}+{y}_{3h+4,j}{y}_{3h+5,j}\hfill \\ & \vdots \hfill \\ & {q}_{2({s}_{1}+{r}_{j}-1),j}^{\prime}={x}_{1,1}{y}_{3({s}_{1}+{r}_{j}-1)+2,j}+{y}_{3({s}_{1}+{r}_{j}-1),j}{y}_{3({s}_{1}+{r}_{j}-1)+1,j}\hfill \end{array}$$$$araI(G)\le 2\sum _{i=1}^{{k}_{3}}{s}_{i}+2\sum _{j=1}^{{k}_{1}}{r}_{j}+{s}_{1}-2$$$$0\le araI(G)-bightI(G)\le min\{{k}_{3},{s}_{1}+{k}_{3}-2\}$$

□

Let $G={\theta}_{{n}_{1},\dots ,{n}_{{k}_{2}+{k}_{3}}}$ be the graph consisting of lines ${L}_{3{s}_{1}},\dots ,{L}_{3{s}_{{k}_{3}}},{L}_{3{t}_{1}+2},\dots ,{L}_{3{t}_{{k}_{2}}+2}$, i.e., ${n}_{i}=3{s}_{i}$ for $1\le i\le {k}_{3}$ and ${n}_{i}=3{t}_{i}+2$ for ${k}_{3}+1\le i\le {k}_{3}+{k}_{2}$ such that ${k}_{2},{k}_{3}>0$. Then,

- 1.
- If there exists $1\le i\le {k}_{3}$ such that $min\{{n}_{1},\dots ,{n}_{{k}_{2}+{k}_{3}}\}=3{s}_{i}$, then $0\le araI(G)-bightI(G)\le {k}_{2}+{k}_{3}-2$;
- 2.
- If there exists $1\le j\le {k}_{2}$ such that $min\{{n}_{1},\dots ,{n}_{{k}_{2}+{k}_{3}}\}=3{t}_{j}+2$, then $0\le araI(G)-bightI(G)\le min\{{k}_{2}+{k}_{3}+{t}_{j}-2,{k}_{2}+{k}_{3}-1\}$.

- Without loss of generality, one may assume $min\{{n}_{1},\dots ,{n}_{{k}_{2}+{k}_{3}}\}=3{s}_{1}$. We can consider G as a $({k}_{2}+{k}_{3}-1)$-cyclic graph with common path ${L}_{3{s}_{1}}$ of which the cycles are of lengths $3{s}_{1}+3{s}_{i}-2=3({s}_{1}+{s}_{i}-1)+1$ for any $2\le i\le {k}_{3}$ or $3{s}_{1}+3{t}_{j}+2-2=3({s}_{1}+{t}_{j})$ for any $1\le j\le {k}_{2}$. Applying Proposition 2.2 of [5], we have $I({C}_{3({s}_{1}+{t}_{j})})=\sqrt{({q}_{0}^{\prime},{q}_{1,j}^{\prime},\dots ,{q}_{2({s}_{1}+{t}_{j})-1,j}^{\prime})}$, where$$\begin{array}{cc}& {q}_{0}^{\prime}={x}_{1,1}{x}_{2,1}\hfill \\ & {q}_{1,j}^{\prime}={x}_{1,1}{z}_{3({s}_{1}+{t}_{j}),j}+{x}_{2,1}{x}_{3,1}\hfill \\ & \vdots \hfill \\ & {q}_{2({s}_{1}-1)+1}^{\prime}={x}_{3({s}_{1}-1),1}{x}_{3({s}_{1}-1)+1,1}+{x}_{3({s}_{1}-1)+2,1}{x}_{3({s}_{1}-1)+3,1}\hfill \\ & {q}_{2{s}_{1},j}^{\prime}={z}_{3{s}_{1}+1,j}{z}_{3{s}_{1}+2,j}\hfill \\ & \vdots \hfill \\ & {q}_{2h,j}^{\prime}={z}_{3h+1,j}{z}_{3h+2,j}\hfill \\ & {q}_{2h+1,j}^{\prime}={z}_{3h,j}{z}_{3h+1,j}+{z}_{3h+2,j}{z}_{3h+3,j}\hfill \\ & \vdots \hfill \\ & {q}_{2({s}_{1}+{t}_{j}-1)+1,j}^{\prime}={z}_{3({s}_{1}+{t}_{j}-1),j}{z}_{3({s}_{1}+{t}_{j}-1)+1,j}+{z}_{3({s}_{1}+{t}_{j}-1)+2,j}{z}_{3({s}_{1}+{t}_{j}-1)+3,j}\hfill \end{array}$$$$araI(G)\le 2\sum _{i=1}^{{k}_{3}}{s}_{i}+2\sum _{j=1}^{{k}_{2}}{t}_{j}+{k}_{2}-1$$$$araI(G)\le 2\sum _{i=1}^{{k}_{3}}{s}_{i}+2\sum _{j=1}^{{k}_{2}}{t}_{j}+{k}_{2}$$$$0\le araI(G)-bightI(G)\le {k}_{2}+{k}_{3}-2$$
- Without loss of generality, one may assume $min\{{n}_{1},\dots ,{n}_{{k}_{2}+{k}_{3}}\}=3{t}_{1}+2$. One can consider G as a $({k}_{2}+{k}_{3}-1)$-cyclic graph with common path ${L}_{3{t}_{1}+2}$ which the cycles are of lengths $3({t}_{1}+{t}_{i})+2$ for any $2\le i\le {k}_{2}$ or $3({t}_{1}+{s}_{j})$ for any $1\le j\le {k}_{3}$. Using the proof of Theorem 3, we get $I({C}_{3({t}_{1}+{t}_{i})+2})=\sqrt{({q}_{0},\dots ,{q}_{2({t}_{1}+{t}_{i}),i})}$ for any $2\le i\le {k}_{2}$. Assume that$$\begin{array}{cc}& {q}_{0}^{\prime}={z}_{1,1}{z}_{2,1}\hfill \\ & {q}_{1,j}^{\prime}={z}_{1,1}{x}_{3({t}_{1}+{r}_{j}),j}+{z}_{2,1}{z}_{3,1}\hfill \\ & \vdots \hfill \\ & {q}_{2({t}_{1}-1)+1}^{\prime}={z}_{3({t}_{1}-1),1}{z}_{3({t}_{1}-1)+1,1}+{z}_{3({t}_{1}-1)+2,1}{z}_{3({t}_{1}-1)+3,1}\hfill \\ & {q}_{2{t}_{1},j}^{\prime}={z}_{3{t}_{1}+1,1}{x}_{3{t}_{1}+2,j}\hfill \\ & \vdots \hfill \\ & {q}_{2h,j}^{\prime}={x}_{3h+1,j}{x}_{3h+2,j}\hfill \\ & {q}_{2h+1,j}^{\prime}={x}_{3h,j}{x}_{3h+1,j}+{x}_{3h+2,j}{x}_{3h+3,j}\hfill \\ & \vdots \hfill \\ & {q}_{2({t}_{1}+{s}_{j}-1)+1,j}^{\prime}={x}_{3({t}_{1}+{s}_{j}-1),j}{x}_{3({t}_{1}+{s}_{j}-1)+1,j}+{x}_{3({t}_{1}+{s}_{j}-1)+2,j}{x}_{3({t}_{1}+{s}_{j}-1)+3,j}\hfill \end{array}$$$$araI(G)\le 2\sum _{j=1}^{{k}_{3}}{s}_{j}+2\sum _{i=1}^{{k}_{2}}{t}_{i}+{t}_{1}+{k}_{2}-1$$

□

Let $G={\theta}_{{n}_{1},\dots ,{n}_{{k}_{1}+{k}_{2}}}$ be the graph consisting of lines ${L}_{3{r}_{1}+1},\dots ,{L}_{3{r}_{{k}_{1}+1}},{L}_{3{t}_{1}+2},\dots ,{L}_{3{t}_{{k}_{2}}+2}$, i.e., ${n}_{i}=3{r}_{i}+1$ for $1\le i\le {k}_{1}$ and ${n}_{i}=3{t}_{i}+2$ for ${k}_{1}+1\le i\le {k}_{1}+{k}_{2}$ such that ${k}_{1},{k}_{2}>0$. Then,

- 1.
- If there exists $1\le i\le {k}_{1}$ such that $min\{{n}_{1},\dots ,{n}_{{k}_{1}+{k}_{2}}\}=3{r}_{i}+1$, then $0\le araI(G)-bightI(G)\le min\{2{k}_{2}+{k}_{1}-2,{k}_{2}\}$;
- 2.
- If there exists $1\le j\le {k}_{2}$ such that $min\{{n}_{1},\dots ,{n}_{{k}_{1}+{k}_{2}}\}=3{t}_{j}+2$, then $0\le araI(G)-bightI(G)\le min\{{t}_{j}+{k}_{2}+{k}_{1}-1,{k}_{2}\}$.

- Without loss of generality, suppose that $min\{{n}_{1},\dots ,{n}_{{k}_{1}+{k}_{2}}\}=3{r}_{1}+1$. One can consider G as a $({k}_{1}+{k}_{2}-1)$-cyclic graph with common path ${L}_{3{r}_{1}+1}$ where the cycles are of lengths $3{r}_{1}+1+3{t}_{j}+2-2=3({r}_{1}+{t}_{j})+1$ for any $1\le j\le {k}_{2}$ or $3{r}_{1}+1+3{r}_{i}+1-2=3({r}_{1}+{r}_{i})$ for any $2\le i\le {k}_{1}$. Applying the same argument in the proof of Theorem 5 (1), we get$$araI(G)\le 2\sum _{i=1}^{{k}_{1}}{r}_{i}+2\sum _{j=1}^{{k}_{2}}{t}_{j}+2{k}_{2}+{k}_{1}-2$$
- We may assume, without loss of generality, that $min\{{n}_{1},\dots ,{n}_{{k}_{1}+{k}_{2}}\}=3{t}_{1}+2$. One can consider G as a $({k}_{1}+{k}_{2}-1)$-cyclic graph with common path ${L}_{3{t}_{1}+2}$. Therefore, the cycles are of lengths $3{t}_{1}+2+3{t}_{i}+2-2=3({t}_{1}+{t}_{i})+2$ for any $2\le i\le {k}_{2}$ or $3{t}_{1}+2+3{r}_{j}+1-2=3({t}_{1}+{r}_{j})+1$ for any $1\le j\le {k}_{1}$. The same argument as in the proof of Theorem 4 (2) shows that$$araI(G)\le 2\sum _{i=1}^{{k}_{1}}{r}_{i}+2\sum _{i=1}^{{k}_{2}}{t}_{i}+{t}_{1}+{k}_{2}+{k}_{1}-1$$

□

Let $G={\theta}_{{n}_{1},\dots ,{n}_{{k}_{1}+{k}_{2}+{k}_{3}}}$ consist of lines ${L}_{3{s}_{1}},\dots ,{L}_{3{s}_{{k}_{3}}},{L}_{3{r}_{1}+1},\dots ,{L}_{3{r}_{{k}_{1}}+1},{L}_{3{t}_{1}+2},\dots ,{L}_{3{t}_{{k}_{2}}+2}$, i.e., ${n}_{i}=3{s}_{i}$ for $1\le i\le {k}_{3}$, ${n}_{i}=3{r}_{i}+1$ for ${k}_{3}+1\le i\le {k}_{3}+{k}_{1}$ and ${n}_{i}=3{t}_{i}+2$ for ${k}_{1}+{k}_{3}+1\le i\le {k}_{1}+{k}_{3}+{k}_{2}$ such that ${k}_{1},{k}_{2},{k}_{3}>0$. Then,

- If there exists $1\le i\le {k}_{3}$ such that $min\{{n}_{1},\dots ,{n}_{{k}_{1}+{k}_{2}+{k}_{3}}\}=3{s}_{i}$, then $0\le araI(G)-bightI(G)\le min\{{k}_{2}+{k}_{3}+{s}_{i}-2,{k}_{2}+{k}_{3}\}$;
- If there exists $1\le j\le {k}_{1}$ such that $min\{{n}_{1},\dots ,{n}_{{k}_{1}+{k}_{2}+{k}_{3}}\}=3{r}_{j}+1$, then $0\le araI(G)-bightI(G)\le min\{{k}_{1}+2{k}_{2}+{k}_{3}+{r}_{i}-3,{k}_{2}+{k}_{3}\}$;
- If there exists $1\le l\le {k}_{2}$ such that $min\{{n}_{1},\dots ,{n}_{{k}_{1}+{k}_{2}+{k}_{3}}\}=3{t}_{l}+2$, then $0\le araI(G)-bightI(G)\le min\{{k}_{1}+{k}_{2}+{k}_{3}+{t}_{l}-1,{k}_{2}+{k}_{3}\}$.

- Without loss of generality, suppose that $min\{{n}_{1},\dots ,{n}_{{k}_{1}+{k}_{2}+{k}_{3}}\}=3{s}_{1}$. One can consider that G is a $({k}_{1}+{k}_{2}+{k}_{3}-1)$-cyclic graph with common path ${L}_{3{s}_{1}}$ where the cycles are of lengths $3{s}_{1}+3{s}_{i}-2=3({s}_{1}+{s}_{i}-1)+1$ for any $2\le i\le {k}_{3}$ or $3{s}_{1}+3{r}_{j}+1-2=3({s}_{1}+{r}_{j}-1)+2$ for any $1\le j\le {k}_{1}$ or $3{s}_{1}+3{t}_{l}+2-2=3({s}_{1}+{t}_{l})$ for any $1\le l\le {k}_{2}$. Using the same argument as in the proof of Theorems 1, 4 (2) and 5 (1), we get$$\begin{array}{cc}\hfill araI(G)\le & (2{s}_{1}-1)+2\sum _{l=1}^{{k}_{2}}{t}_{l}+{k}_{2}\hfill \\ & +(2{s}_{1}-1)+2\sum _{i=2}^{{k}_{3}}{s}_{i}+(2{s}_{1}-1)+2\sum _{j=1}^{{k}_{1}}{r}_{j}\hfill \\ & -(1+2{s}_{1}-2)-(1+{s}_{1}-1)\hfill \\ & =2\sum _{l=1}^{{k}_{2}}{t}_{l}+2\sum _{j=1}^{{k}_{1}}{r}_{j}+2\sum _{i=1}^{{k}_{3}}{s}_{i}+{k}_{2}+{s}_{1}-2\hfill \end{array}$$$$0\le araI(G)-bightI(G)\le min\{{k}_{2}+{k}_{3}+{s}_{1}-2,{k}_{2}+{k}_{3}\}$$
- Without loss of generality, assume that $min\{{n}_{1},\dots ,{n}_{{k}_{1}+{k}_{2}+{k}_{3}}\}=3{r}_{1}+1$. One can consider that G is a $({k}_{1}+{k}_{2}+{k}_{3}-1)$-cyclic graph with common path ${L}_{3{r}_{1}+1}$ where the cycles are of lengths $3({r}_{1}+{r}_{j})$ for any $2\le j\le {k}_{1}$, $3({r}_{1}+{t}_{l})+1$ for any $1\le l\le {k}_{2}$ or $3({r}_{1}+{s}_{i}-1)+2$ for any $1\le i\le {k}_{3}$. The same argument as in the proof of Theorems 4 (1) and 6 (1) shows that$$\begin{array}{cc}\hfill araI(G)\le & (2{r}_{1}-1)+2\sum _{l=1}^{{k}_{1}}{r}_{l}+{k}_{1}-1\hfill \\ & +(2{r}_{1}-1)+2\sum _{j=2}^{{k}_{2}}{t}_{j}+2{k}_{2}+(2{r}_{1}-1)+2\sum _{i=1}^{{k}_{3}}{s}_{i}\hfill \\ & -(2{r}_{1}-1)-(1+{r}_{1}-1)\hfill \\ & =2\sum _{l=1}^{{k}_{2}}{t}_{l}+2\sum _{j=1}^{{k}_{1}}{r}_{j}+2\sum _{i=1}^{{k}_{3}}{s}_{i}+2{k}_{2}+{k}_{1}+{r}_{1}-3\hfill \end{array}$$$$0\le araI(G)-bightI(G)\le min\{{k}_{1}+2{k}_{2}+{k}_{3}+{r}_{1}-3,{k}_{2}+{k}_{3}\}$$
- Without loss of generality, assume that $min\{{n}_{1},\dots ,{n}_{{k}_{1}+{k}_{2}+{k}_{3}}\}=3{t}_{1}+2$. One can consider that G is a $({k}_{1}+{k}_{2}+{k}_{3}-1)$-cyclic graph with common path ${L}_{3{t}_{1}+2}$, where the cycles are of lengths $3({t}_{1}+{s}_{i})$ for any $1\le i\le {k}_{3}$, $3({t}_{1}+{r}_{j})+1$ for any $1\le j\le {k}_{1}$ or $3({t}_{1}+{t}_{l})+2$ for any $2\le l\le {k}_{2}$. We can use the same argument as in the proof of Theorems 3, 5 (2) and 6 (2) to obtain$$\begin{array}{cc}\hfill araI(G)\le & 2{t}_{1}+2\sum _{i=1}^{{k}_{3}}{s}_{i}\hfill \\ & +2{t}_{1}+2\sum _{j=1}^{{k}_{1}}{r}_{j}+{k}_{1}+2{t}_{1}+2\sum _{l=2}^{{k}_{2}}{t}_{l}+({k}_{2}-1)\hfill \\ & -2{t}_{1}-(1+{t}_{1}-1)\hfill \\ & =2\sum _{l=1}^{{k}_{2}}{t}_{l}+2\sum _{j=1}^{{k}_{1}}{r}_{j}+2\sum _{i=1}^{{k}_{3}}{s}_{i}+{t}_{1}+{k}_{2}+{k}_{1}-1\hfill \end{array}$$$$0\le araI(G)-bightI(G)\le min\{{k}_{1}+{k}_{2}+{k}_{3}+{t}_{1}-1,{k}_{2}+{k}_{3}\}$$

□

In [2], Mohammadi and Kiani investigated some properties of graphs of the form ${\theta}_{{n}_{1},\dots ,{n}_{k}}$, such as shellability, vertex decomposability and sequential Cohen-Macaulayness. The present section is devoted to study Cohen-Macaulayness and unmixedness of these graphs, especially the height of generalized theta graphs. The most important motivation to study this property comes from the fact that $R/I$ is Cohen-Macaulay if and only if $ht(I)=pd(R/I)$. We check the equality $htI(G)=pd(R/I(G))$ to verify Cohen-Macaulayness of the graph $G={\theta}_{{n}_{1},\dots ,{n}_{k}}$ in some cases. Since the projective dimension of a graph in this class is computed in [8], it only remains to obtain the value of $htI(G)$.

Let us fix some notations that will be used throughout this section. By ${G}_{1}\cup {G}_{2}$, we mean the graph obtaind by the disjoint union of ${G}_{1}$ and ${G}_{2}$. Furthermore, we suppose that the vertices of a line graph ${L}_{{n}_{i}}$ are labeled by ${x}_{1,i},{x}_{2,i},\dots ,{x}_{{n}_{i},i}$ where ${x}_{1,i}=x$ and ${x}_{{n}_{i},i}=y$. Note that

$$ht(I({L}_{n}))=\{\begin{array}{l}kn=2k\\ kn=2k+1\end{array}$$

Let $G={\theta}_{{n}_{1},\dots ,{n}_{k}}$ such that ${n}_{i}=2{m}_{i}$ for any $1\le i\le k$. Then,

$$htI(G)=(\sum _{i=1}^{k}{m}_{i})-k+1$$

Assume that A is a minimal vertex cover of G. One of the following cases may happen: $(x\in A,y\notin A)$, $(x\notin A,y\in A)$, $(x,y\in A)$, or $(x,y\notin A)$.

- Suppose that $x\in A,y\notin A$. We are going to find the minimum cardinality of minimal vertex cover of G which do not contain y, so it suffices to cover the disjoint lines ${L}_{{n}_{1}-2},\dots ,{L}_{{n}_{k}-2}$ with the minimum number of vertices such that ${N}_{G}(y)\subseteq A$. We claim that$$htI({L}_{{n}_{1}-2}\cup \dots \cup {L}_{{n}_{k}-2})=\sum _{i=1}^{k}({m}_{i}-1)$$Note that ${n}_{i}-2=2({m}_{i}-1)$. Furthermore, there exists a minimal vertex cover ${B}_{i}$ for ${L}_{{n}_{i}-2}$ with the minimum cardinality ${m}_{i}-1$ such that ${x}_{2,i}\notin {B}_{i}$ and ${x}_{3,i},{x}_{{n}_{i}-1,i}\in {B}_{i}$ for any $1\le i\le k$. Hence, in this case, the minimum number of vertices of such A to be equal to$$1+\sum _{i=1}^{k}({m}_{i}-1)=(\sum _{i=1}^{k}{m}_{i})-k+1$$The number 1 appears in the above equality because $x\in A$.
- Suppose that $y\in A,x\notin A$. We can apply the same argument as in the previous case.
- Assume that $x,y\in A$. To obtain a minimal vertex cover of G with minimum cardiality, we may cover the disjoint lines ${L}_{{n}_{1}-2},\dots ,{L}_{{n}_{k}-2}$ with the minimum number of vertices such that ${N}_{G}(x)$ and ${N}_{G}(y)$ are not contained in A. Since ${n}_{i}-2=2({m}_{i}-1)$ and there exists a minimal vertex cover ${B}_{i}$ for ${L}_{{n}_{i}-2}$ with the minimum cardinality ${m}_{i}-1$ such that ${x}_{2,i},{x}_{{n}_{i}-1,i}\notin {B}_{i}$ for any $1\le i\le k$, we deduce that$$htI({L}_{{n}_{1}-2}\cup \dots \cup {L}_{{n}_{k}-2})=\sum _{i=1}^{k}({m}_{i}-1)$$It follows that the minimum cardinality of such A to be equal to$$2+\sum _{i=1}^{k}({m}_{i}-1)=(\sum _{i=1}^{k}{m}_{i})-k+2$$The number 2 appears in the above equality because $x,y\in A$.
- Assume that $x,y\notin A$. Applying the same argument, we may cover the disjoint lines ${L}_{{n}_{1}-2},\dots ,{L}_{{n}_{k}-2}$ with the minimum number of vertices such that A contains ${N}_{G}(x)$ and ${N}_{G}(y)$. There exists a minimal vertex cover ${B}_{i}$ of cardinality ${m}_{i}$ for the line ${L}_{{n}_{i}-2}$ having an even number of vertices such that ${x}_{2,i},{x}_{{n}_{i}-1,i}\in {B}_{i}$ for any $1\le i\le k$; therefore, we obtain the minimum number of vertices of such A to be equal to ${\sum}_{i=1}^{k}{m}_{i}$ because $x,y\notin A$.Now, by comparing the above cases, we get$$htI(G)=(\sum _{i=1}^{k}{m}_{i})-k+1$$

□

Let $G={\theta}_{{n}_{1},\dots ,{n}_{k}}$ such that ${n}_{i}=2{m}_{i}+1$ for any $1\le i\le k$. Then,

$$htI(G)=(\sum _{i=1}^{k}{m}_{i})-k+2$$

The techniques used in this proof are similar to the previous lemma. Suppose that A is a minimal vertex cover of G. The only possible cases for $x,y$ are $(x\in A,y\notin A)$, $(x\notin A,y\in A)$, $(x,y\in A)$, or $(x,y\notin A)$.

- Suppose that $x\in A,y\notin A$. We have ${N}_{G}(y)\subseteq A$. There exists a minimal vertex cover ${B}_{i}$ for the line ${L}_{{n}_{i}-2}$ having an odd number of vertices such that ${x}_{2,i}\notin {B}_{i}$ and ${x}_{{n}_{i}-1,i}\in {B}_{i}$ where the minimum cardinality of ${B}_{i}$ is ${m}_{i}$ for any $1\le i\le k$. Therefore,$$htI({L}_{{n}_{1}-2}\cup \dots \cup {L}_{{n}_{k}-2})=\sum _{i=1}^{k}{m}_{i}$$$$1+\sum _{i=1}^{k}{m}_{i}$$
- Suppose that $y\in A,x\notin A$. We can apply the same argument as in the previous case.
- Suppose that $x,y\in A$. There exists a minimal vertex cover ${B}_{i}$ for ${L}_{{n}_{i}-2}$ such that ${x}_{2,i},{x}_{{n}_{i}-1,i}\notin {B}_{i}$, and, furthermore, the minimum number vertices of such ${B}_{i}$ is ${m}_{i}-1$ for any $1\le i\le k$. Since ${n}_{i}-2=2({m}_{i}-1)+1$,$$htI({L}_{{n}_{1}-2}\cup \dots \cup {L}_{{n}_{k}-2})=(\sum _{i=1}^{k}{m}_{i})-k$$$$2+\sum _{i=1}^{k}({m}_{i}-1)=(\sum _{i=1}^{k}{m}_{i})-k+2$$
- Suppose that $x,y\notin A$. Applying the same argument, we may cover the disjoint lines ${L}_{{n}_{1}-2},\dots ,{L}_{{n}_{k}-2}$ with the minimum number of vertices such that A contains ${N}_{G}(x)$ and ${N}_{G}(y)$. There exists a minimal vertex cover ${B}_{i}$ of cardinality ${m}_{i}$ for the line ${L}_{{n}_{i}-2}$ having an odd number of vertices such that ${x}_{2,i},{x}_{{n}_{i}-1,i}\in {B}_{i}$ for any $1\le i\le k$; therefore, we obtain the minimum number of vertices of such A to be equal to ${\sum}_{i=1}^{k}{m}_{i}$, because $x,y\notin A$.Since $k\ge 3$, $2-k<0$. Now, we compare the results obtained from the cases above to get$$htI(G)=(\sum _{i=1}^{k}{m}_{i})-k+2$$

□

Let $G={\theta}_{{n}_{1},\dots ,{n}_{k}}$ such that ${n}_{i}=2{m}_{i}$ for any $1\le i\le {k}_{1}$ and ${n}_{i}=2{l}_{i}+1$ for any ${k}_{1}+1\le i\le k$. Then,

$$htI(G)=(\sum _{i=1}^{{k}_{1}}{m}_{i})+(\sum _{i={k}_{1}+1}^{k}{l}_{i})-k+2$$

Assume that A is a minimal vertex cover for G. Applying the same argument in lemma 8, the only possible cases for the common vertices $x,y$ are $(x\in A,y\notin A)$, $(x\notin A,y\in A)$, $(x,y\in A)$, or $(x,y\notin A)$.

- Assume that $x\in A,y\notin A$. We have to cover the disjoint lines ${L}_{{n}_{1}-2},\dots ,{L}_{{n}_{k}-2}$ with the minimum number of vertices such that ${N}_{G}(y)\subseteq A$. We have ${n}_{i}-2=2({m}_{i}-1)$ for $1\le i\le {k}_{1}$ and ${n}_{i}-2=2({l}_{i}-1)+1$ for ${k}_{1}+1\le i\le k$. It is easily seen that there exists a minimal vertex cover ${B}_{i}$ for ${L}_{{n}_{i}-2}$ having an even number of vertices, and the minimal vertex cover ${C}_{i}$ for ${L}_{{n}_{i}-2}$ having an odd number of vertices such that ${x}_{2,i}\notin {B}_{i}$ for $1\le i\le {k}_{1}$, ${x}_{2,i}\notin {C}_{i}$ for ${k}_{1}+1\le i\le k$, ${x}_{{n}_{i}-1,i}\in {B}_{i}$ for $1\le i\le {k}_{1}$ and ${x}_{{n}_{i}-1,i}\in {C}_{i}$ for ${k}_{1}+1\le i\le {k}_{1}$. The minimum size for ${B}_{i}$ and ${C}_{i}$ is ${m}_{i}-1$ and ${l}_{i}$, respectively. Hence, in this case, we need at least ${\sum}_{i=1}^{{k}_{1}}({m}_{i}-1)+{\sum}_{i={k}_{1}+1}^{k}{l}_{i}$ vertices to create a minimal vertex cover for the disjoint lines ${L}_{{n}_{1}-2},\dots ,{L}_{{n}_{k}-2}$. Then, the minimum size of such A is$$(\sum _{i=1}^{{k}_{1}}{m}_{i})+(\sum _{i={k}_{1}+1}^{k}{l}_{i})-{k}_{1}+1$$
- Assume that $y\in A,x\notin A$. We can apply the same argument as in the previous case.
- Assume that $x,y\in A$. To obtain the minimum cardinality of such A, it suffices to cover the disjoint graphs ${L}_{{n}_{1}-2},\dots ,{L}_{{n}_{k}-2}$ with the minimum number of vertices such that ${x}_{2,i},{x}_{{n}_{i}-1,i}\notin A$ for any $1\le i\le k$. There exists a minimal vertex cover ${B}_{i}$ for the line having an even number of vertices ${L}_{{n}_{i}-2}$ with the minimum number of vertices ${m}_{i}-1$ such that ${x}_{2,i},{x}_{{n}_{i}-1,i}$ for $1\le i\le {k}_{1}$ are not contained in A. Moreover, there exists a minimal vertex cover ${C}_{i}$ for the line having an odd number of vertices ${L}_{{n}_{i}-2}$ with the minimum number of vertices ${l}_{i}-1$ which does not contain ${x}_{2,i},{x}_{{n}_{i}-1,i}$ for ${k}_{1}+1\le i\le k$ . With this argument, to make a minimal vertex cover with the minimum number vertices for the disjoint lines ${L}_{{n}_{1}-2},\dots ,{L}_{{n}_{k}-2}$ we may have$$\sum _{i=1}^{{k}_{1}}({m}_{i}-1)+\sum _{i={k}_{1}+1}^{k}({l}_{i}-1)$$$$\begin{array}{cc}& \sum _{i=1}^{{k}_{1}}({m}_{i}-1)+\sum _{i={k}_{1}+1}^{k}({l}_{i}-1)+2=\hfill \\ & (\sum _{i=1}^{{k}_{1}}{m}_{i})+(\sum _{i={k}_{1}+1}^{k}{l}_{i})-{k}_{1}-(k-{k}_{1})+2=\hfill \\ & (\sum _{i=1}^{{k}_{1}}{m}_{i})+(\sum _{i={k}_{1}+1}^{k}{l}_{i})-k+2\hfill \end{array}$$
- Assume that $x,y\notin A$. In this case, we may cover the disjoint lines ${L}_{{n}_{1}-2},\dots ,{L}_{{n}_{k}-2}$ with the minimum number of vertices such that A contains ${N}_{G}(x)$ and ${N}_{G}(y)$. For any line ${L}_{{n}_{i}-2}$ ($1\le i\le {k}_{1}$) containing even number of vertices, we can find the minimal vertex cover ${B}_{i}$ with the minimum number of vertices ${m}_{i}$ which contains ${x}_{2,i},{x}_{{n}_{i}-1,i}$ for $1\le i\le {k}_{1}$. In addition, there exists a minimal vertex cover ${C}_{i}$ with the minimum number of vertices ${l}_{i}$ which contains ${x}_{2,i},{x}_{{n}_{i}-1,i}$ for ${k}_{1}+1\le i\le k$ . Therefore, in this case, the minimum number of vertices for covering the disjoint lines ${L}_{{n}_{1}-2},\dots ,{L}_{{n}_{k}-2}$ is equal to ${\sum}_{i=1}^{{k}_{1}}{m}_{i}+{\sum}_{i={k}_{1}+1}^{k}{l}_{i}$. Hence, the minimum cardinality of such A equals$$\sum _{i=1}^{{k}_{1}}{m}_{i}+\sum _{i={k}_{1}+1}^{k}{l}_{i}$$$$htI(G)=(\sum _{i=1}^{{k}_{1}}{m}_{i})+(\sum _{i={k}_{1}+1}^{k}{l}_{i})-k+2$$

□

To verify Cohen-Macaulayness and unmixedness of the generalized theta graphs, we consider only seven possible cases that are described in the following theorems.

Let G be the graph ${\theta}_{{n}_{1},\dots ,{n}_{{k}_{1}}}$ consisting of lines ${L}_{3{r}_{1}+1},\dots ,{L}_{3{r}_{{k}_{1}}+1}$, i.e., ${n}_{i}=3{r}_{i}+1$ for $1\le i\le {k}_{1}$. Then, G is not unmixed and hence not Cohen-Macaulay.

Let G be the graph ${\theta}_{{n}_{1},\dots ,{n}_{{k}_{2}}}$ consisting of lines ${L}_{3{t}_{1}+2},\dots ,{L}_{3{t}_{{k}_{2}}+2}$, i.e., ${n}_{i}=3{t}_{i}+2$ for $1\le i\le {k}_{2}$. Then, G is not unmixed and hence not Cohen-Macaulay.

It suffices to show that G is not unmixed. We distinguish the three following cases:

- There exist positive integers ${m}_{1},\dots ,{m}_{{k}_{2}}$ such that ${n}_{i}=2{m}_{i}$ for any $1\le i\le {k}_{2}$;
- There exist nonnegative integers ${r}_{1},\dots ,{r}_{{k}_{2}}$ such that ${n}_{i}=2{r}_{i}+1$ for any $1\le i\le {k}_{2}$;
- There exist positive integers ${m}_{1},\dots ,{m}_{k}$ such that ${n}_{i}=2{m}_{i}$ for any $1\le i\le k$ and nonnegative integer numbers ${r}_{k+1},\dots ,{r}_{{k}_{2}}$ such that ${n}_{i}=2{r}_{i}+1$ for any $k+1\le i\le {k}_{2}$.

Using proof of Lemmas 8–10, it is readily seen that there exist two minimal vertex covers of different sizes in any case, and then G is not unmixed. □

Let G be the graph ${\theta}_{{n}_{1},\dots ,{n}_{{k}_{1}+{k}_{3}}}$ consisting of lines ${L}_{3{r}_{1}+1},\dots ,{L}_{3{r}_{{k}_{1}}+1},{L}_{3{s}_{1}},\dots ,{L}_{3{s}_{{k}_{3}}}$, i.e., ${n}_{i}=3{r}_{i}+1$ for $1\le i\le {k}_{1}$ and ${n}_{i}=3{s}_{i}$ for ${k}_{1}+1\le i\le {k}_{1}+{k}_{3}$ such that ${k}_{1},{k}_{3}>0$. Then, G is not unmixed and hence not Cohen-Macaulay.

We have to verify the following cases:

- $\{3,4\}\subseteq \{{n}_{1},\dots ,{n}_{{k}_{1}+{k}_{3}}\}$. There exist positive integers ${m}_{i}$ such that ${n}_{i}=2{m}_{i}$ for any $1\le i\le s$ and there exist nonnegative integers ${l}_{i}$ such that ${n}_{i}=2{l}_{i}+1$ for any $s+1\le i\le {k}_{1}+{k}_{3}$. Using cases 3 and 4 of Lemma 10, we obtain two minimal vertex covers A and B of cardinalities $2+({\sum}_{i=2}^{s}{m}_{i})+1+({\sum}_{i=s+2}^{{k}_{1}+{k}_{3}}{l}_{i})-({k}_{1}+{k}_{3})+2$ and $2+({\sum}_{i=2}^{s}{m}_{i})+1+{\sum}_{i=s+2}^{{k}_{1}+{k}_{3}}{l}_{i}$, respectively. Since ${k}_{1}+{k}_{3}\ge 3$, $5-({k}_{1}+{k}_{3})\ne 3$. Hence, G is not unmixed. Moreover, G is not Cohen-Macaulay.

□

Let G be the graph ${\theta}_{{n}_{1},\dots ,{n}_{{k}_{2}+{k}_{3}}}$ consisting of lines ${L}_{3{s}_{1}},\dots ,{L}_{3{s}_{{k}_{3}}},{L}_{3{t}_{1}+2},\dots ,{L}_{3{t}_{{k}_{2}}+2}$, i.e., ${n}_{i}=3{s}_{i}$ for $1\le i\le {k}_{3}$ and ${n}_{i}=3{t}_{i}+2$ for ${k}_{3}+1\le i\le {k}_{3}+{k}_{2}$ such that ${k}_{2},{k}_{3}>0$. Then, G is not unmixed and hence not Cohen-Macaulay.

It suffices to replace $\{3,4\}$ by $\{2,3\}$ in the proof of Theorem 13 and apply the same argument. □

Let G be the graph ${\theta}_{{n}_{1},\dots ,{n}_{{k}_{3}}}$ consisting of lines ${L}_{3{s}_{1}},\dots ,{L}_{3{s}_{{k}_{3}}}$, i.e., ${n}_{i}=3{s}_{i}$ for $1\le i\le {k}_{3}$. Then, G is not unmixed and hence not Cohen-Macaulay.

In order to show that G is not unmixed, we use the same argument of Theorem 12. □

Let G be the graph ${\theta}_{{n}_{1},\dots ,{n}_{{k}_{1}+{k}_{2}}}$ consisting of lines ${L}_{3{r}_{1}+1},\dots ,{L}_{3{r}_{{k}_{1}}+1},{L}_{3{t}_{1}+2},\dots ,{L}_{3{t}_{{k}_{2}}+2}$, i.e., ${n}_{i}=3{r}_{i}+1$ for $1\le i\le {k}_{1}$ and ${n}_{i}=3{t}_{i}+2$ for ${k}_{1}+1\le i\le {k}_{1}+{k}_{2}$ such that ${k}_{1},{k}_{2}>0$. Then, G is not unmixed and hence not Cohen-Macaulay.

From ([2], Lemma 2.6), we obtain that G is not sequentially Cohen-Macaulay and hence G is not Cohen-Macaulay by ([10], Lemma 3.6). Applying Theorem 2.14 of [8], one concludes that G is not unmixed for ${k}_{1}\ge 2$. To complete the proof, it remains to prove that G is not unmixed for ${k}_{1}=1$. In this case, the same argument of Theorem 12 holds. □

Let G be the graph ${\theta}_{{n}_{1},\dots ,{n}_{{k}_{1}+{k}_{2}+{k}_{3}}}$ consisting of lines ${L}_{3{r}_{1}+1},\dots ,{L}_{3{r}_{{k}_{1}}+1},{L}_{3{t}_{1}+2},\dots ,{L}_{3{t}_{{k}_{2}}+2},{L}_{3{s}_{1}},\dots ,{L}_{3{s}_{{k}_{3}}}$, i.e., ${n}_{i}=3{r}_{i}+1$ for $1\le i\le {k}_{1}$, ${n}_{i}=3{t}_{i}+2$ for ${k}_{1}+1\le i\le {k}_{1}+{k}_{2}$ and ${n}_{i}=3{s}_{i}$ for ${k}_{1}+{k}_{2}+1\le i\le {k}_{1}+{k}_{2}+{k}_{3}$ such that ${k}_{1},{k}_{2},{k}_{3}>0$. Then, G is Cohen-Macaulay (unmixed) if and only if $G={\theta}_{2,3,4}$.

$\Leftarrow )$ Suppose that $G={\theta}_{2,3,4}$. Set $I({L}_{2})=(xy)$, $I({L}_{3})=(xe,ey)$ and $I({L}_{4})=(xz,zt,ty)$. Using CoCoA, $I(G)$ has the minimal primary decomposition as
Hence, G is unmixed and Cohen-Macaulay by ([8], Theorem 2.14).

$$I(G)=(y,z,e)\cap (x,y,t)\cap (x,y,z)\cap (x,t,e)$$

$\Rightarrow )$ We know that G is Cohen-Macaulay (and hence unmixed) if and only if $htI(G)=pd(G)$. It is not difficult to see that $htI(G)$ changes according to being even or odd the numbers ${r}_{i}$, ${t}_{j}$, ${s}_{m}$ ($1\le i\le {k}_{1}$, $1\le j\le {k}_{2}$, $1\le m\le {k}_{3}$). By the description given above, there are only nine possible cases. By checking all cases, it is seen that the equality $htI(G)=pd(G)$ holds only for one case. In the following, we examine two cases that seem more important.

- Suppose that there are nonnegative integers ${r}_{i},{t}_{j}$ and ${s}_{m}$ such that ${r}_{i}=2{l}_{i}+1$, ${t}_{j}=2{g}_{j}$ and ${s}_{m}=2{h}_{m}+1$ for any $1\le i\le {k}_{1}$, $1\le j\le {k}_{2}$ and $1\le m\le {k}_{3}$. By Lemma 10, we get$$\begin{array}{cc}\hfill htI(G)& =\sum _{i=1}^{{k}_{1}}(3{l}_{i})+\sum _{j=1}^{{k}_{2}}(3{g}_{j})+\sum _{m=1}^{{k}_{3}}(3{h}_{m})+{k}_{1}+2\hfill \\ & =\frac{3}{2}\sum _{i=1}^{{k}_{1}}{r}_{i}+\frac{3}{2}\sum _{j=1}^{{k}_{2}}{t}_{j}+\frac{3}{2}\sum _{m=1}^{{k}_{3}}{s}_{m}-\frac{{k}_{1}}{2}-\frac{3}{2}{k}_{3}+2\hfill \end{array}$$$$\begin{array}{cc}\hfill htI(G)=pd(G)& \u27fa\frac{3}{2}\sum _{i=1}^{{k}_{1}}{r}_{i}+\frac{3}{2}\sum _{j=1}^{{k}_{2}}{t}_{j}+\frac{3}{2}\sum _{m=1}^{{k}_{3}}{s}_{m}-\frac{{k}_{1}}{2}-\frac{3}{2}{k}_{3}+2=2\sum _{i=1}^{{k}_{1}}{r}_{i}+2\sum _{j=1}^{{k}_{2}}{t}_{j}+2\sum _{m=1}^{{k}_{3}}{s}_{m}-{k}_{3}\hfill \\ & \u27fa\frac{1}{2}\sum _{i=1}^{{k}_{1}}{r}_{i}+\frac{1}{2}\sum _{j=1}^{{k}_{2}}{t}_{j}+\frac{1}{2}\sum _{m=1}^{{k}_{3}}{s}_{m}=2-\frac{{k}_{1}}{2}-\frac{{k}_{3}}{2}\hfill \\ & \u27fa\sum _{i=1}^{{k}_{1}}{r}_{i}+\sum _{j=1}^{{k}_{2}}{t}_{j}+\sum _{m=1}^{{k}_{3}}{s}_{m}=4-{k}_{1}-{k}_{3}\hfill \\ & \u27fa{k}_{1}={k}_{3}=1\u27fa{r}_{1}+\sum _{j=1}^{{k}_{2}}{t}_{j}+{s}_{1}=2\hfill \\ & \u27fa{r}_{1}={s}_{1}=1,{k}_{2}=1,{t}_{1}=0\hfill \\ & \u27faG={\theta}_{2,3,4}\hfill \end{array}$$
- Suppose that there exist nonnegative integers ${l}_{i},{g}_{j}$ and ${h}_{m}$ such that ${r}_{i}=2{l}_{i}$ for any $1\le i\le \alpha $ and ${r}_{i}=2{l}_{i}+1$ for any $\alpha +1\le i\le {k}_{1}$, ${t}_{j}=2{g}_{j}$ for any $1\le j\le \beta $ and ${t}_{j}=2{g}_{j}+1$ for any $\beta +1\le j\le {k}_{2}$, ${s}_{m}=2{h}_{m}$ for any $1\le m\le \gamma $ and ${s}_{m}=2{h}_{m}+1$ for any $\gamma +1\le m\le {k}_{3}$ which at least one of α, β and γ is non zero. Note that we choose α, β and γ such that any of the other cases do not occur. Using Lemma 10, we obtain$$\begin{array}{cc}\hfill htI(G)& =\sum _{i=1}^{\alpha}(3{l}_{i})+\sum _{i=\alpha +1}^{{k}_{1}}(3{l}_{i})+\sum _{j=1}^{\beta}(3{g}_{j})+\sum _{j=\beta +1}^{{k}_{2}}(3{g}_{j})+\sum _{m=1}^{\gamma}(3{h}_{m})+\sum _{m=\gamma +1}^{{k}_{3}}(3{h}_{m})\hfill \\ & +{k}_{1}+{k}_{2}-2\alpha -\beta -\gamma +2=\frac{3}{2}\sum _{i=1}^{{k}_{1}}{r}_{i}+\frac{3}{2}\sum _{j=1}^{{k}_{2}}{t}_{j}+\frac{3}{2}\sum _{m=1}^{{k}_{3}}{s}_{m}\hfill \\ & -\frac{{k}_{1}}{2}-\frac{{k}_{2}}{2}-\frac{3}{2}{k}_{3}+2+\frac{\beta}{2}+\frac{\gamma}{2}-\frac{\alpha}{2}\hfill \end{array}$$$$\begin{array}{cc}\hfill htI(G)=pd(G)& \u27fa\frac{3}{2}\sum _{i=1}^{{k}_{1}}{r}_{i}+\frac{3}{2}\sum _{j=1}^{{k}_{2}}{t}_{j}+\frac{3}{2}\sum _{m=1}^{{k}_{3}}{s}_{m}-\frac{{k}_{1}}{2}-\frac{{k}_{2}}{2}-\frac{3}{2}{k}_{3}+\frac{\beta}{2}+\frac{\gamma}{2}-\frac{\alpha}{2}+2\hfill \\ & =2\sum _{i=1}^{{k}_{1}}{r}_{i}+2\sum _{j=1}^{{k}_{2}}{t}_{j}+2\sum _{m=1}^{{k}_{3}}{s}_{m}-{k}_{3}\hfill \\ & \u27fa\frac{1}{2}\sum _{i=1}^{{k}_{1}}{r}_{i}+\frac{1}{2}\sum _{j=1}^{{k}_{2}}{t}_{j}+\frac{1}{2}\sum _{m=1}^{{k}_{3}}{s}_{m}=2+\frac{(\beta +\gamma -\alpha )}{2}-\frac{({k}_{1}+{k}_{2}+{k}_{3})}{2}\hfill \\ & \u27fa\sum _{i=1}^{{k}_{1}}{r}_{i}+\sum _{j=1}^{{k}_{2}}{t}_{j}+\sum _{m=1}^{{k}_{3}}{s}_{m}=4+(\beta -{k}_{2})+(\gamma -{k}_{3})-(\alpha +{k}_{1})\hfill \end{array}$$

□

By considering the nine previous theorems, we get the following result:
**Corollary 18.**

Let $G={\theta}_{{n}_{1},\dots ,{n}_{k}}$. Then, the following conditions are equivalent:

- (a)
- G is Cohen–Macaulay;
- (b)
- G is unmixed;
- (c)
- $G={\theta}_{2,3,4}$.

We have shown that algebraic invariants of the ideals associated to combinatorial structers are computable.

This work is a part of PhD thesis of the first author under supervision of the second.

The authors declare no conflict of interest.

- Lyubeznik, G. On the local cohomology modules ${H}_{A}^{i}$(R) for ideals A generated by monomials in an R-sequence. Lect. Notes Math.
**1984**, 1092, 214–220. [Google Scholar] - Mohammadi, F.; Kiani, D. Sequentially Cohen-Macaulay graphs of form θ
_{n1,…,nk}. Bull. Iran. Math. Soc.**2010**, 36, 109–118. [Google Scholar] - Barile, M. On the arithmetical rank of the edge ideals of forests. Commun. Algebra
**2008**, 36, 4678–4703. [Google Scholar] [CrossRef] - Kimura, K.; Terai, N. Binomial arithmetical rank of edge ideals of forests. Proc. Am. Math. Soc.
**2013**, 141, 1925–1932. [Google Scholar] [CrossRef] - Barile, M.; Kiani, D.; Mohammadi, F.; Yassemi, S. Arithmetical rank of the cyclic and bicyclic graphs. J. Algebra Appl.
**2012**, 11, 1250039. [Google Scholar] [CrossRef] - Mohammadi, F.; Kiani, D. On the arithmetical rank of the edge ideals of some graphs. Algebra Colloq.
**2012**, 19, 797–806. [Google Scholar] [CrossRef] - Zhu, G.; Shi, F.; Gu, Y. Arithmetical rank of the edge ideals of some n-cyclic graphs with a common edge. Turk. J. Math.
**2015**, 39, 112–123. [Google Scholar] [CrossRef] - Seyyedi, S.M.; Rahmati, F. Regularity and projective dimension of the edge ideal of generalized theta graph. Turk. J. Math. submitted for publication.
**2015**. [Google Scholar] - Schmitt, T.; Vogel, W. Note on set-theoretic intersections of subvarieties of projective space. Math. Ann.
**1979**, 245, 247–253. [Google Scholar] [CrossRef] - Francisco, C.A.; van Tuyl, A. Sequentially Cohen-Macaulay edge ideals. Proc. Am. Math. Soc.
**2007**, 135, 2327–2337. [Google Scholar] [CrossRef]

© 2016 by the authors; licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC-BY) license (http://creativecommons.org/licenses/by/4.0/).