On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond (Q5092447): Difference between revisions

Latest revision as of 08:56, 30 July 2024

scientific article; zbMATH DE number 7561727

Language	Label	Description	Also known as
English	On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond	scientific article; zbMATH DE number 7561727

Statements

0 references

0 references

0 references

0 references

21 July 2022

0 references

zbMATH Keywords

linear recurrence sequences

0 references

Skolem's problem

0 references

mortality problem

0 references

matrix equations

0 references

primary decomposition theorem

0 references

Baker's theorem

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Q4875224

0 references

Markov Chains and Unambiguous Büchi Automata

0 references

MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM

0 references

Mortality for 2 ×2 Matrices Is NP-Hard

0 references

The Identity Problem for Matrix Semigroups in SL2(ℤ) is NP-complete

0 references

Decidable and Undecidable Problems about Quantum Automata

0 references

Deciding stability and mortality of piecewise affine dynamical systems

0 references

The presence of a zero in an integer linear recurrent sequence is NP-hard to decide

0 references

Complexity of stability and controllability of elementary hybrid systems

0 references

On the Complexity of the Orbit Problem

0 references

Q4598241

0 references

Q3807295

0 references

Q2955006

0 references

On the abc conjecture in algebraic number fields

0 references

A simple proof of the Skolem-Mahler-Lech theorem

0 references

Q5613964

0 references

Q5614003

0 references

Products of matrices and recursively enumerable sets

0 references

Q3998992

0 references

On NFAs where all states are final, initial, or both

0 references

Knapsack and subset sum problems in nilpotent, polycyclic, and co-context-free groups

0 references

A note on recurring series

0 references

Mathematical Foundations of Computer Science 2004

0 references

Rational subsets of unitriangular groups

0 references

Q3671245

0 references

Mortality Problem for 2×2 Integer Matrices

0 references

On Termination of Integer Linear Loops

0 references

Solvability of Matrix-Exponential Equations

0 references

Decision Problems for Linear Recurrence Sequences

0 references

On the Positivity Problem for Simple Linear Recurrence Sequences,

0 references

Positivity Problems for Low-Order Linear Recurrence Sequences

0 references

Unsolvability in 3 × 3 Matrices

0 references

Decidability of the Membership Problem for 2 × 2 integer matrices

0 references

Q5111259

0 references

Occurrence of zero in a linear recursive sequence

0 references

full work available at URL

http://doi.org/10.4230/LIPIcs.MFCS.2019.83

0 references

title

On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond (English)

0 references

Identifiers

DOI

10.4230/LIPIcs.MFCS.2019.83

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5092447

@@ label / en / label / en @@
+On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4875224
@@ Property / cites work: Q4875224 / rank @@
+Normal rank
@@ Property / cites work @@
+Markov Chains and Unambiguous Büchi Automata
@@ Property / cites work: Markov Chains and Unambiguous Büchi Automata / rank @@
+Normal rank
@@ Property / cites work @@
+MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM
@@ Property / cites work: MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM / rank @@
+Normal rank
@@ Property / cites work @@
+Mortality for 2 ×2 Matrices Is NP-Hard
@@ Property / cites work: Mortality for 2 ×2 Matrices Is NP-Hard / rank @@
+Normal rank
@@ Property / cites work @@
+The Identity Problem for Matrix Semigroups in SL<sub>2</sub>(ℤ) is <b>NP</b>-complete
+Normal rank
@@ Property / cites work @@
+Decidable and Undecidable Problems about Quantum Automata
+Normal rank
@@ Property / cites work @@
+Deciding stability and mortality of piecewise affine dynamical systems
+Normal rank
@@ Property / cites work @@
+The presence of a zero in an integer linear recurrent sequence is NP-hard to decide
+Normal rank
@@ Property / cites work @@
+Complexity of stability and controllability of elementary hybrid systems
+Normal rank
@@ Property / cites work @@
+On the Complexity of the Orbit Problem
@@ Property / cites work: On the Complexity of the Orbit Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4598241
@@ Property / cites work: Q4598241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3807295
@@ Property / cites work: Q3807295 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2955006
@@ Property / cites work: Q2955006 / rank @@
+Normal rank
@@ Property / cites work @@
+On the abc conjecture in algebraic number fields
@@ Property / cites work: On the abc conjecture in algebraic number fields / rank @@
+Normal rank
@@ Property / cites work @@
+A simple proof of the Skolem-Mahler-Lech theorem
@@ Property / cites work: A simple proof of the Skolem-Mahler-Lech theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613964
@@ Property / cites work: Q5613964 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5614003
@@ Property / cites work: Q5614003 / rank @@
+Normal rank
@@ Property / cites work @@
+Products of matrices and recursively enumerable sets
+Normal rank
@@ Property / cites work @@
+Q3998992
@@ Property / cites work: Q3998992 / rank @@
+Normal rank
@@ Property / cites work @@
+On NFAs where all states are final, initial, or both
+Normal rank
@@ Property / cites work @@
+Knapsack and subset sum problems in                     nilpotent, polycyclic, and co-context-free                     groups
+Normal rank
@@ Property / cites work @@
+A note on recurring series
@@ Property / cites work: A note on recurring series / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2004
@@ Property / cites work: Mathematical Foundations of Computer Science 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Rational subsets of unitriangular groups
@@ Property / cites work: Rational subsets of unitriangular groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q3671245
@@ Property / cites work: Q3671245 / rank @@
+Normal rank
@@ Property / cites work @@
+Mortality Problem for 2×2 Integer Matrices
@@ Property / cites work: Mortality Problem for 2×2 Integer Matrices / rank @@
+Normal rank
@@ Property / cites work @@
+On Termination of Integer Linear Loops
@@ Property / cites work: On Termination of Integer Linear Loops / rank @@
+Normal rank
@@ Property / cites work @@
+Solvability of Matrix-Exponential Equations
@@ Property / cites work: Solvability of Matrix-Exponential Equations / rank @@
+Normal rank
@@ Property / cites work @@
+Decision Problems for Linear Recurrence Sequences
@@ Property / cites work: Decision Problems for Linear Recurrence Sequences / rank @@
+Normal rank
@@ Property / cites work @@
+On the Positivity Problem for Simple Linear Recurrence Sequences,
+Normal rank
@@ Property / cites work @@
+Positivity Problems for Low-Order Linear Recurrence Sequences
+Normal rank
@@ Property / cites work @@
+Unsolvability in 3 × 3 Matrices
@@ Property / cites work: Unsolvability in 3 × 3 Matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of the Membership Problem for 2 <b>×</b> 2 integer matrices
+Normal rank
@@ Property / cites work @@
+Q5111259
@@ Property / cites work: Q5111259 / rank @@
+Normal rank
@@ Property / cites work @@
+Occurrence of zero in a linear recursive sequence
@@ Property / cites work: Occurrence of zero in a linear recursive sequence / rank @@
+Normal rank
@@ Property / full work available at URL @@
+http://doi.org/10.4230/LIPIcs.MFCS.2019.83
+Normal rank
@@ Property / OpenAlex ID @@
+W2970521784
@@ Property / OpenAlex ID: W2970521784 / rank @@
+Normal rank
@@ Property / title @@
+On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond (English)
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5092447