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

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

Библиографические подробности
Главные авторы:	Diekert, V, Potapov, I, Semukhin, P
Формат:	Conference item
Язык:	English
Опубликовано:	Association for Computing Machinery 2020

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

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

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

On the decidability of membership in matrix-exponential semigroups
по: Ouaknine, J, и др.
Опубликовано: (2019)

The Competence of the Judicial Authority in Deciding the Validity of Parliamentary Membership
по: Faysal shatnawy
Опубликовано: (2015-12-01)

The membership problem for hypergeometric sequences with rational parameters
по: Nosan, K, и др.
Опубликовано: (2022)

Decidability of cutpoint isolation for probabilistic finite automata on letter-bounded inputs
по: Bell, PC, и др.
Опубликовано: (2020)

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

Vector and scalar reachability problems in SL(2, Z)
по: Potapov, I, и др.
Опубликовано: (2018)

GL(n, q)-analogues of factorization problems in the symmetric group
по: Joel Brewster Lewis, и др.
Опубликовано: (2020-04-01)

Frobenius distributions in GL2- extensions : distribution of frobenius automorphism in GL2-of the rational numbers /
по: Lang, Serge, 1927-, и др.
Опубликовано: (1976)

The PBW Basis of Uq,q¯¯¯(gl¨n)
по: Neguț, Andrei
Опубликовано: (2022)

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

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

Singularities of Scattering Matrices
по: Albert Schwarz
Опубликовано: (2023-09-01)

Fischer matrices of Dempwolff group $2^{5}{^{cdot}}GL(5,2)$
по: Ayoub Basheer Mohammed Basheer, и др.
Опубликовано: (2012-12-01)

On q-Gevrey Asymptotics for Singularly Perturbed q-Difference-Differential Problems with an Irregular Singularity
по: Alberto Lastra, и др.
Опубликовано: (2012-01-01)

Singular flat bands
по: Jun-Won Rhim, и др.
Опубликовано: (2021-01-01)

Provisions of deciding the validity of Jordanian Parliament Membership Pursuant according to the Jordanian Constitutional Amendments of 2011
по: Awad Rajab Al-Laymoon
Опубликовано: (2020-09-01)

The geometry of GL(2,q) in translation planes of even order q2
по: N. L. Johnson
Опубликовано: (1981-01-01)

The geometry of GL(2,q) in translation planes of even order q2
по: N. L. Johnson
Опубликовано: (1978-01-01)

The Number of P-Vertices of Singular Acyclic Matrices: An Inverse Problem
по: Du Zhibin, и др.
Опубликовано: (2020-05-01)

On decidability and complexity of low-dimensional robot games
по: Niskanen, R, и др.
Опубликовано: (2019)

An efficient variable stepsize rational method for stiff, singular and singularly perturbed problems
по: Sania Qureshi, и др.
Опубликовано: (2022-12-01)

Singularity of discrete random matrices
по: Jain, Vishesh, и др.
Опубликовано: (2022)

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

Rational subsets of finite groups
по: Roger Alperin
Опубликовано: (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
по: Miroslav Rapčák
Опубликовано: (2020-01-01)

PPAD-membership for problems with exact rational solutions: a general approach via convex optimization
по: Filos-Ratsikas, A, и др.
Опубликовано: (2024)

On Parametrization of the Linear GL(4,C) and Unitary SU(4) Groups in Terms of Dirac Matrices
по: Natalia G. Tokarevskaya, и др.
Опубликовано: (2008-02-01)

The pseudo-Skolem Problem is decidable
по: D'Costa, J, и др.
Опубликовано: (2021)

Decidability Results for the Boundedness Problem
по: Achim Blumensath, и др.
Опубликовано: (2014-08-01)

Decidability Problems for Actor Systems
по: Frank De Boer, и др.
Опубликовано: (2014-12-01)

gl $$ \mathfrak{gl} $$ N Higgsed networks
по: Yegor Zenkevich
Опубликовано: (2021-12-01)

A note on q-oscillator realizations of Uq(gl(M|N)) for Baxter Q-operators
по: Zengo Tsuboi
Опубликовано: (2019-10-01)

Minimal irreducible solvable subgroups of the group GL(q,{Z}_{p})
по: О. А. Кирилюк
Опубликовано: (2018-06-01)

Solving Laplace problems with corner singularities via rational functions
по: Gopal, A, и др.
Опубликовано: (2019)

Inverting the sum of two singular matrices
по: Sofia Eriksson, и др.
Опубликовано: (2024-05-01)

Singular matrices possessing the triangle property
по: Priya K. Kranthi, и др.
Опубликовано: (2024-01-01)

Singular Value Decomposition of Spatial Matrices
по: Pavel Iljin, и др.
Опубликовано: (2022-10-01)

Structured singular values for Bernoulli matrices
по: Mutti-Ur Rehman
Опубликовано: (2017-06-01)