{"id":"arxiv/2607.15510","url":"https://arxiv.org/abs/2607.15510","tags":["cs.DM","math.NT"],"score":0,"title":"Conjectural Decidability of the Skolem Problem","domain":"cs.DM","source":"arxiv","authors":["Florian Luca","Joël Ouaknine","James Worrell"],"reviews":0,"subject":"cs.DM","summary":"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, arises across a wide range of topics in computer science, including loop termination, formal languages, automata theory, and probabilistic model checking, amongst many others. In the present paper, we introduce a notion of \"large\" zeros of (non-degenerate) linear recurrence sequences, i.e., zeros occurring at an index larger than a double exponential of the magnitude of the data defining the given LRS. We establish two…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-07-16","reactions":{}}