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

Julien Cassaigne, Vesa Halava, Tero Harju +1

We study the decidability of three well-known problems related to integer matrix multiplication: Mortality (M), Zero in the Left-Upper Corner (Z), and Zero in the Right-Upper Corne…