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

ver descrição completa

Detalhes bibliográficos
Principais autores: Bell, P, Potapov, I, Semukhin, P
Formato: Conference item
Publicado em: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik 2019