The first and second moment for the length of the period of the continued fraction expansion for $\sqrt{d}$

Francesco Battistoni,Loïc Grenié,Giuseppe Molteni

DOI: https://doi.org/10.1112/mtk.12273

2024-07-26

Abstract:Let $d$ be any positive and non square integer. We prove an upper bound for the first two moments of the length $T(d)$ of the period of the continued fraction expansion for $\sqrt{d}$. This allows to improve the existing results for the large deviations of $T(d)$.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the problem of estimating the upper bounds of the first two moments (i.e., the first - order moment and the second - order moment) of the period length \(T(d)\) of the continued fraction expansion of the square root. Specifically, for any positive non - square integer \(d\), \(T(d)\) represents the length of the smallest positive period of the simple continued fraction expansion of \(\sqrt{d}\).

### Main research content:
1. **Background and motivation**:
- It is known that \(T(d)\leq 2d\) and some other tighter upper bounds, for example, \(T(d)\leq g(d)\), where
\[
g(d):=\#\left\{(m, q)\in\mathbb{N}^2:m < \sqrt{d},|q - \sqrt{d}|< m,q\mid(d - m^2)\right\}
\]
- Previous studies have shown that \(T(d)\ll\sqrt{d}\log d\), and under the assumption that the generalized Riemann hypothesis holds, it can be further improved to \(T(d)\ll\sqrt{d}\log\log d\).

2. **Main contributions**:
- By calculating the first two moments of \(g(d)\), the author obtains a new upper bound for \(T(d)\).
- Specifically, they prove the following results:
\[
\sum_{d\leq x}g(d)=c_1x^{3/2}- 2x - 2\sqrt{x}+\theta(x + 4\sqrt{x})
\]
where \(c_1:=\frac{4}{3}\log 2\approx0.9241\), and \(\theta = \theta(x)\in[0, 1]\).
\[
\sum_{d\leq x}g(d)^2\leq11.9x^2+5x^{3/2}\log^2(4e^4x)
\]

3. **Corollaries**:
- From the above results, the corresponding upper bounds of \(T(d)\) can be derived:
\[
\sum_{d\leq x}T(d)\leq c_1x^{3/2}
\]
\[
\sum_{d\leq x}T(d)^2\leq11.9x^2+5x^{3/2}\log^2(4e^4x)
\]
- Further improve the results of Rockett and Szüsz, and give more accurate estimates.

### Significance:
These results not only provide more accurate upper - bound estimates of \(T(d)\), but also provide a theoretical basis for further research on the statistical properties of the continued fraction period length. In particular, these results are helpful for understanding the distribution characteristics of \(T(d)\) under different values of \(d\), and its behavior in some special cases (such as when \(d\) is a prime number).

In summary, this paper significantly improves the existing results by in - depth analysis of the moments of the continued fraction period length, and provides a new direction for future research.