Tropical Algebraic Geometry
|
|
- Madeline James
- 6 years ago
- Views:
Transcription
1 Tropical Algebraic Geometry 1 Amoebas an asymptotic view on varieties tropicalization of a polynomial 2 The Max-Plus Algebra at Work making time tables for a railway network 3 Polyhedral Methods for Algebraic Sets solving the cyclic 4-roots problem asymptotics of witness sets 4 Tropical Polynomials the tropical fundamental theorem of algebra graphing a tropical line MCS 563 Lecture 39 Analytic Symbolic Computation Jan Verschelde, 21 April 2014 Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
2 Tropical Algebraic Geometry 1 Amoebas an asymptotic view on varieties tropicalization of a polynomial 2 The Max-Plus Algebra at Work making time tables for a railway network 3 Polyhedral Methods for Algebraic Sets solving the cyclic 4-roots problem asymptotics of witness sets 4 Tropical Polynomials the tropical fundamental theorem of algebra graphing a tropical line Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
3 logarithms of algebraic sets Denoting C = C \ {0}, we consider the application of to a variety. log : C C R R (x, y) (log( x ), log( y )) Introduced by Gelfand, Kapranov, and Zelevinsky, log(v) for a variety V is called the amoeba of a variety. Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
4 plot for a line For a line, we use polar coordinates to plot the amoeba: f := 1 2 x y 1 = 0, A := [ ln ( re Iθ ), ln ( 5 2 reiθ 5 )]. > f := 1/2*x + 1/5*y - 1: > s := solve(f,y): > L := map(log,map(abs,[x,s])): > A := subs(x=r*exp(i*theta),l); > Ap := seq(plot([op(subs( theta=k*pi/200,a)),r= ], thickness=6),k=0..99): > plots[display](ap,axes=none); The amoeba of a linear polynomial with Maple. Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
5 compactifying the amoeba We compactify the amoeba of f 1 (0): Take lines perpendicular to the tentacles. As each line cuts the plane in half, keep those halves of the plane where the amoeba lives. The intersection of all half planes defines a polygon. The resulting polygon is the Newton polygon of f. Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
6 amoeba and Newton polygon The edges of the Newton polygon are perpendicular to the tentacles of the amoeba (0,1) (0,0) (1,0) K K2 Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
7 Tropical Algebraic Geometry 1 Amoebas an asymptotic view on varieties tropicalization of a polynomial 2 The Max-Plus Algebra at Work making time tables for a railway network 3 Polyhedral Methods for Algebraic Sets solving the cyclic 4-roots problem asymptotics of witness sets 4 Tropical Polynomials the tropical fundamental theorem of algebra graphing a tropical line Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
8 normal cones and fan The inner product is, : Z 2 Z 2 Z : ((i, j),(u, v)) iu + jv. Let P be the Newton polygon of the polynomial f. The normal cone to a vertex p of P is { v R 2 \ {0} p, v = min q, v }. q P The normal cone to an edge spanned by p 1 and p 2 is { v R 2 \ {0} p 1, v = p 2, v = min q, v }. q P The normal fan of P is the collection of all normal cones to vertices and edges of P. Given f, a tropicalization of f, denoted by Trop(f), is a finite collection of inner normals (u, v) (normalized as gcd(u, v) = 1) to the edges of the Newton polygon P of f. Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
9 a quadratic polynomial Consider a regular triangulation of the Newton polygon of a general quadratic polynomial. Take the normals to the facets of the upper hull: Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
10 intersecting two quadrics Consider two general quadratic polynomials: We see a tropical version of the theorem of Bézout. This tropical version is an interpretation of the computation of the mixed cells in a regular mixed-cell configuration via the common refinement of the normal fans to their edges. Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
11 a dictionary An analogy between classical algebraic geometry and tropical algebraic geometry: classical tropical C,+, polynomial zero set hypersurface toric variety irreducible algebraic variety R, min,+ piecewise linear function singular locus normal fan ordinary linear variety balanced (n 1)-skeleton Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
12 Tropical Algebraic Geometry 1 Amoebas an asymptotic view on varieties tropicalization of a polynomial 2 The Max-Plus Algebra at Work making time tables for a railway network 3 Polyhedral Methods for Algebraic Sets solving the cyclic 4-roots problem asymptotics of witness sets 4 Tropical Polynomials the tropical fundamental theorem of algebra graphing a tropical line Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
13 a railway network Consider two stations: S 1 and S 2 ; three circuits: one inner between the two stations and two outer circuits, serving the suburbs. Four trains travel back and forth. S 1 S Numbers along the tracks are fixed travel times. A good timetable obey the rules: 1 the frequency of trains should be as high as possible; 2 the frequency of trains is the same along all tracks; 3 trains wait to allow the changeover of passengers; 4 the trains depart at a station as soon as allowed. Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
14 inequalities Denote by x 1 and x 2 the common departure times of the trains respectively at S 1 and S 2. The initial departure times are x 1 (0) and x 2 (0) and the kth departure times are given by x 1 (k 1) and x 2 (k 1). The rules above translate into the inequalities: x 1 (k + 1) = max(x 1 (k) + 2, x 2 (k) + 5) x 2 (k + 1) = max(x 1 (k) + 3, x 2 (k) + 3) In the max-plus algebra, replacing max by and addition by, we write x 1 (k + 1) = (x 1 (k) 2) (x 2 (k) 5) x 2 (k + 1) = (x 1 (k) 3) (x 2 (k) 3) Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
15 tropical linear algebra In matrix-vector form: x(k + 1) = A x(k), x(k) = ( x1 (k) x 2 (k) ) ( 2 5, A = 3 3 Eigenvalues λ and eigenvectors v of a matrix A are defined in the max-plus algebra as A v = λ v, where not all components of v are equal to. ). Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
16 tropical eigenvalues Eigenvectors are (similar to conventional linear algebra) not uniquely determined. If the same constant is added to all components of an eigenvector, then we get again an eigenvector. It is typical to normalize an eigenvector so its first component is zero. For the solution of the system above, we write x(1) = A x(0) = λ x(0) and in general x(k) = λ k x(0), k = 1, 2,... Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
17 Tropical Algebraic Geometry 1 Amoebas an asymptotic view on varieties tropicalization of a polynomial 2 The Max-Plus Algebra at Work making time tables for a railway network 3 Polyhedral Methods for Algebraic Sets solving the cyclic 4-roots problem asymptotics of witness sets 4 Tropical Polynomials the tropical fundamental theorem of algebra graphing a tropical line Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
18 curves of cyclic 4-roots x 0 + x 1 + x 2 + x 3 = 0 x f(x) = 0 x 1 + x 1 x 2 + x 2 x 3 + x 3 x 0 = 0 x 0 x 1 x 2 + x 1 x 2 x 3 + x 2 x 3 x 0 + x 3 x 0 x 1 = 0 x 0 x 1 x 2 x 3 1 = 0 One tropism v = (+1, 1,+1, 1) with in v (f)(z) = 0: x 1 + x 3 = 0 x in v (f)(x) = 0 x 1 + x 1 x 2 + x 2 x 3 + x 3 x 0 = 0 x 1 x 2 x 3 + x 3 x 0 x 1 = 0 x 0 x 1 x 2 x 3 1 = 0. We look for solutions of the form (x 0 = t +1, x 1 = z 1 t 1, x 2 = z 2 t +1, x 3 = z 3 t 1 ). Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
19 solving the initial form system Substitute (x 0 = t +1, x 1 = z 1 t 1, x 2 = z 2 t +1, x 3 = z 3 t 1 ): in v (f)(x 0 = t +1, x 1 = z 1 t 1, x 2 = z 2 t +1, x 3 = z 3 t 1 ) (1 + z 2 )t +1 = 0 z = 1 + z 1 z 2 + z 2 z 3 + z 3 = 0 (z 1 z 2 + z 3 z 1 )t +1 = 0 z 1 z 2 z 3 1 = 0. We find two solutions: (z 1 = 1, z 2 = 1, z 3 = +1) and (z 1 = +1, z 2 = 1, z 3 = 1). Two space curves ( t, t 1, t, t 1) and ( t, t 1, t, t 1) satisfy the entire cyclic 4-roots system. Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
20 Tropical Algebraic Geometry 1 Amoebas an asymptotic view on varieties tropicalization of a polynomial 2 The Max-Plus Algebra at Work making time tables for a railway network 3 Polyhedral Methods for Algebraic Sets solving the cyclic 4-roots problem asymptotics of witness sets 4 Tropical Polynomials the tropical fundamental theorem of algebra graphing a tropical line Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
21 Asymptotics of Witness Sets Consider a witness sets for an algebraic space curve. A witness set for a degree d curve contains d points on a general hyperplane c 0 + c 1 x 1 + c 2 x c n x n = 0, satisfying f(x) = 0. We then deform a witness set for a curve in two stages: 1 The first homotopy moves to a hyperplane in special position: { h (1) (x, t) = f(x) = 0, for t from 1 to 0 : (c 0 + c 1 x c n x n )t + (c 0 + c 1 x 1 )(1 t) = 0. 2 After renaming c 0 + c 1 x 1 = 0 into x 1 = γ, we let x 1 go to zero with the following homotopy: { h (2) f(x) = 0 (x, t) = x 1 γt = 0, for t from 1 to 0. The two homotopies need further study. Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
22 the first homotopy In moving a general plane into special position, some paths will diverge, consider for example f(x 1, x 2 ) = x 1 x 2 1. Lemma All solutions at the end of the homotopy h (1) (x, t) = 0 lie on the curve defined by f(x) = 0 and in the hyperplane x 1 = c 0 /c 1. Proof. We claim that we find the same solutions to h (1) (x, t = 0) = 0 either by using the homotopy { h (1) f(x) = 0, for t from 1 to 0 : (x, t) = (c 0 + c 1 x c n x n )t + (c 0 + c 1 x 1 )(1 t) = 0. or by solving h (1) (x, 0) = 0 directly. This claim follows from cheater s homotopy or the more general coefficient-parameter polynomial continuation. Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
23 the second homotopy For simplest example of the hyperbola x 1 x 2 1 = 0: its solution is (x 1 = t, x 2 = t 1 ) and the tropism is v = (1, 1). Lemma As t 0 in the homotopy h (2) (x, t) = 0, the leading powers of the Puiseux series expansions are the components of a tropism. In particular, the expansions have the form { x1 = t x k = c k t v k(1 + O(t)), k = 2,..., n. (1) Proof. Following Bernshteǐn s second theorem, a solution at infinity is a solution in (C ) n of an initial form system. For a solution to have values in (C ) n, all equations in that system need to have at least two monomials. So the system is an initial form system defined by a tropism. To arrive at the form of (1) for the solution of h (2) (x, t) = 0 we rescale the parameter t so we may replace x 1 = γt by x 1 = t. Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
24 Tropical Algebraic Geometry 1 Amoebas an asymptotic view on varieties tropicalization of a polynomial 2 The Max-Plus Algebra at Work making time tables for a railway network 3 Polyhedral Methods for Algebraic Sets solving the cyclic 4-roots problem asymptotics of witness sets 4 Tropical Polynomials the tropical fundamental theorem of algebra graphing a tropical line Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
25 tropical monomials Let x 1, x 2,..., x n be variables representing elements in (R { },, ), then a tropical monomial is a product of variables, allowing repetition. Example: x 2 x 1 x 3 x 1 x 4 x 2 x 3 x 2 = x 2 1 x 3 2 x 2 3 x 4. As a function, a tropical monomial is a linear function. x 2 + x 1 + x 3 + x 1 + x 4 + x 2 + x 3 + x 2 = 2x 1 + 3x 2 + 2x 3 + x 4. Every linear function in n variables with integer coefficients we can write as a tropical monomial, exponents can be negative. Tropical monomials are the linear functions on R n with integer coefficients. Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
26 tropical polynomials Any finite linear combination of tropical monomials defines a tropical polynomial with real coefficients and integer exponents: p(x 1, x 2,...,x n ) = c a1 x a 1,1 1 x a 1,2 2 x a 1,n n The corresponding function: c a2 x a 2,1 1 x a 2,2 2 x a 2,n n c ak x a k,1 1 x a k,2 2 x a k,n n. p(x 1, x 2,..., x n ) = min( c a1 + a 1,1 x 1 + a 1,2 x a 1,n x n, c a2 + a 2,1 x 1 + a 2,2 x a 2,n x n,..., c ak + a k,1 x 1 + a k,2 x a k,n x n ). Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
27 piecewise-linear functions Tropical polynomials as functions p : R n R 1 are continuous; 2 are piecewise-linear, with a finite number of pieces; and 3 are concave, i.e.: p ( x+y ) (p(x) + p(y)) for all x, y R. Any function which satisfies these three properties can be represented as the minimum of a finite set of linear functions. Lemma The tropical polynomials in n variables are the piecewise-linear functions on R n with integer coefficients. Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
28 the graph of a tropical quadratic polynomial a x 2 b x c = min(a + 2x, b + x, c) a + 2x b + x c b b a roots c If b a c b, then p(x) = a (x (b a)) (x (c b)) = a + min(x, b a) + min(x, c b). Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
29 the tropical fundamental theorem of algebra Theorem Every tropical polynomial function can be written uniquely as a tropical product of tropical linear functions. Note: Distinct polynomials can represent the same function. x 2 17 x 2 = min(2x, x + 17, 2) = min(2x, x + 1, 2) = x 2 1 x 2 = (x 1) 2 2x 1 + x 2 Every polynomial can be replaced by an equivalent polynomial (equivalent means: representing the same function) that can be factored into linear functions. Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
30 Tropical Algebraic Geometry 1 Amoebas an asymptotic view on varieties tropicalization of a polynomial 2 The Max-Plus Algebra at Work making time tables for a railway network 3 Polyhedral Methods for Algebraic Sets solving the cyclic 4-roots problem asymptotics of witness sets 4 Tropical Polynomials the tropical fundamental theorem of algebra graphing a tropical line Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
31 graph of the tropical line L(x, y) = 1 x 2 y 3 y = 1 z x x = 2 y = 2 (2,1,3) (2,1) y x = 1 ( 1, 2) y = x 1 L : R 2 R (x, y) min(1 + x, 2 + y, 3) z = 1 + x z = 2 + y z = 1 + x z = 3 z = 2 + y z = 3 } : y = x 1 } : x = 2 } : y = 1 Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
32 a picture in the plane L : R 2 R : (x, y) min(1 + x, 2 + y, 3) Look where the minimum is attained at least twice: y x = 2 y = x 1 y = 1 x Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
33 intersecting two tropical lines Intersecting 1 x 2 y 3 with 2 x 4 y 2: where min(1+x, 2+y, 3) and min( 2+x, 4+y, 2) attain their mininum twice. y x = 4 x = 2 y = x 1 y = x 6 y = 1 x y = 2 Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
34 Summary + Exercises Tropical algebraic geometry provides a framework to apply polyhedral methods to solve polynomial systems. Exercises: 1 Consider the amoeba of the product of two linear equations. How many tentacles to you see in each direction? For which choices of the coefficients do you see holes in the amoeba? 2 Prove the tropical fundamental theorem of algebra. 3 Investigate the complexity of graphing a tropical plane curve of degree d and express the complexity as a function of d. Analytic Symbolic Computation (MCS 563) Tropical Algebraic Geometry L April / 34
Tropical Algebraic Geometry in Maple. Jan Verschelde in collaboration with Danko Adrovic
Tropical Algebraic Geometry in Maple Jan Verschelde in collaboration with Danko Adrovic University of Illinois at Chicago Department of Mathematics, Statistics, and Computer Science http://www.math.uic.edu/
More informationTropical Algebraic Geometry 3
Tropical Algebraic Geometry 3 1 Monomial Maps solutions of binomial systems an illustrative example 2 The Balancing Condition balancing a polyhedral fan the structure theorem 3 The Fundamental Theorem
More informationCertificates in Numerical Algebraic Geometry. Jan Verschelde
Certificates in Numerical Algebraic Geometry Jan Verschelde University of Illinois at Chicago Department of Mathematics, Statistics, and Computer Science http://www.math.uic.edu/ jan jan@math.uic.edu FoCM
More informationTropical Islands. Jan Verschelde
Tropical Islands Jan Verschelde University of Illinois at Chicago Department of Mathematics, Statistics, and Computer Science http://www.math.uic.edu/ jan jan@math.uic.edu Graduate Computational Algebraic
More informationx y = x + y. For example, the tropical sum 4 9 = 4, and the tropical product 4 9 = 13.
Comment: Version 0.1 1 Introduction Tropical geometry is a relatively new area in mathematics. Loosely described, it is a piece-wise linear version of algebraic geometry, over a particular structure known
More informationon Newton polytopes, tropisms, and Puiseux series to solve polynomial systems
on Newton polytopes, tropisms, and Puiseux series to solve polynomial systems Jan Verschelde joint work with Danko Adrovic University of Illinois at Chicago Department of Mathematics, Statistics, and Computer
More informationPolyhedral Methods for Positive Dimensional Solution Sets
Polyhedral Methods for Positive Dimensional Solution Sets Danko Adrovic and Jan Verschelde www.math.uic.edu/~adrovic www.math.uic.edu/~jan 17th International Conference on Applications of Computer Algebra
More informationAn introduction to tropical geometry
An introduction to tropical geometry Jan Draisma RWTH Aachen, 8 April 2011 Part I: what you must know Tropical numbers R := R { } the tropical semi-ring a b := min{a, b} a b := a + b b = b 0 b = b b =
More informationTropical Approach to the Cyclic n-roots Problem
Tropical Approach to the Cyclic n-roots Problem Danko Adrovic and Jan Verschelde University of Illinois at Chicago www.math.uic.edu/~adrovic www.math.uic.edu/~jan 3 Joint Mathematics Meetings - AMS Session
More informationTropical Elliptic Curves and their j-invariant
and their j-invariant (joint work with Eric Katz and Hannah Markwig) Elliptic Tropical Thomas Markwig Technische Universität Kaiserslautern 15th February, 2008 Elliptic Tropical The tropical j-invariant
More informationTropical Varieties. Jan Verschelde
Tropical Varieties Jan Verschelde University of Illinois at Chicago Department of Mathematics, Statistics, and Computer Science http://www.math.uic.edu/ jan jan@math.uic.edu Graduate Computational Algebraic
More informationToolboxes and Blackboxes for Solving Polynomial Systems. Jan Verschelde
Toolboxes and Blackboxes for Solving Polynomial Systems Jan Verschelde University of Illinois at Chicago Department of Mathematics, Statistics, and Computer Science http://www.math.uic.edu/ jan jan@math.uic.edu
More informationTropical Algebra. Notes by Bernd Sturmfels for the lecture on May 22, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Tropical Algebra Notes by Bernd Sturmfels for the lecture on May 22, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra The tropical semiring (R { },, ) consists of the real numbers R,
More informationINTRODUCTION TO TROPICAL ALGEBRAIC GEOMETRY
INTRODUCTION TO TROPICAL ALGEBRAIC GEOMETRY DIANE MACLAGAN These notes are the lecture notes from my lectures on tropical geometry at the ELGA 2011 school on Algebraic Geometry and Applications in Buenos
More informationAN INTRODUCTION TO TROPICAL GEOMETRY
AN INTRODUCTION TO TROPICAL GEOMETRY JAN DRAISMA Date: July 2011. 1 2 JAN DRAISMA Tropical numbers. 1. Tropical numbers and valuations R := R { } tropical numbers, equipped with two operations: tropical
More informationNumerical Computations in Algebraic Geometry. Jan Verschelde
Numerical Computations in Algebraic Geometry Jan Verschelde University of Illinois at Chicago Department of Mathematics, Statistics, and Computer Science http://www.math.uic.edu/ jan jan@math.uic.edu AMS
More informationcomputing an irreducible decomposition of A B looking for solutions where the Jacobian drops rank
Diagonal Homotopies 1 Intersecting Solution Sets computing an irreducible decomposition of A B 2 The Singular Locus looking for solutions where the Jacobian drops rank 3 Solving Systems restricted to an
More informationHomotopy Methods for Solving Polynomial Systems tutorial at ISSAC 05, Beijing, China, 24 July 2005
Homotopy Methods for Solving Polynomial Systems tutorial at ISSAC 05, Beijing, China, 24 July 2005 Jan Verschelde draft of March 15, 2007 Abstract Homotopy continuation methods provide symbolic-numeric
More informationON THE RANK OF A TROPICAL MATRIX
ON THE RANK OF A TROPICAL MATRIX MIKE DEVELIN, FRANCISCO SANTOS, AND BERND STURMFELS Abstract. This is a foundational paper in tropical linear algebra, which is linear algebra over the min-plus semiring.
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 informationModule 4: Equations and Inequalities in One Variable
Module 1: Relationships between quantities Precision- The level of detail of a measurement, determined by the unit of measure. Dimensional Analysis- A process that uses rates to convert measurements from
More informationIntroduction to Tropical Geometry. Diane Maclagan and Bernd Sturmfels
Introduction to Tropical Geometry Diane Maclagan and Bernd Sturmfels November 4, 2009 2 Contents Preface 7 1 Introduction 9 1.1 Arithmetic............................. 10 1.2 Dynamic Programming......................
More informationFinal Exam C Name i D) 2. Solve the equation by factoring. 4) x2 = x + 72 A) {1, 72} B) {-8, 9} C) {-8, -9} D) {8, 9} 9 ± i
Final Exam C Name First, write the value(s) that make the denominator(s) zero. Then solve the equation. 7 ) x + + 3 x - = 6 (x + )(x - ) ) A) No restrictions; {} B) x -, ; C) x -; {} D) x -, ; {2} Add
More informationA Partial List of Topics: Math Spring 2009
A Partial List of Topics: Math 112 - Spring 2009 This is a partial compilation of a majority of the topics covered this semester and may not include everything which might appear on the exam. The purpose
More informationKing Fahd University of Petroleum and Minerals Prep-Year Math Program Math Term 161 Recitation (R1, R2)
Math 001 - Term 161 Recitation (R1, R) Question 1: How many rational and irrational numbers are possible between 0 and 1? (a) 1 (b) Finite (c) 0 (d) Infinite (e) Question : A will contain how many elements
More informationAlgebra One Dictionary
Algebra One Dictionary Page 1 of 17 A Absolute Value - the distance between the number and 0 on a number line Algebraic Expression - An expression that contains numbers, operations and at least one variable.
More informationTopics Covered in Math 115
Topics Covered in Math 115 Basic Concepts Integer Exponents Use bases and exponents. Evaluate exponential expressions. Apply the product, quotient, and power rules. Polynomial Expressions Perform addition
More informationComputing Puiseux Series for Algebraic Surfaces
Computing Puiseux Series for Algebraic Surfaces Danko Adrovic and Jan Verschelde Department of Mathematics, Statistics, and Computer Science University of Illinois at Chicago 851 South Morgan (M/C 249)
More informationRational Univariate Representation
Rational Univariate Representation 1 Stickelberger s Theorem a rational univariate representation (RUR) 2 The Elbow Manipulator a spatial robot arm with three links 3 Application of the Newton Identities
More informationFinal Exam A Name. 20 i C) Solve the equation by factoring. 4) x2 = x + 30 A) {-5, 6} B) {5, 6} C) {1, 30} D) {-5, -6} -9 ± i 3 14
Final Exam A Name First, write the value(s) that make the denominator(s) zero. Then solve the equation. 1 1) x + 3 + 5 x - 3 = 30 (x + 3)(x - 3) 1) A) x -3, 3; B) x -3, 3; {4} C) No restrictions; {3} D)
More informationMath Review for AP Calculus
Math Review for AP Calculus This course covers the topics shown below. Students navigate learning paths based on their level of readiness. Institutional users may customize the scope and sequence to meet
More informationCommon Core Algebra 2 Review Session 1
Common Core Algebra 2 Review Session 1 NAME Date 1. Which of the following is algebraically equivalent to the sum of 4x 2 8x + 7 and 3x 2 2x 5? (1) 7x 2 10x + 2 (2) 7x 2 6x 12 (3) 7x 4 10x 2 + 2 (4) 12x
More informationOn the number of complement components of hypersurface coamoebas
On the number of complement components of hypersurface coamoebas Texas A&M University, College Station, AMS Sectional Meeting Special Sessions: On Toric Algebraic Geometry and Beyond, Akron, OH, October
More informationLecture I: Introduction to Tropical Geometry David Speyer
Lecture I: Introduction to Tropical Geometry David Speyer The field of Puiseux series C[[t]] is the ring of formal power series a 0 + a 1 t + and C((t)) is the field of formal Laurent series: a N t N +
More informationExamples of numerics in commutative algebra and algebraic geo
Examples of numerics in commutative algebra and algebraic geometry MCAAG - JuanFest Colorado State University May 16, 2016 Portions of this talk include joint work with: Sandra Di Rocco David Eklund Michael
More informationSemidefinite Programming
Semidefinite Programming Notes by Bernd Sturmfels for the lecture on June 26, 208, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra The transition from linear algebra to nonlinear algebra has
More informationBeginning Algebra. 1. Review of Pre-Algebra 1.1 Review of Integers 1.2 Review of Fractions
1. Review of Pre-Algebra 1.1 Review of Integers 1.2 Review of Fractions Beginning Algebra 1.3 Review of Decimal Numbers and Square Roots 1.4 Review of Percents 1.5 Real Number System 1.6 Translations:
More informationRational and Radical Functions. College Algebra
Rational and Radical Functions College Algebra Rational Function A rational function is a function that can be written as the quotient of two polynomial functions P(x) and Q(x) f x = P(x) Q(x) = a )x )
More informationReading Mathematical Expressions & Arithmetic Operations Expression Reads Note
Math 001 - Term 171 Reading Mathematical Expressions & Arithmetic Operations Expression Reads Note x A x belongs to A,x is in A Between an element and a set. A B A is a subset of B Between two sets. φ
More informationarxiv:math/ v2 [math.ag] 9 Dec 2003
ontemporary Mathematics arxiv:math/0306366v2 [math.g] 9 ec 2003 First Steps in Tropical Geometry Jürgen Richter-Gebert, ernd Sturmfels, and Thorsten Theobald bstract. Tropical algebraic geometry is the
More informationCopyright 2018 UC Regents and ALEKS Corporation. ALEKS is a registered trademark of ALEKS Corporation. 2/10
Prep for Calculus This course covers the topics outlined below. You can customize the scope and sequence of this course to meet your curricular needs. Curriculum (281 topics + 125 additional topics) Real
More informationJOANN CORONADO, SAMUEL PÉREZ-AYALA, AND BITHIAH YUAN
VISUALIZING A-DISCRIMINANT VARIETIES AND THEIR TROPICALIZATIONS JOANN CORONADO, SAMUEL PÉREZ-AYALA, AND BITHIAH YUAN Abstract. The A-discriminant variety, A, is the irreducible algebraic hypersurface describing
More informationAN INTRODUCTION TO AFFINE TORIC VARIETIES: EMBEDDINGS AND IDEALS
AN INTRODUCTION TO AFFINE TORIC VARIETIES: EMBEDDINGS AND IDEALS JESSICA SIDMAN. Affine toric varieties: from lattice points to monomial mappings In this chapter we introduce toric varieties embedded in
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationHomework. Basic properties of real numbers. Adding, subtracting, multiplying and dividing real numbers. Solve one step inequalities with integers.
Morgan County School District Re-3 A.P. Calculus August What is the language of algebra? Graphing real numbers. Comparing and ordering real numbers. Finding absolute value. September How do you solve one
More informationMath Prep for Statics
Math Prep for Statics This course covers the topics shown below. Students navigate learning paths based on their level of readiness. Institutional users may customize the scope and sequence to meet curricular
More informationSemester Review Packet
MATH 110: College Algebra Instructor: Reyes Semester Review Packet Remarks: This semester we have made a very detailed study of four classes of functions: Polynomial functions Linear Quadratic Higher degree
More informationAlgebra II Vocabulary Alphabetical Listing. Absolute Maximum: The highest point over the entire domain of a function or relation.
Algebra II Vocabulary Alphabetical Listing Absolute Maximum: The highest point over the entire domain of a function or relation. Absolute Minimum: The lowest point over the entire domain of a function
More informationThe coordinates of the vertex of the corresponding parabola are p, q. If a > 0, the parabola opens upward. If a < 0, the parabola opens downward.
Mathematics 10 Page 1 of 8 Quadratic Relations in Vertex Form The expression y ax p q defines a quadratic relation in form. The coordinates of the of the corresponding parabola are p, q. If a > 0, the
More informationHarbor Creek School District. Algebra II Advanced. Concepts Timeframe Skills Assessment Standards Linear Equations Inequalities
Algebra II Advanced and Graphing and Solving Linear Linear Absolute Value Relation vs. Standard Forms of Linear Slope Parallel & Perpendicular Lines Scatterplot & Linear Regression Graphing linear Absolute
More information5.3. Polynomials and Polynomial Functions
5.3 Polynomials and Polynomial Functions Polynomial Vocabulary Term a number or a product of a number and variables raised to powers Coefficient numerical factor of a term Constant term which is only a
More informationMAT 107 College Algebra Fall 2013 Name. Final Exam, Version X
MAT 107 College Algebra Fall 013 Name Final Exam, Version X EKU ID Instructor Part 1: No calculators are allowed on this section. Show all work on your paper. Circle your answer. Each question is worth
More informationA2 HW Imaginary Numbers
Name: A2 HW Imaginary Numbers Rewrite the following in terms of i and in simplest form: 1) 100 2) 289 3) 15 4) 4 81 5) 5 12 6) -8 72 Rewrite the following as a radical: 7) 12i 8) 20i Solve for x in simplest
More informationMATH Spring 2010 Topics per Section
MATH 101 - Spring 2010 Topics per Section Chapter 1 : These are the topics in ALEKS covered by each Section of the book. Section 1.1 : Section 1.2 : Ordering integers Plotting integers on a number line
More informationAbsolute Factorization
Absolute Factorization 1 Linear Traces factoring a polynomial in two variables 2 Adjacent Minors an example from algebraic statistics 3 Changing Coordinates avoiding wrong factorizations 4 Monodromy Actions
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More informationChapter 7 Polynomial Functions. Factoring Review. We will talk about 3 Types: ALWAYS FACTOR OUT FIRST! Ex 2: Factor x x + 64
Chapter 7 Polynomial Functions Factoring Review We will talk about 3 Types: 1. 2. 3. ALWAYS FACTOR OUT FIRST! Ex 1: Factor x 2 + 5x + 6 Ex 2: Factor x 2 + 16x + 64 Ex 3: Factor 4x 2 + 6x 18 Ex 4: Factor
More informationarxiv: v2 [math.co] 4 Feb 2017
INTERSECTIONS OF AMOEBAS arxiv:1510.08416v2 [math.co] 4 Feb 2017 MARTINA JUHNKE-KUBITZKE AND TIMO DE WOLFF Abstract. Amoebas are projections of complex algebraic varieties in the algebraic torus under
More informationPower series solutions for 2nd order linear ODE s (not necessarily with constant coefficients) a n z n. n=0
Lecture 22 Power series solutions for 2nd order linear ODE s (not necessarily with constant coefficients) Recall a few facts about power series: a n z n This series in z is centered at z 0. Here z can
More informationSKILL BUILDER TEN. Graphs of Linear Equations with Two Variables. If x = 2 then y = = = 7 and (2, 7) is a solution.
SKILL BUILDER TEN Graphs of Linear Equations with Two Variables A first degree equation is called a linear equation, since its graph is a straight line. In a linear equation, each term is a constant or
More informationMULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. B) 6x + 4
Math1420 Review Comprehesive Final Assessment Test Name MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. Add or subtract as indicated. x + 5 1) x2
More informationarxiv:math/ v1 [math.cv] 9 Oct 2000
arxiv:math/0010087v1 [math.cv] 9 Oct 2000 Amoebas of maximal area. Grigory Mikhalkin Department of Mathematics University of Utah Salt Lake City, UT 84112, USA mikhalkin@math.utah.edu February 1, 2008
More informationWhat kind of number is? Write the number in scientific notation ,000
Chapter 1: 1.1, 1.2, 1.3, 1.4 Chapter 2: 2.1, 2.2, 2.3, 2.4 Chapter 3: 3.1, 3.2, 3.3, 3.4 Chapter 4: 4.1, 4.2, 4.3, 4.5, 4.7 Chapter 5: 5.1, 5.2, 5.3, 5.4, 5.6, 5.7 Chapter 6: 6.1 1.1 What kind of number
More informationAlgebra 2A Unit 1 Week 1 Day Activity Unit 1 Week 2 Day Activity Unit 1 Week 3 Day Activity Unit 2 Week 1 Day Activity
Algebra 2A Unit 1 Week 1 1 Pretest Unit 1 2 Evaluating Rational Expressions 3 Restrictions on Rational Expressions 4 Equivalent Forms of Rational Expressions 5 Simplifying Rational Expressions Unit 1 Week
More informationPETERS TOWNSHIP HIGH SCHOOL
PETERS TOWNSHIP HIGH SCHOOL COURSE SYLLABUS: ALG EBRA 2 HONORS Course Overview and Essential Skills This course is an in-depth study of the language, concepts, and techniques of Algebra that will prepare
More information1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0
4 INUTES. If, ω, ω, -----, ω 9 are the th roots of unity, then ( + ω) ( + ω ) ----- ( + ω 9 ) is B) D) 5. i If - i = a + ib, then a =, b = B) a =, b = a =, b = D) a =, b= 3. Find the integral values for
More informationDavid Eklund. May 12, 2017
KTH Stockholm May 12, 2017 1 / 44 Isolated roots of polynomial systems Let f 1,..., f n C[x 0,..., x n ] be homogeneous and consider the subscheme X P n defined by the ideal (f 1,..., f n ). 2 / 44 Isolated
More informationTropical Constructions and Lifts
Tropical Constructions and Lifts Hunter Ash August 27, 2014 1 The Algebraic Torus and M Let K denote a field of characteristic zero and K denote the associated multiplicative group. A character on (K )
More informationAlgebra. Practice Pack
Algebra Practice Pack WALCH PUBLISHING Table of Contents Unit 1: Algebra Basics Practice 1 What Are Negative and Positive Numbers?... 1 Practice 2 Larger and Smaller Numbers................ 2 Practice
More informationDiscriminants, resultants, and their tropicalization
Discriminants, resultants, and their tropicalization Course by Bernd Sturmfels - Notes by Silvia Adduci 2006 Contents 1 Introduction 3 2 Newton polytopes and tropical varieties 3 2.1 Polytopes.................................
More informationNumerical Algebraic Geometry and Symbolic Computation
Numerical Algebraic Geometry and Symbolic Computation Jan Verschelde Department of Math, Stat & CS University of Illinois at Chicago Chicago, IL 60607-7045, USA jan@math.uic.edu www.math.uic.edu/~jan ISSAC
More informationA video College Algebra course & 6 Enrichment videos
A video College Algebra course & 6 Enrichment videos Recorded at the University of Missouri Kansas City in 1998. All times are approximate. About 43 hours total. Available on YouTube at http://www.youtube.com/user/umkc
More informationAn Introduction to Tropical Geometry
An Introduction to Tropical Geometry Ryan Hart Doenges June 8, 2015 1 Introduction In their paper A Bit of Tropical Geometry [1], Erwan Brugallé and Kristin Shaw present an elementary introduction to the
More informationCheck boxes of Edited Copy of Sp Topics (was 217-pilot)
Check boxes of Edited Copy of 10024 Sp 11 213 Topics (was 217-pilot) College Algebra, 9th Ed. [open all close all] R-Basic Algebra Operations Section R.1 Integers and rational numbers Rational and irrational
More information1 Functions and Graphs
1 Functions and Graphs 1.1 Functions Cartesian Coordinate System A Cartesian or rectangular coordinate system is formed by the intersection of a horizontal real number line, usually called the x axis,
More informationarxiv: v1 [math.ag] 20 Feb 2015
For Proceedings of 1 st Gökova Geometry-Topology Conference Brief introduction to tropical geometry arxiv:150.05950v1 [math.ag] 0 Feb 015 Erwan Brugallé, Ilia Itenberg, Grigory Mikhalkin, and Kristin Shaw
More informationSISD Unit Bundles of TEKS/SEs and Pacing Guide Algebra 2
SISD Unit Bundles of TEKS/SEs and Pacing Guide Algebra 2 UNIT 0 - Preparing for Advanced Algebra Estimated 6 Days TEKS Identify the domain and range of functions. Use the FOIL (First, Outside, Inside,
More informationIntroductory Chapter(s)
Course 1 6 11-12 years 1 Exponents 2 Sequences Number Theory 3 Divisibility 4 Prime Factorization 5 Greatest Common Factor Fractions and Decimals 6 Comparing and Ordering Fractions 7 Comparing and Ordering
More informationBOUNDS ON THE NUMBER OF REAL SOLUTIONS TO POLYNOMIAL EQUATIONS
2 October 2007 arxiv:0706.375 BOUNDS ON THE NUMBER OF REAL SOLUTIONS TO POLYNOMIAL EQUATIONS DANIEL J. BATES, FRÉDÉRIC BIHAN, AND FRANK SOTTILE Abstract. We use Gale duality for complete intersections
More informationThe Numerical Solution of Polynomial Systems Arising in Engineering and Science
The Numerical Solution of Polynomial Systems Arising in Engineering and Science Jan Verschelde e-mail: jan@math.uic.edu web: www.math.uic.edu/ jan Graduate Student Seminar 5 September 2003 1 Acknowledgements
More information2-2: Evaluate and Graph Polynomial Functions
2-2: Evaluate and Graph Polynomial Functions What is a polynomial? -A monomial or sum of monomials with whole number exponents. Degree of a polynomial: - The highest exponent of the polynomial How do we
More informationSolving Equations Quick Reference
Solving Equations Quick Reference Integer Rules Addition: If the signs are the same, add the numbers and keep the sign. If the signs are different, subtract the numbers and keep the sign of the number
More informationCourse Number 432/433 Title Algebra II (A & B) H Grade # of Days 120
Whitman-Hanson Regional High School provides all students with a high- quality education in order to develop reflective, concerned citizens and contributing members of the global community. Course Number
More information9-12 Mathematics Vertical Alignment ( )
Algebra I Algebra II Geometry Pre- Calculus U1: translate between words and algebra -add and subtract real numbers -multiply and divide real numbers -evaluate containing exponents -evaluate containing
More informationMA.8.1 Students will apply properties of the real number system to simplify algebraic expressions and solve linear equations.
Focus Statement: Students will solve multi-step linear, quadratic, and compound equations and inequalities using the algebraic properties of the real number system. They will also graph linear and quadratic
More informationSMSU Mathematics Course Content
Southwest Minnesota State University Department of Mathematics SMSU Mathematics Course Content 2012-2013 Thefollowing is a list of possibletopics and techniques to cover in your SMSU College Now course.
More information8. Diagonalization.
8. Diagonalization 8.1. Matrix Representations of Linear Transformations Matrix of A Linear Operator with Respect to A Basis We know that every linear transformation T: R n R m has an associated standard
More informationCurriculum Map: Mathematics
Curriculum Map: Mathematics Course: Honors Algebra II Grade(s): 9/10 Unit 1: Expressions, Equations, and Inequalities In this unit, students review basics concepts and skills of algebra studied in previous
More informationCheck boxes of Edited Copy of Sp Topics (was 261-pilot)
Check boxes of Edited Copy of 10023 Sp 11 253 Topics (was 261-pilot) Intermediate Algebra (2011), 3rd Ed. [open all close all] R-Review of Basic Algebraic Concepts Section R.2 Ordering integers Plotting
More informationLECTURE 5, FRIDAY
LECTURE 5, FRIDAY 20.02.04 FRANZ LEMMERMEYER Before we start with the arithmetic of elliptic curves, let us talk a little bit about multiplicities, tangents, and singular points. 1. Tangents How do we
More informationarxiv: v3 [math.ag] 13 Jan 2014
A BIT OF TROPICAL GEOMETRY ERWAN BRUGALLÉ AND KRISTIN SHAW arxiv:1311.2360v3 [math.ag] 13 Jan 2014 What kinds of strange spaces with mysterious properties hide behind the enigmatic name of tropical geometry?
More informationPractice Calculus Test without Trig
Practice Calculus Test without Trig The problems here are similar to those on the practice test Slight changes have been made 1 What is the domain of the function f (x) = 3x 1? Express the answer in interval
More informationHMH Fuse Algebra correlated to the. Texas Essential Knowledge and Skills for Mathematics High School Algebra 2
HMH Fuse Algebra 2 2012 correlated to the Texas Essential Knowledge and Skills for Mathematics High School Algebra 2 111.33. Algebra II (b) Knowledge and skills. (1) Foundations for functions. The student
More informationA Polyhedral Method to compute all Affine Solution Sets of Sparse Polynomial Systems
A Polyhedral Method to compute all Affine Solution Sets of Sparse Polynomial Systems Danko Adrovic and Jan Verschelde Department of Mathematics, Statistics, and Computer Science University of Illinois
More informationAlbert Einstein High School Summer Task Cover Sheet
Albert Einstein High School Summer Task Cover Sheet Teacher(s): Chris Colwander Teacher(s) Contact Information: Chris_M_Colwander@mcpsmd.org, Chris.M.Colwander@mcpsmd.net Course: IB Pre-Calculus Purpose
More information6.1 Polynomial Functions
6.1 Polynomial Functions Definition. A polynomial function is any function p(x) of the form p(x) = p n x n + p n 1 x n 1 + + p 2 x 2 + p 1 x + p 0 where all of the exponents are non-negative integers and
More informationNAME: DATE: CLASS: AP CALCULUS AB SUMMER MATH 2018
NAME: DATE: CLASS: AP CALCULUS AB SUMMER MATH 2018 A] Refer to your pre-calculus notebook, the internet, or the sheets/links provided for assistance. B] Do not wait until the last minute to complete this
More informationIntroductory Mathematics
Introductory Mathematics 1998 2003 1.01 Identify subsets of the real number system. 1.02 Estimate and compute with rational Grade 7: 1.02 numbers. 1.03 Compare, order, and convert among Grade 6: 1.03 fractions,
More information12x + 18y = 30? ax + by = m
Math 2201, Further Linear Algebra: a practical summary. February, 2009 There are just a few themes that were covered in the course. I. Algebra of integers and polynomials. II. Structure theory of one endomorphism.
More informationAN ALGEBRA APPROACH TO TROPICAL MATHEMATICS
Emory University: Saltman Conference AN ALGEBRA APPROACH TO TROPICAL MATHEMATICS Louis Rowen, Department of Mathematics, Bar-Ilan University Ramat-Gan 52900, Israel (Joint work with Zur Izhakian) May,
More information