🔢 mathematics

On the graph of the dimension function of the Lagrange and Markov spectra

En utilisant des propriétés des ensembles de Cantor dynamiques et des méthodes numériques rigoureuses, les auteurs déterminent douze plateaux non triviaux de la fonction de dimension $d(t)$ associée aux spectres de Lagrange et de Markov, et prouvent que les dix plus grands d'entre eux correspondent à des longueurs supérieures à 0,005.

Auteurs originaux : Carlos Matheus, Carlos Gustavo Moreira, Polina Vytnova

Publié 2026-04-24

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Carlos Matheus, Carlos Gustavo Moreira, Polina Vytnova

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 êtes un explorateur cartographiant un territoire mystérieux et fractal appelé le spectre de Lagrange et de Markov. Ce n'est pas une île ordinaire, mais un paysage mathématique complexe où les nombres irrationnels (comme $\pi$ ou $\sqrt{2}$ ) se comportent de manière très particulière.

Ce papier de recherche, écrit par Carlos Matheus, Carlos Gustavo Moreira et Polina Vytnova, est comme un guide de voyage qui dessine la carte de la complexité de ce territoire.

Voici une explication simple, avec des images pour mieux comprendre :

1. Le Territoire et sa "Hauteur" (La Dimension)

Imaginez que ce spectre est une montagne. Mais ce n'est pas une montagne lisse. C'est une montagne faite de poussière infinie, de trous et de pics, un peu comme un chou-fleur géant ou une côte rocheuse vue de très près.

Les mathématiciens veulent mesurer à quel point cette montagne est "remplie" ou "dense". Pour cela, ils utilisent une mesure appelée dimension de Hausdorff.

Si la dimension est 0, c'est comme un point isolé (très vide).
Si la dimension est 1, c'est comme une ligne pleine (très dense).
Entre les deux, c'est un mélange étrange.

Les auteurs étudient une fonction, qu'ils appellent $d(t)$ . Imaginez que vous marchez le long de la base de la montagne (l'axe des nombres). À chaque point $t$ , vous regardez vers la gauche et vous demandez : "Quelle est la densité de la montagne jusqu'à ici ?". La réponse est la valeur de $d(t)$ .

2. Les "Plateaux" : Les Terrasses de la Montagne

Le plus fascinant, c'est que cette fonction $d(t)$ ne monte pas en douceur comme une pente. Elle avance par paliers, comme des terrasses sur une falaise.

Les Terrasses (Plateaux) : Sur certaines plages de nombres, la densité de la montagne reste exactement la même, même si vous avancez. C'est comme si vous marchiez sur une terrasse plate : vous avancez, mais la hauteur (la complexité) ne change pas.
Les Falaises : Entre ces terrasses, la densité change brusquement.

L'objectif de ce papier est de trouver les plus grandes terrasses de cette montagne. Les auteurs ont dit : "Regardez, il y a 12 terrasses principales qui sont vraiment larges. Si vous en cherchez d'autres, elles sont si petites (moins de 0,005 de largeur) qu'elles sont presque invisibles."

3. Comment ont-ils trouvé ces terrasses ? (L'Analogie du Puzzle Interdit)

Pour comprendre pourquoi ces terrasses existent, les auteurs utilisent une idée de "puzzle interdit".

Imaginez que vous construisez une tour avec des blocs de Lego, mais vous avez une règle stricte : vous ne pouvez jamais mettre deux blocs rouges l'un à côté de l'autre.

Si vous respectez cette règle, vous pouvez construire une tour infinie, mais elle sera moins dense qu'une tour sans règle.
Si vous ajoutez une autre règle (par exemple : "pas de trois blocs bleus ensemble"), la tour devient encore moins dense.

En mathématiques, ces règles sont appelées "sous-séquences interdites".

Les auteurs ont découvert que lorsque vous franchissez un certain seuil de nombres (un point $t$ ), une nouvelle règle d'interdiction apparaît naturellement.
Cette nouvelle règle "efface" une partie des possibilités de construction de la montagne.
Résultat : La densité (la dimension) chute ou se stabilise, créant une terrasse (plateau).

4. La Méthode : Des Loupes et des Calculatrices Géantes

Pour prouver l'existence de ces 12 grandes terrasses, les auteurs ont fait deux choses :

La Théorie (Le Dessin) : Ils ont utilisé des mathématiques pures pour identifier où ces règles d'interdiction apparaissent. Ils ont dit : "Ah, ici, le motif '121' devient interdit, donc on a une terrasse !" Ils ont trouvé 12 motifs clés qui créent les 12 plus grandes terrasses.
Le Calcul (La Preuve) : Pour être sûrs qu'il n'y a pas d'autres terrasses cachées entre celles-ci, ils ont utilisé des ordinateurs puissants. Ils ont simulé des millions de constructions de tours (des ensembles de Cantor) pour mesurer leur densité avec une précision extrême. C'est comme utiliser une loupe ultra-puissante pour vérifier qu'il n'y a pas de petites terrasses cachées dans les fissures.

5. Le Résultat Final

Le papier conclut avec une carte très précise (voir la Figure 1 dans le texte original).

Il montre que les 10 plus grandes terrasses (celles qui ont plus de 0,005 de largeur) sont exactement celles qu'ils ont identifiées.
Cela permet de dessiner le graphique de la fonction $d(t)$ avec une grande certitude : on voit des marches d'escalier bien définies, séparées par des pentes plus ou moins raides.

En résumé :
Ces chercheurs ont cartographié les "terrasses" d'un paysage mathématique fractal. Ils ont prouvé que la complexité de ce paysage change par à-coups, créant de grandes zones plates (les plateaux) qui correspondent à l'apparition de nouvelles règles d'interdiction dans la structure des nombres. C'est une victoire de la rigueur mathématique combinée à la puissance de calcul pour comprendre la forme cachée de l'infini.

1. Problématique et Contexte

Le papier étudie la structure fractale des spectres de Lagrange ( $L$ ) et de Markov ( $M$ ), deux ensembles fondamentaux en théorie des nombres diophantiens et en géométrie des formes quadratiques indéfinies.

Définitions : Le spectre de Lagrange $L$ est l'ensemble des constantes de Lagrange (liées à l'approximation diophantienne des irrationnels), et le spectre de Markov $M$ est l'ensemble des constantes de Markov (liées aux valeurs minimales des formes quadratiques). On sait que $L \subset M$ et que ces ensembles sont fermés.
Fonction de dimension : Les auteurs se concentrent sur la fonction $d(t) = \dim_H(L \cap (-\infty, t)) = \dim_H(M \cap (-\infty, t))$ , où $\dim_H$ désigne la dimension de Hausdorff. Cette fonction est continue, non décroissante, et constante sur les « lacunes » (gaps) du spectre de Markov.
Objectif : L'objectif principal est de tracer rigoureusement le graphe de $d(t)$ dans l'intervalle $[3, t_1]$ , où $t_1 \approx 3.334384$ est la plus petite valeur pour laquelle $d(t)=1$ . Plus précisément, les auteurs cherchent à identifier les « plateaux » (intervalles où $d(t)$ est constant) les plus larges et à quantifier la variation de la dimension entre ces plateaux.

2. Méthodologie

L'approche combine des arguments théoriques profonds sur la dynamique symbolique et des méthodes numériques rigoureuses.

A. Caractérisation Dynamique et Ensembles de Cantor

Les spectres sont caractérisés via les fractions continues et le décalage de Bernoulli sur les suites de $\{1, 2\}^\mathbb{Z}$ . La valeur de Markov d'une suite $\alpha$ est le supremum des valeurs $\lambda_k(\alpha)$ le long de son orbite.

Ensembles de Gauss-Cantor : La dimension de Hausdorff est calculée sur des ensembles de Cantor dynamiques définis par des suites évitant certaines sous-chaînes finies (subsequences interdites).
Lemme de réduction de dimension (Lemme 2.3) : Un outil clé est le fait que l'élimination d'un élément d'une partition de Markov d'un ensemble de Cantor dynamique diminue strictement sa dimension de Hausdorff. Cela permet de prouver que certains intervalles sont des plateaux : si l'on interdit une sous-chaîne spécifique, la dimension chute, créant une discontinuité dans la croissance de $d(t)$ jusqu'à ce qu'une nouvelle structure permette de « combler » le trou.

B. Identification des Plateaux

Les auteurs identifient 12 plateaux non triviaux ( $P_2$ à $P_{13}$ ) en analysant l'apparition de facteurs spécifiques dans les suites de coefficients de fractions continues (ex: $121$, $212$, $1212$, etc.).

Pour chaque plateau, ils déterminent les bornes exactes (souvent des nombres algébriques complexes impliquant des racines carrées) en trouvant la plus petite valeur de Markov correspondant à l'apparition d'un facteur interdit, et la plus grande valeur avant que ce facteur n'apparaisse.
Ils utilisent des lemmes techniques (Lemme 2.2) pour minimiser les valeurs de Markov sous contraintes de symétrie et de forbidden words.

C. Méthodes Numériques Rigoureuses

Pour les intervalles entre les plateaux, où la fonction $d(t)$ n'est pas constante, les auteurs utilisent une méthode itérative basée sur l'algorithme de Bumby (amélioré par Moreira et al.) :

Construction de mots interdits : Pour un seuil $s$ , ils construisent récursivement un ensemble fini de mots interdits $\beta$ tels que toute extension infinie contenant $\beta$ a une valeur de Markov supérieure à $s$ .
Bornes de dimension :
- Borne supérieure : La dimension de l'ensemble des suites évitant ces mots donne une borne supérieure pour $d(s)$ .
- Borne inférieure : En trouvant le maximum de Markov $s'$ des suites qui ne contiennent pas ces mots, ils obtiennent une borne inférieure pour $d(s')$ .
Algorithme : L'Algorithme 1 décrit une procédure récursive pour générer ces mots interdits jusqu'à une longueur maximale $n$ (ici $n=16$ ), permettant d'obtenir des encadrements très précis de la fonction.

3. Résultats Principaux

A. Classification des Plateaux

Le résultat central (Théorème 3.1) établit que les dix plus grands plateaux non triviaux de la fonction $d(t)$ sont exactement ceux dont la longueur est supérieure à 0,005.
Les auteurs listent ces plateaux ( $P_2$ à $P_{11}$ ) avec leurs bornes exactes et leurs longueurs. Par exemple :

$P_2$ (le plus grand) : $[3.129843..., 3.166578...]$ (Longueur $\approx 0.0367$ ).
$P_3$ : $[3.050816..., 3.083377...]$ (Longueur $\approx 0.0325$ ).
$P_4$ : $[3.091487..., 3.116129...]$ (Longueur $\approx 0.0246$ ).

Ils identifient également deux plateaux supplémentaires ( $P_{12}$ et $P_{13}$ ) de longueurs respectives $\approx 0.00418$ et $\approx 0.00403$ , qui sont inférieurs au seuil de 0,005 mais qui aident à affiner les calculs numériques.

B. Structure des Lacunes

L'étude révèle une structure complexe des lacunes du spectre de Markov à l'intérieur de ces plateaux :

Certains plateaux correspondent à l'union de plusieurs lacunes (ex: $P_2$ est la fermeture de l'union de la plus grande lacune $G_1$ et d'une autre lacune $J_1$ ).
D'autres sont des lacunes uniques (ex: $P_8$ ).
Les points de jonction entre les lacunes sont souvent des points isolés du spectre de Lagrange.

C. Approximation du Graphe

En utilisant les méthodes numériques, les auteurs produisent une approximation rigoureuse du graphe de $d(t)$ entre les plateaux. Les résultats montrent que la fonction croît de manière continue mais avec des variations de pente significatives, confirmant visuellement la structure en « escalier de Cantor » (fonction continue, constante presque partout, mais non constante globalement).

4. Signification et Impact

Rigueur Mathématique : Ce travail fournit la première preuve rigoureuse de l'existence et des dimensions exactes des plus grands plateaux de la fonction de dimension des spectres de Lagrange et de Markov.
Validation Numérique : Il démontre l'efficacité des méthodes numériques rigoureuses (avec contrôle d'erreurs) pour étudier des objets fractals complexes en théorie des nombres, là où les approches purement analytiques échouent souvent.
Compréhension Fractale : En cartographiant précisément les premiers plateaux, l'article éclaire la structure fine de la transition entre la dimension 0 et la dimension 1 dans les spectres, reliant la théorie des mots interdits, la dynamique symbolique et la géométrie des nombres.
Ressource : Le code source utilisé pour les calculs est rendu public, permettant la reproductibilité et l'extension de ces résultats par la communauté scientifique.

En résumé, ce papier établit une carte précise de la fonction de dimension des spectres classiques, prouvant que les plus grandes « marches » de cet escalier fractal correspondent à des seuils de longueur de lacunes spécifiques, et fournit les outils pour explorer la structure fine du reste du spectre.