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 条