An Algebraic Rigidity Framework for Order-Oblivious Deterministic Black-Box PIT of ROABPs

TL;DR

This paper introduces an algebraic rigidity framework for ROABPs that enables the first order-oblivious deterministic black-box polynomial identity testing algorithm, significantly advancing derandomization in algebraic complexity.

Contribution

It develops a novel algebraic rigidity approach based on matrix word algebras, enabling order-oblivious deterministic PIT for ROABPs without prior variable order knowledge.

Findings

First order-oblivious deterministic black-box PIT algorithm for ROABPs.

Rigidity reduces algebraic degrees of freedom to dimension at most w^2.

Formulation of a Modular Stability Conjecture to achieve polynomial-time PIT.

Abstract

Deterministic black-box polynomial identity testing (PIT) for read-once oblivious algebraic branching programs (ROABPs) is a central open problem in algebraic complexity, particularly in the absence of variable ordering. Prior deterministic algorithms either rely on order information or incur significant overhead through combinatorial isolation techniques. In this paper, we introduce an algebraic rigidity framework for ROABPs based on the internal structure of their associated matrix word algebras. We show that nonzero width-$w$ ROABPs induce word algebras whose effective algebraic degrees of freedom collapse to dimension at most $w^2$, independent of the number of variables. This rigidity enables deterministic witness construction via intrinsic algebraic invariants, bypassing rank concentration, isolation lemmas, and probabilistic tools used in previous work.Thus, we obtain the first order-oblivious deterministic black-box PIT algorithm for ROABPs, running in quasi-polynomial time $n\cdot(wd)^{O(w^2)}$. This establishes that algebraic rigidity alone suffices to derandomize PIT in this model, without assuming ordering information. The framework further isolates a single remaining obstacle to full polynomial-time complexity. We formulate a Modular Stability Conjecture, asserting that width-$w$ ROABPs are stable under hashing into cyclic quotient rings $\mathbb{K}[\lambda]/< \lambda^r-1 >$ once the modulus exceeds a polynomial threshold in $w$ and the individual degree. This conjecture arises naturally from the low-dimensional coefficient structure revealed by rigidity and is supported by extensive empirical evidence. Assuming the conjecture, our methods yield a fully polynomial-time deterministic black-box PIT algorithm for ROABPs, matching the complexity of the best-known white-box algorithms and reducing the black-box problem to a concrete algebraic stability question.