Vector and scalar reachability problems in SL(2, Z)

Vector and scalar reachability problems in SL(2, Z)

This paper solves three open problems about the decidability of the vector and scalar reachability problems and the point to point reachability by fractional linear transformations over finitely generated semigroups of matrices from SL(2, Z). Our approach to solving these problems is based on the ch...

Descripció completa

Dades bibliogràfiques
Autors principals:	Potapov, I, Semukhin, P
Format:	Journal article
Publicat:	Elsevier 2018

Ítems similars

Vector reachability problem in SL (2, ℤ)
per: Potapov, I, et al.
Publicat: (2016)

Membership problem in GL(2, Z) extended by singular matrices
per: Potapov, I, et al.
Publicat: (2017)

On reachability problems for low-dimensional matrix semigroups
per: Colcombet, T, et al.
Publicat: (2019)

Reachability problems in nondeterministic polynomial maps on the integers
per: Ko, SK, et al.
Publicat: (2018)

Decidability of the membership problem for 2 x 2 integer matrices
per: Potapov, I, et al.
Publicat: (2017)

Vector Addition System Reversible Reachability Problem
per: Jérôme Leroux
Publicat: (2013-02-01)

The reachability problem for two-dimensional vector addition systems with states
per: Blondin, M, et al.
Publicat: (2021)

Decidability of membership problems for flat rational subsets of GL (2, Q) and singular matrices
per: Diekert, V, et al.
Publicat: (2020)

On affine reachability problems
per: Jaax, S, et al.
Publicat: (2020)

The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
per: leroux jerome
Publicat: (2010-09-01)

On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond
per: Bell, P, et al.
Publicat: (2019)

On the mortality problem: From multiplicative matrix equations to linear recurrence sequences and beyond
per: Bell, PC, et al.
Publicat: (2021)

Branched SL(2,ℤ) duality
per: Eric A. Bergshoeff, et al.
Publicat: (2022-10-01)

Link-Based Similarity Measures Using Reachability Vectors
per: Seok-Ho Yoon, et al.
Publicat: (2014-01-01)

The Complexity of Reachability in Affine Vector Addition Systems with States
per: Michael Blondin, et al.
Publicat: (2021-07-01)

Reachability problems for linear dynamical systems
per: Chonev, V
Publicat: (2015)

Generic loop effects of new scalars and fermions in b → sℓ + ℓ − and a vector-like 4th generation
per: Pere Arnan, et al.
Publicat: (2019-06-01)

On scalarization of vector discrete problems of majority choice
per: V.A. Emelichev, et al.
Publicat: (2000-10-01)

Preface to the Special Issue on Developments in Language Theory (DLT 2015)
per: Potapov, I, et al.
Publicat: (2018)

The SL(2, ℤ) dualization algorithm at work
per: Riccardo Comi, et al.
Publicat: (2023-06-01)

Dark monopoles and SL(2, ℤ) duality
per: John Terning, et al.
Publicat: (2018-12-01)

Functional Reachability
per: Ong, C, et al.
Publicat: (2009)

Reachability Deficits in Quantum Approximate Optimization of Graph Problems
per: V. Akshay, et al.
Publicat: (2021-08-01)

Reachability and escape problems in linear dynamical systems
per: Dcosta, J
Publicat: (2024)

Reachability Problem for Weak Multi-Pushdown Automata
per: Wojciech Czerwiński, et al.
Publicat: (2013-09-01)

Bounded Reachability Problems are Decidable in FIFO Machines
per: Benedikt Bollig, et al.
Publicat: (2022-01-01)

On Quadratic Scalarization of One Class of Vector Optimization Problems in Banach Spaces
per: V. M. Bogomaz, et al.
Publicat: (2012-01-01)

Logics for Continuous Reachability in Petri Nets and Vector Addition Systems with States
per: Haase, C, et al.
Publicat: (2017)

SCALAR AND VECTOR IN COMPULATION
per: Valery F. Ochkov, et al.
Publicat: (2016-05-01)

On the Relationship between Reachability Problems in Timed and Counter Automata
per: Haase, C, et al.
Publicat: (2012)

On the relationship between reachability problems in timed and counter automata
per: Haase, C, et al.
Publicat: (2012)

The pseudo-reachability problem for diagonalisable linear dynamical systems
per: D'Costa, J, et al.
Publicat: (2022)

Iterated primitives of meromorphic quasimodular forms for SL2(Z)
per: Matthes, N
Publicat: (2021)

A memory efficient reachability data structure through bit vector compression
per: van Schaik, S, et al.
Publicat: (2011)

A memory efficient reachability data structure through bit vector compression.
per: Schaik, S, et al.
Publicat: (2011)

Estimates of Reachable Set and Sufficient Optimality Condition for Discrete Control Problems
per: S. P. Sorokin
Publicat: (2017-03-01)

Reachability Switching Games
per: John Fearnley, et al.
Publicat: (2021-04-01)

Constraint-based reachability
per: Arnaud Gotlieb, et al.
Publicat: (2013-02-01)

Reachability in Stochastic Timed Games.
per: Bouyer, P, et al.
Publicat: (2009)

Vector : scalar ratios for directional lighting
per: Turner, D. P.
Publicat: (1971)