Abstract:Approximating the roots of a holomorphic function in an input box is a fundamental problem in many domains. Most algorithms in the literature for solving this problem are conditional, i.e., they make some simplifying assumptions, such as, all the roots are simple or there are no roots on the boundary of the input box, or the underlying machine model is Real RAM. Root clustering is a generalization of the root approximation problem that allows for errors in the computation and makes no assumption on the multiplicity of the roots. An unconditional algorithm for computing a root clustering of a holomorphic function was given by Yap, Sagraloff and Sharma in 2013 [36] . They proposed a subdivision based algorithm using effective predicates based on Pellet's test while avoiding any comparison with zeros (using soft zero comparisons instead). In this paper, we analyze the running time of their algorithm. We use the continuous amortization framework to derive an upper bound on the size of the subdivision tree. We specialize this bound to the case of polynomials and some simple transcendental functions such as exponential and trigonometric sine. We show that the algorithm takes exponential time even for these simple functions, unlike the case of polynomials. We also derive a bound on the bit-precision used by the algorithm. To the best of our knowledge, this is the first such result for holomorphic functions. We introduce new geometric parameters, such as the relative growth of the function on the input box, for analyzing the algorithm. Thus, our estimates naturally generalize the known results, i.e., for the case of polynomials.

On the Cost of Computing Roots of Polynomials

Polynomial Root Isolation by Means of Root Radii Approximation

Numerical computation of the roots of Mandelbrot polynomials: an experimental analysis

Condition Number Based Complexity Estimate for Solving Polynomial Systems

Comparative Analysis of Polynomials with Their Computational Costs

On the degree of polynomials computing square roots mod p

On converses to the polynomial method

An asymptotic refinement of the Gauss-Lucas Theorem for random polynomials with i.i.d. roots

Grothendieck inequalities characterize converses to the polynomial method

Complexity of a Root Clustering Algorithm for Holomorphic Functions

Aberth's Method for the Parallel Iterative Finding of Polynomial Zeros

Zero-knowledge Proof Protocol of the Roots of Polynomial Functions

Polynomial progressions in topological fields

On the localization of roots of polynomials

On reverse Markov-Nikol'skii inequalities for polynomials with restricted zeros

What Can (and Can't) we Do with Sparse Polynomials?

Universality theorems for zeros of random real polynomials with fixed coefficients

Analytic number theory for zero-cycles

Asymptotic distribution of the zeros of a certain family of generalized hypergeometric polynomials

Root Radii and Subdivision for Polynomial Root-Finding

Zero Order Estimates for Analytic Functions