Hitting Sets for Orbits of Circuit Classes and Polynomial Families

Authors Chandan Saha, Bhargav Thankey



PDF
Thumbnail PDF

File

LIPIcs.APPROX-RANDOM.2021.50.pdf
  • Filesize: 0.91 MB
  • 26 pages

Document Identifiers

Author Details

Chandan Saha
  • Department of Computer Science and Automation, Indian Institute of Science, Bangalore, India
Bhargav Thankey
  • Department of Computer Science and Automation, Indian Institute of Science, Bangalore, India

Acknowledgements

We thank Rohit Gurjar, Ankit Garg, Neeraj Kayal, and Vishwas Bhargava for several stimulating discussions at the onset of this work.

Cite AsGet BibTex

Chandan Saha and Bhargav Thankey. Hitting Sets for Orbits of Circuit Classes and Polynomial Families. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 207, pp. 50:1-50:26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2021.50

Abstract

The orbit of an n-variate polynomial f(𝐱) over a field 𝔽 is the set {f(A𝐱+𝐛) : A ∈ GL(n,𝔽) and 𝐛 ∈ 𝔽ⁿ}. In this paper, we initiate the study of explicit hitting sets for the orbits of polynomials computable by several natural and well-studied circuit classes and polynomial families. In particular, we give quasi-polynomial time hitting sets for the orbits of: 1) Low-individual-degree polynomials computable by commutative ROABPs. This implies quasi-polynomial time hitting sets for the orbits of the elementary symmetric polynomials. 2) Multilinear polynomials computable by constant-width ROABPs. This implies a quasi-polynomial time hitting set for the orbits of the family {IMM_{3,d}}_{d ∈ ℕ}, which is complete for arithmetic formulas. 3) Polynomials computable by constant-depth, constant-occur formulas. This implies quasi-polynomial time hitting sets for the orbits of multilinear depth-4 circuits with constant top fan-in, and also polynomial-time hitting sets for the orbits of the power symmetric and the sum-product polynomials. 4) Polynomials computable by occur-once formulas.

Subject Classification

ACM Subject Classification
  • Theory of computation → Algebraic complexity theory
Keywords
  • Hitting Sets
  • Orbits
  • ROABPs
  • Rank Concentration

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Manindra Agrawal. Proving lower bounds via pseudo-random generators. In Ramaswamy Ramanujam and Sandeep Sen, editors, FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings, volume 3821 of Lecture Notes in Computer Science, pages 92-105. Springer, 2005. Google Scholar
  2. Manindra Agrawal and Somenath Biswas. Primality and identity testing via Chinese remaindering. J. ACM, 50(4):429-443, 2003. Conference version appeared in the proceedings of FOCS 1999. Google Scholar
  3. Manindra Agrawal, Rohit Gurjar, Arpita Korwar, and Nitin Saxena. Hitting-sets for ROABP and sum of set-multilinear circuits. SIAM J. Comput., 44(3):669-697, 2015. Google Scholar
  4. Manindra Agrawal, Neeraj Kayal, and Nitin Saxena. PRIMES is in P. Annals of Mathematics, 160(2):781–793, 2004. Google Scholar
  5. Manindra Agrawal, Chandan Saha, Ramprasad Saptharishi, and Nitin Saxena. Jacobian Hits Circuits: Hitting Sets, Lower Bounds for Depth-D Occur-k Formulas and Depth-3 Transcendence Degree-k Circuits. SIAM J. Comput., 45(4):1533-1562, 2016. Conference version appeared in the proceedings of STOC 2012. Google Scholar
  6. Manindra Agrawal, Chandan Saha, and Nitin Saxena. Quasi-polynomial hitting-set for set-depth-Δ formulas. In Symposium on Theory of Computing Conference, STOC'13, Palo Alto, CA, USA, June 1-4, 2013, pages 321-330. ACM, 2013. Google Scholar
  7. Manindra Agrawal and V. Vinay. Arithmetic Circuits: A Chasm at Depth Four. In 49th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2008, October 25-28, 2008, Philadelphia, PA, USA, pages 67-75. IEEE Computer Society, 2008. Google Scholar
  8. Eric Allender and Fengming Wang. On the power of algebraic branching programs of width two. Comput. Complex., 25(1):217-253, 2016. Conference version appeared in the proceedings of ICALP 2011. Google Scholar
  9. Matthew Anderson, Michael A. Forbes, Ramprasad Saptharishi, Amir Shpilka, and Ben Lee Volk. Identity Testing and Lower Bounds for Read-k Oblivious Algebraic Branching Programs. ACM Trans. Comput. Theory, 10(1):3:1-3:30, 2018. Conference version appeared in the proceedings of CCC 2016. Google Scholar
  10. Matthew Anderson, Dieter van Melkebeek, and Ilya Volkovich. Deterministic polynomial identity tests for multilinear bounded-read formulae. Comput. Complex., 24(4):695-776, 2015. Conference version appeared in the proceedings of CCC 2011. Google Scholar
  11. Malte Beecken, Johannes Mittmann, and Nitin Saxena. Algebraic independence and blackbox identity testing. Inf. Comput., 222:2-19, 2013. Conference version appeared in the proceedings of ICALP 2011. Google Scholar
  12. Michael Ben-Or and Richard Cleve. Computing Algebraic Formulas Using a Constant Number of Registers. SIAM J. Comput., 21(1):54-58, 1992. Conference version appeared in the proceedings of STOC 1988. Google Scholar
  13. Karl Bringmann, Christian Ikenmeyer, and Jeroen Zuiddam. On algebraic branching programs of small width. J. ACM, 65(5):32:1-32:29, 2018. Conference version appeared in the proceedings of CCC 2017. Google Scholar
  14. Rafael Mendes de Oliveira, Amir Shpilka, and Ben lee Volk. Subexponential Size Hitting Sets for Bounded Depth Multilinear Formulas. Comput. Complex., 25(2):455-505, 2016. Conference version appeared in the proceedings of CCC 2015. Google Scholar
  15. Richard A. DeMillo and Richard J. Lipton. A Probabilistic Remark on Algebraic Program Testing. Inf. Process. Lett., 7(4):193-195, 1978. Google Scholar
  16. Zeev Dvir and Amir Shpilka. Locally decodable codes with two queries and polynomial identity testing for depth 3 circuits. SIAM J. Comput., 36(5):1404-1434, 2007. Conference version appeared in the proceedings of STOC 2005. Google Scholar
  17. Jack Edmonds. Systems of distinct representatives and linear algebra. Journal of research of the National Bureau of Standards, 71:241–245, 1967. Google Scholar
  18. Jack Edmonds. Matroid intersection. In P.L. Hammer, E.L. Johnson, and B.H. Korte, editors, Discrete Optimization I, volume 4 of Annals of Discrete Mathematics, pages 39-49. Elsevier, 1979. Google Scholar
  19. Stephen A. Fenner, Rohit Gurjar, and Thomas Thierauf. Bipartite perfect matching is in quasi-nc. In Daniel Wichs and Yishay Mansour, editors, Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2016, Cambridge, MA, USA, June 18-21, 2016, pages 754-763. ACM, 2016. Google Scholar
  20. Michael A. Forbes. Deterministic divisibility testing via shifted partial derivatives. In Venkatesan Guruswami, editor, IEEE 56th Annual Symposium on Foundations of Computer Science, FOCS 2015, Berkeley, CA, USA, 17-20 October, 2015, pages 451-465. IEEE Computer Society, 2015. Google Scholar
  21. Michael A. Forbes, Ramprasad Saptharishi, and Amir Shpilka. Hitting sets for multilinear read-once algebraic branching programs, in any order. In David B. Shmoys, editor, Symposium on Theory of Computing, STOC 2014, New York, NY, USA, May 31 - June 03, 2014, pages 867-875. ACM, 2014. Google Scholar
  22. Michael A. Forbes and Amir Shpilka. On identity testing of tensors, low-rank recovery and compressed sensing. In Howard J. Karloff and Toniann Pitassi, editors, Proceedings of the 44th Symposium on Theory of Computing Conference, STOC 2012, New York, NY, USA, May 19 - 22, 2012, pages 163-172. ACM, 2012. Google Scholar
  23. Michael A. Forbes and Amir Shpilka. Quasipolynomial-time identity testing of non-commutative and read-once oblivious algebraic branching programs. In 54th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2013, 26-29 October, 2013, Berkeley, CA, USA, pages 243-252. IEEE Computer Society, 2013. Google Scholar
  24. Michael A. Forbes and Amir Shpilka. A PSPACE construction of a hitting set for the closure of small algebraic circuits. In Ilias Diakonikolas, David Kempe, and Monika Henzinger, editors, Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2018, Los Angeles, CA, USA, June 25-29, 2018, pages 1180-1192. ACM, 2018. Google Scholar
  25. Ariel Gabizon and Ran Raz. Deterministic extractors for affine sources over large fields. Comb., 28(4):415-440, 2008. Conference version appeared in the proceedings of FOCS 2005. Google Scholar
  26. James F. Geelen. Maximum rank matrix completion. Linear Algebra and its Applications, 288:211 – 217, 1999. Google Scholar
  27. Zeyu Guo and Rohit Gurjar. Improved explicit hitting-sets for roabps. In Jaroslaw Byrka and Raghu Meka, editors, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2020, August 17-19, 2020, Virtual Conference, volume 176 of LIPIcs, pages 4:1-4:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. Google Scholar
  28. Zeyu Guo, Nitin Saxena, and Amit Sinhababu. Algebraic dependencies and PSPACE algorithms in approximative complexity. In Rocco A. Servedio, editor, 33rd Computational Complexity Conference, CCC 2018, June 22-24, 2018, San Diego, CA, USA, volume 102 of LIPIcs, pages 10:1-10:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. Google Scholar
  29. Ankit Gupta. Algebraic geometric techniques for depth-4 PIT & sylvester-gallai conjectures for varieties. Electron. Colloquium Comput. Complex., 21:130, 2014. URL: http://eccc.hpi-web.de/report/2014/130.
  30. Ankit Gupta, Pritish Kamath, Neeraj Kayal, and Ramprasad Saptharishi. Arithmetic Circuits: A Chasm at Depth 3. SIAM J. Comput., 45(3):1064-1079, 2016. Conference version appeared in the proceedings of FOCS 2013. Google Scholar
  31. Rohit Gurjar, Arpita Korwar, and Nitin Saxena. Identity testing for constant-width, and any-order, read-once oblivious arithmetic branching programs. Theory Comput., 13(1):1-21, 2017. Conference version appeared in the proceedings of CCC 2016. Google Scholar
  32. Rohit Gurjar, Arpita Korwar, Nitin Saxena, and Thomas Thierauf. Deterministic Identity Testing for Sum of Read-Once Oblivious Arithmetic Branching Programs. Comput. Complex., 26(4):835-880, 2017. Conference version appeared in the proceedings of CCC 2015. Google Scholar
  33. Rohit Gurjar and Thomas Thierauf. Linear matroid intersection is in quasi-nc. Comput. Complex., 29(2):9, 2020. Conference version appeared in the proceedings of STOC 2017. Google Scholar
  34. Joos Heintz and Claus-Peter Schnorr. Testing polynomials which are easy to compute (extended abstract). In Raymond E. Miller, Seymour Ginsburg, Walter A. Burkhard, and Richard J. Lipton, editors, Proceedings of the 12th Annual ACM Symposium on Theory of Computing, April 28-30, 1980, Los Angeles, California, USA, pages 262-272. ACM, 1980. Google Scholar
  35. Gábor Ivanyos, Marek Karpinski, and Nitin Saxena. Deterministic polynomial time algorithms for matrix completion problems. SIAM J. Comput., 39(8):3736-3751, 2010. Google Scholar
  36. Valentine Kabanets and Russell Impagliazzo. Derandomizing polynomial identity tests means proving circuit lower bounds. Comput. Complex., 13(1-2):1-46, 2004. Conference version appeared in the proceedings of STOC 2003. Google Scholar
  37. Erich Kaltofen. Factorization of polynomials given by straight-line programs. Adv. Comput. Res., 5:375-412, 1989. Google Scholar
  38. Erich Kaltofen and Barry M. Trager. Computing with Polynomials Given By Black Boxes for Their Evaluations: Greatest Common Divisors, Factorization, Separation of Numerators and Denominators. J. Symb. Comput., 9(3):301-320, 1990. Conference version appeared in the proceedings of FOCS 1988. Google Scholar
  39. Zohar Shay Karnin, Partha Mukhopadhyay, Amir Shpilka, and Ilya Volkovich. Deterministic Identity Testing of Depth-4 Multilinear Circuits with Bounded Top Fan-in. SIAM J. Comput., 42(6):2114-2131, 2013. Conference version appeared in the proceedings of STOC 2010. Google Scholar
  40. Zohar Shay Karnin and Amir Shpilka. Black box polynomial identity testing of generalized depth-3 arithmetic circuits with bounded top fan-in. Comb., 31(3):333-364, 2011. Conference version appeared in the proceedings of CCC 2008. Google Scholar
  41. Richard M. Karp, Eli Upfal, and Avi Wigderson. Constructing a perfect matching is in random NC. Comb., 6(1):35-48, 1986. Conference version appeared in the proceedings of STOC 1985. Google Scholar
  42. Neeraj Kayal. Algorithms for arithmetic circuits. Electron. Colloquium Comput. Complex., 17:73, 2010. URL: http://eccc.hpi-web.de/report/2010/073.
  43. Neeraj Kayal and Shubhangi Saraf. Blackbox polynomial identity testing for depth 3 circuits. In 50th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2009, October 25-27, 2009, Atlanta, Georgia, USA, pages 198-207. IEEE Computer Society, 2009. Google Scholar
  44. Neeraj Kayal and Nitin Saxena. Polynomial identity testing for depth 3 circuits. Comput. Complex., 16(2):115-138, 2007. Conference version appeared in the proceedings of CCC 2006. Google Scholar
  45. Adam R. Klivans and Daniel A. Spielman. Randomness efficient identity testing of multivariate polynomials. In Proceedings on 33rd Annual ACM Symposium on Theory of Computing, July 6-8, 2001, Heraklion, Crete, Greece, pages 216-223, 2001. Google Scholar
  46. Pascal Koiran. Arithmetic circuits: The chasm at depth four gets wider. Theor. Comput. Sci., 448:56-65, 2012. Google Scholar
  47. Pascal Koiran and Mateusz Skomra. Derandomization and absolute reconstruction for sums of powers of linear forms. CoRR, abs/1912.02021, 2019. URL: http://arxiv.org/abs/1912.02021.
  48. Swastik Kopparty, Shubhangi Saraf, and Amir Shpilka. Equivalence of polynomial identity testing and polynomial factorization. Comput. Complex., 24(2):295-331, 2015. Conference version appeared in the proceedings of CCC 2014. Google Scholar
  49. László Lovász. On determinants, matchings, and random algorithms. In Lothar Budach, editor, Fundamentals of Computation Theory, FCT 1979, Proceedings of the Conference on Algebraic, Arthmetic, and Categorial Methods in Computation Theory, Berlin/Wendisch-Rietz, Germany, September 17-21, 1979, pages 565-574. Akademie-Verlag, Berlin, 1979. Google Scholar
  50. László Lovász. Singular spaces of matrices and their application in combinatorics. Boletim da Sociedade Brasileira de Matemática - Bulletin/Brazilian Mathematical Society, 20(1):87–99, 1989. Google Scholar
  51. Dori Medini and Amir Shpilka. Hitting Sets and Reconstruction for Dense Orbits in VP_e and ΣΠΣ Circuits. CoRR, abs/2102.05632, 2021. URL: https://arxiv.org/abs/2102.05632.
  52. Daniel Minahan and Ilya Volkovich. Complete derandomization of identity testing and reconstruction of read-once formulas. ACM Trans. Comput. Theory, 10(3):10:1-10:11, 2018. Conference version appeared in the proceedings of CCC 2017. Google Scholar
  53. Ketan Mulmuley, Umesh V. Vazirani, and Vijay V. Vazirani. Matching is as easy as matrix inversion. Comb., 7(1):105-113, 1987. Conference version appeared in the proceedings of STOC 1987. Google Scholar
  54. K. Murota. Mixed matrices: Irreducibility and decomposition. In R. A. Brualdi, S. Friedland, and V. Klee, editors, Combinatorial and Graph-Theoretical Problems in Linear Algebra. The IMA Volumes in Mathematics and its Applications, vol 50., pages 39-71. Springer, New York, NY, 1993. Google Scholar
  55. H. Narayanan, Huzur Saran, and Vijay V. Vazirani. Randomized Parallel Algorithms for Matroid Union and Intersection, With Applications to Arboresences and Edge-Disjoint Spanning Trees. SIAM J. Comput., 23(2):387-397, 1994. Conference version appeared in the proceedings of SODA 1992. Google Scholar
  56. Noam Nisan. Lower Bounds for Non-Commutative Computation (Extended Abstract). In Cris Koutsougeras and Jeffrey Scott Vitter, editors, Proceedings of the 23rd Annual ACM Symposium on Theory of Computing, May 5-8, 1991, New Orleans, Louisiana, USA, pages 410-418. ACM, 1991. Google Scholar
  57. Noam Nisan and Avi Wigderson. Hardness vs randomness. J. Comput. Syst. Sci., 49(2):149-167, 1994. Conference version appeared in the proceedings of FOCS 1988. Google Scholar
  58. Noam Nisan and Avi Wigderson. Lower Bounds on Arithmetic Circuits Via Partial Derivatives. Computational Complexity, 6(3):217-234, 1997. Conference version appeared in the proceedings of FOCS 1995. Google Scholar
  59. Shir Peleg and Amir Shpilka. A generalized sylvester-gallai type theorem for quadratic polynomials. In Shubhangi Saraf, editor, 35th Computational Complexity Conference, CCC 2020, July 28-31, 2020, Saarbrücken, Germany (Virtual Conference), volume 169 of LIPIcs, pages 8:1-8:33. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. Google Scholar
  60. Shir Peleg and Amir Shpilka. Polynomial time deterministic identity testing algorithm for Σ^[3]ΠΣΠ^[2] circuits via Edelstein-Kelly type theorem for quadratic polynomials. CoRR, abs/2006.08263, 2020. Google Scholar
  61. Ran Raz and Amir Shpilka. Deterministic polynomial identity testing in non-commutative models. Comput. Complex., 14(1):1-19, 2005. Conference version appeared in the proceedings of CCC 2004. Google Scholar
  62. Chandan Saha, Ramprasad Saptharishi, and Nitin Saxena. The power of depth 2 circuits over algebras. In Ravi Kannan and K. Narayan Kumar, editors, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India, volume 4 of LIPIcs, pages 371-382. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2009. Google Scholar
  63. Chandan Saha, Ramprasad Saptharishi, and Nitin Saxena. A case of depth-3 identity testing, sparse factorization and duality. Comput. Complex., 22(1):39-69, 2013. Google Scholar
  64. Chandan Saha and Bhargav Thankey. Hitting Sets for Orbits of Circuit Classes and Polynomial Families. Electron. Colloquium Comput. Complex., 28:15, 2021. URL: https://eccc.weizmann.ac.il/report/2021/015.
  65. Shubhangi Saraf and Ilya Volkovich. Black-Box Identity Testing of Depth-4 Multilinear Circuits. Comb., 38(5):1205-1238, 2018. Conference version appeared in the proceedings of STOC 2011. Google Scholar
  66. Nitin Saxena. Diagonal circuit identity testing and lower bounds. In Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, and Igor Walukiewicz, editors, Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack A: Algorithms, Automata, Complexity, and Games, volume 5125 of Lecture Notes in Computer Science, pages 60-71. Springer, 2008. Google Scholar
  67. Nitin Saxena. Progress on polynomial identity testing. Bull. EATCS, 99:49-79, 2009. Google Scholar
  68. Nitin Saxena. Progress on polynomial identity testing-ii. In M. Agrawal and V. Arvind, editors, Perspectives in Computational Complexity, volume 26 of Progress in Computer Science and Applied Logic, pages 131-146. Birkhäuser, Cham, 2014. Google Scholar
  69. Nitin Saxena and C. Seshadhri. Blackbox Identity Testing for Bounded Top-Fanin Depth-3 Circuits: The Field Doesn't Matter. SIAM J. Comput., 41(5):1285-1298, 2012. Conference version appeared in the proceedings of STOC 2011. Google Scholar
  70. Nitin Saxena and C. Seshadhri. From sylvester-gallai configurations to rank bounds: Improved blackbox identity test for depth-3 circuits. J. ACM, 60(5):33:1-33:33, 2013. Conference version appeared in the proceedings of FOCS 2010. Google Scholar
  71. Jacob T. Schwartz. Fast Probabilistic Algorithms for Verification of Polynomial Identities. J. ACM, 27(4):701-717, 1980. Google Scholar
  72. Amir Shpilka. Sylvester-gallai type theorems for quadratic polynomials. In Moses Charikar and Edith Cohen, editors, Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, STOC 2019, Phoenix, AZ, USA, June 23-26, 2019, pages 1203-1214. ACM, 2019. Google Scholar
  73. Amir Shpilka and Ilya Volkovich. Read-once polynomial identity testing. Comput. Complex., 24(3):477-532, 2015. Conference versions appeared in the proceedings of STOC 2008 and APPROX-RANDOM 2009. Google Scholar
  74. Amir Shpilka and Amir Yehudayoff. Arithmetic Circuits: A survey of recent results and open questions. Foundations and Trends in Theoretical Computer Science, 5(3-4):207-388, 2010. Google Scholar
  75. Ola Svensson and Jakub Tarnawski. The matching problem in general graphs is in quasi-nc. In Chris Umans, editor, 58th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2017, Berkeley, CA, USA, October 15-17, 2017, pages 696-707. IEEE Computer Society, 2017. Google Scholar
  76. Sébastien Tavenas. Improved bounds for reduction to depth 4 and depth 3. Inf. Comput., 240:2-11, 2015. Conference version appeared in the proceedings of MFCS 2013. Google Scholar
  77. Leslie G. Valiant, Sven Skyum, S. Berkowitz, and Charles Rackoff. Fast Parallel Computation of Polynomials Using Few Processors. SIAM J. Comput., 12(4):641-644, 1983. Google Scholar
  78. Richard Zippel. Probabilistic algorithms for sparse polynomials. In Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pages 216-226, 1979. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail