Abstract:In this paper, we propose a symbolic-numeric algorithm to count the number of solutions of a zero-dimensional square polynomial system within a local region. We show that the algorithm succeeds under the condition that the region is sufficiently small and well-isolating for a k-fold solution z of the system. In our analysis, we derive a bound on the size of the region that guarantees success. We further argue that this size depends on local parameters such as the norm and multiplicity of z as well as the distances between z and all other solutions. Efficiency of our method stems from the fact that we reduce the problem of counting the roots of the original system to the problem of solving a truncated system of degree k. In particular, if the multiplicity k of z is small compared to the total degrees of the original polynomials, our method considerably improves upon known complete and certified methods. We see a series of applications of our approach. When combined with a numerical solver in the fashion of an a posteriori certification step, we obtain a certified and reliable method for solving polynomial systems while profiting both from the efficiency of the numerical algorithm and the reliability of the symbolic approach. An alternative application results from incorporating our algorithm as inclusion predicate into an elimination method. For the special case of bivariate systems, we experimentally show that this approach leads to a significant improvement over an existing state-of-the-art elimination method.

Condition Number Based Complexity Estimate for Solving Polynomial Systems

Condition number based complexity estimate for computing local extrema

A Parallel Algorithm For Finding All The Roots Of A Polynomial

Counting solutions of a polynomial system locally and exactly

A Novel Method of Polynomial Approximation for Parametric Problems in Power Systems

A Complete Algorithm for Counting Real Solutions of Polynomial Systems of Equations and Inequalities

Real Root Isolation of Polynomial Equations Based on Hybrid Computation

GPU-based Parallel Solver Via the Kantorovich Theorem for the Nonlinear Bernstein Polynomial Systems.

Real root refinements for univariate polynomial equations

Parallel computation of real solving bivariate polynomial systems by zero-matching method

Polynomial Root Isolation by Means of Root Radii Approximation

Explicit Criterion to Determine the Number of Positive Roots of a Polynomial1)

Numerical Instability of Algebraic Rootfinding Methods

The numerical factorization of polynomials

A quantum algorithm for solving systems of nonlinear algebraic equations

On the Cost of Computing Roots of Polynomials

Real solution isolation with multiplicity of zero-dimensional triangular systems

A Blackbox Polynomial System Solver on Parallel Shared Memory Computers

Continued Fraction Expansion of Real Roots of Polynomial Systems

Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Applications in Cryptanalysis

The Complexity of Testing Monomials in Multivariate Polynomials