Nie jesteś zalogowany |
The Skolem Problem in rings of positive characteristic
- Prelegent(ci)
- Ruiwen Dong
- Afiliacja
- University of Oxford
- Język referatu
- angielski
- Termin
- 1 kwietnia 2026 14:15
- Pokój
- p. 5440
- Tytuł w języku polskim
- The Skolem Problem in rings of positive characteristic
- Seminarium
- Seminarium „Teoria automatów”
The Skolem Problem in a commutative ring R asks, given a linear recurrence sequence over R, decide whether it contains a zero term. Decidability of the Skolem Problem over ring of characteristic zero (such as integers) is a longstanding open problem. In this talk we show its decidability over rings of positive characteristic, extending Derksen's (2007) result over fields of prime characteristic. Our main tool is an automata-based method which computes the base-p expansion of the solution sets.
This is based on joint work with Doron Shafrir.
The Skolem Problem in a commutative ring R asks, given a linear recurrence sequence over R, decide whether it contains a zero term. Decidability of the Skolem Problem over ring of characteristic zero (such as integers) is a longstanding open problem. In this talk we show its decidability over rings of positive characteristic, extending Derksen's (2007) result over fields of prime characteristic. Our main tool is an automata-based method which computes the base-p expansion of the solution sets.
This is based on joint work with Doron Shafrir.
