Intrinsic Diophantine approximation: a solution to Mahler's problem

Cet article corrige une erreur de preuve antérieure pour établir le calcul de la dimension de Hausdorff des éléments d'une large classe d'ensembles auto-similaires rationnels (incluant l'ensemble de Cantor) qui sont $\psi$-approchables par des rationnels appartenant à l'ensemble et dont le numérateur possède un nombre borné de diviseurs premiers distincts.

L'essentiel

Voici une explication de ce papier de recherche, traduite en langage simple et imagé, comme si nous discutions autour d'un café.

Le Titre : Une Chasse aux Nombres "Presque" Parfaits dans un Fractale

Imaginez que vous avez un objet mathématique très bizarre et magnifique appelé le Cantor (ou plus précisément, l'ensemble de Cantor). C'est une sorte de "poussière" infinie : si vous prenez un bâton, vous enlevez le tiers du milieu, puis vous enlevez le tiers du milieu de ce qui reste, et ainsi de suite à l'infini. Il reste des points, mais il n'y a plus de "bâton" continu. C'est un objet fractal.

Le problème central de ce papier est le suivant : Comment bien approximer les points de cette poussière infinie avec des nombres simples (des fractions) qui se trouvent aussi dans cette poussière ?

C'est un peu comme essayer de toucher une étoile lointaine avec un autre astre qui se trouve dans la même galaxie, mais en utilisant des règles très strictes sur la taille de votre "laser" (la précision de l'approximation).

Les Personnages de l'Histoire

1. Les Points du Cantor (La Cible) : Ce sont les nombres $x$ que l'on veut approcher. Ils sont "intrinsèques", c'est-à-dire qu'ils font partie de la structure même du fractal.
2. Les Fractions (Les Approximateurs) : Ce sont les nombres rationnels (comme $1/2$,$3/4$,$22/7$). L'auteur s'intéresse spécifiquement à ceux qui sont aussi dans le Cantor.
3. La "Hauteur" (La Taille de la Fraction) : En mathématiques, la "hauteur" d'une fraction $p/q$ est simplement son dénominateur $q$. Plus le dénominateur est grand, plus la fraction est "complexe" et plus elle est précise.
   • L'analogie : Imaginez que vous avez une règle. Une hauteur de 2, c'est une règle avec des graduations tous les 2 cm. Une hauteur de 1000, c'est une règle avec des graduations tous les millimètres. Plus la hauteur est grande, plus vous pouvez viser juste.
4. Le "Nombre de Facteurs Premiers" (La Contrainte) : C'est la nouveauté de ce papier. L'auteur ne veut pas utiliser n'importe quelle fraction. Il impose une règle : le dénominateur $q$ ne doit avoir qu'un nombre limité de "briques de base" (facteurs premiers).
   • L'analogie : Imaginez que vous construisez des tours avec des Lego. Les nombres premiers sont les pièces de base (rouge, bleu, jaune). Le papier dit : "Tu as le droit de construire des tours, mais tu ne peux utiliser que 2 ou 3 couleurs différentes maximum". Cela restreint énormément le choix des fractions disponibles.

Le Problème : La Course contre la Montre

L'auteur, E. Daviaud, pose la question : Si je me limite à ces fractions "simples" (avec peu de couleurs de Lego), est-ce que je peux toujours atteindre n'importe quel point du Cantor aussi bien que si j'avais toutes les fractions possibles ?

Il introduit une fonction $\psi$ (prononcez "psi") qui représente la tolérance d'erreur.

• Si $\psi$ est très petit, c'est comme demander une précision au micron.
• Si $\psi$ est grand, on accepte une approximation grossière.

La question est : Quelle est la "taille" (dimension) de l'ensemble des points du Cantor que l'on peut toucher avec cette précision, en utilisant seulement nos fractions limitées ?

La Découverte Majeure (Le Résultat)

Le papier prouve une chose surprenante et élégante :

La taille de l'ensemble des points que l'on peut atteindre dépend uniquement de la "vitesse" à laquelle on demande de la précision, et non pas de la complexité de la fraction, tant qu'on respecte la règle des facteurs premiers.

En termes simples :
Même si on restreint nos fractions à celles qui ont peu de facteurs premiers (ce qui semble être une limitation énorme), on ne perd pas de pouvoir d'approximation par rapport à la situation idéale, à condition que la précision demandée ne soit pas trop exigeante.

L'auteur utilise une formule mathématique pour dire :

• Si on demande une précision "facile" (la fonction $\psi$ ne tombe pas trop vite), on peut toucher tous les points du Cantor (la dimension est maximale).
• Si on demande une précision "très dure" (la fonction $\psi$ chute très vite), la taille de l'ensemble des points touchés diminue, mais elle diminue exactement selon une loi prévisible, comme si on avait une balance parfaite.

Les Outils Utilisés (Les Métaphores)

Pour arriver à ce résultat, l'auteur utilise des concepts avancés qu'il faut imaginer ainsi :

1. Les IFS (Systèmes de Fonctions Itérées) :

   • L'analogie : Imaginez un jeu de "téléphone défectueux" ou un miroir magique. Vous prenez une forme, vous la réduisez, vous la déplacez, et vous répétez l'opération à l'infini. Le Cantor est le résultat final de ce jeu. L'auteur montre que ce jeu fonctionne très bien même avec des règles de fractions spécifiques.

2. La Théorie des Nombres et les Ordres Multiplicatifs :

   • L'analogie : C'est comme étudier la danse des nombres. Si vous multipliez un nombre par $b$ (la base du Cantor, souvent 3) encore et encore, à quel moment revenez-vous au point de départ ? L'auteur prouve que ces "danses" sont si complexes et imprévisibles (sauf dans des cas très rares) que les fractions "simples" sont réparties de manière très uniforme dans le Cantor.

3. La Conjecture 1.4 (Le Mystère Non Résolu) :

   • L'auteur dit : "Mon résultat est parfait, si on accepte une petite conjecture non prouvée en théorie des nombres." C'est comme dire : "Si on prouve que les nombres premiers se comportent d'une certaine manière très rare, alors tout mon raisonnement tient." Il prouve une version affaiblie de cette conjecture pour faire avancer les choses.

En Résumé

Ce papier est une victoire de la géométrie sur la complexité arithmétique.

• Avant : On pensait peut-être que limiter les fractions à celles avec peu de facteurs premiers rendrait l'approximation des points du Cantor beaucoup plus difficile, voire impossible pour certains points.
• Maintenant : On sait que non. Tant que la précision demandée n'est pas "magique" (trop stricte), les fractions "simples" (avec peu de facteurs premiers) sont suffisantes pour couvrir le Cantor avec la même efficacité que n'importe quelle fraction.

C'est comme si l'auteur disait : "Vous n'avez pas besoin d'avoir toutes les clés du monde pour ouvrir toutes les portes de ce château fractal. Un petit trousseau de clés simples suffit, tant que vous ne cherchez pas à ouvrir des portes qui n'existent pas."

C'est un résultat profond qui relie la géométrie des fractales (la forme) à la théorie des nombres (la structure des entiers), en montrant que la nature "fractale" est si riche qu'elle accepte même des approximations très contraintes.

Résumé technique

1. Problématique et Contexte

L'article s'inscrit dans le domaine de l'approximation diophantienne intrinsèque sur les fractales auto-similaires. Le problème central, initialement soulevé par Mahler dans les années 1980, consiste à étudier la qualité de l'approximation des nombres appartenant à un ensemble fractal (notamment l'ensemble de Cantor ternaire $K_{1/3}$) par des nombres rationnels qui appartiennent également à cet ensemble.

Contrairement à l'approximation extrinsèque (où les rationnels peuvent être n'importe où dans $\mathbb{R}$), l'approximation intrinsèque impose que les approximants $p/q$ soient dans l'ensemble fractal $K$.

Les questions clés abordées sont :

1. Quelle est la dimension de Hausdorff de l'ensemble des points $x \in K$ qui peuvent être approchés par des rationnels $r \in \mathbb{Q} \cap K$ à une vitesse donnée $\psi(h(r))$, où $h(r)$ est la hauteur de $r$ ?
2. Comment la restriction de la hauteur des dénominateurs à un nombre limité de facteurs premiers distincts affecte-t-elle cette dimension ?
3. Peut-on généraliser ces résultats à des systèmes de fonctions itérées (IFS) rationnels inhomogènes ?

2. Méthodologie

L'auteur utilise une combinaison d'outils de la théorie de la mesure géométrique, de la théorie des nombres et de la dynamique symbolique.

• Systèmes de Fonctions Itérées (IFS) : L'étude porte sur des IFS homogènes de la forme $f_i(x) = \frac{x + p_i}{b}$ et des IFS inhomogènes plus généraux $f_i(x) = \frac{x}{q_i} + \frac{p_i}{q_i}$.
• Conditions de Séparation : L'article exploite la Condition de Séparation Faible (WSC) et la Condition de Séparation Asymptotiquement Faible (AWSC), qui sont satisfaites par les IFS à paramètres rationnels. Cela permet de contrôler les recouvrements des images de l'attracteur.
• Théorie de la Distribution Modulo $q$ : Une partie cruciale de la preuve repose sur l'étude de la distribution des suites géométriques $b^k \pmod q$. L'auteur relie la présence de rationnels dans l'ensemble fractal à la petitesse de l'ordre multiplicatif $O_q(b)$ de $b$ modulo $q$.
• Principe de Transfert de Masse (Mass Transference Principle) : Utilisé pour établir la borne inférieure de la dimension de Hausdorff en passant d'une mesure de probabilité à la mesure de Hausdorff.
• Analyse Combinatoire des Hauteurs : L'article introduit des restrictions sur les dénominateurs $q$ en imposant que le nombre de facteurs premiers distincts $\omega(q)$ soit borné ($q \in P_N$).

3. Contributions Clés et Résultats Principaux

A. Approximation avec hauteurs à facteurs premiers bornés (Théorème 1.1)

L'auteur prouve que pour un IFS homogène $T$ défini par $f_i(x) = \frac{x+p_i}{b}$, dont l'attracteur $K_T$ a un intérieur vide, la dimension de Hausdorff de l'ensemble des points approximables par des rationnels $r \in \mathbb{Q} \cap K_T$ dont le dénominateur $q$ appartient à $P_N = \{q : \omega(q) \le N\}$ est donnée par :

$$\dim_H E_{\psi, T, N} = \frac{\dim_H K_T}{\max\{1, \delta_\psi\}}$$

où $\delta_\psi = \liminf_{q \to \infty} \frac{-\log \psi(q)}{\log q}$ est le taux de rétrécissement.

• Condition sur $N$ : Ce résultat est valable pour tout $N \ge \omega(b) + \omega(b-1)$. Si l'ensemble contient un point rationnel de la forme $p/b^k$, la condition s'allège à $N \ge \omega(b)$.
• Signification : Pour l'ensemble de Cantor ternaire ($b=3$), $\omega(3)=1$ et $\omega(2)=1$, donc le résultat vaut pour tout $N \ge 1$. Cela confirme partiellement la conjecture de Bugeaud et Durand pour les rationnels à hauteurs "presque" non restreintes.

B. Lien avec une conjecture en théorie des nombres (Théorème 1.5)

Pour obtenir le résultat sans restriction sur le nombre de facteurs premiers (c'est-à-dire pour tout $r \in \mathbb{Q} \cap K_T$), l'auteur établit un lien avec une conjecture en théorie des nombres (Conjecture 1.4) concernant la densité des entiers $q$ pour lesquels l'ordre multiplicatif $O_q(b)$ est petit.

• Si la Conjecture 1.4 est vraie, alors la formule de dimension ci-dessus s'applique sans restriction sur $N$.
• L'auteur prouve une version affaiblie de cette conjecture (Théorème 1.6) qui suffit pour démontrer le Théorème 1.1.

C. Approximation intrinsèque pour IFS inhomogènes (Théorème 1.8)

L'article généralise les résultats aux IFS inhomogènes définis par $f_i(x) = \frac{x}{q_i} + \frac{p_i}{q_i}$.

• L'auteur définit une hauteur intrinsèque $h_{int}(r)$ pour les rationnels dans $K_T$, basée sur le codage périodique de ces nombres.
• Il démontre que la dimension de Hausdorff de l'ensemble des points approximables par rapport à cette hauteur intrinsèque suit la même loi d'échelle :
  $$\dim_H E_{\psi, T, int} = \frac{\dim_H K_T}{\max\{1, \delta_\psi\}}$$
• Cela répond à une question ouverte concernant la métrique complète de ces ensembles pour des fractales plus générales que l'ensemble de Cantor.

D. Dichotomie Intérieur Vide / Intérieur Non Vide

L'article met en évidence une différence fondamentale :

• Si $K_T$ a un intérieur vide, la dimension est dictée par la géométrie fractale et le taux d'approximation ($\dim_H K_T / \delta_\psi$).
• Si $K_T$ a un intérieur non vide (ce qui implique $\dim_H K_T = 1$), la dimension suit une loi différente liée à la mesure de Lebesgue, souvent égale à $\min\{1, s_\psi\}$ où $s_\psi$ dépend de la convergence de séries impliquant la densité des rationnels.

4. Signification et Impact

1. Résolution partielle de conjectures : L'article valide la formule conjecturée par Bugeaud et Durand pour l'approximation intrinsèque dans le cas de l'ensemble de Cantor, en restreignant les dénominateurs à un nombre fini de facteurs premiers.
2. Généralisation des IFS : Il étend la théorie de l'approximation diophantienne au-delà des IFS homogènes satisfaisant la condition de séparation forte (OSC), vers des systèmes inhomogènes et des systèmes satisfaisant seulement la WSC.
3. Interface Théorie des Nombres / Géométrie Fractale : Le travail illustre profondément comment les propriétés arithmétiques (ordre multiplicatif modulo $q$, distribution des nombres premiers) contrôlent la structure géométrique fine des ensembles fractals.
4. Outils nouveaux : La preuve de la caractérisation des rationnels dans les IFS à paramètres rationnels (Proposition 6.3) et l'utilisation combinée de l'inégalité d'Erdős-Turán et de la théorie de la distribution uniforme offrent des outils puissants pour les recherches futures.

En résumé, cet article fournit une description métrique complète de l'approximation diophantienne intrinsèque sur une large classe de fractales rationnelles, établissant des bornes supérieures et inférieures précises pour la dimension de Hausdorff des ensembles d'approximation.