arxiv:math/ v1 [math.ac] 11 Jul 2006

arxiv:math/0607249v1 [math.ac] 11 Jul 2006 MINIMAL SYSTEMS OF BINOMIAL GENERATORS AND THE INDISPENSABLE COMPLEX OF A TORIC IDEAL HARA CHARALAMBOUS, ANARGYROS KATSABEKIS, AND APOSTOLOS THOMA Abstract. Let A = {a 1,...,a m} Z n be a vector configuration and I A K[x 1,...,x m] its corresponding toric ideal. The paper consists of two parts. In the first part we completely determine the number of different minimal systems of binomial generators of I A. We also prove that generic toric ideals are generated by indispensable binomials. In the second part we associate to A a simplicial complex ind(a). We show that the vertices of ind(a) correspond to the indispensable monomials of the toric ideal I A, while one dimensional facets of ind(a) with minimal binomial A-degree correspond to the indispensable binomials of I A. 1. Introduction Let A = {a 1,...,a m } be a vector configuration in Z n such that the affine semigroup NA := {l 1 a 1 + +l m a m l i N} is pointed. Recall that NA is pointed if zero is the only invertible element. Let K be a field of any characteristic; we grade the polynomial ring K[x 1,...,x m ] by setting deg A (x i ) = a i for i = 1,...,m. For u = (u 1,...,u m ) N m, we define the A-degree of the monomial x u := x u1 1 xum m to be deg A (x u ) := u 1 a 1 + +u m a m NA. The toric ideal I A associated to A is the prime ideal generated by all the binomials x u x v such that deg A (x u ) = deg A (x v ) (see [12]). For such binomials, we define deg A (x u x v ) := deg A (x u ). In generalit is possible foratoricideal I A to havemorethan oneminimal system of generators. We define ν(i A ) to be the number of different minimal systems of binomial generatorsof the toric ideal I A, where the sign of a binomial does not count. A recent problem arising from Algebraic Statistics, see [13], is when a toric ideal possesses a unique minimal system of binomial generators, i.e. ν(i A ) = 1. To study this problem Ohsugi and Hibi introduced in [9] the notion of indispensable binomials while Aoki, Takemura and Yoshida introduced in [1] the notion of indispensable monomials. Moreover in [9] a necessary and sufficient condition is given for toric ideals associated with certain finite graphs to possess unique minimal systems of binomial generators. We recall that a binomial B = x u x v I A is indispensable if every system of binomial generators of I A contains B or B, while a monomial 1991 Mathematics Subject Classification. 13F20, 05C99. Key words and phrases. toric ideal, minimal systems of generators, indispensable monomials, indispensable binomials. This research was co-funded by the European Union in the framework of the program Pythagoras of the Operational Program for Education and Initial Vocational Training of the 3rd Community Support Framework of the Hellenic Ministry of Education. 1

2 H. CHARALAMBOUS, A. KATSABEKIS, AND A. THOMA x u is indispensable if every system of binomial generators of I A contains a binomial B such that the x u is a monomial of B. In this article we use and extend ideas-techniques developed by Diaconis, Sturmfels (see [6]) and Takemura, Aoki (see [13]) to study minimal systems of generators of the toric ideal I A and also investigate the notion of the indispensable complex of I A, denoted by ind(a). In section 2, we construct graphs G(b), for every b NA, and use them to provide a formula for ν(i A ). We give criteria for a toric ideal to be generated by indispensable binomials. In section 3 we determine a large class of toric ideals, namely generic toric ideals, which have a unique minimal system of binomial generators. In Section 4 we define ind(a) and we show that this complex determines the indispensable monomials and binomials. As an application we characterize principal toric ideals in terms of ind(a). 2. The number of minimal generating sets of a toric ideal LetA Z n beavectorconfigurationsothatnaispointedandi A K[x 1,...,x m ] its corresponding toric ideal. A vector b NA is called an Betti A-degree if I A has a minimal generating set containing an element of A-degree b. The Betti A-degrees are independent of the choice of a minimal generating set of I A, see [3, 8, 12]. The A-graded Betti number β 0,b of I A is the number of times b appears as the A-degree of a binomial in a given minimal generating set of I A and is also an invariant of I A. The semigroup NA is pointed, so we can partially order it with the relation c d there is e NA such that c = d+e. For I A {0} the minimal elements of the set {deg A (x u ) x u x v I A } NA with respect to are called minimal binomial A-degrees. Minimal binomial A- degrees are always Betti A-degrees but the converse is not true, as Example 2.3 demonstrates. For any b NA set I A,b := (x u x v deg A (x u ) = deg A (x v ) b) I A. Definition 2.1. For a vector b NA we define G(b) to be the graph with vertices the elements of the fiber deg 1 A (b) = {xu deg A (x u ) = b} and edges all the sets {x u,x v } whenever x u x v I A,b. The fiber deg 1 A (b) has finitely many elements, since the affine semigroup NA is pointed. If x u, x v are vertices of G(b) such that gcd(x u,x v ) 1, then {x u,x v } is an edge of G(b). The next proposition follows easily from the definition. Proposition 2.2. Let b NA. Every connected component of G(b) is a complete subgraph. The graph G(b) is not connected if and only if b is a Betti A-degree. Example 2.3. Let A = {(2,2,2,0,0),(2, 2, 2,0,0),(2,2, 2,0,0),(2, 2,2,0,0), (3,0,0,3,3),(3,0,0, 3, 3),(3,0,0,3, 3)(3,0,0, 3,3)}. Using CoCoA, [5] we see that I A = (x 1 x 2 x 3 x 4,x 5 x 6 x 7 x 8,x 3 1x 3 2 x 2 5x 2 6). The Betti A-degrees are b 1 = (4,0,0,0,0), b 2 = (6,0,0,0,0) and b 3 = (12,0,0,0,0). We note that b 3 = 2b 2, so b 3 is not a minimal binomial A-degree. The ideals I A,b1 and I A,b2 are zero, while I A,b3 = (x 1 x 2 x 3 x 4,x 5 x 6 x 7 x 8 ). The graphs G(b) are

MINIMAL SYSTEMS OF GENERATORS 3 connected for all b NA except for the Betti A-degrees. In fact G(b 1 ) and G(b 2 ) consist of two connected components, {x 1 x 2 } and {x 3 x 4 } for G(b 1 ), {x 5 x 6 } and {x 7 x 8 } for G(b 2 ), while the connected components of G(b 3 ) are {x 3 1 x3 2,x2 1 x2 2 x 3x 4, x 1 x 2 x 2 3 x2 4,x3 3 x3 4 } and {x2 5 x2 6,x 5x 6 x 7 x 8,x 2 7 x2 8 }. Let n b denote the number of connected components of G(b), this means that G(b) = n b i=1 G(b) i and t i (b) be the number of vertices of the i-component. The next proposition will be helpful in the sequel. Proposition 2.4. An A-degree b is a minimal binomial A-degree if and only if every connected component of G(b) is a singleton. Proof. If b is a minimal binomial A-degree, then I A,b = {0} and every connected component of G(b) is a singleton. Suppose now that b is not minimal, i.e. c b for some minimal binomial A-degree c. Thus there is a binomial B = x u x v I A, with deg A (B) = c, and a monomial x a 1 such that b = c+deg A (x a ). Therefore x a+u, x a+v are vertices of G(b) and belong to the same component of G(b) since x a+u x a+v = x a B I A,b. Let G I A be a set of binomials. We recall the definition of the graph Γ(b) G, [6], and a criterion for G to be a generating set of I A, Theorem 2.5. Let Γ(b) G be the graph with vertices the elements of deg 1 A (b) and edges the sets {xu,x v } whenever the binomial (x u x v ) gcd(x u,x v ) or (x v x u ) gcd(x u,x v ) belongs to G. In [6] the following theorem was proved. Theorem 2.5. [6] G is a generating set for I A if and only if Γ(b) G is connected for all b NA. We consider the complete graph S b with vertices the connected components G(b) i of G(b), and we let T b be a spanning tree of S b ; for every edge of T b joining the components G(b) i and G(b) j, we choose a binomial x u x v with x u G(b) i and x v G(b) j. We call F Tb the collection of these binomials. Note that if b is not a Betti A-degree, then F Tb =. Theorem 2.6. The set F = b NA F Tb is a minimal generating set of I A. Proof. First we will prove that F is a generating set of I A. From Theorem 2.5 it is enough to prove that Γ(b) F is connected for every b. We will prove the theorem by induction on b. If b is a minimal binomial A-degree, the vertices of Γ(b) F, which are also the vertices and the connected components of G(b), and the tree T b gives a path between any two vertices of G(b). Next, let b be non-minimal binomial A-degree. Suppose that Γ(b) F is connected for all c b and let x u, x v be two vertices of Γ(b) F. We will show that there is a path between these two vertices. We will consider two cases, depending on whether the vertices are in the same connected component of G(b) or not. (1) If x u, x v are in the same component G(b) i of G(b), then x u x v = i xdi (x ui x vi ) wherex ui, x vi havea-degreeb i b. Fromtheinductive

4 H. CHARALAMBOUS, A. KATSABEKIS, AND A. THOMA hypothesis Γ(b i ) F is connected and there is a path from x ui to x vi. This gives a path from x di x ui to x di x vi and joining these paths we find a path from x u to x v in Γ(b) F. (2) If x u, x v belong to different components of G(b) we use the tree T b to find a path between the two components. In each component we use the previous case and/or the induction hypothesis to move between vertices if needed. The join of these paths provides a path from x u to x v in Γ(b) F. Next, we will show that no proper subset F of F generates I A. Let B = x u x v F \F, and deg A (B) = b. Since B is an element of F Tb, it corresponds toan edge{g(b) i,g(b) j }oft b, andthe monomialsx u, x v belong todifferent components of G(b). Suppose that there was a path {x u1 = x u,x u2,...,x ut = x v } in Γ(b) F joining the vertices x u and x v. Certainly there are monomials x ui, x ui+1 that are in different connected components of G(b). Since gcd(x ui,x ui+1 ) 1 implies that the monomials x ui, x ui+1 are in the same connected component of G(b), we conclude that gcd(x ui,x ui+1 ) = 1 for some i. In this case the binomial x ui x ui+1 is in F, has A-degree b, and it corresponds to an edge of T b. By considering these binomials and corresponding edges we obtain a path in T b joining the components G(b) i,g(b) j and not containing {G(b) i,g(b) j } of T b. This is a contradiction since T b is a tree. The converse is also true; let G = b NA G b be a minimal generating set for I A where G b consists of the binomials in G of A-degree b. We will show that G b determines a spanning tree T b of S b. Theorem 2.7. Let G = b NA G b be a minimal generating set for I A. The binomials of G b determine a spanning tree T b of S b. Proof. Let B = x u x v G b. The monomials x u, x v are in different connected components of G(b), otherwise B is not a part of a minimal generating set of I A. Therefore B indicates an edge in S b. Let T b be the union over B G b of these edges. T b is tree of S b, since if T b contains a cycle we can delete a binomial from G and still generate the ideal I A, contradicting the minimality of G. Theorem 2.5 guarantees that the tree T b is spanning. An immediate corollary of Theorems 2.6 and 2.7 concerns the indispensable monomials. Corollary 2.8. x u is an indispensable monomial of A-degree b if and only if {x u } is a component of G(b). We use Theorems 2.6 and 2.7 to compute ν(i A ), the number of minimal generating sets of I A. For each b NA the number of possible spanning trees T b depends on n b, the number of connected components of G(b). For a given spanning tree T b the number of possible binomial sets F Tb (up to a sign) depends on t i (b), the number of vertices of G(b) i. These numbers determine ν(i A ). We note that the sum t 1 (b)+ +t nb (b) is equal to deg 1 A (b), the cardinality of the fiber set deg 1 A (b). We also point out that F Tb = n b 1 and that F Tb = β 0,b, the A-graded Betti number of I A.

MINIMAL SYSTEMS OF GENERATORS 5 Theorem 2.9. For a toric ideal I A we have that ν(i A ) = t 1 (b) t nb (b)(t 1 (b)+ +t nb (b)) n b 2 b NA where n b is the number of connected components of G(b) and t i (b) is the number of vertices of the connected component G(b) i of the graph G(b). Proof. Let d i be the degree of G(b) i in a spanning tree T b, i.e. the number of edges of T b incident with G(b) i. We have that n b i=1 d i = 2n b 2. There are (n b 2)! (d 1 1)!(d 2 1)! (d nb 1)! such spanning trees, see for example the proof of Cayley s formula in [7]. For fixed T b with degrees d i, there are (t i (b)) di choices for the monomials for the edges involving the vertex G(b) i. This implies that the number of possible binomial sets F Tb is (t 1 (b)) d1 (t nb (b)) dn b. Therefore the total number of all possible F Tb is d 1+ +d nb =2n b 2 (n b 2)! (d 1 1)!(d 2 1)! (d nb 1)! (t 1(b)) d1 (t nb (b)) dn b = = t 1 (b) t nb (b)(t 1 (b)+ +t nb (b)) n b 2. We point out that if t i (b) = 1 for all i, then the number of possible spanning trees is n b n b 2, ( Cayley s formula, see [4]). We also note that if n b = 1, for some b NA, then the factor t 1 (b)(t 1 (b)) 1 in the above product has value 1. Thus the contributions to ν(i A ) come only from Betti A-degrees b NA. On the other hand we have a unique choice for a generator of degree b when n b = 2 and t 1 (b) = t 2 (b) = 1. Thus in these cases G(b) consists of two isolated vertices and by Proposition 2.4, b is minimal. These remarks prove the following: Corollary 2.10. Let B = x u x v I A with A-degree b. B is indispensable if and only if the graph G(b) consists of two connected components, {x u } and {x v }. Moreover b is minimal binomial A-degree. Corollary 2.11. Suppose that the Betti A-degrees b 1,...,b q of I A are minimal binomial A-degrees. Then ν(i A ) = (β 0,b1 +1) β 0,b 1 1 (β 0,bq +1) β 0,bq 1. Proof. By Proposition 2.4, the connected components of G(b i ) are singletons. It follows that t j (b i ) = 1 and that n bi = t j (b i ). Moreover β 0,bi = F bi = n bi 1. The next theorem provides a necessary and sufficient condition for a toric ideal to be generated by its indispensable binomials. It is a generalization of Corollary 2.1 in [13]. Theorem 2.12. The ideal I A is generated by its indispensable binomials if and only if the Betti A-degrees b 1,...,b q of I A are minimal binomial A-degrees and β 0,bi = 1.

6 H. CHARALAMBOUS, A. KATSABEKIS, AND A. THOMA Proof. Suppose that I A is generated by indispensable binomials, then ν(i A ) = 1 andtherefore, fromtheorem2.9, t j (b i ) = 1andn bi = 2, forallj,i. Thusβ 0,bi = 1. Now Proposition 2.4 together with the fact that t j (b i ) = 1 implies that all b i are minimal binomial A-degrees. We point out that the above theorem implies that in the case that a toric ideal I A is generated by indispensable binomials no two minimal generators can have the same A-degree. We compute ν(i A ) in the following example. Example 2.13. Let A = {a 0 = k,a 1 = 1,...,a n = 1} N be a set of n+1natural numbers with k > 1 and I A K[x 0,x 1,...,x n ], the corresponding toric ideal. The ideal I A is minimally generated by the binomials x 0 x k 1,x 1 x 2,...,x n 1 x n. The Betti A-degrees are b 1 = 1 and b 2 = k, while the A-graded Betti numbers are β 0,1 = n 1 and β 0,k = 1. Also G(1) consists of n vertices, each one being a connected component, and G(k) has two connected components, the singleton {x 0 } and the complete graph on the ( ) k+n 1 n 1 vertices x k 1,x1 k 1 x 2,...,x k n ( ). Thus k +n 1 ν(i A ) = n n 2. n 1 3. Generic toric ideals are generated by indispensable binomials Generic toric ideals were introduced in [11] by Peeva and Sturmfels. The term generic is justified due to a result of Barany and Scarf (see [2]) in integer programming theory which shows that, in a well defined sense, almost all toric ideals are generic. Given a vector α = (α 1,...,α m ) N m, the support of α, denoted by supp(α), is the set {i {1,...,m} α i 0}. For a monomial x u we define supp(x u ) := supp(u). A toric ideal I A K[x 1,...,x m ] is called generic if it is minimally generated by binomials with full support, i.e., I A = (x u1 x v1,...,x ur x vr ) where supp(u i ) supp(v i ) = {1,...,m} for every i {1,...,r}, see [11]. We will prove that the minimal binomial generating set of I A is a unique. Theorem 3.1. If I A is a generic toric ideal, then ν(i A ) = 1 and I A is generated by its indispensable binomials. Proof. Let{B 1,B 2,...,B s }beaminimalgeneratingsetofi A offull supportwhere B i = x ui x vi and b i = deg A (B i ). We will show that all b i are minimal binomial A-degrees. Suppose that one of them, say b 1 is not minimal and that b j +b = b 1 for b NA. It follows that x a x uj, x a x vj are in the same connected component of G(b 1 ), where x a is a monomial of A-degree b. Since supp(u j ) supp(v j ) = {1,...,m} it follows that at least one of gcd(x u1,x a x uj ) or gcd(x u1,x a x vj ) is not 1 and x u1 belongs to the same connected component of G(b 1 ) as x a x uj and x a x vj. Thesameholdsforx v1. Thisisacontradictionsincex u1 andx v1 belongtodifferent connected components of G(b 1 ). Next we will show that β 0,bi = 1. Suppose that one of them, say β 0,b1 = F Tb1 is greater than 1. Since b 1 is minimal, the connected components of G(b 1 ) are singletons and n(b 1 ) 3. It follows that in T b1, two edges share a vertex, and in F Tb1 the same monomial will necessarily appear in two of our binomial generators.

MINIMAL SYSTEMS OF GENERATORS 7 Since the generators have full support the other two monomials have the same support, thus they have a nontrivial common factor and are in the same component of G(b 1 ), a contradiction. Example 3.2. Consider the vector configuration A = {20, 24, 25, 31}. Using Co- CoA,[5], weseethati A = (x 3 3 x 1x 2 x 4,x 4 1 x 2x 3 x 4,x 3 4 x 1x 2 2 x 3,x 4 2 x2 1 x 3x 4,x 3 1 x2 3 x 2 2x 2 4,x 2 1x 3 2 x 2 3x 2 4,x 3 1x 2 4 x 3 2x 2 3) and therefore it is a generic ideal. We note that the variety V(I A ) is the generic monomial curve in the affine 4-space A 4 of smallest degree, see Example 4.5 in [11]. By Theorem 3.1 v(i A ) = 1 and the above generators are indispensable binomials. It follows that the minimal binomial A-degrees are 75, 80, 93, 96, 110, 112 and 122. 4. The indispensable complex of a vector configuration Consider a vector configuration A = {a 1,...,a m } in Z n with NA pointed, and the toric ideal I A K[x 1,...,x m ]. In [10] it is proved that a binomial B is indispensable if and only if either B or B belongs to the reduced Gröbner base of I A for any lexicographic term order on K[x 1,...,x m ]. In [1] it is shown that a monomial M is indispensable if the reduced Gröbner base of I A, with respect to any lexicographic term order on K[x 1,...,x m ], contains a binomial B such that M is a monomial of B. We are going to provide a more efficient way to check if a binomial is indispensable and respectively for a monomial. Namely we will give a criterion that provides the indispensable binomials and monomials with only the information from one specific generating set of I A. We let M A be the monomial ideal generated by all x u for which there exists a nonzero x u x v I A ; in other words given a vector u = (u 1,...,u m ) N m the monomial x u belongs to M A if and only if there exists v = (v 1,...,v m ) N m such that v u, i.e. v i u i for some i, and deg A (x u ) = deg A (x v ). We note that if {B 1 = x u1 x v1,...,b s = x us x vs } is a generating set of I A then M A = (x u1,...,x us,x v1,...,x vs ). Let T A := {M 1,...,M k } be the unique minimal monomial generating set of M A. Proposition 4.1. The indispensable monomials of I A are precisely the elements of T A. Proof. First we will prove that the elements of T A are indispensable monomials. Let{B 1,...,B s }beaminimalgeneratingsetofi A. SetM j := x u forj {1,...,k}. Since x u x v is in I A for some v, it follows that there is an i {1,...,s} and a monomial N of B i such that N divides x u and thus x u = N. Conversely consider an indispensable monomial x u of I A and assume that is not an element of T A then x u = M j x c for some j {1,...,k} and c 0. By our previous argument M j is indispensable. Without loss of generality we may assume that B 1 = M j x z. If B j = x u x v, then B j := xc x z x v = B j x c B 1 I A and therefore I A = (B 1,...,B j 1,B j,b j+1,...,b s ). This way we can eliminate x u from all the elements of the generating set of I A, a contradiction to the fact that x u is indispensable.

8 H. CHARALAMBOUS, A. KATSABEKIS, AND A. THOMA Definition 4.2. We define the indispensable complex ind(a) to be the simplicial complex with vertices the elements of T A and faces all subsets of T A consisting of monomials with the same A-degree. By Proposition 4.1 the indispensable monomials are the vertices of ind(a). The connected components consist of the vertices of the same A-degree and are simplices of ind(a), actually are facets. Different connected components have different A- degrees. We compute ind(a) in the following example. Example 4.3. In Example 2.13 we have that M A = (x 0,x 1,...,x n ) and also the facets of ind(a) are {x 0 } and {x 1,...,x n }. It follows easily that whenever deg A (x u ) is a minimal binomial A-degree, then x u T A. The converse is not true in general. Indeed in Example 2.13, x 0 belongs to T A but deg A (x 0 ) is not minimal. Next we give a criterion that determines the indispensable binomials. Theorem 4.4. A binomial B = x u x v I A is indispensable if and only if {x u,x v } is a 1-dimensional facet of ind(a) and deg A (B) is a minimal binomial A-degree. Proof. Letb = deg A (B). Supposethat{x u,x v }isa1-dimensionalfacetof ind(a) and b is minimal binomial A-degree. By Proposition 2.4, minimality of b implies that the elements of deg 1 A (b) which are the vertices of G(b), are vertices of ind(a) and the connected components of G(b) are singletons. Since ind(a) contains only two vertices of A-degree b, G(b) consists of two connected components, {x u } and {x v } and B is indispensable by Corollary 2.10. The other direction is done by reversing the implications. Theorem 4.4 shows that the toric ideal I A of Example 2.13 has no indispensable binomials for n > 2. Indeed in this case the indispensable complex of I A contains no 1-simplices that are facets. WeremarkthattochecktheminimalityoftheA-degreebofthebinomialB I A it is enough to compare b with the A-degrees of the vertices of ind(a). Thus given any generating set of I A one can compute T A and construct the simplicial complex ind(a). TheelementsofT A aretheindispensablemonomialsandthe1-dimensional facets of ind(a) of minimal binomial A-degree are the indispensable binomials. Example 4.5. Let A = {(2,1,0),(1,2,0),(2,0,1),(1,0,2),(0,2,1),(0,1,2)}. Using CoCoA, [5], we see that I A is minimally generated by: x 1 x 6 x 2 x 4,x 1 x 6 x 3 x 5,x 2 2x 3 x 2 1x 5,x 2 x 2 3 x 2 1x 4,x 1 x 2 5 x 2 2x 6,x 1 x 2 4 x 2 3x 6,x 2 4x 5 x 3 x 2 6,x 1 x 4 x 5 x 2 x 3 x 6,x 4 x 2 5 x 2 x 2 6. Moreover T A = {M 1 = x 1 x 6, M 2 = x 2 x 4, M 3 = x 3 x 5, M 4 = x 3 x 2 6, M 5 = x 2 4 x 5, M 6 = x 2 x 2 6, M 7 = x 4 x 2 5, M 8 = x 2 3 x 6, M 9 = x 1 x 2 4, M 10 = x 2 2x 6, M 11 = x 1 x 2 5, M 12 = x 2 1x 5, M 13 = x 2 2x 3, M 14 = x 2 1x 4, M 15 = x 2 x 2 3,M 16 = x 2 x 3 x 6, M 17 = x 1 x 4 x 5 }. It follows that ind(a) is a simplicial complex on 17 vertices and its connected components are the facets {M 1,M 2,M 3 },{M 4,M 5 },{M 6,M 7 },{M 8,M 9 }, {M 10,M 11 },{M 12,M 13 },{M 14,M 15 },{M 16,M 17 }. The A-degrees of the components are accordingly (2,2,2),(2,2,5),(1,4,4),(4,1,4),

MINIMAL SYSTEMS OF GENERATORS 9 (2,5,2),(4,4,1),(5,2,2),(3,3,3). All of them are minimal binomial A-degrees and thus I A has 7 indispensable binomials corresponding to the 1-dimensional facets. We see that all non zero A-graded Betti numbers equal to 1, except from β 0,(2,2,2) which equals to 2. From Corollary 2.11 we take that ν(i A ) = 3. The next corollary gives a necessary condition for a toric ideal to be generated by the indispensable binomials. Corollary 4.6. Let A = {a 1,...,a m } be a vector configuration in Z n. If I A is generated by the indispensable binomials, then every connected component of ind(a) is 1-simplex. Proof. Let {B 1,...,B s } be a minimal generating set of I A consisting of indispensable binomials B i = x ui x vi. We note that the monomials of the B i are all indispensable and form T A. Thus if a face of ind(a) contains x ui it also contains x vi. By Theorem 4.4 {x u,x v } is a facet of ind(a). The next example shows that the converse of Corollary 4.6 does not hold. Example 4.7. We return to Example 2.3. The simplicial complex ind(a) consists of only two 1-simplices {x 1 x 2,x 3 x 4 }, {x 5 x 6,x 7 x 8 }, the indispensable binomials are x 1 x 2 x 3 x 4, x 5 x 6 x 7 x 8 and I A (x 1 x 2 x 3 x 4,x 5 x 6 x 7 x 8 ). When ind(a) is a 1-simplex the next proposition shows that I A is principal and therefore generated by an indispensable binomial. Proposition 4.8. The simplicial complex ind(a) is a 1-simplex if and only if I A is a principal ideal. Proof. One direction of this Proposition is trivial. For the converse assume that ind(a) = {x u1,x v1 } and let B 1 := x u1 x v1. We will show that I A = (B 1 ). Let B = x u x v be the binomial of minimal binomial A-degreesuch that B I A \(B 1 ). Since x u = x c x u1 and x v = x d x v1, where x c x d, and none of them equals to 1, we have that x v1 (x c x d ) = x c B 1 B. Therefore 0 x c x d I A, while deg A (x c ) deg A (x u ) a contradiction. References [1] S. Aoki, A. Takemura and R. Yoshida, Indispensable monomials of toric ideals and Markov bases, preprint 2005. [2] I. Barany and H. Scarf, Matrices with identical sets of neighbors, Mathematics of Operation Research 23 (1998) 863-873. [3] A. Campillo and P. Pison, L idéal d un semi-group de type fini, Comptes Rendues Acad. Sci. Paris, Série I, 316 (1993) 1303-1306. [4] A. Cayley, A theorem on trees, Quart.J.Math. 23 (1889) 376-378. [5] CoCoATeam, CoCoA: a system for doing Computations in Commutative Algebra, Available at http://cocoa.dima.unige.it. [6] P. Diaconis and B. Sturmfels, Algebraic algorithms for sampling from conditional distributions, Ann. Statist., 26 (1) (1998) 363-397. [7] J.H. van Lint and R.M Wilson, A course in Combinatorics, Cambridge University Press 1992.

10 H. CHARALAMBOUS, A. KATSABEKIS, AND A. THOMA [8] E. Miller and B. Sturmfels, Combinatorial Commutative Algebra, Graduate Texts in Mathematics 227 Springer Verlag, New York 2005. [9] H. Ohsugi and T. Hibi, Indispensable binomials of finite graphs, J. Algebra Appl. 4 (2005), no 4, 421-434. [10] H. Ohsugi and T. Hibi, Toric ideals arising from contingency tables, Proceedings of the Ramanujan Mathematical Society s Lecture Notes Series, (2006) 87-111. [11] I. Peeva and B. Sturmfels, Generic Lattice Ideals, J. Amer. Math. Soc. 11 (1998) 363-373. [12] B. Sturmfels, Gröbner Bases and Convex Polytopes. University Lecture Series, No. 8 American Mathematical Society Providence, R.I. 1995. [13] A. Takemura and S. Aoki, Some characterizations of minimal Markov basis for sampling from discrete conditional distributions, Ann. Inst. Statist. Math., 56 (1)(2004) 1-17. Department of Mathematics, Aristotle University of Thessaloniki, Thessaloniki 54124, GREECE E-mail address: hara@math.auth.gr Department of Mathematics, University of Ioannina, Ioannina 45110, GREECE E-mail address: akatsabekis@in.gr Department of Mathematics, University of Ioannina, Ioannina 45110, GREECE E-mail address: athoma@cc.uoi.gr