Abstract
The v-number of a graded ideal is an algebraic invariant introduced by Cooper et al., and originally motivated by problems in algebraic coding theory. In this paper we study the case of binomial edge ideals and we establish a significant connection between their v-numbers and the concept of connected domination in graphs. More specifically, we prove that the localization of the v-number at one of the minimal primes of the binomial edge ideal \(J_G\) of a graph G coincides with the connected domination number of the defining graph, providing a first algebraic description of the connected domination number. As an immediate corollary, we obtain a sharp combinatorial upper bound for the v-number of binomial edge ideals of graphs. Lastly, building on some known results on edge ideals, we analyse how the v-number of \(J_G\) behaves under Gröbner degeneration when G is a closed graph.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let K be a field, and let \(S=K[t_{1},\dots ,t_{n}]=\bigoplus _{d=0}^{\infty }S_{d}\) be the polynomial ring in n variables with the standard grading. Given a homogeneous ideal I of S, the v-number of I is the following invariant
If we define the v-number of I locally at each associated prime \(\mathfrak {p}\) of I as
it follows from the definition that \(\text{v}(I)=\min \{\text{v}_{\mathfrak {p}}(I) \mid \mathfrak {p} \in \text {Ass}(I)\}.\) We call \(\text{v}_{\mathfrak {p}}(I)\) the localization of \(\text{v}(I)\) at \(\mathfrak {p}\). From a geometric point of view, the local definition of v-numbers extends the notion of degree of a point in a finite set of projective points given in [12]. However, one of the main reasons that led to a systematic study of v-numbers comes from coding theory. In this context, Cooper et al. [4] introduced \(\text{v}\)-numbers of graded ideals in order to investigate the asymptotic behavior of the minimum distance function of projective Reed–Muller-type codes.
Regardless of its meaning in coding theory, the minimum distance function \(\delta _I\) (over the integers) is defined for any graded ideal in terms of the Hilbert–Samuel multiplicity of S/I (see [4, 29]). If I is radical, this function is non-increasing [30] and one can define the regularity index of \(\delta _I\), denoted by \(\text {reg}(\delta _I)\), as the smallest integer for which \(\delta _I\) stabilizes. From the viewpoint of algebraic coding theory, determining the regularity index is important since non-trivial evaluation codes can occur only if the degrees of the defining polynomials are smaller than the index of regularity. It turns out that, given a finite set of projective points \(\mathbb {X}\), the v-number of its vanishing ideal \(I(\mathbb {X})\) coincides with the index of regularity of the Reed–Muller type codes \(\{C_{\mathbb {X}}(d)\}_{d=1}^{\infty }\) associated to \(\mathbb {X}\), that is \(\text {reg}(\delta _{I(\mathbb {X})})=\text{v} (I(\mathbb {X}))\) [4], where \(\delta _{I(\mathbb {X})}(d)\) is the minimum distance of \(C_{\mathbb {X}}(d)\) in the classical sense of coding theory.
So far, in addition to vanishing ideals, v-numbers of squarefree monomial ideals have been broadly studied. These ideals have an intrinsic combinatorial nature and their algebraic properties often carry information on their underlying combinatorial structures, and viceversa. In [20] the authors consider these ideals as edge ideals of clutters and find a combinatorial expression for their \(\text{v}\)-numbers. This combinatorial description has been exploited to classify \(W_2\) graphs (see [20, Theorem 4.2]) and to study the combinatorial structure of graphs whose edge ideals have Cohen–Macaulay second symbolic power. Thanks to the one-to-one correspondence between clutters and simplicial complexes, the combinatorial expression of v-numbers of edge ideals given in [20] can be also rephrased in terms of free faces of a simplicial complex [3].
On the algebraic side, the first author and Villarreal verify that under suitable assumptions \(\text{v}(I) \le \text {reg}(S/I)\), where \(\text {reg}(S/I)\) is the Castelnuovo–Mumford regularity. Also, in [37] the authors provide some classes of graphs such that \(\text{v}(I)\le \text {im}(G) \le \text {reg}(S/I)\), where \(\text {im}(G)\) is the induced matching number of G (see Terminology 1.1) and I is the edge ideal of G. Thus, in many cases, the \(\text{v}\)-number is a lower bound for \(\text {reg}(S/I)\). However, when \(\text {char}K=0\), there are examples where \(\text {reg}(\delta _I)\ge \text{v}(I)> \text {reg}(S/I)\) [20], and the difference \(\text{v}(I)-\text {reg}(S/I)\) could be arbitrarily large [3]. These examples also provide a counterexample to a previous conjecture by Nuñez-Betancourt et al. [29, Conjecture 4.2].
Driven by these combinatorial and algebraic results, in this work we study the v-number of a binomial edge ideal \(J_G\) associated to a graph G. Finding a general combinatorial description of the v-number of binomial edge ideals turns out to be a more difficult task compared to the monomial case. Nevertheless, it is possible to simplify the problem by proving that the v-number of \(J_G\) is additive on the connected components of G (see Proposition 3.1). This reduction enables us to focus on the case of connected graphs where it is known that \(J_{\mathcal {K}_{n}}\) is a minimal prime of \(J_{G}\). Hence, by definition, the v-number of \(J_G\) is bounded from above by its v-number at \(J_{\mathcal {K}_{n}}\). In Sect. 3, we find a combinatorial description for \(\text{v}_{J_{\mathcal {K}_{n}}}(J_G)\), and so a combinatorial upper bound for \(\text{v}(J_G)\). Specifically, we show that \(\text{v}_{J_{\mathcal {K}_{n}}}(J_G)\) measures the connected domination of the graph. In doing so, we also extend [28, Theorem 3.7] by Mohammadi and Sharifan (see Proposition 3.6).
A connected dominating set (CDS) of a connected graph G is a subset D of the vertices of G such that D induces a connected graph \(G_{D}\), and every vertex in \(V(G) \setminus D\) is adjacent to at least one node in D. The minimum of the cardinalities of the connected dominating sets is the connected domination number, denoted by \(\gamma _c (G)\).
Theorem A
(Theorem 3.2) Let \(G\ne \mathcal {K}_n\) be a connected graph and let \(J_{G}\) be its binomial edge ideal. Then
where \(\mathcal {D}_{c}(G)= \left\{ B \subseteq [n] \mid \forall \lbrace i,j\rbrace \not \in E(G), \exists \text { a path } P:i,i_{1},\dots ,i_{s},j \text { s.t. }\lbrace i_{1},\dots ,i_{s}\rbrace \subseteq B\right\}\).
Connected domination of graphs dates back to 1979 when it was formally introduced by Sampathkumar and Walikar [39] as a variation of the concept of domination. Thereafter, it has been extensively studied in the literature also thanks to its numerous applications in network design, and wireless sensor networks. In this framework, CDSs play a crucial role in routing computation of Mobile Ad Hoc Networks (MANETs) where a minimum connected dominating set (MCDS) offers a way of sending messages that minimizes the energy consumption and prolongs the lifetime of the network. Likewise, in network design, the connected domination number can be used to determine the minimum number of nodes required to maintain a reliable connection between all the nodes in the network. The problem of finding a MCDS is proven to be NP-complete, even when instances are restricted to bipartite graphs [18, 33]. For this reason, many algorithms have been developed to construct CDSs and MCDSs [11, 24, 43] and many upper and lower bounds were computed for the connected domination number of an arbitrary graph [2, 6, 22, 23, 27]. However, no closed formula is known to compute \(\gamma _c (G)\). Theorem A works as a bridge between network/graph theory and combinatorial algebra, as it gives an algebraic interpretation of the connected domination number locally in terms of a v-number. Based on this algebraic description, we provide a Macaulay2 function (see Code 4.7) to compute \(\gamma _c (G)\). Hopefully, Theorem A can lead to new improved bounds for the connected domination number.
It is worth noticing that connected domination is closely related to the problem of finding a spanning tree with the largest number of leaves. We recall that a spanning tree of a graph G is a subgraph that is a tree and covers all the vertices of G. It is well-known that the connected domination number \(\gamma _c (G)\) is the number of non-leaf nodes (i.e., vertices of degree at least 2) in a spanning tree with the largest number of leaves [5]. In other words,
where \(\mathrm{lf_{\max }}(G)\) is the maximum leaf number of G. Therefore, as a corollary of the previous theorem, we obtain algebraic upper and lower bounds for \(\gamma _c (G)\).
Corollary B
(Corollary 3.7) If G is a connected graph, then
where \(T_G\) is a spanning tree of G with the largest number of leaves.
In Sect. 3.2, we use Theorem A to investigate how v-numbers of binomial edge ideals of closed graphs behave with respect to Gröbner degeneration. In this case, it is known that binomial edge ideals have a quadratic Gröbner basis and their initial ideal can be seen as the edge ideal of a bipartite graph. Thereby, using Gröbner degeneration and known results on v-numbers of monomial ideals, we can infer information on v-numbers of binomial edge ideals. Before stating the theorem, we recall below some preliminary notions.
Terminology 1.1
Let G be a simple graph with set of vertices \(V(G)=[n]:=\{1,2,\dots ,n\}\), and set of edges E(G).
-
A set \(\lbrace e_{1},\dots ,e_{r}\rbrace\) of pairwise disjoint edges of G is an induced matching if the only edges of G contained in \(\bigcup _{i=1}^{r}e_{i}\) are \(e_{1},\dots ,e_{r}\). The induced matching number of G, denoted by \(\text {im}(G)\), is the number of edges in the largest induced matching.
-
\(\ell _G\) denotes the length of the longest induced path of G.
-
A clique of a graph is a nonempty subset \(C \subseteq V(G)\) such that C induces a complete graph. A clique cover of G is a family \(\mathcal {C}=\{C_1, \ldots , C_s\}\) of cliques of G such that for every \(v\in V(G)\) there exists a clique \(C\in \mathcal {C}\) with \(v\in C\). The clique covering number of G, denoted by \(\theta (G)\), is the minimum number of cliques in G needed to cover the vertex set of G, i.e.
$$\begin{aligned} \theta (G):=\min \lbrace |\mathcal {C}|\,|\, \mathcal {C}\hbox { is a clique cover of } G\rbrace . \end{aligned}$$
Theorem C
(Theorem 3.11) Let G be a connected closed graph. Then
We observe that the equality \(\text{reg}(S/J_{G})=\text{reg}(S/\text{in}_{\prec }(J_{G}))=\ell _G\) follows from [9].
We also provide an example (see Example 3.14) of a non-closed graph such that the v-number is not equal to the localization of the v-number at the complete graph, and \(\text{v}({{\,\mathrm{in_{\prec }}\,}}(J_G)) > \ell _G\), but still \(\text{v} (J_G)\le \text{v} ({{\,\mathrm{in_{\prec }}\,}}(J_G))\le \text {reg}(S/J_G)=\text {reg}(S/{{\,\mathrm{in_{\prec }}\,}}(J_G)).\) Hence, in this example, \(\text{v}({{\,\mathrm{in_{\prec }}\,}}(J_G))\) is a better bound for the regularity than \(\ell\).
Lastly, as an application of previous results, in Sect. 4 we compute the exact value of the v-number for the special family of complete multipartite graphs and we discuss some examples, using Macaulay2 Code 4.6 [14]. All these examples suggest that the inequality \(\text{v} (J_G)\le \text{v} ({{\,\mathrm{in_{\prec }}\,}}(J_G))\) in Theorem C holds for any graph G (see Question 3.13).
We would like to point out that some of the results presented in this paper can also be found in [1]. Nevertheless, the techniques and the approaches are significantly different, and the two works were carried out independently.
2 Preliminaries
In this section we collect some well-known properties and results on binomial edge ideals, edge ideals, and v-numbers, which are relevant for our purposes. The reader who is already familiar with these topics may wish to skip ahead to Sect. 3.
2.1 Binomial edge ideals
Binomial edge ideals were defined by Herzog et al. [16] and, independently, by Ohtani [31], as a way to attach an algebraic structure to a graph. Since their inception, researchers have put a great effort in understanding the interplay between the combinatorial invariants of the graph and the algebraic invariants of its associated binomial edge ideal. Nowadays, these ideals are considered a standard topic in combinatorial commutative algebra, and they also play a role in the rapidly-growing field of algebraic statistics, where they arise as ideals generated by conditional independence statements (see [16]).
Let \(S=K[x_1, \ldots ,x_n, y_1, \ldots ,y_n]\) be a polynomial ring over a field K, and let G be a simple graph (i.e., G is a graph which has neither multiple edges nor loops) on n vertices with set of edges E(G). The binomial edge ideal of G, denoted by \(J_G\), is the following quadratic binomial ideal
In other words, \(J_G\) is the ideal generated by the 2-minors of the generic matrix
whose column indices are given by the edges of G.
If we take \(G=\mathcal {K}_n\) to be the complete graph on n vertices, then it is clear from the definition that its binomial edge ideal \(J_{\mathcal {K}_n}\) is the ideal of 2-minors of \(X_n\). This is why binomial edge ideals can be considered as a generalization of determinantal ideals.
In [16] the authors prove that binomial edge ideals are radical and they give a combinatorial description of their associated primes. Given a subset \(\mathcal {S}\subseteq [n]\), one can define a prime ideal \(P_{\mathcal {S}}\) as follows. Set \(\mathcal {T}=[n]\setminus \mathcal {S}\), and let \(G_{1},\dots ,G_{c(\mathcal {S})}\) be the connected components of \(G_{\mathcal {T}}\), where \(G_{\mathcal {T}}\) is the induced subgraph of G on \(\mathcal {T}\). For each \(G_{i}\), we denote by \({\widetilde{G}}_{i}\) the complete graph on \(V(G_{i})\) and we set
This ideal is a prime ideal and all the associated primes of \(J_G\) are of this form:
Theorem 2.1
[16, Theorem 3.2] Let G be a simple graph on [n]. Then \(J_{G}=\bigcap _{\mathcal {S}\subseteq [n]}P_{\mathcal {S}}(G)\).
Remark 2.2
Since \(P_{\emptyset }(G)\) does not contain monomials, it follows that \(P_{\mathcal {S}}(G)\not \subseteq P_{\emptyset }(G)\) for every \(\mathcal {S}\). Thus, by Theorem 2.1, \(P_{\emptyset }(G)\) is a minimal prime of \(J_{G}\). In particular, when G is connected, we have that \(J_{\mathcal {K}_n}\) is a minimal prime.
Definition 2.3
A vertex i of G is a cut-point of G if G has less connected components than \(G_{[n]\setminus \lbrace i\rbrace }\).
As the following result shows, among all \(P_{\mathcal {S}}(G)\)’s, the minimal primes of \(J_G\) are those corresponding to particular subsets of the vertices.
Theorem 2.4
[16, Corollary 3.9] Let G be a connected graph on [n], and \(\mathcal {S}\subseteq [n]\). Then \(P_{\mathcal {S}}(G)\) is a minimal prime ideal of \(J_{G}\) if and only if \(\mathcal {S}=\emptyset\), or \(\mathcal {S}\ne \emptyset\) and each \(i\in \mathcal {S}\) is a cut point of the graph \(G_{([n]\setminus \mathcal {S})\cup \lbrace i\rbrace }\).
In case the graph is not connected, the minimal primes of its binomial edge ideal are given by the sums of the minimal primes of the binomial edge ideals of its connected components.
Proposition 2.5
[17, Problem 7.8] Let G be a graph on [n] with connected components \(G_{1},\dots ,G_{r}\), and let \(T\subset [n]\). Set \(T_{i}=T\cap V(G_{i})\) for \(i=1,\dots ,r\). Then
-
(a)
\(P_{T}(G)=\sum _{i=1}^{r}P_{T_{i}}(G_{i})S\)
-
(b)
\(P_{T}(G)\) is a minimal prime ideal of \(J_{G}\) if and only if each \(P_{T_{i}}(G_{i})\) is a minimal prime ideal of \(J_{G_{i}}\).
In this work we will be interested in studying closed graphs. This class of graphs has been algebraically characterized in terms of Gröbner bases of their binomial edge ideals. However, it is worth mentioning that they were already widely studied in combinatorics, where they are known as unit-interval graphs.
Definition 2.6
[17, Theorem 7.2] Let G be a simple graph on [n], and let \(\prec\) be the lexicographic order on S induced by \(x_{1}\succ \dots \succ x_{n}\succ y_{1}\succ \dots \succ y_{n}\). The followings are equivalent:
-
(a)
The natural generators \(f_{ij}\) of \(J_{G}\) form a quadratic Gröbner basis;
-
(b)
For all integers \(1\le i<j<k\le n\), if \(\lbrace i, k\rbrace \in E(G)\) then \(\lbrace i, j\rbrace \in E(G)\) and \(\lbrace j, k\rbrace \in E(G)\).
A graph G is closed if there exists a labelling of its vertices such that one of the previous equivalent conditions is satisfied.
We point out that both the conditions in Definition 2.6 do not only depend on the isomorphism type of the graph, but also on the labelling of its vertices. When we say that a graph G is closed, we assume that G is closed with respect to the given labelling of its vertices.
Among all the algebraic invariants of binomial edge ideals, Castelnuovo–Mumford regularity has been intensively investigated and several conjectures have been settled (see e.g., [9, 19, 21, 26, 34, 36, 40]).
Below we recall the definition of Castelnuovo–Mumford regularity and the main known results on the regularity of binomial edge ideals.
Definition 2.7
[8] Let \(I\subset S\) be a graded ideal, and let \(\textbf{F}\) be the minimal graded resolution of S/I as an S-module:
The Castelnuovo–Mumford regularity of S/I is defined as:
Remark 2.8
Let G be a graph with connected components \(G_{1},\dots , G_{r}\) and set \(S_{i}=K[\lbrace x_{j}, y_{j}\rbrace _{j\in V(G_{i})}]\). Then
Proposition 2.9
[26, Theorem 1.1], [9, Theorem 3.2] Let G be a simple graph on [n] and \(\ell\) be the length of its longest induced path. Then
In addition, if G is closed, \(\text {reg}(J_G)=\ell +1.\)
2.2 Edge ideals and v-numbers
Given a simple graph G with vertices \(V(G)=[n]\), the edge ideal of G is a squarefree monomial ideal defined by
This ideal was introduced in [41], and has been studied in the literature from different perspectives; see [10, 35, 38, 42, 44] and the references therein.
Remark 2.10
By Definition 2.6, if G is a closed graph then the initial ideal of \(J_G\) (with respect to the lexicographic order) is given by \({{\,\mathrm{in_{\prec }}\,}}(J_G)=\{x_i y_j \mid \{i,j\} \in E(G), i<j\}\). Hence, \({{\,\mathrm{in_{\prec }}\,}}(J_G)\) can be seen as the edge ideal of a bipartite graph \(H_G\), as shown in the next example. We will call \(H_G\) the initial graph of G. Moreover, the length of the longest induced path of G is known to be equal to the induced matching number of \(H_G\) (see [17, Proposition 7.32]).
Example 2.11
Let G be the following closed graph on 6 vertices (Fig. 1).
Then, the initial ideal of \(J_{G}\) is given by \({{\,\mathrm{in_{\prec }}\,}}(J_G)=\{x_1 y_2,x_2 y_3,x_3 y_4,x_4 y_5,x_5 y_6,x_1 y_3,x_4 y_6\}\) and the initial graph \(H_G\) is the following bipartite graph (Fig. 2).
A longest induced path in G is given by 1, 3, 4, 6 and the corresponding induced matching in \(H_G\) is \(\{x_1,y_3\},\{x_3,y_4\},\{x_4,y_6\}\). So, \(\ell _G=\text {im}(H_G)=3\).
In [20], the first author and Villarreal investigate the v-number of edge ideals of clutters and find a combinatorial description for it in terms of particular stable sets. Before stating the result, we recall some preliminary notions and notations.
Terminology 2.12
Let G be a simple graph.
-
A subset \(\mathcal {V}\subseteq V(G)\) is a vertex cover if every edge of G is incident with at least one vertex in \(\mathcal {V}\). A vertex cover \(\mathcal {V}\) is minimal if each proper subset of \(\mathcal {V}\) is not a vertex cover of G.
-
A subset \(\mathcal {V}\subseteq V(G)\) is called stable (or independent) if no two vertices in \(\mathcal {V}\) are joined by an edge of G. Note that a set of vertices \(\mathcal {V}\) is a (maximal) stable set if and only if \(V(G)\setminus \mathcal {V}\) is a (minimal) vertex cover.
-
The neighbourhood of a vertex \(v \in V(G)\) is the set \(N_G(v):=\{i\in V(G) \mid \{v,i\} \in E(G)\}\). Analogously, if \(\mathcal {V} \subseteq V(G)\), then \(N_{G}(\mathcal {V}):= \{k\in V(G) \mid \{i,k\} \in E(G) \text { for some } i \in \mathcal {V}\}\).
Theorem 2.13
[20, Theorem 3.5] Let G be a connected graph. If I(G) is not prime, then
where \(\mathcal {A}_{G}\) denotes the family of all stable sets A of G whose set of neighbours \(N_{G}(A)\) is a minimal vertex cover of G.
Remark 2.14
It follows from the above theorem that \(\text{v}(I(G))\le i(G)\), where i(G) is the independent domination number, that is the minimum size of an independent set such that every vertex not in the set is adjacent to a vertex in it (see [20, Corollary 3.6]). Again, this stresses the interconnected nature of v-numbers and domination theory (see also [3, Theorem 9]).
If I is an ideal without embedded primes (e.g., edge ideals, binomial edge ideals), we have an alternate description for the v-number using initial degrees of certain modules. This characterization also allows us to compute the v-number using Macaulay2 (see Code 4.6).
Proposition 2.15
[13, Theorem 10 (d)] Let I be a graded ideal with no embedded primes, and \(\mathfrak {p}\in \text{Ass}(I)\). Then
where, for any graded module \(M \ne 0\), \(\alpha (M):=\min \{\deg (f)\mid f\in M{\setminus }\{0\}\}\) and, by convention, we set \(\alpha (0)=0\) for \(M=0\). In particular, \(\text{v}(I)=\min \{\alpha ((I:\mathfrak {p})/I)\mid \mathfrak {p}\in \text{Ass}(I)\}.\)
3 v-numbers of binomial edge ideals
This section is concerned with the study of v-numbers of binomial edge ideals. Relying on some results in [28], we prove that the algebraic invariant \(\text{v}_{J_{\mathcal {K}_{n}}}(J_{G})\) coincides with a purely combinatorial invariant of the graph G, namely its connected domination number (see Theorem 3.2). We then use this result to relate \(\text{v}(J_{G})\) and \(\text{v}(\text{in}_{\prec }(J_{G}))\) in the case of closed graphs (see Theorem 3.11).
3.1 v-numbers and connected domination
We start by proving that the v-number of binomial edge ideals is additive on connected components and we can then restrict ourselves to connected graphs.
Proposition 3.1
Let G be a graph on [n] and \(G_{1},\dots ,G_{r}\) be its connected components. Let \(S_{i}\) be the polynomial ring in the indeterminates indexed by the vertices of \(G_{i}\). Then
Proof
Since \(G_{1},\dots ,G_{r}\) are the connected components of G, we can write \(J_{G}=J_{G_{1}}S+\dots +J_{G_{r}}S\). Let \(T\subseteq [n]\) such that \(\text{v}(J_{G})=\text{v}_{P_T(G)}(J_{G})\). Then, there exists \(f\in S\) with \(\deg (f)=\text{v}(J_{G})\) and
In particular, this implies that \(f\in (J_{G}:P_T(G)) \setminus J_G\). Moreover,
Since \(\bigcap _{i=1}^r(J_{G_{i}}:P_{T_i}(G_{i}))=\prod _{i=1}^r(J_{G_{i}}:P_{T_i}(G_{i}))\) [38, Section 4], we can write
Thus \((J_{G_{i}}:f_i)=P_{T_i}(G_{i})\) and
As for the other inequality, for every connected component of G we choose \(f_{i}\in S_{i}\) such that \(\text{v}(J_{G_{i}})=\deg (f_{i})\). Hence, \(f_{i} \in (J_{G_{i}}:P_{T_{i}}(G_{i})) {\setminus } J_{G_{i}}\) for some \(P_{T_{i}}(G_{i})\in \text{Min}(S_{i}/J_{G_{i}})\). As before, we have
where \(P_{T}(G)=\sum _{i=1}^{r}P_{T_{i}}(G_{i})S\) and, by Lemma 2.5, it is a minimal prime of \(J_G\). In particular, using Proposition 2.15, we get
and the proof is complete. \(\square\)
From here on, we can then limit our study to the case of connected graphs. By Remark 2.2, if G is connected, \(J_{\mathcal {K}_n}\) is a minimal prime of \(J_G\) and \(\text{v}(J_{G}) \le \text{v}_{J_{\mathcal {K}_n}}(J_{G})\).
We then come to the main result of this subsection. The following shows that \(\text{v}_{J_{\mathcal {K}_n}}(J_{G})\) coincides with a combinatorial invariant of the graph, namely its connected domination number.
Theorem 3.2
Let G be a connected graph with n vertices and \(J_{G}\) be its binomial edge ideal. Then, the localization of the v-number of \(J_G\) at \(J_{\mathcal {K}_{n}}\) is given by
where \(\mathcal {D}_{c}(G)= \left\{ B \subseteq [n] \mid \forall \lbrace i,j\rbrace \not \in E(G), \exists \ \textit{a path} \ P: i,i_{1},\dots ,i_{s},j \text { s.t. }\lbrace i_{1},\dots ,i_{s}\rbrace \subseteq B\right\}\).
To prove Theorem 3.2 we will use the equivalent characterization of v-numbers of graded ideals with no embedded primes, given in Proposition 2.15.
We are interested in the case \(\mathfrak {p}=J_{\mathcal {K}_n}\), so we want to compute \(\alpha ((J_{G}:J_{\mathcal {K}_{n}})/J_G)\). First, we observe that \((J_{G}:J_{\mathcal {K}_{n}})=\bigcap _{e\not \in E(G)}(J_{G}:f_{e})\) and the colon ideals appearing in this intersection were already studied by Mohammadi and Sharifan in [28].
Definition 3.3
[28, Definition 3.1] Let G be a simple graph on [n]. Given \(e=\lbrace i,j\rbrace \not \in E(G)\), we define \(G_{e}\) to be the graph on [n] with edges:
Theorem 3.4
[28, Theorem 3.7][28, Lemma 3.8] Let G be a graph on [n] and \(e=\lbrace i,j\rbrace \not \in E(G)\). Then
where \(g_{P,0}:=x_{i_{1}}\cdots x_{i_{s}}\) and for each \(1\le t\le s\), \(g_{P,t}:=y_{i_{1}}\cdots y_{i_{t}}x_{i_{t+1}}\cdots x_{i_{s}}\).
Moreover, if \(P: i,i_{1},\dots ,i_{s},j\) is a path from i to j and C, D are two arbitrary subsets of \(\{i_{1},\dots ,i_{s}\}\) with \(C\cap D = \emptyset\) and \(C\cup D=\{i_{1},\dots ,i_{s}\}\), then
In order to extend Theorem 3.4 and compute \((J_{G}:J_{\mathcal {K}_{n}})\), we need the following preliminary observation.
Lemma 3.5
Let G be a graph on n vertices. With the notation of Proposition 3.6, the set
is a Gröbner basis of \(J_{G}+(g_{C,D}\mid C \cap D= \emptyset , C \cup D\in \mathcal {D}_{c}(G))\) with respect to the lexicographic order.
In particular,
Proof
In order to prove that \(\mathcal {G}\) is a Gröbner basis we apply Buchberger’s criterion and we show that all S-pairs S(f, h) with \(f,h\in \mathcal {G}\) reduce to zero. To this purpose, we recall that \(\mathcal {G}'=\bigcup _{i<j}\{u_{\pi }f_{ij}\mid \pi \hbox { is an admissible path from }i\hbox { to }j\}\) is a Gröbner basis of \(J_G\) (we refer the reader to [16, Theorem 2.1] for more about admissible paths and for a proof of this result). As a consequence, we have that S(f, h) reduces to zero whenever \(f, h \in \mathcal {G}'\). Moreover, the S-polynomial of two monomials always reduces to zero. So, we are left with verifying that S(f, h) reduces to zero when \(f=u_{\pi }f_{ij} \in \mathcal {G}\) and \(h=g_{C,D}\). In this case, we have
Notice that the monomial \(-\frac{\text{lcm}(u_{\pi }x_{i}y_{j},g_{C,D})}{x_{i}y_{j}}x_{j}y_{i}\) is divisible by either \(g_{C,D}\) or \(g_{C',D'}\), where \(C'=(C\setminus \{x_{i}\})\cup \{x_{j}\}\) and \(D'=(D\setminus \{y_{j}\})\cup \{y_{i}\}\). Thus, S(f, g) reduces to zero. \(\square\)
The following proposition extends Mohammadi and Sharifan’s result and it is key in the proof of Theorem 3.2.
Proposition 3.6
With the above notation, let \(G\ne \mathcal {K}_n\) be a graph on [n]
where \(g_{C,D}:=\prod _{k \in C} x_{k} \prod _{k\in D} y_k\).
Proof
Let \(g_{C,D}=\prod _{k\in C}x_{k}\prod _{k\in D}y_{k}.\) be a monomial with \(B:=C\cup D=\lbrace i_{1},\dots ,i_{s}\rbrace \in \mathcal {D}_{c}(G)\) and \(C\cap D=\emptyset\). We want to prove that \(g_{C,D}\in (J_{G}:f_{e})\) for every \(e=\lbrace i, j\rbrace \not \in E(G)\). By definition of \(\mathcal {D}_{c}(G)\), for every \(e=\{i,j\} \notin E(G)\) we can find a path \(P_{e}:i, j_{1},\dots ,j_{s},j\) from i to j such that \(\mathcal {J}:=\lbrace j_{1},\dots ,j_{s}\rbrace \subseteq B\). We set \(C':=\mathcal {J}\cap C\) and \(D':=\mathcal {J}\cap D\) and we define
We observe that \(\mathcal {J}=C'\cup D'\) and \(C'\cap D'=\emptyset\). So, by Theorem 3.4\(q\in (J_{G}:f_{e}).\) Moreover, by construction, \(q|g_{C,D}\). Thus, \(g_{C,D} \in (J_{G}:f_{e})\). This proves that
and since \(J_{G}\subseteq (J_{G}:J_{\mathcal {K}_{n}})\) we can conclude that
As for the other containment, we use induction on the number of vertices. If \(n\le 4\) the result can be easily checked. So, let us assume by induction hypothesis that the result holds for each graph with fewer number of vertices than G. Consider an element \(f\in (J_{G}:J_{\mathcal {K}_{n}})\) and let \(\mathcal {D}_{c}(G)=\{A,B_{1},\dots ,B_{r}\}\). Define \(I:=J_{G}+(g_{C,D}\mid C \cap D= \emptyset , C \cup D\in \mathcal {D}_{c}(G){\setminus } \{A\})\). Then, by division algorithm, we can write \(f=f'+f''\) such that \(f''\in I\) and no monomial of \(f'\) lies in \({{\,\mathrm{in_{\prec }}\,}}(I)\). Using the first part of the proof, \(f'=f-f''\in (J_{G}:J_{\mathcal {K}_{n}})\), and we have that
where \(f_{e_1}, \ldots , f_{e_k}\) are the natural generators of \(J_G\). Let \(g:=\text{in}_{\prec }(f')\) and \(A=\{i_{1},\dots ,i_{s}\}\). We show that for all \(i_c\in A\) either \(x_{i_{c}}|g\) or \(y_{i_{c}}|g\). Assume by contradiction that \(x_{i_{c}}\not | g\) and \(y_{i_{c}}\not | g\) for some \(1\le c\le s\) and set \(x_{i_{c}}=y_{i_{c}}=0\) in Eq. 1. Define \(w:=f'|_{x_{i_{c}}=y_{i_{c}}=0}\), and \({\hat{h}}_{je}:=h_{je}|_{x_{i_{c}}=y_{i_{c}}=0}\). Then,
Therefore, \(w\in (J_{G_{1}}:J_{\mathcal {K}_{n-1}})\), where \(G_{1}\) is the induced subgraph of G on the vertices \(V(G){\setminus } \{i_{c}\}\). Notice that, since \(x_{i_{c}}\not | g\) and \(y_{i_{c}}\not | g\), we have \(\text{in}_{\prec }(w)=g\). By induction hypothesis
and Lemma 3.5 implies that either \(u_{\pi }x_i y_j|g\) where \(i<j\) and \(u_{\pi }\) is an admissible path in \(G_{1}\) or \(g_{{\hat{C}},{\hat{D}}}|g\), where \({\hat{C}}\cup {\hat{D}}\in \mathcal {D}_{c}(G_1)\).
In the first case, since \(J_{G_{1}}\subseteq J_{G}\), we would have that \(g \in {{\,\mathrm{in_{\prec }}\,}}(J_G) \subseteq {{\,\mathrm{in_{\prec }}\,}}(I)\), a contradiction.
In the second case, we show that it is always possible to find a monomial \(g_{C',D'} \in (g_{C,D}\mid C \cap D= \emptyset , C \cup D\in \mathcal {D}_{c}(G){\setminus } \{A\})\) such that \(g_{C',D'}|g\), and we again obtain a contradiction. By hypothesis, we know that \(g_{{\hat{C}},{\hat{D}}}|g\) where \({\hat{C}}\cup {\hat{D}}\in \mathcal {D}_{c}(G_{1})\). If \({\hat{C}}\cup {\hat{D}}\in \mathcal {D}_{c}(G) \setminus \{A\}\) there is nothing to prove. So, let us assume that \({\hat{C}}\cup {\hat{D}}\notin \mathcal {D}_{c}(G) \setminus \{A\}\) To do so, we begin by observing that if \(\mathcal {V} \in \mathcal {D}_c(G_1)\) and \(j_c \in N(i_c)\), then \(\mathcal {V}\cup \{j_c\} \in \mathcal {D}_c(G)\). Then, since by hypothesis \(g_{{\hat{C}},{\hat{D}}}|g\) where \({\hat{C}}\cup {\hat{D}}\in \mathcal {D}_c(G_{1})\), it is sufficient to find a neighbour of \(i_{c}\), say \(j_c\), such that either \(x_{j_c} \in \text{Supp}(g)\) or \(y_{j_c} \in \text{Supp}(g)\). Let \(j_{c}\in N_{G}(i_{c})\). If \(x_{j_{c}}|g\) or \(y_{j_{c}}|g\), we are done. Otherwise, applying the same argument as before, we conclude that
where \(G_{2}\) is the induced subgraph of G on the vertices \(V(G){\setminus } \{j_{c}\}\). If \(G_{2}=\mathcal {K}_{n-2}\), then the vertex \(i_{c}\) has degree \(n-1\) and this implies that \({\hat{C}}\cup {\hat{D}}\) must contain a neighbour of \(i_{c}\), and we are done. If \(G_{2}\ne \mathcal {K}_{n-2}\), again, by induction hypothesis and Lemma 3.5, there exists a monomial \(g_{{\hat{F}},{\hat{H}}}|\text{in}_{\prec }(w')=g\) with \({\hat{F}}\cup {\hat{H}}\in \mathcal {D}_c(G_{2})\). This means that for every edge \(e=\{i_{c}, v\}\not \in E(G_2)\) there is a path from \(i_{c}\) to v contained in \({\hat{F}}\cup {\hat{H}}\). In particular, \({\hat{F}}\cup {\hat{H}}\) contains a neighbour of \(i_{c}\), say \(v_c\). Since, \(g_{{\hat{F}},{\hat{H}}}|g\), we can conclude that \(\text{Supp}(g)\) contains either \(x_{v_c}\) or \(y_{v_c}\). As observed before, \({\hat{C}}\cup {\hat{D}}\cup \{v_{c}\}\) is in \(\mathcal {D}_{c}(G)\). Therefore the monomial g is divided by an element of I, a contradiction. This proves that for all \(i_c\in A\), either \(x_{i_{c}}\) or \(y_{i_{c}}\) divides g. We conclude that \(g\in (g_{C,D}\,|\, C\cap D=\emptyset ,\, C\cup D=A \in \mathcal {D}_c (G))\). Now, applying the same argument to \(f'-g\), we get that \(f'\in (g_{C,D}\,|\, C\cap D=\emptyset ,\, C\cup D=A \in \mathcal {D}_c (G))\) and this completes the proof. \(\square\)
Using the above result, Theorem 3.2 follows immediately from Proposition 2.15.
Proof of Theorem 3.2
Assume that \(G \ne \mathcal {K}_n\). Since the ideal \(J_{G}\) is radical, Proposition 2.15 implies that
By Proposition 3.6, we get
Therefore \(\text{v}_{J_{\mathcal {K}_{n}}}(J_{G})=\min \lbrace |A|\, |\, A\in \mathcal {D}_{c}(G)\rbrace\). Notice that \(\mathcal {D}_{c}(G)\) is the set of all connected dominating sets of G. Indeed, let B be a CDS and let \(\{i,j\} \notin E(G)\). By definition of CDS, either \(i, j \in B\) or there exist \(b_i, b_j \in B\) such that \(\{i, b_i\}, \{j,b_j\} \in E(G)\). Thus, since \(G_B\) is connected, we can always find a path \(P: i, b_i,\ldots ,b_j, j\) in G from i to j such that \(\{b_i,\ldots ,b_j \} \subseteq B\). Viceversa, let \(B \in \mathcal {D}_{c}(G)\). By definition of \(\mathcal {D}_{c}(G)\), for every \(a \in [n] \setminus B\) there exists \(b_a \in B\) such that \(\{b_a,a\} \in E(G)\). Moreover, it is straightforward to see that \(G_B\) is connected. So, B is a CDS. Thus,
If \(G=\mathcal {K}_n\) is the complete graph, then \(\text{v}(J_{\mathcal {K}_{n}})=\text{v}_{J_{\mathcal {K}_{n}}}(J_{\mathcal {K}_{n}})=0.\) \(\square\)
As a consequence of Theorem 3.2, we obtain algebraic bounds for the connected domination number of a graph. In particular, we also get a sharp combinatorial upper bound for the v-number of any binomial edge ideal.
Corollary 3.7
Let G be a connected graph. Then
where \(T_G\) is a spanning tree of G with the largest number of leaves.
Proof
The statement of Theorem 3.2 can be rephrased in terms of spanning trees. As explained in the introduction, \(\gamma _c(G)=n-\text{lf}_{\max }(G)\) where \(\text{lf}_{\max }(G)\) is the maximum leaf number of G. Therefore, by [19, Theorem 4.1],
where \(T_G\) is a spanning tree of G with the largest number of leaves (equivalently, with \(\gamma _c (G)\) internal vertices). \(\square\)
Remark 3.8
We remark that the above corollary relates the v-number of \(J_G\) with the regularity of the binomial edge ideal of a particular subgraph T of G. This subgraph is in general not induced. However when T is induced, \(\text{reg}(S/T_G) \le \text{reg}(S/J_G)\) and so \(\text{v}(J_{G}) \le \text{reg}(S/J_G)\). See also Example 3.14 and Question 3.15.
Exploiting Proposition 2.15 and Theorem 3.2, at the end of this paper we provide a Macaulay2 code to compute the minimum connected domination number \(\gamma _c(G)\) of any connected graph G (see Macaulay 2 Code 4.7).
3.2 v-numbers of closed graphs
We know from Sect. 2 that closed graphs are characterized as those graphs whose binomial edge ideals have a quadratic Gröbner basis given by the natural generators. In particular, the initial ideal is squarefree and can be also understood as the edge ideal of a bipartite graph. In the following, we establish a relation between the v-number of \(J_G\) and that of its initial ideal when G is a closed graph.
Proposition 3.9
Let G be a connected closed graph on n vertices and let \(H_G\) be its initial graph. Then
Proof
Let \(G\ne \mathcal {K}_{n}\) be a closed graph. By Theorem 2.13 there exists \(A \in \mathcal {A}_{H_G}\) such that \(\text{v}(I(H_G))=|A|\). Let \(A=\{v_1, \ldots ,v_s\}\) and define \(B=\{w_1, \ldots , w_s\}\) in the following way:
-
If \(v_i= x_{a_i}\) for some \(a_i\), then \(w_i:=y_{b_i}\) where \(b_i=\max \{j \in [n] \mid \{a_i,j\} \in E(G)\}\).
-
If \(v_i= y_{b_i}\) for some \(b_i\), then \(w_i:=x_{a_i}\) where \(a_i=\min \{j \in [n] \mid \{j,b_i\} \in E(G)\}\).
Since G is closed, each edge \(\{v_i,w_i\}\) of \(H_G\) defines a clique \(C_i\) in G on vertices \([a_i,b_i]:=\{a_i, a_{i}+1, \ldots , b_i\}\). We claim that \(\mathcal {C}=\{C_1, \ldots , C_s\}\) is a clique cover of G, i.e., \(V(G)= \bigcup \limits _{i=1}^{s} V(C_i)\). Let \(k \in V(G)\). Since G is connected, there exists \(l \in V(G)\) such that \(\{k,l\} \in E(G)\). Assume that \(k<l\), so that \(\{x_k, y_l\} \in E(H_G)\) (likewise, one can prove the case \(k>l\)). Since \(N_{H_G}(A)\) is a minimal vertex cover of \(H_G\), there exists \(i \in \{1,\ldots ,s\}\) such that either \(x_k \in N_{H_G}(v_i)\) or \(y_l \in N_{H_G}(v_i)\).
If \(x_k \in N_{H_G}(v_i)\), then \(v_i=y_{b_i}\) and \(\{k,b_i\} \in E(G)\). Therefore, by construction, \(a_i \le k\) and we have \(k \in V(C_i)=[a_i,b_i]\).
If \(y_l \in N_{H_G}(v_i)\), then \(v_i=x_{a_i}\) and \(\{a_i,l\} \in E(G)\). Moreover, by the way \(a_i\) and \(b_i\) are defined, we get \(a_i<l\le b_i\). Thus, we have two possibilities for k. If \(a_i \le k <l \le b_i\), then \(k \in V(C_i)\) and we are done. If instead \(k< a_i <l \le b_i\), since G is closed, we have that \(\{k,a_i\} \in E(G)\) and \(a_i<l\). Iterating the above procedure, we eventually find a clique \(C_i\) such that \(k\in V(C_i)\). This proves the claim and implies that \(\theta (G)\le \text{v}(I(H))\).
Now let \(\mathcal {C}=\{C_1, \ldots , C_s\}\) be a clique cover of G, with \(V(C_i):=[a_i,b_i]\). Notice that, since G is closed, \(a_i<a_{i+1} \le b_i <b_{i+1}\) for every i. Let \(e=\{r,t\} \notin E(G)\). Since \(\mathcal {C}\) is a clique cover, we can always find cliques, say \(C_{i_r}\) and \(C_{i_t}\), such that \(r \in V(C_{i_r})\) and \(t \in V(C_{i_t})\). Moreover \(i_r \ne i_t\) because \(e=\{r,t\} \notin E(G)\) and the following is a path from r to t
This shows that, given \(e=\{r,t\} \notin E(G)\), we can always find a path \(P_{r,t}\) from r to t with vertices in \(B=\{b_1,b_2, \ldots , b_{s-1}\}\). Thus, \(B \in \mathcal {D}_{c}(G)\) and by Theorem 3.2 we get
for every clique cover \(\mathcal {C}\). In particular
If G is the complete graph, then the set of neighbours of \(x_{1}\) is a minimal vertex cover of \(H_G\). Therefore
and we are done. \(\square\)
Given a graph G, the relation between \(\text {im}(G)\) and \(\text{v}(I(G))\) has been already investigated. Grisalde, Reyes, and Villarreal studied the case of well-covered graphs [13]. More recentely, Saha and Sengupta proved that if G is a bipartite graph then \(\text{v}(I(G))\le \text {im}(G)\) [37, Theorem 4.5]. Below we include a proof of the latter result for the sake of completeness. This proof slightly differs from the one by the previous authors.
Proposition 3.10
Let G be a connected closed graph and let \(H_G\) be its initial graph. Then
Proof
Let \(\ell :=\ell _G\) and let \(\{i_0,i_1\},\{i_1, i_2\}, \ldots ,\{i_{\ell -1},i_{\ell }\}\) be a longest induced path in G. Define
to be its corresponding induced matching in \(H_G\). Consider the set \(A=\{x_{i_0}, \ldots , x_{i_{\ell -1}}\}\). If we prove that \(N_{H_G}(A)\) is a vertex cover, it follows from [20, Lemma 3.4] that it is indeed minimal. Then, using [20, Theorem 3.5], we get
and we are done.
For this purpose, let \(e=\{x_r,y_s\} \in E(H_G)\). We want to prove that \(y_s \in N_{H_G}(A)\). If \(x_r \in A\), there is nothing to prove. Assume that \(x_r \notin A\). If \(y_s \notin N_{H_G}(A)\), then there exists k such that \(\{x_r, y_{i_{k}}\} \in E(H_G)\) because \(\ell\) is the induced matching number. Furthermore, \(r> i_{k-1}\), otherwise we would have that \(\{x_{i_{k-1}},y_{i_{k}}\} \in E(H_G)\), which contradicts the fact that \(e_1, \ldots , e_{\ell }\) is an induced matching. Thus we have two possibilities.
If \(r<i_k<s\), since G is closed, we get \(\{x_{i_k},y_s\} \in E(H_G)\). Thus \(y_s \in N_{H_G}(A)\), a contradiction.
If \(i_{k-1}<r<s< i_k\), since G is closed, we get \(\{x_{i_{k-1}},y_s\} \in E(H_G)\). Thus \(y_s \in N_{H_G}(A)\), a contradiction. \(\square\)
Collecting together previous propositions, we obtain the following chain of inequalities.
Theorem 3.11
Let \(G\ne \mathcal {K}_{n}\) be a connected closed graph and let \(H_G\) be its initial graph. Then
If \(G= \mathcal {K}_n\), then \(0=\text{v} (J_G)<\text{v}({{\,\mathrm{in_{\prec }}\,}}(J_G))=\text {reg}(S/J_G)=\text {reg}(S/{{\,\mathrm{in_{\prec }}\,}}(J_G))=1.\)
Remark 3.12
It is worth noting that the results presented above assume that G is closed with respect to the given labeling. If we change the labeling, then \({{\,\mathrm{in_{\prec }}\,}}(J_G)\) may not represent the edge ideal of a bipartite graph in general. However, \({{\,\mathrm{in_{\prec }}\,}}(J_G)\) is squarefree [16], thereby representing the edge ideal of a clutter, and [20, Theorem 3.5] can still be used to compare \(\text{v} (J_G)\) and \(\text{v}({{\,\mathrm{in_{\prec }}\,}}(J_G))\).
Except for the case of binomial edge ideals of closed graphs, not much is known about how v-numbers behave with respect to Gröbner degeneration. In this spirit one may ask
Question 3.13
Does the inequality \(\text{v}(I) \le \text{v}({{\,\mathrm{in_{\prec }}\,}}(I))\) hold in a more general setting?
This question arises naturally since v-numbers of monomial ideals have been already widely studied, and algebraic invariants of monomial ideals are often easier to compute.
Below is an example of a graph which is not closed but still its binomial edge ideal satisfies \(\text{v}(J_G) \le \text{v}({{\,\mathrm{in_{\prec }}\,}}(J_G))\le \text {reg}(S/J_G)\) (see Sect. 4 for more examples).
Example 3.14
Let G be the non-closed graph in Fig. 3. Clearly, \(B=\{ 2,3,4,5,7,9\}\) is a minimum connected dominating set. Hence, \(\text{v}_{J_{\mathcal {K}_{10}}}(J_G)=\gamma _c(G)=6\). Also,
is a minimum clique cover, so \(\theta (G)=\ell =5\). A Macaulay2 computation (using Code 4.6) shows that \(\text{v} (J_G)=3\) (so, the minimum among all the localization of \(\text{v} (J_G)\) is not reached at the complete graph) and \(\text{v} ({{\,\mathrm{in_{\prec }}\,}}(J_G))=6\). Moreover, since G is a tree, it is itself a spanning tree and, by Corollary 3.7, we have
Notice that since G is not closed, Theorem 3.11 does not apply. In fact, the length of the longest induced path is 5, so \(\ell < \text{v}_{J_{\mathcal {K}_{10}}}(J_G)\).
In the case of trees, by Corollary 3.7 and [19, Theorem 4.1] the localization of the v-number at the complete graph is a better bound for the regularity compared to \(\ell\). One may ask if this is the case for other families of graphs.
Question 3.15
For which families of graphs is \(\text{v}_{J_{\mathcal {K}_{n}}}(J_G)\) a better lower bound for the regularity than \(\ell\)?
4 Some examples
We now discuss some examples related to our previous results. For this purpose, we also use Code 4.6 to compute v-numbers in Macaulay2.
Throughout this section \(\prec\) is the lexicographic order given by \(x_{1}\succ \dots \succ x_{n}\succ y_{1}\succ \dots \succ y_{n}\).
4.1 Complete multipartite graphs
We start by computing the v-number of a complete multipartite graph \(\mathcal {K}_{a_1,\ldots ,a_r}\).
Lemma 4.1
[32, Lemma 2.2] Let \(G=\mathcal {K}_{a_1,\ldots ,a_r}\) with \(a_1\le \ldots \le a_r\) be a complete r-partite graph on vertex set \(V=\bigsqcup \limits _{l=1}^{r} V_l=[n]\). Set \(s:= |\{l \mid a_l=1\}|\). Then, the minimal primary decomposition of \(J_G\) is given by
where \(P_{l}:=(x_{v},y_{v} \mid v \notin V_l)\) for \(l=s+1, \ldots , r\).
Proposition 4.2
Let \(G=\mathcal {K}_{a_1,\ldots ,a_r}\) with \(a_1\le \ldots \le a_r\) be a complete r-partite graph on vertex set \(V=\bigsqcup \limits _{l=1}^{r} V_l=[n]\). Then,
Proof
Assume that \(a_1=1\). By Theorem 3.2, we have that \(\text{v}_{J_{\mathcal {K}_{n+1}}}(J_{\mathcal {K}_{a_1,\ldots ,a_r}})= \gamma _c(\mathcal {K}_{a_1,\ldots ,a_r})=1\). Thus, since \(J_{\mathcal {K}_{a_1,\ldots ,a_r}}\) is not prime, \(\text{v}(J_{\mathcal {K}_{a_1,\ldots ,a_r}})=1\). Now, let \(a_1>1\). By Lemma 4.1 the minimal primes of \(J_{\mathcal {K}_{a_1,\ldots ,a_r}}\) are \(J_{\mathcal {K}_{n}}\) and \(P_{l}\) for \(l=s+1, \ldots , r\). Since the generators of \(J_{\mathcal {K}_{a_1,\ldots ,a_r}}\) are quadratic binomials of the form \(x_iy_j-x_jy_i\), then there cannot be an element \(f\in S_{1}\) such that \((J_{\mathcal {K}_{a_1,\ldots ,a_r}}:f)=P_{l}\). Therefore, by definition of v-number, we have that
Moreover, it is easy to see that every two vertices \(\{v,w\}\) that form an edge (i.e., they belong to different \(V_i\)’s) are a connected dominating set. Since by our assumption on \(a_1\) there is no vertex of degree \(n-1\), it follows that \(\gamma _c(\mathcal {K}_{a_1,\ldots ,a_r})=2\). So, by Theorem 3.2
Hence,
where the last equality follows from [40, Theorem 1.1] and [36, Proposition 3.4]. \(\square\)
4.2 Graphs with 5 vertices
Driven by Question 3.13, we compute the vector
for all connected graphs with 5 vertices. In all these cases, we obtain \(\text{v}(J_{G})\le \text{v}(\text{in}_{\prec }(J_{G}))\le \text{reg}(S/J_{G})\) (Table 1).
4.3 Other examples
We conclude with some examples of graphs with more than 5 vertices.
Example 4.3
Let \(J_{C_{6}}\) be the binomial edge ideal of the cycle with six vertices (Fig. 4).
If \(K=\mathbb {Q}\), using Theorem 3.2, and Code 4.6 we obtain
Similarly, for \(C_7\) we get
These values, together with the ones obtained above for \(C_5\), suggest that for any cycle \(C_n\), one may have
However, in general, both inequalities in \(\text{v}(J_{G})\le \text{v}(\text{in}_{\prec }(J_{G}))\le \text{reg}(S/J_{G})\) can be strict, as shown in the next two examples (Figs. 5, 6).
Example 4.4
(Closed graph) Let G be the following closed graph (Fig. 5),
The binomial edge ideal of G is
Proposition 2.9, Theorems 3.2, and 3.11 imply that
Moreover, using Code 4.6, we obtain \(\text{v}(J_{G})=3\). So, in this case, all the aforementioned inequalities are strict.
Example 4.5
(Non-closed graph) Consider the following non-closed graph G with six vertices (Fig. 6),
The binomial edge ideal of G is given by
If \(K=\mathbb {Q}\), using Theorem 3.2 and Code 4.6, we obtain
Macaulay2 Code 4.6 The following function computes the v-number of any graded ideal. We have used this code to compute the v-number of the binomial edge ideals presented in this section.
Macaulay2 Code 4.7 The next code computes the connected domination number of a graph G using the algebraic description found in Theorem 3.2.
References
Ambhore, S.B., Saha K., Sengupta, I.: The v-number of binomial edge ideals. arXiv:2304.06416 (2023)
Bo, C., Liu, B.: Some inequalities about connected domination number. Discrete Math. 159(1), 241–245 (1996)
Civan, Y.: The \(v\)-number and Castelnuovo–Mumford regularity of graphs. J. Algebraic Combin. 57(1), 161–169 (2023)
Cooper, S.M., Seceleanu, A., Tohăneanu, ŞO., Pinto, M.V., Villarreal, R.H.: Generalized minimum distance functions and algebraic invariants of Geramita ideals. Adv. Appl. Math. 112, 101940 (2020)
Caro, Y., West, D.B., Yuster, R.: Connected domination and spanning trees with many leaves. SIAM J. Discrete Math. 13(2), 202–211 (2000)
Desormeaux, W.J., Haynes, T.W., Henning, M.A.: Bounds on the connected domination number of a graph. Discrete Appl. Math. 161(18), 2925–2931 (2013)
Eisenbud, D.: Commutative Algebra, Volume 50 of Graduate Texts in Mathematics. Springer, New York (1995). (With a view toward algebraic geometry)
Eisenbud, D.: The Geometry of Syzygies, Volume 229 of Graduate Texts in Mathematics. Springer, New York (2005). (A second course in commutative algebra and algebraic geometry)
Ene, V., Zarojanu, A.: On the regularity of binomial edge ideals. Math. Nachr. 288(1), 19–24 (2015)
Francisco, C.A., Hà, H.T., Van Tuyl, A.: Associated primes of monomial ideals and odd holes in graphs. J. Algebraic Combin. 32(2), 287–301 (2010)
Guha, S., Khuller, S.: Approximation algorithms for connected dominating sets. Algorithmica 20, 374–387 (1998)
Geramita, A.V., Kreuzer, M., Robbiano, L.: Cayley–Bacharach schemes and their canonical modules. Trans. Am. Math. Soc. 339(1), 163–189 (1993)
Grisalde, G., Reyes, E., Villarreal, R.H.: Induced matchings and the v-number of graded ideals. Mathematics 9(22), 2860 (2021)
Grayson, D.R., Stillman, M.E.: Macaulay2, a software system for research in algebraic geometry. http://www.math.uiuc.edu/Macaulay2/
Harary, F.: Graph Theory. Addison-Wesley Publishing Co., Reading (1969)
Herzog, J., Hibi, T., Hreinsdóttir, F., Kahle, T., Rauh, J.: Binomial edge ideals and conditional independence statements. Adv. Appl. Math. 45(3), 317–333 (2010)
Herzog, J., Hibi, T., Ohsugi, H.: Binomial Ideals. Graduate Texts in Mathematics, vol. 279. Springer, Cham (2018)
Johnson, D.S., Garey, M.: Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman, New York (1979)
Jayanthan, A.V., Narayanan, N., Raghavendra Rao, B.V.: Regularity of binomial edge ideals of certain block graphs. Proc. Math. Sci. 129(3), 36 (2019)
Jaramillo, D., Villarreal, R.H.: The v-number of edge ideals. J. Combin. Theory Ser. A 177, 35 (2021)
Kiani, D., Madani, S.S.: The Castelnuovo–Mumford regularity of binomial edge ideals. J. Combin. Theory Ser. A 139, 80–86 (2016)
Karami, H., Sheikholeslami, S.M., Khodkar, A., West, D.B.: Connected domination number of a graph and its complement. Graphs Combin 28(1), 123–131 (2012)
Kosari, S., Shao, Z., Sheikholeslami, S.M., Chellali, M., Khoeilar, R., Karami, H.: A proof of a conjecture on the connected domination number. Bull. Malays. Math. Sci. Soc. 45(6), 3523–3533 (2022)
Li, Y., Thai, M.T., Wang, F., Yi, C.-W., Wan, P.-J., Du, D.-Z.: On greedy construction of connected dominating sets in wireless networks. Wirel. Commun. Mobile Comput. 5(8), 927–932 (2005)
Matsumura, H.: Commutative Ring Theory. Volume 8 of Cambridge Studies in Advanced Mathematics, 2nd edn. Cambridge University Press, Cambridge (1989). (Translated from the Japanese by M. Reid)
Matsuda, K., Murai, S.: Regularity bounds for binomial edge ideals. J. Commut. Algebra 5(1), 141–149 (2013)
Mafuta, P., Mukwembi, S., Munyira, S.: Radius, leaf number, connected domination number and minimum degree. Quaestiones Mathematicae, 1–8 (2022)
Mohammadi, F., Sharifan, L.: Hilbert function of binomial edge ideals. Commun. Algebra 42(2), 688–703 (2014)
Núñez Betancourt, L., Pitones, Y., Villarreal, R.H.: Footprint and minimum distance functions. Commun. Korean Math. Soc. 33(1), 85–101 (2018)
Núñez Betancourt, L., Pitones, Y., Villarreal, R.H.: Bounds for the minimum distance function. An. Ştiinţ. Univ. “Ovidius’’ Constanţa Ser. Mat. 29(3), 229–242 (2021)
Ohtani, M.: Graphs and ideals generated by some 2-minors. Commun. Algebra 39(3), 905–917 (2011)
Ohtani, M.: Binomial edge ideals of complete multipartite graphs. Commun. Algebra 41(10), 3858–3867 (2013)
Pfaff, J., Laskar, R., Hedetniemi, S.T.: NP-completeness of total and connected domination, and irredundance for bipartite graphs. Technical report 428, Dept. Mathematical Sciences, Clemenson Univ. (1983)
Rouzbahani Malayeri, M., Madani, S.S., Kiani, D.: A proof for a conjecture on the regularity of binomial edge ideals. J. Combin. Theory Ser. A 180, 105432 (2021)
Seyed Fakhari, S.A., Shibata, K., Terai, N., Yassemi, S.: Cohen–Macaulay edge-weighted edge ideals of very well-covered graphs. Commun. Algebra 49(10), 4249–4257 (2021)
Saeedi Madani, S., Kiani, D.: Binomial edge ideals of regularity 3. J. Algebra 515, 157–172 (2018)
Saha, K., Sengupta, I.: The \({\rm v}\)-number of monomial ideals. J. Algebraic Combin. 56(3), 903–927 (2022)
Simis, A., Vasconcelos, W.V., Villarreal, R.H.: On the ideal theory of graphs. J. Algebra 167(2), 389–416 (1994)
Sampathkumar, E., Walikar, H.B.: The connected domination number of a graph. J. Math. Phys. Sci. 13, 607–613 (1979)
Schenzel, P., Zafar, S.: Algebraic properties of the binomial edge ideal of a complete bipartite graph. An. Ştiinţ. Univ. “Ovidius’’ Constanţa Ser. Mat. 22(2), 217–237 (2014)
Villarreal, R.H.: Cohen–Macaulay graphs. Manuscr. Math. 66(3), 277–293 (1990)
Villarreal, R.H.: Monomial Algebras. Monographs and Research Notes in Mathematics, 2nd edn. CRC Press, Boca Raton, FL (2015)
Wan, P.-J., Alzoubi, K.M., Frieder, O.: Distributed construction of connected dominating set in wireless ad hoc networks. Mobile Netw. Appl. 9, 141–149 (2004)
Wang, H., Zhu, G., Li, X., Zhang, J.: Algebraic properties of edge ideals of some vertex-weighted oriented cyclic graphs. Algebra Colloq. 28(2), 253–268 (2021)
Acknowledgements
The authors thank Rafael H. Villarreal and Hongmiao Yu for useful discussions. We are also grateful to Rafael H. Villarreal for suggesting Macaulay2 code 4.6 and for valuable comments on a previous version of this work.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The first author is supported by CONACyT Fellowship 862006. The second author was partially supported by PRIN 2020355BBY “Squarefree Gröbner degenerations, special varieties and related topics".
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Jaramillo-Velez, D., Seccia, L. Connected domination in graphs and v-numbers of binomial edge ideals. Collect. Math. (2023). https://doi.org/10.1007/s13348-023-00412-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13348-023-00412-w