Abstract:An efficient randomized polynomial identity test for noncommutative polynomials given by noncommutative arithmetic circuits remains an open problem. The main bottleneck to applying known techniques is that a noncommutative circuit of size $s$ can compute a polynomial of degree exponential in $s$ with a double-exponential number of nonzero monomials. In this paper, we report some progress by dealing with two natural subcases (both allow for polynomials of exponential degree and a double exponential number of monomials): (1) We consider \emph{$+$-regular} noncommutative circuits: these are homogeneous noncommutative circuits with the additional property that all the $+$-gates are layered, and in each $+$-layer all gates have the same syntactic degree. We give a \emph{white-box} polynomial-time deterministic polynomial identity test for such circuits. Our algorithm combines some new structural results for $+$-regular circuits with known results for noncommutative ABP identity testing [RS05PIT], rank bound of commutative depth three identities [SS13], and equivalence testing problem for words [Loh15, MSU97, Pla94]. (2) Next, we consider $\Sigma\Pi^*\Sigma$ noncommutative circuits: these are noncommutative circuits with layered $+$-gates such that there are only two layers of $+$-gates. These $+$-layers are the output $+$-gate and linear forms at the bottom layer; between the $+$-layers the circuit could have any number of $\times$ gates. We given an efficient randomized \emph{black-box} identity testing problem for $\Sigma\Pi^*\Sigma$ circuits. In particular, we show if $f\in F<Z>$ is a nonzero noncommutative polynomial computed by a $\Sigma\Pi^*\Sigma$ circuit of size $s$, then $f$ cannot be a polynomial identity for the matrix algebra $\mathbb{M}_s(F)$, where the field $F$ is a sufficiently large extension of $F$ depending on the degree of $f$.

An Average-Case Efficient Algorithm on Testing the Identity of Boolean Functions in Trace Representation.

A Method for Determining the Affine Equivalence of Boolean Functions

Average-case deterministic query complexity of boolean functions with fixed weight

On Evaluating Boolean Functions with Unreliable Tests

Probabilistic estimation of the algebraic degree of Boolean functions

Efficient Computation Of Algebraic Immunity Of Symmetric Boolean Functions

Linear isomorphism testing of Boolean functions with small approximate spectral norm

Approximate degree lower bounds for oracle identification problems

Fast Boolean Matching for Small Practical Functions

Algorithmic analysis on a class of Boolean equations

Polynomial representation of general partial Boolean functions with a single quantum query

An algorithm for identifying symmetric variables based on the order eigenvalue matrix

Identity Testing for +-Regular Noncommutative Arithmetic Circuits

Constructing and Counting Boolean Functions on Even Variables with Maximum Algebraic Immunity.

Fast Quantum Algorithms for Trace Distance Estimation

Revealing the canalizing structure of Boolean functions: Algorithms and applications

Equivalence, Identity, and Unitarity Checking in Black-Box Testing of Quantum Programs

An average case efficient algorithm for solving two variable linear diophantine equations

Balanced2p-variable Rotation Symmetric Boolean Functions with Optimal Algebraic Immunity, Good Nonlinearity, and Good Algebraic Degree

Trace Monomial Boolean Functions with Large High-Order Nonlinearities

Reducing Randomness Via Irrational Numbers