On the Continued Fraction Expansion of Almost All Real Numbers

Alex Jin,Shreyas Singh,Zhuo Zhang,AJ Hildebrand
2024-03-25
Abstract:By a classical result of Gauss and Kuzmin, the continued fraction expansion of a ``random'' real number contains each digit $a\in\mathbb{N}$ with asymptotic frequency $\log_2(1+1/(a(a+2)))$.
Number Theory
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the statistical properties of almost all real numbers in continued fraction expansions. Specifically: 1. **Generalizing the Gauss - Kuzmin result**: The paper first generalizes the result of the classical Gauss - Kuzmin theorem. For some specific sets \(A \subset \mathbb{N}\), the author establishes simple explicit formulas for the frequencies of the numbers in these sets appearing in the continued fraction expansions of random real numbers. For example, the frequency of numbers of the form \(p - 1\) (where \(p\) is a prime number) appearing is: \[ P(P_1)=\log_2\left(\frac{\pi^2}{6}\right) \] 2. **Frequency of consecutive strings**: Secondly, the author derives a simple formula for calculating the frequency of a consecutive string \(a\) of length \(k\) appearing in the continued fraction expansion of a random real number. In particular, when \(a = 1\), this frequency is given by: \[ P((1, 1,\ldots, 1))=\left|\log_2\left(1+\frac{(-1)^k}{F_{k + 2}^2}\right)\right| \] where \(F_n\) is the \(n\)-th Fibonacci number. 3. **Continued fraction expansion of \(\pi\)**: Finally, the author compares these theoretically predicted frequencies with the actual frequencies of the first 300 million continued fraction digits of \(\pi\) and provides strong statistical evidence indicating that the continued fraction expansion behavior of \(\pi\) is similar to that of a random real number. By solving these problems, the paper aims to gain an in - depth understanding of the statistical properties of the continued fraction expansions of almost all real numbers and some specific irrational numbers (such as \(\pi\)).