Bias in the number of steps in the Euclidean algorithm and a conjecture of Ito on Dedekind sums
Abstract
We investigate the number of steps taken by three variants of the Euclidean algorithm on average over Farey fractions. We show asymptotic formulae for these averages restricted to the interval $(0,1/2)$, establishing that they behave differently on $(0,1/2)$ than they do on $(1/2,1)$. These results are tightly linked with the distribution of lengths of certain continued fraction expansions as well as the distribution of the involved partial quotients. As an application, we prove a conjecture of Ito on the distribution of values of Dedekind sums. The main argument is based on earlier work of Zhabitskaya, Ustinov, Bykovskiĭ and others, ultimately dating back to Heilbronn, relating the quantities in question to counting solutions to a certain system of Diophantine inequalities. The above restriction to only half of the Farey fractions introduces additional complications.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2022
- DOI:
- 10.48550/arXiv.2206.03214
- arXiv:
- arXiv:2206.03214
- Bibcode:
- 2022arXiv220603214M
- Keywords:
-
- Mathematics - Number Theory;
- 11A55;
- 11F20;
- 11K50;
- 11J25
- E-Print:
- 28 pages, 4 figures