2008 23rd Annual IEEE Conference on Computational Complexity (2008)

June 22, 2008 to June 26, 2008

ISSN: 1093-0159

ISBN: 978-0-7695-3169-4

pp: 268-279

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CCC.2008.22

ABSTRACT

Using ideas from automata theory we design a new efficient (deterministic) identity test for the \emph {noncommutative} polynomial identity testing problem (first introduced and studied in \cite{RS05,BW05}). More precisely, given as input a noncommutative circuit $C(x_1,\cdots,x_n)$ computing a polynomial in $\F\{x_1,\cdots,x_n\}$ of degree $d$ with at most $t$ monomials, where the variables $x_i$ are noncommuting, we give a deterministic polynomial identity test that checks if $C\equiv 0$ and runs in time polynomial in $d, n, |C|$, and $t$. The same methods works in a black-box setting: Given a noncommuting black-box polynomial $f\in\F\{x_1,\cdots,x_n\}$ of degree $d$ with $t$ monomials we can, in fact, reconstruct the entire polynomial $f$ in time polynomial in $n,d$ and $t$. Indeed, we apply this idea to the reconstruction of black-box noncommuting algebraic branching programs (the ABPs considered by Nisan in \cite{N91} and Raz-Shpilka in \cite{RS05}). Assuming that the black-box model allows us to query the ABP for the output at any given gate then we can reconstruct an (equivalent) ABP in deterministic polynomial time. Finally, we turn to commutative identity testing and explore the complexity of the problem when the coefficients of the input polynomial come from an arbitrary finite commutative ring with unity whose elements are uniformly encoded as strings and the ring operations are given by an oracle. We show that several algorithmic results for polynomial identity testing over fields also hold when the coefficients come from such finite rings.

INDEX TERMS

polynomial identity testing, deterministic, randomized, polynomial time

CITATION

P. Mukhopadhyay, V. Arvind and S. Srinivasan, "New Results on Noncommutative and Commutative Polynomial Identity Testing,"

*2008 23rd Annual IEEE Conference on Computational Complexity(CCC)*, vol. 00, no. , pp. 268-279, 2008.

doi:10.1109/CCC.2008.22

CITATIONS