Efficient Identity Testing and Polynomial Factorization in Nonassociative Free Rings

Authors Vikraman Arvind, Rajit Datta, Partha Mukhopadhyay, S. Raja

Thumbnail PDF


  • Filesize: 0.49 MB
  • 13 pages

Document Identifiers

Author Details

Vikraman Arvind
Rajit Datta
Partha Mukhopadhyay
S. Raja

Cite AsGet BibTex

Vikraman Arvind, Rajit Datta, Partha Mukhopadhyay, and S. Raja. Efficient Identity Testing and Polynomial Factorization in Nonassociative Free Rings. In 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 83, pp. 38:1-38:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)


In this paper we study arithmetic computations in the nonassociative, and noncommutative free polynomial ring F{X}. Prior to this work, nonassociative arithmetic computation was considered by Hrubes, Wigderson, and Yehudayoff, and they showed lower bounds and proved completeness results. We consider Polynomial Identity Testing and Polynomial Factorization in F{X} and show the following results. 1. Given an arithmetic circuit C computing a polynomial f in F{X} of degree d, we give a deterministic polynomial algorithm to decide if f is identically zero. Our result is obtained by a suitable adaptation of the PIT algorithm of Raz and Shpilka for noncommutative ABPs. 2. Given an arithmetic circuit C computing a polynomial f in F{X} of degree d, we give an efficient deterministic algorithm to compute circuits for the irreducible factors of f in polynomial time when F is the field of rationals. Over finite fields of characteristic p, our algorithm runs in time polynomial in input size and p.
  • Circuits
  • Nonassociative
  • Noncommutative
  • Polynomial Identity Testing
  • Factorization


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


  1. Avraham Shimshon Amitsur and Jacob Levitzki. Minimal identities for algebras. Proceedings of the American Mathematical Society, 1(4):449-463, 1950. Google Scholar
  2. Vikraman Arvind, Pushkar S. Joglekar, and Gaurav Rattan. On the complexity of noncommutative polynomial factorization. In Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II, pages 38-49, 2015. URL: http://dx.doi.org/10.1007/978-3-662-48054-0_4.
  3. Vikraman Arvind, Partha Mukhopadhyay, and Srikanth Srinivasan. New results on noncommutative and commutative polynomial identity testing. Computational Complexity, 19(4):521-558, 2010. URL: http://dx.doi.org/10.1007/s00037-010-0299-8.
  4. Vikraman Arvind and S. Raja. Some lower bound results for set-multilinear arithmetic computations. Chicago J. Theor. Comput. Sci., 2016 (6), 2016. Google Scholar
  5. E. R. Berlekamp. Factoring polynomials over large finite fields*. In Proceedings of the Second ACM Symposium on Symbolic and Algebraic Manipulation, SYMSAC'71, pages 223-, New York, NY, USA, 1971. ACM. URL: http://dx.doi.org/10.1145/800204.806290.
  6. P.M. Cohn. Noncommutative unique factorization domains. Transactions of the American Math. Society, 109(2):313-331, 1963. Google Scholar
  7. Pavel Hrubes, Avi Wigderson, and Amir Yehudayoff. Relationless completeness and separations. In Proceedings of the 25th Annual IEEE Conference on Computational Complexity, CCC 2010, Cambridge, Massachusetts, June 9-12, 2010, pages 280-290, 2010. URL: http://dx.doi.org/10.1109/CCC.2010.34.
  8. Laurent Hyafil. The power of commutativity. In 18th Annual Symposium on Foundations of Computer Science (FOCS), Providence, Rhode Island, USA, 31 October - 1 November 1977, pages 171-174, 1977. URL: http://dx.doi.org/10.1109/SFCS.1977.31.
  9. Erich Kaltofen. Factorization of polynomials given by straight-line programs. Randomness in Computation, vol. 5 of Advances in Computing Research:375–412, 1989. Google Scholar
  10. Swastik Kopparty, Shubhangi Saraf, and Amir Shpilka. Equivalence of polynomial identity testing and polynomial factorization. Computational Complexity, 24(2):295-331, 2015. URL: http://dx.doi.org/10.1007/s00037-015-0102-y.
  11. Guillaume Lagarde, Guillaume Malod, and Sylvain Perifel. Non-commutative computations: lower bounds and polynomial identity testing. Electronic Colloquium on Computational Complexity (ECCC), 23:94, 2016. URL: http://eccc.hpi-web.de/report/2016/094.
  12. Noam Nisan. Lower bounds for non-commutative computation (extended abstract). In STOC, pages 410-418, 1991. URL: http://dx.doi.org/10.1145/103418.103462.
  13. Ran Raz and Amir Shpilka. Deterministic polynomial identity testing in non-commutative models. Computational Complexity, 14(1):1-19, 2005. URL: http://dx.doi.org/10.1007/s00037-005-0188-8.
  14. 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. URL: http://dx.doi.org/10.1561/0400000039.
  15. Joachim von zur Gathen and Victor Shoup. Computing frobenius maps and factoring polynomials. Computational Complexity, 2:187-224, 1992. Google Scholar
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail