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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Diekert, V, Potapov, I, Semukhin, P
Định dạng:	Conference item
Ngôn ngữ:	English
Được phát hành:	Association for Computing Machinery 2020

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

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

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

On the decidability of membership in matrix-exponential semigroups
Bằng: Ouaknine, J, et al.
Được phát hành: (2019)

The Competence of the Judicial Authority in Deciding the Validity of Parliamentary Membership
Bằng: Faysal shatnawy
Được phát hành: (2015-12-01)

The membership problem for hypergeometric sequences with rational parameters
Bằng: Nosan, K, et al.
Được phát hành: (2022)

Decidability of cutpoint isolation for probabilistic finite automata on letter-bounded inputs
Bằng: Bell, PC, et al.
Được phát hành: (2020)

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

Vector and scalar reachability problems in SL(2, Z)
Bằng: Potapov, I, et al.
Được phát hành: (2018)

GL(n, q)-analogues of factorization problems in the symmetric group
Bằng: Joel Brewster Lewis, et al.
Được phát hành: (2020-04-01)

Frobenius distributions in GL2- extensions : distribution of frobenius automorphism in GL2-of the rational numbers /
Bằng: Lang, Serge, 1927-, et al.
Được phát hành: (1976)

The PBW Basis of Uq,q¯¯¯(gl¨n)
Bằng: Neguț, Andrei
Được phát hành: (2022)

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)

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)

Singularities of Scattering Matrices
Bằng: Albert Schwarz
Được phát hành: (2023-09-01)

Fischer matrices of Dempwolff group $2^{5}{^{cdot}}GL(5,2)$
Bằng: Ayoub Basheer Mohammed Basheer, et al.
Được phát hành: (2012-12-01)

On q-Gevrey Asymptotics for Singularly Perturbed q-Difference-Differential Problems with an Irregular Singularity
Bằng: Alberto Lastra, et al.
Được phát hành: (2012-01-01)

Singular flat bands
Bằng: Jun-Won Rhim, et al.
Được phát hành: (2021-01-01)

Provisions of deciding the validity of Jordanian Parliament Membership Pursuant according to the Jordanian Constitutional Amendments of 2011
Bằng: Awad Rajab Al-Laymoon
Được phát hành: (2020-09-01)

The geometry of GL(2,q) in translation planes of even order q2
Bằng: N. L. Johnson
Được phát hành: (1981-01-01)

The geometry of GL(2,q) in translation planes of even order q2
Bằng: N. L. Johnson
Được phát hành: (1978-01-01)

The Number of P-Vertices of Singular Acyclic Matrices: An Inverse Problem
Bằng: Du Zhibin, et al.
Được phát hành: (2020-05-01)

On decidability and complexity of low-dimensional robot games
Bằng: Niskanen, R, et al.
Được phát hành: (2019)

An efficient variable stepsize rational method for stiff, singular and singularly perturbed problems
Bằng: Sania Qureshi, et al.
Được phát hành: (2022-12-01)

Singularity of discrete random matrices
Bằng: Jain, Vishesh, et al.
Được phát hành: (2022)

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

Rational subsets of finite groups
Bằng: Roger Alperin
Được phát hành: (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
Bằng: Miroslav Rapčák
Được phát hành: (2020-01-01)

PPAD-membership for problems with exact rational solutions: a general approach via convex optimization
Bằng: Filos-Ratsikas, A, et al.
Được phát hành: (2024)

On Parametrization of the Linear GL(4,C) and Unitary SU(4) Groups in Terms of Dirac Matrices
Bằng: Natalia G. Tokarevskaya, et al.
Được phát hành: (2008-02-01)

The pseudo-Skolem Problem is decidable
Bằng: D'Costa, J, et al.
Được phát hành: (2021)

Decidability Results for the Boundedness Problem
Bằng: Achim Blumensath, et al.
Được phát hành: (2014-08-01)

Decidability Problems for Actor Systems
Bằng: Frank De Boer, et al.
Được phát hành: (2014-12-01)

gl $$ \mathfrak{gl} $$ N Higgsed networks
Bằng: Yegor Zenkevich
Được phát hành: (2021-12-01)

A note on q-oscillator realizations of Uq(gl(M|N)) for Baxter Q-operators
Bằng: Zengo Tsuboi
Được phát hành: (2019-10-01)

Minimal irreducible solvable subgroups of the group GL(q,{Z}_{p})
Bằng: О. А. Кирилюк
Được phát hành: (2018-06-01)

Solving Laplace problems with corner singularities via rational functions
Bằng: Gopal, A, et al.
Được phát hành: (2019)

Inverting the sum of two singular matrices
Bằng: Sofia Eriksson, et al.
Được phát hành: (2024-05-01)

Singular matrices possessing the triangle property
Bằng: Priya K. Kranthi, et al.
Được phát hành: (2024-01-01)

Singular Value Decomposition of Spatial Matrices
Bằng: Pavel Iljin, et al.
Được phát hành: (2022-10-01)

Structured singular values for Bernoulli matrices
Bằng: Mutti-Ur Rehman
Được phát hành: (2017-06-01)