ABSTRACT
Let p ∈ Z[x] be an arbitrary polynomial of degree n with k non-zero integer coefficients of absolute value less than 2τ. In this paper, we answer the open question whether the real roots of p can be computed with a number of arithmetic operations over the rational numbers that is polynomial in the input size of the sparse representation of p. More precisely, we give a deterministic, complete, and certified algorithm that determines isolating intervals for all real roots of p with O(k3·log(nτ)·logn) many exact arithmetic operations over the rational numbers.
When using approximate but certified arithmetic, the bit complexity of our algorithm is bounded by Õ(k4·n·(τ+k)), where Õ(·) indicates the omission of logarithmic factors. Hence, for sufficiently sparse polynomials (i.e. k = O(logc(nτ)) for a constant c), the bit complexity is Õ(nτ), which is optimal up to logarithmic factors.
- M. E. Alonso Garçia and A. Galligo. A root isolation algorithm for sparse univariate polynomials. In ISSAC, pages 35--42, 2012. Google ScholarDigital Library
- O. Bastani, C. J. Hillar, D. Popov, and J. M. Rojas. Randomization, Sums of Squares, Near-Circuits, and Faster Real Root Counting. Contemporary Mathematics, 556:145--166, 2011.Google ScholarCross Ref
- Y. Bouzidi, S. Lazard, M. Pouget, and F. Rouillier. Rational univariate representations of bivariate systems and applications. In ISSAC, pages 109--116, 2013. Google ScholarDigital Library
- M. Burr and F. Krahmer. SqFreeEVAL: An (almost) optimal real-root isolation algorithm. J. Symb. Comput., 47(2):153--166, 2012. Google ScholarDigital Library
- G. E. Collins and A. G. Akritas. Polynomial real root isolation using Descartes' rule of signs. In SYMSAC, pages 272--275, 1976. Google ScholarDigital Library
- G. E. Collins and R. Loos. Polynomial real root isolation by differentiation. In SYMSAC, pages 15--25, 1976. Google ScholarDigital Library
- M. Coste, T. Lajous-Loaeza, H. Lombardi, and M.-F. Roy. Generalized Budan-Fourier theorem and virtual roots. J. Complexity, 21(4):479--486, 2005. Google ScholarDigital Library
- F. Cucker, P. Koiran, and S. Smale. A polynomial time algorithm for diophantine equations in one variable. J. Symb. Comput., 27(1):21--29, 1999. Google ScholarDigital Library
- A. Eigenwillig. Real Root Isolation for Exact and Approximate Polynomials Using Descartes' Rule of Signs. PhD thesis, Saarland University, Germany, 2008.Google Scholar
- A. Eigenwillig, V. Sharma, and C.-K. Yap. Almost tight complexity bounds for the Descartes method. In ISSAC, pages 151--158, 2006. Google ScholarDigital Library
- P. Emeliyanenko and M. Sagraloff. On the complexity of solving a bivariate polynomial system. In ISSAC, pages 154--161, 2012. Google ScholarDigital Library
- I. Z. Emiris, B. Mourrain, and E. P. Tsigaridas. The DMM Bound: Multivariate (aggregate) separation bounds. In ISSAC, pages 243--250, 2010. Google ScholarDigital Library
- M. Kerber and M. Sagraloff. Root Refinement for Real Polynomials. CoRR, abs/1104.1362. A preliminary version with the title "Efficient Real Root Approximation" appeared in ISSAC, pages 209--216, 2011. Google ScholarDigital Library
- H. W. Lenstra (Jr.). Finding small degree factors of lacunary polynomials. Number Theory in Progress, 1:267--276, 1999.Google Scholar
- J. McNamee and V. Y. Pan. Numerical Methods for Roots of Polynomials. Number 2 in Studies in Computational Mathematics. Elsevier Science, 2013.Google Scholar
- K. Mehlhorn, M. Sagraloff, and P. Wang. From Approximate Factorization to Root Isolation with Application to Cylindrical Algebraic Decomposition. J. Symb. Comput., 2014. To appear. A preliminary version appeared at ISSAC, 2011. Google ScholarDigital Library
- N. Obreshkoff. Verteilung und Berechnung der Nullstellen reeller Polynome. VEB Deutscher Verlag der Wissenschaften, 1963.Google Scholar
- N. Obreshkoff. Zeros of Polynomials. Marina Drinov, Sofia, 2003. Translation of the Bulgarian original.Google Scholar
- V. Pan. Univariate Polynomials: Nearly Optimal Algorithms for Numerical Factorization and Root Finding. J. Symb. Comput., 33(5):701--733, 2002. Google ScholarDigital Library
- V. Y. Pan, B. Murphy, R. E. Rosholt, G. Qian, and Y. Tang. Real root-finding. In SNC, pages 161--169, 2007. Google ScholarDigital Library
- V. Y. Pan and E. P. Tsigaridas. On the boolean complexity of real root refinement. In ISSAC, pages 299--306, 2013. Google ScholarDigital Library
- J. M. Rojas and Y. Ye. On solving univariate sparse polynomials in logarithmic time. J. Complexity, 21(1):87--110, 2005. Google ScholarDigital Library
- F. Rouillier and P. Zimmermann. Efficient isolation of {a} polynomial's real roots. J. Computational and Applied Mathematics, 162:33--50, 2004. Google ScholarDigital Library
- M. Sagraloff. When Newton meets Descartes: A Simple and Fast Algorithm to Isolate the Real Roots of a Polynomial. In ISSAC, pages 297--304, 2012. Google ScholarDigital Library
- M. Sagraloff. A near-optimal algorithm for computing real roots of sparse polynomials. CoRR, abs/1401.6011, 2014.Google Scholar
- M. Sagraloff and K. Mehlhorn. Computing real roots of real polynomials - an efficient method based on Descartes' Rule of Signs and Newton iteration. CoRR, abs/1308.4088, 2013.Google Scholar
- M. Sagraloff and C.-K. Yap. A simple but exact and efficient algorithm for complex root isolation. In ISSAC, pages 353--360, 2011. Google ScholarDigital Library
- A. Schönhage. The Fundamental Theorem of Algebra in Terms of Computational Complexity. Technical report, Math. Inst. Univ. Tübingen, 1982.Google Scholar
- E. P. Tsigaridas. Improved bounds for the CF algorithm. Theor. Comput. Sci., 479:120--126, 2013. Google ScholarDigital Library
- J. von zur Gathen and J. Gerhard. Modern Computer Algebra. Cambridge University Press, Cambridge, 1999. Google ScholarDigital Library
- Y. Ye. Combining Binary Search and Newton's Method to Compute Real Roots for a Class of Real Functions. J. Complexity, 10(3):271--280, 1994. Google ScholarDigital Library
Index Terms
- A near-optimal algorithm for computing real roots of sparse polynomials
Recommendations
Efficiently Computing Real Roots of Sparse Polynomials
ISSAC '17: Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic ComputationWe propose an efficient algorithm to compute the real roots of a sparse polynomial f∈R[x] having k non-zero real-valued coefficients. It is assumed that arbitrarily good approximations of the non-zero coefficients are given by means of a coefficient ...
From approximate factorization to root isolation
ISSAC '13: Proceedings of the 38th International Symposium on Symbolic and Algebraic ComputationWe present an algorithm for isolating all roots of an arbitrary complex polynomial p which also works in the presence of multiple roots provided that arbitrary good approximations of the coefficients of p and the number of distinct roots are given. Its ...
From approximate factorization to root isolation with application to cylindrical algebraic decomposition
We present an algorithm for isolating all roots of an arbitrary complex polynomial p that also works in the presence of multiple roots provided that (1) the number of distinct roots is given as part of the input and (2) the algorithm can ask for ...
Comments