Near-square classification conjecture for binary recurrence sequences
Let aaa and b1b_{1}b1 be relatively prime positive integers and put b=−b12b=-b_{1}^{2}b=−b12. Define the binary recurrence sequence by u0(a,b)=0u_{0}(a,b)=0u0(a,b)=0, u1(a,b)=1u_{1}(a,b)=1u1(a,b)=1, and…