Author:
Agrawal Manindra,Ghosh Sumanta,Saxena Nitin
Abstract
We show that for the blackbox polynomial identity testing (PIT) problem it suffices to study circuits that depend only on the first extremely few variables. One needs only to consider size-s degree-s circuits that depend on the firstlog○c svariables (where c is a constant and composes a logarithm with itself c times). Thus, the hitting-set generator (hsg) manifests a bootstrapping behavior—a partial hsg against very few variables can be efficiently grown to a complete hsg. A Boolean analog, or a pseudorandom generator property of this type, is unheard of. Our idea is to use the partial hsg and its annihilator polynomial to efficiently bootstrap the hsg exponentially w.r.t. variables. This is repeated c times in an efficient way. Pushing the envelope further we show that (i) a quadratic-time blackbox PIT for 6,913-variate degree-s size-s polynomials will lead to a “near”-complete derandomization of PIT and (ii) a blackbox PIT for n-variate degree-s size-s circuits insnδtime, forδ<1/2, will lead to a near-complete derandomization of PIT (in contrast,sntime is trivial). Our second idea is to study depth-4 circuits that depend on constantly many variables. We show that a polynomial-time computable,O(s1.49)-degree hsg for trivariate depth-4 circuits bootstraps to a quasipolynomial time hsg for general polydegree circuits and implies a lower bound that is a bit stronger than that of Kabanets and Impagliazzo [Kabanets V, Impagliazzo R (2003)Proceedings of the Thirty-Fifth Annual ACM Symposium on Theory of Computing STOC ’03].
Funder
Department of Science and Technology, Ministry of Science and Technology
DST | Science and Engineering Research Board
Publisher
Proceedings of the National Academy of Sciences
Reference68 articles.
1. A probabilistic remark on algebraic program testing;Demillo;Inf Process Lett,1978
2. Probabilistic algorithms for sparse polynomials;Zippel,1979
3. Fast probabilistic algorithms for verification of polynomial identities;Schwartz;J ACM,1980
4. Geometric complexity theory V: Efficient algorithms for Noether normalization;Mulmuley;J Am Math Soc,2017
5. Grochow JA Mulmuley KD Qiao Y (2016) Boundaries of VP and VNP. 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), Leibniz International Proceedings in Informatics (LIPIcs), eds Chatzigiannakis I, Mitzenmacher M, Rabani Y, Sangiorgi D (Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany), Vol 55, pp 34.1–34.14.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献