The regularity of some families of circulant graphs

TL;DR

This paper calculates the Castelnuovo-Mumford regularity of edge ideals for specific families of circulant graphs, including all cubic ones, using bounds on algebraic invariants to find exact values.

Contribution

It introduces a method combining bounds on regularity, projective dimension, and Euler characteristic to precisely determine the regularity of these graph families.

Findings

Exact regularity values for the studied circulant graphs

Method applicable to a broad class including cubic circulant graphs

Enhanced understanding of algebraic properties of circulant graphs

Abstract

We compute the Castelnuovo-Mumford regularity of the edge ideals of two families of circulant graphs, which includes all cubic circulant graphs. A feature of our approach is to combine bounds on the regularity, the projective dimension, and the reduced Euler characteristic to derive an exact value for the regularity.

Equations

$$0\to \underset{j}{⨁}R(-j{)}^{{\beta }_{l,j}(I(G))}\to \underset{j}{⨁}R(-j{)}^{{\beta }_{l-1,j}(I(G))}\to \cdots \to \underset{j}{⨁}R(-j{)}^{{\beta }_{0,j}(I(G))}\to I(G)\to 0$$

$$\mathrm{reg}(I(G))$$

$$\mathrm{pd}(I(G))$$

$$\mathrm{reg}(R/I(G))=\mathrm{reg}(R/I(H))+\mathrm{reg}(R/I(K)).$$

$$I_{\Delta }=⟨x_{j_1}{x}_{j_2}\cdots x_{j_r}\mid \{x_{j_1},\dots ,x_{j_r}\}\notin \Delta ⟩.$$

$$\Delta (I)=\left\{\{x_{i_1},\dots ,x_{i_r}\}|\text{mbox}thesquare-freemonomial{x}_{i_1}\cdots x_{i_r}\notin I\right\}.$$

$${\beta }_{i,j}(I)=\sum _{|W|=j,W\subseteq V}{\dim }_k{\tilde{H}}_{j-i-2}({\Delta }_W;k).$$

$$\tilde{\chi }(\Delta )=\sum _{i=-1}^D(-1{)}^i{\dim }_k{\tilde{H}}_i(\Delta ;k)=\sum _{i=-1}^D(-1{)}^i{f}_i.$$

$$\tilde{\chi }(\Delta )$$

$${\dim }_k{\tilde{H}}_{r-2}(\Delta ;k)-{\dim }_k{\tilde{H}}_{r-3}(\Delta ;k)>0,$$

$$\mathrm{Ind}(G)=\{W\mid W\text{mbox}isanindependentsetofV(G)\}.$$

$$I(G,x)=\sum _{r=0}^{\alpha }{i}_r{x}^r,$$

$$\tilde{\chi }(\mathrm{Ind}(G))=-I(G,-1).$$

$${\rm reg}(I(G))=\begin{cases}2&\mbox{$n=2j$ or $n=3d$}\\ 3&\mbox{otherwise.}\end{cases}$$

$$V_1$$

$$V_2$$

$$E(G_1)\cup E(G_2)$$

$${\rm reg}(I(G))\leq\begin{cases}\frac{t+4}{2}&\mbox{if $t$ even}\\ \frac{t+3}{2}&\mbox{if $t$ odd}\end{cases}~{}~{}\mbox{and}~{}~{}~{}{\rm pd}(I(G))\leq\begin{cases}\frac{3t}{2}+1&\mbox{if $t$ even}\\ \frac{3(t-1)}{2}+2&\mbox{if $t$ odd.}\end{cases}$$

$${\rm reg}(I(G))\leq\begin{cases}\frac{t+4}{2}&\mbox{if $t$ even}\\ \frac{t+3}{2}&\mbox{if $t$ odd.}\end{cases}$$

$$a$$

$$\mathrm{reg}(R/I(A_t))\le \mathrm{reg}(R/I(A_1))+\mathrm{reg}(R/I(A_{t-2}))\le 1+\frac{(t-2)+4}{2}-1=\frac{t+4}{2}-1$$

$$\mathrm{pd}(I(A_t))\le \mathrm{pd}(I(A_1))+\mathrm{pd}(I(A_{t-2})+1\le 2+\frac{3(t-2)}{2}+1+1=\frac{3t}{2}+1.$$

$$a$$

$$\mathrm{reg}(R/I(B_t))\le \mathrm{reg}(R/I(B_1))+\mathrm{reg}(R/I(A_{t-2}))\le \frac{(t-2)+4}{2}=\frac{t+2}{2}.$$

$$a$$

$${\rm pd}(I(G))\leq\begin{cases}3k-1&\mbox{if $n=2k$}\\ 3k+1&\mbox{if $n=2k+1$.}\end{cases}$$

$$x_n$$

$$\mathrm{pd}(I(C_{2n}(1,n)))\le \mathrm{pd}(I(A_{2k-2}))+\mathrm{pd}(I(A_1))+1\le \left(\frac{3(2k-2)}{2}+1\right)+3=3k+1.$$

$$\mathrm{pd}(I(C_{2n}(1,n)))\le \mathrm{pd}(I(A_{2k-3}))+\mathrm{pd}(I(A_1))+1\le \left(\frac{3(2k-4)}{2}+2\right)+3=3k-1.$$

$$x_{2n}$$

$${\rm reg}(I(G))\leq\begin{cases}k+1&\mbox{if $n=2k$, or if $n=2k+1$ and $k$ odd}\\ k+2&\mbox{if $n=2k+1$ and $k$ even.}\end{cases}$$

Full text

Submitted Version: June 14, 2019

1. Introduction

Let $G$ be any finite simple graph with vertex set $V(G)=\{x_{1},\ldots,x_{n}\}$ and edge set $E(G)$, where simple means no loops or multiple edges. The edge ideal of $G$ is the ideal $I(G)=\left\langle x_{i}x_{j}\mid\{x_{i},x_{j}\}\in E(G)\right\rangle$ in the polynomial ring $R=k[x_{1},\ldots,x_{n}]$ ($k$ is any field). Describing the dictionary between the graph theoretic properties of $G$ and the algebraic properties of $I(G)$ or $R/I(G)$ is an active area of research, e.g., see [11, 19].

Relating the homological invariants of $I(G)$ and the graph theoretic invariants of $G$ has proven to be a fruitful approach to building this dictionary. Recall that the minimal graded free resolution of $I(G)\subseteq R$ is a long exact sequence of the form

[TABLE]

where $l\leq n$ and $R(-j)$ is the free $R$-module obtained by shifting the degrees of $R$ by $j$ (i.e., $R(-j)_{a}=R_{a-j}$). The number $\beta_{i,j}(I(G))$, the $i,j$-th graded Betti number of $I(G)$, equals the number of minimal generators of degree $j$ in the $i$-th syzygy module of $I(G)$. Two invariants that measure the “size” of the resolution are the (Castelnuovo-Mumford) regularity and the projective dimension, defined as

[TABLE]

One wishes to relate the numbers $\beta_{i,j}(I(G))$ to the invariants of $G$; e.g., see the survey of Hà [7] which focuses on describing ${\rm reg}(I(G))$ in terms of the invariants of $G$.

In this note we give explicit formulas for ${\rm reg}(I(G))$ for the edge ideals of two infinite families of circulant graphs. Our results complement previous work on the algebraic and combinatorial topological properties of circulant graphs (e.g, [4, 12, 14, 15, 16, 17, 18]). Fix an integer $n\geq 1$ and a subset $S\subseteq\{1,\ldots,\lfloor\frac{n}{2}\rfloor\}$. The circulant graph $C_{n}(S)$ is the graph on the vertex set $\{x_{1},\ldots,x_{n}\}$ such that $\{x_{i},x_{j}\}\in E(C_{n}(S))$ if and only if $|i-j|$ or $n-|i-j|\in S$. To simplify notation, we write $C_{n}(a_{1},\ldots,a_{t})$ instead of $C_{n}(\{a_{1},\ldots,a_{t}\})$. As an example, the graph $C_{10}(1,3)$ is drawn in Figure 1.

When $S=\{1,\ldots,\lfloor\frac{n}{2}\rfloor\}$, then $C_{n}(S)\cong K_{n}$, the clique on $n$ vertices. On the other hand, if $S=\{1\}$, then $C_{n}(1)\cong C_{n}$, the cycle on $n$ vertices. For both of these families, the regularity of their edge ideals are known. Specifically, the ideal $I(K_{n})$ has a linear resolution by Fröberg’s Theorem [5], so ${\rm reg}(I(K_{n}))=2$. The value of ${\rm reg}(I(C_{n}))$ can be deduced from work of Jacques [9, Theorem 7.6.28]. One can view these circulant graphs as “extremal” cases in the sense that $|S|$ is either as large, or small, as possible.

Our motivation is to understand the next open cases. In particular, generalizing the case of $K_{n}$, we compute ${\rm reg}(I(C_{n}(S))$ when $S=\{1,\ldots,\widehat{j},\ldots,\lfloor\frac{n}{2}\rfloor\}$ for any $1\leq j\leq\lfloor\frac{n}{2}\rfloor$ (Theorem 3.3). For most $j$, the regularity follows from Fröberg’s Theorem and a result of Nevo [13]. To generalize the case of $C_{n}$ (a circulant graph where every vertex has degree two), we compute the regularity of the edge ideal of any cubic (every vertex has degree three) circulant graph, that is, $G=C_{2n}(a,n)$ with $1\leq a\leq n$ (Theorem 4.6). Our proof of Theorem 4.6 requires a new technique to compute ${\rm reg}(I)$ for a square-free monomial ideal. Specifically, we show how to use partial information about ${\rm reg}(I)$, ${\rm pd}(I)$, and the reduced Euler characteristic of the simplicial complex associated with $I$, to determine ${\rm reg}(I)$ exactly (see Theorem 2.4). We believe this result to be of independent interest.

Our paper is structured as follows. In Section 2 we recall the relevant background regarding graph theory and commutative algebra, along with our new result on the regularity of square-free monomial ideals. In Section 3 we compute the regularity of $I(G)$ for the family of graphs $G=C_{n}(1,\ldots,\hat{j},\ldots,\lfloor\frac{n}{2}\rfloor)$. In Section 4, we give an explicit formula for the regularity of edge ideals of cubic circulant graphs.

Acknowledgements. The authors thank Federico Galetto and Andrew Nicas for their comments and suggestions. Computation using Macaulay2 [6] inspired some of our results. The first author thanks CONACYT for financial support, and the second author acknowledges the financial support of NSERC RGPIN-2019-05412.

2. Background

We review the relevant background from graph theory and commutative algebra. In addition, we give a new result on the regularity of square-free monomial ideals.

2.1. Graph theory preliminaries

Let $G=(V(G),E(G))$ denote a finite simple graph. We abuse notation and write $xy$ for the edge $\{x,y\}\in E(G)$. The complement of $G$, denoted $G^{c}$, is the graph $(V(G^{c}),E(G^{c}))$ where $V(G^{c})=V(G)$ and $E(G^{c})=\{xy~{}|~{}xy\not\in E(G)\}$. The neighbours of $x\in V(G)$ is the set $N(x)=\{y~{}|~{}xy\in E(G)\}$. The closed neighbourhood of $x$ is $N[x]=N(x)\cup\{x\}$. The degree of $x$ is $\deg(x)=|N(x)|$.

A graph $H=(V(H),E(H))$ is a subgraph of $G$ if $V(H)\subseteq V(G)$ and $E(H)\subseteq E(G)$. Given a subset $W\subseteq V(G)$, the induced subgraph of $G$ on $W$ is the graph $G_{W}=(W,E(G_{W}))$ where $E(G_{W})=\{xy\in E(G)~{}|~{}\{x,y\}\subseteq W\}$. Notice that an induced subgraph is a subgraph of $G$, but not every subgraph of $G$ is an induced subgraph.

An $n$-cycle, denoted $C_{n}$, is the graph with $V(C_{n})=\{x_{1},\ldots,x_{n}\}$ and edges $E(C_{n})=\{x_{1}x_{2},x_{2}x_{3},\ldots,x_{n-1}x_{n},x_{n}x_{1}\}$. A graph $G$ has a cycle of length $n$ if $G$ has a subgraph of the form $C_{n}$. A graph is a chordal graph if $G$ has no induced graph of the form $C_{n}$ with $n\geq 4$. A graph $G$ is co-chordal if $G^{c}$ is chordal. The co-chordal number of $G$, denoted ${\rm co\mbox{-}chord}(G)$, is the smallest number of subgraphs of $G$ such that $G=G_{1}\cup\cdots\cup G_{s}$ and each $G_{i}^{c}$ is a chordal graph.

A claw is the graph with $V(G)=\{x_{1},x_{2},x_{3},x_{4}\}$ with edges $E(G)=\{x_{1}x_{2},x_{1}x_{3},x_{1}x_{4}\}$. A graph is claw-free if no induced subgraph of the graph is a claw. A graph $G$ is gap-free if no induced subgraph of $G^{c}$ is a $C_{4}$. Finally, the complete graph $K_{n}$ is the graph with $V(K_{n})=\{x_{1},\ldots,x_{n}\}$ and $E(K_{n})=\{x_{i}x_{j}~{}|~{}1\leq i<j\leq n\}$.

2.2. Algebraic preliminaries

We recall some facts about the regularity of $I(G)$. Note that for any homogeneous ideal, ${\rm reg}(I)={\rm reg}(R/I)+1$.

We collect together a number of useful results on the regularity of edge ideals.

Theorem 2.1**.**

Let $G$ be a finite simple graph. Then

1. $(i)$

if $G=H\cup K$, with $H$ and $K$ disjoint, then

[TABLE] 2. $(ii)$

${\rm reg}(I(G))=2$* if and only if $G^{c}$ is a chordal graph.* 3. $(iii$)

${\rm reg}(I(G))\leq{\rm co\mbox{-}chord}(G)+1$. 4. $(iv)$

if $G$ is gap-free and claw-free, then ${\rm reg}(I(G))\leq 3$. 5. $(v)$

if $x\in V(G)$, then ${\rm reg}(I(G))\in{\{{\rm reg}(I(G\setminus N_{G}[x]))+1,{\rm reg}(I(G\setminus x))\}}.$

Proof.

For $(i)$, see Woodroofe [20, Lemma 8]. Statement $(ii)$ is Fröberg’s Theorem [5, Theorem 1]. Woodroofe [20, Theorem 1] first proved $(iii)$. Nevo first proved $(iv)$ in [13, Theorem 5.1]. For $(v)$, see Dao, Huneke, and Schweig [2, Lemma 3.1]. ∎

We require a result of Kalai and Meshulam [10] that has been specialized to edge ideals.

Theorem 2.2**.**

[10, Theorems 1.4 and 1.5]** Let $G$ be a finite simple graph, and suppose $H$ and $K$ are subgraphs such that $G=H\cup K$. Then,

1. $(i)$

${\rm reg}(R/I(G))\leq{\rm reg}(R/I(H))+{\rm reg}(R/I(K))$, and 2. $(ii)$

${\rm pd}(I(G))\leq{\rm pd}(I(H))+{\rm pd}(I(K))+1$.

We now introduced a new result on the regularity of edge ideals. In fact, because our result holds for all square-free monomial ideals, we present the more general case.

Recall the following facts about simplicial complexes. A simplicial complex $\Delta$ on a vertex set $V=\{x_{1},\ldots,x_{n}\}$ is a set of subsets of $V$ that satisfies: $(i)$ if $F\in{\Delta}$ and $G\subseteq F$, then $G\in{\Delta}$, and $(ii)$ for each $i\in{\{1,\ldots,n\}}$, $\{x_{i}\}\in\Delta$. Note that condition $(i)$ implies that $\emptyset\in{\Delta}$. The elements of $\Delta$ are called its faces. For any $W\subseteq V$, the restriction of $\Delta$ to $W$ is the simplicial complex $\Delta_{W}=\{F\in{\Delta}\mid F\subseteq W\}$.

The dimension of a face $F\in{\Delta}$ is given by ${\rm dim}(F)=\left|F\right|-1$. The dimension of a simplicial complex, denoted by ${\rm dim}(\Delta)$, is the maximum dimension of all its faces. Let $f_{i}$ be the number of faces of $\Delta$ of dimension $i$, with the convention that $f_{-1}=1$. If ${\rm dim}(\Delta)=D$, then the $f$-vector of $\Delta$ is the $(D+2)$-tuple $f(\Delta)=(f_{-1},f_{0},\ldots,f_{D})$.

Given any simplicial complex $\Delta$ on $V$, associate with $\Delta$ a monomial ideal $I_{\Delta}$ in the polynomial ring $R=k[x_{1},\ldots,x_{n}]$ (with $k$ a field) as follows:

[TABLE]

The ideal $I_{\Delta}$ is the Stanley-Reisner ideal of $\Delta$. This construction can be reversed. Given a square-free monomial ideal $I$ of $R$, the simplicial complex associated with $I$ is

[TABLE]

Given a square-free monomial ideal $I$, Hochster’s Formula relates the Betti numbers of $I$ to the reduced simplicial homology of $\Delta(I)$. See [19, Section 6.2] for more background on $\widetilde{H}_{j}(\Gamma;k)$, the $j$-th reduced simplicial homology group of a simplicial complex $\Gamma$.

Theorem 2.3**.**

(Hochster’s Formula)*

Let $I\subseteq R=k[x_{1},\ldots,x_{n}]$ be a square-free monomial ideal, and set $\Delta=\Delta(I)$. Then, for all $i,j\geq 0$,*

[TABLE]

Given a simplicial complex $\Delta$ of dimension $D$, the dimensions of the homology groups $\widetilde{H}_{i}(\Delta;k)$ are related to the $f$-vector $f(\Delta)$ via the reduced Euler characteristic:

[TABLE]

Note that the reduced Euler characteristic is normally defined to be equal to one of the two sums, and then one proves the two sums are equal (e.g., see [19, Section 6.2]).

Our new result on the regularity of square-free monomial ideals allows us to determine ${\rm reg}(I)$ exactly if we have enough partial information on the regularity, projective dimension, and the reduced Euler characteristic.

Theorem 2.4**.**

Let $I$ be a square-free monomial ideal of $R=k[x_{1},\ldots,x_{n}]$ with associated simplicial complex $\Delta=\Delta(I)$.

1. $(i)$

Suppose that ${\rm reg}(I)\leq r$ and ${\rm pd}(I)\leq n-r+1$.

1. $(a)$

If $r$ is even and $\widetilde{\chi}(\Delta)>0$, then ${\rm reg}(I)=r$. 2. $(b)$

If $r$ is odd and $\widetilde{\chi}(\Delta)<0$, then ${\rm reg}(I)=r$. 2. $(ii)$

Suppose that ${\rm reg}(I)\leq r$ and ${\rm pd}(I)\leq n-r$. If $\widetilde{\chi}(\Delta)\neq 0$, then ${\rm reg}(I)=r$.

Proof.

By Hochster’s Formula (Theorem 2.3), note that $\beta_{a,n}(I)=\dim_{k}\widetilde{H}_{n-a-2}(\Delta;k)$ for all $a\geq 0$ since the only subset $W\subseteq V$ with $|W|=n$ is $V$.

$(i)$ If ${\rm reg}(I)\leq r$ and ${\rm pd}(I)\leq n-r+1$ we have $\beta_{a,n}(I)=0$ for all $a\leq n-r-1$ and $\beta_{a,n}(I)=0$ for all $a\geq n-r+2$. Consequently, among all the graded Betti numbers of form $\beta_{a,n}(I)$ as $a$ varies, all but $\beta_{n-r,n}(I)=\dim_{k}\widetilde{H}_{r-2}(\Delta;k)$ and $\beta_{n-r+1,n}(I)=\dim_{k}\widetilde{H}_{r-3}(\Delta;k)$ may be non-zero. Thus by (2.1)

[TABLE]

If we now suppose that $r$ is even and $\widetilde{\chi}(\Delta)>0$, the above expression implies

[TABLE]

and thus $\beta_{n-r,r}(I)=\dim_{k}\widetilde{H}_{r-2}(\Delta;k)\neq 0$. As a consequence, ${\rm reg}(I)=r$, thus proving $(a)$. Similarly, if $r$ is odd and $\widetilde{\chi}(\Delta)<0$, this again forces $\beta_{n-r,r}(I)=\dim_{k}\widetilde{H}_{r-2}(\Delta;k)\neq 0$, thus proving $(b)$.

$(ii)$ Similar to part $(i)$, the hypotheses on the regularity and projective dimension imply that $\widetilde{\chi}(\Delta)=\beta_{n-r,n}(I)=(-1)^{r-2}\dim_{k}\widetilde{H}_{r-2}(\Delta;k)$. So, if $\widetilde{\chi}(\Delta)\neq 0$, then $\beta_{n-r,n}(I)\neq 0$, which implies ${\rm reg}(I)=r$. ∎

Remark 2.5**.**

There is a similar result to Theorem 2.4 for the projective dimension of $I$. In particular, under the assumptions of $(i)$ and if $r$ is even and $\widetilde{\chi}(\Delta)<0$, or if $r$ is odd and $\widetilde{\chi}(\Delta)>0$, then the proof of Theorem 2.4 shows that ${\rm pd}(I)=n-r+1.$ Under the assumptions of $(ii)$, then ${\rm pd}(I)=n-r$.

We will apply Theorem 2.4 to compute the regularity of cubic circulant graphs (see Theorem 4.6). We will also require the following terminology and results which relates the reduced Euler characteristic to the independence polynomial of a graph.

A subset $W\subseteq V(G)$ is an independent set if for all $e\in{E(G)}$, $e\nsubseteq W$. The independence complex of $G$ is the set of all independent sets:

[TABLE]

Note that ${\rm Ind}(G)=\Delta_{I(G)}$, the simplicial complex associated with the edge ideal $I(G)$.

The independence polynomial of a graph $G$ is defined as

[TABLE]

where $i_{r}$ is the number of independent sets of cardinality $r$. Note that $(i_{0},i_{1},\ldots,i_{\alpha})=(f_{-1},f_{0},\ldots,f_{\alpha-1})$ is the $f$-vector of ${\rm Ind}(G)$. Since $\widetilde{\chi}({\rm Ind}(G))=\sum_{i=-1}^{\alpha-1}(-1)^{i}f_{i}$, we get:

[TABLE]

Thus, the value of $\widetilde{\chi}({\rm Ind}(G))$ can be extracted from the independence polynomial $I(G,x)$.

3. The regularity of the edge ideals of

$C_{n}(1,\ldots,\widehat{j},\ldots,\lfloor\frac{n}{2}\rfloor)$

In this section we compute the regularity of the edge ideal of the circulant graph $G=C_{n}(S)$ with $S=\{1,\ldots,\widehat{j},\ldots,\lfloor\frac{n}{2}\rfloor\}$ for any $j\in\{1,\ldots,\lfloor\frac{n}{2}\rfloor\}$.

We begin with the observation that the complement of $G$ is also a circulant graph, and in particular, $G^{c}=C_{n}(j)$. Furthermore, we have the following structure result.

Lemma 3.1**.**

Let $H=C_{n}(j)$ with $1\leq j\leq\left\lfloor\frac{n}{2}\right\rfloor$, and set $d={\rm gcd}(j,n)$. Then $H$ is the union of $d$ disjoint cycles of length $\frac{n}{d}$. Furthermore, $H$ is a chordal graph if and only if $n=2j$ or $n=3d$.

Proof.

Label the vertices of $H$ as $\{0,1,\ldots,n-1\}$, and set $d={\rm gcd}(j,n)$. For each $0\leq i<d$, the induced graph on the vertices $\{i,j+i,2j+i,\ldots,(d-1)j+i\}$ is a cycle of length $\frac{n}{d}$, thus proving the first statement (if $\frac{n}{d}=2$, then $H$ consists of disjoint edges). For the second statement, if $n=3d$, then $H$ is the disjoint union of three cycles, and thus chordal. If $n=2j$, then $H$ consists of $j$ disjoint edges, and consequently, is chordal. Otherwise, $\frac{n}{d}\geq 4$, and so $H$ is not chordal. ∎

Lemma 3.2**.**

Let $G=C_{n}(1,\ldots,\widehat{j},\ldots,\lfloor\frac{n}{2}\rfloor)$, and $d={\rm gcd}(j,n)$. If $\frac{n}{d}\geq 5$, then $G$ is claw-free.

Proof.

Suppose that $G$ has an induced subgraph $H$ on $\{z_{1},z_{2},z_{3},z_{4}\}\subseteq V(G)$ that is a claw. Then $H^{c}$ is an induced subgraph of $G^{c}$ of the form:

z_{4}$$z_{2}$$z_{3}$$z_{1}

But by Lemma 3.1, the induced cycles of $G^{c}$ have length $\frac{n}{d}\geq 5$. Thus $G$ is claw-free. ∎

We now come to the main theorem of this section.

Theorem 3.3**.**

Let $G=C_{n}(1,\ldots,\widehat{j},\ldots,\lfloor\frac{n}{2}\rfloor)$. If $d={\rm gcd}(j,n)$, then

[TABLE]

Proof.

Consider $G^{c}=C_{n}(j)$. By Lemma 3.1, $G^{c}$ consists of induced cycles of size $k=\frac{n}{d}$. Because $1\leq j\leq\lfloor\frac{n}{2}\rfloor$, we have $2\leq k\leq n$. If $k=2$ or $3$, i.e., if $n=2j$ or $n=3d$, Lemma 3.1 and Theorem 2.1 $(ii)$ combine to give ${\rm reg}(I(G))=2$. If $k\geq 5$, then Lemmas 3.1 and 3.2 imply that $G$ is gap-free and claw-free (but not chordal), and so Theorem 2.1 $(iv)$ implies ${\rm reg}(I(G))=3$.

To compete the proof, we need to consider the case $k=4$, i.e., $G=C_{4j}(1,\ldots,\widehat{j},\ldots,2j)$. By Lemma 3.1, $G^{c}$ is $j$ disjoint copies of $C_{4}$, and thus Theorem 2.1 $(ii)$ gives ${\rm reg}(I(G))\geq 3$. To prove that ${\rm reg}(I(G))=3$, we show ${\rm co\mbox{-}chord}(G)=2$, and apply Theorem 2.1 $(iii)$.

Label the vertices of $G$ as $0,1,\ldots,4j-1$, and let

[TABLE]

Observe that the induced graph on $V_{1}$ (and $V_{2})$ is the complete graph $K_{2j}$.

Let $G_{1}$ be the graph with $V(G_{1})=V(G)$ and edge set $E(G_{1})=(E(C_{4j}(1,\ldots,j-1))\cup E(G_{V_{1}}))\setminus E(G_{V_{2}})$. Similarly, we let $G_{2}$ be the graph with $V(G_{2})=V(G)$ and edge set $E(G_{2})=(E(C_{4j}(j+1,\ldots,2j))\cup E(G_{V_{2}}))\setminus E(G_{V_{1}})$.

We now claim that $G=G_{1}\cup G_{2}$, and furthermore, both $G_{1}^{c}$ and $G_{2}^{c}$ are chordal, and consequently, ${\rm co\mbox{-}chord}(G)=2$. The fact that $G=G_{1}\cup G_{2}$ follows from the fact that

[TABLE]

To show that $G_{1}^{c}$ is chordal, first note that the induced graph on $V_{1}$, that is, $(G_{1})_{V_{1}}$ is the complete graph $K_{2j}$. In addition, the vertices $V_{2}$ form an independent set of $G_{1}$. To see why, note that if $a,b\in V_{2}$ are such that $ab\in E(G)$, then $ab\in E(G_{V_{2}})$. But by the construction of $E(G_{1})$, none of the edges of $E(G_{V_{2}})$ belong to $E(G_{1})$. So $ab\not\in E(G_{1})$, and thus $V_{2}$ is an independent set in $G_{1}$.

The above observations therefore imply that in $G_{1}^{c}$, the vertices of $V_{1}$ form an independent set, and $(G_{1}^{c})_{V_{2}}$ is the clique $K_{2j}$. To show that $G_{1}^{c}$ is chordal, suppose that $G_{1}^{c}$ has a induced cycle of length $t\geq 4$ on $\{v_{1},v_{2},v_{3},\ldots,v_{t}\}$. Since the induced graph on $(G_{1}^{c})_{V_{2}}$ is a clique, at most two of the vertices of $\{v_{1},v_{2},\ldots,v_{t}\}$ can belong to $V_{2}$. Indeed, if there were at least three $v_{i},v_{j},v_{k}\in\{v_{1},v_{2},\ldots,v_{t}\}\cap V_{2}$, then the induced graph on these vertices is a three cycle, contradicting the fact that $\{v_{1},v_{2},\ldots,v_{t}\}$ is minimal induced cycle of length $t\geq 4$. But then at least $t-2\geq 2$ vertices of $\{v_{1},v_{2},\ldots,v_{t}\}$ must belong to $V_{1}$, and in particular, at least two of them are adjacent. But this cannot happen since the vertices of $V_{1}$ are independent in $G_{1}^{c}$. Thus, $G_{1}^{c}$ must be a chordal graph.

The proof that $G_{2}^{c}$ is chordal is similar. Note that the vertices of $V_{2}$ are an independent set, and $(G_{2}^{c})_{V_{1}}$ is the clique $K_{2j}$. The proof now proceeds as above. ∎

4. Cubic circulant graphs

We now compute the regularity of the edge ideals of cubic circulant graphs, that is, a circulant graph where every vertex has degree three. Cubic circulant graphs have the form $G=C_{2n}(a,n)$ with $1\leq a\leq n$. The main result of this section can also be viewed as an application of Theorem 2.4 to compute the regularity of a square-free monomial ideal.

We begin with a structural result for cubic circulants due to Davis and Domke.

Theorem 4.1**.**

[3]** Let $1\leq a<n$ and $t={\rm gcd}(2n,a)$.

1. $(a)$

If $\frac{2n}{t}$ is even, then $C_{2n}(a,n)$ is isomorphic to $t$ copies of $C_{\frac{2n}{t}}(1,\frac{n}{t})$. 2. $(b)$

If $\frac{2n}{t}$ is odd, then $C_{2n}(a,n)$ is isomorphic to $\frac{t}{2}$ copies of $C_{\frac{4n}{t}}(2,\frac{2n}{t})$.

By combining the previous theorem with Theorem 2.1 $(i)$, to compute the regularity of the edge ideal of any cubic circulant graph, it suffices to compute the regularity of the edge ideals of $C_{2n}(1,n)$ and $C_{2n}(2,n)$. Observe that $n$ must be odd in $C_{2n}(2,n)$. It will be convenient to use the representation and labelling of these two graphs in Figure 2.

Our strategy is to use Theorem 2.4 to compute the regularity of these two graphs. Thus, we need bounds on ${\rm reg}(I(G))$ and ${\rm pd}(I(G))$, and information about the reduced Euler characteristic of ${\rm Ind}(G)$ when $G=C_{2n}(1,n)$ or $G_{2n}(2,n)$.

We first bound the regularity and the projective dimension. We introducing the following three families of graphs, where the $t\geq 1$ denotes the number of “squares”:

1. $(i)$

The family $A_{t}$:

[TABLE] 2. $(ii)$

The family $B_{t}$:

[TABLE] 3. $(iii)$

The family $D_{t}$:

[TABLE]

Lemma 4.2**.**

With the notation as above, we have

1. $(i)$

If $G=A_{t}$, then

[TABLE] 2. $(ii)$

If $G=B_{t}$, then

[TABLE] 3. $(iii)$

If $G=D_{t}$ and $t=2l+1$ with $l$ an odd number, then ${\rm reg}(I(G))\leq\frac{t+3}{2}$.

Proof.

$(i)$ The proof is by induction on $t$. Via a direct computation (for example, using Macaulay2), one finds ${\rm reg}(I(A_{1}))=2$, ${\rm reg}(I(A_{2}))=3$, ${\rm pd}(I(A_{1}))=2$, and ${\rm pd}(I(A_{2}))=4$. Our values agree with the upper bounds given in the statement, so the base cases hold.

Now suppose that $t\geq 3$. The graph $A_{t}$ can be decomposed into the subgraphs $A_{1}$ and $A_{t-2}$, i.e.,

[TABLE]

Suppose that $t$ is even. By Theorem 2.2 and by induction (and the fact that ${\rm reg}(R/I)={\rm reg}(I)-1$) we get

[TABLE]

and

[TABLE]

Because the proof for when $t$ is odd is similar, we omit it.

$(ii)$ A direct computation shows ${\rm reg}(I(B_{1}))=2$ and ${\rm reg}(I(B_{2}))=3$. If $t\geq 3$, we decompose $B_{t}$ into the subgraphs $B_{1}$ and $A_{t-2}$, i.e.,

[TABLE]

Suppose that $t$ is even. Since ${\rm reg}(I(B_{1}))=2$, Theorem 2.2 and part $(i)$ above gives us:

[TABLE]

Therefore ${\rm reg}(I(B_{t}))\leq\frac{t+2}{2}+1=\frac{t+4}{2}$. When $t$ is odd, the proof is similar.

$(iii)$ Because $t=2l+1$ with $l$ odd, the graph $D_{t}$ can be decomposed into $l+1$ subgraphs of the form $A_{1}$, i.e.,

[TABLE]

Since ${\rm reg}(I(A_{1}))=2$, by Theorem 2.2 we get ${\rm reg}(R/I(D_{t}))\leq(l+1){\rm reg}(R/I(A_{1}))=l+1$. Thus ${\rm reg}(I(D_{t}))\leq l+2=\frac{t+3}{2}$. ∎

We now bound the projective dimensions of the edge ideals of $C_{2n}(1,n)$ and $C_{2n}(2,n)$.

Lemma 4.3**.**

Let $n\geq 4$.

1. $(i)$

If $G=C_{2n}(1,n)$, then

[TABLE] 2. $(ii)$

If $G=C_{2n}(2,n)$, then ${\rm pd}(I(G))\leq 3k+1$ where $n=2k+1$.

Proof.

$(i)$ Let $G=C_{2n}(1,n)$, suppose that $n=2k+1$. The graph $C_{2n}(1,n)$ can be decomposed into the subgraphs $A_{1}$ and $A_{2k-2}$, i.e.,

[TABLE]

Note that since $n\geq 4$ and $n$ odd, $2k-2\geq 2$. Combining Theorem 2.2 and Lemma 4.2 we get:

[TABLE]

If $n=2k$, $C_{2n}(1,n)$ can be decomposed as in the previous case with the only difference being that $C_{2n}(1,n)$ can be decomposed into the union of the subgraphs $A_{1}$ and $A_{2k-3}$. By Theorem 2.2 and Lemma 4.2:

[TABLE]

$(ii)$ Let $G=C_{2n}(2,n)$ with $n=2k+1$. We can draw $G$ as

[TABLE]

The previous representation of $G$ contains $2k$ squares. Then the graph $G$ can be decomposed into the subgraphs $A_{1}$ and $A_{2k-2}$, and the proof runs as in $(i)$. ∎

We now determine bounds on the regularity.

Lemma 4.4**.**

Let $n\geq 4$.

1. $(i)$

If $G=C_{2n}(1,n)$, then

[TABLE] 2. $(ii)$

If $G=C_{2n}(2,n)$, then

[TABLE]

Proof.

$(i)$ Let $G=C_{2n}(1,n)$. We now consider three cases.

Case 1. $n=2k$.

In Lemma 4.3 $(i)$ we saw that $G$ can be decomposed into the subgraphs $A_{1}$ and $A_{2k-3}$. By Theorem 2.2 and Lemma 4.2 we get:

[TABLE]

Case 2. $n=2k+1$ with $k$ an odd number.

Using Lemma 2.1 $(v)$, we have:

[TABLE]

If we set $W=G\setminus x_{1}$, then by applying Lemma 2.1 $(v)$ again, we have

[TABLE]

We have $G\setminus N[x_{1}]\cong W\setminus N[x_{n+1}]\cong D_{2k-3}$. Moreover, $2k-3=2(k-2)+1$, and since $k$ is an odd number, $k-2$ is also odd. Thus by Lemma 4.2 $(iii)$ we obtain ${\rm reg}(I(D_{2k-3}))\leq\frac{2k-3+3}{2}=k$. On the other hand, the graph $W\setminus x_{n+1}=(G\setminus x_{1})\setminus x_{n+1}\cong B_{2k-1}$, so by Lemma 4.2 $(ii)$ we have ${\rm reg}(I(W\setminus x_{n+1}))\leq\frac{2k-1+3}{2}\leq k+1$. Thus, ${\rm reg}(I(G))\leq k+1$.

Case 3. $n=2k+1$ with $k$ an even number.

In Lemma 4.3 $(i)$ we saw that $G$ can be decomposed into the subgraphs $A_{1}$ and $A_{2k-2}$, and the proof runs as in Case 1.

$(ii)$ Let $G=C_{2n}(2,n)$. We consider two cases.

Case 1. $n=2k+1$ with $k$ an even number.

As in the second case of $(i)$, by Lemma 2.1 $(v)$ we have

[TABLE]

where $W=G\setminus x_{1}$. In particular, $W\setminus N[x_{n+1}]\cong G\setminus N[x_{1}]$. The graph $G\setminus N[x_{1}]$ can be represented as

[TABLE]

The previous representation of $G\setminus N[x_{1}]$ contains $2k-3$ squares. It follows that $G\setminus N[x_{1}]$ can be decomposed into the subgraphs $D_{2k-5}$ and $A_{1}$, i.e.,

[TABLE]

Note that $2k-5=2(k-3)+1$, and because $k$ is even, then $k-3$ is odd. Using Theorem 2.2 and Lemma 4.2 we get:

[TABLE]

The graph $W\setminus x_{n+1}\cong B_{2k-1}$. So by Lemma 4.2 $(ii)$ we have ${\rm reg}(I(W\setminus x_{n+1}))\leq\frac{2k-1+3}{2}=k+1$. Consequently, ${\rm reg}(I(G))\leq k+1$, as desired.

Case 2. $n=2k+1$ with $k$ an odd number.

The result follows from the fact that the graphs $C_{2n}(2,n)$ can be decomposed into the subgraphs $A_{1}$ and $A_{2k-2}$, and so ${\rm reg}(I(G))\leq{\rm reg}(I(A_{1}))+{\rm reg}(I(A_{2k-2}))-1$. ∎

Our final ingredient is a result of Hoshino [8, Theorem 2.26] (also see Brown-Hoshino [1, Theorem 3.5]) which describes the independence polynomial for cubic circulant graphs.

Theorem 4.5**.**

For each $n\geq 2$, set

[TABLE]

1. $(i)$

If $G=C_{2n}(1,n)$ with $n$ even, or if $G=C_{2n}(2,n)$ with $n$ odd, then $I(G,x)=I_{n}(x)$. 2. $(ii)$

If $G=C_{2n}(1,n)$ and $n$ odd, then $I(G,x)=I_{n}(x)+2x^{n}$.

We now come to the main result of this section.

Theorem 4.6**.**

Let $1\leq a<n$ and $t={\rm gcd}(2n,a)$.

1. $(a)$

If $\frac{2n}{t}$ is even, then:

[TABLE] 2. $(b)$

If $\frac{2n}{t}$ is odd, then:

[TABLE]

Proof.

The formulas can verified directly for the special cases that $n=2$ (i.e., $G=C_{4}(1,2)$) or $n=3$ (i.e., $G=C_{6}(1,3)$ and $C_{6}(2,3)$). We can therefore assume $n\geq 4$. In light of Theorem 4.1 and Lemma 2.1 $(i)$ it will suffice to prove that the inequalities of Lemma 4.4 are actually equalities. We will make use Theorem 2.4. We consider five cases, where the proof of each case is similar.

Case 1. $G=C_{2n}(1,n)$ with $n=2k$.

In this case, Lemma 4.3 gives ${\rm pd}(I(G))\leq 3k-1$, Lemma 4.4 gives ${\rm reg}(I(G))\leq k+1$. Furthermore, since $\widetilde{\chi}({\rm Ind}(G))=-I(G,-1)$ by equation (2.2), Theorem 4.5 gives $\widetilde{\chi}({\rm Ind}(G))=-1$. Because $G$ has $4k=(k+1)+(3k-1)$ vertices, Theorem 2.4 $(ii)$ implies ${\rm reg}(I(G))=k+1$.

Case 2. $G=C_{2n}(1,n)$ with $n=2k+1$ and $k$ even.

We have ${\rm reg}(I(G))\leq k+2$ and ${\rm pd}(I(G))\leq 3k+1=(4k+2)-(k+2)+1=n-(k+2)+1$ by Lemmas 4.3 and 4.4, respectively. Because $n$ is odd, $\widetilde{\chi}({\rm Ind}(G))=-[I_{n}(-1)+2(-1)^{n}]=-[1-2]=1>0$. So, ${\rm reg}(I(G))=k+2$ by Theorem 2.4 $(i)$ $(a)$ because $k+2$ is even and $\widetilde{\chi}({\rm Ind}(G))>0$.

Case 3. $G=C_{2n}(1,n)$ with $n=2k+1$ and $k$ odd.

We have ${\rm reg}(I(G))=k+1$ by Theorem 2.4 $(ii)$ because ${\rm reg}(I(G))\leq k+1$ (Lemma 4.4), ${\rm pd}(I(G))\leq 3k+1$ (Lemma 4.3), $2n=4k+2$ is the number of variables, and $\widetilde{\chi}({\rm Ind}(G))\neq 0$.

Case 4. $G=C_{2n}(2,n)$ with $n=2k+1$ and $k$ even.

We have ${\rm reg}(I(G))=k+1$ from Theorem 2.4 $(ii)$ since ${\rm reg}(I(G))\leq k+1$ (Lemma 4.4) ${\rm pd}(I(G))\leq 3k+1$ (Lemma 4.3), and $\widetilde{\chi}({\rm Ind}(G))=-I(G,-1)=-1\neq 0$ (Theorem 4.5).

Case 5. $G=C_{2n}(2,n)$ with $n=2k+1$ and $k$ odd.

In our final case, ${\rm reg}(I(G))\leq k+2$ by Lemma 4.4, ${\rm pd}(I(G))\leq 3k+1$ by Lemma 4.3. Since $n$ is odd, $\widetilde{\chi}({\rm Ind}(G))=-I(G,-1)=-1$ by Theorem 4.5. Since $k$ is odd, $k+2$ is odd. Because $2n=4k+2$ is the number of variables, we have ${\rm reg}(I(G))=k+2$ by Theorem 2.4 $(i)$ $(b)$.

These five cases now complete the proof. ∎