On the Complexity of the Skolem Problem at Low Orders

Piotr Bacik, Joël Ouaknine, James Worrell

The Skolem Problem asks to determine whether a given linear recurrence sequence (LRS) $⟨u_n{⟩}_{n=0}^{\infty }$ over the integers has a zero term, that is, whether there e…