English

Root finding with threshold circuits

Data Structures and Algorithms 2012-10-24 v2 Logic in Computer Science

Abstract

We show that for any constant d, complex roots of degree d univariate rational (or Gaussian rational) polynomials---given by a list of coefficients in binary---can be computed to a given accuracy by a uniform TC^0 algorithm (a uniform family of constant-depth polynomial-size threshold circuits). The basic idea is to compute the inverse function of the polynomial by a power series. We also discuss an application to the theory VTC^0 of bounded arithmetic.

Keywords

Cite

@article{arxiv.1112.3925,
  title  = {Root finding with threshold circuits},
  author = {Emil Jeřábek},
  journal= {arXiv preprint arXiv:1112.3925},
  year   = {2012}
}

Comments

19 pages, 1 figure

R2 v1 2026-06-21T19:52:53.426Z