1,409 research outputs found
Quantum Query Complexity of Multilinear Identity Testing
Motivated by the quantum algorithm in \cite{MN05} for testing commutativity
of black-box groups, we study the following problem: Given a black-box finite
ring where is an additive
generating set for and a multilinear polynomial over
also accessed as a black-box function (where we allow the
indeterminates to be commuting or noncommuting), we study the
problem of testing if is an \emph{identity} for the ring . More
precisely, the problem is to test if for all .
We give a quantum algorithm with query complexity assuming . Towards a lower bound,
we also discuss a reduction from a version of -collision to this problem.
We also observe a randomized test with query complexity and constant
success probability and a deterministic test with query complexity.Comment: 12 page
Arithmetic Circuits and the Hadamard Product of Polynomials
Motivated by the Hadamard product of matrices we define the Hadamard product
of multivariate polynomials and study its arithmetic circuit and branching
program complexity. We also give applications and connections to polynomial
identity testing. Our main results are the following. 1. We show that
noncommutative polynomial identity testing for algebraic branching programs
over rationals is complete for the logspace counting class \ceql, and over
fields of characteristic the problem is in \ModpL/\Poly. 2.We show an
exponential lower bound for expressing the Raz-Yehudayoff polynomial as the
Hadamard product of two monotone multilinear polynomials. In contrast the
Permanent can be expressed as the Hadamard product of two monotone multilinear
formulas of quadratic size.Comment: 20 page
- β¦