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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
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)