Abstract
We study the computational complexity of determining whether the zero matrix belongs to a finitely generated semigroup of two dimensional integer matrices (the mortality problem). We show that this problem is NP-hard to decide in the two-dimensional case by using a new encoding and properties of the projective special linear group. The decidability of the mortality problem in two dimensions remains a long standing open problem although in dimension three is known to be undecidable as was shown by Paterson in 1970.
We also show a lower bound on the minimum length solution to the Mortality Problem, which is exponential in the number of matrices of the generator set and the maximal element of the matrices.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Ang, T., Pighizzini, G., Rampersad, N., Shallit, J.: Automata and reduced words in the free group. arXiv:0910.4555 (2009)
Bell, P.C., Potapov, I.: On the undecidability of the identity correspondence problem and its applications for word and matrix semigroups. International Journal of Foundations of Computer Science 21(6), 963–978 (2010)
Bell, P.C., Potapov, I.: On the computational complexity of matrix semigroup problems. Fundamenta Informaticae 116(1-4), 1–13 (2012)
Birget, J.-C., Margolis, S.: Two-letter group codes that preserve aperiodicity of inverse finite automata. Semigroup Forum 76(1), 159–168 (2008)
Blondel, V., Tsitsiklis, J.: When is a pair of matrices mortal? Information Processing Letters 63, 283–286 (1997)
Blondel, V., Tsitsiklis, J.: The boundedness of all products of a pair of matrices is undecidable. Systems and Control Letters 41(2), 135–140 (2000)
Bournez, O., Branicky, M.: On the mortality problem for matrices of low dimensions. Theory of Computing Systems 35(4), 433–448 (2002)
Cai, J.-Y., Liu, Z.: The bounded membership problem of the monoid SL2(N). Mathematical Systems Theory 29(6), 573–587 (1996)
Choffrut, C., Karhumäki, J.: Some decision problems on integer matrices. Informatics and Applications 39, 125–131 (2005)
Krom, M.: An unsolvable problem with products of matrices. Mathematical Systems Theory 14, 335–337 (1981)
Miller, M.A.: Mortality for sets of 2x2 matrices. Mathematics Magazine 67(3), 210–213 (1994)
Nuccio, C., Rodaro, E.: Mortality Problem for 2×2 Integer Matrices. In: Geffert, V., Karhumäki, J., Bertoni, A., Preneel, B., Návrat, P., Bieliková, M. (eds.) SOFSEM 2008. LNCS, vol. 4910, pp. 400–405. Springer, Heidelberg (2008)
Paterson, M.S.: Unsolvability in 3 x 3 matrices. Studies in Applied Mathematics 49, 105–107 (1970)
Rankin, R.: Modular Forms and Functions. Cambridge University Press, Cambridge (1977)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bell, P.C., Hirvensalo, M., Potapov, I. (2012). Mortality for 2 ×2 Matrices Is NP-Hard. In: Rovan, B., Sassone, V., Widmayer, P. (eds) Mathematical Foundations of Computer Science 2012. MFCS 2012. Lecture Notes in Computer Science, vol 7464. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32589-2_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-32589-2_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32588-5
Online ISBN: 978-3-642-32589-2
eBook Packages: Computer ScienceComputer Science (R0)