Averaged Extensions of Golomb's Triangular Recursion: Critical Invariance and Supercritical Constraints

For an integer $m\ge 1$ and a parameter $\alpha>0$, consider the nested recursion $$ Q_{\alpha,m}(n)=1+\left\lfloor \frac{\alpha}{m}\sum_{j=1}^m Q_{\alpha,m}\!\left(n-Q_{\alpha,m}(n-j)\right)\right\rfloor, \qquad n>m, $$ with $Q_{\alpha,m}(1)=\cdots=Q_{\alpha,m}(m)=1$.

For $m=1$ and $\alpha=1$, this is Golomb's non-homogeneous triangular recursion.

We prove that its canonical triangular solution is preserved, up to an initial index shift, by every finite arithmetic averaging length.

More generally, the same exact solution is generated by any aggregator satisfying a local floor-lock condition.

This class includes all power means of finite order, including the harmonic and geometric means, as well as the minimum and positively weighted quasi-arithmetic means.

For $m\ge 2$, the maximum lies outside this class but has a different explicit block law.

Consequently, every value $k\ge 2$ occurs exactly $k$ times in the floor-admissible class, and $$ Q_{1,m}(n)=\left\lfloor\frac{1+\sqrt{1+8(n-m)}}{2}\right\rfloor \sim\sqrt{2n}. $$ For $0<\alpha<1$, the sequence is identically one.

Near criticality, with $\alpha=1+\delta$ and $0<\delta<(2m-1)^{-1}$, we determine the exact first departure time from the critical orbit, of order $\delta^{-2}$.

We also prove a finite-step breakdown criterion for large $\alpha$ and a conditional slope theorem: any globally defined solution with a limiting density in $(0,1)$ must have slope $1-\alpha^{-1}$.

Exact-arithmetic computations support, but do not prove, a supercritical linear-growth regime.