Small hitting-sets for tiny arithmetic circuits or: How to turn bad designs into good
Abstract
We show that if we can design poly()-time hitting-sets for circuits of size , where is arbitrarily small and the number of variables, or arity , is , then we can derandomize blackbox PIT for general circuits in quasipolynomial time. This also establishes that either E\#P/poly or that VPVNP. In fact, we show that one only needs a poly()-time hitting-set against individual-degree polynomials that are computable by a size- arity- circuit (note: fanin may be ). Alternatively, we claim that, to understand VP one only needs to find hitting-sets, for depth-, that have a small parameterized complexity. Another tiny family of interest is when we restrict the arity to be arbitrarily small. We show that if we can design poly()-time hitting-sets for size- arity- circuits (resp.~), where function is arbitrary, then we can solve PIT for VP in quasipoly-time, and prove the corresponding lower bounds. Our methods are strong enough to prove a surprising {\em arity reduction} for PIT-- to solve the general problem completely it suffices to find a blackbox PIT with time-complexity . We give several examples of ()-variate circuits where a new measure (called cone-size) helps in devising poly-time hitting-sets, but the same question for their -variate versions is open till date: For eg., diagonal depth- circuits, and in general, models that have a {\em small} partial derivative space. We also introduce a new concept, called cone-closed basis isolation, and provide example models where it occurs, or can be achieved by a small shift.
Cite
@article{arxiv.1702.07180,
title = {Small hitting-sets for tiny arithmetic circuits or: How to turn bad designs into good},
author = {Manindra Agrawal and Michael Forbes and Sumanta Ghosh and Nitin Saxena},
journal= {arXiv preprint arXiv:1702.07180},
year = {2017}
}
Comments
25 pages, No figures