Decidability of membership problems for flat rational subsets of GL (2, Q) and singular matrices

Decidability of membership problems for flat rational subsets of GL (2, Q) and singular matrices

<p>This work relates numerical problems on matrices over the rationals to symbolic algorithms on words and finite automata. Using exact algebraic algorithms and symbolic computation, we prove new decidability results for 2 × 2 matrices over Q. Namely, we introduce a notion of flat rational set...

Deskribapen osoa

Xehetasun bibliografikoak
Egile Nagusiak:	Diekert, V, Potapov, I, Semukhin, P
Formatua:	Conference item
Hizkuntza:	English
Argitaratua:	Association for Computing Machinery 2020

Antzeko izenburuak

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

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

On the decidability of membership in matrix-exponential semigroups
nork: Ouaknine, J, et al.
Argitaratua: (2019)

The Competence of the Judicial Authority in Deciding the Validity of Parliamentary Membership
nork: Faysal shatnawy
Argitaratua: (2015-12-01)

The membership problem for hypergeometric sequences with rational parameters
nork: Nosan, K, et al.
Argitaratua: (2022)

Decidability of cutpoint isolation for probabilistic finite automata on letter-bounded inputs
nork: Bell, PC, et al.
Argitaratua: (2020)

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

Vector and scalar reachability problems in SL(2, Z)
nork: Potapov, I, et al.
Argitaratua: (2018)

GL(n, q)-analogues of factorization problems in the symmetric group
nork: Joel Brewster Lewis, et al.
Argitaratua: (2020-04-01)

Frobenius distributions in GL2- extensions : distribution of frobenius automorphism in GL2-of the rational numbers /
nork: Lang, Serge, 1927-, et al.
Argitaratua: (1976)

The PBW Basis of Uq,q¯¯¯(gl¨n)
nork: Neguț, Andrei
Argitaratua: (2022)

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

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

Singularities of Scattering Matrices
nork: Albert Schwarz
Argitaratua: (2023-09-01)

Fischer matrices of Dempwolff group $2^{5}{^{cdot}}GL(5,2)$
nork: Ayoub Basheer Mohammed Basheer, et al.
Argitaratua: (2012-12-01)

On q-Gevrey Asymptotics for Singularly Perturbed q-Difference-Differential Problems with an Irregular Singularity
nork: Alberto Lastra, et al.
Argitaratua: (2012-01-01)

Singular flat bands
nork: Jun-Won Rhim, et al.
Argitaratua: (2021-01-01)

Provisions of deciding the validity of Jordanian Parliament Membership Pursuant according to the Jordanian Constitutional Amendments of 2011
nork: Awad Rajab Al-Laymoon
Argitaratua: (2020-09-01)

The geometry of GL(2,q) in translation planes of even order q2
nork: N. L. Johnson
Argitaratua: (1981-01-01)

The geometry of GL(2,q) in translation planes of even order q2
nork: N. L. Johnson
Argitaratua: (1978-01-01)

The Number of P-Vertices of Singular Acyclic Matrices: An Inverse Problem
nork: Du Zhibin, et al.
Argitaratua: (2020-05-01)

On decidability and complexity of low-dimensional robot games
nork: Niskanen, R, et al.
Argitaratua: (2019)

An efficient variable stepsize rational method for stiff, singular and singularly perturbed problems
nork: Sania Qureshi, et al.
Argitaratua: (2022-12-01)

Singularity of discrete random matrices
nork: Jain, Vishesh, et al.
Argitaratua: (2022)

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

Rational subsets of finite groups
nork: Roger Alperin
Argitaratua: (2014-06-01)

On extensions of gl m n ⏜ $$ \mathfrak{gl}\widehat{\left(\left.m\right|n\right)} $$ Kac-Moody algebras and Calabi-Yau singularities
nork: Miroslav Rapčák
Argitaratua: (2020-01-01)

PPAD-membership for problems with exact rational solutions: a general approach via convex optimization
nork: Filos-Ratsikas, A, et al.
Argitaratua: (2024)

On Parametrization of the Linear GL(4,C) and Unitary SU(4) Groups in Terms of Dirac Matrices
nork: Natalia G. Tokarevskaya, et al.
Argitaratua: (2008-02-01)

The pseudo-Skolem Problem is decidable
nork: D'Costa, J, et al.
Argitaratua: (2021)

Decidability Results for the Boundedness Problem
nork: Achim Blumensath, et al.
Argitaratua: (2014-08-01)

Decidability Problems for Actor Systems
nork: Frank De Boer, et al.
Argitaratua: (2014-12-01)

gl $$ \mathfrak{gl} $$ N Higgsed networks
nork: Yegor Zenkevich
Argitaratua: (2021-12-01)

A note on q-oscillator realizations of Uq(gl(M|N)) for Baxter Q-operators
nork: Zengo Tsuboi
Argitaratua: (2019-10-01)

Minimal irreducible solvable subgroups of the group GL(q,{Z}_{p})
nork: О. А. Кирилюк
Argitaratua: (2018-06-01)

Solving Laplace problems with corner singularities via rational functions
nork: Gopal, A, et al.
Argitaratua: (2019)

Inverting the sum of two singular matrices
nork: Sofia Eriksson, et al.
Argitaratua: (2024-05-01)

Singular matrices possessing the triangle property
nork: Priya K. Kranthi, et al.
Argitaratua: (2024-01-01)

Singular Value Decomposition of Spatial Matrices
nork: Pavel Iljin, et al.
Argitaratua: (2022-10-01)

Structured singular values for Bernoulli matrices
nork: Mutti-Ur Rehman
Argitaratua: (2017-06-01)