Abstract:We present a new algorithm for isolating the real roots of a system of multivariate polynomials, given in the monomial basis. It is inspired by existing subdivision methods in the Bernstein basis; it can be seen as generalization of the univariate continued fraction algorithm or alternatively as a fully analog of Bernstein subdivision in the monomial basis. The representation of the subdivided domains is done through homographies, which allows us to use only integer arithmetic and to treat efficiently unbounded regions. We use univariate bounding functions, projection and preconditionning techniques to reduce the domain of search. The resulting boxes have optimized rational coordinates, corresponding to the first terms of the continued fraction expansion of the real roots. An extension of Vincent's theorem to multivariate polynomials is proved and used for the termination of the algorithm. New complexity bounds are provided for a simplified version of the algorithm. Examples computed with a preliminary C++ implementation illustrate the approach.

A bivariate approach to realrootedness of special polynomials

Compatibility of Real-Rooted Polynomials with Mixed Signs

Virtual Roots of Real Polynomials

Real roots of random orthogonal polynomials with exponential weights

Real-rootedness of the type A minuscule polynomials

Totally nonnegative matrices, chain enumeration and zeros of polynomials

An extension of the Hermite-Biehler theorem with application to polynomials with one positive root

Orthogonal Laurent polynomials of two real variables

A New Method for Real Root Isolation of Univariate Polynomials

Real roots of random polynomials: asymptotics of the variance

Symmetric decompositions, triangulations and real-rootedness

A strong law of large numbers for real roots of random polynomials

On majorization for polynomials sharing a common interlacer

A polynomial with a root mod $p$ for every $p$ has a real root

Continued Fraction Expansion of Real Roots of Polynomial Systems

A Bollobás-type problem: from root systems to Erdős-Ko-Rado

Orthogonality of the Möbius function to polynomials with applications to Linear Equations in Primes over $\mathbb{F}_p[x]$

Real-root Property of the Spectral Polynomial of the Treibich–Verdier Potential and Related Problems

Generalized Gauss-Rys orthogonal polynomials

Generalized Perron Roots and Solvability of the Absolute Value Equation