identity testing for constant width and commutative roabps
play

Identity Testing for constant-width, and commutative, ROABPs Rohit - PowerPoint PPT Presentation

Identity Testing for constant-width, and commutative, ROABPs Rohit Gurjar , Arpita Korwar, Nitin Saxena Aalen University and IIT Kanpur June 1, 2016 supported by TCS research fellowship supported by DST-SERB Gurjar, Korwar,


  1. Identity Testing for constant-width, and commutative, ROABPs Rohit Gurjar ∗ , Arpita Korwar, Nitin Saxena † Aalen University and IIT Kanpur June 1, 2016 ∗ supported by TCS research fellowship † supported by DST-SERB Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 1 / 26

  2. Introduction Polynomial Identity Testing PIT: given a polynomial P ( x ) ∈ F [ x 1 , x 2 , . . . , x n ], P ( x ) = 0? Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 2 / 26

  3. Introduction Polynomial Identity Testing PIT: given a polynomial P ( x ) ∈ F [ x 1 , x 2 , . . . , x n ], P ( x ) = 0? Input Models: Arithmetic Circuits Arithmetic Branching Programs + x 2 − 2 xy − 2 xy x 2 × × − 2 x y Figure : An Arithmetic circuit Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 2 / 26

  4. Introduction Randomized Test Rephrasing the question: Given an arithmetic circuit decide if it computes the zero polynomial. Randomized PIT: evaluate P ( x ) at a random point [Demillo and Lipton, 1978, Zippel, 1979, Schwartz, 1980]. Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 3 / 26

  5. Introduction Randomized Test Rephrasing the question: Given an arithmetic circuit decide if it computes the zero polynomial. Randomized PIT: evaluate P ( x ) at a random point [Demillo and Lipton, 1978, Zippel, 1979, Schwartz, 1980]. There is no efficient deterministic test known. Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 3 / 26

  6. Introduction Randomized Test Rephrasing the question: Given an arithmetic circuit decide if it computes the zero polynomial. Randomized PIT: evaluate P ( x ) at a random point [Demillo and Lipton, 1978, Zippel, 1979, Schwartz, 1980]. There is no efficient deterministic test known. Two Paradigms: Whitebox: one can see the input circuit. Blackbox: circuit is hidden, only evaluations are allowed (hitting-sets). Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 3 / 26

  7. Introduction Randomized Test Rephrasing the question: Given an arithmetic circuit decide if it computes the zero polynomial. Randomized PIT: evaluate P ( x ) at a random point [Demillo and Lipton, 1978, Zippel, 1979, Schwartz, 1980]. There is no efficient deterministic test known. Two Paradigms: Whitebox: one can see the input circuit. Blackbox: circuit is hidden, only evaluations are allowed (hitting-sets). Derandomizing PIT has connections with circuit lower bounds [Kabanets and Impagliazzo, 2003, Agrawal, 2005]. Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 3 / 26

  8. Introduction Randomized Test Rephrasing the question: Given an arithmetic circuit decide if it computes the zero polynomial. Randomized PIT: evaluate P ( x ) at a random point [Demillo and Lipton, 1978, Zippel, 1979, Schwartz, 1980]. There is no efficient deterministic test known. Two Paradigms: Whitebox: one can see the input circuit. Blackbox: circuit is hidden, only evaluations are allowed (hitting-sets). Derandomizing PIT has connections with circuit lower bounds [Kabanets and Impagliazzo, 2003, Agrawal, 2005]. An efficient test is known only for restricted classes of circuits, e.g., Sparse polynomials, set-multilinear circuits, ROABP. Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 3 / 26

  9. Preliminaries Arithmetic Branching Programs x 2 x 1 + 2 x 4 x 1 s t − 1 5 x 1 + x 2 x 2 Figure : An Arithmetic branching program. ABP: a directed acyclic graph G with a start node and an end node. Each edge has a weight from F [ x ]. Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 4 / 26

  10. Preliminaries Arithmetic Branching Programs x 2 x 1 + 2 x 4 x 1 s t − 1 5 x 1 + x 2 x 2 Figure : An Arithmetic branching program. ABP: a directed acyclic graph G with a start node and an end node. Each edge has a weight from F [ x ]. � � C ( x ) = W ( p ) , where W ( p ) = W ( e ) . e ∈ p p ∈ paths( s , t ) Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 4 / 26

  11. Preliminaries Arithmetic Branching Programs x 2 x 1 + 2 x 4 x 1 s t − 1 5 x 1 + x 2 x 2 Figure : An Arithmetic branching program. ABP: a directed acyclic graph G with a start node and an end node. Each edge has a weight from F [ x ]. � � C ( x ) = W ( p ) , where W ( p ) = W ( e ) . e ∈ p p ∈ paths( s , t ) C ( x ) = ( x 1 + 2 x 4 ) x 2 x 1 − ( x 1 + 2 x 4 ) x 2 + ( x 1 + x 2 )5 x 2 Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 4 / 26

  12. Preliminaries Arithmetic Branching Programs x 2 x 1 + 2 x 4 x 1 s t − 1 5 x 1 + x 2 x 2 Figure : An Arithmetic branching program. ABP: a directed acyclic graph G with a start node and an end node. Each edge has a weight from F [ x ]. � � C ( x ) = W ( p ) , where W ( p ) = W ( e ) . e ∈ p p ∈ paths( s , t ) C ( x ) = ( x 1 + 2 x 4 ) x 2 x 1 − ( x 1 + 2 x 4 ) x 2 + ( x 1 + x 2 )5 x 2 Width: maximum number of nodes in a layer. Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 4 / 26

  13. Preliminaries Arithmetic Branching Programs x 2 x 1 + 2 x 4 x 1 s t − 1 5 x 1 + x 2 x 2 Figure : An Arithmetic branching program. Equivalent representation: � � x 2 � � x 1 � − 1 � x 1 + 2 x 4 x 1 + x 2 0 5 x 2 C ( x ) = ( x 1 + 2 x 4 ) x 2 x 1 − ( x 1 + 2 x 4 ) x 2 + ( x 1 + x 2 )5 x 2 Width: maximum dimension of the matrices. Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 5 / 26

  14. Preliminaries Power of ABPs Almost as powerful as arithmetic circuits [Valiant, 1979, Berkowitz, 1984]. Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 6 / 26

  15. Preliminaries Power of ABPs Almost as powerful as arithmetic circuits [Valiant, 1979, Berkowitz, 1984]. Width-3 ABPs have the same expressive power as arithmetic formulas [Ben-Or and Cleve, 1992]. Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 6 / 26

  16. Preliminaries Power of ABPs Almost as powerful as arithmetic circuits [Valiant, 1979, Berkowitz, 1984]. Width-3 ABPs have the same expressive power as arithmetic formulas [Ben-Or and Cleve, 1992]. Deterministic PIT: only for special ABPs, e.g. read-once oblivious ABP. Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 6 / 26

  17. Read-once Oblivious ABP Read-once Oblivious ABP Any variable occurs in at most one layer. x 3 3 x 1 x 2 x 2 x 3 3 + 5 x 3 4 − 1 x 2 1 + 1 x 4 4 x 3 − 3 2 x 3 + 1 1 − x 2 2 x 4 + 1 2 x 3 1 + 3 3 x 4 3 x 2 + 3 x 2 2 1 − x 3 Figure : A Read-once oblivious ABP with variable order ( x 1 , x 3 , x 2 , x 4 ) Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 7 / 26

  18. Read-once Oblivious ABP PIT for ROABPs [Raz and Shpilka, 2005] gave a polynomial time whitebox test for ROABP. Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 8 / 26

  19. Read-once Oblivious ABP PIT for ROABPs [Raz and Shpilka, 2005] gave a polynomial time whitebox test for ROABP. Blackbox test: n O (log n ) time [Forbes and Shpilka, 2013, Forbes et al., 2014, Agrawal et al., 2015]. Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 8 / 26

  20. Read-once Oblivious ABP PIT for ROABPs [Raz and Shpilka, 2005] gave a polynomial time whitebox test for ROABP. Blackbox test: n O (log n ) time [Forbes and Shpilka, 2013, Forbes et al., 2014, Agrawal et al., 2015]. Nothing better known even for constant width. Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 8 / 26

  21. Read-once Oblivious ABP Our Results 1 Polynomial time blackbox test for constant width ROABPs*. Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 9 / 26

  22. Read-once Oblivious ABP Our Results 1 Polynomial time blackbox test for constant width ROABPs*. * known variable order. * zero characteristic field (or large enough). Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 9 / 26

  23. Read-once Oblivious ABP Our Results 1 Polynomial time blackbox test for constant width ROABPs*. * known variable order. * zero characteristic field (or large enough). 2 Commutative ROABP: where matrices commute (no variable order). Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 9 / 26

  24. Read-once Oblivious ABP Our Results 1 Polynomial time blackbox test for constant width ROABPs*. * known variable order. * zero characteristic field (or large enough). 2 Commutative ROABP: where matrices commute (no variable order). d O (log w ) ( nw ) O (log log w ) -time blackbox test [Forbes et al., 2014] – for n variables, width w and individual degree d . Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 9 / 26

  25. Read-once Oblivious ABP Our Results 1 Polynomial time blackbox test for constant width ROABPs*. * known variable order. * zero characteristic field (or large enough). 2 Commutative ROABP: where matrices commute (no variable order). d O (log w ) ( nw ) O (log log w ) -time blackbox test [Forbes et al., 2014] – for n variables, width w and individual degree d . We improve it to ( dnw ) O (log log w ) -time. Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 9 / 26

  26. Read-once Ordered Branching Programs Read-once Ordered Branching Programs x 2 = 1 x 3 = 1 x 4 = 0 x 1 = 0 x 3 = 0 x 2 = 0 x 3 = 1 x 4 = 1 x 2 = 1 x 3 = 1 x 1 = 1 x 4 = 0 x 2 = 0 x 3 = 0 Figure : An ROBP Gurjar, Korwar, Saxena PIT for constant-width ROABPs June 1, 2016 10 / 26

Recommend


More recommend