Numerical Polynomial Algebra and Algebraic Geometry

Slides:



Advertisements
Similar presentations
5.1 Real Vector Spaces.
Advertisements

8.3 Inverse Linear Transformations
Chapter 2 Solutions of Systems of Linear Equations / Matrix Inversion
Robot Vision SS 2005 Matthias Rüther 1 ROBOT VISION Lesson 3: Projective Geometry Matthias Rüther Slides courtesy of Marc Pollefeys Department of Computer.
Solving Linear Systems (Numerical Recipes, Chap 2)
A numerical Approach toward Approximate Algebraic Computatition Zhonggang Zeng Northeastern Illinois University, USA Oct. 18, 2006, Institute of Mathematics.
Colloquium, School of Mathematcs University of Minnesota, October 5, 2006 Computing the Genus of a Curve Numerically Andrew Sommese University of Notre.
Lecture 17 Introduction to Eigenvalue Problems
EE 290A: Generalized Principal Component Analysis Lecture 5: Generalized Principal Component Analysis Sastry & Yang © Spring, 2011EE 290A, University of.
Some useful linear algebra. Linearly independent vectors span(V): span of vector space V is all linear combinations of vectors v i, i.e.
Computing the Rational Univariate Reduction by Sparse Resultants Koji Ouchi, John Keyser, J. Maurice Rojas Department of Computer Science, Mathematics.
5.II. Similarity 5.II.1. Definition and Examples
Linear Algebra Textbook: J. Hefferon, “Linear Algebra”
Zeros of Polynomial Functions Section 2.5. Objectives Use the Factor Theorem to show that x-c is a factor a polynomial. Find all real zeros of a polynomial.
5.IV. Jordan Form 5.IV.1. Polynomials of Maps and Matrices 5.IV.2. Jordan Canonical Form.
Introduction The central problems of Linear Algebra are to study the properties of matrices and to investigate the solutions of systems of linear equations.
1 MAC 2103 Module 10 lnner Product Spaces I. 2 Rev.F09 Learning Objectives Upon completing this module, you should be able to: 1. Define and find the.
Polynomial Factorization Olga Sergeeva Ferien-Akademie 2004, September 19 – October 1.
Polynomials. 2 Content Evaluation Root finding Root Bracketing Interpolation Resultant.
MA2213 Lecture 5 Linear Equations (Direct Solvers)
MA2213 Lecture 4 Numerical Integration. Introduction Definition is the limit of Riemann sums I(f)
1 Part II: Linear Algebra Chapter 8 Systems of Linear Algebraic Equations; Gauss Elimination 8.1 Introduction There are many applications in science and.
Section 4.1 Vectors in ℝ n. ℝ n Vectors Vector addition Scalar multiplication.
Chapter 3 Vector Spaces. The operations of addition and scalar multiplication are used in many contexts in mathematics. Regardless of the context, however,
Chapter Content Real Vector Spaces Subspaces Linear Independence
Linear algebra: matrix Eigen-value Problems
Ill-posed Computational Algebra with Approximate Data Zhonggang Zeng Northeastern Illinois University, USA Feb. 21, 2006, Radon Institute for Computational.
Computing Eigen Information for Small Matrices The eigen equation can be rearranged as follows: Ax = x  Ax = I n x  Ax - I n x = 0  (A - I n )x = 0.
Vector Norms and the related Matrix Norms. Properties of a Vector Norm: Euclidean Vector Norm: Riemannian metric:
5.5 Row Space, Column Space, and Nullspace
Chapter 4 – Linear Spaces
Chap. 4 Vector Spaces 4.1 Vectors in Rn 4.2 Vector Spaces
Elementary Linear Algebra Anton & Rorres, 9 th Edition Lecture Set – 07 Chapter 7: Eigenvalues, Eigenvectors.
Perfidious Polynomials and Elusive Roots Zhonggang Zeng Northeastern Illinois University Nov. 2, 2001 at Northern Illinois University.
L 7: Linear Systems and Metabolic Networks. Linear Equations Form System.
The numerical computation of the multiplicity of a component of an algebraic set Dan Bates (IMA) Joint work with: Chris Peterson (Colorado State) Andrew.
Arab Open University Faculty of Computer Studies M132: Linear Algebra
1 Chapter 7 Numerical Methods for the Solution of Systems of Equations.
Solving Polynomials.
On Computing Multiple Eigenvalues, the Jordan Structure and their Sensitivity Zhonggang Zeng Northeastern Illinois University Sixth International Workshop.
 Matrix Operations  Inverse of a Matrix  Characteristics of Invertible Matrices …
Computing ill-Conditioned Eigenvalues
7.3 Linear Systems of Equations. Gauss Elimination
EEE 244-3: MATRICES AND EQUATION SOLVING
Lecture 7 Vector Space Last Time - Properties of Determinants
Introduction The central problems of Linear Algebra are to study the properties of matrices and to investigate the solutions of systems of linear equations.
Part B. Linear Algebra, Vector Calculus
Elementary Linear Algebra Anton & Rorres, 9th Edition
Chapter 4: Linear Differential Equations
Lecture 7 Vector Space Last Time - Properties of Determinants
Row Space, Column Space, and Nullspace
Systems of First Order Linear Equations
The Fundamental Theorem of Algebra
Euclidean Inner Product on Rn
Some useful linear algebra
Northeastern Illinois University
Chapter 27.
Elementary Linear Algebra
3.4 Zeros of Polynomial Functions: Real, Rational, and Complex
Linear Algebra Lecture 3.
MATH 174: Numerical Analysis
MAE 82 – Engineering Mathematics
Elementary Linear Algebra
Elementary Linear Algebra Anton & Rorres, 9th Edition
Elementary Linear Algebra
Elementary Linear Algebra Anton & Rorres, 9th Edition
Perfidious Polynomials and Elusive Roots
EEE 244-3: MATRICES AND EQUATION SOLVING
Elementary Linear Algebra Anton & Rorres, 9th Edition
Approximation of Functions
Presentation transcript:

Numerical Polynomial Algebra and Algebraic Geometry Matrix Computation in Numerical Polynomial Algebra and Algebraic Geometry Zhonggang Zeng Northeastern Illinois University Linear and Numerical Linear Algebra: Theory, Method, and Applications August 14, 2009, De Kalb, (supported in part by NSF under Grant DMS-0715137)

Sample problem: Factor with inexact coefficients (a.k.a. root-finding problem) 1

Sample problem: Factor with inexact coefficients (a.k.a. root-finding problem) Matlab factorization Numerical irreducible factorization: >> [F,res,fcnd] = uvFactor(f,1e-10,1); THE CONDITION NUMBER: 914.329 THE BACKWARD ERROR: 5.71e-015 THE ESTIMATED FORWARD ROOT ERROR: 1.04e-011 FACTORS ( x - 3.999999999999990 )^20 ( x - 3.000000000000008 )^40 ( x - 1.999999999999998 )^60 ( x - 1.000000000000000 )^80 Z. Zeng, TOMS 2004, Math Comp 2005, ISSAC 2009

Sample problem: Computing polynomial GCD 2

Sample problem: Factor a multivariate polynomial (Kaltofen, Problem 1 in “Challenges of symbolic computation”, 2000) Give an example to show it is ill-posed. Use Kaltofen example. Factorization fails 3

Factoring a multivariate polynomial: A factorable polynomial irreducible approximation Question: How to factor a multivariate polynomial approximately? 4

Sample problem: What is the multiplicity of the nonlinear system What’s the multiplicity of the function f(x) = x3 – 6 x cos(x2) + 6 sin(x) at the zero x* = 0 ? Textbooks say: 0 = f(x*) = f’(x*) = f”(x*) = f’’’(x*) = f(4) (x*) f(5) (x*) = 366  0 Multiplicity = 5 Sample problem: What is the multiplicity of the nonlinear system at the zero 5

Perturbed system has 12 zeros near (0,0) Example: Consider the multiplicity structure of at an isolated multiple zero (0,0) Multiplicity = 12 Perturbed system has 12 zeros near (0,0) Hilbert function = {1,2,3,2,2,1,1,0,…} Dual space D(0,0) (F) spanned by 1 2 3 4 5 6 Differential orders depth = 6 breadth=2 Multiplicity is not just a number! Question: How to identify the multiplicity structure? 6

Symbolic computation has thrived for decades in polynomial algebra and algebraic geometry Gröbner basis Polynomial factorization Computer Algebra Systems (Maple, Mathematica, etc) Bruno Buchberger with limitations. 7

Pioneer works in numerical polynomial algebra and algebraic geometry (incomplete list) Homotopy method for solving polynomial systems (Li, Sommese, Wampler, Verschelde, …) Numerical Algebraic Geometry (Sommese, Wampler, Verschelde, …) Numerical Polynomial Algerba (Stetter) A frontier in scientific computing, and may be the beginning of Numerical Nonlinear Algebra 8

Recent progress in numerical polynomial algebra Solving polynomial systems (Li, Sommese, Verschelde, …) Approximate multiple roots/factorization (Zeng 2005, 2009) Approximate GCD (Zeng-Dayton 2004) Approximate irreducible factorization (Sommesse-Wampler-Verschelde 2003, Gao et al 2003, 2004, Zeng in progress) Computing multiplicity structure (Dayton-Zeng 05, Bates-Peterson-Sommese ’06) Polynomial elimination (Zeng, 2008) Feedback from num. polyn. algebra to numerical linear algebra: Approximate rank/kernel (Li,Zeng 2005, Lee, Li, Zeng 2009) Approximate Jordan Canonical Form (Zeng-Li in progress) 9

Among many challenges in numerical polynomial algebra: Regularizing ill-posed problems for approximate solutions numerical polynomial algebra via matrix computations Handling huge matrices with subspace strategies 10

The two-staged strategy after formulating the approximate solution to problem P within e P Stage I: Find the pejorative manifold P of the highest codimension s.t. P Stage II: Find/solve problem Q such that Q S by numerical matrix computations by the Gauss-Newton iteration Exact solution of Q is the approximate solution of P within e which approximates the solution of S where P is perturbed from 11

Example: For polynomial with (inexact ) coefficients in hardware precision Matlab factorization Approximate irreducible factorization: >> [F,res,fcnd] = uvFactor(f,1e-10,1); THE CONDITION NUMBER: 914.329 THE BACKWARD ERROR: 5.71e-015 THE ESTIMATED FORWARD ROOT ERROR: 1.04e-011 FACTORS ( x - 3.999999999999990 )^20 ( x - 3.000000000000008 )^40 ( x - 1.999999999999998 )^60 ( x - 1.000000000000000 )^80 Zeng, 2005, 2009 12

How to identify the solution structure? Answer: Matrix computations 13

Matrix computation is not always good. Is this matrix nonsingular? (polynomial long division) The condition number ≥ 10n Distance to singularity  1/10n The error in data can be magnified by 10n times into the solution z. “Life is too short for long division” anyway. 14

Matrix for L is rank-deficient Example: How to determine the GCD structure If then The linear transformation has a nontrivial kernel: Matrix for L is rank-deficient 15

xj xj [ ] xj Moreover The linear transformation On the vector space Has the kernel Linear transformation L  Sylverster matrix S(f,g) James J. Sylvester Numerical rank-deficiency = degree of the approx. GCD 16

Case study: How to solve Find such that Namely, (p, q) satisfy linear equation --- leading to matrix rank/kernel problem(Zeng, TCS 2008) 17

# of factors = # of solutions to Multivariate factorization structure: Matrix computations! = For any polynomial f(x,y) Assume f = f1 f2 f3 with distinct factors f1, f2, and f3 = The equation has three solutions # of factors = # of solutions to 18

 a random nulvector of matrix Rf corresponds to Irreducibility condition (Ruppert ‘99, and Gao ‘03, Kaltofen-May ’03,Gao-Kaltofen-May-Yang-Zhi’04) A squarefree polynomial f  C[x,y] of bidegree [m,n] has k distince factors  the homogeneous linear equation has k linearly independent solutions (g,h) of bidegrees deg(g)  [m-1,n], deg(h)  [m,n-1]. is a linear transformation corresponding to a matrix Rf Rank-deficiency = # of irreducible factors  a random nulvector of matrix Rf corresponds to g = l1 f1,x f2 … fk + … + lk f1 f2 … fk,x h = l1 f1,y f2 … fk + … + lk f1 f2 … fk,y 19

S( f(, y*), g (, y*) - li fx (, y*) ) is of nullity mi, Taking g = l1 f1,x f2 f3 + l2 f1, f2x f3 + l3 f1 f2 f3,x ( f = f1 f2 f3 ) g - l1 fx = (l2 - l1) f1 f2,x f3 + (l3 - l1) f1 f2 f3,x GCD( f, g - li fx ) = fi for i = 1, 2, …, k Namely, Let deg( fi ) = [mi,, ni ]. Then, for fixed random ( x*, y* ), the Sylvester matrices S( f(, y*), g (, y*) - li fx (, y*) ) is of nullity mi, S( f(x* ,), g (x* ,) - li fx (x* ,) ) is of nullity ni, li is an eigenvalue of geometric multiplicity mi the matrix pencil S( f(, y*), g (, y*) ) - l S( 0, fx (, y*) ) A - l B Numerical polynomial factorization can be done by matrix computation! 20

Perturbed system has 12 zeros near (0,0) Example: Consider the multiplicity structure of at an isolated multiple zero (0,0) Multiplicity = 12 Perturbed system has 12 zeros near (0,0) Hilbert function = {1,2,3,2,2,1,1,0,…} Dual space D(0,0) (F) spanned by 1 2 3 4 5 6 Differential orders depth = 6 breadth=2 Case study: How to identify the multiplicity structure of a nonlinear system? 21

= the # of linearly Independent functionals vanishing on ideal I Univariate case: x* is m-fold if 0 = f(x*) = f’(x*) = … = f(m-1)(x*) and f(m)(x*)≠0 Multivariate case: A (differential) functional at zero linear combination of evaluated at Dual space defines the multiplicity structure at = the # of linearly Independent functionals vanishing on ideal I 22

Fundamental Theorems of the multiplicity: Local Finiteness Theorem: The zero is isolated iff the multiplicity is finite. Perturbation Invariance Theorem: The number of zeros is invariant counting multiplicities under small perturbation to the system. Multiplicity Consistence Theorem: The intersection multiplicity = dual multiplicity. Depth Deflation Theorem: Multiple zeros can be accurately computed by a deflation method, with the number of deflation steps bounded by the depth of the zero. (Dayton, Li, and Zeng, Multiple zeros of nonlinear systems, 2009) Joint work with 23

Multiplicity matrices and nullspaces 24