Title
A Numerical Local Dimension Test for Points on the Solution Set of a System of Polynomial Equations
Abstract
The solution set $V$ of a polynomial system, i.e., the set of common zeroes of a set of multivariate polynomials with complex coefficients, may contain several components, e.g., points, curves, surfaces, etc. Each component has attached to it a number of quantities, one of which is its dimension. Given a numerical approximation to a point $\mathbf{p}$ on the set $V$, this article presents an efficient algorithm to compute the maximum dimension of the irreducible components of $V$ which pass through $\mathbf{p}$, i.e., a local dimension test. Such a test is a crucial element in the homotopy-based numerical irreducible decomposition algorithms of Sommese, Verschelde, and Wampler. This article presents computational evidence to illustrate that the use of this new algorithm greatly reduces the cost of so-called “junk-point filtering,” previously a significant bottleneck in the computation of a numerical irreducible decomposition. For moderate size examples, this results in well over an order of magnitude improvement in the computation of a numerical irreducible decomposition. As the computation of a numerical irreducible decomposition is a fundamental backbone operation, gains in efficiency in the irreducible decomposition algorithm carry over to the many computations which require this decomposition as an initial step. Another feature of a local dimension test is that one can now compute the irreducible components in a prescribed dimension without first computing the numerical irreducible decomposition of all higher dimensions. For example, one may compute the isolated solutions of a polynomial system without having to carry out the full numerical irreducible decomposition.
Year
DOI
Venue
2009
10.1137/08073264X
SIAM J. Numerical Analysis
Keywords
Field
DocType
irreducible component,numerical algebraic geometry,solution set,full numerical irreducible decomposition,irreducible decomposition,maximum dimension,mul- tiplicity,. local dimension,numerical irreducible decomposition,homotopy continuation,local dimension test,polynomial system,14q99,generic points,homotopy-based numerical irreducible decomposition,polynomial equations,irreducible components,polynomial system ams subject classification. 65h10,numerical approximation,68w30,numerical local dimension test,higher dimension,multiplicity,generic point
Mathematical optimization,Irreducible component,Polynomial,Mathematical analysis,Multiplicity (mathematics),System of polynomial equations,Decomposition method (constraint satisfaction),Solution set,Irreducible element,Irreducible polynomial,Mathematics
Journal
Volume
Issue
ISSN
47
5
0036-1429
Citations 
PageRank 
References 
15
0.86
14
Authors
4
Name
Order
Citations
PageRank
Daniel J. Bates110312.03
Jonathan D. Hauenstein226937.65
Chris Peterson36810.93
Andrew J. Sommese441239.68