Vector and scalar reachability problems in \(\operatorname{SL}(2, \mathbb{Z})\)
type: Item
instance of: scholarly article
title: Vector and scalar reachability problems in \(\operatorname{SL}(2, \mathbb{Z})\)
zbMATH Open document ID: 1421.68095
author: Igor Potapov
author: Pavel Semukhin
published in: Journal of Computer and System Sciences
publication date: 2019-05-02T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 15A30
Mathematics Subject Classification ID: 20M05
Mathematics Subject Classification ID: 20M35
zbMATH DE Number: 7050107
zbMATH Keywords: vector reachability problem
zbMATH Keywords: scalar reachability problem
zbMATH Keywords: matrix semigroup
zbMATH Keywords: special linear group
zbMATH Keywords: linear fractional transformation
zbMATH Keywords: automata and formal languages
MaRDI profile type: Publication
full work available at URL: j.jcss.2018.09.003
OpenAlex ID: W2890141802
cites work: Q5796052
cites work: On the Positivity Problem for Simple Linear Recurrence Sequences,
cites work: Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences
cites work: Q2955006
cites work: On Termination of Integer Linear Loops
cites work: On undecidability bounds for matrix decision problems
cites work: Decidable and Undecidable Problems about Quantum Automata
cites work: On the computational complexity of matrix semigroup problems
cites work: ON THE UNDECIDABILITY OF FREENESS OF MATRIX SEMIGROUPS
cites work: Reachability problems in quaternion matrix and rotation semigroups
cites work: Some decision problems on integer matrices
cites work: On the decidability of semigroup freeness.
cites work: The freeness problem over matrix semigroups and bounded languages
cites work: Mortality for 2 ×2 Matrices Is NP-Hard
cites work: Membership Problem for the Modular Group
cites work: Decidability of the Membership Problem for 2 × 2 integer matrices
cites work: Q5111259
cites work: The Identity Problem for Matrix Semigroups in SL2(ℤ) is NP-complete
cites work: Matrix Semigroup Freeness Problems in SL $$(2,\mathbb {Z})$$
cites work: Elliptic Modular Forms and Their Applications
cites work: Non-Euclidean visibility problems
cites work: Arithmetic Applications of the Hyperbolic Lattice Point Theorem
cites work: Stable mixing for cat maps and quasi-morphisms of the modular group
cites work: What's happening in the mathematical sciences. Vol. 7.
cites work: Composition Problems for Braids
cites work: Q5707733
cites work: SL(2, Z) symmetries, supermembranes and symplectic torus bundles
cites work: Musical intervals and special linear transformations
cites work: Q4875224
cites work: Mathematical Foundations of Computer Science 2004
cites work: UNDECIDABILITY BOUNDS FOR INTEGER MATRICES USING CLAUS INSTANCES
cites work: Q4145882
cites work: Q4135772
cites work: Q4154638
cites work: MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM
DOI: 10.1016/J.JCSS.2018.09.003
Recommended article: Vector Reachability Problem in SL(2, Z)
Recommended article: Vector Ambiguity and Freeness Problems in SL $$(2,\mathbb {Z})$$
Recommended article: Vector Ambiguity and Freeness Problems in SL(2, ℤ)
Recommended article: Matrix Semigroup Freeness Problems in SL $$(2,\mathbb {Z})$$
Recommended article: Branching problems and ${\mathfrak{sl}}(2,\mathbb{C})$-actions
Recommended article: On the geometry of the reachability set of vector fields
Recommended article: Reachability Problems in Quaternion Matrix and Rotation Semigroups
Recommended article: Reachability problems in quaternion matrix and rotation semigroups
Recommended article: On Reachability Problems for Low-Dimensional Matrix Semigroups
Recommended article: The Reachability Problem for Two-Dimensional Vector Addition Systems with States
description: scientific article; zbMATH DE number 7050107