Tropical Islands. Jan Verschelde

Similar documents
x y = x + y. For example, the tropical sum 4 9 = 4, and the tropical product 4 9 = 13.

Tropical Algebra. Notes by Bernd Sturmfels for the lecture on May 22, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra

Gröbner Complexes and Tropical Bases

Tropical Varieties. Jan Verschelde

Tropical Algebraic Geometry

Introduction to Tropical Geometry. Diane Maclagan and Bernd Sturmfels

Tropical Arithmetic and Shortest Paths

on Newton polytopes, tropisms, and Puiseux series to solve polynomial systems

Tropical Algebraic Geometry in Maple. Jan Verschelde in collaboration with Danko Adrovic

ALGEBRA: From Linear to Non-Linear. Bernd Sturmfels University of California at Berkeley

MCS 563 Spring 2014 Analytic Symbolic Computation Monday 14 April. Binomial Ideals

ON THE RANK OF A TROPICAL MATRIX

Tropical Algebraic Geometry 3

Tropical Approach to the Cyclic n-roots Problem

Algebra One Dictionary

INTRODUCTION TO TROPICAL ALGEBRAIC GEOMETRY

An Introduction to Tropical Geometry

Lecture 15: Algebraic Geometry II

Course Number 432/433 Title Algebra II (A & B) H Grade # of Days 120

Q(x n+1,..., x m ) in n independent variables

Invertible Matrices over Idempotent Semirings

Sparsity of Matrix Canonical Forms. Xingzhi Zhan East China Normal University

AN INTRODUCTION TO AFFINE TORIC VARIETIES: EMBEDDINGS AND IDEALS

Common Core Algebra 2 Review Session 1

Geometry of Phylogenetic Inference

Certificates in Numerical Algebraic Geometry. Jan Verschelde

Chapter 7 Polynomial Functions. Factoring Review. We will talk about 3 Types: ALWAYS FACTOR OUT FIRST! Ex 2: Factor x x + 64

ALGEBRA I CURRICULUM OUTLINE

Numerical Computations in Algebraic Geometry. Jan Verschelde

correlated to the Washington D.C. Public Schools Learning Standards Algebra II

Combinatorial Aspects of Tropical Geometry and its interactions with phylogenetics

Section 9.2: Matrices. Definition: A matrix A consists of a rectangular array of numbers, or elements, arranged in m rows and n columns.

Harbor Creek School District. Algebra II Advanced. Concepts Timeframe Skills Assessment Standards Linear Equations Inequalities

Linear equations The first case of a linear equation you learn is in one variable, for instance:

On The Best Principal. Submatrix Problem

An introduction to tropical geometry

Chapter 1: Systems of Linear Equations and Matrices

CCSS Math- Algebra. Domain: Algebra Seeing Structure in Expressions A-SSE. Pacing Guide. Standard: Interpret the structure of expressions.

Characterizations of Strongly Regular Graphs: Part II: Bose-Mesner algebras of graphs. Sung Y. Song Iowa State University

Unit 13: Polynomials and Exponents

Sydney University Mathematical Society Problems Competition Solutions.

Beal City High School Algebra 2A Curriculum and Alignment

Binomial coefficients and k-regular sequences

Introduction to Computational Algebraic Geometry. Jan Verschelde

AN INTRODUCTION TO TROPICAL GEOMETRY

Positive entries of stable matrices

Prentice Hall CME Project, Algebra

Linear Equations and Matrix

3. Vector spaces 3.1 Linear dependence and independence 3.2 Basis and dimension. 5. Extreme points and basic feasible solutions

Semidefinite Programming

SYMMETRIC DETERMINANTAL REPRESENTATIONS IN CHARACTERISTIC 2

Pacing Guide Algebra 1

5.3. Polynomials and Polynomial Functions

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

NOTES. [Type the document subtitle] Math 0310

UNC Charlotte Super Competition Level 3 Test March 4, 2019 Test with Solutions for Sponsors

AMS 209, Fall 2015 Final Project Type A Numerical Linear Algebra: Gaussian Elimination with Pivoting for Solving Linear Systems

arxiv:math/ v2 [math.ag] 9 Dec 2003

Algebra II. A2.1.1 Recognize and graph various types of functions, including polynomial, rational, and algebraic functions.

Introduction to Kleene Algebras

Monomial transformations of the projective space

Polynomials, Ideals, and Gröbner Bases

* 8 Groups, with Appendix containing Rings and Fields.

Chapter 5: Exponents and Polynomials

NFC ACADEMY COURSE OVERVIEW

Binomial Ideals from Graphs

Elementary maths for GMT

Study Guide for Math 095

Integrated Math III. IM3.1.2 Use a graph to find the solution set of a pair of linear inequalities in two variables.

Linear Algebra I Lecture 10

Unit 3 Vocabulary. An algebraic expression that can contains. variables, numbers and operators (like +, An equation is a math sentence stating

SOLUTION OF GENERALIZED LINEAR VECTOR EQUATIONS IN IDEMPOTENT ALGEBRA

Spiral Review Probability, Enter Your Grade Online Quiz - Probability Pascal's Triangle, Enter Your Grade

Mathematics High School Algebra

Topics Covered in Math 115

How to write polynomials in standard form How to add, subtract, and multiply polynomials How to use special products to multiply polynomials

Algebraic. techniques1

Lecture Notes Introduction to Cluster Algebra

Quivers of Period 2. Mariya Sardarli Max Wimberley Heyi Zhu. November 26, 2014

Chapter 1: Systems of linear equations and matrices. Section 1.1: Introduction to systems of linear equations

Binomials defined, 13 division by, FOIL method and, 22 multiplying binomial by trinomial,

) = nlog b ( m) ( m) log b ( ) ( ) = log a b ( ) Algebra 2 (1) Semester 2. Exponents and Logarithmic Functions

College Algebra Poudre School District Pacing Overview

R1: Sets A set is a collection of objects sets are written using set brackets each object in onset is called an element or member

Algebra II Vocabulary Alphabetical Listing. Absolute Maximum: The highest point over the entire domain of a function or relation.

Geometry 263 Prerequisites

SMSU Mathematics Course Content

Ready To Go On? Skills Intervention 7-1 Integer Exponents

ESCONDIDO UNION HIGH SCHOOL DISTRICT COURSE OF STUDY OUTLINE AND INSTRUCTIONAL OBJECTIVES

PETERS TOWNSHIP HIGH SCHOOL

Algebra. Table of Contents

Algebra II/Math III Curriculum Map

Algebra. Practice Pack

Parallel Polynomial Evaluation

The Gauss-Jordan Elimination Algorithm

2016 EF Exam Texas A&M High School Students Contest Solutions October 22, 2016

College Algebra To learn more about all our offerings Visit Knewton.com

Course: Algebra MP: Reason abstractively and quantitatively MP: Model with mathematics MP: Look for and make use of structure

AN ALGEBRA APPROACH TO TROPICAL MATHEMATICS

Tropical Constructions and Lifts

Transcription:

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 Geometry Seminar Jan Verschelde (UIC) Tropical Islands 16 January 2014 1 / 26

Tropical Islands 1 Introduction Introduction to Tropical Geometry 2 Arithmetic the min-plus algebra tropical polynomials the tropical fundamental theorem of algebra 3 Dynamic Programming finding the shortest path in a graph the assignment problem 4 Plane Curves graphing a tropical line intersecting two tropical lines Jan Verschelde (UIC) Tropical Islands 16 January 2014 2 / 26

Tropical Islands 1 Introduction Introduction to Tropical Geometry 2 Arithmetic the min-plus algebra tropical polynomials the tropical fundamental theorem of algebra 3 Dynamic Programming finding the shortest path in a graph the assignment problem 4 Plane Curves graphing a tropical line intersecting two tropical lines Jan Verschelde (UIC) Tropical Islands 16 January 2014 3 / 26

Introduction to Tropical Geometry Introduction to Tropical Geometry is the title of a forthcoming book of Diane Maclagan and Bernd Sturmfels. The web page http://homepages.warwick.ac.uk/staff/d.maclagan/ papers/tropicalbook.html offers the pdf file of the first five chapters (23 August 2013). Tropical islands is the title of the first chapter, which promises a friendly welcome to tropical mathematics. Jan Verschelde (UIC) Tropical Islands 16 January 2014 4 / 26

overview of the book The titles of the five chapters with some important sections: 1 Tropical Islands amoebas and their tentacles implicitization 2 Building Blocks polyhedral geometry Gröbner bases tropical bases 3 Tropical Varieties the fundamental theorem the structure theorem multiplicities and balancing connectivity and fans stable intersection 4 Tropical Rain Forest 5 Linear Algebra Jan Verschelde (UIC) Tropical Islands 16 January 2014 5 / 26

Tropical Islands 1 Introduction Introduction to Tropical Geometry 2 Arithmetic the min-plus algebra tropical polynomials the tropical fundamental theorem of algebra 3 Dynamic Programming finding the shortest path in a graph the assignment problem 4 Plane Curves graphing a tropical line intersecting two tropical lines Jan Verschelde (UIC) Tropical Islands 16 January 2014 6 / 26

the min-plus algebra In the min-plus algebra, addition is replaced by the minimum and the multiplication is replaced by the addition. Imre Simon pioneered the min-plus algebra in optimization theory. French mathematicians called the min-plus algebra tropical. Origins of algebraic geometry: study zero sets of polynomial systems. Polynomials in the tropical semiring define piecewise-linear functions. Tropical algebraic varieties are composed of convex polyhedra. Tropical methods are used to solve problems in algebra, geometry, and combinatorics. Jan Verschelde (UIC) Tropical Islands 16 January 2014 7 / 26

the tropical semiring The tropical semiring is denoted as (R { },, ), with x y = min(x, y) and x y = x + y. The neutral elements are and 0: x = x and x 0 = x. Both operations are commutative and associative. The distributive law is x (y z) = x y y z. There is no substraction, e.g.: 4 x = 13 has no solution. Jan Verschelde (UIC) Tropical Islands 16 January 2014 8 / 26

the Freshman s Dream The tropical Pascal s triangle with binomial coefficients is zero. (x y) 2 = (x y) (x y) = min(x, y) + min(x, y) = min(x + x, x + y, y + x, y + y) = min(x + x, y + y) = min(x 2, y 2 ) = x 2 y 2 For any power p: (x y) p = x p y p. Jan Verschelde (UIC) Tropical Islands 16 January 2014 9 / 26

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. Jan Verschelde (UIC) Tropical Islands 16 January 2014 10 / 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 2 + + a 1,n x n, c a2 + a 2,1 x 1 + a 2,2 x 2 + + a 2,n x n,..., c ak + a k,1 x 1 + a k,2 x 2 + + a k,n x n ). Jan Verschelde (UIC) Tropical Islands 16 January 2014 11 / 26

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 ) 2 1 2 (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. Jan Verschelde (UIC) Tropical Islands 16 January 2014 12 / 26

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). Jan Verschelde (UIC) Tropical Islands 16 January 2014 13 / 26

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. Jan Verschelde (UIC) Tropical Islands 16 January 2014 14 / 26

Tropical Islands 1 Introduction Introduction to Tropical Geometry 2 Arithmetic the min-plus algebra tropical polynomials the tropical fundamental theorem of algebra 3 Dynamic Programming finding the shortest path in a graph the assignment problem 4 Plane Curves graphing a tropical line intersecting two tropical lines Jan Verschelde (UIC) Tropical Islands 16 January 2014 15 / 26

dynamic programming Problem: find the shortest path in a weighted directed graph. Graph G with n nodes labeled 1, 2,...,n; edge (i, j) has weight d ij 0; d ii = 0 for all nodes i; if no edge between i and j, then d ij =. D G = (d ij ) is the adjacency matrix of G. The Floyd-Warshall algorithm uses the recursive formula for finding the shortest path, for r 2: d (r) ij = min{ d (r 1) ik + d kj : k = 1, 2,...,n } is the length of the shortest path between i and j, visiting at most r edges, where d (1) ij = d ij. Jan Verschelde (UIC) Tropical Islands 16 January 2014 16 / 26

tropical formulation The formula d (r) ij = min{ d (r 1) ik + d kj : k = 1, 2,...,n } can be rewritten, using min = and + =, as follows: d (r) ij = d (r 1) i1 = (d (r 1) i1 d 1j d (r 1) i2 d 2j d (r 1) in d nj, d (r 1) i2,..., d (r 1) in ) (d 1j, d 2j,...,d nj ) T. The right hand side of the formula for d (r) ij is the product of the ith row of D r 1 G with the jth column of D G. Proposition The entry of D n 1 G in row i and column j equals the length of the shortest path from i to j. Jan Verschelde (UIC) Tropical Islands 16 January 2014 17 / 26

from classical to tropical arithmetic To D G associate A G (ǫ), for an infinitesimal ǫ > 0, e.g.: D G = 0 1 3 7 2 0 1 3 4 5 0 1 6 3 1 0 A G(ǫ) = Then A G (ǫ) 3 is in classical arithmetic: 1 ǫ 1 ǫ 3 ǫ 7 ǫ 2 1 ǫ 1 ǫ 3 ǫ 4 ǫ 5 1 ǫ 1 ǫ 6 ǫ 3 ǫ 1 1 1 + 3ǫ 3 + 3ǫ + ǫ 4 + 3ǫ 2 + 3ǫ 3 + ǫ 3 + 6ǫ 4 + 3ǫ 2 + 4ǫ 5 + 1 + 3ǫ 3 + 3ǫ + ǫ 3 + 3ǫ 2 + 3ǫ 3 + 3ǫ 4 + 2ǫ 6 + 3ǫ 4 + 6ǫ 5 + 1 + 3ǫ 2 + 3ǫ + ǫ 3 + 6ǫ 5 + 3ǫ 6 + 3ǫ 3 + ǫ 5 + 3ǫ + ǫ 3 + 1 + 3ǫ 2 + The lowest exponent of ǫ in the (i, j)-th entry of A G (ǫ) 3 is the (i, j)-th entry in the tropical matrix D 3 G. Jan Verschelde (UIC) Tropical Islands 16 January 2014 18 / 26

tropicalization Passing from classical to tropical arithmetic is tropicalization, informally summarized as tropical = lim ǫ 0 log ǫ (classical(ǫ)). The algebraic notion of valuations make tropicalization rigorous. Jan Verschelde (UIC) Tropical Islands 16 January 2014 19 / 26

the assignment problem Imagine n jobs have to be assigned to n workers; and each job needs to be assigned to exactly one worker. Notations: Let x ij be the cost of assigning job i to worker j. An assignment is a permutation π of (1, 2,..., n). S n is the group of all permutations of n elements. The optimal cost is the minimum over all permutations: min{ x 1π(1) + x 2π(2) + + x nπ(n) : π S n }. The tropical permanent of a matrix X = (x ij ) is tropdet(x) = π S n x 1π(1) x 2π(2) x nπ(n). Jan Verschelde (UIC) Tropical Islands 16 January 2014 20 / 26

the tropical determinant = the tropical permanent tropdet(x) = π S n x 1π(1) x 2π(2) x nπ(n) As the sum over the products defined by all permutations, the tropical permanent is the same as the tropical permanent. Proposition The tropical determinant solves the assignment problem. The Hungarian assignment method (Harold Kuhn, 1955) is an iterative method that at each step chooses an unassigned worker and a shortest path from this worker to the set of jobs; is a polynomial-time algorithm, runs in O(n 3 ) operations; is a certain tropicalization of Gaussian elimination. Jan Verschelde (UIC) Tropical Islands 16 January 2014 21 / 26

tropicalization Consider a matrix in ǫ, with terms of lowest order listed first: a 11 ǫ x 11 + a 12 ǫ x 12 + a 13 ǫ x 13 + A(ǫ) = a 21 ǫ x 21 + a 22 ǫ x 22 + a 23 ǫ x 23 +. a 31 ǫ x 31 + a 32 ǫ x 32 + a 33 ǫ x 33 + For sufficiently random values of a ij, so no cancellation of lowest order coefficients happens when expanding det(a(ǫ)), we have det(a(ǫ)) = α ǫ tropdet(x) + for some nonzero α. To compute tropdet(x) we can apply tropicalization: tropical = lim ǫ 0 log ǫ (classical(ǫ)). Jan Verschelde (UIC) Tropical Islands 16 January 2014 22 / 26

Tropical Islands 1 Introduction Introduction to Tropical Geometry 2 Arithmetic the min-plus algebra tropical polynomials the tropical fundamental theorem of algebra 3 Dynamic Programming finding the shortest path in a graph the assignment problem 4 Plane Curves graphing a tropical line intersecting two tropical lines Jan Verschelde (UIC) Tropical Islands 16 January 2014 23 / 26

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 Jan Verschelde (UIC) Tropical Islands 16 January 2014 24 / 26

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 Jan Verschelde (UIC) Tropical Islands 16 January 2014 25 / 26

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 Jan Verschelde (UIC) Tropical Islands 16 January 2014 26 / 26