Abstract:In a recent work, Gryaznov, Pudlák, and Talebanfard (CCC' 22) introduced a stronger version of affine extractors known as directional affine extractors, together with a generalization of $\mathsf{ROBP}$s where each node can make linear queries, and showed that the former implies strong lower bound for a certain type of the latter known as strongly read-once linear branching programs ($\mathsf{SROLBP}$s). Their main result gives explicit constructions of directional affine extractors for entropy $k > 2n/3$, which implies average-case complexity $2^{n/3-o(n)}$ against $\mathsf{SROLBP}$s with exponentially small correlation. A follow-up work by Chattopadhyay and Liao (ECCC' 22) improves the hardness to $2^{n-o(n)}$ at the price of increasing the correlation to polynomially large. In this paper we show: An explicit construction of directional affine extractors with $k=o(n)$ and exponentially small error, which gives average-case complexity $2^{n-o(n)}$ against $\mathsf{SROLBP}$s with exponentially small correlation, thus answering the two open questions raised in previous works. An explicit function in $\mathsf{AC}^0$ that gives average-case complexity $2^{(1-\delta)n}$ against $\mathsf{ROBP}$s with negligible correlation, for any constant $\delta>0$. Previously, no such average-case hardness is known, and the best size lower bound for any function in $\mathsf{AC}^0$ against $\mathsf{ROBP}$s is $2^{\Omega(n)}$. One of the key ingredients in our constructions is a new linear somewhere condenser for affine sources, which is based on dimension expanders. The condenser also leads to an unconditional improvement of the entropy requirement of explicit affine extractors with negligible error. We further show that the condenser also works for general weak random sources, under the Polynomial Freiman-Ruzsa Theorem in $\mathsf{F}_2^n$.

Determinants vs. Algebraic Branching Programs

Determinants vs. Algebraic Branching Programs

Proof complexity of positive branching programs

Sub-Exponential Lower Bounds for Branch-and-Bound with General Disjunctions via Interpolation

Homogeneous Algebraic Complexity Theory and Algebraic Formulas

The splitting power of branching programs of bounded repetition and CNFs of bounded width

Two types of branching programs with bounded repetition that cannot efficiently compute monotone 3-CNFs

A Generalized Quantum Branching Program

Limitations of Sums of Bounded-Read Formulas

A method for command identification, using modified collision free hashing with addition & rotation iterative hash functions (part 1)

Lower bounds for algebraic computation trees with integer inputs

Quantum and Stochastic Branching Programs of Bounded Width

Partial Minimum Branching Program Size Problem is ETH-hard

Termination Analysis of Polynomial Programs with Equality Conditions

Finite Algebras with Hom-Sets of Polynomial Size

Explicit Commutative ROABPs from Partial Derivatives

A Machine Learning-Based Approximation of Strong Branching

A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds

The Complexity of Order-Finding for ROABPs

Explicit Directional Affine Extractors and Improved Hardness for Linear Branching Programs

On The Closures of Monotone Algebraic Classes and Variants of the Determinant