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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Diekert, V, Potapov, I, Semukhin, P
Formáid:	Conference item
Teanga:	English
Foilsithe / Cruthaithe:	Association for Computing Machinery 2020

Míreanna comhchosúla

Membership problem in GL(2, Z) extended by singular matrices
de réir: Potapov, I, et al.
Foilsithe / Cruthaithe: (2017)

Decidability of the membership problem for 2 x 2 integer matrices
de réir: Potapov, I, et al.
Foilsithe / Cruthaithe: (2017)

On the decidability of membership in matrix-exponential semigroups
de réir: Ouaknine, J, et al.
Foilsithe / Cruthaithe: (2019)

The Competence of the Judicial Authority in Deciding the Validity of Parliamentary Membership
de réir: Faysal shatnawy
Foilsithe / Cruthaithe: (2015-12-01)

The membership problem for hypergeometric sequences with rational parameters
de réir: Nosan, K, et al.
Foilsithe / Cruthaithe: (2022)

Decidability of cutpoint isolation for probabilistic finite automata on letter-bounded inputs
de réir: Bell, PC, et al.
Foilsithe / Cruthaithe: (2020)

Vector reachability problem in SL (2, ℤ)
de réir: Potapov, I, et al.
Foilsithe / Cruthaithe: (2016)

Vector and scalar reachability problems in SL(2, Z)
de réir: Potapov, I, et al.
Foilsithe / Cruthaithe: (2018)

GL(n, q)-analogues of factorization problems in the symmetric group
de réir: Joel Brewster Lewis, et al.
Foilsithe / Cruthaithe: (2020-04-01)

Frobenius distributions in GL2- extensions : distribution of frobenius automorphism in GL2-of the rational numbers /
de réir: Lang, Serge, 1927-, et al.
Foilsithe / Cruthaithe: (1976)

The PBW Basis of Uq,q¯¯¯(gl¨n)
de réir: Neguț, Andrei
Foilsithe / Cruthaithe: (2022)

On the mortality problem: From multiplicative matrix equations to linear recurrence sequences and beyond
de réir: Bell, PC, et al.
Foilsithe / Cruthaithe: (2021)

On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond
de réir: Bell, P, et al.
Foilsithe / Cruthaithe: (2019)

Singularities of Scattering Matrices
de réir: Albert Schwarz
Foilsithe / Cruthaithe: (2023-09-01)

Fischer matrices of Dempwolff group $2^{5}{^{cdot}}GL(5,2)$
de réir: Ayoub Basheer Mohammed Basheer, et al.
Foilsithe / Cruthaithe: (2012-12-01)

On q-Gevrey Asymptotics for Singularly Perturbed q-Difference-Differential Problems with an Irregular Singularity
de réir: Alberto Lastra, et al.
Foilsithe / Cruthaithe: (2012-01-01)

Singular flat bands
de réir: Jun-Won Rhim, et al.
Foilsithe / Cruthaithe: (2021-01-01)

Provisions of deciding the validity of Jordanian Parliament Membership Pursuant according to the Jordanian Constitutional Amendments of 2011
de réir: Awad Rajab Al-Laymoon
Foilsithe / Cruthaithe: (2020-09-01)

The geometry of GL(2,q) in translation planes of even order q2
de réir: N. L. Johnson
Foilsithe / Cruthaithe: (1981-01-01)

The geometry of GL(2,q) in translation planes of even order q2
de réir: N. L. Johnson
Foilsithe / Cruthaithe: (1978-01-01)

The Number of P-Vertices of Singular Acyclic Matrices: An Inverse Problem
de réir: Du Zhibin, et al.
Foilsithe / Cruthaithe: (2020-05-01)

On decidability and complexity of low-dimensional robot games
de réir: Niskanen, R, et al.
Foilsithe / Cruthaithe: (2019)

An efficient variable stepsize rational method for stiff, singular and singularly perturbed problems
de réir: Sania Qureshi, et al.
Foilsithe / Cruthaithe: (2022-12-01)

Singularity of discrete random matrices
de réir: Jain, Vishesh, et al.
Foilsithe / Cruthaithe: (2022)

Preface to the Special Issue on Developments in Language Theory (DLT 2015)
de réir: Potapov, I, et al.
Foilsithe / Cruthaithe: (2018)

Rational subsets of finite groups
de réir: Roger Alperin
Foilsithe / Cruthaithe: (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
de réir: Miroslav Rapčák
Foilsithe / Cruthaithe: (2020-01-01)

PPAD-membership for problems with exact rational solutions: a general approach via convex optimization
de réir: Filos-Ratsikas, A, et al.
Foilsithe / Cruthaithe: (2024)

On Parametrization of the Linear GL(4,C) and Unitary SU(4) Groups in Terms of Dirac Matrices
de réir: Natalia G. Tokarevskaya, et al.
Foilsithe / Cruthaithe: (2008-02-01)

The pseudo-Skolem Problem is decidable
de réir: D'Costa, J, et al.
Foilsithe / Cruthaithe: (2021)

Decidability Results for the Boundedness Problem
de réir: Achim Blumensath, et al.
Foilsithe / Cruthaithe: (2014-08-01)

Decidability Problems for Actor Systems
de réir: Frank De Boer, et al.
Foilsithe / Cruthaithe: (2014-12-01)

gl $$ \mathfrak{gl} $$ N Higgsed networks
de réir: Yegor Zenkevich
Foilsithe / Cruthaithe: (2021-12-01)

A note on q-oscillator realizations of Uq(gl(M|N)) for Baxter Q-operators
de réir: Zengo Tsuboi
Foilsithe / Cruthaithe: (2019-10-01)

Minimal irreducible solvable subgroups of the group GL(q,{Z}_{p})
de réir: О. А. Кирилюк
Foilsithe / Cruthaithe: (2018-06-01)

Solving Laplace problems with corner singularities via rational functions
de réir: Gopal, A, et al.
Foilsithe / Cruthaithe: (2019)

Inverting the sum of two singular matrices
de réir: Sofia Eriksson, et al.
Foilsithe / Cruthaithe: (2024-05-01)

Singular matrices possessing the triangle property
de réir: Priya K. Kranthi, et al.
Foilsithe / Cruthaithe: (2024-01-01)

Singular Value Decomposition of Spatial Matrices
de réir: Pavel Iljin, et al.
Foilsithe / Cruthaithe: (2022-10-01)

Structured singular values for Bernoulli matrices
de réir: Mutti-Ur Rehman
Foilsithe / Cruthaithe: (2017-06-01)