Quantitative longest-run laws for partial quotients

1. Problématique et Contexte

L'article s'intéresse aux statistiques des plus longues suites consécutives (longest-run statistics) dans le contexte des fractions continues. Plus précisément, l'auteur étudie deux observables pour un nombre réel $x \in [0, 1) \setminus \mathbb{Q}$ dont le développement en fraction continue est $x = [a_1, a_2, a_3, \dots]$, où les $a_n$ sont les quotients partiels :

1. La plus longue suite d'une valeur fixe ($L_n(x, \lambda)$) : La longueur maximale d'une séquence consécutive d'un quotient partiel spécifique $\lambda$ parmi les $n$ premiers quotients.
2. La plus longue suite sur toutes les valeurs ($R_n(x)$) : La longueur maximale d'une séquence consécutive pour n'importe quel entier positif, maximisée sur l'ensemble des valeurs possibles.

Contexte mathématique :

• Pour des séquences indépendantes et identiquement distribuées (i.i.d.), les lois d'Erdős–Rényi et Erdős–Révész décrivent la croissance de ces longueurs.
• Pour les quotients partiels, la suite $(a_n)$ n'est pas indépendante mais forme un processus dynamique invariant par décalage et fortement mélangeant sous la mesure de Gauss.
• Des travaux antérieurs (Song et Zhou, Wang et Wu) ont établi des lois logarithmiques du premier ordre (comportement asymptotique en $O(\log n)$), mais sans quantifier les taux de convergence ni fournir de bornes d'erreur explicites.

Objectif de l'article : Établir des lois quantitatives avec des bornes d'erreur explicites (de type double-logarithmique) pour ces statistiques, valides presque sûrement.

---

2. Méthodologie

L'auteur développe une approche en deux temps : d'abord un théorème général pour les systèmes dynamiques symboliques, puis une application spécifique au système de Gauss.

A. Théorème Général (Systèmes Dynamiques)

L'article établit un théorème fondamental (Théorème 1) pour un système dynamique préservant la mesure $(\Omega, \mathcal{F}, \mu, T)$ avec un alphabet dénombrable. La preuve repose sur trois hypothèses techniques :

1. Condition de mélange quantitatif (Assumption 1) : Une condition de mélange $\psi$-exponentiel avec un écart (gap). Elle garantit que des blocs séparés par un certain temps sont presque indépendants.
2. Estimations exponentielles pour les mots constants (Assumption 2) : La mesure des cylindres correspondant à une répétition d'un symbole $m^*$ décroît exponentiellement selon une base $\rho$ (i.e., $\mu(\Delta_k(m^*)) \asymp \rho^{-2k}$).
3. Bornes uniformes sommées (Assumption 3) : La somme des mesures des cylindres constants sur tous les symboles de l'alphabet est également contrôlée par une décroissance exponentielle.

Outils de preuve :

• Lemme de Borel-Cantelli : Utilisé pour établir les bornes supérieures (en montrant que les événements de dépassement sont rares) et les bornes inférieures (en montrant que les événements de réalisation se produisent infiniment souvent).
• Construction de blocs séparés : Pour la borne inférieure, l'auteur divise la séquence en blocs disjoints séparés par des "gaps" suffisamment grands pour exploiter la propriété de mélange et traiter les événements comme quasi-indépendants.

B. Application aux Fractions Continues (Système de Gauss)

Pour appliquer le théorème général aux quotients partiels, l'auteur vérifie les hypothèses sous la mesure de Gauss $\mu$ :

• Vérification du mélange : Le système de Gauss est connu pour être exponentiellement $\psi$-mélangeant (Lemme 1).
• Estimation des cylindres constants : En utilisant les propriétés des convergents des fractions continues et la relation de récurrence des dénominateurs $q_k$, l'auteur démontre que la mesure d'un cylindre constant de longueur $k$ pour un entier $\lambda$ est proportionnelle à $\tau(\lambda)^{-2k}$, où $\tau(\lambda) = \frac{\lambda + \sqrt{\lambda^2+4}}{2}$ (Lemme 2).
• Somme sur l'alphabet : Il est démontré que la somme des mesures sur tous les $\lambda$ décroît comme $\varphi^{-2k}$, où $\varphi$ est le nombre d'or (Lemme 3).

---

3. Résultats Principaux

Le résultat central est le Théorème 2, qui affine les lois asymptotiques connues en fournissant des bornes d'erreur explicites de l'ordre de $O(\log \log n)$.

Pour presque tout $x$ (par rapport à la mesure de Gauss, et donc aussi à la mesure de Lebesgue), il existe une constante $n_{c,x}$ telle que pour tout $n \ge n_{c,x}$ :

1. Pour une valeur fixe $\lambda$ :
   $$\left| L_n(x, \lambda) - \frac{\log n}{2 \log \tau(\lambda)} \right| \le c \frac{\log \log n}{\log \tau(\lambda)}$$
   où $\tau(\lambda) = \frac{\lambda + \sqrt{\lambda^2+4}}{2}$.

2. Pour la valeur maximisée (sur tous les $\lambda$) :
   $$\left| R_n(x) - \frac{\log n}{2 \log \varphi} \right| \le c \frac{\log \log n}{\log \varphi}$$
   où $\varphi = \frac{1+\sqrt{5}}{2}$ (le nombre d'or).

Interprétation des constantes :

• Le terme dominant $\frac{\log n}{2 \log \tau}$ correspond à la loi du premier ordre déjà connue.
• Le terme d'erreur $c \frac{\log \log n}{\log \tau}$ est double-logarithmique. Cela signifie que la convergence vers la loi asymptotique est très rapide, avec une précision qui ne dépend que du logarithme itéré de $n$.
• La constante $c$ peut être choisie arbitrairement proche de $1/2$ (pour $c > 1/2$).

---

4. Contributions et Signification

Contributions techniques :

• Quantification de la convergence : Contrairement aux résultats antérieurs qui se limitaient à des limites en probabilité ou presque sûres sans taux, cet article fournit des bornes additives explicites.
• Généralité du cadre : Le théorème 1 offre un cadre unifié applicable à tout système dynamique satisfaisant des conditions de mélange et d'estimation de cylindre, au-delà des fractions continues.
• Résolution des difficultés de l'alphabet dénombrable : L'article surmonte la difficulté posée par l'infini de l'alphabet des quotients partiels (contrairement aux alphabets finis classiques) en contrôlant soigneusement la somme des probabilités des cylindres (Hypothèse 3).

Signification scientifique :

• Précision en théorie métrique des nombres : Ces résultats permettent de mieux comprendre la persistance des chiffres dans les développements en fractions continues. Ils montrent que la "longueur de la plus longue suite" est extrêmement prévisible avec une erreur négligeable (double-logarithmique).
• Lien entre théorie ergodique et théorie des nombres : L'article illustre comment les propriétés de mélange fort des systèmes dynamiques (comme le système de Gauss) peuvent être utilisées pour dériver des lois fines sur les propriétés arithmétiques des nombres réels.
• Optimisation des bornes : La présence du terme $\log \log n$ suggère que les fluctuations autour de la moyenne sont très faibles, ce qui est une propriété forte pour des observables non additives comme les plus longues suites.

En résumé, Ying Wai Lee réussit à transformer des lois asymptotiques qualitatives en lois quantitatives précises pour les plus longues suites de quotients partiels, en combinant des techniques avancées de théorie ergodique (mélange, Borel-Cantelli) avec des estimations fines de la théorie des fractions continues.