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 [4 ]
Volk, Ben Lee [4 ]
机构
[1] Union Coll, Dept Comp Sci, 807 Union St, Schenectady, NY 12308 USA
[2] Univ Illinois, Thomas M Siebel Ctr Comp Sci, Dept Comp Sci, 201 North Goodwin Ave, Urbana, IL 61801 USA
[3] Tata Inst Fundamental Res, Sch Technol & Comp Sci, Dr Homi Bhabha Rd, Bombay 400005, Maharashtra, India
[4] Tel Aviv Univ, Sch Comp Sci, Schreiber Bldg,POB 39040, IL-6997801 Tel Aviv, Israel
关键词
Algebraic complexity theory; algebraic circuits; polynomial identity testing; lower bounds;
D O I
10.1145/3170709
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Read-k oblivious algebraic branching programs are a natural generalization of the well-studied model of read-once oblivious algebraic branching program (ABP). In this work, we give an exponential lower bound of exp(n/k(O(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 subexponential-time PIT algorithm. The algorithm runs in time 2 (O) over tilde (n(1-1/2k-1)) and needs white box access only to know the order in which the variables appear in the ABP.
引用
收藏
页数:30
相关论文
共 50 条
  • [1] Identity Testing and Lower Bounds for Read-k Oblivious Algebraic Branching Programs
    Anderson, Matthew
    Forbes, Michael A.
    Saptharishi, Ramprasad
    Shpilka, Amir
    Volk, Ben Lee
    31ST CONFERENCE ON COMPUTATIONAL COMPLEXITY (CCC 2016), 2016, 50
  • [2] Quasipolynomial-time Identity Testing of Non-Commutative and Read-Once Oblivious Algebraic Branching Programs
    Forbes, Michael A.
    Shpilka, Amir
    2013 IEEE 54TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS), 2013, : 243 - 252
  • [3] Randomness versus nondeterminism for read-once and read-k branching programs
    Sauerhoff, M
    STACS 2003, PROCEEDINGS, 2003, 2607 : 307 - 318
  • [4] Deterministic Identity Testing for Sum of Read-once Oblivious Arithmetic Branching Programs
    Gurjar, Rohit
    Korwar, Arpita
    Saxena, Nitin
    Thierauf, Thomas
    30TH CONFERENCE ON COMPUTATIONAL COMPLEXITY (CCC 2015), 2015, 33 : 323 - 346
  • [5] Deterministic Identity Testing for Sum of Read-Once Oblivious Arithmetic Branching Programs
    Rohit Gurjar
    Arpita Korwar
    Nitin Saxena
    Thomas Thierauf
    computational complexity, 2017, 26 : 835 - 880
  • [6] Deterministic Identity Testing for Sum of Read-Once Oblivious Arithmetic Branching Programs
    Gurjar, Rohit
    Korwar, Arpita
    Saxena, Nitin
    Thierauf, Thomas
    COMPUTATIONAL COMPLEXITY, 2017, 26 (04) : 835 - 880
  • [7] Lower bounds for randomized read-k-times branching programs
    Sauerhoff, M
    STACS 98 - 15TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1998, 1373 : 105 - 115
  • [8] Lower bounds for syntactically multilinear algebraic branching programs
    Jansen, Maurice J.
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2008, PROCEEDINGS, 2008, 5162 : 407 - 418
  • [9] QUADRATIC LOWER BOUNDS FOR ALGEBRAIC BRANCHING PROGRAMS AND FORMULAS
    Chatterjee, Prerona
    Kumar, Mrinal
    She, Adrian
    Volk, Ben Lee
    COMPUTATIONAL COMPLEXITY, 2022, 31 (02)
  • [10] Quadratic Lower Bounds for Algebraic Branching Programs and Formulas
    Prerona Chatterjee
    Mrinal Kumar
    Adrian She
    Ben Lee Volk
    computational complexity, 2022, 31