Matrix Semigroup Freeness Problems in $\mathrm{SL}(2,\mathbb{Z})$

Ko, Sang-Ki and Potapov, Igor
(2016) Matrix Semigroup Freeness Problems in $\mathrm{SL}(2,\mathbb{Z})$. .

[img] Text
1610.09834v1.pdf - Submitted Version

Download (251kB)


In this paper we study decidability and complexity of decision problems on matrices from the special linear group $\mathrm{SL}(2,\mathbb{Z})$. In particular, we study the freeness problem: given a finite set of matrices $G$ generating a multiplicative semigroup $S$, decide whether each element of $S$ has at most one factorization over $G$. In other words, is $G$ a code? We show that the problem of deciding whether a matrix semigroup in $\mathrm{SL}(2,\mathbb{Z})$ is non-free is NP-hard. Then, we study questions about the number of factorizations of matrices in the matrix semigroup such as the finite freeness problem, the recurrent matrix problem, the unique factorizability problem, etc. Finally, we show that some factorization problems could be even harder in $\mathrm{SL}(2,\mathbb{Z})$, for example we show that to decide whether every prime matrix has at most $k$ factorizations is PSPACE-hard.

Item Type: Conference or Workshop Item (Unspecified)
Uncontrolled Keywords: cs.CC, cs.CC, cs.FL, F.2.1; F.1.1
Depositing User: Symplectic Admin
Date Deposited: 04 Nov 2016 08:38
Last Modified: 28 Apr 2022 05:13
Related URLs: