Identity Testing and Lower Bounds for Read-k Oblivious Algebraic Branching Programs

被引:7
|
作者
Anderson, Matthew [1 ]
Forbes, Michael A. [2 ]
Saptharishi, Ramprasad [3 ]
Shpilka, Amir [3 ]
Volk, Ben Lee [3 ]
机构
[1] Union Coll, Dept Comp Sci, Schenectady, NY 12308 USA
[2] Princeton Univ, Dept Comp Sci, Princeton, NJ 08544 USA
[3] Tel Aviv Univ, Dept Comp Sci, Tel Aviv, Israel
关键词
Algebraic Complexity; Lower Bounds; Derandomization; Polynomial Identity Testing; PSEUDORANDOM GENERATORS; ARITHMETIC CIRCUITS; DEPTH; 4; COMPUTATION; CHASM;
D O I
10.4230/LIPIcs.CCC.2016.30
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Read-k oblivious algebraic branching programs are a natural generalization of the well-studied model of read-once oblivious algebraic branching program (ROABPs). In this work, we give an exponential lower bound of exp(n/k (k)) on the width of any read-k oblivious ABP computing some explicit multilinear polynomial f that is computed by a polynomial size depth-3 circuit. We also study the polynomial identity testing (PIT) problem for this model and obtain a white-box xsubexponential-time PIT algorithm. The algorithm runs in time 2 (1 1/2k-i) and needs white box access only to know the order in which the variables appear in the ABP.
引用
收藏
页数:25
相关论文
共 50 条
  • [11] Identity Testing for Constant-Width, and Any-Order, Read-Once Oblivious Arithmetic Branching Programs
    Gurjar, Rohit
    Korwar, Arpita
    Saxena, Nitin
    THEORY OF COMPUTING, 2017, 13 : 1 - 21
  • [12] Lower bounds for restricted read-once parity branching programs
    Homeister, Matthias
    THEORETICAL COMPUTER SCIENCE, 2006, 359 (1-3) : 1 - 14
  • [13] Lower Bounds for the Sum of Small-Size Algebraic Branching Programs
    Bhargav, C. S.
    Dwivedi, Prateek
    Saxena, Nitin
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, TAMC 2024, 2024, 14637 : 355 - 366
  • [14] Lower bounds for the sum of small-size algebraic branching programs
    Bhargav, C.S.
    Dwivedi, Prateek
    Saxena, Nitin
    Theoretical Computer Science, 2025, 1041
  • [15] Separation Between Read-once Oblivious Algebraic Branching Programs (ROABPs) and Multilinear Depth Three Circuits
    Kayal, Neeraj
    Nair, Vineet
    Saha, Chandan
    33RD SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2016), 2016, 47
  • [16] Deterministic Black-Box Identity Testing π-Ordered Algebraic Branching Programs
    Jansen, Maurice
    Qiao, Youming
    Sarma, Jayalal M. N.
    IARCS ANNUAL CONFERENCE ON FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE (FSTTCS 2010), 2010, 8 : 296 - 307
  • [17] Deterministic black-box identity testing π-ordered algebraic branching programs
    Jansen, Maurice
    Qiao, Youming
    Jayalal Sarma, M.N.
    Leibniz International Proceedings in Informatics, LIPIcs, 2010, 8 : 296 - 307
  • [18] Identity Testing, Multilinearity Testing, and Monomials in Read-Once/Twice Formulas and Branching Programs
    Mahajan, Meena
    Rao, B. V. Raghavendra
    Sreenivasaiah, Karteek
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2012, 2012, 7464 : 655 - 667
  • [19] Separation Between Read-once Oblivious Algebraic Branching Programs (ROABPs) and Multilinear Depth-three Circuits
    Kayal, Neeraj
    Nair, Vineet
    Saha, Chandan
    ACM TRANSACTIONS ON COMPUTATION THEORY, 2020, 12 (01)
  • [20] A read-once lower bound and a (1,+k)-hierarchy for branching programs
    Savicky, P
    Zák, S
    THEORETICAL COMPUTER SCIENCE, 2000, 238 (1-2) : 347 - 362