25,361 research outputs found
Nonnegative polynomials and their Carath\'eodory number
In 1888 Hilbert showed that every nonnegative homogeneous polynomial with
real coefficients of degree in variables is a sum of squares if and
only if (quadratic forms), (binary forms) or (ternary
quartics). In these cases, it is interesting to compute canonical expressions
for these decompositions. Starting from Carath\'eodory's Theorem, we compute
the Carath\'eodory number of Hilbert cones of nonnegative quadratic and binary
forms.Comment: 9 pages. Discrete & Computational Geometry (2014
Root finding with threshold circuits
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.Comment: 19 pages, 1 figur
- …