Recovering Exact Results from Inexact Numerical Data in Algebraic Geometry

  title={Recovering Exact Results from Inexact Numerical Data in Algebraic Geometry},
  author={Daniel J. Bates and Jonathan D. Hauenstein and Timothy M. McCoy and Chris Peterson and Andrew J. Sommese},
  journal={Experimental Mathematics},
  pages={38 - 50}
Let be a set of homogeneous polynomials. Let Z denote the complex projective algebraic set determined by the zero locus of . Numerical-continuation-based methods can be used to produce arbitrary-precision numerical approximations of generic points on each irreducible component of Z. Consider the ideal and the prime decomposition over . This article illustrates how lattice-reduction algorithms may take as input numerically approximated generic points on Z and effectively extract exact elements… 
What is numerical algebraic geometry
Computing sparse polynomials via witness sets
Sparse polynomials that vanish on algebraic sets are preferred in many computations since they are easy to evaluate and often arise from underlying structure. For example, a monomial vanishes on an
Comparison of probabilistic algorithms for analyzing the components of an affine algebraic variety
Two fundamentally different approaches to computing and representing the solutions of polynomial systems: numerical homotopy continuation and symbolic computation are compared.
Numerical calculation of H-bases for positive dimensional varieties
A symbolic-numeric method for calculating an H-basis for the ideal of a positive dimensional complex affine algebraic variety, possibly defined numerically, is given. H-bases for ideals I in I,
Using Numerical Insights to Improve Symbolic Computations
  • J. Hauenstein
  • Computer Science
    2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
  • 2019
This paper highlights two applications of hybrid numeric-symbolic methods in algebraic geometry which can be used to improve subsequent symbolic computations to certify the result.
Validating the Completeness of the Real Solution Set of a System of Polynomial Equations
This work describes an approach that combines numerical algebraic geometry and sums of squares programming to test whether a given set is "complete" with respect to the real solution set of the real radical of the ideal generated by the given polynomials.
Inverse multivariate polynomial root-finding: Numerical implementations of the affine and projective Buchberger-Möller algorithm
Both affine and projective implementations of the SVD-based algorithm are applied to the problem of computing continuous-time polynomial dynamical systems from a given set of fixed points, demonstrating the effectiveness and robustness of the proposed methods.
A numerical toolkit for multiprojective varieties
This work builds on recent work to develop a toolkit for the numerical manipulation of multiprojective varieties that operates on witness collections, and uses this toolkit in an algorithm for numerical irreducible decomposition of multiprosive varieties.
Numerical algebraic geometry for maximum likelihood estimation
Author(s): Rodriguez, Jose Israel | Advisor(s): Sturmfels, Bernd | Abstract: Numerical algebraic geometry provides numerical descriptions of solution sets of polynomial systems of equations in


Numerical Decomposition of the Solution Sets of Polynomial Systems into Irreducible Components
This article presents algorithms, based on homotopy continuation, that compute much of the geometric information contained in the primary decomposition of the solution set of polynomial systems, by finding, at each dimension, generic points on each component.
Numerical solution of multivariate polynomial systems by homotopy continuation methods
Let P(x) = 0 be a system of n polynomial equations in n unknowns. Denoting P = (p1,…, pn), we want to find all isolated solutions of for x = (x1,…,xn). This problem is very common in many fields of
Symmetric Functions Applied to Decomposing Solution Sets of Polynomial Systems
This paper proves theoretically and demonstrates in practice that linear traces suffice for this verification step, and shows how to do so more efficiently by building a structured grid of samples, using divided differences, and applying symmetric functions.
This article presents several numerical algorithms for computations in sheaf cohomology. Let X be an algebraic set defined by a system of homogeneous multivariate polynomials with coefficients in C.
A Numerical Local Dimension Test for Points on the Solution Set of a System of Polynomial Equations
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.
SINGULAR: a computer algebra system for polynomial computations
SINGULAR is a specialized computer algebra system for polynomial computations with emphasize on the needs of commutative algebra, algebraic geometry, and singularity theory, which features one of the fastest and most general implementations of various algorithms for computing standard resp.
A numerical-symbolic algorithm for computing the multiplicity of a component of an algebraic set
The main goal of this paper is to present an algorithm for determining the multiplicity of a component of an algebraic set that sidesteps the numerical stability issues which have obstructed other approaches by incorporating a combined numerical-symbolic technique.
A course in computational algebraic number theory
  • H. Cohen
  • Computer Science, Mathematics
    Graduate texts in mathematics
  • 1993
The first seven chapters guide readers to the heart of current research in computational algebraic number theory, including recent algorithms for computing class groups and units, as well as elliptic curve computations, while the last three chapters survey factoring and primality testing methods.
The numerical solution of systems of polynomials - arising in engineering and science
Background: Polynomial Systems Homotopy Continuation Projective Spaces Probability One Polynomials of One Variable Other Methods Isolated Solutions: Coefficient-Parameter Homotopy Polynomial
Direct methods for primary decomposition
SummaryLetI be an ideal in a polynomial ring over a perfect field. We given new methods for computing the equidimensional parts and radical ofI, for localizingI with respect to another ideal, and