Membership problem in GL(2, Z) extended by singular matrices

Potapov, I and Semukhin, P
(2017) Membership problem in GL(2, Z) extended by singular matrices. .

[img] Text
singular.pdf - Accepted Version

Download (495kB)


We consider the membership problem for matrix semigroups, which is the problem to decide whether a matrix belongs to a given finitely generated matrix semigroup. In general, the decidability and complexity of this problem for two-dimensional matrix semigroups remains open. Recently there was a significant progress with this open problem by showing that the membership is decidable for 2 X 2 nonsingular integer matrices. In this paper we focus on the membership for singular integer matrices and prove that this problem is decidable for 2X2 integer matrices whose determinants are equal to 0, 1, -1 (i.e. for matrices from GL(2,Z) and any singular matrices). Our algorithm relies on a translation of numerical problems on matrices into combinatorial problems on words and conversion of the membership problem into decision problem on regular languages.

Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 05 Sep 2017 08:07
Last Modified: 01 Apr 2021 23:11
DOI: 10.4230/LIPIcs.MFCS.2017.44