Admissible $qx+1$ Sequences, Semiconvergents, and Rational Catalan Numbers

Abstract

Let $q\geq3$ be odd and put $m_r=\lfloor r\log_2q\rfloor$. We count parity sequences with exactly $r$ odd entries for which the coefficient in the $qx+1$ iteration first drops below $1$ at step $m_r+1$. Their number $a_q(r)$ also counts the corresponding residue classes modulo $2^{m_r+1}$. We derive a first-violation recurrence which, for $q=3$, proves a recurrence conjectured in 2015. We establish the sharp inequalities \[ \frac1r\binom{m_r-1}{r-1}\leq a_q(r)\leq\frac1r\binom{m_r}{r-1}. \] Equality is characterized by the lower and upper record indices of $\{r\log_2q\}$, equivalently by denominators of convergents and semiconvergents from below and above. At these indices $r\geq2$, the values $a_q(r)$ are rational Catalan numbers. We also characterize the dependence on $q$ and prove, for each fixed odd $q\geq3$, that $a_q(r)=Θ_q(r^{-3/2}B_q^r)$, where $B_q=(\log_2q)^{\log_2q}/(\log_2q-1)^{\log_2q-1}$. For $q=3$, this settles Hikawa's conjecture concerning the polynomial factor in a related counting function.