On the number of residues of certain second-order linear recurrences

Federico Accossato,Carlo Sanna
2024-01-15
Abstract:For every monic polynomial $f \in \mathbb{Z}[X]$ with $\operatorname{deg}(f) \geq 1$, let $\mathcal{L}(f)$ be the set of all linear recurrences with values in $\mathbb{Z}$ and characteristic polynomial $f$, and let \begin{equation*}
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the number of residues of some second - order linear recurrence sequences. Specifically, the author studied the number of different residues of linear recurrence sequences with specific characteristic polynomials modulo \(m\). ### Problem Description For each monic polynomial \(f\in\mathbb{Z}[X]\), let \(L(f)\) be the set of all linear recurrence sequences with values in \(\mathbb{Z}\) and characteristic polynomial \(f\), and define: \[R(f): = \left\{\rho(x;m):x\in L(f),m\in\mathbb{Z}^+\right\},\] where \(\rho(x;m)\) represents the number of different residues of \(x\bmod m\). Dubickas and Novikas proved that for the linear recurrence sequence with characteristic polynomial \(X^2 - X - 1\), the number of its different residues can take all positive integers, that is, \(R(X^2 - X - 1)=\mathbb{Z}^+\). ### Main Contributions of the Paper The author of this paper generalizes this result to a more general case and proves that for any non - zero integer \(a_1\), we have: \[R(X^2 - a_1X - 1)=\mathbb{Z}^+.\] In other words, for any positive integer \(n\), there exists a linear recurrence sequence \(x\in L(f)\) and a positive integer \(m\) such that \(\rho(x;m)=n\). Moreover, when \(\vert a_1\vert = 1\) and \(n\geq4\), or \(\vert a_1\vert\geq2\), we can choose \(x\) and \(m\) such that all residues of \(x\bmod m\) are non - zero. ### Corollary As a corollary of the above results, for any integers \(a_1\geq1\) and \(k\geq4\), there exists a real number \(\xi\in\mathbb{R}\) such that the sequence \(\left(\text{frac}(\xi\alpha^n)\right)_{n\geq0}\) has exactly \(k\) limit points, where \(\alpha:=\frac{a_1+\sqrt{a_1^2 + 4}}{2}\). ### Summary This paper proves by a constructive method that for the linear recurrence sequence with characteristic polynomial \(X^2 - a_1X - 1\), the number of its different residues can take all positive integers, and gives a specific algorithm to construct sequences and moduli that satisfy the conditions. This result generalizes the work of Dubickas and Novikas and provides a new perspective for further research on the properties of linear recurrence sequences.