The $2\times 2$ Matrix Mortality Problem and Invertible Matrices

Abstract

By modifying the proof of a paper by O. Bournez and M. Branicky, we establish that the Matrix Mortality Problem is decidable with any finite set of $2\times 2$ matrices which has at most one invertible matrix. The same modification also shows that the number of non-invertible matrices is irrelevant.

5 pages

References in corpus (1)

• Tighter Undecidability Bounds for Matrix Mortality, Zero-in-the-Corner Problems, and More