首页    期刊浏览 2024年10月06日 星期日
登录注册

文章基本信息

  • 标题:Separation between Read-once Oblivious Algebraic Branching Programs (ROABPs) and Multilinear Depth Three Circuits
  • 本地全文:下载
  • 作者:Neeraj Kayal ; Vineet Nair ; Chandan Saha
  • 期刊名称:Electronic Colloquium on Computational Complexity
  • 印刷版ISSN:1433-8092
  • 出版年度:2015
  • 卷号:2015
  • 出版社:Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
  • 摘要:

    We show an exponential separation between two well-studied models of algebraic computation, namely read-once oblivious algebraic branching programs (ROABPs) and multilinear depth three circuits. In particular we show the following:

    1. There exists an explicit n -variate polynomial computable by linear sized multilinear depth three circuits (with only two product gates) such that every ROABP computing it requires 2 ( n ) size.

    2. Any multilinear depth three circuit computing IMM n d (the iterated matrix multiplication polynomial formed by multiplying d , n n symbolic matrices) has n ( d ) size. IMM n d can be easily computed by a poly( n d ) sized ROABP.

    3. Further, the proof of 2 yields an exponential separation between multilinear depth four and multilinear depth three circuits: There is an explicit n -variate, degree d polynomial computable by a poly( n ) sized multilinear depth four circuit such that any multilinear depth three circuit computing it has size n ( d ) . This improves upon the quasi-polynomial separation of Raz & Yehudayoff (2009) between these two models. The hard polynomial in 1 is constructed using a novel application of expander graphs in conjunction with the evaluation dimension measure (Raz 2006, Forbes & Shpilka 2013), while 2 is proved via a new adaptation of the dimension of the partial derivatives measure of Nisan & Wigderson (1997). Our lower bounds hold over any field.

  • 关键词:arithmetic circuits ; depth three circuits ; Iterated Matrix Multiplication ; lower bounds ; read-once ABP
国家哲学社会科学文献中心版权所有