Asymptotic statistics for finite continued fractions with restricted digits

1. Problématique et Contexte

L'article s'inscrit dans le domaine de l'approximation diophantienne et de la théorie des nombres, en se concentrant sur la conjecture de Zaremba (1971). Cette conjecture postule que pour tout entier $N$, il existe un entier $a$ premier avec $N$ tel que le développement en fraction continue de $a/N$ possède des quotients partiels (chiffres) bornés par une constante absolue $A$.

Bien que des progrès significatifs aient été réalisés (notamment par Bourgain et Kontorovich pour $A=50$ et presque tous les $N$), la conjecture reste ouverte pour de petites valeurs de $A$ (Zaremba suggérait $A=5$).

L'auteur reformule ce problème en termes de dimension de Hausdorff $\delta_A$ d'un ensemble fractal $E_A$ constitué de nombres réels dont les chiffres de la fraction continue sont tous inférieurs ou égaux à $A$. La conjecture est liée à la densité des rationnels dans cet ensemble. Plus précisément, on s'intéresse à la taille asymptotique de l'ensemble $\Sigma_{N,A}$ des fractions réduites $a/N$ appartenant à $E_A$. La conjecture forte (Conjecture 1.3) prédit que $|\Sigma_{N,A}| \sim N^{2\delta_A - 1}$ (pour $N$ premier).

Le défi principal réside dans l'obtention de formules asymptotiques précises pour la taille de ces ensembles, ce qui est difficile en raison de la nature discrète et rigide des dénominateurs fixes.

2. Méthodologie

L'approche de l'article repose sur une méthode dynamique utilisant les opérateurs de transfert (transfer operators) et l'analyse spectrale, en s'appuyant sur le cadre développé par Baladi et Vallée [BV05] et adapté par Lee et Sun [LS19].

Les étapes clés de la méthodologie sont :

1. Opérateurs de transfert contraints : L'auteur définit des opérateurs de transfert $L_{s,w,A}$ agissant sur des espaces de fonctions ($C^1$ pour le cas réel, un espace de fonctions par morceaux pour le cas complexe). Ces opérateurs sont restreints aux branches inverses de l'application de Gauss correspondant uniquement aux chiffres autorisés (inférieurs à $A$).
2. Analyse Spectrale : L'étude des propriétés spectrales de ces opérateurs est centrale. L'article établit que :
   • L'opérateur est quasi-compact.
   • Il possède une valeur propre dominante simple $\lambda_{s,w,A}$.
   • La dimension de Hausdorff $\delta_A$ correspond à la valeur de $\sigma$ telle que $\lambda_{\sigma,0,A} = 1$.
   • Une estimation de type Dolgopyat est utilisée pour contrôler la norme de la résolvante $(I - L_{s,w,A})^{-1}$, assurant une décroissance polynomiale uniforme des normes d'opérateurs pour les parties imaginaires grandes.
3. Fonctions complexes et Formule de Perron : En utilisant la série de Dirichlet associée aux longueurs des fractions continues, l'auteur relie les propriétés analytiques de la fonction génératrice $L(s,w)$ à la valeur propre dominante. Une version tronquée de la formule de Perron (théorème taubérien d'ordre 2) est appliquée pour convertir les propriétés analytiques (pôles simples) en statistiques asymptotiques pour le nombre d'éléments.
4. Lissage Probabiliste (Smoothing Process) : Pour contourner la difficulté d'obtenir des estimations exactes pour un dénominateur $N$ fixe, l'auteur introduit un espace de probabilité auxiliaire $\Sigma_{N,A}(\epsilon)$, qui est une « épaisseur » ($\epsilon$-thickening) de l'ensemble original. Cela permet de moyenner sur un intervalle de dénominateurs $[N - N^\epsilon, N]$, rendant l'application des méthodes analytiques possible et produisant des formules asymptotiques robustes.

3. Contributions Clés et Résultats

L'article présente deux résultats principaux, l'un pour les fractions continues réelles et l'autre pour les fractions continues complexes sur des corps quadratiques imaginaires.

A. Cas Réel (Théorème 1.4)

L'auteur démontre l'existence d'un espace de probabilité auxiliaire $\Sigma_{N,A}(\epsilon)$ tel que :
$$\Sigma_{N,A} \subset \Sigma_{N,A}(\epsilon) \subset \Omega_{N,A}$$
où $\Omega_{N,A}$ est l'ensemble des fractions avec dénominateur $\le N$. La taille de cet ensemble lissé satisfait :
$$|\Sigma_{N,A}(\epsilon)| \sim N^{2\delta_A - \eta}$$
pour un certain exposant $0 < \eta < 1$.

• Signification : Cela réduit l'exposant de $N$ par rapport aux bornes triviales, fournissant une preuve asymptotique « en moyenne » de la conjecture de Zaremba. Cela confirme que la densité des fractions à chiffres bornés est gouvernée par la dimension de Hausdorff de l'ensemble fractal sous-jacent.

B. Cas Complexe (Théorème 1.6)

L'article généralise ces résultats aux fractions continues sur les corps quadratiques imaginaires $\mathbb{Q}(\sqrt{-d})$ pour $d \in \{1, 2, 3, 7, 11\}$ (les cinq corps euclidiens de norme).

• Une version complexe de la conjecture de Zaremba est formulée.
• Un résultat analogue est obtenu : $|\Sigma_{N,A}(\epsilon)| \sim N^{2\delta_A - \theta}$ avec $0 < \theta < 2$.
• Note technique : La dimension de Hausdorff $\delta_A$ varie ici entre 0 et 2 (au lieu de 0 et 1 pour le cas réel). L'exposant $\theta$ est légèrement plus grand que dans le cas réel, ce qui rend le résultat légèrement plus faible en termes de précision de l'exposant, mais il constitue la première estimation asymptotique de ce type pour les fractions continues complexes.

4. Signification et Impact

• Preuve en moyenne : Bien que l'article ne résolve pas la conjecture de Zaremba pour chaque $N$ individuel, il fournit une preuve forte « en moyenne » (averaging sense). Il montre que, statistiquement, les fractions à chiffres bornés sont beaucoup plus nombreuses que ce que l'on pourrait craindre, et leur distribution suit les lois de la dynamique chaotique (dimension de Hausdorff).
• Outils Dynamiques : L'article consolide l'utilisation des opérateurs de transfert et des estimées de Dolgopyat dans le contexte de la théorie des nombres, en particulier pour les problèmes de comptage de points rationnels sur des ensembles fractals.
• Généralisation : L'extension au cas complexe ouvre la voie à l'étude de la conjecture de Zaremba dans des contextes arithmétiques plus larges (corps de nombres), reliant la théorie des nombres algébriques à la théorie ergodique des systèmes dynamiques complexes.
• Limites et Perspectives : L'auteur note que l'exposant $\eta$ (ou $\theta$) n'est pas optimal (il ne s'approche pas de 0). Il suggère que des techniques plus fines sur l'échelle de l'épaisseur $\epsilon(N)$ pourraient améliorer ces constantes, rapprochant ainsi le résultat de la conjecture originale.

En résumé, cet article offre une avancée significative dans la compréhension statistique de la conjecture de Zaremba en démontrant que la taille des ensembles de fractions continues à chiffres bornés, une fois lissée, obéit à une loi de puissance déterminée par la géométrie fractale de l'ensemble des nombres à chiffres bornés.