Highlights 2022
Progress on the Skolem Problem
Abstract
The Skolem Problem is the question of determining whether a given linear recurrence sequence (such as the Fibonacci numbers) contains a zero or not. Its decidability has been open for almost a century. The last major breakthroughs, dating back from the early 1980s and employing advanced machinery from analytic number theory and Diophantine approximation, concern linear recurrence sequences of small order (4 or less). Very recently, new techniques (some relying on certain central conjectures in number theory) have enabled substantial further advances on the Skolem Problem. We present a survey of recent developments in the field. This talk is based on joint work with Yuri Bilu, Richard Lipton, Florian Luca, Joël Ouaknine, David Purser, and James Worrell.
Authors
Keywords
No keywords are indexed for this paper.
Context
- Venue
- Highlights of Logic, Games and Automata
- Archive span
- 2013-2025
- Indexed papers
- 1236
- Paper id
- 928352437190943342