On some results of Korobov and Larcher and Zaremba's conjecture

1. Problématique et Contexte

L'article s'attaque à la conjecture de Zaremba, un problème fondamental en théorie des nombres et en analyse diophantienne. La conjecture postule l'existence d'une constante absolue $M$ telle que, pour tout entier $q \ge 2$, il existe un entier $a$ premier avec $q$ ($1 \le a < q$) dont le développement en fraction continue $a/q = [0; c_1, \dots, c_s]$ possède des quotients partiels bornés par $M$ (c'est-à-dire $c_j \le M$ pour tout $j$).

Bien que la conjecture originale suggère que $M=5$ suffirait (et même $M=2$ pour les grands nombres premiers selon Hensley), les résultats antérieurs n'avaient établi que des bornes dépendant de $q$, comme $M \ll \log q$ (Korobov, 1960) ou des résultats pour "presque tous" les dénominateurs (Bourgain et Kontorovich).

L'objectif de Shkredov est d'améliorer les bornes supérieures pour $M$ et d'obtenir des estimations asymptotiques précises (bornes inférieures) sur le nombre de tels numérateurs $a$, en particulier pour les dénominateurs $q$ qui sont des nombres premiers ou des entiers sans facteur carré suffisamment grands.

2. Méthodologie

L'auteur combine plusieurs outils avancés des mathématiques modernes :

• Théorie des fractions continues et ensembles de Cantor : L'ensemble des fractions avec des quotients partiels bornés est traité comme un ensemble de type Cantor. L'auteur exploite la structure fractale de ces ensembles, les identifiant comme des ensembles d'Ahlfors-David (ensembles fractals avec une dimension de Hausdorff $w_M$).
• Théorie spectrale et combinatoire multiplicative : L'article utilise la "machine de Bourgain-Gamburd" et le "crible affine" (basés sur les résultats d'expansion de Helfgott dans $SL_2(\mathbb{Z}/q\mathbb{Z})$) pour étudier la distribution uniforme des inverses multiplicatifs dans des sous-ensembles de $\mathbb{Z}/q\mathbb{Z}$.
• Approximation Diophantienne et indépendance : Une partie cruciale de la preuve repose sur l'analyse des "dénominateurs critiques" (convergents de la fraction continue). L'auteur démontre que pour des éléments appartenant à un intervalle donné de l'ensemble de Cantor, ces dénominateurs sont "indépendants" au sens où ils ne satisfont pas de relations linéaires à coefficients petits (indépendance $\vec{C}$).
• Analyse de la répartition : Utilisation de lemmes de répartition uniforme (type Corollaire 15) pour montrer que l'intersection d'un ensemble $A$ et de son inverse multiplicatif $A^{-1}$ est grande et bien répartie, permettant d'éliminer les fractions réductibles et de garantir l'existence de $a$ premiers avec $q$.

3. Résultats Principaux

L'article établit trois théorèmes majeurs pour une classe de dénominateurs $q$ (notée $\mathcal{Z}$, incluant les grands nombres premiers et les entiers sans facteur carré) :

A. Amélioration de la borne sur la somme des quotients (Théorème 6)

Pour $M = \sqrt{\log \log q}$, l'auteur prouve l'existence d'un grand nombre de $a$ tels que la somme des quotients partiels $S(a) = \sum c_j$ est bornée par $O(\sqrt{\log \log q} \cdot \log q)$.

• Quantité : Il obtient une borne inférieure asymptotiquement serrée pour le nombre de tels $a$ :
  $$\gg q^{2w_M - 1} \cdot \exp\left(\Omega\left(\frac{\log q}{\log \log q}\right)\right)$$
  où $w_M$ est la dimension de Hausdorff de l'ensemble des réels avec quotients partiels $\le M$.

B. Amélioration de la borne sur le maximum des quotients (Théorème 7)

Pour $M \ge C\sqrt{\log q}$ (avec $C$ une constante absolue), il existe au moins $q^{2w_M - 1 - o(1)}$ entiers $a$ tels que le maximum des quotients partiels $M(a) \le M + 2$.

• Cela améliore significativement les résultats précédents de Korobov et Larcher, rapprochant la borne de la conjecture optimale.

C. Résolution de la conjecture de Zaremba pour les grands dénominateurs (Théorème 8)

C'est le résultat phare. L'auteur montre qu'il existe deux constantes absolues $M$ et $\bar{M}$ telles que pour tout $q \in \mathcal{Z}$, il existe au moins $q^{1 - O(1/M)}$ entiers $a$ premiers avec $q$ vérifiant :
$$a/q = [0; c_1, \dots, c_s] \quad \text{avec} \quad c_j \le \bar{M}$$

• Signification : Cela prouve la conjecture de Zaremba pour tout dénominateur $q$ suffisamment grand (dans la classe $\mathcal{Z}$), avec une constante $M$ absolue (bien que grande et calculable).
• Phénomène nouveau : L'article met en évidence une transition de phase intéressante. Pour $M = \Omega(\sqrt{\log q})$, la structure des solutions est liée à des propriétés spécifiques des quotients partiels "du milieu" de la fraction continue, ce qui permet d'obtenir une densité positive de solutions.

4. Contributions Techniques Clés

1. Structure Ahlfors-David : L'identification rigoureuse de l'ensemble des numérateurs candidats comme un ensemble d'Ahlfors-David permet d'utiliser des outils géométriques fractals pour estimer la taille des intersections.
2. Indépendance des dénominateurs critiques : La démonstration que les dénominateurs des convergents d'éléments proches dans l'ensemble de Cantor sont "indépendants" (Lemmes 24, 27) est une innovation majeure. Cela permet d'éviter les collisions diophantiennes qui auraient pu réduire le nombre de solutions.
3. Élimination des fractions réductibles : L'utilisation de la formule d'inversion de Möbius couplée à des estimations précises sur la distribution des inverses (Lemme 19) permet de garantir que les $a$ trouvés sont bien premiers avec $q$, un point souvent technique et délicat dans ce type de problème.
4. Optimisation des paramètres : L'auteur affine les paramètres $\varepsilon$ et $M$ pour montrer que la borne $M \sim \sqrt{\log q}$ est proche de la limite de la méthode utilisée (basée sur la croissance dans les groupes modulaires).

5. Signification et Impact

• Pour la conjecture de Zaremba : Ce travail constitue une avancée majeure, prouvant la conjecture pour une large classe de nombres (incluant tous les grands nombres premiers) avec une constante absolue, bien que la valeur exacte de cette constante ne soit pas petite (elle est liée aux constantes de la théorie de l'expansion dans $SL_2$).
• Pour l'intégration numérique : Les résultats ont des applications directes dans la construction de séquences à faible discrépance (méthodes de quasi-Monte Carlo), car une borne sur les quotients partiels implique une borne sur la discrépance de la suite $X(a, q) = \{(j/q, aj/q)\}$.
• Pour la combinatoire : L'article mentionne des applications à la théorie des graphes (nombre d'arbres couvrants) et aux extensions quadratiques réelles (conjecture de McMullen).
• Limites et perspectives : L'auteur note que la méthode actuelle atteint une limite naturelle autour de $M \sim \sqrt{\log q}$ due aux résultats de croissance dans les groupes modulaires. Obtenir $M=5$ ou $M=2$ nécessiterait probablement des progrès fondamentaux dans la compréhension de la distribution uniforme des inverses dans des intervalles très courts.

En résumé, l'article de Shkredov représente une synthèse puissante entre la théorie analytique des nombres, la théorie des groupes et la géométrie fractale, résolvant un problème ouvert de longue date pour les grands dénominateurs et fournissant des estimations quantitatives précises sur la densité des solutions.