Regularity properties of the Stern enumeration of the rationals

Bruce Reznick

DOI: https://doi.org/10.48550/arXiv.math/0610601

2006-10-19

Abstract:The Stern sequence (s(n)) is defined by s(0) = 0, s(1) = 1, s(2n) = s(n), s(2n+1) = s(n) + s(n+1). Stern showed in 1858 that gcd(s(n),s(n+1)) = 1, and that for every pair of relatively prime positive integers (a,b), there exists a unique n so that s(n) = a and s(n+1) = b. We show that, in a strong sense, the average value of s(n)/s(n+1) is 3/2, and that for all d, (s(n),s(n+1)) is uniformly distributed among all feasible pairs of congruence classes modulo d. More precise results are presented for d = 2 and 3.

Number Theory,Combinatorics

What problem does this paper attempt to address?

This paper attempts to solve the regularity problem of Stern sequences in the enumeration of rational numbers. Specifically:

1. **Analysis of the average value**: The paper shows that in the Stern sequence, the average value of \( \frac{s(n)}{s(n + 1)} \) approaches \( \frac{3}{2} \) in a strong sense. More precisely:
\[
\sum_{n = 0}^{N - 1}t(n)=\frac{3N}{2}+O(\log_2 N)
\]
where \( t(n)=\frac{s(n)}{s(n + 1)} \).

2. **Uniformity of the distribution modulo \( d \)**: For any integer \( d\geq2 \), the paper proves that \( (s(n)\bmod d, s(n + 1)\bmod d) \) is uniformly distributed over all possible pairs of congruence classes. Specifically, for each \( d \), there exists a \( \tau_d < 1 \) such that:
\[
T(N; d, i)=r_{d,i}N+O(N^{\tau_d})
\]
where \( T(N; d, i) \) represents the number of \( n \) satisfying \( s(n)\equiv i\bmod d \), and \( r_{d,i} \) is a probability coefficient related to \( d \) and \( i \).

3. **Detailed results in specific cases**: The paper also provides more specific analysis for \( d = 2 \) and \( d = 3 \), including recursive descriptions and explicit formulas.

Through these studies, the paper reveals the deep - seated regularity of Stern sequences in the enumeration of rational numbers and provides a theoretical basis for further research.