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

## Topics from this paper

## 24 Citations

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…

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

- Mathematics, Computer ScienceAppl. Math. Comput.
- 2014

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

- Mathematics, Computer ScienceSNC '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,…

Using Numerical Insights to Improve Symbolic Computations

- Computer Science2019 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

- Computer Science, MathematicsISSAC
- 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.

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

- Mathematics, Computer ScienceJ. 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.

A numerical toolkit for multiprojective varieties

- Computer Science, MathematicsMath. 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.

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…

## References

SHOWING 1-10 OF 50 REFERENCES

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

- Mathematics, Computer ScienceSIAM 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.

Numerical solution of multivariate polynomial systems by homotopy continuation methods

- MathematicsActa Numerica
- 1997

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

- Mathematics, Computer ScienceSIAM 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.

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

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

- Computer Science, MathematicsSIAM 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.

SINGULAR: a computer algebra system for polynomial computations

- Computer Science, MathematicsACCA
- 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.

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

- Computer Science, MathematicsJ. 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.

A course in computational algebraic number theory

- Computer Science, MathematicsGraduate 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

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

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…