All articles published by MDPI are made immediately available worldwide under an open access license. No special
permission is required to reuse all or part of the article published by MDPI, including figures and tables. For
articles published under an open access Creative Common CC BY license, any part of the article may be reused without
permission provided that the original article is clearly cited. For more information, please refer to
Feature papers represent the most advanced research with significant potential for high impact in the field. A Feature
Paper should be a substantial original Article that involves several techniques or approaches, provides an outlook for
future research directions and describes possible research applications.
Feature papers are submitted upon individual invitation or recommendation by the scientific editors and must receive
positive feedback from the reviewers.
Editor’s Choice articles are based on recommendations by the scientific editors of MDPI journals from around the world.
Editors select a small number of articles recently published in the journal that they believe will be particularly
interesting to readers, or important in the respective research area. The aim is to provide a snapshot of some of the
most exciting work published in the various research areas of the journal.
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.
Let G be any finite simple graph with vertex set and edge set , where simple means no loops or multiple edges. The edge ideal of G is the ideal in , a standard graded polynomial ring over a field k (k is any field). Describing the dictionary between the graph theoretic properties of G and the algebraic properties of or is an active area of research; e.g., see [1,2].
Relating the homological invariants of 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 is a long exact sequence of the form:
where . Here, denotes the free R-module obtained by shifting the degrees of R by j, that is . We denote by the graded Betti number of ; this number equals the number of minimal generators of degree j in the syzygy module of . Two invariants that measure the “size” of the resolution are the (Castelnuovo–Mumford) regularity and the projective dimension, defined as:
One wishes to relate the numbers to the invariants of G; e.g., see the survey of Hà , which focuses on describing in terms of the invariants of G.
In this note, we give explicit formulas for 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,5,6,7,8,9,10,11]). Fix an integer and a subset . The circulant graph is the graph on the vertex set such that if and only if or . To simplify notation, is sometimes written for . As an example, the graph is drawn in Figure 1.
When , then , the clique on n vertices. On the other hand, if , then , the cycle on n vertices. For both of these families, the regularity of their edge ideals is known. Specifically, the ideal has a linear resolution by Fröberg’s theorem , so . The value of can be deduced from the work of Jacques (, Theorem 7.6.28). One can view these circulant graphs as “extremal” cases in the sense that is either as large or as small as possible.
Our motivation is to understand the next open cases. In particular, generalizing the case of , we compute when for any (Theorem 5). For most j, the regularity follows from Fröberg’s theorem and a result of Nevo . To generalize the case of (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 with (Theorem 8). Our proof of Theorem 8 requires a new technique to compute for a square-free monomial ideal. Specifically, we show how to use partial information about , , and the reduced Euler characteristic of the simplicial complex associated with I to determine exactly (see Theorem 4). We believe this result to be of independent interest.
We use the following outline. We first 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 for the family of graphs . In Section 4, we give an explicit formula for the regularity of edge ideals of cubic circulant graphs.
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 denote a finite simple graph. We abuse notation and write for the edge . The complement of G, denoted , is the graph where and . The neighbours of are the set . The closed neighbourhood of x is . The degree of x is . If we need to highlight the graph, we write or .
A graph is a subgraph of G if and . Given a subset , the induced subgraph of G on W is the graph where . Notice that an induced subgraph is a subgraph of G, but not every subgraph of G is an induced subgraph.
An n-cycle, denoted , is the graph with and edges . A graph G has a cycle of length n if G has a subgraph of the form . A graph is a chordal graph if G has no induced graph of the form with . A graph G is co-chordal if is chordal. The co-chordal number of G, denoted , is the smallest number of subgraphs of G such that , and each is a chordal graph.
A claw is the graph with with edges . 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 is a . Finally, the complete graph is the graph with and .
2.2. Algebraic Preliminaries
We recall some facts about the regularity of . Note that for any homogeneous ideal, .
We collect together a number of useful results on the regularity of edge ideals.
Let G be a finite simple graph. Then:
if , with H and K disjoint, then:
if and only if is a chordal graph.
if G is gap-free and claw-free, then .
if , then
For , see Woodroofe (, Lemma 8). Statement is Fröberg’s Theorem (, Theorem 1). Woodroofe (, Theorem 1) first proved . Nevo first proved in  (Theorem 5.1). For , see Dao, Huneke, and Schweig (, Lemma 3.1). ☐
We require a result of Kalai and Meshulam  that has been specialized to edge ideals.
(, Theorems 1.4 and 1.5) Let G be a finite simple graph, and suppose H and K are subgraphs such that . Then,
We now introduce 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.
We review some facts about simplicial complexes. Given a vertex set , a simplicial complex on V is a set of subsets of V that satisfies the properties: if and , then , and for . Note that by since by (if is not the empty complex). An element of is called a face. For any , the restriction of to W is the simplicial complex .
The dimension of is . The dimension of a complex , denoted , is . Let equal the number of faces of of dimension i; we adopt the convention that . If , then the f-vector of is the -tuple .
We can associate with any simplicial complex on V a monomial ideal in the polynomial ring (with k a field) as follows:
The ideal is the Stanley–Reisner ideal of . This construction can be reversed. Given a square-free monomial ideal I of R, the simplicial complex associated with I is:
Given a square-free monomial ideal I, Hochster’s formula relates the Betti numbers of I to the reduced simplicial homology of . See  (Section 6.2) for more background on , the reduced simplicial homology group of a simplicial complex .
(Hochster’s formula) Let be a square-free monomial ideal, and set . Then, for all ,
Given a simplicial complex of dimension D, the dimensions of the homology groups are related to the f-vector via the reduced Euler characteristic:
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 , Section 6.2).
Our new result on the regularity of square-free monomial ideals allows us to determine exactly if we have enough partial information on the regularity, projective dimension, and the reduced Euler characteristic.
Let I be a square-free monomial ideal of with associated simplicial complex .
Suppose that and .
If r is even and , then .
If r is odd and , then .
Suppose that and . If , then .
By Hochster’s formula (Theorem 3), note that for all since the only subset with is V.
If and , we have for all and for all . Consequently, among all the graded Betti numbers of the form as a varies, only and may be non-zero. Thus, by (1):
If we now suppose that r is even and , the above expression implies:
and thus, . As a consequence, , thus proving . Similarly, if r is odd and , this again forces , thus proving .
Similar to Part , the hypotheses on the regularity and projective dimension imply that . Therefore, if , then , which implies .
There is a similar result to Theorem 4 for the projective dimension of I. In particular, under the assumptions of and if r is even and , or if r is odd and , then the proof of Theorem 4 shows that Under the assumptions of , then .
We will apply Theorem 4 to compute the regularity of cubic circulant graphs (see Theorem 8). We will also require the following terminology and results that relate the reduced Euler characteristic to the independence polynomial of a graph.
A subset is an independent set if for all , . The set of independent sets forms a simplicial complex called the independence complex of G, that is,
Note that , the simplicial complex associated with the edge ideal .
The independence polynomial of a graph G is defined as:
where is the number of independent sets of cardinality r. Note that is the f-vector of . Since , we get:
Thus, the value of can be extracted from the independence polynomial .
3. The Regularity of the Edge Ideals of
In this section, we compute the regularity of the edge ideal of the circulant graph with for any .
We begin with the observation that the complement of G is also a circulant graph, and in particular, . Furthermore, we have the following structure result.
Let with , and set . Then, H is the union of d disjoint cycles of length . Furthermore, H is a chordal graph if and only if or .
Label the vertices of H as , and set . For each , the induced graph on the vertices is a cycle of length , thus proving the first statement (if , then H consists of d disjoint edges). For the second statement, if , then , so H is the disjoint union of three cycles, and thus chordal. If , then H consists of j disjoint edges and, consequently, is chordal. Otherwise, , and so, H is not chordal. ☐
Let , and .
If , then G is claw-free.
If , then G is gap free.
For the first statement, suppose that G has an induced subgraph H on that is a claw. Then, is an induced subgraph of of the form:
However, by Lemma 1, the induced cycles of have length . Thus, G is claw-free.
The second statement also follows from Lemma 1 and the fact that a graph G is gap-free if and only if has no induced four cycles. ☐
The main result of this section is given below.
If , then:
Consider , and let . By Lemma 1, consists of induced cycles of length . Because , we have , and thus, . If or 3, i.e., if or , Lemma 1 and Theorem 1 combine to give . If , then Lemmas 1 and 2 imply that G is gap-free and claw-free (but not chordal), and so, Theorem 1 and implies .
To compete the proof, we need to consider the case . In this case, , and so, . However, because and , we have . Therefore, the graph G has the form . By Lemma 1, is j disjoint copies of , and thus, Theorem 1 gives . To prove that , we show and apply Theorem 1 .
Label the vertices of G as , and let:
Observe that the induced subgraph of G on (and is the complete graph .
Let be the graph with and edge set . Similarly, we let be the graph with and edge set .
We now claim that , and furthermore, both and are chordal and, consequently, . The equality follows from the fact that:
To show that is chordal, first note that the induced graph on , that is , is the complete graph . In addition, the vertices form an independent set of . To see why, note that if are such that , then . However, by the construction of , none of the edges of belong to . Therefore, , and thus, is an independent set in .
The above observations therefore imply that in , the vertices of form an independent set, and is the clique . To show that is chordal, suppose that has an induced cycle of length on . Since the induced graph on is a clique, at most two of the vertices of can belong to . Indeed, if there were at least three , then the induced graph on these vertices is a three cycle, contradicting the fact that is the minimal induced cycle of length . However, then at least vertices of must belong to , and in particular, at least two of them are adjacent. However, this cannot happen since the vertices of are independent in . Thus, must be a chordal graph.
The proof that is chordal is similar. Note that the vertices of are an independent set, and is the clique . 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. In general, a circulant graph is -regular (every vertex has degree ), except if , in which case, it is -regular. Consequently, cubic circulant graphs have the form with integers . The main result of this section can also be viewed as an application of Theorem 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 6 implies that a cubic circulant graph is the disjoint union of one or more connected cubic circulant graphs. Furthermore, the only connected cubic circulant graphs are those circulant graphs that are isomorphic to either the circulant for any or the circulant with odd (for the second circulant, if n is not odd, then Theorem 6 implies that this circulant is not connected). Recall from Theorem 1 that, to compute the regularity of a graph, it is enough to compute the regularity of each connected component. Therefore, it suffices to compute the regularity of the edge ideals of and with n odd. Moving forward, unless stated otherwise, we will restrict to connected cubic circulant graphs. Note it will be convenient to use the representation and labelling of these two graphs as in Figure 2.
Our strategy is to use Theorem 4 to compute the regularity of these two graphs. Thus, we need bounds on and and information about the reduced Euler characteristic of when or .
We first bound the regularity and the projective dimension. We introduce the following three families of graphs, where the denotes the number of “squares”:
The family :
The family :
The family :
With the notation as above, we have:
If , then:
If , then
If and with l an odd number, then .
The proof is by induction on t. Via a direct computation (for example, using Macaulay2 ), one finds , , , and . Our values agree with the upper bounds given in the statement, so the base cases hold.
Now, suppose that . The graph can be decomposed into the subgraphs and , i.e.,
Suppose that t is even. By Theorem 2 and by induction (and the fact that , we get:
Because the proof for when t is odd is similar, we omit it.
A direct computation shows and . If , we decompose into the subgraphs and , i.e.,
Suppose that t is even. Since , Theorem 2 and Part (i) above give us:
Therefore, . When t is odd, the proof is similar.
Because with l odd, the graph can be decomposed into subgraphs of the form , i.e.,
Since , by Theorem 2, we get . Thus, . ☐
In the above proof, we relied on computer computations for our base case. In general, the graded Betti numbers of an ideal may depend on the characteristic of the ground field. However, as shown by Katzman , the Betti numbers of edge ideals of graphs on 11 or less vertices are independent of the characteristic. Since the graphs in our induction steps have 11 or less vertices, the values found for our base cases hold in all characteristics.
We now bound the projective dimensions of the edge ideals of and . In the next two lemmas, we assume that . However, as we show in Theorem 8, the bounds (in fact, they are equalities) given in these lemmas also hold if or 3, i.e., if or .
If , then:
If , then where .
Let , and suppose that . The graph can be decomposed into the subgraphs and , i.e.,
Note that since and n is odd, . Combining Theorem 2 and Lemma 3, we get:
If , can be decomposed as in the previous case with the only difference being that can be decomposed into the union of the subgraphs and . By Theorem 2 and Lemma 3:
Let with . We can draw G as:
The previous representation of G contains 2k squares. Then, the graph G can be decomposed into the subgraphs A1 and , and the proof runs as in (i). ☐
We now determine bounds on the regularity.
If , then:
If , then
Let . We consider three cases.
In Lemma 4 , we saw that G can be decomposed into the subgraphs and . By Theorem 2 and Lemma 3, we get:
with k an odd number.
Using Theorem 1 , we have:
If we set , then by applying Theorem 1 again, we have:
We have . Moreover, , and since k is an odd number, is also odd. Thus, by Lemma 3 , we obtain . On the other hand, the graph , so by Lemma 3 , we have . Thus, .
with k an even number.
In Lemma 4 , we saw that G can be decomposed into the subgraphs and , and the proof runs as in Case 1.
Let . We consider two cases.
with k an even number.
As in the second case of , by Theorem 1 , we have:
where . In particular, . The graph can be represented as:
The previous representation of contains 2k − 3 squares. It follows that can be decomposed into the subgraphs and A1, i.e.,
Note that 2k − 5 = 2(k − 3) + 1, and because k is even, then k − 3 is odd. Using Theorem 2 and Lemma 3, we get:
The graph . Therefore, by Lemma 3 , we have . Consequently, , as desired.
with k an odd number.
The result follows from the fact that the graphs can be decomposed into the subgraphs and as seen in Lemma 4, and so, . ☐
Our final ingredient is a result of Hoshino (, Theorem 2.26) (also see Brown–Hoshino (), Theorems 3.2 and 3.5), which describes the independence polynomial for cubic circulant graphs.
The formulas can be verified directly for the special cases that (i.e., ) or (i.e., and ). We can therefore assume . In light of Theorem 6 and Theorem 1 , it will suffice to prove that the inequalities of Lemma 5 are actually equalities. We will make use of Theorem 4. We consider five cases, where the proof of each case is similar.
In this case, Lemma 4 gives , and Lemma 5 gives . Furthermore, since by Equation (2), Theorem 7 gives if , and if . Because G has vertices and since , Theorem 4 implies .
with and k even.
We have and by Lemmas 4 and 5, respectively. Because n is odd, . Therefore, by Theorem 4 because is even and .
with and k odd.
We have by Theorem 4 because (Lemma 5), (Lemma 4), is the number of variables, and .
with and k even.
We have from Theorem 4 since (Lemma 5), (Lemma 4), and (Theorem 7).
with and k odd.
In our final case, by Lemma 5, by Lemma 4. Since n is odd, by Theorem 7. Since k is odd, is odd. Because is the number of variables, we have by Theorem 4 .
These five cases now complete the proof. ☐
Writing, original draft preparation: M.E.U.-P. and A.V.T.; writing, review: M.E.U.-P. and A.V.T.
Van Tuyl’s research was funded by NSERC Grant Number RGPIN-2019-05412.
The authors thank Federico Galetto and Andrew Nicas for their comments and suggestions. We also thank the referees for their helpful comments, suggestions, and corrections. Computations using Macaulay2 inspired some of our results. The first author thanks CONACYT for financial support.
Conflicts of Interest
The authors declare no conflict of interest.
Morey, S.; Villarreal, R.H. Edge ideals: Algebraic and combinatorial properties. In Progress in Commutative Algebra 1; de Gruyter: Berlin, Gemany, 2012; pp. 85–126. [Google Scholar]
Villarreal, R.H. Monomial algebras. In Monographs and Research Notes in Mathematics; CRC Press: Boca Raton, FL, USA, 2015. [Google Scholar]
Hà, H.T. Regularity of squarefree monomial ideals. In Connections between Algebra, Combinatorics, and Geometry; Springer Proceedings in Mathematics & Statistics: New York, NY, USA, 2014; Volume 76, pp. 251–276. [Google Scholar] [CrossRef]
Earl, J.; Vander Meulen, K.N.; Van Tuyl, A. Independence complexes of well-covered circulant graphs. Experiment. Math.2016, 25, 441–451. [Google Scholar] [CrossRef]
Makvand, M.A.; Mousivand, A. Betti numbers of some circulant graphs. To appear Czechoslov. Math. J.2019. [Google Scholar] [CrossRef]
Mousivand, A. Circulant S2 graphs. Preprint2015, arXiv:1512.08141. [Google Scholar]
Rinaldo, G. Some algebraic invariants of edge ideal of circulant graphs. Bull. Math. Soc. Sci. Math. Roumanie (N.S.)2018, 61, 95–105. [Google Scholar]
Rinaldo, G.; Romeo, F. On the reduced Euler characteristic of independence complexes of circulant graphs. Discrete Math.2018, 341, 2380–2386. [Google Scholar] [CrossRef][Green Version]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely
those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or
the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas,
methods, instructions or products referred to in the content.