Root finding with threshold circuits
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2011
- DOI:
- 10.48550/arXiv.1112.3925
- arXiv:
- arXiv:1112.3925
- Bibcode:
- 2011arXiv1112.3925J
- Keywords:
-
- Computer Science - Data Structures and Algorithms;
- Computer Science - Logic in Computer Science;
- F.2.1;
- F.1.3;
- F.4.1
- E-Print:
- 19 pages, 1 figure