Abstract:In this paper, we address the black-box polynomial identity testing (PIT) problem for non-commutative polynomials computed by $+$-regular circuits, a class of homogeneous circuits introduced by Arvind, Joglekar, Mukhopadhyay, and Raja (STOC 2017, Theory of Computing 2019). These circuits can compute polynomials with a number of monomials that are doubly exponential in the circuit size. They gave an efficient randomized PIT algorithm for +-regular circuits of depth 3 and posed the problem of developing an efficient black-box PIT for higher depths as an open problem. We present a randomized black-box polynomial-time algorithm for +-regular circuits of any constant depth. Specifically, our algorithm runs in $s^{O(d^2)}$ time, where $s$ and $d$ represent the size and the depth of the $+$-regular circuit, respectively. Our approach combines several key techniques in a novel way. We employ a nondeterministic substitution automaton that transforms the polynomial into a structured form and utilizes polynomial sparsification along with commutative transformations to maintain non-zeroness. Additionally, we introduce matrix composition, coefficient modification via the automaton, and multi-entry outputs--methods that have not previously been applied in the context of black-box PIT. Together, these techniques enable us to effectively handle exponential degrees and doubly exponential sparsity in non-commutative settings, enabling polynomial identity testing for higher-depth circuits. Our work resolves an open problem from \cite{AJMR19}. In particular, we show that if $f$ is a non-zero non-commutative polynomial in $n$ variables over the field $F$, computed by a depth-$d$ $+$-regular circuit of size $s$, then $f$ cannot be a polynomial identity for the matrix algebra $\mathbb{M}_{N}(F)$, where $N= s^{O(d^2)}$ and the size of the field $F$ depending on the degree of $f$.

Identity Testing for Radical Expressions

Identity Testing for +-Regular Noncommutative Arithmetic Circuits

Polynomial Identity Testing via Evaluation of Rational Functions

Progress on Polynomial Identity Testing - II

Solving parametric radical equations with depth 2 rigorously using the restriction set method

Reducing Randomness Via Irrational Numbers

Strong Algebras and Radical Sylvester-Gallai Configurations

Randomized Black-Box PIT for Small Depth +-Regular Non-commutative Circuits

Deterministic identity testing paradigms for bounded top-fanin depth-4 circuits

On real one-sided ideals in a free algebra

On Matrix Multiplication and Polynomial Identity Testing

Polynomial Quotient Rings and Kronecker Substitution for Deriving Combinatorial Identities

Rational exponents for cliques

Polynomial Identity Testing and the Ideal Proof System: PIT is in NP if and only if IPS can be p-simulated by a Cook-Reckhow proof system

Radical bound for Zaremba's conjecture

Improved Algebraic Degeneracy Testing

An Elementary Problem in Galois Theory about the Roots of Irreducible Polynomials

Radical factorization in higher dimension

Generalization of Ramanujan Famous Nested Radicals to the nth Root and their Evaluation

A study of some recent irreducibility criteria for polynomials having integer coefficients

On the linear independence of radicals