English

On the representation of C-recursive integer sequences by arithmetic terms

Logic 2025-06-09 v2

Abstract

We show that, if an integer sequence is given by a linear recurrence of constant rational coefficients, then it can be represented as the difference of two arithmetic terms with exponentiation, which do not contain any irrational constant. We apply our methods to various Lucas sequences including the classical Fibonacci sequence, to the sequence of solutions of the Pell equation and to some natural C-recursive sequences of degree 3.

Keywords

Cite

@article{arxiv.2405.04083,
  title  = {On the representation of C-recursive integer sequences by arithmetic terms},
  author = {Mihai Prunescu and Lorenzo Sauras-Altuzarra},
  journal= {arXiv preprint arXiv:2405.04083},
  year   = {2025}
}

Comments

20 pages

R2 v1 2026-06-28T16:19:06.526Z