Optimal PRGs for Low-Degree Polynomials over Polynomial-Size Fields

TL;DR

This paper presents the first construction of optimal seed length pseudorandom generators for low-degree polynomials over fields of polynomial size, improving previous results and revealing a threshold phenomenon related to field size.

Contribution

It introduces a new PRG construction over polynomial-sized fields with optimal seed length, replacing hitting-set generators with a novel pseudorandom object.

Findings

Constructed PRGs with optimal seed length over fields of size approximately d^4.

Identified a threshold phenomenon where smaller fields imply similar PRGs for binary fields.

Proved the inherent nature of the field-size dependence phenomenon.

Abstract

Pseudorandom generators (PRGs) for low-degree polynomials are a central object in pseudorandomness, with applications to circuit lower bounds and derandomization. Viola's celebrated construction gives a PRG over the binary field, but with seed length exponential in the degree $d$. This exponential dependence can be avoided over sufficiently large fields. In particular, Dwivedi, Guo, and Volk constructed PRGs with optimal seed length over fields of size exponential in $d$. The latter builds on the framework of Derksen and Viola, who obtained optimal-seed constructions over fields of size polynomial in $d$, although growing with the number of variables $n$. In this work, we construct the first PRG with optimal seed length for degree-$d$ polynomials over fields of polynomial size, specifically $q \approx d^4$, assuming sufficiently large characteristic. Our construction follows the framework of prior work and reduces the required field size by replacing the hitting-set generator used in previous constructions with a new pseudorandom object. We also observe a threshold phenomenon in the field-size dependence. Specifically, we prove that constructing PRGs over fields of sublinear size, for example $q = d^{0.99}$ where $q$ is a power of two, would already yield PRGs for the binary field with comparable seed length via our reduction, provided that the construction imposes no restriction on the characteristic. While a breakdown of existing techniques has been noted before, we prove that this phenomenon is inherent to the problem itself, irrespective of the technique used.