Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Paper:

TR10-036 | 8th March 2010 13:05

On the Relation between Polynomial Identity Testing and Finding Variable Disjoint Factors

RSS-Feed




TR10-036
Authors: Amir Shpilka, Ilya Volkovich
Publication: 8th March 2010 13:05
Downloads: 2157
Keywords: 


Abstract:

We say that a polynomial $f(x_1,\ldots,x_n)$ is {\em indecomposable} if it cannot be written as a product of two polynomials that are defined over disjoint sets of variables. The {\em polynomial decomposition} problem is defined to be the task of finding the indecomposable factors of a given polynomial. Note that for multilinear polynomials, factorization is the same as decomposition, as any two different factors are variable disjoint.

In this paper we show that the problem of derandomizing polynomial identity testing is essentially equivalent to the problem of
derandomizing algorithms for polynomial decomposition. More accurately, we show that for any reasonable circuit class there is
a deterministic polynomial time (black-box) algorithm for polynomial identity testing of that class if and only if there is
a deterministic polynomial time (black-box) algorithm for factoring a polynomial, computed in the class, to its indecomposable components.

An immediate corollary is that polynomial identity testing and polynomial factorization are equivalent (up to a polynomial overhead) for multilinear polynomials. In addition, we observe that derandomizing the polynomial decomposition problem is equivalent, in the sense of Kabanets and Impagliazzo, to proving arithmetic circuit lower bounds to NEXP.

Our approach uses ideas from a previous work in which we showed that the polynomial identity testing problem for a circuit class $\mathcal M$ is essentially equivalent to the problem of deciding whether a circuit from $\mathcal M$ computes a polynomial that has a read-once arithmetic formula.



ISSN 1433-8092 | Imprint