1: \begin{abstract}

2: We consider the following variant of the Mortality Problem: given $k\times k$

3: matrices $A_1, A_2, \dots,A_{t}$, does there exist nonnegative integers

4: $m_1, m_2, \dots,m_t$ such that the product $A_1^{m_1} A_2^{m_2} \cdots A_{t}^{m_{t}}$

5: is equal to the zero matrix? It is known that this problem is decidable when

6: $t \leq 2$ for matrices over algebraic numbers but becomes undecidable for

7: sufficiently large $t$ and $k$ even for integral matrices.

8: 

9: In this paper, we prove the first decidability results for $t>2$. We show as one of our central

10: results that for $t=3$ this problem in any dimension is Turing equivalent to the well-known Skolem

11: problem for linear recurrence sequences. Our proof relies on the Primary Decomposition Theorem for

12: matrices that was not used to show decidability results in matrix semigroups before. As a corollary

13: we obtain that the above problem is decidable for $t=3$ and $k \leq 3$ for matrices over algebraic

14: numbers and for $t=3$ and $k=4$ for matrices over real algebraic numbers. Another consequence is

15: that the set of triples $(m_1,m_2,m_3)$ for which the equation $A_1^{m_1} A_2^{m_2} A_3^{m_3}$

16: equals the zero matrix is equal to a finite union of direct products of semilinear sets.

17: 

18: For $t=4$ we show that the solution set can be non-semilinear, and thus it seems unlikely that there is a direct connection to the Skolem problem. However we prove that the problem

19: is still decidable for upper-triangular $2 \times 2$ rational matrices by

20: employing powerful tools from transcendence theory such as Baker's theorem and

21: S-unit equations.

22: \end{abstract}

23: