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*}
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.