Equidistribution of continued fraction convergents in SL(2,Zm) with an application to local discrepancy

<p dir="ltr">Consider the sequence of continued fraction convergentspn/qn to a random irrational number. We study the distribution of the sequencespn(modm) andqn(modm) with a fixed modulusm, and more generally, the distribution of the2×2 matrix with entriespn−1,pn,qn−1,qn(modm). Improving the strong law of large numbers due to Szüsz, Moeckel, Jager and Liardet, we establish the central limit theorem and the law of the iterated logarithm, as well as the weak and the almost sure invariance principles. As an application, we find the limit distribution of the maximum and the minimum of the Birkhoff sum for the irrational rotation with the indicator of an interval as test function. We also compute the normalizing constant in a classical limit law for the same Birkhoff sum due to Kesten, and dispel a misconception about its dependence on the test interval.