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

Полное описание

Библиографические подробности
Главные авторы:	Potapov, I, Semukhin, P
Формат:	Journal article
Опубликовано:	Elsevier 2018

Схожие документы

Vector reachability problem in SL (2, ℤ)
по: Potapov, I, и др.
Опубликовано: (2016)

Membership problem in GL(2, Z) extended by singular matrices
по: Potapov, I, и др.
Опубликовано: (2017)

On reachability problems for low-dimensional matrix semigroups
по: Colcombet, T, и др.
Опубликовано: (2019)

Reachability problems in nondeterministic polynomial maps on the integers
по: Ko, SK, и др.
Опубликовано: (2018)

Decidability of the membership problem for 2 x 2 integer matrices
по: Potapov, I, и др.
Опубликовано: (2017)

Vector Addition System Reversible Reachability Problem
по: Jérôme Leroux
Опубликовано: (2013-02-01)

The reachability problem for two-dimensional vector addition systems with states
по: Blondin, M, и др.
Опубликовано: (2021)

Decidability of membership problems for flat rational subsets of GL (2, Q) and singular matrices
по: Diekert, V, и др.
Опубликовано: (2020)

On affine reachability problems
по: Jaax, S, и др.
Опубликовано: (2020)

The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
по: leroux jerome
Опубликовано: (2010-09-01)

On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond
по: Bell, P, и др.
Опубликовано: (2019)

On the mortality problem: From multiplicative matrix equations to linear recurrence sequences and beyond
по: Bell, PC, и др.
Опубликовано: (2021)

Branched SL(2,ℤ) duality
по: Eric A. Bergshoeff, и др.
Опубликовано: (2022-10-01)

Link-Based Similarity Measures Using Reachability Vectors
по: Seok-Ho Yoon, и др.
Опубликовано: (2014-01-01)

The Complexity of Reachability in Affine Vector Addition Systems with States
по: Michael Blondin, и др.
Опубликовано: (2021-07-01)

Reachability problems for linear dynamical systems
по: Chonev, V
Опубликовано: (2015)

Generic loop effects of new scalars and fermions in b → sℓ + ℓ − and a vector-like 4th generation
по: Pere Arnan, и др.
Опубликовано: (2019-06-01)

On scalarization of vector discrete problems of majority choice
по: V.A. Emelichev, и др.
Опубликовано: (2000-10-01)

Preface to the Special Issue on Developments in Language Theory (DLT 2015)
по: Potapov, I, и др.
Опубликовано: (2018)

The SL(2, ℤ) dualization algorithm at work
по: Riccardo Comi, и др.
Опубликовано: (2023-06-01)

Dark monopoles and SL(2, ℤ) duality
по: John Terning, и др.
Опубликовано: (2018-12-01)

Functional Reachability
по: Ong, C, и др.
Опубликовано: (2009)

Reachability Deficits in Quantum Approximate Optimization of Graph Problems
по: V. Akshay, и др.
Опубликовано: (2021-08-01)

Reachability and escape problems in linear dynamical systems
по: Dcosta, J
Опубликовано: (2024)

Reachability Problem for Weak Multi-Pushdown Automata
по: Wojciech Czerwiński, и др.
Опубликовано: (2013-09-01)

Bounded Reachability Problems are Decidable in FIFO Machines
по: Benedikt Bollig, и др.
Опубликовано: (2022-01-01)

On Quadratic Scalarization of One Class of Vector Optimization Problems in Banach Spaces
по: V. M. Bogomaz, и др.
Опубликовано: (2012-01-01)

Logics for Continuous Reachability in Petri Nets and Vector Addition Systems with States
по: Haase, C, и др.
Опубликовано: (2017)

SCALAR AND VECTOR IN COMPULATION
по: Valery F. Ochkov, и др.
Опубликовано: (2016-05-01)

On the Relationship between Reachability Problems in Timed and Counter Automata
по: Haase, C, и др.
Опубликовано: (2012)

On the relationship between reachability problems in timed and counter automata
по: Haase, C, и др.
Опубликовано: (2012)

The pseudo-reachability problem for diagonalisable linear dynamical systems
по: D'Costa, J, и др.
Опубликовано: (2022)

Iterated primitives of meromorphic quasimodular forms for SL2(Z)
по: Matthes, N
Опубликовано: (2021)

A memory efficient reachability data structure through bit vector compression
по: van Schaik, S, и др.
Опубликовано: (2011)

A memory efficient reachability data structure through bit vector compression.
по: Schaik, S, и др.
Опубликовано: (2011)

Estimates of Reachable Set and Sufficient Optimality Condition for Discrete Control Problems
по: S. P. Sorokin
Опубликовано: (2017-03-01)

Reachability Switching Games
по: John Fearnley, и др.
Опубликовано: (2021-04-01)

Constraint-based reachability
по: Arnaud Gotlieb, и др.
Опубликовано: (2013-02-01)

Reachability in Stochastic Timed Games.
по: Bouyer, P, и др.
Опубликовано: (2009)

Vector : scalar ratios for directional lighting
по: Turner, D. P.
Опубликовано: (1971)