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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Potapov, I, Semukhin, P
Định dạng:	Journal article
Được phát hành:	Elsevier 2018

Những quyển sách tương tự

Vector reachability problem in SL (2, ℤ)
Bằng: Potapov, I, et al.
Được phát hành: (2016)

Membership problem in GL(2, Z) extended by singular matrices
Bằng: Potapov, I, et al.
Được phát hành: (2017)

On reachability problems for low-dimensional matrix semigroups
Bằng: Colcombet, T, et al.
Được phát hành: (2019)

Reachability problems in nondeterministic polynomial maps on the integers
Bằng: Ko, SK, et al.
Được phát hành: (2018)

Decidability of the membership problem for 2 x 2 integer matrices
Bằng: Potapov, I, et al.
Được phát hành: (2017)

Vector Addition System Reversible Reachability Problem
Bằng: Jérôme Leroux
Được phát hành: (2013-02-01)

The reachability problem for two-dimensional vector addition systems with states
Bằng: Blondin, M, et al.
Được phát hành: (2021)

Decidability of membership problems for flat rational subsets of GL (2, Q) and singular matrices
Bằng: Diekert, V, et al.
Được phát hành: (2020)

On affine reachability problems
Bằng: Jaax, S, et al.
Được phát hành: (2020)

The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
Bằng: leroux jerome
Được phát hành: (2010-09-01)

On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond
Bằng: Bell, P, et al.
Được phát hành: (2019)

On the mortality problem: From multiplicative matrix equations to linear recurrence sequences and beyond
Bằng: Bell, PC, et al.
Được phát hành: (2021)

Branched SL(2,ℤ) duality
Bằng: Eric A. Bergshoeff, et al.
Được phát hành: (2022-10-01)

Link-Based Similarity Measures Using Reachability Vectors
Bằng: Seok-Ho Yoon, et al.
Được phát hành: (2014-01-01)

The Complexity of Reachability in Affine Vector Addition Systems with States
Bằng: Michael Blondin, et al.
Được phát hành: (2021-07-01)

Reachability problems for linear dynamical systems
Bằng: Chonev, V
Được phát hành: (2015)

Generic loop effects of new scalars and fermions in b → sℓ + ℓ − and a vector-like 4th generation
Bằng: Pere Arnan, et al.
Được phát hành: (2019-06-01)

On scalarization of vector discrete problems of majority choice
Bằng: V.A. Emelichev, et al.
Được phát hành: (2000-10-01)

Preface to the Special Issue on Developments in Language Theory (DLT 2015)
Bằng: Potapov, I, et al.
Được phát hành: (2018)

The SL(2, ℤ) dualization algorithm at work
Bằng: Riccardo Comi, et al.
Được phát hành: (2023-06-01)

Dark monopoles and SL(2, ℤ) duality
Bằng: John Terning, et al.
Được phát hành: (2018-12-01)

Functional Reachability
Bằng: Ong, C, et al.
Được phát hành: (2009)

Reachability Deficits in Quantum Approximate Optimization of Graph Problems
Bằng: V. Akshay, et al.
Được phát hành: (2021-08-01)

Reachability and escape problems in linear dynamical systems
Bằng: Dcosta, J
Được phát hành: (2024)

Reachability Problem for Weak Multi-Pushdown Automata
Bằng: Wojciech Czerwiński, et al.
Được phát hành: (2013-09-01)

Bounded Reachability Problems are Decidable in FIFO Machines
Bằng: Benedikt Bollig, et al.
Được phát hành: (2022-01-01)

On Quadratic Scalarization of One Class of Vector Optimization Problems in Banach Spaces
Bằng: V. M. Bogomaz, et al.
Được phát hành: (2012-01-01)

Logics for Continuous Reachability in Petri Nets and Vector Addition Systems with States
Bằng: Haase, C, et al.
Được phát hành: (2017)

SCALAR AND VECTOR IN COMPULATION
Bằng: Valery F. Ochkov, et al.
Được phát hành: (2016-05-01)

On the Relationship between Reachability Problems in Timed and Counter Automata
Bằng: Haase, C, et al.
Được phát hành: (2012)

On the relationship between reachability problems in timed and counter automata
Bằng: Haase, C, et al.
Được phát hành: (2012)

The pseudo-reachability problem for diagonalisable linear dynamical systems
Bằng: D'Costa, J, et al.
Được phát hành: (2022)

Iterated primitives of meromorphic quasimodular forms for SL2(Z)
Bằng: Matthes, N
Được phát hành: (2021)

A memory efficient reachability data structure through bit vector compression
Bằng: van Schaik, S, et al.
Được phát hành: (2011)

A memory efficient reachability data structure through bit vector compression.
Bằng: Schaik, S, et al.
Được phát hành: (2011)

Estimates of Reachable Set and Sufficient Optimality Condition for Discrete Control Problems
Bằng: S. P. Sorokin
Được phát hành: (2017-03-01)

Reachability Switching Games
Bằng: John Fearnley, et al.
Được phát hành: (2021-04-01)

Constraint-based reachability
Bằng: Arnaud Gotlieb, et al.
Được phát hành: (2013-02-01)

Reachability in Stochastic Timed Games.
Bằng: Bouyer, P, et al.
Được phát hành: (2009)

Vector : scalar ratios for directional lighting
Bằng: Turner, D. P.
Được phát hành: (1971)