Complexity of sparse polynomial solving: homotopy on toric varieties and the condition metric
Abstract
This paper investigates the cost of solving systems of sparse polynomial equations by homotopy continuation. First, a space of systems of $n$-variate polynomial equations is specified through $n$ monomial bases. The natural locus for the roots of those systems is known to be a certain toric variety. This variety is a compactification of $(\mathbb C\setminus\{0\})^n$, dependent on the monomial bases. A toric Newton operator is defined on that toric variety. Smale's alpha theory is generalized to provide criteria of quadratic convergence. Two condition numbers are defined and a higher derivative estimate is obtained in this setting. The Newton operator and related condition numbers turn out to be invariant through a group action related to the momentum map. A homotopy algorithm is given, and is proved to terminate after a number of Newton steps which is linear on the condition length of the lifted homotopy path. This generalizes a result from Shub (2009).
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2016
- DOI:
- 10.48550/arXiv.1606.03410
- arXiv:
- arXiv:1606.03410
- Bibcode:
- 2016arXiv160603410M
- Keywords:
-
- Mathematics - Numerical Analysis;
- Mathematics - Algebraic Geometry;
- 65H10;
- 65H20;
- 14M25;
- 14Q20;
- G.1.5
- E-Print:
- 3 figures, 44 pages