Fibonacci Enumeration of Parity Blocks in Collatz Trajectories

Abstract

Let $T(n)=n/2$ for even $n$ and $T(n)=(3n+1)/2$ for odd $n$. For an odd starting number $s$, let $\ell(s)$ be the first positive index $k$ for which $T^k(s)\equiv3\pmod4$ and $T^{k-1}(s)$ is even. The use of this single local cut time is the main structural step: it replaces the two block parameters of an earlier formulation and converts the endpoint condition into a local condition on consecutive parity symbols. We prove that, for every $r\geq2$, the starting numbers $s\equiv1\pmod4$ with $\ell(s)=r$ form exactly $F_{r-1}$ residue classes modulo $2^{r+2}$, while for every $r\geq3$ the starting numbers $s\equiv3\pmod4$ with $\ell(s)=r$ form exactly $F_r-1$ such classes. Fixing any odd residue class modulo $12$ leaves these counts unchanged and yields the two Fibonacci formulas conjectured in a 2014 preprint by the author as special cases. The proof uses the classical finite parity correspondence of Terras and Everett. A term is congruent to $3$ modulo $4$ exactly when two consecutive parities are $1$, so the cut conditions reduce to binary words without the factor $11$. More generally, every finite-state condition on a parity word gives a residue-class counting sequence governed by a finite transfer matrix. The present Fibonacci formulas are the two-state instance of this principle. We also show that the exceptional trajectories for which no cut occurs reach $1$, and that these exceptions have density zero in every odd residue class modulo $12$.