Abstract
A given set F of n×n matrices is said to be mortal if the n×n null matrix belongs to the free semigroup generated by F. It is known that the mortality problem for 3×3 matrices with integer entries is undecidable [7],[3]. In this paper we prove that the mortality problem is decidable for any set of 2×2 integer matrices whose determinants assume the values 0,±1.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bournez, O., Branicky, M.: On the mortality problem for matrices of low dimensions. TCS 35(4), 433–488 (2002)
Choffrut, C., Karhumäki, J.: Some decision problems on integer matrices. RAIRO/ITA 39(1), 125–132 (2005)
Halava, V., Harju, T.: Mortality in matrix semigroups. Amer. Math. Monthly 108(7), 649–653 (2001)
Krom, M., Krom, M.: Recursive solvability of problems with matrices. zwitschr. f. math. Logik und Grundlagen d. Math. 35, 437–442 (1989)
Krom, M., Krom, M.: More on mortality. Amer. Math. Monthly 97, 37–38 (1990)
Lisitsa, A., Potapov, I.: Membership and reachibility problems for row-monomial transformations. In: Fiala, J., Koubek, V., Kratochvíl, J. (eds.) MFCS 2004. LNCS, vol. 3153, pp. 623–634. Springer, Heidelberg (2004)
Paterson, M.S.: Unsolvability in 3×3 matrices. Stud. Appl. Math. 49, 105–107 (1970)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nuccio, C., Rodaro, E. (2008). 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: Theory and Practice of Computer Science. SOFSEM 2008. Lecture Notes in Computer Science, vol 4910. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77566-9_34
Download citation
DOI: https://doi.org/10.1007/978-3-540-77566-9_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77565-2
Online ISBN: 978-3-540-77566-9
eBook Packages: Computer ScienceComputer Science (R0)