A simple but exact and efficient algorithm for complex root isolation

Chee K. Yap, Michael Sagraloff

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We present a new exact subdivision algorithm CEVAL for isolating the complex roots of a square-free polynomial in any given box. It is a generalization of a previous real root isolation algorithm called EVAL. Under suitable conditions, our approach is applicable for general analytic functions. CEVAL is based on the simple Bolzano Principle and is easy to implement exactly. Preliminary experiments have shown its competitiveness. We further show that, for the "benchmark problem" of isolating all roots of a square-free polynomial with integer coefficients, the asymptotic complexity of both algorithms EVAL and CEVAL matches (up a logarithmic term) that of more sophisticated real root isolation methods which are based on Descartes' Rule of Signs, Continued Fraction or Sturm sequence. In particular, we show that the tree size of EVAL matches that of other algorithms. Our analysis is based on a novel technique called Δ-clusters from which we expect to see further applications.

Original languageEnglish (US)
Title of host publicationISSAC 2011 - Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation
Pages353-360
Number of pages8
DOIs
StatePublished - 2011
Event36th International Symposium on Symbolic and Algebraic Computation, ISSAC 2011 - San Jose, CA, United States
Duration: Jun 8 2011Jun 11 2011

Publication series

NameProceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Other

Other36th International Symposium on Symbolic and Algebraic Computation, ISSAC 2011
CountryUnited States
CitySan Jose, CA
Period6/8/116/11/11

Keywords

  • bolzano methods
  • complexity of complex root isolation
  • evaluation-based root isolation
  • exact root isolation
  • subdivision algorithms

ASJC Scopus subject areas

  • Mathematics(all)

Fingerprint Dive into the research topics of 'A simple but exact and efficient algorithm for complex root isolation'. Together they form a unique fingerprint.

Cite this