Lecture 15: Algebraic Geometry II
|
|
- Randolf Ross
- 5 years ago
- Views:
Transcription
1 6.859/ 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 Programming The Structure of Ideals in k[x] Lecture 15: Algebraic Geometry II Theorem 1. If k is a field, then every ideal of k[x] is of the form f for some f k[x]. Moreover, f is unique up to multiplication by a nonzero constant in k. Proof: If I = {0}, then I = 0. So assume I = {0}. Let f be a nonzero polynomial of minimum degree in I. Claim: f = I. Clearly, f I. Let g I be arbitrary. The division algorithm yields g = q f + r, where either r = 0 or deg(r) < deg(f). I is an ideal, so q f I, and, thus, r = g q f I. By the choice of f, r = 0. But then g = q f f. Reminder: Gröbner Bases Fix a monomial order. A subset {g 1,..., g s } of an ideal I is a Gröbner basis of I if LT(g 1 ),..., LT(g s ) = LT(I). Equivalently, {g 1,..., g s } I is a Gröbner basis of I iff the leading term of any element in I is divisible by one of the LT(g i ). 1
2 Properties of Gröbner Bases I Theorem. Let G = {g 1,..., g s } be a Gröbner basis for an ideal I, and let f k[x 1,..., x n ]. Then the remainder r on division of f by G is unique, no matter how the elements of G are listed when using the division algorithm. Proof: First, recall the following result: Let I = x α : α A be a monomial ideal. Then a monomial x β lies in I iff x β is divisible by x α for some α A. Suppose f = a 1 g a + a + r with r = r s g s + r = a 1 g 1 + sg s. Then r r I and, thus, LT(r r ) LT(I) = LT(g 1 ),..., LT(g s ). The lemma implies that LT(r r ) is divisible by one of LT(g 1 ),..., LT(g s ). This is impossible since no term of r, r is divisible by one of LT(g 1 ),..., LT(g s ). S-Polynomials Let I = f 1,..., f t. We show that, in general, LT(I) can be strictly larger than LT(f 1 ),..., LT(f t ). Consider I = f 1, f, where f 1 = x 3 xy and f = x y y + x with grlex order. Note that so x I. Thus x = LT(x ) LT(I). x (x y y + x) y (x 3 xy) = x, However, x is not divisible by LT(f 1 ) = x 3 or LT(f ) = x y, so that x LT(f 1 ), LT(f ). What happened? The leading terms in a suitable combination may cancel, leaving only smaller terms. ax α f i bx β f j On the other hand, ax α f i bx β f j I, so its leading term is in LT(I). This is an obstruction to {f 1,..., f t } being a Gröbner basis. Let f, g k[x 1,..., x n ] be nonzero polynomials with multideg(f) = α and multideg(g) = β. Let γ i = max(α i, β i ). We call x γ the least common multiple of LM(f) and LM(g). The S-polynomial of f and g is defined as γ x x S(f, g) = f g. LT(f) LT(g) γ
3 An S-polynomial is designed to produce cancellation of leading terms. Example: Let f = x 3 y x y 3 + x and g = 3x 4 y + y with the grlex order. Then γ = (4, ). Moreover, x 4 y 4 S(f, g) = x 3 y f x y 3x 4 y g 1 = x f y g 3 1 = x 3 y 3 + x 3 y 3 t Consider i=1 c if i, where c i k and multideg(f i ) = δ Z n + for all i. t If multideg( i=1 c t if i ) < δ, then i=1 c if i is a linear combination, with coefficients in k, of the S-polynomials S(f j, f k ) for 1 j, k t. Moreover, each S(f j, f k ) has multidegree < δ. Properties of Gröbner Bases II t c i f i = c jk S(f j, f k ) i=1 j,k Theorem 3. A basis G = {g 1,..., g s } for an ideal I is a Gröbner basis iff for all pairs i = j, the remainder on division of S(g i, g j ) by G is zero. Sketch of proof: s Let f I be a nonzero polynomial. There are polynomials h i such that f = i=1 h i g i. It follows that multideg(f) max(multideg(h i g i )). If <, then some cancellation of leading terms must occur. These can be rewritten as S-polynomials. The assumption allows us to replace S-polynomials by expressions that involve less cancellation. We eventually find an expression for f such that multideg(f) = multideg(h i g i ) for some i. It follows that LT(f) is divisible by LT(g i ). This shows that LT(f) LT(g 1 ),..., LT(g s ). 3
4 Buchberger s Algorithm Consider I = f 1, f, where f 1 = x 3 xy and f = x y y + x with grlex order. Let F = (f 1, f ). S(f 1, f ) = x ; its remainder on division by F is x. Add f 3 = x to the generating set F. S(f 1, f 3 ) = xy; its remainder on division by F is xy. Add f 4 = xy to the generating set F. S(f 1, f 4 ) = xy ; its remainder on division by F is 0. S(f, f 3 ) = y + x; its remainder is y + x. Add f 5 = y + x to the generating set F. The resulting set F satisfies the S-pair criterion, so it is a Gröbner basis. Buchberger s Algorithm The algorithm: In: F = (f 1,..., f t ) {defining I = f 1,..., f t } Out: Gröbner basis G = (g 1,..., g s ) for I, with F G 1. G := F. REPEAT 3. G := G 4. FOR each pair p q in G DO 5. S := remainder of S(p, q) on division by G 6. IF S = 0 THEN 7. UNTIL G = G Buchberger s Algorithm Proof of correctness: G := G {S} The algorithm terminates when G = G, which means that G satisfies the S-pair criterion. Proof of finiteness: The ideals LT(G ) from successive iterations form an ascending chain. 4
5 Let us call this chain J 1 J J 3. Their union J = J i is an ideal as well. By Hilbert s Basis Theorem, it is finitely generated: i=1 J = h 1,..., h r. Each of the h l is contained in one of the J i. Let N be the maximum such index i. Then J = h 1,..., h r J N J N+1 J. So the chain stabilizes with J N, and the algorithm terminates after a finite number of steps. Minimal Gröbner Basis Let G be a Gröbner basis for I, and let p G be such that LT(p) LT(G \ {p}). Then G \ {p} is also a Gröbner basis for I. A minimal Gröbner basis for an ideal I is a Gröbner basis G for I such that 1. LC(p) = 1 for all p G.. For all p G, LT(p) LT(G \ {p}). A given ideal may have many minimal Gröbner bases. But we can single one out that is better than the others: A reduced Gröbner basis for an ideal I is a Gröbner basis G for I such that 1. LC(p) = 1 for all p G.. For all p G, no monomial of p lies in LT(G \ {p}). Reduced Gröbner Basis Lemma 4. Let I = {0} be an ideal. Then, for a given monomial ordering, I has a unique reduced Gröbner basis. (One can obtain a reduced Gröbner basis from a minimal one by replacing g G by the remainder of g on division by G \ {g}, and repeating.) Elimination Theory Systematic methods for eliminating variables from systems of polynomial equations. For example, consider x 1 + x + 3x 3 + 4x 4 + 5x x 6 15 = 0, x 1 x 1 = 0,..., x 6 x 6 = 0. The reduced Gröbner basis with respect to lex order is G = {x 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 1}. So the original system has exactly two solutions: x = (1, 1, 1, 1, 1, 0) or x = (0, 0, 0, 0, 0, 1) 5
6 Given I = f 1,..., f s k[x 1,..., x n ], the l-th elimination ideal I l is the ideal of k[x l+1,..., x n ] defined by I l = I k[x l+1,..., x n ]. I l consists of all consequences of f 1 = f = = f s = 0 which eliminate the variables x 1,..., x l. Eliminating x 1,..., x l means finding nonzero polynomials in I l. Theorem 5. Let I k[x 1,..., x n ] be an ideal, and let G be a Gröbner 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 Gröbner basis of the l-th elimination ideal I l. Proof: It suffices to show that LT(I l ) LT(G l ). We show that LT(f), for f I l arbitrary, is divisible by LT(g) for some g G l. Note that LT(f) is divisible by LT(g) for some g G. Since f I l, this means that LT(g) involves only x l+1,..., x n. Any monomial involving x 1,..., x l is greater than all monomials in k[x l+1,..., x n ]. Hence, LT(g) k[x l+1,..., x n ] implies g k[x l+1,..., x n ]. Therefore, g G l. The Weak Nullstellensatz Recall that a variety V k n can be studied via the ideal This gives a map V I(V ). On the other hand, given an ideal I, I(V ) = {f k[x 1,..., x n ] : f(x) = 0 for all x V }. V (I) = {x k n : f(x) = 0 for all f I}. is an affine variety, by Hilbert s Basis Theorem. This gives a map I V (I). Note that the map V is not one-to-one: for example, V (x) = V (x ) = {0}. Recall that k is algebraically closed if every nonconstant polynomial in k[x] has a root in k. 6
7 Also recall that C is algebraically closed (Fundamental Theorem of Algebra). Consider 1, 1 + x, and 1 + x + x 4 in R[x]. They generate different ideals: However, V (I 1 ) = V (I ) = V (I 3 ) =. I 1 = 1 = R[x], I = 1 + x, I 3 = 1 + x + x 4. This problem goes away in the one-variable case if k is algebraically closed: Let I be an ideal in k[x], where k is algebraically closed. Then I = f, and V (I) are the roots of f. Since every nonconstant polynomial has a root, V (I) = implies that f is a nonzero constant. Hence, 1/f k. Thus, 1 = (1/f) f I. Consequently, g 1 = g I for all g k[x]. It follows that I = k[x] is the only ideal of k[x] that represents the empty variety when k is algebraically closed. The same holds when there is more than one variable! Theorem 6. Let k be an algebraically closed field, and let I k[x 1,..., x n ] be an ideal satisfying V (I) =. Then I = k[x 1,..., x n ]. (Can be thought of as the Fundamental Theorem of Algebra for Multivariate Polynomials: every system of polynomials that generates an ideal smaller than C[x 1,..., x n] has a common zero in C n.) The system f 1 = 0, f = 0,..., f s = 0 does not have a common solution in C n iff V (f 1,..., f s ) =. By the Weak Nullstellensatz, this happens iff 1 f 1,..., f s. Regardless of the monomial ordering, {1} is the only reduced Gröbner basis for the ideal 1. Proof: Let g 1,..., g s be a Gröbner basis of I = 1. Thus, 1 LT(I) = LT(g 1 ),..., LT(g s ). Hence, 1 is divisible by some LT(g i ), say LT(g 1 ). So LT(g 1 ) is constant. Then every other LT(g i ) is a multiple of that constant, so g,..., g s can be removed from the Gröbner basis. Since LT(g 1 ) is constant, g 1 itself is constant. 7
8 0/1-Integer Programming: Feasibility Normally, n a ij x j = b i j=1 x j {0, 1} i = 1,... m j = 1,..., n Equivalently, n f i := a ij x j b i = 0 i = 1,... m j=1 g j := x j x j = 0 j = 1,..., n An algorithm: In: A Z m n, b Z m Out: a feasible solution x to Ax = b, x {0, 1} n 1. I := f 1,..., f m, g 1,..., g n. Compute a Gröbner basis G of I using lex order 3. IF G = {1} THEN 4. infeasible 5. ELSE 6. Find x n in V (G n1 ) 7. FOR l = n 1 TO 1 DO 8. Extend ( x l+1,..., x n) to ( x l,..., x n) V (G l 1 ) Example: Consider x 1 + x + 3x 3 + 4x 4 + 5x x 6 = 15 x 1, x,..., x 6 {0, 1} The reduced Gröbner basis is G = {x 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 1} G 5 = {x 6 x 6 }, so x 6 = 0 and x 6 = 1 are possible solutions We get x = (1, 1, 1, 1, 1, 0) or x = (0, 0, 0, 0, 0, 1) 8
9 Structural insights: The polynomials in the reduced Gröbner basis can be partitioned into n sets: S n contains only one polynomial, which is either x n, x n 1, or x n x n. S i, for 1 i n 1, contains polynomials in x n,..., x i. Similar to row echelon form in Gaussian elimination. Allows solving the system variable by variable. Example: Consider x 1 + x + 3x 3 + 4x 4 + 6x 5 = 6, x 1,..., x 5 {0.1} The reduced Gröbner basis is { } x 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 1 The sets are S 5 = {x 5 x 5 } S 4 = {x 4 x 5, x 4 x 4 } S 3 = {x 3 + x 4 + x 5 1} S = {x + x 5 1} S 1 = {x 1 + x 4 + x 5 1} 0/1-Integer Programming: Optimization Modify the algorithm as follows: n Let h = y j=1 c j x j. Consider k[x 1,..., x n, y] and V (f 1,..., f m, g 1,..., g m, h). Use lex order with x 1 > > x n > y. The reduced Gröbner basis is either {1} or its intersection with k[y] is a polynomial in y. Every root of this polynomial is an objective function value that can be feasibly attained. Find the minimum root, and work backwards to get the associated values of x n,..., x 1. Example: { } min x 1 + x + 3x 3 : x 1 + x + x 3 = 3, x 1,..., x 3 {0, 1}. The reduced Gröbner basis is { } 1 7y + y, 3 + x 3 y, 4 + x + y, 1 x 1. The two roots of 1 7y + y are 3 and 4. The minimum value is y = 3, and the corresponding solution is (1, 1, 0). 9
10 MIT OpenCourseWare J / 6.859J Integer Programming and Combinatorial Optimization Fall 009 For information about citing these materials or our Terms of Use, visit:
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 information5 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 informationLesson 14 Properties of Groebner Bases
Lesson 14 Properties of Groebner Bases I. Groebner Bases Yield Unique Remainders Theorem Let be a Groebner basis for an ideal, and let. Then there is a unique with the following properties (i) No term
More informationGroebner 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 informationM3P23, 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 informationProblem 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 informationAlgebraic Geometry I
6.859/15.083 Iteger Programmig ad Combiatorial Optimizatio Fall 2009 Lecture 14: Algebraic Geometry I Today... 0/1-iteger programmig ad systems of polyomial equatios The divisio algorithm for polyomials
More informationMath 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 information4 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 informationLecture 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 informationA 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 informationMCS 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 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 informationCounting 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 informationS-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 informationGröbner Bases & their Computation
Gröbner Bases & their Computation Definitions + First Results Priyank Kalla Associate Professor Electrical and Computer Engineering, University of Utah kalla@ece.utah.edu http://www.ece.utah.edu/~kalla
More informationPREMUR 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 informationGRÖ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 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 informationAbstract 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 informationMATH 497A: INTRODUCTION TO APPLIED ALGEBRAIC GEOMETRY
MATH 497A: INTRODUCTION TO APPLIED ALGEBRAIC GEOMETRY These are notes from the Penn State 2015 MASS course Introduction to Applied Algebraic Geometry. This class is taught by Jason Morton and the notes
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 informationGroebner 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 informationThe F 4 Algorithm. Dylan Peifer. 9 May Cornell University
The F 4 Algorithm Dylan Peifer Cornell University 9 May 2017 Gröbner Bases History Gröbner bases were introduced in 1965 in the PhD thesis of Bruno Buchberger under Wolfgang Gröbner. Buchberger s algorithm
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 informationCoding Theory: A Gröbner Basis Approach
Eindhoven University of Technology Department of Mathematics and Computer Science Coding Theory: A Gröbner Basis Approach Master s Thesis by D.W.C. Kuijsters Supervised by Dr. G.R. Pellikaan February 6,
More informationLecture 4 February 5
Math 239: Discrete Mathematics for the Life Sciences Spring 2008 Lecture 4 February 5 Lecturer: Lior Pachter Scribe/ Editor: Michaeel Kazi/ Cynthia Vinzant 4.1 Introduction to Gröbner Bases In this lecture
More informationGröbner Bases over a Dual Valuation Domain
International Journal of Algebra, Vol. 7, 2013, no. 11, 539-548 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2013.3550 Gröbner Bases over a Dual Valuation Domain André Saint Eudes Mialébama
More informationComputational 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 informationSolving 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 informationAlgorithms for Algebraic Geometry
Chapter 2 Algorithms for Algebraic Geometry Outline: 1. Gröbner basics. 39 47 9 2. Algorithmic applications of Gröbner bases. 48 56 9 3. Resultants and Bézout s Theorem. 57 69 13 4. Solving equations with
More informationGröbner Bases, Ideal Computation and Computational Invariant Theory
Gröbner Bases, Ideal Computation and Computational Invariant Theory Supervised by Kazuhiro Yokoyama Tristan Vaccon September 10, 2010 1 Contents Preamble 4 Introduction 4 1 Algebraic Geometry 4 1.1 Affine
More informationHigher-Dimensional Analogues of the Combinatorial Nullstellensatz
Higher-Dimensional Analogues of the Combinatorial Nullstellensatz Jake Mundo July 21, 2016 Abstract The celebrated Combinatorial Nullstellensatz of Alon describes the form of a polynomial which vanishes
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More information8 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 informationMath 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 information15.083J Optimization over Integers. Lectures 13-14: Algebraic geometry and integer optimization
1 15.083J Optimization over Integers Lectures 13-14: Algebraic geometry and integer optimization Typos and errors corrected. Section 7.4 completely rewritten. geometry optimization optimization 7.1. Background
More informationMath 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 information4.4 Noetherian Rings
4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)
More information1 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 informationAlgorithms for computing syzygies over V[X 1,..., X n ] where V is a valuation ring
Algorithms for computing syzygies over V[X 1,..., X n ] where V is a valuation ring Ihsen Yengui Department of Mathematics, University of Sfax, Tunisia Graz, 07/07/2016 1 Plan Computing syzygies over V[X
More informationALGEBRAIC STRUCTURE AND DEGREE REDUCTION
ALGEBRAIC STRUCTURE AND DEGREE REDUCTION Let S F n. We define deg(s) to be the minimal degree of a non-zero polynomial that vanishes on S. We have seen that for a finite set S, deg(s) n S 1/n. In fact,
More informationPage 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 informationA gentle introduction to Elimination Theory. March METU. Zafeirakis Zafeirakopoulos
A gentle introduction to Elimination Theory March 2018 @ METU Zafeirakis Zafeirakopoulos Disclaimer Elimination theory is a very wide area of research. Z.Zafeirakopoulos 2 Disclaimer Elimination theory
More informationAlgebraic Optimization with Applications to System Theory
VRIJE UNIVERSITEIT Algebraic Optimization with Applications to System Theory ACADEMISCH PROEFSCHRIFT ter verkrijging van de graad van doctor aan de Vrije Universiteit Amsterdam, op gezag van de rector
More information10. Noether Normalization and Hilbert s Nullstellensatz
10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.
More informationOn the Inoue invariants of the puzzles of Sudoku type
Communications of JSSAC (2016) Vol. 2, pp. 1 14 On the Inoue invariants of the puzzles of Sudoku type Tetsuo Nakano Graduate School of Science and Engineering, Tokyo Denki University Kenji Arai Graduate
More informationComparison between XL and Gröbner Basis Algorithms
Comparison between XL and Gröbner Basis Algorithms Gwénolé Ars 1, Jean-Charles Faugère 2, Hideki Imai 3, Mitsuru Kawazoe 4, and Makoto Sugita 5 1 IRMAR, University of Rennes 1 Campus de Beaulieu 35042
More informationAlgebraic Varieties. Chapter Algebraic Varieties
Chapter 12 Algebraic Varieties 12.1 Algebraic Varieties Let K be a field, n 1 a natural number, and let f 1,..., f m K[X 1,..., X n ] be polynomials with coefficients in K. Then V = {(a 1,..., a n ) :
More informationIntroduction to linear programming
Chapter 2 Introduction to linear programming 2.1 Single-objective optimization problem We study problems of the following form: Given a set S and a function f : S R, find, if possible, an element x S that
More informationCOMPUTATIONAL COMMUTATIVE ALGEBRA NOTES
COMPUTATIONAL COMMUTATIVE ALGEBRA NOTES ALEXANDER M. KASPRZYK 1. Reference Material The official course textbook is [CLO07]. This is an excellent book; the style is clear and the material accessible. For
More informationADVANCED TOPICS IN ALGEBRAIC GEOMETRY
ADVANCED TOPICS IN ALGEBRAIC GEOMETRY DAVID WHITE Outline of talk: My goal is to introduce a few more advanced topics in algebraic geometry but not to go into too much detail. This will be a survey of
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 informationOn the relation of the Mutant strategy and the Normal Selection strategy
On the relation of the Mutant strategy and the Normal Selection strategy Martin Albrecht 1 Carlos Cid 2 Jean-Charles Faugère 1 Ludovic Perret 1 1 SALSA Project -INRIA, UPMC, Univ Paris 06 2 Information
More informationPolynomial interpolation over finite fields and applications to list decoding of Reed-Solomon codes
Polynomial interpolation over finite fields and applications to list decoding of Reed-Solomon codes Roberta Barbi December 17, 2015 Roberta Barbi List decoding December 17, 2015 1 / 13 Codes Let F q be
More informationInterval Gröbner System and its Applications
Interval Gröbner System and its Applications B. M.-Alizadeh Benyamin.M.Alizadeh@gmail.com S. Rahmany S_Rahmani@du.ac.ir A. Basiri Basiri@du.ac.ir School of Mathematics and Computer Sciences, Damghan University,
More informationSJÄLVSTÄNDIGA ARBETEN I MATEMATIK
SJÄLVSTÄNDIGA ARBETEN I MATEMATIK MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET Boolean polynomials and Gröbner bases: An algebraic approach to solving the SAT-problem av John Sass 2011 - No 4 MATEMATISKA
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 informationComputational methods in the study of symplectic quotients
Computational methods in the study of symplectic quotients Hans-Christian Herbig, UFRJ and Christopher Seaton, Rhodes College Instituto de Matemática Aplicado, Universidade Federal do Rio de Janeiro January
More informationNotes taken by Graham Taylor. January 22, 2005
CSC4 - Linear Programming and Combinatorial Optimization Lecture : Different forms of LP. The algebraic objects behind LP. Basic Feasible Solutions Notes taken by Graham Taylor January, 5 Summary: We first
More informationReversely Well-Ordered Valuations on Polynomial Rings in Two Variables
Reversely Well-Ordered Valuations on Polynomial Rings in Two Variables Edward Mosteig Loyola Marymount University Los Angeles, California, USA Workshop on Valuations on Rational Function Fields Department
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #2 09/10/2013
18.78 Introduction to Arithmetic Geometry Fall 013 Lecture # 09/10/013.1 Plane conics A conic is a plane projective curve of degree. Such a curve has the form C/k : ax + by + cz + dxy + exz + fyz with
More informationNotes 6: Polynomials in One Variable
Notes 6: Polynomials in One Variable Definition. Let f(x) = b 0 x n + b x n + + b n be a polynomial of degree n, so b 0 0. The leading term of f is LT (f) = b 0 x n. We begin by analyzing the long division
More information1 The linear algebra of linear programs (March 15 and 22, 2015)
1 The linear algebra of linear programs (March 15 and 22, 2015) Many optimization problems can be formulated as linear programs. The main features of a linear program are the following: Variables are real
More informationPolynomial Rings. (Last Updated: December 8, 2017)
Polynomial Rings (Last Updated: December 8, 2017) These notes are derived primarily from Abstract Algebra, Theory and Applications by Thomas Judson (16ed). Most of this material is drawn from Chapters
More informationMath 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 informationSummer 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 information4-1 The Algebraic-Geometric Dictionary P. Parrilo and S. Lall, ECC
4-1 The Algebraic-Geometric Dictionary P. Parrilo and S. Lall, ECC 2003 2003.09.02.02 4. The Algebraic-Geometric Dictionary Equality constraints Ideals and Varieties Feasibility problems and duality The
More informationf(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 informationGrobner Bases: Degree Bounds and Generic Ideals
Clemson University TigerPrints All Dissertations Dissertations 8-2014 Grobner Bases: Degree Bounds and Generic Ideals Juliane Golubinski Capaverde Clemson University, julianegc@gmail.com Follow this and
More information2. Intersection Multiplicities
2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.
More informationAn Improvement of Rosenfeld-Gröbner Algorithm
An Improvement of Rosenfeld-Gröbner Algorithm Amir Hashemi 1,2 Zahra Touraji 1 1 Department of Mathematical Sciences Isfahan University of Technology Isfahan, Iran 2 School of Mathematics Institute for
More informationQR 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 informationRewriting 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 informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationHilbert Polynomials. dimension and counting monomials. a Gröbner basis for I reduces to in > (I)
Hilbert Polynomials 1 Monomial Ideals dimension and counting monomials 2 The Dimension of a Variety a Gröbner basis for I reduces to in > (I) 3 The Complexity of Gröbner Bases a bound on the degrees of
More informationLecture 5. 1 Goermans-Williamson Algorithm for the maxcut problem
Math 280 Geometric and Algebraic Ideas in Optimization April 26, 2010 Lecture 5 Lecturer: Jesús A De Loera Scribe: Huy-Dung Han, Fabio Lapiccirella 1 Goermans-Williamson Algorithm for the maxcut problem
More informationPolynomial Review Problems
Polynomial Review Problems 1. Find polynomial function formulas that could fit each of these graphs. Remember that you will need to determine the value of the leading coefficient. The point (0,-3) is on
More informationMath 615: Lecture of January 10, 2007
Math 615: Lecture of January 10, 2007 The definition of lexicographic order is quite simple, but the totally ordered set that one gets is not even if there are only two variables one has 1 < x 2 < x 2
More informationAppendix PRELIMINARIES 1. THEOREMS OF ALTERNATIVES FOR SYSTEMS OF LINEAR CONSTRAINTS
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 informationConvex 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 informationLecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman
Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 17, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Integral Domains and Fraction Fields 0.1.1 Theorems Now what we are going
More informationTHE FUNDAMENTAL THEOREM ON SYMMETRIC POLYNOMIALS. Hamza Elhadi S. Daoub
THE TEACHING OF MATHEMATICS 2012, Vol. XV, 1, pp. 55 59 THE FUNDAMENTAL THEOREM ON SYMMETRIC POLYNOMIALS Hamza Elhadi S. Daoub Abstract. In this work we are going to extend the proof of Newton s theorem
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 informationx 1 + x 2 2 x 1 x 2 1 x 2 2 min 3x 1 + 2x 2
Lecture 1 LPs: Algebraic View 1.1 Introduction to Linear Programming Linear programs began to get a lot of attention in 1940 s, when people were interested in minimizing costs of various systems while
More informationTo hand in: (a) Prove that a group G is abelian (= commutative) if and only if (xy) 2 = x 2 y 2 for all x, y G.
Homework #6. Due Thursday, October 14th Reading: For this homework assignment: Sections 3.3 and 3.4 (up to page 167) Before the class next Thursday: Sections 3.5 and 3.4 (pp. 168-171). Also review the
More informationLocal 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 informationHMMT February 2018 February 10, 2018
HMMT February 018 February 10, 018 Algebra and Number Theory 1. For some real number c, the graphs of the equation y = x 0 + x + 18 and the line y = x + c intersect at exactly one point. What is c? 18
More informationToric 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 informationTHE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS. Contents
THE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS ALICE MARK Abstract. This paper is a simple summary of the first most basic definitions in Algebraic Geometry as they are presented in Dummit and Foote ([1]),
More informationHandout - Algebra Review
Algebraic Geometry Instructor: Mohamed Omar Handout - Algebra Review Sept 9 Math 176 Today will be a thorough review of the algebra prerequisites we will need throughout this course. Get through as much
More informationCourse 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 informationReid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.
Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed. Answer: Note that the first generator factors as (y
More informationMath 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 informationSPECIAL POINTS AND LINES OF ALGEBRAIC SURFACES
SPECIAL POINTS AND LINES OF ALGEBRAIC SURFACES 1. Introduction As we have seen many times in this class we can encode combinatorial information about points and lines in terms of algebraic surfaces. Looking
More informationD(f/g)(P ) = D(f)(P )g(p ) f(p )D(g)(P ). g 2 (P )
We first record a very useful: 11. Higher derivatives Theorem 11.1. Let A R n be an open subset. Let f : A R m and g : A R m be two functions and suppose that P A. Let λ A be a scalar. If f and g are differentiable
More informationOn the BMS Algorithm
On the BMS Algorithm Shojiro Sakata The University of Electro-Communications Department of Information and Communication Engineering Chofu-shi, Tokyo 182-8585, JAPAN Abstract I will present a sketch of
More information3. Vector spaces 3.1 Linear dependence and independence 3.2 Basis and dimension. 5. Extreme points and basic feasible solutions
A. LINEAR ALGEBRA. CONVEX SETS 1. Matrices and vectors 1.1 Matrix operations 1.2 The rank of a matrix 2. Systems of linear equations 2.1 Basic solutions 3. Vector spaces 3.1 Linear dependence and independence
More informationChapter 1 Vector Spaces
Chapter 1 Vector Spaces Per-Olof Persson persson@berkeley.edu Department of Mathematics University of California, Berkeley Math 110 Linear Algebra Vector Spaces Definition A vector space V over a field
More informationConstructions 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