Abstract
Let P(x) be a univariate polynomial over C, such that P(x) = cnxn + ... + cm+1xm+1 + xm + em-1xm-1 + ... + e0, where max{|cn|, ..., |cm+1|} = 1 and e = max{|em-1|, |em-2|1/2, ..., |e0|1/m} << 1. P(x) has m small roots around the origin so long as e << 1. In 1999, we derived a formula that if e < 1/9 then P(x) has m roots inside a disc Din of radius Rin and other n - m roots outside a disc Dout of radius Rout, located at the origin, where Rin(out) = [1 - (+) √1 - (16e)/(1 + 3e)2] × (1 + 3e)/4. Note that Rin = Rout if e = 1/9. Our formula is essentially the same as that derived independently by Yakoubsohn at almost the same time. In this short article, we introduce the formula and check its sharpness on many polynomials generated randomly.
- {BCSS98} L. Blum, F. Cucker, M. Shub and S. Smale: Complexity and Real Computation, Section 8. Springer-Verlag, 1998. Google ScholarDigital Library
- {Mig91} M. Mignotte: Mathematics for Computer Algebra, Section 4. Springer-Verlag, 1991. Google ScholarDigital Library
- {SI02} T. Sasaki and D. Inaba: On analytic continuation of algebraic functions. Preprint of Univ. Tsukuba, 14 pages (2002).Google Scholar
- {Sma86} S. Smale: Newton's method estimates from data at one point. In R. Ewing, K. Gross, and C. Martin (Eds.), The Merging of Disciplines: New Directions in Pure, Applied, and Computational Mathematics. Springer-Verlag, 1986.Google Scholar
- {Smi70} B.T. Smith: Error bounds for zeros of a polynomial based on Gerschgorin's theorems. J. ACM, 17, 661-674 (1970). Google ScholarDigital Library
- {TS00} A. Terui and T. Sasaki: "Approximate Zero-points" of Real Univariate Polynomial with Large Error Terms. IPSJ(Information Processing Society of Japan) Journal, 41, 974-989, 2000.Google Scholar
- {Yak00} J.C. Yakoubsohn: Finding a cluster of zeros of univariate polynomials. J. Complexity 16, 603-636 (2000). Google ScholarDigital Library
Index Terms
- A formula for separating small roots of a polynomial
Recommendations
Discussion on polynomials having polynomial iterative roots
In this paper, we discuss polynomial mappings which have iterative roots of the polynomial form. We apply the computer algebra system Singular to decompose algebraic varieties and finally find a condition under which polynomial functions have quadratic ...
Roots of Bivariate Polynomial Systems via Determinantal Representations
We give two determinantal representations for a bivariate polynomial. They may be used to compute the zeros of a system of two of these polynomials via the eigenvalues of a two-parameter eigenvalue problem. The first determinantal representation is suitable ...
Efficient isolation of polynomial's real roots
Special issue: Proceedings of the international conference on linear algebra and arithmetic, Rabat, Morocco, 28-31 May 2001This paper revisits an algorithm isolating the real roots of a univariate polynomial using Descartes' rule of signs. It follows work of Vincent, Uspensky, Collins and Akritas, Johnson, Krandick.Our first contribution is a generic algorithm which enables ...
Comments