Matrix Semigroup Freeness Problems in SL (2, \mathbb Z)

In this paper we study decidability and complexity of decision problems on matrices from the special linear group 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 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 SL\((2,\mathbb {Z})\), for example we show that to decide whether every prime matrix has at most k factorizations is PSPACE-hard.

[1]  Thomas Noll.  Musical intervals and special linear transformations , 2007 .

[2]  Imre Simon,et al.  On Finite Semigroups of Matrices , 1977, Theor. Comput. Sci..

[3]  Jean-Camille Birget,et al.  On the Undecidability of the Freeness of Integer Matrix Semigroups , 1991, Int. J. Algebra Comput..

[4]  Juha Honkala,et al.  The freeness problem over matrix semigroups and bounded languages , 2014, Inf. Comput..

[5]  Igor Potapov,et al.  Mortality for 2×2 Matrices Is NP-Hard , 2012, MFCS.

[6]  Igor Potapov,et al.  The Identity Problem for Matrix Semigroups in SL2(ℤ) is NP-complete , 2017, SODA.

[7]  Dexter Kozen,et al.  Lower bounds for natural proof systems , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[8]  Christian Choffrut,et al.  Some decision problems on integer matrices , 2005, RAIRO Theor. Informatics Appl..

[9]  Paul E. Schupp,et al.  Membership Problem for the Modular Group , 2007, SIAM J. Comput..

[10]  Igor Potapov,et al.  Reachability problems in quaternion matrix and rotation semigroups , 2008, Inf. Comput..

[11]  Igor Potapov,et al.  Periodic and Infinite Traces in Matrix Semigroups , 2008, SOFSEM.

[12]  Igor Potapov,et al.  Vector Reachability Problem in SL(2, Z) , 2016, MFCS.

[13]  Edward Witten.  SL(2;Z) Action On Three-Dimensional Conformal Field Theories With Abelian Symmetry , 2003 .

[14]  Leonid Polterovich,et al.  Stable mixing for cat maps and quasi-morphisms of the modular group , 2004, Ergodic Theory and Dynamical Systems.

[15]  Andrzej Kisielewicz,et al.  On the problem of freeness of multiplicative matrix semigroups , 2010, Theor. Comput. Sci..

[16]  Igor Potapov,et al.  On the Undecidability of the Identity Correspondence Problem and its Applications for Word and Matrix Semigroups , 2010, Int. J. Found. Comput. Sci..

[17]  Juhani Karhumäki,et al.  On the Undecidability of Freeness of Matrix Semigroups , 1999, Int. J. Algebra Comput..

[18]  Don Zagier,et al.  Elliptic modular forms and their applications. , 2008 .

[19]  Igor Potapov,et al.  On the Computational Complexity of Matrix Semigroup Problems , 2012, Fundam. Informaticae.

[20]  R. Rankin.  Modular Forms and Functions , 1977 .

[22]  Vincent D. Blondel,et al.  Problem 10.3 Freeness of multiplicative matrix semigroups , 2009 .

[23]  Igor Potapov.  From Post Systems to the Reachability Problems for Matrix Semigroups and Multicounter Automata , 2004, Developments in Language Theory.

[24]  Fritz Grunewald,et al.  Arithmetic Applications of the Hyperbolic Lattice Point Theorem , 1988 .

[25]  Igor Potapov.  Composition Problems for Braids , 2013, FSTTCS.

[26]  A. Restuccia,et al.  SL(2, Z) symmetries, supermembranes and symplectic torus bundles , 2011, 1105.3181.

[27]  Tero Harju,et al.  Undecidability Bounds for Integer Matrices Using Claus Instances , 2007, Int. J. Found. Comput. Sci..

[28]  Igor Potapov,et al.  Matrix Semigroup Freeness Problems in SL (2, \mathbb Z) , 2016, SOFSEM.

[29]  Gerhard J. Woeginger,et al.  On the Equal-Subset-Sum Problem , 1992, Inf. Process. Lett..

[30]  François Nicolas,et al.  On the decidability of semigroup freeness , 2008, RAIRO Theor. Informatics Appl..