🔢 mathematics

The Dirichlet spectrum with respect to $L_1$ norm is $\left[\frac12,1\right]$

Cet article prouve que le spectre de Dirichlet unidimensionnel par rapport à la norme $L_1$ est l'intervalle $[\frac{1}{2}, 1]$ , ce qui est équivalent au fait que le spectre de Minkowski soit $[\frac{1}{4}, \frac{1}{2}]$ , et établit en outre que la dimension de Hausdorff des ensembles de niveau de la constante de Minkowski est strictement supérieure à $\frac{1}{2}$ pour les valeurs dans $(\frac{1}{4}, \frac{1}{2}]$ tout en étant égale à $\frac{1}{2}$ à la frontière.

Auteurs originaux : Nikita Shulga

Publié 2026-06-09

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : 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 essayez de deviner un nombre secret (un nombre irrationnel comme $\pi$ ou $\sqrt{2}$ ) en utilisant des fractions simples (comme $22/7$ ou $355/113$ ). Les mathématiciens sont fascinés depuis longtemps par la manière dont on peut "bien" deviner ces nombres.

Ce document traite d'un jeu de devinettes spécifique, mais avec une variante dans les règles.

Le Jeu : Deviner avec une Nouvelle Règle

Habituellement, quand les mathématiciens mesurent à quel point une estimation est proche, ils utilisent une "règle" standard (la distance euclidienne, comme mesurer la ligne droite entre deux points). Ce document change de règle. Au lieu d'une ligne droite, on utilise une règle L1, qui revient à mesurer une distance en ne marchant que selon les blocs de la ville (la distance de Manhattan). On ne peut pas couper en diagonale ; il faut aller de haut en bas et de gauche à droite.

La question que l'auteur pose est la suivante : Quels sont les meilleurs "scores" possibles que l'on peut obtenir dans ce jeu de devinettes en mode "blocs de la ville" ?

En termes mathématiques, cet ensemble de tous les meilleurs scores possibles est appelé le Spectre de Dirichlet.

La Grande Découverte : Un Intervalle Parfait

Pendant longtemps, les mathématiciens savaient que le spectre existait, mais ils ne savaient pas exactement quelle forme il prenait. Était-ce une collection de points éparpillés ? Une ligne étrange et brisée ?

Le résultat principal de ce document est simple et beau :
L'ensemble de tous les meilleurs scores possibles pour ce jeu spécifique de "blocs de la ville" est un intervalle parfait et ininterrompu allant de 0,5 à 1.

Voyez cela comme un bouton de volume. Si vous tournez le bouton, vous pouvez obtenir n'importe quel niveau de volume entre 0,5 et 1. Vous ne pouvez pas obtenir 0,4, et vous ne pouvez pas obtenir 1,1, mais vous pouvez obtenir 0,5001, 0,9999, ou n'importe quoi entre les deux. C'est la première fois qu'une version unidimensionnelle de ce problème est entièrement résolue avec une réponse aussi nette.

Le Code Secret : La Connexion "Minkowski"

Pour résoudre cela, l'auteur n'a pas seulement regardé le jeu de devinettes directement. Il a réalisé que le jeu est secrètement lié à un code spécial appelé la Fraction Continue Diagonale de Minkowski.

Imaginez un nombre écrit sous la forme d'une longue chaîne de chiffres (une fraction continue). La plupart des nombres ont des chiffres qui semblent aléatoires. Mais ce code spécial filtre les chiffres, ne gardant que ceux qui suivent une règle très spécifique (liée à la distance de "blocs de la ville").

L'auteur a prouvé que le "meilleur score" du jeu de devinettes est directement lié au comportement de ce code spécial. Plus précisément :

Le "Spectre de Minkowski" (les scores de ce code spécial) est l'intervalle 0,25 à 0,5.
Le "Spectre de Dirichlet" (le jeu de devinettes original) est exactement le double de celui-ci : 0,5 à 1.

C'est comme découvrir que deux langues différentes racontent en fait la même histoire, juste avec des réglages de volume différents.

Les "Ensembles de Niveau" : Combien de Nombres Ont un Score Spécifique ?

Le document pose également une question plus profonde : Si je veux un nombre qui obtient un score spécifique (disons, exactement 0,6), combien de tels nombres existe-t-il ?

En mathématiques, nous mesurons "combien" en utilisant ce qu'on appelle la dimension de Hausdorff.

Un point unique a une dimension de 0.
Une ligne a une dimension de 1.
Une surface a une dimension de 2.

L'auteur a découvert que pour presque tout score entre 0,25 et 0,5 (dans le monde de Minkowski), l'ensemble des nombres qui atteignent ce score est étonnamment "grand".

Il a prouvé que la "taille" (la dimension) de ces groupes de nombres est strictement supérieure à 0,5.
Cela signifie que ces groupes sont plus "épais" qu'une simple ligne, même s'ils sont toujours plus "fins" qu'une surface 2D complète.

Cependant, il existe un cas spécial tout en bas de l'échelle (le score 0,25). Ici, l'auteur a prouvé que la taille est exactement 0,5. C'est une frontière nette où l'épaisseur du groupe change.

Le Tour de Magie : Construire les Nombres

Comment l'auteur a-t-il prouvé que ces nombres existent ? Ils ont utilisé une méthode de construction ingénieuse, comme construire une tour avec des blocs.

Ils ont pris un score cible qu'ils voulaient atteindre.
Ils ont utilisé un algorithme spécial pour décomposer un nombre en deux parties.
Ils ont construit une immense chaîne infinète de chiffres en alternant entre ces deux parties, séparées par de gigantesques "séparateurs" (de très grands nombres).
Ce motif spécifique force le "score" du nombre à se stabiliser exactement sur la valeur cible.

Résumé

En langage clair, ce document dit :

Si vous jouez à un jeu spécifique de devinettes de nombres en utilisant la distance de "blocs de la ville", vos meilleurs scores possibles remplissent une plage parfaite et ininterrompue de 0,5 à 1.
Cette plage est la plus grande plage possible autorisée par les lois des mathématiques pour ce type de jeu.
Pour presque chaque score dans cette plage, il existe une collection étonnamment grande (bien que non infinie) de nombres qui atteignent ce score exactement.
L'auteur a découvert comment construire ces nombres en utilisant un motif de chiffres spécifique.

C'est un résultat fondamental en théorie des nombres, cartographiant le paysage de la manière dont nous pouvons approximer les nombres selon ces règles spécifiques.

Résumé Technique : Le spectre de Dirichlet par rapport à la norme $L^1$

Énoncé du Problème
L'article étudie le spectre de Dirichlet $D[F]$ associé à une norme $F$ sur $\mathbb{R}^2$ . Pour un nombre irrationnel $\alpha$ , la constante de Dirichlet $d_F(\alpha)$ est définie via le premier minimum successif du réseau $\Lambda_\alpha(t) = \text{diag}(t^{-1}, t) \begin{pmatrix} 1 & 0 \\ -\alpha & 1 \end{pmatrix} \mathbb{Z}^2$ par rapport à la boule unité de $F$ . La constante de Dirichlet normalisée est donnée par $\delta_F(\alpha) = \Delta_F \cdot (d_F(\alpha))^2$ , où $\Delta_F$ est le déterminant critique de la boule unité. Le spectre de Dirichlet est l'ensemble de toutes ces valeurs $\delta_F(\alpha)$ pour $\alpha \in \mathbb{R} \setminus \mathbb{Q}$ .

Bien que la structure du spectre de Dirichlet classique (associé à la norme sup, $L^\infty$ ) soit connue pour être complexe, contenant à la fois des points discrets et un « rayon de Hall » continu, la structure pour d'autres normes reste moins bien comprise. Cet article se concentre spécement sur la norme $L^1$ , définie par $F^{[1]}(x, y) = |x| + |y|$ . Le problème central est de déterminer l'ensemble exact $D[1] = \{ \delta_{F^{[1]}}(\alpha) : \alpha \in \mathbb{R} \setminus \mathbb{Q} \}$ .

Méthodologie
L'auteur emploie une stratégie en plusieurs étapes reliant l'approximation diophantienne, les fractions continues et la géométrie fractale :

Lien avec le spectre de Minkowski : L'article établit un lien direct entre le spectre de Dirichlet $L^1$ et le spectre de Minkowski $M$ , associé à la fraction continue diagonale (DCF) de Minkowski. Il est démontré que $\delta_{F^{[1]}}(\alpha) = 2m(\alpha)$ , où $m(\alpha)$ est la constante de Minkowski définie via la limsup de $t \mu_\alpha(t)$ , avec $\mu_\alpha(t)$ étant l'interpolation linéaire de l'enveloppe convexe inférieure de l'ensemble $\{(q, \|q\alpha\|)\}$ . Par conséquent, $D[1] = 2M$ . Le problème est ainsi réduit à la caractérisation du spectre de Minkowski $M$ .
Représentation fonctionnelle : En utilisant les résultats de Moshchevitin, $m(\alpha)$ est exprimée comme la limsup de valeurs dérivées de deux fonctions, $G(x,y)$ et $F(x,y)$ , qui dépendent des queues de la fraction continue régulière de $\alpha$ . La fonction $F$ correspond aux convergents consécutifs satisfaisant l'inégalité de Legendre, tandis que $G$ correspond aux convergents « sautés ». Pour faciliter l'analyse, l'auteur introduit un changement de variables transformant $F$ en une fonction $K(u,v)$ , définie sur les nombres réels positifs, ce qui simplifie l'estimation des bornes.
Algorithme de décomposition de somme : Un outil crucial est un algorithme récemment découvert (provenant de [27] et [4]) qui décompose tout irrationnel $s \in (0,1)$ en une somme de deux fractions continues, $s = \beta + \gamma$ , où les quotients partiels de $\beta$ et $\gamma$ tendent vers l'infini. Cette décomposition permet la construction explicite de nombres possédant des propriétés spécifiques.
Construction explicite de $\alpha$ : Pour prouver qu'une valeur spécifique $m \in (1/4, 1/2)$ appartient au spectre, l'auteur construit un nombre irrationnel $\alpha$ en concaténant des blocs dérivés de la décomposition de la cible $s = 4m-1$ . La construction implique :
- La création de blocs $W_N = (b_N, \dots, b_1, 1, c_1, \dots, c_N)$ basés sur les quotients partiels de $\beta$ et $\gamma$ .
- L'insertion de ces blocs avec de grands quotients partiels « séparateurs » $d_j$ pour isoler le comportement du chiffre central '1'.
- L'analyse de la fraction continue résultante pour montrer que la limsup de la constante de Minkowski est exactement déterminée par les termes « sautés » centraux (associés au chiffre 1), tandis que toutes les autres coupes produisent des valeurs strictement plus petites.
Analyse de la dimension de Hausdorff : Pour les ensembles de niveau $\Theta_m = \{ \alpha : m(\alpha) = m \}$ , l'auteur utilise les blocs construits pour incorporer des ensembles de nombres à quotients partiels restreints. En appliquant des arguments de distorsion et les propriétés des cylindres de fractions continues, l'auteur estime la dimension de Hausdorff de ces ensembles.

Résultats Clés

Théorème 1.1 (Résultat Principal) : Le spectre de Dirichlet pour la norme $L^1$ est l'intervalle fermé :
$D[1] = \left[ \frac{1}{2}, 1 \right].$
Équivalemment, le spectre de Minkowski est $M = [1/4, 1/2]$ . Ce résultat confirme que pour la norme $L^1$ , le spectre occupe toute la plage théoriquement possible pour les normes symétriques (puisque $1/2 \le \delta_F(\alpha) \le 1$ de manière générale).
Théorème 1.3 (Dimension des ensembles de niveau) : Pour tout $m \in (1/4, 1/2)$ , l'ensemble de niveau $\Theta_m$ possède une dimension de Hausdorff strictement supérieure à $1/2$ . Plus précisément, si $s = 4m-1$ et $A$ est suffisamment grand, $\dim_H \Theta_m \ge \delta_A$ , où $\delta_A$ est la dimension de l'ensemble des nombres dont les quotients partiels sont $\ge A$ .
Théorème 7.3 : Pour tout $m \in (1/4, 1/2)$ , $\dim_H \Theta_m < 1$ . Cela distingue ces ensembles de niveau du cas générique ( $m=1/2$ ), qui possède une mesure de Lebesgue pleine.
Théorème 7.6 : La dimension de l'ensemble de niveau de l'extrémité est exactement $\dim_H \Theta_{1/4} = 1/2$ .
Corollaire 7.7 : La limite des dimensions lorsque $m$ approche $1/4$ par le haut est $1/2$ .

Signification et Revendications
L'article affirme fournir la première description complète d'un spectre diophantien unidimensionnel. Bien que les spectres de Dirichlet multidimensionnels aient récemment été démontrés comme étant des intervalles, le cas unidimensionnel est typiquement plus complexe. En prouvant que $D[1]$ est un intervalle fermé, ce travail résout la structure pour la norme $L^1$ .

De plus, l'article démontre que les ensembles de niveau de la constante de Minkowski sont « grands » au sens fractal (dimension $> 1/2$ ) pour tous les points intérieurs du spectre, tandis que les extrémités possèdent des propriétés dimensionnelles distinctes. La méthodologie repose sur la construction explicite de nombres via la concaténation de fractions continues, jetant un pont entre les propriétés algébriques de la constante de Minkowski et les propriétés géométriques des ensembles associés.

L'auteur note que le résultat repose sur les propriétés spécifiques de la norme $L^1$ et de la fraction continue diagonale de Minkowski, et ne prétend pas généraliser ces résultats structurels à des normes arbitraires sans investigation supplémentaire. Le travail est présenté comme une solution à un problème posé par Moshchevitin concernant le spectre de Minkowski.