Abstract
In this paper we consider decidability questions that are related to the membership problem in matrix semigroups. In particular we consider the membership of a particular invertible diagonal matrix in a matrix semigroup and then a scalar matrix, which has a separate geometric interpretation. Both problems have been open for any dimensions and are shown to be undecidable in dimenesion 4 with integral matrices and in dimension 3 with rational matrices by a reduction of the Post Correspondence Problem (PCP). Although the idea of PCP reduction is standard for such problems, we suggest a new coding technique to cover the case of diagonal matrices.
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
Bestel, J., Karhumäki, J.: Combinatorics on Words - A Tutorial Bulletin of the EATCS, pp. 178–228 (February 2003)
Blondel, V., Cassaigne, J., Karhumäki, J.: Problem 10.3. Freeness of multiplicative matrix semigroups. In: Blondel, V., Megretski, A. (eds.) Unsolved Problems in Mathematical Systems and Control Theory, pp. 309–314
Blondel, V., Tsitsiklis, J.: A survey of computational complexity results in systems and control. Automatica 36, 1249–1274 (2000)
Graham, R., Knuth, D., Patashnik, O.: Concrete Mathematics, 2nd edn. Addison-Wesley, Reading (1994)
Halava, V., Harju, T.: Mortality in Matrix Semigroups. American Mathematical Monthly 108(7), 649–653 (2001)
Kannan, R., Lipton, R.: Polynomial-time algorithm for the orbit problem. Journal of the ACM (JACM) 33(4), 808–821 (1986)
Lisitsa, A., Potapov, I.: Membership and reachability 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)
Moore, C.: Unpredictability and Undecidability in Dynamical Systems. Physical Review Letters 64(20), 2354–2357 (1990)
Paterson, M.: Unsolvability in 3 × 3 matrices. Studies in Applied Mathematics 49, 105–107 (1970)
Potapov, I.: From post systems to the reachability problems for matrix semigroups and multicounter automata. In: Calude, C.S., Calude, E., Dinneen, M.J. (eds.) DLT 2004. LNCS, vol. 3340, pp. 345–356. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bell, P., Potapov, I. (2005). On the Membership of Invertible Diagonal Matrices. In: De Felice, C., Restivo, A. (eds) Developments in Language Theory. DLT 2005. Lecture Notes in Computer Science, vol 3572. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11505877_13
Download citation
DOI: https://doi.org/10.1007/11505877_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26546-7
Online ISBN: 978-3-540-31682-4
eBook Packages: Computer ScienceComputer Science (R0)