Deterministically Factoring Sparse Polynomials into Multilinear Factors and Sums of Univariate Polynomials

Author Ilya Volkovich



PDF
Thumbnail PDF

File

LIPIcs.APPROX-RANDOM.2015.943.pdf
  • Filesize: 0.52 MB
  • 16 pages

Document Identifiers

Author Details

Ilya Volkovich

Cite AsGet BibTex

Ilya Volkovich. Deterministically Factoring Sparse Polynomials into Multilinear Factors and Sums of Univariate Polynomials. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 40, pp. 943-958, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2015.943

Abstract

We present the first efficient deterministic algorithm for factoring sparse polynomials that split into multilinear factors and sums of univariate polynomials. Our result makes partial progress towards the resolution of the classical question posed by von zur Gathen and Kaltofen in [von zur Gathen/Kaltofen, J. Comp. Sys. Sci., 1985] to devise an efficient deterministic algorithm for factoring (general) sparse polynomials. We achieve our goal by introducing essential factorization schemes which can be thought of as a relaxation of the regular factorization notion.
Keywords
  • Derandomization
  • Multivariate Polynomial Factorization
  • Sparse polynomials

Metrics

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

References

  1. M. Ben-Or and P. Tiwari. A deterministic algorithm for sparse multivariate polynominal interpolation. In Proceedings of the 20th Annual ACM Symposium on Theory of Computing (STOC), pages 301-309, 1988. Google Scholar
  2. A. M. Cuyt and W. Lee. Sparse interpolation of multivariate rational functions. Theor. Comput. Sci., 412(16):1445-1456, 2011. Google Scholar
  3. S. Gao, E. Kaltofen, and A. G. B. Lauder. Deterministic distinct-degree factorization of polynomials over finite fields. J. Symb. Comput., 38(6):1461-1470, 2004. Google Scholar
  4. J. von zur Gathen. Who was who in polynomial factorization:. In ISSAC, page 2, 2006. Google Scholar
  5. J. von zur Gathen and J. Gerhard. Modern computer algebra. Cambridge University Press, 1999. Google Scholar
  6. J. von zur Gathen and E. Kaltofen. Factoring sparse multivariate polynomials. Journal of Computer and System Sciences, 31(2):265-287, 1985. Google Scholar
  7. E. Grigorescu, K. Jung, and R. Rubinfeld. A local decision test for sparse polynomials. Inf. Process. Lett., 110(20):898-901, 2010. Google Scholar
  8. A. Gupta, N. Kayal, and S. V. Lokam. Reconstruction of depth-4 multilinear circuits with top fanin 2. In Proceedings of the 44th Annual ACM Symposium on Theory of Computing (STOC), pages 625-642, 2012. Full version at http://eccc.hpi-web.de/report/2011/153. Google Scholar
  9. V. Guruswami and M. Sudan. Improved decoding of reed-solomon codes and algebraic-geometry codes. IEEE Transactions on Information Theory, 45(6):1757-1767, 1999. Google Scholar
  10. V. Kabanets and R. Impagliazzo. Derandomizing polynomial identity tests means proving circuit lower bounds. Computational Complexity, 13(1-2):1-46, 2004. Google Scholar
  11. E. Kaltofen. Polynomial-time reductions from multivariate to bi- and univariate integral polynomial factorization. SIAM J. on computing, 14(2):469-489, 1985. Google Scholar
  12. E. Kaltofen. Factorization of polynomials given by straight-line programs. In S. Micali, editor, Randomness in Computation, volume 5 of Advances in Computing Research, pages 375-412. JAI Press Inc., Greenwhich, Connecticut, 1989. Google Scholar
  13. E. Kaltofen. Polynomial factorization: a success story. In ISSAC, pages 3-4, 2003. Google Scholar
  14. E. Kaltofen and P. Koiran. On the complexity of factoring bivariate supersparse (lacunary) polynomials. In ISSAC, pages 208-215, 2005. Google Scholar
  15. E. Kaltofen and B. M. Trager. Computing with polynomials given by black boxes for their evaluations: Greatest common divisors, factorization, separation of numerators and denominators. J. of Symbolic Computation, 9(3):301-320, 1990. Google Scholar
  16. Z. S. Karnin, P. Mukhopadhyay, A. Shpilka, and I. Volkovich. Deterministic identity testing of depth 4 multilinear circuits with bounded top fan-in. SIAM J. on Computing, 42(6):2114-2131, 2013. Google Scholar
  17. N. Kayal. Derandomizing some number-theoretic and algebraic algorithms. PhD thesis, Indian Institute of Technology, Kanpur, India, 2007. Google Scholar
  18. A. Klivans and D. Spielman. Randomness efficient identity testing of multivariate polynomials. In Proceedings of the 33rd Annual ACM Symposium on Theory of Computing (STOC), pages 216-223, 2001. Google Scholar
  19. S. Kopparty, S. Saraf, and A. Shpilka. Equivalence of polynomial identity testing and deterministic multivariate polynomial factorization. In Proceedings of the 29th Annual IEEE Conference on Computational Complexity (CCC), pages 169-180, 2014. Google Scholar
  20. C. Saha, R. Saptharishi, and N. Saxena. A case of depth-3 identity testing, sparse factorization and duality. Computational Complexity, 22(1):39-69, 2013. Google Scholar
  21. S. Saraf and I. Volkovich. Blackbox identity testing for depth-4 multilinear circuits. In Proceedings of the 43rd Annual ACM Symposium on Theory of Computing (STOC), pages 421-430, 2011. Full version at http://eccc.hpi-web.de/report/2011/046. Google Scholar
  22. N. Saxena. Diagonal circuit identity testing and lower bounds. In Automata, Languages and Programming, 35th International Colloquium, pages 60-71, 2008. Full version at http://eccc.hpi-web.de/eccc-reports/2007/TR07-124/index.html. Google Scholar
  23. V. Shoup. A fast deterministic algorithm for factoring polynomials over finite fields of small characteristic. In ISSAC, pages 14-21, 1991. Google Scholar
  24. A. Shpilka and I. Volkovich. Improved polynomial identity testing for read-once formulas. In APPROX-RANDOM, pages 700-713, 2009. Full version at http://eccc.hpi-web.de/report/2010/011. Google Scholar
  25. A. Shpilka and I. Volkovich. On the relation between polynomial identity testing and finding variable disjoint factors. In Automata, Languages and Programming, 37th International Colloquium (ICALP), pages 408-419, 2010. Full version at http://eccc.hpi-web.de/report/2010/036. Google Scholar
  26. A. Shpilka and I. Volkovich. On reconstruction and testing of read-once formulas. Theory of Computing, 10:465-514, 2014. Google Scholar
  27. A. Shpilka and I. Volkovich. Read-once polynomial identity testing. Computational Complexity, 2015. Google Scholar
  28. A. Shpilka and A. 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
  29. M. Sudan. Decoding of reed solomon codes beyond the error-correction bound. Journal of Complexity, 13(1):180-193, 1997. Google Scholar
  30. R. Zippel. Probabilistic algorithms for sparse polynomials. In Proceedings of the International Symposium on Symbolic and Algebraic Computation, 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