arxiv:math/ v1 [math.ac] 11 Jul 2006
|
|
- Berenice Sparks
- 5 years ago
- Views:
Transcription
1 arxiv:math/ v1 [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 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
3 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 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.
5 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 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 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 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 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 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.
7 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 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 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 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),
9 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 [2] I. Barany and H. Scarf, Matrices with identical sets of neighbors, Mathematics of Operation Research 23 (1998) [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) [4] A. Cayley, A theorem on trees, Quart.J.Math. 23 (1889) [5] CoCoATeam, CoCoA: a system for doing Computations in Commutative Algebra, Available at [6] P. Diaconis and B. Sturmfels, Algebraic algorithms for sampling from conditional distributions, Ann. Statist., 26 (1) (1998) [7] J.H. van Lint and R.M Wilson, A course in Combinatorics, Cambridge University Press 1992.
10 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 [9] H. Ohsugi and T. Hibi, Indispensable binomials of finite graphs, J. Algebra Appl. 4 (2005), no 4, [10] H. Ohsugi and T. Hibi, Toric ideals arising from contingency tables, Proceedings of the Ramanujan Mathematical Society s Lecture Notes Series, (2006) [11] I. Peeva and B. Sturmfels, Generic Lattice Ideals, J. Amer. Math. Soc. 11 (1998) [12] B. Sturmfels, Gröbner Bases and Convex Polytopes. University Lecture Series, No. 8 American Mathematical Society Providence, R.I [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) Department of Mathematics, Aristotle University of Thessaloniki, Thessaloniki 54124, GREECE address: hara@math.auth.gr Department of Mathematics, University of Ioannina, Ioannina 45110, GREECE address: akatsabekis@in.gr Department of Mathematics, University of Ioannina, Ioannina 45110, GREECE address: athoma@cc.uoi.gr
Toric Ideals, an Introduction
The 20th National School on Algebra: DISCRETE INVARIANTS IN COMMUTATIVE ALGEBRA AND IN ALGEBRAIC GEOMETRY Mangalia, Romania, September 2-8, 2012 Hara Charalambous Department of Mathematics Aristotle University
More informationMATHEMATICAL ENGINEERING TECHNICAL REPORTS. Markov Bases for Two-way Subtable Sum Problems
MATHEMATICAL ENGINEERING TECHNICAL REPORTS Markov Bases for Two-way Subtable Sum Problems Hisayuki HARA, Akimichi TAKEMURA and Ruriko YOSHIDA METR 27 49 August 27 DEPARTMENT OF MATHEMATICAL INFORMATICS
More informationToric Varieties in Statistics
Toric Varieties in Statistics Daniel Irving Bernstein and Seth Sullivant North Carolina State University dibernst@ncsu.edu http://www4.ncsu.edu/~dibernst/ http://arxiv.org/abs/50.063 http://arxiv.org/abs/508.0546
More informationIndispensable monomials of toric ideals and Markov bases
Journal of Symbolic Computation 43 (2008) 490 507 www.elsevier.com/locate/jsc Indispensable monomials of toric ideals and Markov bases Satoshi Aoki a, Akimichi Takemura b, Ruriko Yoshida c a Department
More informationHILBERT BASIS OF THE LIPMAN SEMIGROUP
Available at: http://publications.ictp.it IC/2010/061 United Nations Educational, Scientific and Cultural Organization and International Atomic Energy Agency THE ABDUS SALAM INTERNATIONAL CENTRE FOR THEORETICAL
More informationOn the extremal Betti numbers of binomial edge ideals of block graphs
On the extremal Betti numbers of binomial edge ideals of block graphs Jürgen Herzog Fachbereich Mathematik Universität Duisburg-Essen Essen, Germany juergen.herzog@uni-essen.de Giancarlo Rinaldo Department
More informationTHE BUCHBERGER RESOLUTION ANDA OLTEANU AND VOLKMAR WELKER
THE BUCHBERGER RESOLUTION ANDA OLTEANU AND VOLKMAR WELKER arxiv:1409.2041v2 [math.ac] 11 Sep 2014 Abstract. We define the Buchberger resolution, which is a graded free resolution of a monomial ideal in
More informationNEW CLASSES OF SET-THEORETIC COMPLETE INTERSECTION MONOMIAL IDEALS
NEW CLASSES OF SET-THEORETIC COMPLETE INTERSECTION MONOMIAL IDEALS M. R. POURNAKI, S. A. SEYED FAKHARI, AND S. YASSEMI Abstract. Let be a simplicial complex and χ be an s-coloring of. Biermann and Van
More informationarxiv: v1 [math.ac] 6 Jan 2019
GORENSTEIN T-SPREAD VERONESE ALGEBRAS RODICA DINU arxiv:1901.01561v1 [math.ac] 6 Jan 2019 Abstract. In this paper we characterize the Gorenstein t-spread Veronese algebras. Introduction Let K be a field
More informationGENERIC LATTICE IDEALS
JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume 11, Number 2, April 1998, Pages 363 373 S 0894-0347(98)00255-0 GENERIC LATTICE IDEALS IRENA PEEVA AND BERND STURMFELS I. Introduction Let S = k[x 1,...,x
More informationThe universal Gröbner basis of a binomial edge ideal
The universal Gröbner basis of a binomial edge ideal Mourtadha Badiane Isaac Burke Emil Sköldberg National University of Ireland, Galway Galway, Ireland {m.badiane1,i.burke1,emil.skoldberg}@nuigalway.ie
More informationALGEBRAIC PROPERTIES OF BIER SPHERES
LE MATEMATICHE Vol. LXVII (2012 Fasc. I, pp. 91 101 doi: 10.4418/2012.67.1.9 ALGEBRAIC PROPERTIES OF BIER SPHERES INGA HEUDTLASS - LUKAS KATTHÄN We give a classification of flag Bier spheres, as well as
More informationarxiv: v1 [math.ac] 11 Dec 2013
A KOSZUL FILTRATION FOR THE SECOND SQUAREFREE VERONESE SUBRING arxiv:1312.3076v1 [math.ac] 11 Dec 2013 TAKAYUKI HIBI, AYESHA ASLOOB QURESHI AND AKIHIRO SHIKAMA Abstract. The second squarefree Veronese
More informationarxiv: v2 [math.ac] 19 Dec 2008
A combinatorial description of monomial algebras arxiv:0810.4836v2 [math.ac] 19 Dec 2008 Ignacio Oeda Universidad de Extremadura Departamento de Matemáticas e-mail: oedamc@unex.es March 22, 2009 Abstract
More informationMCS 563 Spring 2014 Analytic Symbolic Computation Monday 14 April. Binomial Ideals
Binomial Ideals Binomial ideals offer an interesting class of examples. Because they occur so frequently in various applications, the development methods for binomial ideals is justified. 1 Binomial Ideals
More informationDIRAC S THEOREM ON CHORDAL GRAPHS
Seminar Series in Mathematics: Algebra 200, 1 7 DIRAC S THEOREM ON CHORDAL GRAPHS Let G be a finite graph. Definition 1. The graph G is called chordal, if each cycle of length has a chord. Theorem 2 (Dirac).
More informationFREE RESOLUTION OF POWERS OF MONOMIAL IDEALS AND GOLOD RINGS
FREE RESOLUTION OF POWERS OF MONOMIAL IDEALS AND GOLOD RINGS N. ALTAFI, N. NEMATI, S. A. SEYED FAKHARI, AND S. YASSEMI Abstract. Let S = K[x 1,..., x n ] be the polynomial ring over a field K. In this
More informationSome Algebraic and Combinatorial Properties of the Complete T -Partite Graphs
Iranian Journal of Mathematical Sciences and Informatics Vol. 13, No. 1 (2018), pp 131-138 DOI: 10.7508/ijmsi.2018.1.012 Some Algebraic and Combinatorial Properties of the Complete T -Partite Graphs Seyyede
More informationHamiltonian Tournaments and Gorenstein Rings
Europ. J. Combinatorics (2002) 23, 463 470 doi:10.1006/eujc.2002.0572 Available online at http://www.idealibrary.com on Hamiltonian Tournaments and Gorenstein Rings HIDEFUMI OHSUGI AND TAKAYUKI HIBI Let
More informationAN INTRODUCTION TO AFFINE TORIC VARIETIES: EMBEDDINGS AND IDEALS
AN INTRODUCTION TO AFFINE TORIC VARIETIES: EMBEDDINGS AND IDEALS JESSICA SIDMAN. Affine toric varieties: from lattice points to monomial mappings In this chapter we introduce toric varieties embedded in
More informationINITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY. the affine space of dimension k over F. By a variety in A k F
INITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY BOYAN JONOV Abstract. We show in this paper that the principal component of the first order jet scheme over the classical determinantal
More informationRigid monomial ideals
Rigid monomial ideals Timothy B.P. Clark and Sonja Mapes February 10, 011 Abstract In this paper we investigate the class of rigid monomial ideals. We give a characterization of the minimal free resolutions
More informationCHARACTERIZATION OF GORENSTEIN STRONGLY KOSZUL HIBI RINGS BY F-INVARIANTS
CHARACTERIZATION OF GORENSTEIN STRONGLY KOSZUL HIBI RINGS BY F-INVARIANTS KAZUNORI MATSUDA Abstract. Hibi rings are a kind of graded toric ring on a finite distributive lattice D = J(P ), where P is a
More informationPRIMARY DECOMPOSITION FOR THE INTERSECTION AXIOM
PRIMARY DECOMPOSITION FOR THE INTERSECTION AXIOM ALEX FINK 1. Introduction and background Consider the discrete conditional independence model M given by {X 1 X 2 X 3, X 1 X 3 X 2 }. The intersection axiom
More informationIdeals and graphs, Gröbner bases and decision procedures in graphs
Ideals and graphs, Gröbner bases and decision procedures in graphs GIUSEPPA CARRA FERRO and DANIELA FERRARELLO Department of Mathematics and Computer Science University of Catania Viale Andrea Doria 6,
More informationToric statistical models: parametric and binomial representations
AISM (2007) 59:727 740 DOI 10.1007/s10463-006-0079-z Toric statistical models: parametric and binomial representations Fabio Rapallo Received: 21 February 2005 / Revised: 1 June 2006 / Published online:
More informationA finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792
Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759-P.792 Issue Date 2004-2 Text Version publisher URL https://doi.org/0.890/838
More informationGröbner bases of nested configurations arxiv: v1 [math.ac] 7 Jan 2008
Gröbner bases of nested configurations arxiv:080.099v [math.ac] 7 Jan 008 Satoshi Aoki, Takayuki Hibi, Hidefumi Ohsugi and Akimichi Takemura Abstract In this paper we introduce a new and large family of
More informationT-SPREAD STRONGLY STABLE MONOMIAL IDEALS
T-SPREAD STRONGLY STABLE MONOMIAL IDEALS VIVIANA ENE, JÜRGEN HERZOG, AYESHA ASLOOB QURESHI arxiv:1805.02368v2 [math.ac] 3 Jun 2018 Abstract. We introduce the concept of t-spread monomials and t-spread
More informationarxiv: v2 [math.ac] 29 Sep 2013
FREE RESOLUTION OF POWERS OF MONOMIAL IDEALS AND GOLOD RINGS arxiv:1309.6351v2 [math.ac] 29 Sep 2013 N. ALTAFI, N. NEMATI, S. A. SEYED FAKHARI, AND S. YASSEMI Abstract. Let S = K[x 1,...,x n ] be the polynomial
More informationMULTIPLICITIES OF MONOMIAL IDEALS
MULTIPLICITIES OF MONOMIAL IDEALS JÜRGEN HERZOG AND HEMA SRINIVASAN Introduction Let S = K[x 1 x n ] be a polynomial ring over a field K with standard grading, I S a graded ideal. The multiplicity of S/I
More informationarxiv: v1 [math.ac] 18 Mar 2014
LINEARLY RELATED POLYOMINOES arxiv:1403.4349v1 [math.ac] 18 Mar 2014 VIVIANA ENE, JÜRGEN HERZOG, TAKAYUKI HIBI Abstract. We classify all convex polyomino ideals which are linearly related or have a linear
More informationAlgebraic Models in Different Fields
Applied Mathematical Sciences, Vol. 8, 2014, no. 167, 8345-8351 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ams.2014.411922 Algebraic Models in Different Fields Gaetana Restuccia University
More informationLINEAR RESOLUTIONS OF QUADRATIC MONOMIAL IDEALS. 1. Introduction. Let G be a simple graph (undirected with no loops or multiple edges) on the vertex
LINEAR RESOLUTIONS OF QUADRATIC MONOMIAL IDEALS NOAM HORWITZ Abstract. We study the minimal free resolution of a quadratic monomial ideal in the case where the resolution is linear. First, we focus on
More informationPOLYNOMIAL DIVISION AND GRÖBNER BASES. Samira Zeada
THE TEACHING OF MATHEMATICS 2013, Vol. XVI, 1, pp. 22 28 POLYNOMIAL DIVISION AND GRÖBNER BASES Samira Zeada Abstract. Division in the ring of multivariate polynomials is usually not a part of the standard
More informationThe planar resolution algorithm
The planar resolution algorithm Dumitru Stamate 1 Introduction Let I = < m 1,..., m r > S := K[x 1,..., x n ] be an arbitrary monomial ideal, where K is a field. As we saw in [5], by computing the Scarf
More informationPolynomials, Ideals, and Gröbner Bases
Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields
More informationBinomial Exercises A = 1 1 and 1
Lecture I. Toric ideals. Exhibit a point configuration A whose affine semigroup NA does not consist of the intersection of the lattice ZA spanned by the columns of A with the real cone generated by A.
More informationON THE STANLEY DEPTH OF SQUAREFREE VERONESE IDEALS
ON THE STANLEY DEPTH OF SQUAREFREE VERONESE IDEALS MITCHEL T. KELLER, YI-HUANG SHEN, NOAH STREIB, AND STEPHEN J. YOUNG ABSTRACT. Let K be a field and S = K[x 1,...,x n ]. In 1982, Stanley defined what
More informationOn a class of squarefree monomial ideals of linear type
On a class of squarefree monomial ideals of linear type University of Science and Technology of China Shanghai / November 2, 2013 Basic definition Let K be a field and S = K[x 1,...,x n ] a polynomial
More informationGeneralized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485
Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757
More informationmathematics Smoothness in Binomial Edge Ideals Article Hamid Damadi and Farhad Rahmati *
mathematics Article Smoothness in Binomial Edge Ideals Hamid Damadi and Farhad Rahmati * Faculty of Mathematics and Computer Science, Amirkabir University of Technology (Tehran Polytechnic), 424 Hafez
More informationMarkov bases and subbases for bounded contingency tables
Markov bases and subbases for bounded contingency tables arxiv:0905.4841v2 [math.co] 23 Jun 2009 Fabio Rapallo Abstract Ruriko Yoshida In this paper we study the computation of Markov bases for contingency
More informationToric Fiber Products
Toric Fiber Products Seth Sullivant North Carolina State University June 8, 2011 Seth Sullivant (NCSU) Toric Fiber Products June 8, 2011 1 / 26 Families of Ideals Parametrized by Graphs Let G be a finite
More informationBinomial Ideals from Graphs
Binomial Ideals from Graphs Danielle Farrar University of Washington Yolanda Manzano St. Mary s University Juan Manuel Torres-Acevedo University of Puerto Rico Humacao August 10, 2000 Abstract This paper
More informationThe Hilbert functions which force the Weak Lefschetz Property
The Hilbert functions which force the Weak Lefschetz Property JUAN MIGLIORE Department of Mathematics, University of Notre Dame, Notre Dame, IN 46556, USA E-mail: Juan.C.Migliore.1@nd.edu FABRIZIO ZANELLO
More informationarxiv: v2 [math.ac] 24 Jun 2014
Hilbert-Samuel Multiplicity of a Bipartite Graph arxiv:1406.2603v2 [math.ac] 24 Jun 2014 Abstract Priya Das 1, Himadri Mukherjee IISER Kolkata, Mohanpur Campus Let G be a bipartite graph and I(G the toric
More informationarxiv: v2 [math.ac] 24 Sep 2014
When is a Squarefree Monomial Ideal of Linear Type? Ali Alilooee Sara Faridi October 16, 2018 arxiv:1309.1771v2 [math.ac] 24 Sep 2014 Abstract In 1995 Villarreal gave a combinatorial description of the
More informationAcyclic Digraphs arising from Complete Intersections
Acyclic Digraphs arising from Complete Intersections Walter D. Morris, Jr. George Mason University wmorris@gmu.edu July 8, 2016 Abstract We call a directed acyclic graph a CI-digraph if a certain affine
More informationTORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS
TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS YUSUKE SUYAMA Abstract. We give a necessary and sufficient condition for the nonsingular projective toric variety associated to a building set to be
More informationThe Topology of Intersections of Coloring Complexes
The Topology of Intersections of Coloring Complexes Jakob Jonsson October 19, 2005 Abstract In a construction due to Steingrímsson, a simplicial complex is associated to each simple graph; the complex
More informationMAXIMAL PERIODS OF (EHRHART) QUASI-POLYNOMIALS
MAXIMAL PERIODS OF (EHRHART QUASI-POLYNOMIALS MATTHIAS BECK, STEVEN V. SAM, AND KEVIN M. WOODS Abstract. A quasi-polynomial is a function defined of the form q(k = c d (k k d + c d 1 (k k d 1 + + c 0(k,
More informationDIANE MACLAGAN. Abstract. The main result of this paper is that all antichains are. One natural generalization to more abstract posets is shown to be
ANTICHAINS OF MONOMIAL IDEALS ARE FINITE DIANE MACLAGAN Abstract. The main result of this paper is that all antichains are finite in the poset of monomial ideals in a polynomial ring, ordered by inclusion.
More informationLecture 1. (i,j) N 2 kx i y j, and this makes k[x, y]
Lecture 1 1. Polynomial Rings, Gröbner Bases Definition 1.1. Let R be a ring, G an abelian semigroup, and R = i G R i a direct sum decomposition of abelian groups. R is graded (G-graded) if R i R j R i+j
More informationABSTRACT. Department of Mathematics. interesting results. A graph on n vertices is represented by a polynomial in n
ABSTRACT Title of Thesis: GRÖBNER BASES WITH APPLICATIONS IN GRAPH THEORY Degree candidate: Angela M. Hennessy Degree and year: Master of Arts, 2006 Thesis directed by: Professor Lawrence C. Washington
More informationarxiv: v4 [math.ac] 31 May 2012
BETTI NUMBERS OF STANLEY-REISNER RINGS DETERMINE HIERARCHICAL MARKOV DEGREES SONJA PETROVIĆ AND ERIK STOKES arxiv:0910.1610v4 [math.ac] 31 May 2012 Abstract. There are two seemingly unrelated ideals associated
More informationACYCLIC DIGRAPHS GIVING RISE TO COMPLETE INTERSECTIONS
ACYCLIC DIGRAPHS GIVING RISE TO COMPLETE INTERSECTIONS WALTER D. MORRIS, JR. ABSTRACT. We call a directed acyclic graph a CIdigraph if a certain affine semigroup ring defined by it is a complete intersection.
More informationWEAKLY POLYMATROIDAL IDEALS WITH APPLICATIONS TO VERTEX COVER IDEALS
Mohammadi, F. and Moradi, S. Osaka J. Math. 47 (200), 627 636 WEAKLY POLYMATROIDAL IDEALS WITH APPLICATIONS TO VERTEX COVER IDEALS FATEMEH MOHAMMADI and SOMAYEH MORADI (Received February 3, 2009) Abstract
More informationarxiv:math/ v1 [math.ac] 11 Nov 2005
A note on Rees algebras and the MFMC property arxiv:math/0511307v1 [math.ac] 11 Nov 2005 Isidoro Gitler, Carlos E. Valencia and Rafael H. Villarreal 1 Departamento de Matemáticas Centro de Investigación
More informationarxiv: v1 [math.co] 25 Jun 2014
THE NON-PURE VERSION OF THE SIMPLEX AND THE BOUNDARY OF THE SIMPLEX NICOLÁS A. CAPITELLI arxiv:1406.6434v1 [math.co] 25 Jun 2014 Abstract. We introduce the non-pure versions of simplicial balls and spheres
More informationWhen is a squarefree monomial ideal of linear type?
Commutative Algebra and Noncommutative Algebraic Geometry, I MSRI Publications Volume 67, 2015 When is a squarefree monomial ideal of linear type? ALI ALILOOEE AND SARA FARIDI In 1995 Villarreal gave a
More informationMONOMIAL IDEALS WHOSE POWERS HAVE A LINEAR RESOLUTION
MATH. SCAND. 95 (2004), 23 32 MONOMIAL IDEALS WHOSE POWERS HAVE A LINEAR RESOLUTION JÜRGEN HERZOG, TAKAYUKI HIBI and XINXIAN ZHENG Introduction In this paper we consider graded ideals in a polynomial ring
More informationFace vectors of two-dimensional Buchsbaum complexes
Face vectors of two-dimensional Buchsbaum complexes Satoshi Murai Department of Mathematics, Graduate School of Science Kyoto University, Sakyo-ku, Kyoto, 606-8502, Japan murai@math.kyoto-u.ac.jp Submitted:
More informationExplicit Deformation of Lattice Ideals via Chip Firing Games on Directed Graphs
Explicit Deformation of Lattice Ideals via Chip Firing Games on Directed Graphs arxiv:40.3268v [math.co] 4 Jan 204 Spencer Backman and Madhusudan Manjunath For a finite index sublattice L of the root lattice
More informationMarkov chain Monte Carlo methods for the Box-Behnken designs and centrally symmetric configurations
arxiv:1502.02323v1 [math.st] 9 Feb 2015 Markov chain Monte Carlo methods for the Box-Behnken designs and centrally symmetric configurations Satoshi Aoki, Takayuki Hibi and Hidefumi Ohsugi October 27, 2018
More informationZEROS OF SPARSE POLYNOMIALS OVER LOCAL FIELDS OF CHARACTERISTIC p
ZEROS OF SPARSE POLYNOMIALS OVER LOCAL FIELDS OF CHARACTERISTIC p BJORN POONEN 1. Statement of results Let K be a field of characteristic p > 0 equipped with a valuation v : K G taking values in an ordered
More informationNotes on the Matrix-Tree theorem and Cayley s tree enumerator
Notes on the Matrix-Tree theorem and Cayley s tree enumerator 1 Cayley s tree enumerator Recall that the degree of a vertex in a tree (or in any graph) is the number of edges emanating from it We will
More informationarxiv: v1 [math.ac] 8 Jun 2010
REGULARITY OF CANONICAL AND DEFICIENCY MODULES FOR MONOMIAL IDEALS arxiv:1006.1444v1 [math.ac] 8 Jun 2010 MANOJ KUMMINI AND SATOSHI MURAI Abstract. We show that the Castelnuovo Mumford regularity of the
More informationarxiv:math/ v1 [math.co] 3 Sep 2000
arxiv:math/0009026v1 [math.co] 3 Sep 2000 Max Min Representation of Piecewise Linear Functions Sergei Ovchinnikov Mathematics Department San Francisco State University San Francisco, CA 94132 sergei@sfsu.edu
More informationPseudo symmetric monomial curves
Pseudo symmetric monomial curves Mesut Şahin HACETTEPE UNIVERSITY Joint work with Nil Şahin (Bilkent University) Supported by Tubitak No: 114F094 IMNS 2016, July 4-8, 2016 Mesut Şahin (HACETTEPE UNIVERSITY)
More informationarxiv: v3 [math.ac] 29 Aug 2018
ON THE LOCAL K-ELASTICITIES OF PUISEUX MONOIDS MARLY GOTTI arxiv:1712.00837v3 [math.ac] 29 Aug 2018 Abstract. If M is an atomic monoid and x is a nonzero non-unit element of M, then the set of lengths
More informationLCM LATTICES SUPPORTING PURE RESOLUTIONS
LCM LATTICES SUPPORTING PURE RESOLUTIONS CHRISTOPHER A. FRANCISCO, JEFFREY MERMIN, AND JAY SCHWEIG Abstract. We characterize the lcm lattices that support a monomial ideal with a pure resolution. Given
More informationCOMBINATORICS OF RANK JUMPS IN SIMPLICIAL HYPERGEOMETRIC SYSTEMS
COMBINATORICS OF RANK JUMPS IN SIMPLICIAL HYPERGEOMETRIC SYSTEMS LAURA FELICIA MATUSEVICH AND EZRA MILLER Abstract. Let A be an integer d n matrix, and assume that the convex hull conv(a) of its columns
More informationarxiv: v2 [math.ac] 18 Oct 2018
A NOTE ON LINEAR RESOLUTION AND POLYMATROIDAL IDEALS arxiv:1810.07582v2 [math.ac] 18 Oct 2018 AMIR MAFI AND DLER NADERI Abstract. Let R = K[x 1,..., x n] be the polynomial ring in n variables over a field
More informationH A A}. ) < k, then there are constants c t such that c t α t = 0. j=1 H i j
M ath. Res. Lett. 16 (2009), no. 1, 171 182 c International Press 2009 THE ORLIK-TERAO ALGEBRA AND 2-FORMALITY Hal Schenck and Ştefan O. Tohǎneanu Abstract. The Orlik-Solomon algebra is the cohomology
More informationCOMBINATORIAL SYMBOLIC POWERS. 1. Introduction The r-th symbolic power of an ideal I in a Notherian ring R is the ideal I (r) := R 1
COMBINATORIAL SYMBOLIC POWERS SETH SULLIVANT arxiv:math/0608542v1 [mathac] 22 Aug 2006 Abstract Symbolic powers of ideals are studied in the combinatorial context of monomial ideals When the ideals are
More informationCURRICULUM VITAE ANARGYROS KATSAMPEKIS
CURRICULUM VITAE ANARGYROS KATSAMPEKIS PERSONAL INFORMATION 1. Date of birth: February 25, 1977 2. Citizenship: Greek 3. Email address: A.Katsampekis@cwi.nl 4. Personal page: http://katsabekis.awardspace.com
More informationRINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS
RINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS JACOB LOJEWSKI AND GREG OMAN Abstract. Let G be a nontrivial group, and assume that G = H for every nontrivial subgroup H of G. It is a simple matter to prove
More informationOn the minimal free resolution of a monomial ideal.
On the minimal free resolution of a monomial ideal. Caitlin M c Auley August 2012 Abstract Given a monomial ideal I in the polynomial ring S = k[x 1,..., x n ] over a field k, we construct a minimal free
More informationUniform Star-factors of Graphs with Girth Three
Uniform Star-factors of Graphs with Girth Three Yunjian Wu 1 and Qinglin Yu 1,2 1 Center for Combinatorics, LPMC Nankai University, Tianjin, 300071, China 2 Department of Mathematics and Statistics Thompson
More informationClassification of Ehrhart polynomials of integral simplices
FPSAC 2012, Nagoya, Japan DMTCS proc. AR, 2012, 591 598 Classification of Ehrhart polynomials of integral simplices Akihiro Higashitani Department of Pure and Applied Mathematics, Graduate School of Information
More informationThe symmetric group action on rank-selected posets of injective words
The symmetric group action on rank-selected posets of injective words Christos A. Athanasiadis Department of Mathematics University of Athens Athens 15784, Hellas (Greece) caath@math.uoa.gr October 28,
More informationarxiv: v1 [math.ac] 8 Jun 2012
DECOMPOSITION OF MONOMIAL ALGEBRAS: APPLICATIONS AND ALGORITHMS JANKO BÖHM, DAVID EISENBUD, AND MAX J. NITSCHE arxiv:1206.1735v1 [math.ac] 8 Jun 2012 Abstract. Considering finite extensions K[A] K[B] of
More informationDEGREE SEQUENCES OF INFINITE GRAPHS
DEGREE SEQUENCES OF INFINITE GRAPHS ANDREAS BLASS AND FRANK HARARY ABSTRACT The degree sequences of finite graphs, finite connected graphs, finite trees and finite forests have all been characterized.
More informationHilbert regularity of Stanley Reisner rings
International Journal of Algebra and Computation Vol 27, No 3 (2017) 323 332 c World Scientific Publishing Company DOI: 101142/S0218196717500163 Hilbert regularity of Stanley Reisner rings Winfried Bruns
More informationGröbner bases for the polynomial ring with infinite variables and their applications
Gröbner bases for the polynomial ring with infinite variables and their applications Kei-ichiro Iima and Yuji Yoshino Abstract We develop the theory of Gröbner bases for ideals in a polynomial ring with
More informationGENERATING IDEALS IN SUBRINGS OF K[[X]] VIA NUMERICAL SEMIGROUPS
GENERATING IDEALS IN SUBRINGS OF K[[X]] VIA NUMERICAL SEMIGROUPS SCOTT T. CHAPMAN Abstract. Let K be a field and S be the numerical semigroup generated by the positive integers n 1,..., n k. We discuss
More informationOn the stable set of associated prime ideals of monomial ideals and square-free monomial ideals
On the stable set of associated prime ideals of monomial ideals and square-free monomial ideals Kazem Khashyarmanesh and Mehrdad Nasernejad The 10th Seminar on Commutative Algebra and Related Topics, 18-19
More informationarxiv: v2 [math.ac] 15 May 2010
MARKOV DEGREES OF HIERARCHICAL MODELS DETERMINED BY BETTI NUMBERS OF STANLEY-REISNER IDEALS SONJA PETROVIĆ AND ERIK STOKES arxiv:0910.1610v2 [math.ac] 15 May 2010 Abstract. There are two seemingly unrelated
More informationComputing Minimal Polynomial of Matrices over Algebraic Extension Fields
Bull. Math. Soc. Sci. Math. Roumanie Tome 56(104) No. 2, 2013, 217 228 Computing Minimal Polynomial of Matrices over Algebraic Extension Fields by Amir Hashemi and Benyamin M.-Alizadeh Abstract In this
More informationE. GORLA, J. C. MIGLIORE, AND U. NAGEL
GRÖBNER BASES VIA LINKAGE E. GORLA, J. C. MIGLIORE, AND U. NAGEL Abstract. In this paper, we give a sufficient condition for a set G of polynomials to be a Gröbner basis with respect to a given term-order
More informationarxiv: v2 [math.ac] 17 Apr 2013
ALGEBRAIC PROPERTIES OF CLASSES OF PATH IDEALS MARTINA KUBITZKE AND ANDA OLTEANU arxiv:1303.4234v2 [math.ac] 17 Apr 2013 Abstract. We consider path ideals associated to special classes of posets such as
More informationDISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS
DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS AARON ABRAMS, DAVID GAY, AND VALERIE HOWER Abstract. We show that the discretized configuration space of k points in the n-simplex is homotopy equivalent
More informationTotal binomial decomposition (TBD) Thomas Kahle Otto-von-Guericke Universität Magdeburg
Total binomial decomposition (TBD) Thomas Kahle Otto-von-Guericke Universität Magdeburg Setup Let k be a field. For computations we use k = Q. k[p] := k[p 1,..., p n ] the polynomial ring in n indeterminates
More informationOn non-hamiltonian circulant digraphs of outdegree three
On non-hamiltonian circulant digraphs of outdegree three Stephen C. Locke DEPARTMENT OF MATHEMATICAL SCIENCES, FLORIDA ATLANTIC UNIVERSITY, BOCA RATON, FL 33431 Dave Witte DEPARTMENT OF MATHEMATICS, OKLAHOMA
More informationNUMERICAL MONOIDS (I)
Seminar Series in Mathematics: Algebra 2003, 1 8 NUMERICAL MONOIDS (I) Introduction The numerical monoids are simple to define and naturally appear in various parts of mathematics, e.g. as the values monoids
More informationRational Normal Curves as Set-Theoretic Complete Intersections of Quadrics
Rational Normal Curves as Set-Theoretic Complete Intersections of Quadrics Maria-Laura Torrente Dipartimento di Matematica, Università di Genova, Via Dodecaneso 35, I-16146 Genova, Italy torrente@dimaunigeit
More informationCOMPONENTWISE REGULARITY (I)
COMPONENTWISE REGULARITY (I) GIULIO CAVIGLIA AND MATTEO VARBARO Abstract. We define the notion of componentwise regularity and study some of its basic properties. We prove an analogue, when working with
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More information