15.083J Optimization over Integers. Lectures 13-14: Algebraic geometry and integer optimization

Size: px
Start display at page:

Download "15.083J Optimization over Integers. Lectures 13-14: Algebraic geometry and integer optimization"

Transcription

1 J Optimization over Integers Lectures 13-14: Algebraic geometry and integer optimization Typos and errors corrected. Section 7.4 completely rewritten.

2 geometry optimization optimization 7.1. Background from algebraic 7.. Applications to binary 7.3. Grobner bases for integer 7.4. Applications of real geometry algebraic 7.5. Generating functions for integer points polyhedra in Summary 7.6. Exercises Notes and sources Chapter 7 Algebraic geometry and integer optimization Contents

3 4 Chap. 7 Algebraic geometry and integer optimization In this chapter, we i n troduce several approach e s t o i n teger optimization that have their roots in algebraic geometry. While the methods we discuss in this chapter have n o t y et resulted in practical algorithms, they are based on deep and elegant ideas from a very active eld of mathematics that could potentially lead to ecient algorithms in the future. To m a k e t h e c hapter self-contained we discuss the fundamental concepts from algebraic geometry we will use throughout the chapter. Applying some classical ideas from algebraic geometry we derive a F arkas lemma for integer optimization, and algorithms for both binary and integer optimization. We further introduce some ideas from real algebraic geometry and the problem of moments and derive a convergent (and, in the case of binary optimization, nite) sequence of semidenite relaxations for integer nonlinear optimization. Finally, w e i n troduce a powerful idea of decomposition of cones that leads to a polynomial time algorithm for counting the numbe r of integer points in a polyhedron in a xed dimension. 7.1 Background from algebraic geometry The basic algebraic objects in this chapter are polynomials o ver complex or real numbers. Denition 7.1 (Polynomials) (a) A monomial i n v ariables x = ( x 1 : : : x n) 0 is a product of the form 1 x = x n 1 x n n where = ( 1 : : : n) 0 Z +. (b) A polynomial is an expression of the form X f (x) = f x S n with S Z +, S nite, and f k (k = R or k = C ) for all S. The set of all polynomials in x 1 : : : x n with coecients in k = R or k = C is denoted by k[x 1 : : : x n]. Throughout the chapter we will use k to mean either R or C. W e will indicate explicitly when specic results only hold for k = C. While in one dimension the monomials are naturally ordered by t h e i r degree, i.e., x m > x m;1 > > x > 1, in many dimensions one can dene

4 Sec. 7.1 Background from algebraic geometry 5 several orders. Denition 7. A monomial order on k[x 1 : : : x n] is any relation > on Z n +, or equivalently, a n y relation on the set of monomials x, Z n +, satisfying: (a) > is a total order on Z n +. (b) If > and Zn +, then + > +. (c) Any nonempty subset of Z n + has a smallest element under >. Important examples of monomial orders include: (a) The lexicographic o r d e r. For every Z n +, we sa y > (or x vector dierence ; Z > lex x lex ) if, in the n, the leftmost nonzero entry is positive. For example = (1 0) 0 > (1 1 3) 0 =, since ; = (0 1 ; 3) 0 lex. (b) The graded lex order. For every n, w e say > grlex (or x > grlex x ) if, Z + Xn X n jj = i > i = jj or jj = jj and > lex : In other words, grlex orders by total degree rst and breaks ties using the lex order. For example, = (1 3) 0 > grlex (3 0) 0 = since jj = 6 > 5 = jj: (c) The graded reverse lex order. For every Z n w e say > grevlex (or x > grevlex x +, ) if, Xn X n jj = i > i = jj or jj = jj and in ; Z n the right-most nonzero entry is negative. For example, = (1 5 ) 0 > grevlex ( 3 3) 0 =, since jj = jj = 8 and ; = (;1 ;1) 0 : (d) The vector induced order. We consider a vector c Zn, and for every Zn + +, w e say > c (or x > c x ) if, c 0 > c 0 or c 0 = c 0 and > lex : Note that the requirement c 0 is important, since otherwise, Part (c) in Denition 7. is violated. Example 7.1 Under dierent monomial orders the polynomial f = 6 x 1 x 3 7x 3 ; 5x x 1x 3 is written as follows: x 3 +

5 6 Chap. 7 Algebraic geometry and integer optimization (a) Under the lex order (b) Under the grlex order (c) Under the grevlex order 3 1 f = ;5x + 4 x 1x x 1 x x x 3: f = 4 x x + 6 x 1 x x 3 ; 5x + 7 x : 1 f = 6 x 1 x x x x 3 ; 5x x 3: (d) Under the vector induced order with c = (3 ) 0 3 f = 4 x 1x 3 ; 5x x 1 x x 3 + 7x 3: 3 Note that the eld of complex numbers k = C is algebraically closed, since every nonconstant polynomial has a root in C. The eld k = R, h o wever, is not algebraically closed, since there do not exist any real roots of the equation x + 1 = 0. We n e x t i n troduce the concept of ideals and ane varieties that play a central role in algebraic geometry. Denition 7.3 (Ideals and Ane Varieties) (a) An ideal is a subset I k[x 1 : : : x n] satisfying: (i) 0 I. (ii) If f g I, then f + g I. (iii) If f I and h k[x 1 : : : x n], then hf I. (b) Given an ideal I, w e dene an ane variety V (I) V (I) = fx k n j f (x) = 0 for all f Ig: A k ey property related to ideals is that every ideal is nitely generated. Theorem 7.1 (The Hilbert Basis Theorem) Every ideal I k[x 1 : : ::x n] is nitely generated, i.e., there exist g 1 : : : g t I such that ( Xt I = h i g i h 1 : : : h t k[x 1 : : : x n] : We write I = hg 1 : : : g ti. )

6 Sec. 7.1 Background from algebraic geometry 7 Theorem 7.1 implies that if I = hg 1 : : : g ti, th en V (I) = fx k n j g i (x) = 0 for all i = 1 : : : t g: For polynomials in one variable, it turns out that any ideal in k[x] can be generated by a single polynomial, i.e., I = hf i for some polynomial f k[x]. Then V (I) is the set of roots of f. Since every nonconstant polynomial in C [x] has a root, the only way th a t V (I) = w ould be for f to be a nonzero constant. In this case, 1=f C, a n d th us 1 = (1=f ) f I, which implies that g 1 = g I for all g C [x]. This shows that I = C [x] is the only ideal of C [x] that represents the empty v ariety. It turns out that the same property holds in multiple variables, that is, in any polynomial ring, algebraic closure of k is enough to guarantee that the only ideal which represents the empty v ariety is the entire polynomial ring itself. This is the Weak Nullstellensatz, which is the basis of one of the most important mathematical results of the late nineteenth century, Hilbert's Nullstellensatz. Theorem 7. (The Weak Nullstellensatz) Let I C [x 1 : : : x n] be an ideal satisfying V (I) =. Then I = C [x 1 : : : x n]. We use I(V ) to denote the ideal that contains all polynomials t h a t vanish on a given variety V. In Exercise 7. we s h o w that for a variety V, it holds that if f m I(V ), for some integer m 1, then f I(V ). Thus, an ideal consisting of all polynomials which v anish on a variety V has the property that if some power of a polynomial belongs to the ideal, then the polynomial itself must belong to the ideal. This leads to the denition. Denition 7.4 An ideal I is radical if f m I for some integer m 1 implies that f I. The previous discussion implies that I(V ) is a radical ideal. Another po werful theorem is as follows. Theorem 7.3 (Hilbert's Nullstellensatz) The polynomials f f 1 : : : f s C [x 1 : : : x n] satisfy f I(V (f 1 : : : f s)) if and only if there exists an integer m 1 such that f m h f 1 : : : f si. Theorem 7.3 says that the only way that an arbitrary ideal I can fail to be the ideal of all polynomials v anishing on V (I) is for I to contain powers

7 8 Chap. 7 Algebraic geometry and integer optimization f m of polynomials which are not in I. This leads to the denition. Denition 7.5 Let I k[x 1 : : : x n] be an ideal. The radical of I, denoted by p I, is the set ff j f m I for some integer m 1g: It is a simple observation that an ideal is radical if and only if I = p I. It turns out (Exercise 7.3) that if I is an ideal in k[x 1 : : : x n], then p I is an ideal in k[x 1 : : : x n] containing I. F urthermore, p I is a radical ideal. Theorem 7. leads to a Farkas type lemma for a system of polynomial equations over C [x 1 : : : x n]: Theorem 7.4 Let g 1 : : : g t C [x 1 : : : x n] be polynomials. Then, the system g i (x) = 0 i = 1 : : : t (7.1) C has no solution in n C if and only if there exist polynomials h 1 : : : h t [x 1 : : : x n] such that X t h i g i = 1 : (7.) Proof. We let I = hg 1 : : : g ti and V (I) = fx C n j g i (x) = 0 for all i = 1 : : : t g : If Eq. (7.1) C does not have a solution, then V (I) =. Theorem 7. implies that I = [x 1 : : : x n]. Since the number 1 is a m em ber of k[x 1 : : : x n] and C since I is generated Pby g 1 : : : g t, there exist polynomials h 1 : : : h t t [x 1 : : : x n] such that h i g i = 1 i.e., Eq. (7.) has a solution. Conversely, suppose that Eq. (7.) has a solution. We assume, for the purpose Pof deriving a contradiction, that Eq. (7.1) has a solution x 0. Then, 1 = t h i (x 0 )g i (x 0 ) = 0 a c o n tradiction. Theorem 7.4 asserts that a certicate of the infeasibility of the system of polynomial equations (7.1) is the set of polynomials h 1 : : : h t. In this sense, Theorem 7.4 can be considered an extension of the Farkas lemma to a system of polynomial equations. In order to compute the polynomials h 1 : : : h t, w e need to be able to address the question of deciding whether a g i v en polynomial f belongs to the ideal I = hg 1 : : : g ti. Specically, Theorem 7.4 asks whether the polynomial 1 is in I. In order to develop

8 Sec. 7.1 Background from algebraic geometry 9 methods to address this question we need some additional denitions. Denition P 7.6 Given a monomial order > and a polynomial f (x) = S f x we dene (a) The multidegree of f is multideg(f ) = max S where the maximum is taken over the given order > : (b) The leading coecient o f f is (c) The leading monomial o f f (d) The leading term of f LC(f ) = f multideg(f ) : LM(f ) = x multideg(f ) : LT(f ) = LC( f ) LM(f ): To illustrate for f = ;5x x 1 x x 1 x x x 3 and the lex order, 3 multideg(f ) = (3 0 0) 0 LC(f ) = ;5 LM(f ) = x 3 1 LT(f ) = ;5x 1 : Given a monomial order, we can dene the division of a polynomial f (x) b y a polynomial g(x) as illustrated in Example 7.. A natural idea to decide if f I = hg 1 : : : g ti is then to start dividing f by g 1 : : : g t to obtain f = h 1 g h t g t + r and to say that f I if the remainder r = 0 : Note that in multivariate polynomials the remainder r depends on the order in which w e perform the division. While r = 0 implies that f I, r 6 = 0 does not necessarily imply that f = I as the next example illustrates. Example 7. Let g 1 = xy + 1, g = y ; 1 and consider the lex order. We w ant to determine whether f = xy ; x h g 1 g i. If w e divide f by g 1 rst and then by g we obtain xy ; x = y(xy + 1) + 0( y ; 1) + (;x ; y): If, however, we divide f by g rst and then by g 1 we obtain xy ; x = x(y ; 1) + 0(xy + 1) + 0 which leads to the conclusion that f h g 1 g i.

9 10 Chap. 7 Algebraic geometry and integer optimization This observation motivates the following denition. Denition 7.7 Let G = fg 1 : : : g tg be a set of polynomials and I = hg 1 : : : g ti. G is called a Grobner basis for the ideal I if f I if and only if the remainder of the division of f by the polynomials in G is always zero, independent of the order in which w e perform the division. Given an ordered collection G of polynomials and a polynomial f, w e can dene the remainder R(f G ) of the division of f by the polynomials in G in the order specied. If G, h o wever, is a Grobner basis the remainder R(f G ) is independent of the order we perform the divisions. Thus, given a Grobner basis G of an ideal I we can decide whether f I by successive divisions. It is not a priori clear that a Grobner basis exists for an arbitrary ideal. The following algorithm, however, constructs such a basis. Algorithm 7.1 The Buchberger algorithm Input: A set F = ff 1 : : : f sg of polynomials i n k[x 1 : : : x n] and a monomial order. Output: A Grobner basis G = fg 1 : : : g tg for I = hf 1 : : : f si. Algorithm: 1. (Initialization) Let G := (f 1 : : : f s) be the ordered tuple obtained from F.. For each p q G (a) Let = m ultideg(p), = m ultideg(q), i = m ax( i i), and = ( 1 : : : n) 0. (b) Compute the polynomial x x S(p q) = p ; q: LT(p) LT(q) (c) Compute the remainder r of the division of S(p q) with the ordered set G, denoted as R(S(p q) G ) using the given monomial order. (d) If r 6= 0, then G := (G r) goto Step If r = 0 for all p q G, then goto Step Output G. We remark that dierent monomial orders lead to dierent G r obner bases, since the monomial order aects the outcome of the division of polynomials.

10 Sec. 7.1 Background from algebraic geometry 11 Example 7.3 We w ould like to nd the Grobner basis for I = hf 1 f i with 3 ; xy and f = x y ; y + x and the grlex order. We compute S(f 1 f ) f 1 = x as follows: multideg(f 1 ) = (3 0) 0 multideg(f ) = ( 1) 0, and thus = (3 1) 0. Thus, 3 3 x y 3 x y S(f 1 f ) = (x ; xy) ; (x y ; y + x) = ;x : x 3 x y Moreover, R(S(f 1 f ) ff 1 f g) = f 3 = ;x, and G = ( f 1 f f 3 ). We continue and obtain 3 S(f 1 f 3 ) = ( x R(S(f 1 f 3 ) ff 1 f f 3g) = f 4 = ;xy: ; xy) ; (;x)(;x ) = ;xy We add f 4 to G which now becom es G = ( f 1 f f 3 f 4 ). We continue and nd 3 S(f 1 f 4 ) = y(x Moreover, ; xy) ; (;1=)x (;xy) = ;xy S(f f 3 ) = ( x y ; y + x) ; (;y)(;x R(S(f f 3 ) G ) = f 5 = ;y + x: = yf 4 R (S(f 1 f 4 ) G ) = 0 : ) = ;y We add f 5 to G, and obtain G = ( f 1 : : : f 5 ), and we check that Thus, a Grobner basis is R(S(f i f j ) G ) = 0 for all i j = 1 : : : 5: 3 fx ; xy x y ; y + x ;x ;xy ;y + xg: + x The following theorem shows that Grobner bases are correctly computed by Algorithm 7.1. Theorem 7.5 Algorithm 7.1 terminates in nite time. It computes a Grobner basis for the ideal I = hf 1 : : : f si with respect to the given monomial order. It turns out that Grobner bases computed by Algorithm 7.1 are often bigger than necessary. W e can eliminate some of its elements by using the observation that if p G such that LT(p) h LT(G n f pg)i, th en G n f pg is also a Grobner basis. Example 7.4 Continuing Example 7.3, we observe t h a t 3 LT(f 1 ) = x = ;x LT(f 3 ) and thus we can delete f 1 from the Grobner basis. Also, and we can eliminate f. LT(f ) = x y = ;(1=)x LT(f 4 )

11 1 Chap. 7 Algebraic geometry and integer optimization We next dene the notion of a minimal Grobner basis. Denition 7.8 A minimal Grobner basis for a polynomial ideal I is a Grobner basis G for I such that (a) LC(p) = 1 for all p G. (b) For all p G, LT(p) = h LT(G n f pg)i: Example 7.5 Continuing Example 7.4, we conclude that fx x y y ; (1=)xg is a minimal Grobner basis. A given ideal, however, might h a ve m a n y minimal Grobner bases. In the example, it is easy to check t h a t G = fx + xy xy y ; (1=)xg for R being any constant is also a minimal Grobner basis. This leads to the denition. Denition 7.9 A reduced Grobner basis for a polynomial ideal I is a Grobner basis G for I such that (a) LC(p) = 1 for all p G. (b) For all p G, no monomial o f p lies in hlt(g n f pg)i: In Example 7.5, the only reduced Grobner basis is G 0 corresponding to = 0. In fact, we h a ve the following theorem. Theorem 7.6 For a given monomial order, a polynomial ideal has a unique reduced Grobner basis. Many computer algebra systems have implemented Algorithm 7.1 to compute the reduced Grobner basis for a given monomial order. However, Algorithm 7.1 has two diculties: First, it nds a lot of elements in the basis that might be deleted later as they do not belong to the reduced Grobner basis. Furthermore, because of the divisions with potentially large numbers, its numerical stability is problematic. Nevertheless, Algorithm 7.1 leads to a constructive proof of Theorem 7.1 and forms the algorithmic foundation for several applications of algebraic geometry including those in integer optimization we outline in Sections 7. and 7.3. We will also utilize the notion of an elimination ideal. Denition 7.10 Given I = hf 1 : : : f si k[x 1 : : : x n], the lth elimination ideal I l is dened as I l = I \ k[x l+1 : : : x n].

12 Sec. 7. Applications to binary optimization 13 A connection of elimination ideals and Grobner bases with the lex order is given by: Theorem 7.7 Let I k[x 1 : : : x n] be an ideal and let G be a Grobner basis of I with respect to lex order where x 1 > x > > x n. Then, for every 0 l n ; 1, the set G l = G \ k[x l+1 : : : x n] is a Grobner basis of the lth elimination ideal I l. We also have: Theorem 7.8 Let I = hq 1 : : : q si C [x 1 : : : x n] and let I 1 be the rst elimination ideal of I. F or each 1 i s, w e can write q i in the form N i 1 qi = h i (x : : : x n)x + terms in which x 1 has degree smaller than N i where N i 0 and h i C [x : : : x n] is nonzero. Suppose we h a ve a partial solution (a : : : a n) V (I 1 ). If (a : : : a n) = V (h 1 : : : h s), then there exists a 1 C such that (a 1 : : : a n) V (I). 7. Applications to binary optimization In this section, we d e v elop a Farkas type lemma and propose an algorithm for binary optimization problems using the results of Section 7.1. Let A Z mn and b Z m and consider the system Ax = b x f 0 1g n : (7.3) C We write x i f 0 1g as x i ; x i = 0 and dene k =, w h ich is algebraically closed. We l e t f i = a0 i x ; b i, i = 1 : : : m, g j = x j ; x j and N = f1 : : : n g: We let J = hf 1 : : : f m g 1 : : : g ni V (J) = fx C n j Ax = b x i ; x i = 0 i N g

13 m js 14 Chap. 7 Algebraic geometry and integer optimization and apply Theorem 7.4. Theorem 7.9 System (7.3) is infeasible if and only if there exist vectors u S Q m, S N such that u0 b = ;1 0 1 X X (7.4) u A j ; ba + u 0 A j = 0 8 S N S 6= : S js Snfjg Proof. Applying Theorem 7. to the ideal J we obtain that problem (7.3) is infeasible if and only if there exist polynomials h 1 : : : h m and r 1 : : : r n such that X m h i (x)(a i X n 0 x ; b i ) + r i (x)(x i ; x i ) = 1 : Since we a r e i n terested in x f 0 1g n it is enough to consider polynomials h 1 : : : h m of the form X Y h i (x) = u S i x j SN with u S i C. Since the matrix A and the vector b are real, it is enough to consider u S i Q by considering the real part of u S i. W e th us obtain that for all x f 0 1g n Xm X Y 1 = u S i (a i 0 x ; b i ) x j js js SN 0 1 Xm X X X Y A = u S a ij x j ; b i + a ij x j SN js j S js = 0 1 Xm X X Y = u S a ij ; b i A x j (x = x i i S) i SN js js X X X Y + u S i a ij x r SN j S = rs[fjg X Xm X XX m Y u S a ij ; b i A + u Snfjg i a ij A x j : SN js js js x j

14 1 Sec. 7. Applications to binary optimization Equating the coecients of the monomials X m u i (;b i ) = Q js x j, w e obtain Xm X us a ij ; b i A + u Snfjg i a ij A = 0 8S N S 6= : js js which leads to Eq. (7.4). We next proceed to use Algorithm 7.1 to nd a solution to system (7.3) or to detect that no feasible solution exists. 15 Algorithm 7. Input: A Z mn b Z m. Output: A feasible solution (a 1 : : : a n) to system (7.3) or a certicate that system (7.3) is infeasible. Algorithm: 1. Find a Grobner basis G of the ideal J using lex order x 1 > x > > x n. If G = f1g, then problem (7.3) has no feasible solutions.. If G 6= f1g: Consider for 1 l n ; 1, the sets G l = G \ C [x l+1 : : : x n]. Starting from index n ; 1, a n d w orking sequentially: (a) Find a n in V (G n;1 ). (b) Extend a n to (a n;1 a n) such that (a n;1 a n) V (G n; ). Continuing in this fashion, nd a such that (a : : : a n) V (G 1 ) and a 1 such that (a 1 : : : a n) V (G). (c) Output (a 1 : : : a n). We next show that Algorithm 7. correctly solves system (7.3). Theorem 7.10 Algorithm 7. either nds a feasible solution for system (7.3), or provides a certicate of infeasibility whenever the Grobner basis G = f1g. Proof. Consider the elimination ideals J 1 : : : J n;1 where J k = J \C [x k+1 : : : x n]. If we nd the Grobner basis G of the ideal J using Algorithm 7.1 with the lex order, then Theorem 7.7 implies that G k := G \ C [x k+1 : : :x n] is a

15 16 Chap. 7 Algebraic geometry and integer optimization Grobner basis of J k, further implying that V (G k ) = V (J k ). Observe th a t one of the following two cases holds: (a) The Grobner basis G = f1g. Then, the ideal J = C [x 1 : : : x n] indicating that V (J ) is empty, since we are working in an algebraically closed eld. Therefore, system (7.3) is infeasible. (b) The Grobner basis G 6= f1g. In this case, we notice that G n;1 has elements x n ; 1 or x n or x n ; x n belonging to it. This follows from the observation that J n;1 is a polynomial ideal in one variable, namely a subset in C [x n ], and therefore needs only one generator. Moreover, we know t h a t xn ; x n is in the ideal, and thus, given that the only possible solutions in the corresponding variety are x n = 0 or x n = 1, it follows that the only possible elements of G n;1 are x n ; 1 or x n or x n ; x n. W e i n terpret this to mean that points 1 or 0 or both 1 and 0 are partial solutions, respectively. Thus, we n d a n V (J n;1 ). Subsequently, w e obtain a n;1 by extending the partial solution a n to (a n;1 a n) V (J n; ). That is, we take a partial solution in V (J k ) and extend it to a partial solution in V (J k;1 ) and so on. By Theorem 7.8 this is always possible as the appropriate leading coecients (starting from f i and g j ) in our setting are constants. Continuing in this way and applying Theorem 7.8 we can obtain a solution (a 1 : : : a n) in V (J ). It is important t o o b s e r v e that using dierent a n from V (J n;1 ), we can nd all solutions to system (7.3). Moreover, it is im portant to use the lex monomial order. The results do not hold for other orders. Example 7.6 Consider the problem x 1 + x + 3 x x x x 6 = 15 x j f 0 1g 8 j: The ideal we consider is J = hx 1 + x + 3 x x x x 6 ; 15 x 1 ; x 1 x ; x : : : x 6 ; x 6 i: The reduced Grobner basis of J with lex order is G = fx 6 ; x 6 x 5 + x 6 ; 1 x 4 + x 6 ; 1 x 3 + x 6 ; 1 x + x 6 ; 1 x 1 + x 6 ; 1g: Therefore, we h a ve G 5 = fx 6 ; x 6 g, indicating that a 6 = 1 and a 6 = 0 are both partial solutions. Starting from a 6 = 1, we get a 1 = a = : : : = a 5 = 0. Starting from a 6 = 0, w e get a 1 = : : : = a 5 = 1. Therefore, the only two feasible solutions are ( ) 0 and ( ) 0. We next outline some structural properties of the reduced Grobner basis obtained from Algorithm 7. using the lex order x 1 > x > > x n. If the solution to system (7.3) is unique, then all the reduced Grobner basis elements are of the form x i ; a i with a i f 0 1g. Example 7.7 Consider the system x 1 + x + x 3 = x 1 + x = x + x 3 = 1

16 Sec. 7. Applications to binary optimization 17 x 1 x x 3 f 0 1g having a unique solution x 1 = x = 1, x 3 = 0. Algorithm 7. yields this solution through the reduced Grobner basis G = fx 3 x ; 1 x 1 ; 1g. As we h a ve seen in the proof of Theorem 7.10, if the reduced Grobner basis G 6= f1g, then the polynomials in G can be partitioned in n sets S n : : : S 1 as follows: (a) Set S n contains only one polynomial, which is either x n, x n ; 1 or x n ; x n. (b) Set S n;1 contains polynomials in x n and x n;1. (c) Set S i, i = n ; : : : 1 c o n tains polynomials in x n x n;1 : : : x i. This property follows from the fact that the underlying term order is an elimination order. This \diagonalized structure" of the reduced Grobner basis { a generalization of Gaussian elimination for the nn linear system of equations { is useful in enumerating the feasible binary solutions. Starting with S n, w e a ssig n v alues for x n = 0 (if x n S n ), or x n = 1 (if x n ;1 S n ), or x n = 0 1 (if x n ; x n S n ). Having chosen x n, w e backsolve for x n;1 using the polynomials in S n;1, and proceed to assign values to the other variables recursively. Example 7.8 Consider the system x 1 + x + 3 x x x 5 = 6 x 1 : : : x 6 f 0 1g: The reduced Grobner basis for the lex order is G = fx 5 ; x 5 x 4 x 5 x 4 ; x 4 x 3 + x 4 + x 5 ; 1 x + x 5 ; 1 x 1 + x 4 + x 5 ; 1g: The sets are as follows: S 5 = fx 5 ; x 5 g S 4 ; x 4 g, S 3 = fx 3 + x = fx 4 x 5 x x5 ; 1g S = fx + x 5 ; 1g, S 1 = fx 1 + x 4 + x 5 ; 1g: Algorithm 7. enumerates all binary solutions: ( ) 0 ( ) 0 ( ) 0 : We next use Grobner bases to solve the optimization problem minimize c 0 x subject to Ax = b (7.5) x j = x j j = 1 : : : n : C P We w ork in n [x 1 : : : x n y ] and we let h = y ; j=1 c j x j f i = a0 i x ; b i, i = 1 : : : m and g j = x j ; x j, j = 1 : : : n. We consider V = V (f 1 : : : f m g 1 : : : g n h ). Following the same approach as that used for the feasibility problem, with lex order x 1 > x > : : : > x n > y, w e notice that the Grobner basis G of J = hf 1 : : : f m g 1 : : : g n h i is either f1g (indicating infeasibility) or we will have G intersected with k[y] w hich

17 j=1 j=1 j=1 18 Chap. 7 Algebraic geometry and integer optimization leads to a polynomial in y. This polynomial in y has the interpretation that every root of the polynomial is an achievable cost, i.e., there exists a feasible solution x that has cost equal to the root. Therefore, we can nd the minimum root, and work backwards to get the associated x j values. Example 7.9 Consider the problem minimize x 1 + x + 3 x x 4 subject to x 1 + x + x 3 + x 4 = 3 x j = x j j = 1 : : : 4: The reduced Grobner basis with lex order of J = hx 1 + x + 3 x x 4 ; y x 1 + x + 4 x 3 + x 4 ; 6 x 1 ; x 1 x ; x x 3 ; x 3 x 4 ; x 4 i is G = f10 ; 74y + 15 y 3 ; y ; 0 + x y ; y ; x 3 + y ; x 3 y x 3 ; x 3 ; 3 ; x ; x 3 ; x y ; y 3 ; x 1 ; x 3 ; 11y + y g which suggests that all feasible y's are y = 4 5 6, i.e., the roots of the rst polynomial of the Grobner basis. If, however, we h a ve additional information that 4 y 5, we can add the polynomial (y ; 4)(y ; 5) to J and rerun algorithm 7.. The reduced Grobner basis with lex order is then: G = f0 ; 9y + y ; 1 + x 3 ; 4 ; x + y 5 ; x 1 ; yg: 7.3 Grobner bases for integer optimization We consider the integer optimization problem in standard form n minimize c 0 x subject to Ax = b (7.6) x Z n + where c Z +, b Z m and A Z mn. Note that for ease of exposition we + + consider rst the case that all data in the problem are nonnegative i n tegers. We i n troduce an indeterminate z i, i = 1 : : : m for the ith constraint a0 i x = b i, and exponentiate to obtain z a i1 x 1 + : : : + a in x n i = z b i i i = 1 : : :m: Multiplying these equalities we obtain m n! n m n m xj m a ij xj a x j a ij zi = z ij i i i Y Y ; Y Y; Y Y Y = z = z b i : (7.7)

18 Sec. 7.3 Grobner bases for integer optimization 19 We further introduce the indeterminates w j, j = 1 : : : n, and the mapping : C [w 1 : : : w n]! C [z 1 : : : z m] dened as: Y m a ij i (w j ) = z and for a polynomial g C [w 1 : : : w n], (g(w 1 : : : w n)) = g((w 1 ) : : : (w n )): The following proposition is a direct manipulation of the denitions and is left as an exercise. Proposition 7.1 A v ector x Z n + is feasible in problem (7.6) if and only x1 x if maps the monomial w x = w n Q 1 w n to the monomial z b = m z bi i : Example 7.10 We consider the integer feasibility problem 4x x + x 3 = 37 x x + x 4 = 0 x 1 x x 3 x 4 Z + The mapping : C [w 1 w w 3 w 4 ]! C [z 1 z ] is given by (w 1 ) = z 1 z (w ) = z 1 z (w 3 ) = z 1 (w 4 ) = z : The set of feasible solutions are all the integer points (x 1 x x 3 x 4 ) 0 such that x x (w x1 w w w x4 ) = z 1 z : Q m a ij i Let f j = (w j ) = z and consider the ideal I = hf 1 ; w 1 : : : f n ; w n i C [z 1 : : : z m w 1 : : : w n]: We further consider monomial orders in C [z 1 : : : z m w 1 : : : w n] with the property t h a t a n y monomial containing one of the z i 's is greater than any monomial c o n taining only w j 's. For example, the monomial order z 1 > : : : > z m > w n > : : : > w 1 is one such order. We consider a Grobner basis G for the ideal I and the monomial order above. Let f C [z 1 : : : z m ] and let g = R(f G ) be the remainder of the division of f by the polynomials in

19 0 Chap. 7 Algebraic geometry and integer optimization G. W e next characterize R(f G ) and the structure of G. Proposition 7. Let I = hf 1 ; w 1 : : : f n ; w n i. Let G be a Grobner basis G for the ideal I and the monomial order z 1 > : : : > z m > w n > : : : > w 1. (a) All elements of G are dierences of two monomials. (b) If f is a monomial i n C [z 1 : : : z m ], then R(f G ) is also a monomial. Proof. (a) We initialize Algorithm 7.1 with polynomials f i ; w i, i = 1 : : : n that are all dierences of two monomials. In the computation of an S-polynomial in Algorithm 7.1 to compute G, w e are subtracting two polynomials each of which is a dierence of two monomials. Since the leading terms cancel, the resulting S-polynomial is again a dierence of two monomials. Arguing inductively, the result follows. (b) In the remainder calculation, we rst subtract from f a m ultiple of an element o f G, w h i c h from part (a) is the dierence of two monomials in a way that the leading terms cancel. Given that f is a monomial, then the remainder will be a monomial. C o n tinuing with the divisions, we conclude that R(f G ) is a monomial. Example 7.11 The ideal I in Example 7.10 is I = hz 1 z ; w 1 z 1 z ; w z 1 ; w 3 z ; w i: For the monomial order z 1 > z > w 4 > w 3 > w > w 1 the Grobner basis is 4 3 G = fz 1 ; w 3 z ; w 3 w 4 w 3 ; w 1 w 4w 3 w ; w w w 4 w 3 w 1 ; w w 4 w 1 ; w 3 w w ; w 1 g i.e., all the elements are dierences of two monomials. The remainder is R(z z G ) = w 1 w w 3 : This monomial corresponds to the feasible solution x 1 = 4 x = 4 x 3 = 1 x 4 = 0. The previous example demonstrates how w e nd a feasible solution to problem (7.6). In order to obtain an optimal solution we need to use a monomial order that incorporates information about the cost vector c. Specically, for c Z n +, w e consider a monomial order in which as before any monomial containing one of the z i 's is greater than any monomial containing only w j 's and in addition the monomials w x, w y are ordered according to the vector c induced order, so that if c 0 x > c 0 y, then w x > w y. If c 0 x = c 0 y,

20 Sec. 7.3 Grobner bases for integer optimization 1 we break ties arbitrarily. W e consider the following algorithm. Algorithm 7.3 Input: A Z mn b Z c Z Output: An optimal solution to problem (7.6). m Algorithm: Q a 1. Let f ij j = m z i and I = hf 1 ; w 1 : : : f n ; w n i:. Compute a Grobner basis of I using the c induced order. Q 3. Compute the remainder m g = R bi z i G. n x x 1 4. C If g [w 1 : : : w n], i.e., g = w x = w 1 n 1 w n C, then (x : : : x n) 0 is an optimal solution to problem (7.6) If g 6 [w 1 : : : w n] problem (7.6) is infeasible. We next show that Algorithm 7.3 is correct. Theorem 7.11 Algorithm 7.3 correctly solves problem (7.6). Proof. Suppose that w x = R(z b G ), i.e., (w x ) = z b. We assume for the purpose of deriving a contradiction that there exists a vector y such that (w y ) = z b and c 0 y < c 0 x. Let h = w x ; w y. W e have that (h) = zb ;z b = 0, which implies (see Exercise 7.9) that h I. Hence R(h G) = 0. However, since we use the c induced monomial order, the leading term of h must be w x. Since w x = R(z b G ), the remainder R(h G) cannot be zero, leading to a contradiction. Note that if g 6 C [w 1 : : : w n], g = R(z b G ) is a polynomial in both z w. Since the variables w are lower in the order than z, if there were a feasible solution, the variables z would have been eliminated. Therefore, if g 6 C [w 1 : : : w n], then there is no feasible solution. Example 7.1 In Example 7.10 we consider the objective function minimize 3x 3 + x 4 : 8 Applying Algorithm 7.3 we nd the monomial w 1 w w 4, leading to the optimal solution x 1 = 8 x = 1 x 3 = 0 x 4 = 1 : We nally discuss how to modify Algorithm 7.3 to allow for A b c having negative e n tries. Note that since we can write problem (7.6) as minimize y subject to c 0 x ; y = 0 Ax = b x Z n +

21 Chap. 7 Algebraic geometry and integer optimization we can assume without loss of generality t h a t c Z n +. W e next consider the case that A b contain negative e n tries. We i n troduce a new variable t such that tz 1 z m ; 1 = 0 (note t = 1 =(z 1 z m )). Then each of the terms Ym Y m a ij i zi z b i can be rewritten as Y Ym m t k j a b z ij i i t k z i with k j = ; minf0 a 1j : : : a mj g 0 a ij = a ij +k j 0, k = ; minf0 b 1 : : : b mg 0 b i = b i + k 0: Thus, Eq. (7.7) becomes! n m x Y Y j Y m a ij i i j=1 t k j z = t k z b i modulo the relation tz 1 z m ; 1 = 0. T h us, we consider the mapping that maps w j to the remainder Y m a ij i (wj ) = t kj z mod htz 1 z m ; 1i and extend this mapping to a general polynomial g C [w 1 : : : w n] as before. Then, the analog of Proposition 7.1 is: Proposition 7.3 A v ector x Z n + is feasible in problem (7.6) having A b with general entries if and only if (w x ) ; t k z b is divisible by tz 1 z m ; 1. Let f j = t kj Q m a ij i z and consider the ideal J = htz 1 z m ; 1 f 1 ; w 1 : : : f n ; w n i C [z 1 : : : z m t w 1 : : : w n]: We further consider monomial orders in C [z 1 : : : z m t w 1 : : : w n] with the property that any monomial c o n taining one of the z i 's or t is greater than any monomial containing only w j 's. We consider a Grobner basis G for the ideal J for the lex order above. Let f C [z 1 : : : z m t ] and let g = R(f G ) the remainder of f on G. F rom Proposition 7.(b), we obtain that if f is a monomial in C [z 1 : : : z m t ], then R(f G ) is also a monomial. This

22 Sec. 7.3 Grobner bases for integer optimization 3 property together with Proposition 7.3 leads to the following algorithm. Algorithm 7.4 Input: A Z mn b Z m c Z n +. Output: An optimal solution to problem (7.6). a ij Algorithm: Q 1. Let f j = t kj m z i and J = htz 1 z m ; 1 f 1 ; w 1 : : : f n ; w n i:. Compute a Grobner basis of J using the c induced order. 3. Compute the remainder g = R t k Q m z i b i G. 4. C If g [w (x 1 : : : w n], i.e., g = w x, th en : : : x n) 0 1 is an optimal solution to problem (7.6) if g 6 C [w 1 : : : w n], problem (7.6) is infeasible. We illustrate Algorithm 7.4 on the following example. Example 7.13 We consider the problem minimize x 1 ; x subject to 3x 1 ; x = 1 x 1 + x = 7 x1 x Z +: which w e rewrite to have nonnegative cost vector as: minimize y subject to x 1 ; x ; y = 0 3x 1 ; x = 1 x 1 + x = 7 x1 x Z +: The ideal J in this case is 3 3 J = htz 1 z z 3 ; 1 z 1 z z 3 ; w 1 t z 1 z 3 ; w t ; w 3 i: Let G be a Grobner basis for the term order induced by ( 0 0 1) 0. W e com pute 7 3 R(z z 3 G ) = w 1 w w 3, which leads to the optimal solution x1 = 3 x = 1 y =.

23 4 Chap. 7 Algebraic geometry and integer optimization 7.4 Applications of real algebraic geometry In this section, we use results from algebraic geometry over the reals to provide a convergent (and in the case of binary optimization, nite) sequence of semidenite relaxations for the general polynomial optimization problem Z = m inim ize f(x) subject to g i (x) 0 i = 1 : : : m (7.8) x R n where f g i R[x] are polynomials dened as: X f(x) = f x Z+ X n g i (x) = g i x Z+ n where there are only nitely many nonzero f and g i. Let K = fx R n j g i (x) 0 i = 1 : : : mg: Note that problem (7.8) can model binary optimization, by taking f(x) = 0 c 0 x and taking as the polynomials g i (x), a i x ; b i, x j ; x j and ;x j + x j (to model x j ; x j = 0 ). Problem (7.8) can also model bounded integer optimization, as well as bounded mixed integer nonlinear optimization. Problem (7.8) can be written as: maximize subject to f(x) ; 0 8 x K: (7.9) This leads us to consider conditions for polynomials to be nonnegative. We rst consider nonnegative polynomials in one dimension. Theorem 7.1 A polynomial f R[x] of degree d is nonnegative i f and only if it Pcan be written as a sum of squares of other polynomials, i.e., f(x) = k i(x)], w ith h i R[x], i = 1 : : : k. [h Proof. P Clearly, i f f(x) = k [h i(x)], then f(x) 0. P Conversely, suppose that the polynomial f(x) = d f i x i i=0 of degree d is nonnegative for all x. Then, the real roots of f(x) should have e v en multiplicity, otherwise f(x) w ould alter its sign in a neighborhood of a root. Let i, i = 1 : : : r be its real roots with corresponding multiplicity

24 Sec. 7.4 Applications of real algebraic geometry 5 m i. Its complex roots can be arranged in conjugate pairs, a j +ib j, a j ;ib j, j = 1 : : : h. Then, Yr Y h ; f (x) = f d (x ; i ) mi (x ; a j ) + b : j j=1 Note that the leading coecient f d needs to be positive. By expanding the terms in the products, we see that f (x) can be written as a sum of squares of h polynomials. Clearly, i n m ultiple dimensions if a polynomial can be written as a sum of squares of other polynomials, then it is nonnegative. However, it is possible for a polynomial in higher dimensions to be nonnegative without being a sum of squares. In Exercise 7.10 we show that the polynomial f (x y z) = x 4 y + x y 4 + z 6 ; 3x y z is nonnegative without being a sum of squares of polynomials. The next theorem generalizes Theorem 7.1 in multiple dimensions and accomodates constraints. Let M = f1 : : : m g. W e dene the set 8 9 < X Y = : P (g 1 : : : g m) = g R[x] g(x) = q J (x) g i (x) J M ij with q J (x) are polynomials that have a sum of squares representation. Theorem 7.13 (Positivstellensatz) Let K = fx R n j g i (x) 0 i = 1 : : : m g and g R[x]. (a) g 0 on K if and only if there exist q h P (g 1 : : : g m) and k Z + such that gq = g k + h: (b) g > 0 on K if and only if there exist q h P (g 1 : : : g m) such that gq = 1 + h: (c) g = 0 on K if and only if there exist h P (g 1 : : : g m) and k Z + such that g k + h = 0 : If the set K is compact we can obtain a more precise certicate of positivity o n K. Theorem 7.14 If K is compact, then the polynomial g > 0 on K if and only if g P (g 1 : : : g m), t h a t i s X Y g(x) = q J (x) g i (x) (7.10) J M ij with q J (x) are polynomials that have a sum of squares representation.

25 6 Chap. 7 Algebraic geometry and integer optimization Note that the number of terms in Eq. (7.10) is exponential. The next theorem establishes a certicate of positivity o n K, under a mild assumption on K. Theorem 7.15 Suppose that the set K is compact and there exists a polynomial h(x) of the form X m h(x) = h 0 (x) + h i (x)g i (x) such that fx R n j h(x) 0g is compact and h i (x), i = 0 1 : : : m are polynomials that have a sum of squares representation. Then, the polynomial g > 0 on K if and only if there exist p i R[x], i = 0 1 : : : m that are sums of squares such t h a t X m g(x) = p 0 (x) + p i (x)g i (x): (7.11) In contrast to Eq. (7.10), the number of terms in Eq. (7.11) is linear. While the assumption of Theorem 7.15 may seem restrictive, it is satised in several cases: (a) For binary optimization problems, that is, when K includes the in- equalities x j x j and x j x j for all j = 1 : : : n. (b) If all the g j 's are linear, i.e., K is a polyhedron. (c) If there is one polynomial g k such that the level set fx R n j g k (x) 0g is compact. More generally, one way to ensure that the assumption of Theorem 7.15 holds is to add to K the extra quadratic constraint g m+1 (x) = a ; kxk 0 for some a suciently large. It is also important to emphasize that we do not assume that K is convex (it may e v en be disconnected). From Theorem 7.15 it is natural to investigate when a polynomial is a sum of squares. We consider the vector v d (x) = ( x ) jjd = (1 x d 1 : : : x n x x 1x : : : x n;1x n x n : : : x d : : : x n) ; ; n+d of all the Pmonomials x of degree less than or equal to d, which has dimenn sion s = d = : i=0 i d Proposition 7.4 The polynomial g(x) of degree d has a sum of squares decomposition if and only if there exists a positive semidenite matrix Q for which g(x) = v d (x) 0 Qv d (x).

26 Sec. 7.4 Applications of real algebraic geometry 7 Proof. Suppose there exists an ss matrix Q 0 for which g(x) = v d (x) 0 Qv d (x). Then Q = HH 0 for some matrix s k H, and thus, X k g(x) = v d (x) 0 HH 0 v d (x) = (H 0 v d (x)) i : Since (H 0 v d (x)) i is a polynomial, then g(x) is expressed as a sum of squares of the polynomials (H 0 v d (x)) i. Conversely, suppose that g(x) has a sum of squares decomposition P` g(x) = h i (x) : Let h i be t h e v ector of coecients of the polynomial h i (x), i.e., h i (x) = h i 0 v d (x): Thus, X ` g(x) = v d (x) 0 h i h0 i v d (x) = v d (x) 0 Qv d (x) P` with Q = h i h 0 0, and the proposition follows. i Theorem 7.15 and Proposition 7.4 jointly imply that one can use semidenite optimization to provide a sequence of semidenite relaxations for problem (7.9). Assuming that the set K satises the assumption of Theorem 7.15, then f (x) ; 0, for all x K if and only if X m f (x) ; = p 0 (x) + p i (x)g i (x) (7.1) where p i (x), i = 0 1 : : : m have a sum of squares representation. Theorem 7.15 does not specify the degree of the polynomials p i (x). Thus, we select a bound d on the degree of the polynomials p i (x), and we apply Proposition 7.4 to each of the polynomials p i (x), that is, p i (x) is a sum of squares if and only if p i (x) = v d (x) 0 Q i v d (x) with Q i 0, i = 0 1 : : : m. Substituting to Eq. (7.1), we obtain that Q i, i = 0 1 : : : m satisfy linear equations that we denote as L( Q 0 Q 1 : : : Q m ) = 0 : Thus, we can nd a lower bound to problem (7.8) by solving the semidenite optimization problem Z d = m a x s:t: L( Q 0 Q 1 : : : Q m ) = 0 (7.13) Q i 0 i = 0 1 : : : m : Problem (7.13) involves semidenite optimization over m +1 s s matrices. From the construction Z d Z. It turns out that as d increases, Z d converges to Z. Moreover, for binary optimization, there exists a nite d for which Z d = Z. Problem (7.13) provides a systematic way to nd convergent semidefinite relaxations to problem (7.8). While the approach is both general

27 8 Chap. 7 Algebraic geometry and integer optimization (it applies to very general nonconvex problems including nonlinear mixed integer optimization problems) and insightful from a theoretical point o f view, it is only practical for values of d = 1, as large scale semidenite optimization problems cannot be solved in practice. In many situations, however, Z 1 or Z provide strong bounds. Let us consider an example. Example 7.14 Consider the problem We attempt to write minimize f (x 1 x ) = x 1 + x 1 x ; x 1 x + 5 x : f (x 1 x ) = x 1 + x 1 x ; x 1 x + 5 x x 1 q 11 q 1 q 13 x 1 B C B CB C x q 1 q q 3 A@ x A 0 1 x 1 x q 13 q 3 q 33 x 1 x = q 11 x 1 + q x + ( q 13 + q 1 )x 1 x + q 13 x 1 x + q 3 x 1 x : In order to have a n id e n tity, w e obtain q 11 = q = 5 q 33 + q 1 = ;1 q 13 = q 3 = 0 : Using semidenite optimization, we nd a particular solution such that Q 0 is given by It follows that ;3 1 0 B C 1 B C Q ;3 5 0 A = HH 0 H = ;3 1 A : f (x 1 x ) = (x 1 ; 3x + x 1 x ) 1 + (x + 3 x 1 x ) and thus the optimal solution value is = 0 and the optimal solution is x 1 = x = Generating functions for integer points in polyhedra In this section, we i n troduce generating functions for integer points in polyhedra for the purpose of counting the numbe r o f i n teger points in a bounded rational polyhedron P R n. The problem naturally arises in several branches of mathematics, specically combinatorics, representation theory and number theory, while it plays a central role in statistics, specically in the computation of the exact conditional distribution for contingency tables.

28 Sec. 7.5 Generating functions for integer points in polyhedra 9 Given a rational polyhedron P R n (not necessarily bounded) we introduce the generating function: X f(p x) = x : P \Zn Note that if P is bounded f(p e) is exactly the numbe r o f i n teger points in P. Let v be a v ertex of P. T he supporting cone of P at v is: K(P v) = v+fu R n j there exists > 0 : v+u P for all 0 g: Our point of departure is the following theorem: Theorem 7.16 Let P be a rational polyhedron and let V be the set of its vertices. Then, X f(p x) = f(k(p v) x): (7.14) vv Proof outline Let P (y) = fy R n j Ax = yg be a polyhedron in standard form with + m A Z mn and y Z. W e i n troduce the generating function X (z x) = f(p (y) x)z ;y Since we obtain that = yzm X X yz m A=y Zn + X Z + = x z ;A : n x z ;y Y n ; ;a1k ;a mk x z ;A k = x k z 1 z ;ak z m k=1 Yn X 1 ; ;a1k ;a mk k (z x) = x k z 1 z ;ak z m k=1 k =0 n Y 1 = 1 ;ak ;a ; x mk k z ;a1k z z m k=1 1 under a1k ak a the condition that jz z z mk 1 m j > jx k j: Given that we know the generating function (z x) in closed form, we can use Cauchy's residue theorem to nd the coecients f(p (y) x) of the generating function (z x).

29 30 Chap. 7 Algebraic geometry and integer optimization The application of complex variables theory leads to Eq. (7.14). The derivation uses complex analysis heavily and it is ommited as it is outside the scope of the book. Example 7.15 Let P = [0 1]. Clearly, f (P x ) = 1 + x: Moreover, for each o f its two v ertices, K 0 = K (P 0) = [0 1) and K 1 = K (P 1) = (;1 1]. Then, for jxj < 1, and for jxj > 1, We observe that f (K 0 x ) = x f (K 1 x ) = x X 1 k 1 = 1 ; x k=0 X 1 k 1 k=;1 = x + : 1 ; (1=x) 1 1 f (K 0 x ) + f (K 1 x ) = + x + = 1 + x 1 ; x 1 ; (1=x) verifying Theorem Note that there is no common value of x such that the two innite sums converge. Thus, the generating functions in Theorem 7.16 need to be understood symbolically as formal power series. Therefore, the need arises to compute f(k x) for rational cones K. We rst examine the case that cone K is described by linearly independent integral vectors. Proposition 7.5 Let K = cone(u 1 : : : u k ), n where u 1 : : : u k are lin- P o early independent v ectors in Z n. Let S = k i u i 0 i < 1 : Then,! X Y k 1 S\Zn f(k x) = x : (7.15) 1 ; x ui Proof. Let K \ Z n, i.e., X k = i u i i 0: Let Xk X k 1 = ( i ; b i c)u i and = b i cu i : n Therefore, = 1 +, 1 S \ Z and is a nonnegative i n teger combination of u 1 : : : u k. In fact, this representation is unique. It is

30 Sec. 7.5 Generating functions for integer points in polyhedra 31 also clear that the sum of an integer point i n S and a nonnegative i n teger combination of u 1 : : : u k is an integer point i n K. Therefore,! 0 1 X X X K\Z 1 S\Z (m1 ::: m k )Z + f(k x) = x x m1 u1 +:::+m k u k A = x : n n k The second term is a multiple geometric series which s u m s u p t o Y k 1 1 ; x ui and Eq. (7.15) follows. We next show that for certain types of cones K the computation of f(k x) is signicantly simpler. Denition 7.11 Let u 1 : : : u k Z n be linearly independent v ectors, K = cone(u 1 : : : u k ) and L k = span(u 1 : : : u k ): We say that K is a unimodular cone if u 1 : : : u n k is a basis of the lattice L k \ Z. n o It follows that if the supporting cone K = v + cone( u 1 : : : u k ) is P unimodular, then (v+s)\z n = fvg, where S = k i u i 0 i < 1 : Clearly, i s v Z n, th en v = v. T h us, from Proposition 7.5 we obtain x v f(k v) = : (7.16) (1 ; x u1 ) (1 ; x uk ) We next show h o w to decompose a given cone into unimodular cones. For simplicity of exposition and without loss of generality w e assume that the cone is fully dimensional, i.e., K = cone( u 1 : : : u n ). Let A be the matrix with columns u 1 : : : u n. W e dene index(k) = jdet(a)j. N ote that jdet(a)j is equal to the numbe r o f i n teger points in the parallelepiped np k o i u i 0 i < 1. In particular, K is a unimodular cone if and only if jdet(a)j = 1.

31 3 Chap. 7 Algebraic geometry and integer optimization Algorithm 7.5 Input: K = cone(u 1 : : : u n ) with u 1 : : : u n Zn linearly independent. P Output: A collection K i, i I of unimodular cones such t h a t K = i K i, where i f; 1 1g. ii Algorithm: 1. If K is unimodular, set U 1 = fkg U = otherwise U 1 =, U = fkg.. While U 6= a. Select a cone C = cone(u 1 : : : u n ) U and set A = [u 1 : : : u n ]. b. Apply the basis reduction algorithm?? to nd a reduced basis A for the lattice L(A ;1 ). Compute by e n umeration the shortest nonzero vector w with respect to k k 1 in the lattice L(A ;1 ) as follows: min kaxk 1 s:t: jx j j p n n(n;1)=4 j = 1 : : : n x Z n : Let z = Aw. c. Set K i = cone(u 1 : : : u i;1 z u i+1 : : : u n ) and A i = [ u 1 : : : u i;1 z u i+1 : : : u n ] for i = 1 : : : n. d. For i = 1 : : : n, set Ki = K if det(a) and det(a i ) have the same sign, Ki = ; K, otherwise. If K i is unimodular, then U 1 := U 1 [ f K i g, otherwise U := U [ f K i g. 3. Output the elements of the set U 1. Example 7.16 Let K = cone(( 7) 0 (1 0) 0 ) and 1 A ;1 = 0 1=7 A = ;=7 with det(a) = ;7. The reduced basis A of the lattice L(A ;1 ) is The vector w = (1 =7 ;=7) 0 1=7 3=7 A = : ;=7 1=7 is the shortest vector in L(A ;1 ) with respect to the norm k k 1, and thus z = Aw = (0 1) 0. Then, performing Step c of Algorithm

32 Sec. 7.5 Generating functions for integer points in polyhedra we obtain the cones K 1 = cone(( 7) 0 (0 1) 0 ) and K = cone((0 1) 0 (1 0) 0 ) with A 1 = A = : The cone K is unimodular with det(a ) = ;1 of the same sign as det(a). Then, U1 = fk g and K = 1 : The cone K 1 has determinant, and thus U = fk 1 g and K1 = ;1. We c o n tinue Algorithm 7.5 with cone K 1 and matrix A 1. We obtain that a reduced basis for L(A ;1 1 ) is Thus, w = (1 = ;1=) 0 1= 1= A 1 = : ;1= 1= and z = A 1 w = (1 3) 0. Step c generates the two cones K 3 = cone(( 7) 0 (1 3) 0 ) and K 4 = cone((1 3) 0 (0 1) 0 ). Both cones are unimodular with K3 = 1 and K4 = ;1. We t h us obtain the decomposition K = K + K 3 ; K 4 : We n e x t s h o w that Algorithm 7.5 is polynomial when the dimension is xed. Proposition 7.6 Algorithm 7.5 is correct and runs in polynomial time when the dimension n is xed. Proof. We will show rst that the indices of the cones K i decrease. Let ( ) X n B = z R n z = u i x i = Ax jx i j j det(a)j ;1=n : The set B is symmetric around the origin (if z B, th en ;z B), is convex and has volume vol(b) = njdet(a)j=jdet(a)j = n : By Theorem?? there exists a nonzero integral point z B. T h us, there exists some x = A ;1 z L (A ;1 ) with kxk 1 j det(a)j ;1=n : Since in Step b, Algorithm 7.5 nds a nonzero w L (A ;1 ) with the Psmallest kwk 1, w e have kwk 1 kxk 1 j det(a)j ;1=n : Since z = Aw = n w i u i, w e obtain index(k i ) = jdet[u 1 : : : u i;1 z u i+1 : : : u n ]j = jw i jjdet[u 1 : : : u i;1 u i u i+1 : : : u n ]j k wk 1 jdet(a)j j det(a)j (n;1)=n = index(k) (n;1)=n : For all K i U, index(k i ) decreases after each iteration. Thus, index(k i ) will become one, i.e., all the resulting cones in U will be unimodular, and thus the decomposition given by Algorithm 7.5 is correct.

Lecture 15: Algebraic Geometry II

Lecture 15: Algebraic Geometry II 6.859/15.083 Integer Programming and Combinatorial Optimization Fall 009 Today... Ideals in k[x] Properties of Gröbner bases Buchberger s algorithm Elimination theory The Weak Nullstellensatz 0/1-Integer

More information

Lecture 1. (i,j) N 2 kx i y j, and this makes k[x, y]

Lecture 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 information

Abstract Algebra for Polynomial Operations. Maya Mohsin Ahmed

Abstract Algebra for Polynomial Operations. Maya Mohsin Ahmed Abstract Algebra for Polynomial Operations Maya Mohsin Ahmed c Maya Mohsin Ahmed 2009 ALL RIGHTS RESERVED To my students As we express our gratitude, we must never forget that the highest appreciation

More information

4 Hilbert s Basis Theorem and Gröbner basis

4 Hilbert s Basis Theorem and Gröbner basis 4 Hilbert s Basis Theorem and Gröbner basis We define Gröbner bases of ideals in multivariate polynomial rings and see how they work in tandem with the division algorithm. We look again at the standard

More information

Polynomials, Ideals, and Gröbner Bases

Polynomials, 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 information

POLYNOMIAL DIVISION AND GRÖBNER BASES. Samira Zeada

POLYNOMIAL 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 information

GRÖBNER BASES AND POLYNOMIAL EQUATIONS. 1. Introduction and preliminaries on Gróbner bases

GRÖBNER BASES AND POLYNOMIAL EQUATIONS. 1. Introduction and preliminaries on Gróbner bases GRÖBNER BASES AND POLYNOMIAL EQUATIONS J. K. VERMA 1. Introduction and preliminaries on Gróbner bases Let S = k[x 1, x 2,..., x n ] denote a polynomial ring over a field k where x 1, x 2,..., x n are indeterminates.

More information

Gröbner Bases. eliminating the leading term Buchberger s criterion and algorithm. construct wavelet filters

Gröbner Bases. eliminating the leading term Buchberger s criterion and algorithm. construct wavelet filters Gröbner Bases 1 S-polynomials eliminating the leading term Buchberger s criterion and algorithm 2 Wavelet Design construct wavelet filters 3 Proof of the Buchberger Criterion two lemmas proof of the Buchberger

More information

Problem Set 1 Solutions

Problem Set 1 Solutions Math 918 The Power of Monomial Ideals Problem Set 1 Solutions Due: Tuesday, February 16 (1) Let S = k[x 1,..., x n ] where k is a field. Fix a monomial order > σ on Z n 0. (a) Show that multideg(fg) =

More information

Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) 1.1 The Formal Denition of a Vector Space

Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) 1.1 The Formal Denition of a Vector Space Linear Algebra (part 1) : Vector Spaces (by Evan Dummit, 2017, v. 1.07) Contents 1 Vector Spaces 1 1.1 The Formal Denition of a Vector Space.................................. 1 1.2 Subspaces...................................................

More information

Solving systems of polynomial equations and minimization of multivariate polynomials

Solving systems of polynomial equations and minimization of multivariate polynomials François Glineur, Polynomial solving & minimization - 1 - First Prev Next Last Full Screen Quit Solving systems of polynomial equations and minimization of multivariate polynomials François Glineur UCL/CORE

More information

MCS 563 Spring 2014 Analytic Symbolic Computation Monday 27 January. Gröbner bases

MCS 563 Spring 2014 Analytic Symbolic Computation Monday 27 January. Gröbner bases Gröbner bases In this lecture we introduce Buchberger s algorithm to compute a Gröbner basis for an ideal, following [2]. We sketch an application in filter design. Showing the termination of Buchberger

More information

PREMUR Seminar Week 2 Discussions - Polynomial Division, Gröbner Bases, First Applications

PREMUR Seminar Week 2 Discussions - Polynomial Division, Gröbner Bases, First Applications PREMUR 2007 - Seminar Week 2 Discussions - Polynomial Division, Gröbner Bases, First Applications Day 1: Monomial Orders In class today, we introduced the definition of a monomial order in the polyomial

More information

ABSTRACT. Department of Mathematics. interesting results. A graph on n vertices is represented by a polynomial in n

ABSTRACT. 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 information

Counting Zeros over Finite Fields with Gröbner Bases

Counting Zeros over Finite Fields with Gröbner Bases Counting Zeros over Finite Fields with Gröbner Bases Sicun Gao May 17, 2009 Contents 1 Introduction 2 2 Finite Fields, Nullstellensatz and Gröbner Bases 5 2.1 Ideals, Varieties and Finite Fields........................

More information

Vector Space Basics. 1 Abstract Vector Spaces. 1. (commutativity of vector addition) u + v = v + u. 2. (associativity of vector addition)

Vector Space Basics. 1 Abstract Vector Spaces. 1. (commutativity of vector addition) u + v = v + u. 2. (associativity of vector addition) Vector Space Basics (Remark: these notes are highly formal and may be a useful reference to some students however I am also posting Ray Heitmann's notes to Canvas for students interested in a direct computational

More information

8 Appendix: Polynomial Rings

8 Appendix: Polynomial Rings 8 Appendix: Polynomial Rings Throughout we suppose, unless otherwise specified, that R is a commutative ring. 8.1 (Largely) a reminder about polynomials A polynomial in the indeterminate X with coefficients

More information

Contents. 2.1 Vectors in R n. Linear Algebra (part 2) : Vector Spaces (by Evan Dummit, 2017, v. 2.50) 2 Vector Spaces

Contents. 2.1 Vectors in R n. Linear Algebra (part 2) : Vector Spaces (by Evan Dummit, 2017, v. 2.50) 2 Vector Spaces Linear Algebra (part 2) : Vector Spaces (by Evan Dummit, 2017, v 250) Contents 2 Vector Spaces 1 21 Vectors in R n 1 22 The Formal Denition of a Vector Space 4 23 Subspaces 6 24 Linear Combinations and

More information

Convex Optimization. (EE227A: UC Berkeley) Lecture 28. Suvrit Sra. (Algebra + Optimization) 02 May, 2013

Convex Optimization. (EE227A: UC Berkeley) Lecture 28. Suvrit Sra. (Algebra + Optimization) 02 May, 2013 Convex Optimization (EE227A: UC Berkeley) Lecture 28 (Algebra + Optimization) 02 May, 2013 Suvrit Sra Admin Poster presentation on 10th May mandatory HW, Midterm, Quiz to be reweighted Project final report

More information

Math 4370 Exam 1. Handed out March 9th 2010 Due March 18th 2010

Math 4370 Exam 1. Handed out March 9th 2010 Due March 18th 2010 Math 4370 Exam 1 Handed out March 9th 2010 Due March 18th 2010 Problem 1. Recall from problem 1.4.6.e in the book, that a generating set {f 1,..., f s } of I is minimal if I is not the ideal generated

More information

58 Appendix 1 fundamental inconsistent equation (1) can be obtained as a linear combination of the two equations in (2). This clearly implies that the

58 Appendix 1 fundamental inconsistent equation (1) can be obtained as a linear combination of the two equations in (2). This clearly implies that the Appendix PRELIMINARIES 1. THEOREMS OF ALTERNATIVES FOR SYSTEMS OF LINEAR CONSTRAINTS Here we consider systems of linear constraints, consisting of equations or inequalities or both. A feasible solution

More information

1 Matrices and Systems of Linear Equations

1 Matrices and Systems of Linear Equations Linear Algebra (part ) : Matrices and Systems of Linear Equations (by Evan Dummit, 207, v 260) Contents Matrices and Systems of Linear Equations Systems of Linear Equations Elimination, Matrix Formulation

More information

LECTURE NOTES IN CRYPTOGRAPHY

LECTURE NOTES IN CRYPTOGRAPHY 1 LECTURE NOTES IN CRYPTOGRAPHY Thomas Johansson 2005/2006 c Thomas Johansson 2006 2 Chapter 1 Abstract algebra and Number theory Before we start the treatment of cryptography we need to review some basic

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

Local properties of plane algebraic curves

Local properties of plane algebraic curves Chapter 7 Local properties of plane algebraic curves Throughout this chapter let K be an algebraically closed field of characteristic zero, and as usual let A (K) be embedded into P (K) by identifying

More information

Linear Algebra (part 1) : Matrices and Systems of Linear Equations (by Evan Dummit, 2016, v. 2.02)

Linear Algebra (part 1) : Matrices and Systems of Linear Equations (by Evan Dummit, 2016, v. 2.02) Linear Algebra (part ) : Matrices and Systems of Linear Equations (by Evan Dummit, 206, v 202) Contents 2 Matrices and Systems of Linear Equations 2 Systems of Linear Equations 2 Elimination, Matrix Formulation

More information

Lecture 2: Gröbner Basis and SAGBI Basis

Lecture 2: Gröbner Basis and SAGBI Basis Lecture 2: Gröbner Basis and SAGBI Basis Mohammed Tessema Suppose we have a graph. Suppose we color the graph s vertices with 3 colors so that if the vertices are adjacent they are not the same colors.

More information

A decoding algorithm for binary linear codes using Groebner bases

A decoding algorithm for binary linear codes using Groebner bases A decoding algorithm for binary linear codes using Groebner bases arxiv:1810.04536v1 [cs.it] 9 Oct 2018 Harinaivo ANDRIATAHINY (1) e-mail : hariandriatahiny@gmail.com Jean Jacques Ferdinand RANDRIAMIARAMPANAHY

More information

Math 418 Algebraic Geometry Notes

Math 418 Algebraic Geometry Notes Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R

More information

Introduction to Gröbner Bases for Geometric Modeling. Geometric & Solid Modeling 1989 Christoph M. Hoffmann

Introduction to Gröbner Bases for Geometric Modeling. Geometric & Solid Modeling 1989 Christoph M. Hoffmann Introduction to Gröbner Bases for Geometric Modeling Geometric & Solid Modeling 1989 Christoph M. Hoffmann Algebraic Geometry Branch of mathematics. Express geometric facts in algebraic terms in order

More information

f(x) = h(x)g(x) + r(x)

f(x) = h(x)g(x) + r(x) Monomial Orders. In the polynomial algebra over F a eld in one variable x; F [x], we can do long division (sometimes incorrectly called the Euclidean algorithm). If f(x) = a 0 + a x + ::: + a n x n 2 F

More information

The following can also be obtained from this WWW address: the papers [8, 9], more examples, comments on the implementation and a short description of

The following can also be obtained from this WWW address: the papers [8, 9], more examples, comments on the implementation and a short description of An algorithm for computing the Weierstrass normal form Mark van Hoeij Department of mathematics University of Nijmegen 6525 ED Nijmegen The Netherlands e-mail: hoeij@sci.kun.nl April 9, 1995 Abstract This

More information

0 Sets and Induction. Sets

0 Sets and Induction. Sets 0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

More information

Essentials of Intermediate Algebra

Essentials of Intermediate Algebra Essentials of Intermediate Algebra BY Tom K. Kim, Ph.D. Peninsula College, WA Randy Anderson, M.S. Peninsula College, WA 9/24/2012 Contents 1 Review 1 2 Rules of Exponents 2 2.1 Multiplying Two Exponentials

More information

Rewriting Polynomials

Rewriting Polynomials Rewriting Polynomials 1 Roots and Eigenvalues the companion matrix of a polynomial the ideal membership problem 2 Automatic Geometric Theorem Proving the circle theorem of Appolonius 3 The Division Algorithm

More information

QR Decomposition. When solving an overdetermined system by projection (or a least squares solution) often the following method is used:

QR Decomposition. When solving an overdetermined system by projection (or a least squares solution) often the following method is used: (In practice not Gram-Schmidt, but another process Householder Transformations are used.) QR Decomposition When solving an overdetermined system by projection (or a least squares solution) often the following

More information

6-1 The Positivstellensatz P. Parrilo and S. Lall, ECC

6-1 The Positivstellensatz P. Parrilo and S. Lall, ECC 6-1 The Positivstellensatz P. Parrilo and S. Lall, ECC 2003 2003.09.02.10 6. The Positivstellensatz Basic semialgebraic sets Semialgebraic sets Tarski-Seidenberg and quantifier elimination Feasibility

More information

Analysis on Graphs. Alexander Grigoryan Lecture Notes. University of Bielefeld, WS 2011/12

Analysis on Graphs. Alexander Grigoryan Lecture Notes. University of Bielefeld, WS 2011/12 Analysis on Graphs Alexander Grigoryan Lecture Notes University of Bielefeld, WS 0/ Contents The Laplace operator on graphs 5. The notion of a graph............................. 5. Cayley graphs..................................

More information

SUMS OF VALUES OF A RATIONAL FUNCTION. x k i

SUMS OF VALUES OF A RATIONAL FUNCTION. x k i SUMS OF VALUES OF A RATIONAL FUNCTION BJORN POONEN Abstract. Let K be a number field, and let f K(x) be a nonconstant rational function. We study the sets { n } f(x i ) : x i K {poles of f} and { n f(x

More information

Structural Grobner Basis. Bernd Sturmfels and Markus Wiegelmann TR May Department of Mathematics, UC Berkeley.

Structural Grobner Basis. Bernd Sturmfels and Markus Wiegelmann TR May Department of Mathematics, UC Berkeley. I 1947 Center St. Suite 600 Berkeley, California 94704-1198 (510) 643-9153 FAX (510) 643-7684 INTERNATIONAL COMPUTER SCIENCE INSTITUTE Structural Grobner Basis Detection Bernd Sturmfels and Markus Wiegelmann

More information

A strongly polynomial algorithm for linear systems having a binary solution

A strongly polynomial algorithm for linear systems having a binary solution A strongly polynomial algorithm for linear systems having a binary solution Sergei Chubanov Institute of Information Systems at the University of Siegen, Germany e-mail: sergei.chubanov@uni-siegen.de 7th

More information

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the

More information

y Ray of Half-line or ray through in the direction of y

y Ray of Half-line or ray through in the direction of y Chapter LINEAR COMPLEMENTARITY PROBLEM, ITS GEOMETRY, AND APPLICATIONS. THE LINEAR COMPLEMENTARITY PROBLEM AND ITS GEOMETRY The Linear Complementarity Problem (abbreviated as LCP) is a general problem

More information

Groebner Bases and Applications

Groebner Bases and Applications Groebner Bases and Applications Robert Hines December 16, 2014 1 Groebner Bases In this section we define Groebner Bases and discuss some of their basic properties, following the exposition in chapter

More information

{ move v ars to left, consts to right { replace = by t wo and constraints Ax b often nicer for theory Ax = b good for implementations. { A invertible

{ move v ars to left, consts to right { replace = by t wo and constraints Ax b often nicer for theory Ax = b good for implementations. { A invertible Finish remarks on min-cost ow. Strongly polynomial algorithms exist. { Tardos 1985 { minimum mean-cost cycle { reducing -optimality { \xing" arcs of very high reduced cost { best running running time roughly

More information

On the minimal free resolution of a monomial ideal.

On 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 information

Groups. 3.1 Definition of a Group. Introduction. Definition 3.1 Group

Groups. 3.1 Definition of a Group. Introduction. Definition 3.1 Group C H A P T E R t h r e E Groups Introduction Some of the standard topics in elementary group theory are treated in this chapter: subgroups, cyclic groups, isomorphisms, and homomorphisms. In the development

More information

Coins with arbitrary weights. Abstract. Given a set of m coins out of a collection of coins of k unknown distinct weights, we wish to

Coins with arbitrary weights. Abstract. Given a set of m coins out of a collection of coins of k unknown distinct weights, we wish to Coins with arbitrary weights Noga Alon Dmitry N. Kozlov y Abstract Given a set of m coins out of a collection of coins of k unknown distinct weights, we wish to decide if all the m given coins have the

More information

2 Garrett: `A Good Spectral Theorem' 1. von Neumann algebras, density theorem The commutant of a subring S of a ring R is S 0 = fr 2 R : rs = sr; 8s 2

2 Garrett: `A Good Spectral Theorem' 1. von Neumann algebras, density theorem The commutant of a subring S of a ring R is S 0 = fr 2 R : rs = sr; 8s 2 1 A Good Spectral Theorem c1996, Paul Garrett, garrett@math.umn.edu version February 12, 1996 1 Measurable Hilbert bundles Measurable Banach bundles Direct integrals of Hilbert spaces Trivializing Hilbert

More information

5 The existence of Gröbner basis

5 The existence of Gröbner basis 5 The existence of Gröbner basis We use Buchberger s criterion from the previous section to give an algorithm that constructs a Gröbner basis of an ideal from any given set of generators Hilbert s Basis

More information

Algebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra

Algebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial

More information

Integer programming: an introduction. Alessandro Astolfi

Integer programming: an introduction. Alessandro Astolfi Integer programming: an introduction Alessandro Astolfi Outline Introduction Examples Methods for solving ILP Optimization on graphs LP problems with integer solutions Summary Introduction Integer programming

More information

Lecture 2: Review of Prerequisites. Table of contents

Lecture 2: Review of Prerequisites. Table of contents Math 348 Fall 217 Lecture 2: Review of Prerequisites Disclaimer. As we have a textbook, this lecture note is for guidance and supplement only. It should not be relied on when preparing for exams. In this

More information

S-Polynomials and Buchberger s Algorithm

S-Polynomials and Buchberger s Algorithm S-Polynomials and Buchberger s Algorithm J.M. Selig Faculty of Business London South Bank University, London SE1 0AA, UK 1 S-Polynomials As we have seen in previous talks one of the problems we encounter

More information

An explicit construction of distinguished representations of polynomials nonnegative over finite sets

An explicit construction of distinguished representations of polynomials nonnegative over finite sets An explicit construction of distinguished representations of polynomials nonnegative over finite sets Pablo A. Parrilo Automatic Control Laboratory Swiss Federal Institute of Technology Physikstrasse 3

More information

Algebraic Geometry. Contents. Diane Maclagan Notes by Florian Bouyer. Copyright (C) Bouyer 2011.

Algebraic Geometry. Contents. Diane Maclagan Notes by Florian Bouyer. Copyright (C) Bouyer 2011. Algebraic Geometry Diane Maclagan Notes by Florian Bouyer Contents Copyright (C) Bouyer 2011. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation

More information

2 EBERHARD BECKER ET AL. has a real root. Thus our problem can be reduced to the problem of deciding whether or not a polynomial in one more variable

2 EBERHARD BECKER ET AL. has a real root. Thus our problem can be reduced to the problem of deciding whether or not a polynomial in one more variable Deciding positivity of real polynomials Eberhard Becker, Victoria Powers, and Thorsten Wormann Abstract. We describe an algorithm for deciding whether or not a real polynomial is positive semidenite. The

More information

Algebraic structures I

Algebraic structures I MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one

More information

Spurious Chaotic Solutions of Dierential. Equations. Sigitas Keras. September Department of Applied Mathematics and Theoretical Physics

Spurious Chaotic Solutions of Dierential. Equations. Sigitas Keras. September Department of Applied Mathematics and Theoretical Physics UNIVERSITY OF CAMBRIDGE Numerical Analysis Reports Spurious Chaotic Solutions of Dierential Equations Sigitas Keras DAMTP 994/NA6 September 994 Department of Applied Mathematics and Theoretical Physics

More information

4.1 Eigenvalues, Eigenvectors, and The Characteristic Polynomial

4.1 Eigenvalues, Eigenvectors, and The Characteristic Polynomial Linear Algebra (part 4): Eigenvalues, Diagonalization, and the Jordan Form (by Evan Dummit, 27, v ) Contents 4 Eigenvalues, Diagonalization, and the Jordan Canonical Form 4 Eigenvalues, Eigenvectors, and

More information

Absolute value equations

Absolute value equations Linear Algebra and its Applications 419 (2006) 359 367 www.elsevier.com/locate/laa Absolute value equations O.L. Mangasarian, R.R. Meyer Computer Sciences Department, University of Wisconsin, 1210 West

More information

Lifting to non-integral idempotents

Lifting to non-integral idempotents Journal of Pure and Applied Algebra 162 (2001) 359 366 www.elsevier.com/locate/jpaa Lifting to non-integral idempotents Georey R. Robinson School of Mathematics and Statistics, University of Birmingham,

More information

Constructions with ruler and compass.

Constructions with ruler and compass. Constructions with ruler and compass. Semyon Alesker. 1 Introduction. Let us assume that we have a ruler and a compass. Let us also assume that we have a segment of length one. Using these tools we can

More information

Groebner Bases, Toric Ideals and Integer Programming: An Application to Economics. Tan Tran Junior Major-Economics& Mathematics

Groebner Bases, Toric Ideals and Integer Programming: An Application to Economics. Tan Tran Junior Major-Economics& Mathematics Groebner Bases, Toric Ideals and Integer Programming: An Application to Economics Tan Tran Junior Major-Economics& Mathematics History Groebner bases were developed by Buchberger in 1965, who later named

More information

8. Prime Factorization and Primary Decompositions

8. Prime Factorization and Primary Decompositions 70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings

More information

ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!

ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes! ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.

More information

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.

More information

290 J.M. Carnicer, J.M. Pe~na basis (u 1 ; : : : ; u n ) consisting of minimally supported elements, yet also has a basis (v 1 ; : : : ; v n ) which f

290 J.M. Carnicer, J.M. Pe~na basis (u 1 ; : : : ; u n ) consisting of minimally supported elements, yet also has a basis (v 1 ; : : : ; v n ) which f Numer. Math. 67: 289{301 (1994) Numerische Mathematik c Springer-Verlag 1994 Electronic Edition Least supported bases and local linear independence J.M. Carnicer, J.M. Pe~na? Departamento de Matematica

More information

M3P23, M4P23, M5P23: COMPUTATIONAL ALGEBRA & GEOMETRY REVISION SOLUTIONS

M3P23, M4P23, M5P23: COMPUTATIONAL ALGEBRA & GEOMETRY REVISION SOLUTIONS M3P23, M4P23, M5P23: COMPUTATIONAL ALGEBRA & GEOMETRY REVISION SOLUTIONS (1) (a) Fix a monomial order. A finite subset G = {g 1,..., g m } of an ideal I k[x 1,..., x n ] is called a Gröbner basis if (LT(g

More information

Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 2

Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 2 Solutions to odd-numbered exercises Peter J Cameron, Introduction to Algebra, Chapter 1 The answers are a No; b No; c Yes; d Yes; e No; f Yes; g Yes; h No; i Yes; j No a No: The inverse law for addition

More information

1: Introduction to Lattices

1: Introduction to Lattices CSE 206A: Lattice Algorithms and Applications Winter 2012 Instructor: Daniele Micciancio 1: Introduction to Lattices UCSD CSE Lattices are regular arrangements of points in Euclidean space. The simplest

More information

Contents. 4 Arithmetic and Unique Factorization in Integral Domains. 4.1 Euclidean Domains and Principal Ideal Domains

Contents. 4 Arithmetic and Unique Factorization in Integral Domains. 4.1 Euclidean Domains and Principal Ideal Domains Ring Theory (part 4): Arithmetic and Unique Factorization in Integral Domains (by Evan Dummit, 018, v. 1.00) Contents 4 Arithmetic and Unique Factorization in Integral Domains 1 4.1 Euclidean Domains and

More information

The iterative convex minorant algorithm for nonparametric estimation

The iterative convex minorant algorithm for nonparametric estimation The iterative convex minorant algorithm for nonparametric estimation Report 95-05 Geurt Jongbloed Technische Universiteit Delft Delft University of Technology Faculteit der Technische Wiskunde en Informatica

More information

Math 203A - Solution Set 1

Math 203A - Solution Set 1 Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in

More information

EASY PUTNAM PROBLEMS

EASY PUTNAM PROBLEMS EASY PUTNAM PROBLEMS (Last updated: December 11, 2017) Remark. The problems in the Putnam Competition are usually very hard, but practically every session contains at least one problem very easy to solve

More information

1 xa 2. 2 xan n. + c 2 x α 2

1 xa 2. 2 xan n. + c 2 x α 2 Operations Research Seminar: Gröbner Bases and Integer Programming Speaker: Adam Van Tuyl Introduction In this talk I will discuss how to use some of the tools of commutative algebra and algebraic geometry

More information

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9 MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended

More information

. HILBERT POLYNOMIALS

. HILBERT POLYNOMIALS CLASSICAL ALGEBRAIC GEOMETRY Daniel Plaumann Universität Konstan Summer HILBERT POLYNOMIALS T An ane variety V A n with vanishing ideal I(V) K[,, n ] is completely determined by its coordinate ring A(V)

More information

only nite eigenvalues. This is an extension of earlier results from [2]. Then we concentrate on the Riccati equation appearing in H 2 and linear quadr

only nite eigenvalues. This is an extension of earlier results from [2]. Then we concentrate on the Riccati equation appearing in H 2 and linear quadr The discrete algebraic Riccati equation and linear matrix inequality nton. Stoorvogel y Department of Mathematics and Computing Science Eindhoven Univ. of Technology P.O. ox 53, 56 M Eindhoven The Netherlands

More information

3.1 Basic properties of real numbers - continuation Inmum and supremum of a set of real numbers

3.1 Basic properties of real numbers - continuation Inmum and supremum of a set of real numbers Chapter 3 Real numbers The notion of real number was introduced in section 1.3 where the axiomatic denition of the set of all real numbers was done and some basic properties of the set of all real numbers

More information

n n P} is a bounded subset Proof. Let A be a nonempty subset of Z, bounded above. Define the set

n n P} is a bounded subset Proof. Let A be a nonempty subset of Z, bounded above. Define the set 1 Mathematical Induction We assume that the set Z of integers are well defined, and we are familiar with the addition, subtraction, multiplication, and division. In particular, we assume the following

More information

satisfying ( i ; j ) = ij Here ij = if i = j and 0 otherwise The idea to use lattices is the following Suppose we are given a lattice L and a point ~x

satisfying ( i ; j ) = ij Here ij = if i = j and 0 otherwise The idea to use lattices is the following Suppose we are given a lattice L and a point ~x Dual Vectors and Lower Bounds for the Nearest Lattice Point Problem Johan Hastad* MIT Abstract: We prove that given a point ~z outside a given lattice L then there is a dual vector which gives a fairly

More information

Group, Rings, and Fields Rahul Pandharipande. I. Sets Let S be a set. The Cartesian product S S is the set of ordered pairs of elements of S,

Group, Rings, and Fields Rahul Pandharipande. I. Sets Let S be a set. The Cartesian product S S is the set of ordered pairs of elements of S, Group, Rings, and Fields Rahul Pandharipande I. Sets Let S be a set. The Cartesian product S S is the set of ordered pairs of elements of S, A binary operation φ is a function, S S = {(x, y) x, y S}. φ

More information

Lecture 8 - Algebraic Methods for Matching 1

Lecture 8 - Algebraic Methods for Matching 1 CME 305: Discrete Mathematics and Algorithms Instructor: Professor Aaron Sidford (sidford@stanford.edu) February 1, 2018 Lecture 8 - Algebraic Methods for Matching 1 In the last lecture we showed that

More information

9. Integral Ring Extensions

9. Integral Ring Extensions 80 Andreas Gathmann 9. Integral ing Extensions In this chapter we want to discuss a concept in commutative algebra that has its original motivation in algebra, but turns out to have surprisingly many applications

More information

Group Theory. 1. Show that Φ maps a conjugacy class of G into a conjugacy class of G.

Group Theory. 1. Show that Φ maps a conjugacy class of G into a conjugacy class of G. Group Theory Jan 2012 #6 Prove that if G is a nonabelian group, then G/Z(G) is not cyclic. Aug 2011 #9 (Jan 2010 #5) Prove that any group of order p 2 is an abelian group. Jan 2012 #7 G is nonabelian nite

More information

Linear Algebra March 16, 2019

Linear Algebra March 16, 2019 Linear Algebra March 16, 2019 2 Contents 0.1 Notation................................ 4 1 Systems of linear equations, and matrices 5 1.1 Systems of linear equations..................... 5 1.2 Augmented

More information

Linear Regression and Its Applications

Linear Regression and Its Applications Linear Regression and Its Applications Predrag Radivojac October 13, 2014 Given a data set D = {(x i, y i )} n the objective is to learn the relationship between features and the target. We usually start

More information

Page 23, part (c) of Exercise 5: Adapt the argument given at the end of the section should be Adapt the argument used for the circle x 2 +y 2 = 1

Page 23, part (c) of Exercise 5: Adapt the argument given at the end of the section should be Adapt the argument used for the circle x 2 +y 2 = 1 Ideals, Varieties and Algorithms, fourth edition Errata for the fourth edition as of August 6, 2018 Page 23, part (c) of Exercise 5: Adapt the argument given at the end of the section should be Adapt the

More information

Computational Theory of Polynomial Ideals

Computational Theory of Polynomial Ideals Eidgenössische Technische Hochschule Zürich Computational Theory of Polynomial Ideals a Bachelor Thesis written by Paul Steinmann supervised by Prof. Dr. Richard Pink Abstract We provide methods to do

More information

Gaussian integers. 1 = a 2 + b 2 = c 2 + d 2.

Gaussian integers. 1 = a 2 + b 2 = c 2 + d 2. Gaussian integers 1 Units in Z[i] An element x = a + bi Z[i], a, b Z is a unit if there exists y = c + di Z[i] such that xy = 1. This implies 1 = x 2 y 2 = (a 2 + b 2 )(c 2 + d 2 ) But a 2, b 2, c 2, d

More information

Solutions Chapter 5. The problem of finding the minimum distance from the origin to a line is written as. min 1 2 kxk2. subject to Ax = b.

Solutions Chapter 5. The problem of finding the minimum distance from the origin to a line is written as. min 1 2 kxk2. subject to Ax = b. Solutions Chapter 5 SECTION 5.1 5.1.4 www Throughout this exercise we will use the fact that strong duality holds for convex quadratic problems with linear constraints (cf. Section 3.4). The problem of

More information

Quadrics Defined by Skew-Symmetric Matrices

Quadrics Defined by Skew-Symmetric Matrices International Journal of Algebra, Vol. 11, 2017, no. 8, 349-356 HIKAI Ltd, www.m-hikari.com https://doi.org/10.12988/ija.2017.7942 Quadrics Defined by Skew-Symmetric Matrices Joydip Saha 1, Indranath Sengupta

More information

ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS.

ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS. ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS. KEVIN MCGERTY. 1. RINGS The central characters of this course are algebraic objects known as rings. A ring is any mathematical structure where you can add

More information

1. Introduction Let the least value of an objective function F (x), x2r n, be required, where F (x) can be calculated for any vector of variables x2r

1. Introduction Let the least value of an objective function F (x), x2r n, be required, where F (x) can be calculated for any vector of variables x2r DAMTP 2002/NA08 Least Frobenius norm updating of quadratic models that satisfy interpolation conditions 1 M.J.D. Powell Abstract: Quadratic models of objective functions are highly useful in many optimization

More information

Chapter 8. P-adic numbers. 8.1 Absolute values

Chapter 8. P-adic numbers. 8.1 Absolute values Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.

More information

PUTNAM TRAINING EASY PUTNAM PROBLEMS

PUTNAM TRAINING EASY PUTNAM PROBLEMS PUTNAM TRAINING EASY PUTNAM PROBLEMS (Last updated: September 24, 2018) Remark. This is a list of exercises on Easy Putnam Problems Miguel A. Lerma Exercises 1. 2017-A1. Let S be the smallest set of positive

More information

Summer Project. August 10, 2001

Summer Project. August 10, 2001 Summer Project Bhavana Nancherla David Drescher August 10, 2001 Over the summer we embarked on a brief introduction to various concepts in algebraic geometry. We used the text Ideals, Varieties, and Algorithms,

More information

Math 203A - Solution Set 3

Math 203A - Solution Set 3 Math 03A - Solution Set 3 Problem 1 Which of the following algebraic sets are isomorphic: (i) A 1 (ii) Z(xy) A (iii) Z(x + y ) A (iv) Z(x y 5 ) A (v) Z(y x, z x 3 ) A Answer: We claim that (i) and (v)

More information

Richard DiSalvo. Dr. Elmer. Mathematical Foundations of Economics. Fall/Spring,

Richard DiSalvo. Dr. Elmer. Mathematical Foundations of Economics. Fall/Spring, The Finite Dimensional Normed Linear Space Theorem Richard DiSalvo Dr. Elmer Mathematical Foundations of Economics Fall/Spring, 20-202 The claim that follows, which I have called the nite-dimensional normed

More information