🔢 mathematics

On the structure of the dimension spectrum for continued fraction expansions

Cet article analyse le spectre de dimension des développements en fractions continues avec des coefficients restreints à des sous-ensembles infinis de $\mathbb{N}$ , démontrant notamment que le spectre est complet pour les puissances $q^n$ mais présente des lacunes pour les ensembles incluant 1 ou générés par des monômes $n^q$ (avec $q \geq 6$ ), en utilisant des opérateurs de Perron-Frobenius et des outils numériques rigoureux.

Auteurs originaux : Painos Chitanga, Bas Lemmens, Roger Nussbaum

Publié 2026-03-23

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Painos Chitanga, Bas Lemmens, Roger Nussbaum

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

🌌 L'Univers des Fractions Continues : Une Carte au Trésor

Imaginez que vous avez une machine magique capable de transformer n'importe quel nombre en une suite infinie de nombres entiers. C'est ce qu'on appelle une fraction continue. Par exemple, le nombre $\pi$ peut s'écrire comme une suite de nombres qui s'ajoutent les uns aux autres de manière infinie : $3 + \frac{1}{7 + \frac{1}{15 + \dots}}$ .

Dans ce papier, les auteurs (Painos Chitanga, Bas Lemmens et Roger Nussbaum) ne s'intéressent pas à n'importe quel nombre. Ils se demandent : "Que se passe-t-il si nous interdisons certains chiffres dans cette suite ?"

Imaginons que vous avez un grand sac rempli de tous les nombres entiers (1, 2, 3, 4...).

Si vous laissez le sac ouvert (tous les nombres sont autorisés), vous pouvez créer une infinité de nombres différents.
Si vous retirez certains nombres du sac (par exemple, vous n'autorisez que les nombres pairs, ou seulement les carrés parfaits comme 1, 4, 9, 16...), la "richesse" des nombres que vous pouvez créer change.

📏 La "Taille" des Collections : La Dimension de Hausdorff

Pour mesurer à quel point ces collections de nombres sont "riches" ou "complexes", les mathématiciens utilisent une règle spéciale appelée dimension de Hausdorff.

Une ligne droite a une dimension de 1.
Un point a une dimension de 0.
Mais ces collections de fractions continues sont des objets fractals : ils sont plus gros qu'un point mais plus fins qu'une ligne. Leur dimension est souvent un nombre bizarre comme 0,53 ou 0,78.

Plus la dimension est élevée, plus la collection est "dense" et complexe.

🎨 Le Spectre de Dimension : La Palette de Couleurs

Le concept clé de ce papier est le spectre de dimension.
Imaginez que vous avez une boîte de crayons de couleur.

Si vous choisissez un sous-ensemble de nombres (par exemple, seulement les nombres pairs), vous obtenez une couleur spécifique (une dimension spécifique).
Le spectre, c'est l'ensemble de toutes les couleurs possibles que vous pouvez obtenir en changeant votre sélection de nombres.

La question centrale est : Peut-on obtenir n'importe quelle couleur entre le noir (0) et le blanc (1) ? Ou y a-t-il des trous dans la palette ?

🔍 Les Découvertes Majeures

Les auteurs ont testé plusieurs types de "règles" pour choisir leurs nombres, et voici ce qu'ils ont découvert :

1. La Règle des Puissances (Ex: 2, 4, 8, 16, 32...)

Ils ont étudié le cas où l'on ne garde que les puissances d'un nombre (comme $2^n$ ).

Résultat surprenant : Si vous prenez les puissances de 2, 3, 4, etc., vous pouvez obtenir toutes les dimensions possibles entre 0 et la limite maximale. C'est comme si votre boîte de crayons était complète, sans aucun trou.
La surprise : Si vous ajoutez le nombre "1" à cette liste (1, 2, 4, 8...), la magie opère différemment. Le spectre devient troué. Il y a des zones où aucune dimension n'est possible, comme si quelqu'un avait arraché des morceaux de votre feuille de papier. C'est ce qu'ils appellent des "gaps" (vides).

2. La Règle des Puissances de Nombres (Ex: $1^q, 2^q, 3^q...$ )

Ils ont aussi regardé les nombres élevés à une puissance fixe $q$ (les carrés, les cubes, etc.).

Pour les petites puissances (1 à 5) : Tout va bien, le spectre est complet.
Pour les grandes puissances (6 et plus) : Le spectre se brise en plusieurs morceaux distincts.
- Imaginez un gâteau. Pour les petites puissances, c'est un gâteau entier. Pour les grandes puissances, le gâteau est coupé en plusieurs parts séparées par des vides.
- Pour $q=6, 7, 8$ , il y a deux parts de gâteau.
- Pour $q=9, 10$ , il y a trois parts.
- Pour $q$ très grand, il y a beaucoup de petites parts, mais toujours un nombre fini.

🛠️ Comment ont-ils fait ? (Les Outils Magiques)

Pour prouver tout cela, ils n'ont pas simplement compté des nombres. Ils ont utilisé des outils mathématiques très puissants :

Les Opérateurs de Perron-Frobenius : Imaginez une machine qui prend une fonction (une courbe) et la transforme encore et encore. En regardant comment cette machine se comporte, on peut deviner la "taille" (la dimension) de l'objet mathématique. C'est un peu comme regarder comment la lumière se réfléchit dans un miroir déformant pour comprendre la forme du miroir.
Des Calculs Rigoureux : Ils ont utilisé des ordinateurs pour faire des calculs très précis, non pas pour donner une approximation, mais pour prouver mathématiquement que certaines dimensions sont impossibles (les trous) et d'autres sont certaines.

🏁 En Résumé

Ce papier répond à une question posée par d'autres mathématiciens : "Si on restreint les nombres autorisés dans les fractions continues, peut-on toujours obtenir n'importe quelle complexité ?"

Réponse : Parfois oui, parfois non.
Si vous choisissez les puissances pures ($2, 4, 8...$), c'est oui (tout est possible).
Si vous ajoutez le "1" ou si vous choisissez des puissances élevées ( $6^2, 7^2...$ ), la réponse est non : il y a des zones interdites, des "trous" dans l'univers des nombres possibles.

C'est une belle illustration de la façon dont de petites règles simples (comme "ne prendre que les carrés") peuvent créer des structures mathématiques d'une complexité fascinante, avec des zones de vide et de densité imprévisibles.

1. Problématique et Contexte

L'article étudie le spectre de dimension (dimension spectrum) des ensembles de fractions continues dont les coefficients sont restreints à des sous-ensembles infinis $A$ des entiers naturels $\mathbb{N}$ .

Soit $J_A$ l'ensemble des nombres réels dans $(0, 1)$ dont le développement en fraction continue $[a_1, a_2, \dots]$ possède tous ses coefficients $a_i$ dans un ensemble $A \subseteq \mathbb{N}$ . La dimension de Hausdorff de cet ensemble est notée $\dim_H(J_A)$ .

Le spectre de dimension de $A$ , noté $DS(A)$, est défini comme l'ensemble des dimensions de Hausdorff de tous les sous-ensembles possibles de $A$ :
$DS(A) = \{ \dim_H(J_B) : B \subseteq A \}$

Le problème central est de déterminer la structure topologique de $DS(A)$. Des travaux antérieurs (notamment la conjecture Texane prouvée par Kesseböhmer et Zhu) ont établi que pour $A = \mathbb{N}$ , le spectre est l'intervalle complet $[0, 1]$ . Cependant, la question de savoir si ce spectre reste un intervalle complet ou s'il présente des « trous » (gaps) pour des sous-ensembles naturels plus restreints (comme les puissances d'entiers ou les monômes) reste ouverte.

2. Méthodologie

Les auteurs emploient une approche combinant l'analyse spectrale des opérateurs de Perron-Frobenius (ou opérateurs de transfert) et des outils numériques rigoureux.

Opérateurs de Perron-Frobenius : Pour un ensemble fini $F \subset \mathbb{N}$ et un paramètre $s \ge 0$ , l'opérateur $L_{s,F}$ agit sur l'espace de Banach des fonctions continues $C([0, 1])$ par :
$(L_{s,F} f)(x) = \sum_{n \in F} \left( \frac{1}{n+x} \right)^{2s} f\left( \frac{1}{n+x} \right)$
La dimension de Hausdorff $\dim_H(J_F)$ correspond à la valeur unique $s$ pour laquelle le rayon spectral $r(L_{s,F}) = 1$ .
Vecteurs propres et estimations : L'analyse repose sur l'étude du vecteur propre strictement positif $v_{s,F}$ associé au rayon spectral. Les auteurs utilisent des inégalités de comparaison (basées sur le théorème de Krein-Rutman et des lemmes de comparaison de fonctions positives) pour estimer comment le rayon spectral évolue lorsqu'on ajoute ou retire des éléments à l'ensemble $F$ .
Points de rupture stricts (Strict Break Points) : Un concept clé introduit est celui de « point de rupture strict ». Si l'ajout d'un élément $a_k$ à un ensemble fini $F$ fait passer la dimension au-dessus d'une valeur $s$ , mais que l'ajout de tous les éléments suivants ne permet pas de revenir en dessous, cela crée une structure spécifique dans le spectre.
Outils numériques : Pour les cas spécifiques (notamment les petits entiers $q$ ), les auteurs utilisent des codes MATLAB développés par Falk et Nussbaum pour obtenir des bornes rigoureuses (supérieures et inférieures) sur les dimensions de Hausdorff de petits ensembles finis, permettant de valider des inégalités critiques.

3. Contributions et Résultats Principaux

Les auteurs analysent trois familles principales d'ensembles $A$ :

A. Les puissances d'entiers ( $P_q$ et $P_q^*$ )

Soit $P_q = \{q^n : n \in \mathbb{N}\}$ et $P_q^* = P_q \cup \{1\}$ .

Théorème 1.1 (Généralisation) : Ils prouvent un critère général garantissant que le spectre de dimension est complet (c'est-à-dire $DS(A) = [0, \dim_H(J_A)]$ ) si les éléments de $A$ croissent suffisamment vite (condition de sous-multiplicativité $a_n a_m \ge a_{n+m}$ ).
Résultat sur $P_q$ : En appliquant ce critère, ils démontrent que pour tout $q \ge 2$ , l'ensemble $P_q$ a un spectre de dimension complet. Cela répond positivement à une question ouverte posée par Chousionis, Leykekhman et Urbański.
Résultat sur $P_q^*$ : À l'inverse, l'ajout de l'élément 1 à $P_q$ change radicalement la structure. Pour $q \ge 3$ , le spectre $DS(P_q^*)$ présente de nombreuses lacunes (gaps). Plus précisément, ils identifient des intervalles $(\mu_k, \nu_k)$ où le spectre est vide et des régions où il est nulle part dense. Cependant, ils montrent que le spectre contient toujours un intervalle initial non trivial $[0, \frac{\ln 2}{2 \ln q}]$ .

B. Les ensembles générés par des monômes ( $M_q$ )

Soit $M_q = \{n^q : n \in \mathbb{N}\}$ .

Cas $q \in \{1, 2, 3, 4, 5\}$ : Le spectre de dimension est complet : $DS(M_q) = [0, \dim_H(J_{M_q})]$ .
Cas $q \ge 6$ : Le spectre n'est plus complet. Il existe un « trou » entre la dimension de $M_q \setminus \{2^q\}$ $M_{q} ∖ {2^{q}}$ et celle de $\{1, 2^q\}$ ${1, 2^{q}}$ .
- Pour $q \in \{6, 7, 8\}$ , le spectre est la réunion disjointe de deux intervalles fermés non triviaux.
- Pour $q \in \{9, 10\}$ , le spectre est la réunion disjointe de trois intervalles.
- Pour $q \ge 11$ , le spectre est la réunion disjointe d'un nombre fini d'intervalles fermés non triviaux.
Critère général (Théorème 8.3) : Ils établissent un critère basé sur l'existence d'une « valeur de point de rupture critique » ( $k^*$ ) qui garantit que le spectre de dimension est une union finie d'intervalles disjoints. Ils prouvent que $M_q$ possède une telle valeur pour $q \ge 11$ (avec $k^* = 2^q$ ).

4. Signification et Implications

Réponse à des conjectures ouvertes : Le papier résout la question de la complétude du spectre pour les puissances d'entiers $P_q$ ( $q \ge 2$ ), confirmant qu'elles se comportent comme $\mathbb{N}$ , contrairement à $P_q^*$ .
Structure fine des spectres fractals : L'article démontre que la structure du spectre de dimension est extrêmement sensible à la présence d'éléments « petits » (comme 1) ou à la densité de l'ensemble. La transition d'un spectre complet à un spectre fragmenté (union d'intervalles) se produit de manière prévisible selon la croissance de l'ensemble.
Systèmes itérés de fonctions conformes (CIFS) : Les résultats sur $M_q$ fournissent des exemples concrets de systèmes itérés de fonctions conformes dont le spectre de dimension possède un nombre fini de composantes connexes. Cela répond partiellement à une question soulevée dans la littérature (conjecture 1.3 de [4]) sur l'existence de tels systèmes avec un nombre prescrit de composantes.
Méthodologie robuste : L'utilisation combinée de l'analyse spectrale théorique (opérateurs de Perron-Frobenius) et de l'estimation numérique rigoureuse offre un modèle puissant pour l'étude des dimensions de Hausdorff dans des contextes où les méthodes analytiques pures sont insuffisantes.

Conclusion

Ce travail établit une cartographie détaillée de la structure des spectres de dimension pour des ensembles naturels de coefficients de fractions continues. Il met en lumière une dichotomie fascinante : alors que certains ensembles (comme les puissances pures) maintiennent un spectre continu, l'ajout d'un seul élément ou le changement de la loi de croissance (monômes) peut fragmenter ce spectre en un nombre fini d'intervalles, révélant une richesse structurelle inattendue dans la théorie des systèmes dynamiques et de la théorie des nombres.