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

Detaylı Bibliyografya
Asıl Yazarlar:	Diekert, V, Potapov, I, Semukhin, P
Materyal Türü:	Conference item
Dil:	English
Baskı/Yayın Bilgisi:	Association for Computing Machinery 2020

Benzer Materyaller

Membership problem in GL(2, Z) extended by singular matrices
Yazar:: Potapov, I, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Decidability of the membership problem for 2 x 2 integer matrices
Yazar:: Potapov, I, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

On the decidability of membership in matrix-exponential semigroups
Yazar:: Ouaknine, J, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

The Competence of the Judicial Authority in Deciding the Validity of Parliamentary Membership
Yazar:: Faysal shatnawy
Baskı/Yayın Bilgisi: (2015-12-01)

The membership problem for hypergeometric sequences with rational parameters
Yazar:: Nosan, K, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Decidability of cutpoint isolation for probabilistic finite automata on letter-bounded inputs
Yazar:: Bell, PC, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Vector reachability problem in SL (2, ℤ)
Yazar:: Potapov, I, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Vector and scalar reachability problems in SL(2, Z)
Yazar:: Potapov, I, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

GL(n, q)-analogues of factorization problems in the symmetric group
Yazar:: Joel Brewster Lewis, ve diğerleri
Baskı/Yayın Bilgisi: (2020-04-01)

Frobenius distributions in GL2- extensions : distribution of frobenius automorphism in GL2-of the rational numbers /
Yazar:: Lang, Serge, 1927-, ve diğerleri
Baskı/Yayın Bilgisi: (1976)

The PBW Basis of Uq,q¯¯¯(gl¨n)
Yazar:: Neguț, Andrei
Baskı/Yayın Bilgisi: (2022)

On the mortality problem: From multiplicative matrix equations to linear recurrence sequences and beyond
Yazar:: Bell, PC, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond
Yazar:: Bell, P, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Singularities of Scattering Matrices
Yazar:: Albert Schwarz
Baskı/Yayın Bilgisi: (2023-09-01)

Fischer matrices of Dempwolff group $2^{5}{^{cdot}}GL(5,2)$
Yazar:: Ayoub Basheer Mohammed Basheer, ve diğerleri
Baskı/Yayın Bilgisi: (2012-12-01)

On q-Gevrey Asymptotics for Singularly Perturbed q-Difference-Differential Problems with an Irregular Singularity
Yazar:: Alberto Lastra, ve diğerleri
Baskı/Yayın Bilgisi: (2012-01-01)

Singular flat bands
Yazar:: Jun-Won Rhim, ve diğerleri
Baskı/Yayın Bilgisi: (2021-01-01)

Provisions of deciding the validity of Jordanian Parliament Membership Pursuant according to the Jordanian Constitutional Amendments of 2011
Yazar:: Awad Rajab Al-Laymoon
Baskı/Yayın Bilgisi: (2020-09-01)

The geometry of GL(2,q) in translation planes of even order q2
Yazar:: N. L. Johnson
Baskı/Yayın Bilgisi: (1981-01-01)

The geometry of GL(2,q) in translation planes of even order q2
Yazar:: N. L. Johnson
Baskı/Yayın Bilgisi: (1978-01-01)

The Number of P-Vertices of Singular Acyclic Matrices: An Inverse Problem
Yazar:: Du Zhibin, ve diğerleri
Baskı/Yayın Bilgisi: (2020-05-01)

On decidability and complexity of low-dimensional robot games
Yazar:: Niskanen, R, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

An efficient variable stepsize rational method for stiff, singular and singularly perturbed problems
Yazar:: Sania Qureshi, ve diğerleri
Baskı/Yayın Bilgisi: (2022-12-01)

Singularity of discrete random matrices
Yazar:: Jain, Vishesh, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Preface to the Special Issue on Developments in Language Theory (DLT 2015)
Yazar:: Potapov, I, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Rational subsets of finite groups
Yazar:: Roger Alperin
Baskı/Yayın Bilgisi: (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
Yazar:: Miroslav Rapčák
Baskı/Yayın Bilgisi: (2020-01-01)

PPAD-membership for problems with exact rational solutions: a general approach via convex optimization
Yazar:: Filos-Ratsikas, A, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

On Parametrization of the Linear GL(4,C) and Unitary SU(4) Groups in Terms of Dirac Matrices
Yazar:: Natalia G. Tokarevskaya, ve diğerleri
Baskı/Yayın Bilgisi: (2008-02-01)

The pseudo-Skolem Problem is decidable
Yazar:: D'Costa, J, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Decidability Results for the Boundedness Problem
Yazar:: Achim Blumensath, ve diğerleri
Baskı/Yayın Bilgisi: (2014-08-01)

Decidability Problems for Actor Systems
Yazar:: Frank De Boer, ve diğerleri
Baskı/Yayın Bilgisi: (2014-12-01)

gl $$ \mathfrak{gl} $$ N Higgsed networks
Yazar:: Yegor Zenkevich
Baskı/Yayın Bilgisi: (2021-12-01)

A note on q-oscillator realizations of Uq(gl(M|N)) for Baxter Q-operators
Yazar:: Zengo Tsuboi
Baskı/Yayın Bilgisi: (2019-10-01)

Minimal irreducible solvable subgroups of the group GL(q,{Z}_{p})
Yazar:: О. А. Кирилюк
Baskı/Yayın Bilgisi: (2018-06-01)

Solving Laplace problems with corner singularities via rational functions
Yazar:: Gopal, A, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Inverting the sum of two singular matrices
Yazar:: Sofia Eriksson, ve diğerleri
Baskı/Yayın Bilgisi: (2024-05-01)

Singular matrices possessing the triangle property
Yazar:: Priya K. Kranthi, ve diğerleri
Baskı/Yayın Bilgisi: (2024-01-01)

Singular Value Decomposition of Spatial Matrices
Yazar:: Pavel Iljin, ve diğerleri
Baskı/Yayın Bilgisi: (2022-10-01)

Structured singular values for Bernoulli matrices
Yazar:: Mutti-Ur Rehman
Baskı/Yayın Bilgisi: (2017-06-01)