Asymptotically optimal hitting sets against polynomials

with Markus Bläser, Moritz Hardt. ICALP (1) 2008.



Our main result is an efficient construction of a hitting set generator against the class of polynomials of degree did_i in the ii-th variable. The seed length of this generator is logD+O~(log1/2D)\log D+\tilde O(\log^{1/2}D). Here, logD=ilog(di+1)\log D=\sum_i \log(d_i+1) is a lower bound bound on the seed length of any hitting set generator against this class. Our construction is the first to achieve asymptotically optimal seed length for every choice of the parameters did_i. In fact, we present a nearly linear time construction with this asymptotic guarantee. Furthermore, our results extend to classes of polynomials parameterized by upper bounds on the number of nonzero terms in each variable.

Underlying all of our constructions is a general and novel framework that exploits the product structure common to the classes of polynomials we consider. This framework allows us to obtain efficient and asymptotically optimal hitting set generators from primitives that need not be optimal or efficient by themselves.

The main application of our work are the first blackbox polynomial identity tests with an asymptotically optimal randomness consumption.