Abstract:We call an integer a \emph{near-square} if its absolute value is a square or a prime times a square. We investigate such near-squares in the binary recurrence sequences defined for integers $a \geq 3$ by $u_{0}(a)=0$, $u_{1}(a)=1$ and $u_{n+2}(a)=au_{n+1}(a)-u_{n}(a)$ for $n \geq 0$. We show that for a given $a \geq 3$, there is at most one $n \geq 5$ such that $u_{n}(a)$ is a near-square. With the exceptions of $u_{6}(3)=12^{2}$ and $u_{7}(6)=239 \cdot 13^{2}$, any such $u_{n}(a)$ can only be a near-square if $a \equiv 2 \bmod 4$, $n \equiv 3 \bmod 4$ is prime and $n \geq 19$. This is part of a more general phenomenon regarding near-squares in non-degenerate recurrence sequences defined for integers $a$ and $b=-b_{1}^{2}$ by $u_{0}(a,b)=0$, $u_{1}(a,b)=1$ and $u_{n+2}(a,b)=au_{n+1}(a,b)+bu_{n}(a,b)$ for $n \geq 0$ (see our Conjecture 1.1). It arises from a new Aurifeuillean-like factorization of elements of recurrence sequences that we have discovered (see relation (1.1)).

What problem does this paper attempt to address?

### What problem does this paper attempt to solve? This paper mainly studies "near - squares" in binary recursive sequences. Specifically, the authors define an integer as a near - square if the absolute value of it is a square number or a prime number multiplied by a square number. They study the binary recursive sequence defined by the following recurrence relation: \[ u_0(a) = 0, \quad u_1(a) = 1, \quad u_{n + 2}(a) = a u_{n + 1}(a)-u_n(a) \quad \text{for} \; n\geq0 \] where $ a\geq3 $ is an integer. The main result of the paper shows that for a given $ a\geq3 $, there exists at most one $ n\geq5 $ such that $ u_n(a) $ is a near - square. Except for two special cases ($ u_6(3) = 122 $ and $ u_7(6) = 239\times13^2 $), any such $ u_n(a) $ can be a near - square only when $ a\equiv2\pmod{4} $, $ n\equiv3\pmod{4} $ is a prime number and $ n\geq19 $. In addition, the paper also explores a broader phenomenon, that is, the existence of near - squares in non - degenerate binary recursive sequences. These sequences are defined by integers $ a $ and $ b=-b_1^2 $, satisfying: \[ u_0(a,b) = 0, \quad u_1(a,b) = 1, \quad u_{n + 2}(a,b) = a u_{n + 1}(a,b)+b u_n(a,b) \quad \text{for} \; n\geq0 \] The authors discovered a new Aurifeuillean - type factorization, which helps to explain why the elements in these sequences cannot be square numbers or prime numbers multiplied by square numbers under certain conditions. ### Summary The core problem of the paper is to determine which terms in the binary recursive sequence can be near - squares under specific conditions, and provide strict mathematical proofs to support these conclusions. This research not only extends previous studies on powers in Fibonacci sequences and other recursive sequences, but also reveals some new algebraic structures and factorization methods.

Near-squares in binary recurrence sequences

Bounds on the number of squares in recurrence sequences

Sharp bounds on the number of squares in recurrence sequences and solutions of $X^{2}-\left( a^{2}+b \right) Y^{4}=-b$

Squares with three digits

Positive density for consecutive runs of sums of two squares

Sums of triangular numbers and sums of squares

Finite sequences of integers expressible as sums of two squares

Square-full values of quadratic polynomials

On Frobenius Formulas of Power Sequences

On sums of a prime and four prime squares in short intervals

Further results on sums of squares

Squarefree integers and the $abc$ conjecture

A Quixotic Proof of Fermat's Two Squares Theorem for Prime Numbers

Sums of four squares with certain restrictions

Square-free values of $\mathbf{n^2+n+1}$

Some ergodic theorems over squarefree numbers

On square-free numbers generated from given sets of primes

A binary additive equation with prime and square-free number

On sums of unequal powers of primes and powers of 2

Sums of Squares with Restrictions Involving Primes

Antisquares and Critical Exponents