Conjectural Decidability of the Skolem Problem

Florian Luca, Joël Ouaknine, James Worrell

The Skolem Problem asks to determine whether a given integer linear recurrence sequence (LRS) has a zero term. This problem, whose decidability has been open for many decades, aris…