Conference on Computability in Europe

CiE 2013: The Nature of Computation. Logic, Algorithms, Applications pp 434-444

Analytic Root Clustering: A Complete Algorithm Using Soft Zero Tests

  • Chee Yap
  • Michael Sagraloff
  • Vikram Sharma
Conference paper

DOI: 10.1007/978-3-642-39053-1_51

Volume 7921 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Yap C., Sagraloff M., Sharma V. (2013) Analytic Root Clustering: A Complete Algorithm Using Soft Zero Tests. In: Bonizzoni P., Brattka V., Löwe B. (eds) The Nature of Computation. Logic, Algorithms, Applications. CiE 2013. Lecture Notes in Computer Science, vol 7921. Springer, Berlin, Heidelberg

Abstract

A challenge to current theories of computing in the continua is the proper treatment of the zero test. Such tests are critical for extracting geometric information. Zero tests are expensive and may be uncomputable. So we seek geometric algorithms based on a weak form of such tests, called soft zero tests. Typically, algorithms with such tests can only determine the geometry for “nice” (e.g., non-degenerate, non-singular, smooth, Morse, etc) inputs. Algorithms that avoid such niceness assumptions are said to be complete. Can we design complete algorithms with soft zero tests? We address the basic problem of determining the geometry of the roots of a complex analytic function f. We assume effective box functions for f and its higher derivatives are provided. The problem is formalized as the root clustering problem, and we provide a complete (δ,ε)-exact algorithm based on soft zero tests.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Chee Yap
    • 1
  • Michael Sagraloff
    • 2
  • Vikram Sharma
    • 3
  1. 1.Courant Institute of Mathematical SciencesNew York UniversityNew YorkU.S.A.
  2. 2.Max-Planck Institute of Computer ScienceSaarbrückenGermany
  3. 3.Institute of Mathematical SciencesChennaiIndia