On The Hausdorff Dimension Of Two Dimensional Badly Approximable Vector

Cet article démontre que la dimension de Hausdorff de l'intersection d'une boule avec l'ensemble des vecteurs de $\mathbb{R}^2$ mal approximables pondérés par une fonction $\Psi_{\boldsymbol \tau}$ est égale à celle de l'ensemble des vecteurs $\Psi_{\boldsymbol \tau}$-approximables, en étendant les méthodes de construction de type Cantor au cas pondéré.

L'essentiel

Imaginez que vous êtes un architecte chargé de construire une ville infiniment complexe, mais avec des règles très strictes sur la façon dont les bâtiments peuvent être placés. C'est un peu ce que fait ce papier mathématique, mais au lieu de bâtiments, il parle de nombres et de positions dans un espace à deux dimensions (comme une carte).

Voici une explication simple de ce que l'auteur, Yi Lou, a découvert, en utilisant des analogies du quotidien.

1. Le Problème : Trouver des "Nid-de-Poule" dans une Route Parfaite

Imaginez une route parfaitement lisse (c'est l'espace mathématique standard). Maintenant, imaginez que vous voulez placer des "nids-de-poule" (des points spéciaux) sur cette route. Ces nids-de-poule sont en fait des nombres rationnels (des fractions comme 1/2, 3/4, etc.).

• L'approximation (La règle du jeu) : La question est : "À quel point ces nids-de-poule peuvent-ils être proches d'un point précis sur la route ?"
• Les "Mauvais Approximables" (Les rebelles) : Certains points sur la route sont très têtus. Peu importe combien de nids-de-poule vous posez autour d'eux, ils réussissent toujours à rester "juste assez loin" pour ne pas être touchés. Ce sont les vecteurs mal approximables.
• Le poids (La difficulté) : Dans ce papier, l'auteur ajoute une règle de "poids". Imaginez que l'un des axes de votre carte (disons, l'axe horizontal) est plus difficile à naviguer que l'autre (vertical). Vous devez respecter des règles différentes pour chaque direction. C'est ce qu'on appelle le cas pondéré.

2. La Question de l'Auteur : Quelle est la "Taille" de ces Points Rebelles ?

En mathématiques, la "taille" d'un ensemble de points ne se mesure pas seulement en mètres carrés (comme la surface d'un tapis), mais en dimension de Hausdorff.

• Si vous avez une ligne, sa dimension est 1.
• Si vous avez un carré, sa dimension est 2.
• Mais il existe des objets "fractals" (comme un flocon de neige très détaillé) qui ont une dimension de, disons, 1,5. Ils sont plus gros qu'une ligne mais plus petits qu'une surface.

L'auteur voulait calculer exactement cette dimension "fractale" pour ces points rebelles dans un monde où les règles sont différentes selon la direction (pondéré).

3. La Méthode : Construire un "Château de Sable" Infini

Pour trouver la taille de ces points, l'auteur ne les compte pas un par un (il y en a une infinité !). À la place, il construit un château de sable (une structure mathématique appelée ensemble de Cantor) qui ressemble exactement à ces points rebelles.

Voici les étapes de sa construction, expliquées simplement :

• Étape 1 : Le Nettoyage (Le tamis)
  Imaginez que vous avez un grand carré de sable. Vous commencez à enlever des morceaux de sable autour de chaque fraction (nids-de-poule). Mais vous ne les enlevez pas n'importe comment : vous enlevez des zones très précises, comme si vous utilisiez un tamis mathématique très fin. Ce qui reste après ce nettoyage est un ensemble de points qui ont réussi à échapper à toutes les fractions. C'est notre "château de sable" $C_{\tau}(N)$.

• Étape 2 : Les "Rationnels Leaders" (Les gardiens)
  Parmi toutes les fractions, certaines sont plus importantes que d'autres. L'auteur identifie ces fractions "chefs" qui définissent les limites de notre château. C'est comme si seuls certains gardiens avaient le droit de décider où placer les murs.

• Étape 3 : La Construction en Couches (L'escalier)
  L'auteur construit son château couche par couche.

  1. Il prend un gros bloc.
  2. Il le divise en petits blocs.
  3. Il enlève ceux qui touchent les "gardiens" (les fractions).
  4. Il répète l'opération à l'infini avec des blocs de plus en plus petits.
     À la fin, il ne reste qu'une poussière infinie de points. C'est l'ensemble des points rebelles.

• Étape 4 : Peser la Poussière (La mesure de masse)
  Pour savoir la "dimension" de cette poussière, l'auteur imagine qu'il y a de la poussière (une masse) répartie sur le château. Il vérifie : "Si je prends une petite loupe (un petit cercle), combien de poussière y a-t-il dedans ?"

  • S'il y a beaucoup de poussière, la dimension est grande.
  • S'il y en a très peu, la dimension est petite.
    En faisant des calculs très précis sur la façon dont cette poussière se répartit, il arrive à une formule exacte.

4. Le Résultat : La Formule Magique

Après tout ce travail, l'auteur trouve une formule précise pour la dimension de ces points rebelles dans le cas à deux dimensions avec des règles pondérées.

La formule est un peu comme un choix entre deux chemins :
$$\text{Dimension} = \min \left( \frac{3 + \tau_1 - \tau_2}{1 + \tau_1}, \frac{3}{1 + \tau_2} \right)$$

Où $\tau_1$ et $\tau_2$ représentent la "difficulté" ou le "poids" de chaque direction.

• Si une direction est très difficile ($\tau$ est grand), la dimension change pour s'adapter.
• Le résultat montre que même si ces points semblent rares (ils occupent une surface nulle, comme un fil sur un tapis), ils sont en réalité très "denses" et complexes, ayant une dimension fractale bien définie.

En Résumé

Ce papier est comme un guide d'architecte pour comprendre la structure cachée de certains nombres têtus.

1. L'auteur a créé une méthode pour construire ces nombres têtus en enlevant méthodiquement les autres.
2. Il a prouvé que cette construction fonctionne même quand les règles sont différentes selon la direction (pondérées).
3. Il a calculé exactement à quel point cette structure est complexe (sa dimension fractale).

C'est une victoire de la géométrie pure : montrer que même dans le chaos apparent des nombres infinis, il existe des lois de structure précises et calculables.

Résumé technique

Voici un résumé technique détaillé de l'article « On the Hausdorff dimension of two dimensional weighted badly approximable vectors » de Yi Lou, rédigé en français.

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie des nombres, plus spécifiquement dans l'approximation diophantienne. Le problème central concerne la dimension de Hausdorff de l'ensemble des vecteurs mal approximables pondérés (weighted badly approximable vectors) en dimension deux.

Soit $\Psi = (\psi_1, \dots, \psi_m)$ une fonction d'approximation. On définit :

• $A_m(\Psi)$ : l'ensemble des vecteurs $\Psi$-approximables dans $[0, 1]^m$.
• $B_m(\Psi)$ : l'ensemble des vecteurs $\Psi$-mal approximables, défini comme la différence $A_m(\Psi) \setminus \bigcup_{0<c<1} A_m(c\Psi)$. Ces sont les vecteurs qui sont approximables selon $\Psi$, mais pas selon une version strictement plus petite de $\Psi$ (multipliée par une constante $c < 1$).

L'auteur se concentre sur le cas où les fonctions d'approximation suivent une loi de puissance pondérée : $\psi_i(q) = q^{-\tau_i}$, avec $\tau = (\tau_1, \tau_2) \in \mathbb{R}^2_{>0}$. On note cet ensemble $B_2(\Psi_\tau)$.

Le contexte mathématique établi dans l'introduction est le suivant :

• Si $\sum \tau_i < 1$, l'ensemble est vide (théorème de Dirichlet).
• Si $\sum \tau_i = 1$, l'ensemble est de mesure nulle mais de dimension de Hausdorff pleine ($m$).
• Si $\sum \tau_i > 1$, la dimension de $A_m(\Psi_\tau)$ est connue (Wang et Wu). Cependant, la dimension de l'ensemble mal approximable $B_m(\Psi_\tau)$ dans le cas pondéré (où $\tau_1 \neq \tau_2$) restait un problème ouvert, bien que des résultats récents (Bandi et Fregoli) aient établi l'égalité des dimensions pour le cas général.

L'objectif de cet article est de fournir une preuve indépendante et locale de la dimension de Hausdorff pour le cas bidimensionnel pondéré, en étendant les méthodes géométriques de Koivusalo et al. (qui traitaient le cas non pondéré).

2. Méthodologie

La preuve repose sur une construction géométrique fine utilisant des ensembles de type Cantor et le principe de distribution de masse. La démarche se décompose en quatre étapes principales :

Étape 1 : Construction de l'ensemble évitant les voisinages rationnels ($C_\tau(N)$)

L'auteur construit un ensemble $C_\tau(N)$ qui évite les voisinages spécifiques des points rationnels.

• Partitionnement : Le carré unité est partitionné en rectangles de tailles décroissantes.
• Lemme du Simplexe : Une version du lemme du simplexe (Lemma 2.1) est utilisée pour montrer que les points rationnels à dénominateur borné dans un petit rectangle sont contenus dans des hyperplans (lignes dans $\mathbb{R}^2$).
• Élimination itérative : On retire itérativement les voisinages de ces hyperplans. La taille des voisinages retirés est contrôlée par des paramètres $\delta(n)$ dépendant de $N$ et de $\tau$.
• Résultat clé : L'ensemble $C_\tau(N)$ est construit de telle sorte qu'il ne contient aucun point qui soit trop bien approximable par des rationnels (il évite $A_2(c\Psi_\tau)$ pour un $c$ approprié).

Étape 2 : Définition des « Rationnels Directeurs » (Leading Rationals)

Pour construire un sous-ensemble de $C_\tau(N)$ qui reste approximable (c'est-à-dire dans $A_2(\Psi_\tau)$), l'auteur définit un sous-ensemble de points rationnels appelés « rationnels directeurs » ($Q(N, \tau)$).

• Ces rationnels sont sélectionnés parmi ceux qui sont « actifs » lors de la construction de $C_\tau(N)$ (ceux qui définissent les hyperplans retirés).
• Un lemme structurel (Lemma 3.1) montre que tout point dans $C_\tau(N)$ est approximable par une infinité de ces rationnels directeurs avec une erreur contrôlée par une fonction $\Phi_\rho$ (où $\rho_i$ sont des exposants liés à $\tau$).

Étape 3 : Construction de l'ensemble Cantorien $D_\epsilon(B)$

L'objectif est de construire un sous-ensemble $D_\epsilon(B) \subset B \cap B_2(\Psi_\tau)$ pour une boule $B$ donnée.

• Lemme de recouvrement (TG,R Lemma) : Inspiré des travaux de Koivusalo et al., ce lemme (Lemma 4.2) garantit que pour tout rectangle survivant dans la construction, on peut trouver une collection finie de sous-rectangles disjoints (basés sur les rationnels directeurs) qui couvrent une fraction significative de la mesure du rectangle parent.
• Itération : On construit une suite d'ensembles $E_n$ de rectangles imbriqués. À chaque étape, on applique le lemme TG,R pour sélectionner des sous-rectangles, puis on les « rétrécit » (shrink) pour définir les rectangles de la couche suivante.
• Intersection : L'ensemble final $D_\epsilon(B)$ est l'intersection de ces couches. Il est prouvé que $D_\epsilon(B) \subset B \cap B_2(\Psi_\tau)$.

Étape 4 : Distribution de Masse et Calcul de la Dimension

Pour minorer la dimension de Hausdorff, l'auteur utilise le Principe de Distribution de Masse (Proposition 1.4).

• Construction de la mesure : Une mesure de probabilité $\mu$ est définie sur $D_\epsilon(B)$ en répartissant la masse uniformément sur les rectangles de chaque niveau, pondérée par leur mesure de Lebesgue.
• Estimation : L'auteur démontre que pour toute boule $F$ de rayon $r$, la masse $\mu(F)$ est bornée par $C r^{s-\epsilon}$, où $s$ est la dimension cible.
• Analyse de cas : Le calcul est complexe et nécessite de distinguer plusieurs cas selon la taille du rayon $r$ par rapport aux dénominateurs des centres des rectangles ($Q^{-1-\tau_i}$). Cela implique des estimations fines sur le nombre de rectangles intersectant la boule et la somme de leurs mesures.

3. Résultats Principaux

Le résultat central est le Théorème 1.2.

Soit $\tau = (\tau_1, \tau_2) \in \mathbb{R}^2_{>0}$ tel que $\tau_1 \ge \tau_2$ et $\tau_1 + \tau_2 > 1$. Pour toute boule $B \subseteq [0, 1]^2$, la dimension de Hausdorff locale de l'ensemble des vecteurs mal approximables pondérés est donnée par :

$$\dim_H(B \cap B_2(\Psi_\tau)) = \dim_H A_2(\Psi_\tau) = \min \left\{ \frac{3 + \tau_1 - \tau_2}{1 + \tau_1}, \frac{3}{1 + \tau_2} \right\}$$

Ce résultat établit que la dimension de l'ensemble des vecteurs mal approximables est égale à celle de l'ensemble des vecteurs approximables dans ce régime, et fournit une formule explicite dépendant de la différence et de la somme des exposants de poids.

4. Contributions Clés

1. Extension au cas pondéré : L'article généralise les résultats de Koivusalo, Levesley, Ward et Zhang (qui traitaient le cas $\tau_1 = \tau_2$) au cas général où les poids sont différents ($\tau_1 \neq \tau_2$).
2. Indépendance des résultats récents : Bien que des résultats plus généraux aient été annoncés par Bandi et Fregoli (sur les vecteurs exactement approximables), la preuve de Lou est indépendante. Elle ne repose pas sur les résultats de Bandi et Fregoli mais utilise une approche purement géométrique et constructive.
3. Approche locale : La preuve démontre non seulement la dimension globale, mais la dimension locale (à l'intérieur de n'importe quelle boule $B$), ce qui est une propriété plus forte et techniquement plus difficile à établir.
4. Technique de construction : L'adaptation du lemme de recouvrement (TG,R Lemma) et la gestion précise des paramètres de rétrécissement dans un cadre pondéré constituent une avancée méthodologique significative pour l'analyse fractale en approximation diophantienne.

5. Signification

Ce travail est significatif car il résout un problème de dimension de Hausdorff dans un cadre pondéré bidimensionnel, comblant une lacune entre les cas symétriques (non pondérés) et les résultats généraux récents.

• Rigueur technique : La preuve offre une construction explicite (ensemble de Cantor) et une estimation de masse détaillée, fournissant une compréhension structurelle profonde de la géométrie des ensembles mal approximables.
• Impact théorique : En confirmant que $\dim_H B_2(\Psi_\tau) = \dim_H A_2(\Psi_\tau)$ dans le cas pondéré, l'article renforce l'idée que l'ensemble des vecteurs mal approximables capture toute la complexité fractale de l'ensemble approximable, même lorsque les contraintes d'approximation sont asymétriques.
• Contexte académique : L'article, issu d'un projet de fin d'études de premier cycle, démontre une maîtrise exceptionnelle des outils avancés de la théorie des nombres et de la géométrie fractale, en repoussant les limites des méthodes existantes.

En résumé, Yi Lou fournit une preuve robuste et auto-contenue de la formule de dimension pour les vecteurs mal approximables pondérés en dimension 2, en utilisant des techniques de construction géométrique sophistiquées qui restent valables indépendamment des développements récents sur l'approximation exacte.