No label defined (Q4550425)

Let \(w(a,b)\) be an integer sequence that satisfies the recurrence relation \(w_{n+2}=aw_{n+1}-bw_n\). The authors classify the \(2^k\)-blocks of second-order recurrence sequences with parameter \(b\equiv 3\pmod 4\) and identify stability classes modulo \(2\). A second-order recurrence \(w(a,b)\) is said to be \(2\)-regular if \(w_0w_2-w_1^2\not \equiv 0\pmod 2\). Let \(\mathcal F(a,b)\) denote the set of all \(2\)-regular recurrences \(w(a,b)\). The authors prove 22 interesting theorems under the following hypothesis: Assume that \(w(a,b) \in \mathcal F(a,b)\), and that \(a\) is odd and \(b\equiv 3\pmod 4\), \(r\), \(s\) and \(t\) are such that \(2^{r+1}\|(bu_5-1)\), \(2^{t+1}\|u_6\), and \(2^{s+1}\|(u_7-1)\). Sample theorem: For all \(k\geq t\), there are exactly \(2^{t-1}\) regular \(2^k\)-blocks, and each \(2^k\)-block contains \(3\cdot 2^{2k-t-1}\) distinct sequences modulo \(2^k\).