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

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Potapov, I, Semukhin, P
Fformat:	Journal article
Cyhoeddwyd:	Elsevier 2018

Eitemau Tebyg

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

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

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

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

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

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

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

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

On affine reachability problems
gan: Jaax, S, et al.
Cyhoeddwyd: (2020)

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

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

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

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

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

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

Reachability problems for linear dynamical systems
gan: Chonev, V
Cyhoeddwyd: (2015)

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

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

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

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

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

Functional Reachability
gan: Ong, C, et al.
Cyhoeddwyd: (2009)

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

Reachability and escape problems in linear dynamical systems
gan: Dcosta, J
Cyhoeddwyd: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Reachability in Stochastic Timed Games.
gan: Bouyer, P, et al.
Cyhoeddwyd: (2009)

Vector : scalar ratios for directional lighting
gan: Turner, D. P.
Cyhoeddwyd: (1971)