Abstract:Isolating real roots of a square-free polynomial in a given interval is a fundamental problem in computational algebra. Subdivision based algorithms are a standard approach to solve this problem. For instance, Sturm's method, or various algorithms based on the Descartes's rule of signs. For the benchmark problem of isolating all the real roots of a polynomial of degree n and root separation σ, the size of the subdivision tree of most of these algorithms is bounded by O(log⁡1/σ) (assume σ<1). Moreover, it is known that this is optimal for subdivision algorithms that perform uniform subdivision, i.e., the width of the interval decreases by some constant. Recently Sagraloff (2012) and Sagraloff–Mehlhorn (2016) have developed algorithms for real root isolation that combine subdivision with Newton iteration to reduce the size of the subdivision tree to O(n(log⁡(nlog⁡1/σ))).We describe a subroutine that reduces the size of the subdivision tree of any subdivision algorithm for real root isolation. The subdivision tree size of our algorithm using predicates based on either the Descartes's rule of signs or Sturm sequences is bounded by O(nlog⁡n), which is close to the optimal value of O(n). The corresponding bound for the algorithm EVAL, which uses certain interval-arithmetic based predicates, is O(n2log⁡n). Our analysis differs in two key aspects from earlier approaches. First, we use the general technique of continuous amortization from Burr–Krahmer–Yap (2009), and extend it to handle non-uniform subdivisions; second, we use the geometry of clusters of roots instead of root bounds. The latter aspect enables us to derive a bound on the subdivision tree that is independent of the root separation σ. The number of Newton iterations is bounded by O(nlog⁡log⁡(1/σ)).

A Hybrid Procedure for Finding Real Points on a Real Algebraic Set

Real Root Isolation of Polynomial Equations Based on Hybrid Computation

Topology Driven Approximation to Rational Surface-Surface Intersection Via Interval Algebraic Topology Analysis.

Rational Quadratic Approximation to Real Algebraic Curves

An Iteration Method with Generally Convergent Property for Cubic Polynomials.

A New Method for Real Root Isolation of Univariate Polynomials

Convergence of hybrid polynomial approximation of rational Bézier curves

A Parallel Algorithm For Finding All The Roots Of A Polynomial

Polynomial Root Isolation by Means of Root Radii Approximation

Early Ending In Homotopy Path-Tracking For Real Roots

A stratified polyhedral homotopy method for sampling positive dimensional zero sets of polynomial systems

Real root refinements for univariate polynomial equations

A Special Homotopy Continuation Method For A Class of Polynomial Systems

Process Analysis On Multiple Solutions Of Semi Algebraic Systems

Continued Fraction Expansion of Real Roots of Polynomial Systems

Survey of Real Root Finding of Univariate Polynomial Equation in CAGD/CG

A hybrid algorithm for multi-homogeneous Bézout number

Simple and Nearly Optimal Polynomial Root-finding by Means of Root Radii Approximation

An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems

Near optimal subdivision algorithms for real root isolation

Logcf: an Efficient Tool for Real Root Isolation