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

Εμφάνιση άλλων εκδόσεων (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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Bell, PC, Potapov, I, Semukhin, P
Μορφή:	Journal article
Γλώσσα:	English
Έκδοση:	Elsevier 2021

Παρόμοια τεκμήρια

On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond
ανά: Bell, P, κ.ά.
Έκδοση: (2019)

Vector reachability problem in SL (2, ℤ)
ανά: Potapov, I, κ.ά.
Έκδοση: (2016)

Vector and scalar reachability problems in SL(2, Z)
ανά: Potapov, I, κ.ά.
Έκδοση: (2018)

Decidability of the membership problem for 2 x 2 integer matrices
ανά: Potapov, I, κ.ά.
Έκδοση: (2017)

Membership problem in GL(2, Z) extended by singular matrices
ανά: Potapov, I, κ.ά.
Έκδοση: (2017)

Decidability of membership problems for flat rational subsets of GL (2, Q) and singular matrices
ανά: Diekert, V, κ.ά.
Έκδοση: (2020)

Decidability of cutpoint isolation for probabilistic finite automata on letter-bounded inputs
ανά: Bell, PC, κ.ά.
Έκδοση: (2020)

On reachability problems for low-dimensional matrix semigroups
ανά: Colcombet, T, κ.ά.
Έκδοση: (2019)

Decision Problems for Linear Recurrence Sequences.
ανά: Ouaknine, J, κ.ά.
Έκδοση: (2012)

A system of linear recurrence equations for determinant of pentadiagonal matrix
ανά: Jolanta Borowska, κ.ά.
Έκδοση: (2014-06-01)

Preface to the Special Issue on Developments in Language Theory (DLT 2015)
ανά: Potapov, I, κ.ά.
Έκδοση: (2018)

General Recurrent Neural Network for Solving Generalized Linear Matrix Equation
ανά: Zhan Li, κ.ά.
Έκδοση: (2017-01-01)

Linear and Nonlinear Matrix Equations
ανά: Masoud Hajarian, κ.ά.
Έκδοση: (2013-01-01)

Linear and Riccati matrix equations
ανά: Lloyd K. Williams
Έκδοση: (1989-01-01)

Linearization of a Matrix Riccati Equation Associated to an Optimal Control Problem
ανά: Foued Zitouni, κ.ά.
Έκδοση: (2014-01-01)

Controllability Analysis of Linear Time-Varying T-H Equation with Matrix Sequence Method
ανά: Sihui Liu, κ.ά.
Έκδοση: (2023-01-01)

Linear-time model checking branching processes
ανά: Kiefer, SM, κ.ά.
Έκδοση: (2021)

The infinite linear recurrent equations and paradeterminants
ανά: R. A. Zatorsky, κ.ά.
Έκδοση: (2009-06-01)

On Homogeneous Combinations of Linear Recurrence Sequences
ανά: Marie Hubálovská, κ.ά.
Έκδοση: (2020-12-01)

Design of Linear Systolic Arrays for Matrix Multiplication
ανά: MILOVANOVIC, E. I., κ.ά.
Έκδοση: (2014-02-01)

Estimates for the Cauchy matrix of perturbed linear impulsive equation
ανά: P. S. Simeonov, κ.ά.
Έκδοση: (1994-01-01)

Solving linear differential equation using matrix /
ανά: 492753 Roshanida Rohanuddin, κ.ά.
Έκδοση: (2009)

The General Solutions of Fuzzy Linear Matrix Equations
ανά: N. Mikaeilvand∗, κ.ά.
Έκδοση: (2015-12-01)

Sequence-to-Sequence Stacked Gate Recurrent Unit Networks for Approximating the Forward Problem of Partial Differential Equations
ανά: Zhaoyang Zhang, κ.ά.
Έκδοση: (2024-01-01)

Effective divergence analysis for linear recurrence sequences
ανά: Almagor, S, κ.ά.
Έκδοση: (2018)

General Linear Recurrence Sequences and Their Convolution Formulas
ανά: Paolo Emilio Ricci, κ.ά.
Έκδοση: (2019-11-01)

Algebraic methods for the solution of some linear matrix equations
Έκδοση: (2002)

Linear matrix differential equations of higher-order and applications
ανά: Mustapha Rachidi, κ.ά.
Έκδοση: (2008-07-01)

On a class of fourth order linear recurrence equations
ανά: Sui-Sun Cheng
Έκδοση: (1984-01-01)

On Relationships between a Linear Matrix Equation and Its Four Reduced Equations
ανά: Bo Jiang, κ.ά.
Έκδοση: (2022-08-01)

Deciding ω-regular properties on linear recurrence sequences
ανά: Almagor, S, κ.ά.
Έκδοση: (2021)

Computing the Density of the Positivity Set for Linear Recurrence Sequences
ανά: Edon Kelmendi
Έκδοση: (2023-11-01)

On the character of nonlinearity discontinuities in eigenvalue problems for elliptic equations
ανά: Dmitriy K Potapov
Έκδοση: (2012-09-01)

On the character of nonlinearity discontinuities in eigenvalue problems for elliptic equations
ανά: D. K. Potapov
Έκδοση: (2012-09-01)

Matrix Pencil Optimal Iterative Algorithms and Restarted Versions for Linear Matrix Equation and Pseudoinverse
ανά: Chein-Shan Liu, κ.ά.
Έκδοση: (2024-06-01)

ALGEBRAIC EQUATIONS WITH LINEAR SHIFT OPERATORS ON SEQUENCES
ανά: SEVER ANGEL POPESCU
Έκδοση: (2016-04-01)

A handbook of numerical matrix inversion and solution of linear equations /
ανά: 215746 Westlake, Joan R.
Έκδοση: (1968)

Matrix method for solving linear complex vector functional equations
ανά: Ice B. Risteski
Έκδοση: (2002-01-01)

Riemannian Gradient Algorithm for the Numerical Solution of Linear Matrix Equations
ανά: Xiaomin Duan, κ.ά.
Έκδοση: (2014-01-01)

Approximate Solution of Complex LR Fuzzy Linear Matrix Equation
ανά: Xiaobin Guo, κ.ά.
Έκδοση: (2024-11-01)