# Recovering Exact Results from Inexact Numerical Data in Algebraic Geometry

@article{Bates2013RecoveringER, 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}, year={2013}, volume={22}, 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… Expand

#### Topics from this paper

#### 24 Citations

What is numerical algebraic geometry

- Mathematics
- 2017

The foundation of algebraic geometry is the solving of systems of polynomial equations. When the equations to be considered are defined over a subfield of the complex numbers, numerical methods can… Expand

Computing sparse polynomials via witness sets

- 2020

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… Expand

Comparison of probabilistic algorithms for analyzing the components of an affine algebraic variety

- Mathematics, Computer Science
- Appl. Math. Comput.
- 2014

Two fundamentally different approaches to computing and representing the solutions of polynomial systems: numerical homotopy continuation and symbolic computation are compared. Expand

Numerical calculation of H-bases for positive dimensional varieties

- Mathematics, Computer Science
- SNC '11
- 2012

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,… Expand

Tensor decomposition and homotopy continuation

- Mathematics
- 2015

A computationally challenging classical elimination theory problem is to compute polynomials which vanish on the set of tensors of a given rank. By moving away from computing polynomials via… Expand

Using Numerical Insights to Improve Symbolic Computations

- 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. Expand

Validating the Completeness of the Real Solution Set of a System of Polynomial Equations

- Computer Science, Mathematics
- ISSAC
- 2016

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. Expand

Inverse multivariate polynomial root-finding: Numerical implementations of the affine and projective Buchberger-Möller algorithm

- Mathematics, Computer Science
- J. Comput. Appl. Math.
- 2017

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. Expand

A numerical toolkit for multiprojective varieties

- Computer Science, Mathematics
- Math. Comput.
- 2021

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. Expand

Numerical algebraic geometry for maximum likelihood estimation

- Mathematics
- 2014

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… Expand

#### References

SHOWING 1-10 OF 50 REFERENCES

Numerical Decomposition of the Solution Sets of Polynomial Systems into Irreducible Components

- Mathematics, Computer Science
- SIAM J. Numer. Anal.
- 2001

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. Expand

Numerical solution of multivariate polynomial systems by homotopy continuation methods

- Mathematics
- 1997

Let P ( x ) = 0 be a system of n polynomial equations in n unknowns. Denoting P = ( p 1 ,…, p n ), we want to find all isolated solutions of for x = ( x 1 ,…, x n ). This problem is very common in… Expand

Symmetric Functions Applied to Decomposing Solution Sets of Polynomial Systems

- Mathematics, Computer Science
- SIAM J. Numer. Anal.
- 2002

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. Expand

NUMERICAL COMPUTATION OF THE DIMENSIONS OF THE COHOMOLOGY OF TWISTS OF IDEAL SHEAVES

- 2008

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.… Expand

A Numerical Local Dimension Test for Points on the Solution Set of a System of Polynomial Equations

- Computer Science, Mathematics
- SIAM J. Numer. Anal.
- 2009

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. Expand

SINGULAR: a computer algebra system for polynomial computations

- Computer Science, Mathematics
- ACCA
- 2009

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. Expand

A numerical-symbolic algorithm for computing the multiplicity of a component of an algebraic set

- Computer Science, Mathematics
- J. Complex.
- 2006

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. Expand

A course in computational algebraic number theory

- 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. Expand

The numerical solution of systems of polynomials - arising in engineering and science

- Computer Science, Mathematics
- 2005

Background: Polynomial Systems Homotopy Continuation Projective Spaces Probability One Polynomials of One Variable Other Methods Isolated Solutions: Coefficient-Parameter Homotopy Polynomial… Expand

Direct methods for primary decomposition

- Mathematics
- 1992

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… Expand