On the Skolem Problem for Reversible Sequences

03/14/2022
by   George Kenison, et al.
0

Given an integer linear recurrence sequence ⟨ X_n ⟩_n, the Skolem Problem asks to determine whether there is a natural number n such that X_n = 0. In a recent preprint, Lipton, Luca, Nieuwveld, Ouaknine, Purser, and Worrell prove that the Skolem Problem is decidable for a class of reversible sequences of order at most seven. Herein, we give an alternative proof of the result. The novelty of our approach arises from our use of results concerning the polynomial relations between Galois conjugates.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset