Short Proofs for Nondivisibility of Sparse Polynomials under the Extended Riemann Hypothesis

TitleShort Proofs for Nondivisibility of Sparse Polynomials under the Extended Riemann Hypothesis
Publication TypeTechnical Report
Year of Publication1991
AuthorsGrigoriev, D. Yu., Karpinski M., & Odlyzko A. M.
Other Numbers643
KeywordsAlgorithms, Extended Riemann Hypothesis, NC-Class, Nondivisibility, Short Proofs, Symbolic Manipulation
Abstract

Symbolic manipulation of sparse polynomials, given as lists of exponents and nonzero coefficients, appears to be much more complicated than dealing with polynomials in dense encoding (see e.g. [GKS 90, KT 88, P 77a, P 77b]). The first results in this direction are due to Plaisted [P 77a, P 77b], who proved, in particular, the NP-completeness of divisibility of a polynomial x**n-1 by a product of sparse polynomials. On the other hand, essentially nothing nontrivial is known about the complexity of the divisibility problem of two sparse integer polynomials. (One can easily prove that it is in PSPACE with the help of [M 86].) Here we prove that nondivisibility of two sparse multivariable polynomials is in NP, provided that the Extended Riemann Hypothesis (ERH) holds (see e.g. [LO 77]).The divisibility problem is closely related to the rational interpolation problem (whose decidability and complexity bound are determined in [GKS 90]). In this setting we assume that a rational function is given by a black box for evaluating it. We prove also that the problem of deciding whether a rational function given by a black box equals a polynomial belongs to the parallel class NC, provided the ERH holds and moreover, that we know the degree of some sparse rational representation of it.

URLhttp://www.icsi.berkeley.edu/ftp/global/pub/techreports/1991/tr-91-013.pdf
Bibliographic Notes

ICSI Technical Report TR-91-013

Abbreviated Authors

D. Grigoriev, M. Karpinski, and A. M. Odlyzko

ICSI Publication Type

Technical Report