MCS 563: Analytic Symbolic Computation
35487 2:00-2:50PM MWF 313 Taft Hall
Final Project Report due Wednesday 7 May at 1PM
The goal of the course is to study symbolic-numerical algorithms
with their implementation and applications to science and engineering.
Computational algebraic geometry has many emerging applications
and offers a fun way to learn more about algebraic geometry.
A better title for the course would be
symbolic-numeric algorithms for algebraic geometry.
The evaluation of this course consists of homework and computer projects.
A first run of the course in
Fall 2004 used "Numerical Polynomial Algebra"
by H.J. Stetter as textbook. Lecture notes were distributed in
Spring 2007,
Spring 2009, and
Spring 2011.
Lecture notes and slides are posted below.
- L-1 01/13/14: Introduction:
We define the problem statement,
give an application, recall Newton's method and formulate
a statement of the theorem of Bézout.
Slides
- L-2 01/15/14: Elimination Methods:
We define projective coordinates,
give another application, explain the Sylvester resultant method,
illustrate how to cascade resultants to compute discriminant,
and then state the main theorem of elimination theory.
Slides
- L-3 01/17/14: Homotopies
and Predictor-Corrector Methods:
Homotopies are families of polynomial systems linking the system we want
to solve to a good system.
We discuss numerical issues when applying predictor-corrector
methods to track solution paths defined by a homotopy. Via the gamma trick
we obtain that all paths stay regular and bounded. The proof for this trick
uses the main theorem of elimination theory and is an ingredient in a classical,
constructive proof of the theorem of Bézout.
Slides
and the Python script usephcpy.py.
- L-4 01/22/14: Rewriting Polynomials:
We introduce the quotient ring via the companion matrix and define
the ideal membership problem. The division algorithm solves this
problem for monomial ideals. For general ideals, we need a
Groebner basis. We prove Dickson's lemma.
Slides
- L-5 01/24/14: Alpha Theory to Certify Roots:
We looked at the region of convergence of Newton's method
which led to the notion of approximate roots.
Slides
- L-6 01/27/14: Groebner Bases:
We give the definition of a Groebner basis for an ideal,
the Buchberger criterion and algorithm, along with proof sketches.
Slides
- L-7 01/29/14: Multihomogeneous Homotopies:
We define multiprojective space via an embedding of a product of
affine spaces, taking the product of each projective space.
Systems arising in the computation of Nash equilibria have
a natural multihomogeneous
In order to exploit permutation symmetry better,
we extend multihomogenous structures to general linear-product
structures, ending up with a generalized version of
Bézout's theorem.
Slides
- L-8 01/31/14: Quotient Rings:
Departing form a finite set
of points, we arrived at defining ideals and the shape lemma.
Interpolation was needed in our application in statistics.
We ended by defining the normal set and constructed multiplication
matrices, leading to generalized companion matrices to compute
coordinates of the solution points via eigenvalue problems.
Slides
- L-9 02/03/14: Condition and Scaling:
To see whether we have a valid approximate solution, we compute
the residual, Newton's update and check the condition number of
the Jacobian matrix at the solution. Motivated by chemical equilibria,
we looked at equation and variable scaling.
These scaling methods are numerical preconditioners.
For postconditioning we use iterative approaches.
Slides
- L-10 02/05/14: Groebner basis conversion:
As a Groebner basis with a lexicographic term order
is often very expensive to compute, the FGLM-Algorithm converts
the order of a Groebner basis. As application for today we
mentioned the well known cyclic n-roots benchmark system.
We discuss the complexity of Groebner bases for different term orders.
For an ideal with finitely many zeroes we first determined the number
of solution using a degree reverse lexicographic order and then either
compute the coordinates of the solutions via eigenvalue problems,
or via a lexicographic Groebner basis using the FGLM-Algorithm.
Slides
- L-11 02/07/14: Cheater and
Coefficient-Parameter Homotopies:
Many systems in practical applications have natural parameters
and we can naturally formulate homotopies moving from generic
to specific instances of the parameters. To illustrate this idea
we looked at various instances of the Stewart-Gough platforms.
Slides
- L-12 02/10/14: Rational Univariate Representation:
The Rational Univariate Representation (RUR) is one of the symbolic
recipes to represent a zero dimensional solution set, involving
linear algebra methods. As application we looked at the
inverse kinematics of the elbow manipulator. The lecture
ended with a sketch of some of the ingredients in the algorithm
to compute a RUR.
Slides
- L-13 02/12/14: Real Homotopies:
When we restrict the
choice of coefficients to real numbers only, we can no longer
guarantee that singular solutions will not occur. Fortunately,
with generic choices of coefficients in a real homotopy, the
only singular solutions which may occur are quadratic turning
points, which are the nicest kind of singular solutions.
We mentioned the n-body problem and outlined arc length
parameter continuation.
Slides
and Maple animation
- L-14 02/14/14: Kronecker Representation:
Solving a polynomial system in the sense of Kronecker means
developing techniques to compute with the roots.
We introduced the geometrical concepts with a geometric
resolution and discussed Newton-Hensel lifting to compute
power series solutions.
Slides
- L-15 02/17/14: the Newton-Puiseux method:
The theorem of Puiseux is a generalization of the fundamental theorem
of algebra. The constructive proof with the Newton polygon leads to
the Newton-Puiseux method to develop power series solutions.
Slides
- L-16 02/19/14: Kushnirenko's theorem:
The sparsest polynomial systems we consider have exactly two
monomials in every equation. These so-called binomial systems
we can solved efficiently via unimodular transformations.
Regular triangulations of Newton polytopes give rise to homotopies.
The application of today concerned the design of 4-bar mechanisms.
We ended relating the theorem of Puiseux and the development
of fractional power series to Kushnirenko's theorem.
Slides
- L-17 02/21/14: Mixed Volumes:
We introduced mixed volumes
via a geometric version of the Cayley trick. This Cayley trick
allows us to view resultants as discriminants. Another good
application of Kushnirenko's theorem is the RPS10 system from
mechanical design. We ended by stating Minkowski's theorem,
suggesting an algorithm to compute mixed areas.
Slides and a
Maple worksheet
that illustrates Minkowski's theorem.
- L-18 02/24/14: Bernshtein's second theorem:
We took
another look at solutions at infinity and found that solutions
at infinity are solutions of systems supported on faces of the
Newton polytopes. As also chemists were aware of this, it is
fitting we chose mass action kinetics as our application.
We stated Bernshtein second theorem and showed that polytopes
may be in general position, so the mixed volume is sharp.
The lecture ended with a hint to Richardson extrapolation
to compute certificates for divergence from the observed
directions of the diverging solution paths.
Slides
- L-19 02/26/14: Polyhedral Homotopies:
In this lecture
we showed the connections between the second and first theorem
of Bernshtein, deriving that start systems of polyhedral homotopies
are initial form systems. Our application is the construction of
Runge-Kutta formulas.
Slides
with a Maple worksheet.
- L-20 02/28/14:
Summary and Review: In this lecture
we summarized and reviewed the main topics in the course covered
so far, divided into numeric, symbolic, and polyhedral methods.
We looked at the questions of the
Spring 2011 Midterm Exam.
- L-21 03/03/14:
Midterm exam: This take home exam
is due on Wednesday 5 March, at 2PM.
In the first part of the course, the focus was mainly
on isolated regular solutions.
We start the second part by looking at singularities.
- L-22 03/05/14: Multiple Roots and Approximate GCDs:
We defined the pejorative manifold via the Vieta system for
a polynomial in one variable with roots of higher multiplicities.
The application of Gauss-Newton on the Vieta system reconditions
the root finding problem. The multiplicities of the roots are
revealed by greatest common divisors. The approximate GCD occurs
in the blind deconvolution of images.
Slides
- L-23 03/07/14: Standard Bases:
In this lecture we look at singular solutions.
We define the multiplicity of an isolated
solution geometrically and algebraically.
To compute the multiplicity of singular points,
we work in local rings and construct standard bases.
Slides
- L-24 03/10/14: Newton's Method with Deflation:
For an isolated singular solution of a polynomial system,
we showed how we could restore the quadratic convergence
via deflation. As the condition numbers drop, as illustrated
on a geometric application, we call deflation a reconditioning method.
We ended the lecture by looking at the effect of the deflation
on the staircase as defined by a standard basis.
Slides
- L-25 03/12/14: Multiplicity Structure:
Following the paper of Barry Dayton and Zhonggang Zeng,
we computed the multiplicity of an ideal using plain linear algebra
to find the span of the dual space. For systems like cyclic 9-roots
we have a purely local method to compute the multiplicity of a root.
The duality analysis of deflation also gives a tighter bound on
the number of deflation stages.
Slides
Border Bases:
Border bases provide numerically stable normal form algorithms.
Slides
- L-26 03/14/14: Witness Sets:
Any representation of a solution set must store the dimension
and the degree of the solution set. A witness set stores the
dimension as the number of random hyperplanes needed to cut
the set down to a set of isolated solutions. The number of
isolated solutions which belong to the set and the random hyperplanes
then defines a witness set. With a cascade of homotopies,
motivated by the design of a sevenbar mechanism, we gain
some intuition into a refined version of Bézout's theorem.
Slides
- L-27 03/17/14: Lifting Fibers:
A symbolic analogue to witness sets are given by lifting fibers,
obtained by specializing as many variables as the dimension of
the set, after a coordinate change to put the set
into Noether position. We started with a geometric description
and ended with Noether normalization.
Slides
- L-28 03/19/14: Absolute Factorization:
We started by the definition of the linear trace to detect
whether an algebraic curve factors. Changing of coordinates
provided the transition into a numerical irreducible decomposition
of a general solution set, represented by a witness set.
We ended by outlining the use of monodromy actions.
The application of the day (adjacent minors)
comes from algebraic statistics. We end proving the Hensel lemma.
Slides
- L-29 03/21/14: Sparse Interpolation:
In the context of polynomial factorization, we may want to construct
symbolic representations for the irreducible factors.
Sparse interpolation is also a major tool in blackbox computer algebra.
Departing with Prony's algorithm, we derived a generalized eigenvalue
problem for which the QZ algorithm is well suitable.
Sampling at complex roots of unity improves the conditioning.
We ended with a brief description of the qd algorithm to determine
the size of the support.
As application we discussed the structure of singular locus
of a Stewart-Gough platform.
Slides
- L-30 03/31/14: Approximate Factorization:
As third lecture on factorization, we considered the application of
the SVD to the problem of factoring a bivariate polynomial with
approximate coefficients, via the Ruppert matrix, obtained using
a partial differential equation.
Slides
- L-31 04/02/14: Numerical Schubert Calculus:
The static output pole placement problem in the control of linear
systems is solved by classical enumerative geometry.
Homotopies implement Pieri's rule to solve these intersection
conditions.
Slides
- L-32 04/04/14: Sum of Squares:
Via semidefinite programming
we search for a Sum of Squares (SoS) representation of a polynomial.
Such a SoS gives a certificate for the polynomial being nonnegative
and is useful in finding Lyapunov functions to control nonlinear systems.
We define the SoS relaxation of global minimization, state
a real Nullstellensatz, and we looked at moment matrices.
Slides
- L-33 04/07/14: Manipulation of Ideals:
Groebner bases lead to algorithms to manipulate ideals
and provide tools for a primary decomposition.
Slides
- L-34 04/09/14: Hilbert Polynomials:
We defined Hilbert polynomials
and outlined a decomposition method
to bound the complexity of a Groebner basis.
Slides
- L-35 04/11/14: Primary Decomposition:
We define prime and primary ideals, and primary decomposition.
Slides
- L-36 04/14/14: Binomial Ideals:
Binomial ideals form an interesting class of examples
and occur frequently in various areas of applications.
Slides
- L-37 04/16/14: Diagonal Homotopies:
To intersect positive dimensional solution sets numerically,
we use diagonal homotopies. An application for these homotopies
is the computation of the singular locus of a solution set
of a system with parameters.
Slides
- L-38 04/18/14: Computing Primary Decompositions:
We look at algorithms to compute the dimension of an ideal via
maximal independent sets and to compute the radical of an ideal,
ending with a sketch of an algorithm to compute a primary decomposition.
Slides
- L-39 04/21/14: Tropical Algebraic Geometry:
Tropical algebraic geometry provides a framework to apply polyhedral
methods to solve polynomial systems, generalizing the theorems of Bernshtein.
Slides
- L-40 04/23/14: Tropical Algebraic Geometry 2:
We continue our exploration into tropical algebraic geometry,
outlining the proof of Bergman's theorem and applying unimodular
coordinate transformations to the cyclic 9-roots problem.
We end with defining the tropical prevariety.
Slides
- L-41 04/25/14: Tropical Algebraic Geometry 3:
Starting with monomial maps and an illustrative example,
we state the structure and fundamental theorem
of tropical algebraic geometry.
Slides
- L-42 04/28/14: Review of the materials in the course.
Slides