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

We consider the following variant of the Mortality Problem: given k × k matrices A1, A2, . . ., At, does there exist nonnegative integers m1, m2, . . ., mt such that the product Am11 Am22 · · · Amtt is equal to the zero matrix? It is known that this problem is decidable when t ≤ 2 for matrices over...

Celý popis

Podrobná bibliografie
Hlavní autoři: Bell, P, Potapov, I, Semukhin, P
Médium: Conference item
Vydáno: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik 2019