On the maximal run-length function in the Lüroth expansion

Cet article établit la dimension de Hausdorff de l'ensemble des nombres dont la longueur maximale des suites consécutives dans leur expansion de Lüroth présente une croissance linéaire, caractérisée par des limites inférieure et supérieure données.

L'essentiel

🚂 Le Voyage Infini dans le Train de Lüroth

Imaginez que chaque nombre entre 0 et 1 est un voyageur qui monte dans un train spécial appelé le Train de Lüroth. Ce train ne s'arrête jamais ; il continue indéfiniment.

Pour décrire le trajet d'un voyageur, on utilise une série de billets (des chiffres entiers comme 2, 3, 4, etc.).

• Le premier billet dit : "On s'arrête à la gare 2".
• Le deuxième billet dit : "Ensuite, on va à la gare 3".
• Et ainsi de suite, à l'infini.

C'est ce qu'on appelle l'expansion de Lüroth. Chaque nombre a sa propre séquence unique de gares.

🔍 Le Jeu des "Billets Identiques" (La Longueur de la File)

Dans cet article, les chercheurs s'intéressent à un jeu amusant : repérer les files d'attente identiques.

Imaginez que vous regardez les billets du voyageur un par un. Parfois, vous voyez une longue suite de billets identiques.

• Exemple : "Gare 5, Gare 5, Gare 5, Gare 5". C'est une file de 4 billets identiques.
• Exemple : "Gare 2, Gare 2, Gare 2, Gare 2, Gare 2, Gare 2". C'est une file de 6.

La question centrale de l'article est : Quelle est la plus longue file de billets identiques que l'on peut trouver après avoir lu les $n$ premiers billets ?
On appelle cela la longueur maximale de la file ($\ell_n(x)$).

📈 La Grande Découverte : Croissance Lente vs Croissance Rapide

Les chercheurs savent déjà une chose importante : pour la grande majorité des voyageurs (presque tous), ces files d'attente identiques grandissent très lentement. C'est comme une plante qui pousse doucement : si vous lisez 1000 billets, la plus longue file sera d'environ 10 billets. Si vous lisez 1 million, elle sera d'environ 20. C'est une croissance "logarithmique".

Mais l'article s'intéresse aux exceptions.
Il y a des voyageurs "bizarres" (des nombres spéciaux) dont les files d'attente identiques grandissent très vite, presque aussi vite que le nombre total de billets lu.

• Si vous lisez 1000 billets, la file la plus longue pourrait faire 500 billets !
• Si vous lisez 1 million, la file pourrait faire 500 000 billets.

C'est ce qu'on appelle une croissance linéaire.

🧩 La Question du "Dimension" (La Taille de la Collection)

Le problème est le suivant : ces voyageurs "bizarres" sont-ils nombreux ou rares ?
En mathématiques, pour mesurer la "taille" d'un ensemble infini de nombres, on utilise une règle appelée la dimension de Hausdorff.

• Si la dimension est 1, l'ensemble est "gros" (comme une ligne continue).
• Si la dimension est 0, l'ensemble est "tout petit" (comme un point isolé ou une poussière infiniment fine).

Les auteurs de l'article se demandent : Si je prends tous les voyageurs dont la file la plus longue grandit à une vitesse précise (disons, 30% de la vitesse totale), quelle est la "taille" de ce groupe ?

Ils définissent deux vitesses :

1. $\alpha$ (Alpha) : La vitesse minimale de croissance de la file (le plancher).
2. $\beta$ (Bêta) : La vitesse maximale de croissance de la file (le plafond).

Ils veulent savoir la taille de la collection de voyageurs qui oscillent entre ces deux vitesses.

🔮 Le Résultat Magique (La Formule)

Après des calculs complexes, les auteurs trouvent une formule précise pour répondre à cette question. Voici ce qu'ils découvrent, traduit en langage simple :

1. Si la vitesse maximale ($\beta$) est de 0 : C'est le cas normal. Tout le monde est là. La taille est 1 (c'est énorme).

2. Si la vitesse maximale ($\beta$) est de 1 : C'est le cas extrême où la file est presque aussi longue que tout le trajet. La taille de ce groupe est 0. C'est une poussière infiniment fine.

3. Le cas intermédiaire (le plus intéressant) :
   Si vous choisissez une vitesse minimale $\alpha$ et une vitesse maximale $\beta$ (avec $\beta$ entre 0 et 1), la taille de ce groupe dépend d'une équation magique.

   L'article dit que si la vitesse minimale $\alpha$ est trop élevée par rapport à la vitesse maximale $\beta$ (plus précisément, si $\alpha > \frac{\beta}{1+\beta}$), alors ce groupe est vide (taille 0). C'est comme essayer de construire une maison où le toit est plus bas que le sol : c'est impossible !

   Mais si $\alpha$ est assez bas, alors le groupe existe et a une taille précise, donnée par une fonction spéciale $s(u)$ qui dépend de la relation entre $\alpha$ et $\beta$.

🎨 L'Analogie Finale : Le Jardin des Possibilités

Imaginez un immense jardin (l'ensemble de tous les nombres).

• La plupart des plantes (nombres) ont des feuilles qui poussent lentement.
• Les chercheurs creusent le sol pour trouver des plantes "mutantes" qui poussent très vite.
• Ils disent : "Si je ne veux que les plantes dont la vitesse de croissance oscille entre 20% et 60% de la vitesse maximale, combien de plantes y a-t-il ?"

La réponse de l'article est : "Cela dépend de la relation entre 20% et 60%. Si 20% est trop proche de 60% par rapport à une certaine règle mathématique, il n'y a aucune plante. Sinon, il y en a une quantité précise, mesurée par cette dimension fractale."

En Résumé

Cet article est une carte au trésor mathématique. Il nous dit exactement où se cachent les nombres les plus "bizarres" dans le Train de Lüroth et combien il y en a, en fonction de la vitesse à laquelle leurs motifs répétitifs s'allongent. C'est une étude de la beauté cachée dans le chaos des nombres infinis.

Résumé technique

Voici un résumé technique détaillé de l'article « On the maximal run-length function in the Lüroth expansion » de Dingding Yu, rédigé en français.

1. Problématique et Contexte

L'article se concentre sur l'analyse métrique et multifractale de l'expansion de Lüroth, une représentation des nombres réels dans l'intervalle $(0, 1]$ analogue à l'expansion décimale ou continue, mais basée sur une transformation spécifique $T$.

Le problème central est l'étude du comportement asymptotique de la fonction de longueur de course maximale, notée $\ell_n(x)$. Pour un nombre $x \in (0, 1]$, $\ell_n(x)$ représente la longueur du plus long bloc de chiffres identiques consécutifs parmi les $n$ premiers chiffres de son expansion de Lüroth.

Il est connu (théorème de Sun et Xu) que pour presque tout $x$, $\ell_n(x)$ croît logarithmiquement, c'est-à-dire $\lim_{n \to \infty} \ell_n(x) / \log_2 n = 1$. Cependant, l'article s'intéresse aux ensembles exceptionnels où cette croissance est linéaire par rapport à $n$. Plus précisément, l'auteur étudie la dimension de Hausdorff de l'ensemble $E(\alpha, \beta)$ défini par les limites inférieure et supérieure du rapport $\ell_n(x)/n$ :
$$E(\alpha, \beta) = \left\{ x \in (0, 1] : \liminf_{n \to \infty} \frac{\ell_n(x)}{n} = \alpha, \quad \limsup_{n \to \infty} \frac{\ell_n(x)}{n} = \beta \right\}$$
où $0 \le \alpha \le \beta \le 1$.

2. Méthodologie

La démonstration repose sur une approche combinatoire et géométrique classique en théorie ergodique et en dimension de Hausdorff, structurée en deux parties : majoration (borne supérieure) et minoration (borne inférieure).

A. Outils Préliminaires

• Cylindres de Lüroth : Utilisation des intervalles $I_n(d_1, \dots, d_n)$ définis par les premiers chiffres de l'expansion. La longueur de ces intervalles est donnée par une formule explicite impliquant le produit des chiffres.
• Indépendance : Les chiffres de l'expansion de Lüroth sont indépendants et identiquement distribués (i.i.d.) par rapport à la mesure de Lebesgue.
• Principe de distribution de masse (Lemma 2.6) : Pour la borne inférieure, construction d'une mesure de probabilité sur un sous-ensemble de l'ensemble cible pour estimer sa dimension.
• Fonctions Hölder (Lemma 2.5) : Pour la borne inférieure, utilisation de la continuité Hölder d'une application de projection pour relier la dimension de l'ensemble original à celle d'un ensemble simplifié.

B. Stratégie de la Borne Supérieure (Section 3)

L'auteur analyse le cas par cas selon les valeurs de $\alpha$ et $\beta$ :

1. Cas $\beta = 0$ : L'ensemble est de mesure pleine (dimension 1) car la croissance logarithmique est la norme.
2. Cas $\beta = 1$ : L'ensemble est dénombrable (dimension 0) sauf si $\alpha=0$, mais l'analyse montre que la dimension tend vers 0 lorsque $\beta \to 1$.
3. Cas $0 < \beta < 1$ : C'est le cas le plus complexe.
   • L'auteur décompose l'ensemble en séquences de blocs de chiffres identiques (longueur $m_k$) et de blocs de chiffres "libres" (longueur $n_k$).
   • Une contrainte cruciale est établie : si $\alpha > \frac{\beta}{1+\beta}$, l'ensemble est dénombrable (dimension 0).
   • Pour les cas où $\alpha \le \frac{\beta}{1+\beta}$, l'auteur construit un recouvrement de l'ensemble $E(\alpha, \beta)$ à l'aide de cylindres spécifiques.
   • Le calcul de la mesure de Hausdorff $s$-dimensionnelle utilise une estimation géométrique des longueurs des cylindres et une somme sur les séquences possibles, aboutissant à une condition de convergence qui définit la dimension.

C. Stratégie de la Borne Inférieure (Section 4)

Pour prouver que la dimension est au moins égale à la valeur trouvée pour la borne supérieure :

1. Construction d'un sous-ensemble : L'auteur définit un ensemble $G(M)$ (où les chiffres sont bornés par $M$) en imposant des contraintes rigides sur la position et la longueur des blocs de chiffres identiques, calibrées pour atteindre exactement les limites $\alpha$ et $\beta$.
2. Projection et Continuité : Une application $f$ est définie pour éliminer certains chiffres (ceux qui ne sont pas dans les blocs de répétition ou les positions de transition). Il est démontré que $f$ est Hölder-continue avec un exposant proche de 1, ce qui préserve la dimension de Hausdorff.
3. Mesure de Cantor : Une mesure de probabilité $\mu$ est construite sur l'image projetée $f(G(M))$ en utilisant une formule de type Moran, ajustée dynamiquement selon les ratios de longueurs des blocs.
4. Estimation des gaps : La preuve vérifie que les intervalles fondamentaux sont suffisamment espacés (condition de séparation) pour appliquer le principe de distribution de masse et conclure sur la dimension.

3. Résultats Principaux

Le théorème principal (Théorème 1.2) établit la dimension de Hausdorff $\dim_H E(\alpha, \beta)$ pour tous $0 \le \alpha \le \beta \le 1$.

Soit $s(u)$ la solution unique de l'équation :
$$\sum_{t=2}^{\infty} \left( \frac{1}{2^u t(t-1)} \right)^s = 1$$

Les résultats sont les suivants :

1. Si $\beta = 0$ (implique $\alpha=0$) : $\dim_H E(0, 0) = 1$.
2. Si $\beta = 1$ : $\dim_H E(\alpha, 1) = 0$.
3. **Si $0 < \beta < 1$et$\alpha > \frac{\beta}{1+\beta}$** :$\dim_H E(\alpha, \beta) = 0$. (L'ensemble est dénombrable).
4. Si $0 \le \alpha < \frac{\beta}{1+\beta} < \beta < 1$ :
   $$\dim_H E(\alpha, \beta) = s\left( \frac{\beta^2(1-\alpha)}{(1-\beta)[\beta - \alpha(1+\beta)]} \right)$$

4. Contributions Clés

• Extension des résultats existants : L'article généralise les travaux antérieurs de Sun, Xu et Zhou qui traitaient de la croissance logarithmique ou de la croissance par rapport à des fonctions $\phi(n)$ sous-linéaires. Ici, l'analyse porte sur la croissance linéaire ($\ell_n(x) \sim n$), un régime beaucoup plus restrictif et rare.
• Détermination précise de la dimension : L'article fournit une formule explicite et non triviale pour la dimension de Hausdorff de l'ensemble des points ayant des limites inférieure et supérieure spécifiques pour la longueur de course normalisée.
• Identification d'une phase critique : La découverte que la dimension s'annule dès que $\alpha$ dépasse le seuil critique $\frac{\beta}{1+\beta}$ est un résultat structurel important, révélant une contrainte géométrique fondamentale dans la structure des expansions de Lüroth.
• Technique de construction : La méthode de construction d'un ensemble de Cantor avec des contraintes de blocs alternés (longueur $m_k$ vs $n_k$) et l'ajustement fin de la mesure de probabilité pour correspondre aux limites $\alpha$ et $\beta$ constituent une avancée méthodologique.

5. Signification et Impact

Ce travail enrichit significativement la théorie multifractale des systèmes dynamiques numériques, en particulier pour les expansions non-standards comme celle de Lüroth.

• Il comble un vide dans la littérature concernant les comportements "extrêmes" (croissance linéaire) des fonctions de course.
• Les résultats montrent que, contrairement aux expansions continues (fractions continues) ou dyadiques où les comportements peuvent être plus flexibles, l'expansion de Lüroth impose des contraintes sévères sur la possibilité d'avoir de longs blocs de répétitions sans compromettre la structure globale du nombre.
• La méthode développée (combinaison de recouvrements optimaux et de constructions de mesures sur des ensembles de Cantor dynamiques) peut être adaptée à d'autres systèmes d'expansion ou à d'autres fonctions statistiques sur les chiffres.

En résumé, cet article fournit une caractérisation complète et rigoureuse de la complexité fractale des nombres dont l'expansion de Lüroth présente des séquences de répétitions de chiffres de taille linéaire.