Skolem Meets Bateman-Horn
Florian Luca, James Maynard, Armand Noubissie, Jo\"el Ouaknine, James, Worrell

TL;DR
This paper introduces a new approach to the Skolem Problem by constructing a Universal Skolem Set with significant lower density, and explores its density properties under the Bateman-Horn conjecture, advancing understanding of decidability in linear recurrence sequences.
Contribution
The paper constructs a Universal Skolem Set with density at least 0.29 and shows it has density one assuming the Bateman-Horn conjecture, providing new insights into the decidability of the Skolem Problem.
Findings
Constructed a Universal Skolem Set with density ≥ 0.29.
Proved the set has density one under Bateman-Horn conjecture.
Advances the approach to the Skolem Problem via density and number theory.
Abstract
The Skolem Problem asks to determine whether a given integer linear recurrence sequence has a zero term. This problem arises across a wide range of topics in computer science, including loop termination, formal languages, automata theory, and control theory, amongst many others. Decidability of the Skolem Problem is notoriously open. The state of the art is a decision procedure for recurrences of order at most 4: an advance achieved some 40 years ago, based on Baker's theorem on linear forms in logarithms of algebraic numbers. A new approach to the Skolem Problem was recently initiated via the notion of a Universal Skolem Set: a set of positive integers such that it is decidable whether a given non-degenerate linear recurrence sequence has a zero in . Clearly, proving decidability of the Skolem Problem is equivalent to showing that itself is a Universal Skolem Set.…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
Topicssemigroups and automata theory · Polynomial and algebraic computation · Advanced Combinatorial Mathematics
