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

Bibliografiset tiedot
Päätekijät:	Potapov, I, Semukhin, P
Aineistotyyppi:	Journal article
Julkaistu:	Elsevier 2018

Samankaltaisia teoksia

Vector reachability problem in SL (2, ℤ)
Tekijä: Potapov, I, et al.
Julkaistu: (2016)

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

On reachability problems for low-dimensional matrix semigroups
Tekijä: Colcombet, T, et al.
Julkaistu: (2019)

Reachability problems in nondeterministic polynomial maps on the integers
Tekijä: Ko, SK, et al.
Julkaistu: (2018)

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

Vector Addition System Reversible Reachability Problem
Tekijä: Jérôme Leroux
Julkaistu: (2013-02-01)

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

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

On affine reachability problems
Tekijä: Jaax, S, et al.
Julkaistu: (2020)

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

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

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

Branched SL(2,ℤ) duality
Tekijä: Eric A. Bergshoeff, et al.
Julkaistu: (2022-10-01)

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

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

Reachability problems for linear dynamical systems
Tekijä: Chonev, V
Julkaistu: (2015)

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

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

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

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

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

Functional Reachability
Tekijä: Ong, C, et al.
Julkaistu: (2009)

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

Reachability and escape problems in linear dynamical systems
Tekijä: Dcosta, J
Julkaistu: (2024)

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

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

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

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

SCALAR AND VECTOR IN COMPULATION
Tekijä: Valery F. Ochkov, et al.
Julkaistu: (2016-05-01)

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

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

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

Iterated primitives of meromorphic quasimodular forms for SL2(Z)
Tekijä: Matthes, N
Julkaistu: (2021)

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

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

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

Reachability Switching Games
Tekijä: John Fearnley, et al.
Julkaistu: (2021-04-01)

Constraint-based reachability
Tekijä: Arnaud Gotlieb, et al.
Julkaistu: (2013-02-01)

Reachability in Stochastic Timed Games.
Tekijä: Bouyer, P, et al.
Julkaistu: (2009)

Vector : scalar ratios for directional lighting
Tekijä: Turner, D. P.
Julkaistu: (1971)