🔢 mathematics

Dirichlet improvability in $L_p$ -norms

Cet article fournit une caractérisation complète des nombres $F$ -Dirichlet améliorables en termes de motifs de fractions continues pour les normes $L_p$ , résolvant ainsi des questions ouvertes de Kleinbock et Rao concernant la dimension de Hausdorff complète de différences d'ensembles spécifiques et déterminant la plage précise de $p$ pour laquelle le nombre $e$ est Dirichlet améliorable.

Auteurs originaux : Nikolay Moshchevitin, Nikita Shulga

Publié 2026-06-23

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Nikolay Moshchevitin, Nikita Shulga

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous essayiez de deviner un nombre secret, $\alpha$ , en utilisant des fractions comme $1/2$ , $3/4$ ou $22/7$ . Dans le monde des mathématiques, cela s'appelle l'approximation diophantienne. L'objectif est de voir à quel point une fraction peut « enlacer » le nombre secret sans être ce nombre lui-même.

Depuis plus d'un siècle, les mathématiciens connaissent une règle (le théorème de Dirichlet) qui dit : « Quel que soit votre nombre secret, vous pouvez toujours trouver une fraction suffisamment proche de lui. » Cependant, pour certains nombres très têtus, on ne peut pas s'en approcher trop près. Ce sont les nombres mal approximables. Ce sont les nombres « peu coopératifs » du monde des mathématiques.

Cet article, écrit par Nikolay Moshchevitin et Nikita Shulga, explore une nouvelle façon de mesurer la « proximité ». Au lieu d'utiliser la règle standard (la distance habituelle), ils utilisent différentes formes de « règles » appelées normes $L_p$ .

Les différentes règles

Considérez ces normes comme différentes façons de mesurer la distance dans une ville :

La norme Taxi ( $L_1$ ) : Vous ne pouvez conduire que le long des pâtés de maisons (haut, bas, gauche, droite). La distance est la somme des étapes.
La norme de ligne droite ( $L_2$ ) : Vous pouvez voler en diagonale. C'est la distance euclidienne standard.
La norme « Max » ( $L_\infty$ ) : Vous ne vous intéressez qu'à la plus longue étape individuelle que vous avez faite, en ignorant les autres.

Les auteurs demandent : Si nous changeons la règle, la liste des nombres « peu coopératifs » change-t-elle ?

La découverte principale : Un code secret

L'article fait une percée majeure en trouvant un « anneau de décodage » pour ces nombres. Ils ont découvert que le fait qu'un nombre soit « améliorable » (facile à approximer) ou « non améliorable » (difficile à approximer) dépend entièrement du motif de nombres à l'intérieur de sa fraction continue.

Une fraction continue est comme une recette pour un nombre, écrite sous la forme d'une liste d'entiers : $[a_0; a_1, a_2, a_3, \dots]$ .

L'ancienne règle : Pour la règle standard ( $L_\infty$ ), un nombre est têtu si sa recette contient de grands nombres qui deviennent de plus en plus grands indéfiniment.
La nouvelle règle : Les auteurs ont découvert que pour d'autres règles ( $L_1$ , $L_2$ , etc.), la « ténacité » dépend de motifs symétriques spécifiques dans la recette.

Imaginez que la recette est une chanson.

Pour la Norme Taxi ( $L_1$ ), la chanson est têtue si elle possède un refrain très spécifique, presque symétrique, qui se répète avec un volume croissant.
Pour la Norme de ligne droite ( $L_2$ ), la chanson est têtue si elle possède un motif spécifique où deux parties de la chanson se multiplient pour donner 3.
Pour la Norme Max ( $L_\infty$ ), il s'agit simplement d'avoir des nombres énormes.

Les auteurs ont cartographié exactement quels motifs rendent un nombre têtu pour chaque type de règle.

Les résultats surprenants

En utilisant cette cartographie de motifs, ils ont résolu plusieurs énigmes qui étaient auparavant insolubles :

Les nombres « entre-deux » :
Ils ont prouvé qu'il existe une foule massive et infinie de nombres qui sont « améliorables » (faciles à approximer) avec une règle, mais « non améliorables » (difficiles) avec une autre.
- Analogie : Imaginez un nombre qui est facile à attraper avec un filet fait de carrés (norme Taxi) mais impossible à attraper avec un filet fait de cercles (norme de ligne droite). Les auteurs ont montré que l'ensemble de ces nombres « changeurs de forme » est si vaste qu'il possède une « dimension pleine » (il est aussi grand que l'ensemble de la droite numérique dans un sens mathématique).
Le mystère du nombre $e$ :
Ils ont appliqué leurs nouvelles règles au célèbre nombre $e$ (la base des logarithmes naturels, environ 2,718).
- Ils ont trouvé que $e$ est facile à approximer avec la règle Taxi ( $L_1$ ) et la règle de ligne droite ( $L_2$ ).
- Cependant, $e$ devient têtu (difficile à approximer) si vous utilisez une règle avec un « étirement » spécifique entre 2 et une constante spéciale appelée $p_0$ (environ 2,57), ou si vous utilisez une règle encore plus étirée que celle-ci.
- En termes simples : $e$ est un caméléon. Il se comporte différemment selon la « règle » que vous utilisez pour le mesurer.
La constante « critique » ( $p_0$ ) :
Il existe un nombre magique, $p_0 \approx 2,57$ , où les règles du jeu changent complètement. En dessous de ce nombre, les motifs requis pour être « têtu » sont une chose ; au-dessus, ils en sont une autre. Les auteurs ont identifié ce point de bascule et ont décrit exactement comment les règles basculent.

Pourquoi cela importe-t-il (selon l'article)

L'article ne parle pas de construire des ponts ou de guérir des maladies. Au lieu de cela, il résout un puzzle théorique profond sur la structure des nombres.

Il relie la forme abstraite d'une « règle » à la séquence spécifique de chiffres dans la recette d'un nombre.
Il prouve que la différence entre ces différents types de nombres n'est pas seulement une minuscule tache, mais un paysage massif et complexe.
Il fournit un « manuel d'instructions » complet pour déterminer si un nombre est têtu en regardant simplement son motif de fraction continue.

En bref, les auteurs ont pris un problème complexe de mesure de nombres avec différentes formes et l'ont transformé en un jeu de reconnaissance de formes, révélant que l'univers des nombres est bien plus diversifié et structuré qu'on ne le pensait auparavant.

Résumé Technique : Améliorabilité de Dirichlet dans les normes $L^p$

Énoncé du Problème

L'article traite de la classification des nombres de Dirichlet améliorables par rapport aux normes $L^p$ générales sur $\mathbb{R}^2$ . Alors que le cas classique de la norme supremum ( $L^\infty$ ) est bien compris — où un nombre est Dirichlet améliorable si et seulement s'il n'est pas mal approximable (Théorème B) — le comportement de ces ensembles pour d'autres normes ( $1 \le p < \infty$ ) est resté largement ouvert.

Plus précisément, les auteurs s'attaquent à trois problèmes interconnectés :

Classification (Problème I) : Peut-on caractériser les nombres $p$ -Dirichlet améliorables ( $DI_p$ ) en termes des motifs trouvés dans leurs développements en fractions continues régulières, de manière analogue au résultat classique pour $L^\infty$ ?
Taille Métrique des Différences (Problème II) : La différence d'ensembles $DI_p \setminus BA$ (nombres qui sont $p$ -améliorables mais pas mal approximables) possède-t-elle une dimension de Hausdorff pleine ? Il s'agissait d'une question ouverte posée par Kleinbock et Rao pour la norme euclidienne ( $p=2$ ).
Taille Comparative (Problème III) : Quelle est la taille de la différence entre les ensembles de nombres améliorables pour deux normes différentes, spécifiquement $DI_{p_1} \setminus DI_{p_2}$ ?

Méthodologie

Les auteurs emploient une combinaison de géométrie des nombres, de systèmes dynamiques et de théorie métrique des fractions continues.

Correspondance de Dani et Réseaux Critiques :
L'étude utilise la correspondance de Dani pour traduire les problèmes d'approximation diophantienne en la dynamique des trajectoires de réseaux dans l'espace des réseaux unimodulaires. Un nombre $\alpha$ est $F$ -Dirichlet non-améliorable si et seulement si la trajectoire du réseau $\Lambda_\alpha(t)$ s'accumule sur un réseau critique pour la boule unité $B_F$ de la norme $F$ .
Les auteurs s'appuient fortement sur la classification des réseaux critiques pour les boules unités $L^p$ ( $B_p$ ), un résultat achevé par Glazunov, Golovanov et Malyshev [14]. Cette classification révèle une bifurcation structurelle à une constante critique $p_0 \approx 2,57$ .
Analyse de Motifs dans les Fractions Continues :
En analysant le comportement limite des trajectoires de réseaux convergeant vers les réseaux critiques, les auteurs dérivent des conditions nécessaires et suffisantes pour la non-amélioration $p$ -Dirichlet. Ces conditions sont exprimées par l'occurrence de motifs palindromiques ou symétriques spécifiques dans le développement en fractions continues de $\alpha$ .
- Pour $2 < p < p_0$ , la non-amélioration correspond à des motifs tels que $x, 1, 1, y$ ou $x, 2, y$ avec $x, y$ grands.
- Pour $p \in (1, 2) \cup (p_0, \infty)$ , les motifs dépendent du développement en fraction continue d'une constante spécifique $\varsigma_p$ (la racine de $\varsigma + (1+\varsigma)^p = 2$ ).
Bornes de la Dimension de Hausdorff :
Pour prouver que certains ensembles ont une dimension de Hausdorff pleine, les auteurs construisent des sous-ensembles de nombres mal approximables ($BA$) en insérant des motifs spécifiques dans leurs fractions continues. Ils utilisent une technique de cartographie d'espace symbolique (Lemme 9.1) pour montrer que l'insertion de ces motifs préserve la dimension pleine de l'ensemble sous-jacent tout en modifiant les propriétés diophantiennes. Cela implique de prouver que la application d'insertion est localement Lipschitz et que son inverse est localement Hölder continue.

Contributions Clés et Résultats

1. Classification Complète (Théorème 3.1)

L'article fournit une caractérisation complète et effective de l'ensemble $DI_p^c$ (le complémentaire des nombres $p$ -Dirichlet améliorables) pour tout $p \in [1, \infty)$ .

Cas $2 < p < p_0$ : $\alpha \in DI_p^c$ si et seulement si sa fraction continue contient les motifs $x, 1, 1, y$ ou $x, 2, y$ avec $\min(x, y) \to \infty$ .
Cas $p \in (1, 2) \cup (p_0, \infty)$ : La condition dépend de $\varsigma_p$ . Si $\varsigma_p$ est rationnel, des motifs palindromiques finis spécifiques impliquant les chiffres de $\varsigma_p$ doivent apparaître. Si $\varsigma_p$ est irrationnel, des motifs palindromiques arbitrairement longs dérivés de la fraction continue de $\varsigma_p$ doivent apparaître.
Cas $p=1$ et $p=2$ : La caractérisation implique des motifs symétriques plus complexes et, pour $p=2$ , des paires de nombres $\beta, \beta^*$ satisfaisant $\beta \cdot \beta^* = 3$ .

2. Résolution de Questions Ouvertes sur la Dimension

Théorème 1.1 : Pour tout $p \in [1, \infty)$ , l'ensemble $DI_p \setminus BA$ a une dimension de Hausdorff pleine (dimension 1). Cela résout la question ouverte de Kleinbock et Rao pour $p=2$ et la généralise à toutes les normes $L^p$ . Les auteurs notent explicitement que cela échoue pour $p=\infty$ (où $DI_\infty \setminus BA = \mathbb{Q}$ ).
Théorème 1.2 : Les ensembles $DI_2 \setminus DI_1$ et $DI_1 \setminus DI_2$ ont tous deux une dimension de Hausdorff pleine. Cela démontre que les ensembles de nombres améliorables pour différentes normes $L^p$ sont distincts et que leurs différences sont "grandes" dans un sens fractal.

3. Caractérisation de Constantes Spécifiques

Corollaire 3.9 : Les auteurs appliquent leur classification au nombre $e$ . Ils prouvent que $e \in DI_p$ si et seulement si $p \in (1, 2) \cup (p_0, \infty)$ . Par conséquent, $e$ n'est pas $p$ -Dirichlet améliorable pour $p \in [2, p_0]$ .
Corollaire 3.8 : L'ensemble des valeurs $p$ pour lesquelles il existe des nombres mal approximables $p$ -Dirichlet non-améliorables est dense dans $(1, 2) \cup (p_0, \infty)$ , a une mesure de Lebesgue nulle et possède une dimension de Hausdorff pleine.

4. Vérification de la Conjecture de Minkowski

L'article inclut une vérification indépendante de la preuve de la conjecture de Minkowski concernant les réseaux critiques pour les boules $L^p$ (Annexe A), répondant à l'absence de code dans la preuve originale de Glazunov et al. [14].

Signification et Revendications

L'article affirme fournir la première classification complète et effective des nombres de Dirichlet améliorables pour les normes $L^p$ en termes de motifs de fractions continues. Cela comble le fossé entre la théorie classique de $L^\infty$ et la géométrie plus complexe des autres normes.

La signification réside dans :

Unification : Il unifie la compréhension de l'amélioration de Dirichlet à travers toute la famille des normes $L^p$ , révélant une transition de phase à $p_0 \approx 2,57$ .
Résolution Métrique : Il tranche la question de la "taille" des ensembles $DI_p \setminus BA$ et $DI_{p_1} \setminus DI_{p_2}$ , montrant qu'ils ne sont pas simplement non vides mais possèdent la dimension de Hausdorff maximale possible.
Applications Spécifiques : Il fournit une réponse définitive concernant les propriétés diophantiennes du nombre $e$ sous les normes $L^p$ , un exemple spécifique de la classification plus large.

Les auteurs soulignent que leurs résultats sont dérivés de la classification des réseaux critiques et de la théorie des fractions continues, évitant les arguments heuristiques. Le travail confirme que, bien que presque tous les nombres soient non-améliorables (Théorème C), l'ensemble des nombres améliorables est structurellement riche et varie considérablement selon le choix de la norme $p$ .