English

A constructive proof of the convergence of Kalantari's bound on polynomial zeros

Complex Variables 2020-12-04 v1 Numerical Analysis Numerical Analysis

Abstract

In his 2006 paper, Jin proves that Kalantari's bounds on polynomial zeros, indexed by m2m \leq 2 and called LmL_m and UmU_m respectively, become sharp as mm\rightarrow\infty. That is, given a degree nn polynomial p(z)p(z) not vanishing at the origin and an error tolerance ϵ>0\epsilon > 0, Jin proves that there exists an mm such that Lmρmin>1ϵ\frac{L_m}{\rho_{min}} > 1-\epsilon, where ρmin:=minρ:p(ρ)=0ρ\rho_{min} := \min_{\rho:p(\rho) = 0} \left|\rho\right|. In this paper we derive a formula that yields such an mm, thereby constructively proving Jin's theorem. In fact, we prove the stronger theorem that this convergence is uniform in a sense, its rate depending only on nn and a few other parameters. We also give experimental results that suggest an optimal m of (asymptotically) O(1ϵd)O\left(\frac{1}{\epsilon^d}\right) for some d2d \ll 2. A proof of these results would show that Jin's method runs in O(nϵd)O\left(\frac{n}{\epsilon^d}\right) time, making it efficient for isolating polynomial zeros of high degree.

Keywords

Cite

@article{arxiv.2012.02150,
  title  = {A constructive proof of the convergence of Kalantari's bound on polynomial zeros},
  author = {Matt Hohertz},
  journal= {arXiv preprint arXiv:2012.02150},
  year   = {2020}
}