Derandomization from Algebraic Hardness: Treading the Borders

Abstract

A hitting-set generator (HSG) is a polynomial map Gen:F^k → F^n such that for all n-variate polynomials Q of small enough circuit size and degree, if Q is non-zero, then Q ∘ Gen is non-zero. In this paper, we give a new construction of such a HSG assuming that we have an explicit polynomial of sufficient hardness in the sense of approximative or border complexity. Formally, we prove the following result over any characteristic zero field F: Suppose P(z_1,..., z_k) is an explicit k-variate degree d polynomial that is not in the border of circuits of size s. Then, there is an explicit hitting-set generator Gen(P): F^2k → F^n such that every non-zero n-variate degree D polynomial Q(x) in the border of size s′ circuits satisfies Q ≠ 0 ⇒ Q ∘ Gen(P) ≠ 0 provided n^10k d D s' 0 be a constant and k be a large enough constant. Suppose, for every s ≥ k, there is an explicit hitting set of size s^k-δ for all degree s polynomials in the border of k-variate size s algebraic circuits. Then, there is an explicit hitting set of size poly(s) for the border s-variate algebraic circuits of size s and degree s. Unlike the prior constructions of such maps (e.g.[NW94], [KI04], [AGS19], [KST19]), our construction is purely algebraic and does not rely on the notion of combinatorial designs.