Near-optimal Bootstrapping of Hitting Sets for Algebraic Circuits

07/17/2018
by   Mrinal Kumar, et al.
0

The classical lemma of Ore-DeMillo-Lipton-Schwartz-Zippel states that any nonzero polynomial f(x_1,..., x_n) of degree at most s will evaluate to a nonzero value at some point on a grid S^n ⊆F^n with |S| > s. Thus, there is a deterministic polynomial identity test (PIT) for all degree-s size-s algebraic circuits in n variables that runs in time poly(s) · (s+1)^n. In a surprising recent result, Agrawal, Ghosh and Saxena (STOC 2018) showed any deterministic blackbox PIT algorithm for degree-s, size-s, n-variate circuits with running time as bad as s^n^0.5 - δHuge(n), where δ > 0 and Huge(n) is an arbitrary function, can be used to construct blackbox PIT algorithms for degree-s size s circuits with running time s^∘ (O( ^∗ s)). The authors asked if a similar conclusion followed if their hypothesis was weakened to having deterministic PIT with running time s^o(n)·Huge(n). In this paper, we answer their question in the affirmative. We show that, given a deterministic blackbox PIT that runs in time s^o(n)·Huge(n) for all degree-s size-s algebraic circuits over n variables, we can obtain a deterministic blackbox PIT that runs in time s^∘(O(^*s)) for all degree-s size-s algebraic circuits over n variables. In other words, any blackbox PIT with just a slightly non-trivial exponent of s compared to the trivial s^O(n) test can be used to give a nearly polynomial time blackbox PIT algorithm.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/17/2018

Near-optimal Bootstrapping of Hitting Sets for Algebraic Models

The classical lemma of Ore-DeMillo-Lipton-Schwartz-Zippel [Ore22,DL78,Zi...
research
09/18/2023

Deterministic Algorithms for Low Degree Factors of Constant Depth Circuits

For every constant d, we design a subexponential time deterministic algo...
research
04/30/2019

Derandomization from Algebraic Hardness

A hitting-set generator (HSG) is a polynomial map G:F^k →F^n such that f...
research
09/24/2020

On the Parameterized Complexity of Maximum Degree Contraction Problem

In the Maximum Degree Contraction problem, input is a graph G on n verti...
research
10/21/2020

Rigid continuation paths II. Structured polynomial systems

We design a probabilistic algorithm that, given ϵ>0 and a polynomial sys...
research
08/19/2019

An Efficient Algorithm to Test Potentially Bipartiteness of Graphical Degree Sequences

As a partial answer to a question of Rao, a deterministic and customizab...
research
12/10/2020

Constructing Depth-Optimum Circuits for Adders and AND-OR Paths

We examine the fundamental problem of constructing depth-optimum circuit...

Please sign up or login with your details

Forgot password? Click here to reset