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

書目詳細資料
Main Authors:	Potapov, I, Semukhin, P
格式:	Journal article
出版:	Elsevier 2018

相似書籍

Vector reachability problem in SL (2, ℤ)
由: Potapov, I, et al.
出版: (2016)

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

On reachability problems for low-dimensional matrix semigroups
由: Colcombet, T, et al.
出版: (2019)

Reachability problems in nondeterministic polynomial maps on the integers
由: Ko, SK, et al.
出版: (2018)

Decidability of the membership problem for 2 x 2 integer matrices
由: Potapov, I, et al.
出版: (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, et al.
出版: (2021)

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

On affine reachability problems
由: Jaax, S, et al.
出版: (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, et al.
出版: (2019)

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

Branched SL(2,ℤ) duality
由: Eric A. Bergshoeff, et al.
出版: (2022-10-01)

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

The Complexity of Reachability in Affine Vector Addition Systems with States
由: Michael Blondin, et al.
出版: (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, et al.
出版: (2019-06-01)

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

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

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

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

Functional Reachability
由: Ong, C, et al.
出版: (2009)

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

Reachability and escape problems in linear dynamical systems
由: Dcosta, J
出版: (2024)

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

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

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

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

SCALAR AND VECTOR IN COMPULATION
由: Valery F. Ochkov, et al.
出版: (2016-05-01)

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

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

The pseudo-reachability problem for diagonalisable linear dynamical systems
由: D'Costa, J, et al.
出版: (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, et al.
出版: (2011)

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

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

Reachability Switching Games
由: John Fearnley, et al.
出版: (2021-04-01)

Constraint-based reachability
由: Arnaud Gotlieb, et al.
出版: (2013-02-01)

Reachability in Stochastic Timed Games.
由: Bouyer, P, et al.
出版: (2009)

Vector : scalar ratios for directional lighting
由: Turner, D. P.
出版: (1971)