Well and badly approximable sets, and rapid winning

Résumé Technique : Ensembles Bien et Mal Approximables, et Victoire Rapide

Énoncé du Problème
L'article traite une question fondamentale de la théorie diophantienne métrique : un ensemble possédant une dimension de Hausdorff véritablement fractionnaire peut-il porter une propriété naturelle de « victoire » ?

Classiquement, l'ensemble des nombres $\psi$-approximables, $W(\psi)$, et l'ensemble des nombres mal approximables, $Bad$, représentent des comportements opposés.

• $W(\psi) = \{x \in \mathbb{R} : \|qx\|_{\mathbb{Z}} < \psi(q) \text{ pour une infinité de } q \in \mathbb{N}\}$. Pour $\psi(q) = q^{-\tau}$ ($\tau \ge 1$), le théorème de Jarník–Besicovitch établit que $\dim_H W(\tau) = \frac{2}{\tau+1}$, une valeur strictement inférieure à 1.
• $Bad = \{x \in \mathbb{R} : \inf_{q \ge 1} q\|qx\|_{\mathbb{Z}} > 0\}$. Cet ensemble possède une dimension de Hausdorff pleine ($\dim_H Bad = 1$) et possède de fortes propriétés de grandeur, spécifiquement le fait d'être « gagnant » au sens des jeux de Schmidt.

L'intersection $W(\tau) \cap Bad$ est vide pour $\tau > 1$. Cependant, l'analogue inhomogène $Bad_\gamma = \{x \in \mathbb{R} : \inf_{q \ge 1} q\|qx - \gamma\|_{\mathbb{Z}} > 0\}$ (pour $\gamma \not\equiv 0 \pmod 1$) est non vide et possède également une dimension pleine. Le problème central est de déterminer la dimension de Hausdorff de l'intersection $W(\tau) \cap Bad_\gamma$. Bien que la borne supérieure soit trivialement $\frac{2}{\tau+1}$ (puisque l'ensemble est contenu dans $W(\tau)$), établir la borne inférieure correspondante nécessite de prouver que cet ensemble de dimension fractionnaire est « grand » au sens de la théorie des jeux.

Méthodologie
Les auteurs introduisent un nouveau cadre de théorie des jeux appelé le Jeu $\Psi$-Rapide Fort (Strong $\Psi$-Rapid Game), qui sert de raffinement sensible à l'échelle du « jeu rapide » introduit par Hatefi et Simmons.

1. La Structure du Jeu :

   • Le jeu se joue sur un espace métrique complet (spécifiquement des intervalles dans $\mathbb{R}$).
   • Bob choisit des boules emboîtées $B_n$ et des paramètres $\alpha_n$. Alice choisit des sous-boules $A_n \subseteq B_n$.
   • Condition de Victoire : Alice gagne si le point d'intersection appartient à l'ensemble cible $S$, ou si Bob échoue à jouer de manière « $\Psi$-rapide ».
   • $\Psi$-Rapidité : Bob est tenu de jouer de telle sorte que $\liminf_{n \to \infty} \frac{\alpha_n}{\Psi(\rho_n)} = 0$. Si cette condition ne satisfait pas (c'est-à-dire si $\liminf_{n \to \infty} \frac{\alpha_n}{\Psi(\rho_n)} > 0$), Bob perd par défaut.
   • Contrairement aux jeux de Schmidt classiques (où la victoire implique une dimension pleine), le jeu $\Psi$-rapide est calibré sur une échelle diophantienne spécifique. La jauge $\Psi$ est choisie pour correspondre à la décroissance de la fonction d'approximation $\psi$.

2. Reformulation Dynamique :

   • La preuve utilise la correspondance de Dani, traduisant le problème diophantien en la dynamique des flux sur l'espace des réseaux unimodulaires ($X = SL_2(\mathbb{R})/SL_2(\mathbb{Z})$) et des grilles ($Y$).
   • $Bad_\gamma$ correspond à des orbites de grilles qui restent éloignées de l'origine (évitant un cul de sac/cuspide).
   • $W(\psi)$ correspond à des orbites qui entrent dans des régions spécifiques de la cuspide (représentant de bonnes approximations).

3. Décomposition Stratégique :
   Les auteurs construisent la stratégie gagnante d'Alice en alternant entre deux mécanismes distincts :

   • La Stratégie par Défaut : Assure que la grille inhomogène reste uniformément éloignée de l'origine (maintenant l'appartenance à $Bad_\gamma$) et récupère le réseau homogène après des excursions profondes dans la cuspide vers une région compacte.
   • La Stratégie Auxiliaire : Un mouvement d'entrée dans la cuspide à « sens unique ». Alice force le réseau homogène à entrer dans une cuspide pour générer une approximation spécifique $q$ satisfaisant $\|qx\| < \psi(q)$. Crucialement, cette stratégie ne tente pas de ramener le réseau vers une région bornée ; cette tâche est laissée à la stratégie par défaut lors des tours suivants. Cette séparation élimine une « perte de racine carrée » présente dans les arguments précédents des jeux rapides, permettant d'obtenir une borne de dimension précise.

Contributions Clés et Résultats

1. Définition de la Victoire $\Psi$-Rapide Forte :
   L'article définit un ensemble $S$ comme étant gagnant $\Psi$-rapide fort si Alice possède une stratégie pour gagner le jeu pour tout paramètre de contraction $\beta$ suffisamment petit. Le Théorème 1.9 prouve que $W(\psi) \cap Bad_\gamma$ est gagnant $\Psi_\psi$-rapide fort, où la jauge $\Psi_\psi$ est dérivée de $\psi$ via la relation $\Psi_\psi(\rho) \asymp \rho^{-1/2}\psi(\rho^{-1/2})$.

2. Proposition de Dimension (Proposition 2.1) :
   Les auteurs prouvent que si un ensemble $S$ est $(\Psi_\omega, \alpha, \beta)$-gagnant rapide fort (où $\Psi_\omega(\rho) = \rho^\omega$), alors sa dimension de Hausdorff satisfait :
   $$\dim_H S \ge \frac{1}{1+\omega}$$
   Cette proposition lie directement le taux de décroissance de la fonction de jauge $\Psi$ à la borne inférieure de la dimension de Hausdorff.

3. Théorème Principal (Théorème 1.3) :
   Pour $\psi(q) = q^{-\tau}$ avec $\tau \ge 1$ et $\gamma \not\equiv 0 \pmod 1$, l'article établit la dimension exacte de l'intersection :
   $$\dim_H (W(\tau) \cap Bad_\gamma) = \frac{2}{\tau + 1}$$
   Ceci récupère la dimension de Jarník–Besicovitch pour l'intersection, confirmant que la contrainte « mal approximable » ne réduit pas la dimension de l'ensemble bien approximable dans le cas inhomogène.

Signification et Revendications
L'article prétend répondre à la question de savoir si des ensembles diophantiens possédant véritablement une dimension fractionnaire peuvent posséder une propriété de victoire naturelle. En introduisant le jeu $\Psi$-rapide, les auteurs démontrent que la « victoire » peut être définie par rapport à une échelle spécifique, plutôt qu'impliquer une dimension pleine.

• Raffinement de la Théorie Existante : Le travail affine le jeu rapide de Hatefi et Simmons. L'innovation clé est la séparation du mouvement d'approximation (forcer l'entrée dans une cuspide) du mouvement de récupération (retourner vers une région bornée). Cette séparation est explicitement créditée pour avoir éliminé la perte de racine carrée qui empêchait auparavant les arguments de dimension précise dans les jeux rapides.
• Universalité : Le résultat est valable pour toute fonction d'approximation $\psi$, la propriété de victoire étant calibrée sur la décroissance spécifique de $\psi$.
• Limites et Directions Futures : Les auteurs notent que la preuve est intrinsèquement asymétrique (réseau homogène pour l'approximation, grille inhomogène pour l'évitement). Ils identifient que renverser ces rôles (approximer un décalage inhomogène tout en évitant l'origine) fait face à des obstructions arithmétiques liées à la dépendance rationnelle des décalages. Ils suggèrent que l'extension de ce cadre aux contextes de multi-grilles ou en dimensions supérieures nécessitera de nouveaux « lemmes d'entrée de cuspide affine » capables de gérer des bornes inférieures uniformes sur les déterminants impliquant plusieurs décalages.

En résumé, l'article fournit une caractérisation rigoureuse par la théorie des jeux de l'intersection des nombres bien et mal (inhomogènement) approximables, prouvant que cette intersection conserve la pleine dimension de Jarník–Besicovitch grâce à une nouvelle stratégie de victoire sensible à l'échelle.