首页    期刊浏览 2024年07月08日 星期一
登录注册

文章基本信息

  • 标题:Hitting-sets for low-distance multilinear depth-3
  • 本地全文:下载
  • 作者:Manindra Agrawal ; Rohit Gurjar ; Arpita Korwar
  • 期刊名称:Electronic Colloquium on Computational Complexity
  • 印刷版ISSN:1433-8092
  • 出版年度:2013
  • 卷号:2013
  • 出版社:Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
  • 摘要:

    The depth-3 model has recently gained much importance, as it has become a stepping-stone to understanding general arithmetic circuits. Its restriction to multilinearity has known exponential lower bounds but no nontrivial blackbox identity tests. In this paper we take a step towards designing such hitting-sets. We define a notion of distance for multilinear depth-3 circuits (say, in n variables and k product gates) that measures how far are the partitions from a mere refinement. The 1-distance strictly subsumes the set-multilinear model, while n-distance captures general multilinear depth-3 . We design a hitting-set in time poly(ndeltalogk) for delta-distance. Further, we give an extension of our result to models where the distance is large (close to n) but it is small when restricted to certain variables. This implies the first subexponential whitebox PIT for the sum of constantly many set-multilinear depth-3 circuits.

    We also explore a new model of read-once algebraic branching programs (ROABP) where the factor-matrices are invertible (called invertible-factor ROABP). We design a hitting-set in time poly(sizew2) for width-w invertible-factor ROABP. Further, we could do without the invertibility restriction when w=2. Previously, the best result for width-2 ROABP was quasi-polynomial time (Forbes-Saptharishi-Shpilka, arXiv 2013).

    The common thread in all these results is the phenomenon of low-support 'rank concentration'. We exploit the structure of these models to prove rank-concentration after a 'small shift' in the variables. Our proof techniques are stronger than the results of Agrawal-Saha-Saxena (STOC 2013) and Forbes-Saptharishi-Shpilka (arXiv 2013); giving us quasi-polynomial-time hitting-sets for models where no subexponential whitebox algorithms were known before.

  • 关键词:delta distance; depth-3 multilinear; PIT
国家哲学社会科学文献中心版权所有