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

page 1

page 2

page 3

page 4

research
01/25/2022

Certifying algorithms and relevant properties of Reversible Primitive Permutations with Lean

Reversible Primitive Permutations (RPP) are recursively defined function...
research
09/29/2018

Truly Concurrent Process Algebra Is Reversible

Based on our previous process algebra for concurrency APTC, we prove tha...
research
10/27/2021

An Efficient Reversible Algorithm for Linear Regression

This paper presents an efficient reversible algorithm for linear regress...
research
02/11/2022

On the maximal autocorrelation of Rudin-Shapiro sequences

In this paper, we prove that the maximal aperiodic autocorrelation of th...
research
03/16/2023

The Membership Problem for Hypergeometric Sequences with Quadratic Parameters

Hypergeometric sequences are rational-valued sequences that satisfy firs...
research
09/26/2017

Quasitrivial semigroups: characterizations and enumerations

We investigate the class of quasitrivial semigroups and provide various ...

Please sign up or login with your details

Forgot password? Click here to reset