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

書目詳細資料
Main Authors:	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, et al.
出版: (2017)

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

On the decidability of membership in matrix-exponential semigroups
由: Ouaknine, J, et al.
出版: (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, et al.
出版: (2022)

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

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

Vector and scalar reachability problems in SL(2, Z)
由: Potapov, I, et al.
出版: (2018)

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

Frobenius distributions in GL2- extensions : distribution of frobenius automorphism in GL2-of the rational numbers /
由: Lang, Serge, 1927-, et al.
出版: (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, et al.
出版: (2021)

On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond
由: Bell, P, et al.
出版: (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, et al.
出版: (2012-12-01)

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

Singular flat bands
由: Jun-Won Rhim, et al.
出版: (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, et al.
出版: (2020-05-01)

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

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

Singularity of discrete random matrices
由: Jain, Vishesh, et al.
出版: (2022)

Preface to the Special Issue on Developments in Language Theory (DLT 2015)
由: Potapov, I, et al.
出版: (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, et al.
出版: (2024)

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

The pseudo-Skolem Problem is decidable
由: D'Costa, J, et al.
出版: (2021)

Decidability Results for the Boundedness Problem
由: Achim Blumensath, et al.
出版: (2014-08-01)

Decidability Problems for Actor Systems
由: Frank De Boer, et al.
出版: (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, et al.
出版: (2019)

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

Singular matrices possessing the triangle property
由: Priya K. Kranthi, et al.
出版: (2024-01-01)

Singular Value Decomposition of Spatial Matrices
由: Pavel Iljin, et al.
出版: (2022-10-01)

Structured singular values for Bernoulli matrices
由: Mutti-Ur Rehman
出版: (2017-06-01)