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...

Deskribapen osoa

Xehetasun bibliografikoak
Egile Nagusiak:	Potapov, I, Semukhin, P
Formatua:	Journal article
Argitaratua:	Elsevier 2018

Antzeko izenburuak

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

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

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

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

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

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

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

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

On affine reachability problems
nork: Jaax, S, et al.
Argitaratua: (2020)

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

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

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

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

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

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

Reachability problems for linear dynamical systems
nork: Chonev, V
Argitaratua: (2015)

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

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

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

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

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

Functional Reachability
nork: Ong, C, et al.
Argitaratua: (2009)

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

Reachability and escape problems in linear dynamical systems
nork: Dcosta, J
Argitaratua: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Reachability in Stochastic Timed Games.
nork: Bouyer, P, et al.
Argitaratua: (2009)

Vector : scalar ratios for directional lighting
nork: Turner, D. P.
Argitaratua: (1971)