On the mortality problem: From multiplicative matrix equations to linear recurrence sequences and beyond

On the mortality problem: From multiplicative matrix equations to linear recurrence sequences and beyond

Diğer sürümleri göster (1)

We consider the following variant of the mortality problem: given k×k matrices A1, A2, . . . , At, do there exist t nonnegative integers m1, m2, . . . , mt such that the product A1m1 A2m2· · · Atmt is equal to the zero matrix? It is known that this problem is decidable when t ≤ 2 for matrices over a...

Detaylı Bibliyografya
Asıl Yazarlar:	Bell, PC, Potapov, I, Semukhin, P
Materyal Türü:	Journal article
Dil:	English
Baskı/Yayın Bilgisi:	Elsevier 2021

Benzer Materyaller

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)

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)

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

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

Decidability of membership problems for flat rational subsets of GL (2, Q) and singular matrices
Yazar:: Diekert, V, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

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

On reachability problems for low-dimensional matrix semigroups
Yazar:: Colcombet, T, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Decision Problems for Linear Recurrence Sequences.
Yazar:: Ouaknine, J, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

A system of linear recurrence equations for determinant of pentadiagonal matrix
Yazar:: Jolanta Borowska, ve diğerleri
Baskı/Yayın Bilgisi: (2014-06-01)

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

General Recurrent Neural Network for Solving Generalized Linear Matrix Equation
Yazar:: Zhan Li, ve diğerleri
Baskı/Yayın Bilgisi: (2017-01-01)

Linear and Nonlinear Matrix Equations
Yazar:: Masoud Hajarian, ve diğerleri
Baskı/Yayın Bilgisi: (2013-01-01)

Linear and Riccati matrix equations
Yazar:: Lloyd K. Williams
Baskı/Yayın Bilgisi: (1989-01-01)

Linearization of a Matrix Riccati Equation Associated to an Optimal Control Problem
Yazar:: Foued Zitouni, ve diğerleri
Baskı/Yayın Bilgisi: (2014-01-01)

Controllability Analysis of Linear Time-Varying T-H Equation with Matrix Sequence Method
Yazar:: Sihui Liu, ve diğerleri
Baskı/Yayın Bilgisi: (2023-01-01)

Linear-time model checking branching processes
Yazar:: Kiefer, SM, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

The infinite linear recurrent equations and paradeterminants
Yazar:: R. A. Zatorsky, ve diğerleri
Baskı/Yayın Bilgisi: (2009-06-01)

On Homogeneous Combinations of Linear Recurrence Sequences
Yazar:: Marie Hubálovská, ve diğerleri
Baskı/Yayın Bilgisi: (2020-12-01)

Estimates for the Cauchy matrix of perturbed linear impulsive equation
Yazar:: P. S. Simeonov, ve diğerleri
Baskı/Yayın Bilgisi: (1994-01-01)

Solving linear differential equation using matrix /
Yazar:: 492753 Roshanida Rohanuddin, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

The General Solutions of Fuzzy Linear Matrix Equations
Yazar:: N. Mikaeilvand∗, ve diğerleri
Baskı/Yayın Bilgisi: (2015-12-01)

Sequence-to-Sequence Stacked Gate Recurrent Unit Networks for Approximating the Forward Problem of Partial Differential Equations
Yazar:: Zhaoyang Zhang, ve diğerleri
Baskı/Yayın Bilgisi: (2024-01-01)

Effective divergence analysis for linear recurrence sequences
Yazar:: Almagor, S, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

General Linear Recurrence Sequences and Their Convolution Formulas
Yazar:: Paolo Emilio Ricci, ve diğerleri
Baskı/Yayın Bilgisi: (2019-11-01)

Algebraic methods for the solution of some linear matrix equations
Baskı/Yayın Bilgisi: (2002)

Linear matrix differential equations of higher-order and applications
Yazar:: Mustapha Rachidi, ve diğerleri
Baskı/Yayın Bilgisi: (2008-07-01)

On a class of fourth order linear recurrence equations
Yazar:: Sui-Sun Cheng
Baskı/Yayın Bilgisi: (1984-01-01)

Deciding ω-regular properties on linear recurrence sequences
Yazar:: Almagor, S, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Computing the Density of the Positivity Set for Linear Recurrence Sequences
Yazar:: Edon Kelmendi
Baskı/Yayın Bilgisi: (2023-11-01)

On Relationships between a Linear Matrix Equation and Its Four Reduced Equations
Yazar:: Bo Jiang, ve diğerleri
Baskı/Yayın Bilgisi: (2022-08-01)

Matrix Pencil Optimal Iterative Algorithms and Restarted Versions for Linear Matrix Equation and Pseudoinverse
Yazar:: Chein-Shan Liu, ve diğerleri
Baskı/Yayın Bilgisi: (2024-06-01)

On the character of nonlinearity discontinuities in eigenvalue problems for elliptic equations
Yazar:: Dmitriy K Potapov
Baskı/Yayın Bilgisi: (2012-09-01)

On the character of nonlinearity discontinuities in eigenvalue problems for elliptic equations
Yazar:: D. K. Potapov
Baskı/Yayın Bilgisi: (2012-09-01)

ALGEBRAIC EQUATIONS WITH LINEAR SHIFT OPERATORS ON SEQUENCES
Yazar:: SEVER ANGEL POPESCU
Baskı/Yayın Bilgisi: (2016-04-01)

A handbook of numerical matrix inversion and solution of linear equations /
Yazar:: 215746 Westlake, Joan R.
Baskı/Yayın Bilgisi: (1968)

Matrix method for solving linear complex vector functional equations
Yazar:: Ice B. Risteski
Baskı/Yayın Bilgisi: (2002-01-01)

Riemannian Gradient Algorithm for the Numerical Solution of Linear Matrix Equations
Yazar:: Xiaomin Duan, ve diğerleri
Baskı/Yayın Bilgisi: (2014-01-01)

Approximate Solution of Complex LR Fuzzy Linear Matrix Equation
Yazar:: Xiaobin Guo, ve diğerleri
Baskı/Yayın Bilgisi: (2024-11-01)

Optimal Pole Assignment of Linear Systems by the Sylvester Matrix Equations
Yazar:: Hua-Feng He, ve diğerleri
Baskı/Yayın Bilgisi: (2014-01-01)