Decomposition of real numbers into sums of Lüroth sets

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie des nombres et de la géométrie fractale, en étudiant la décomposition des nombres réels en sommes d'éléments appartenant à des ensembles spécifiques définis par des contraintes sur leurs représentations numériques.

• Contexte historique : Le travail fait écho à des résultats classiques sur les fractions continues et les ensembles de Cantor. Par exemple, il est connu que la somme de deux copies de l'ensemble de Cantor ternaire $C_{1/3}$ (nombres dont le développement ternaire ne contient que les chiffres 0 et 2) recouvre l'intervalle $[0, 2]$, ce qui implique que tout nombre réel peut s'écrire comme la somme d'un entier et de deux éléments de cet ensemble. De même, des résultats de Hall, Hlavka et Astels ont établi des conditions sous lesquelles la somme d'ensembles de fractions continues à quotients partiels bornés recouvre $\mathbb{R}$ modulo 1.
• Objectif de l'article : Les auteurs, Maiken Gravgaard et Ying Wai Lee, transposent ces problèmes du cadre des fractions continues à celui des développements de Lüroth. Les ensembles de Lüroth sont définis par des contraintes sur les chiffres de la série de Lüroth d'un nombre. L'objectif est de déterminer sous quelles conditions la somme de tels ensembles (ou de leurs multiples) recouvre l'ensemble des nombres réels modulo 1, et d'analyser la dimension de Hausdorff de ces sommes.

2. Méthodologie

Les auteurs utilisent une approche combinant la théorie des systèmes dynamiques, la géométrie fractale et l'analyse des ensembles de Cantor généraux.

• Définition des Ensembles de Lüroth : Pour un sous-ensemble $A \subset \mathbb{N} \setminus \{1\}$, l'ensemble $L_A$ contient les nombres dont les chiffres de Lüroth appartiennent à $A$. Les auteurs se concentrent sur les ensembles à chiffres bornés supérieurement ($L_{\le k}$) et inférieurement ($L_{\ge k}$).
• Construction de Cantor Généralisée (SCC) : Une partie centrale de la méthodologie est la construction explicite des ensembles de Lüroth comme des ensembles de Cantor généraux via une « Construction Complète Étape par Étape » (Stepwise Complete Construction - SCC). Cette construction permet de définir rigoureusement les intervalles restants et les lacunes (gaps) à chaque niveau d'itération.
• Outils d'Analyse de Sommes : Pour prouver que la somme de deux ensembles de Cantor recouvre un intervalle, les auteurs utilisent des critères avancés développés par Hall, Hlavka et Astels. Ces critères reposent sur deux quantités clés associées à la construction de l'ensemble :
  • Le rapport maximal de suppression ($g$).
  • Le rapport minimal de rétention ($h$).
  • L'épaisseur (thickness) $\tau$ et le paramètre $\gamma = \tau / (1+\tau)$.
  • Le théorème d'Astels stipule que si la somme des paramètres $\gamma$ des ensembles est supérieure ou égale à 1, et que certaines conditions de taille des lacunes sont satisfaites, alors la somme contient un intervalle.
• Dimension de Hausdorff : Pour les résultats dimensionnels, les auteurs utilisent la théorie des systèmes dynamiques itérés (IFS) et un théorème de Peres-Shmerkin sur la dimension de Hausdorff des sommes d'attracteurs d'IFS, en exploitant l'irrationalité des rapports de logarithmes des facteurs de contraction.

3. Contributions et Résultats Clés

A. Congruence Modulo 1 (Recouvrement de $\mathbb{R}$)

Les auteurs établissent plusieurs théorèmes majeurs sur la somme d'ensembles de Lüroth :

1. Sommes d'ensembles à chiffres bornés supérieurement ($L_{\le k}$) :

   • Ils prouvent que $L_{\le 3} + L_{\le 5} \equiv \mathbb{R} \pmod 1$.
   • Ils confirment la conjecture de Brouwer : $L_{\le 4} + L_{\le 4} \equiv \mathbb{R} \pmod 1$.
   • Ils montrent que $L_{\le 3} + L_{\le 3} + L_{\le 3} \equiv \mathbb{R} \pmod 1$.
   • À l'inverse, ils démontrent que $L_{\le 3} + L_{\le 3} \not\equiv \mathbb{R} \pmod 1$ (la somme ne recouvre pas $\mathbb{R}$ modulo 1, laissant des lacunes).
   • Conjecture : Ils suggèrent que $L_{\le 3} + L_{\le 4} \equiv \mathbb{R} \pmod 1$, bien que cela ne soit pas encore prouvé rigoureusement.

2. Sommes d'ensembles à chiffres bornés inférieurement ($L_{\ge k}$) :

   • Ils généralisent un résultat de Cusick-Lee (pour les fractions continues) au cas de Lüroth : Pour tout $k \ge 2$, $k L_{\ge k} \equiv \mathbb{R} \pmod 1$.
   • Ils établissent un théorème général (Théorème 2.3) donnant des conditions suffisantes sur une suite d'entiers $k_j$ pour que $\sum L_{\ge k_j} \equiv \mathbb{R} \pmod 1$. Ces conditions impliquent que la somme des diamètres est $\ge 1$ et que les bornes ne sont pas trop dispersées.

3. Sommes Mixtes :

   • Ils prouvent que $L_{\le k+2} + L_{\ge k} \equiv \mathbb{R} \pmod 1$.
   • Ils conjecturent que même $L_{\le k} + L_{\ge k} \equiv \mathbb{R} \pmod 1$.

B. Dimension de Hausdorff

Les résultats sur la dimension complètent l'analyse géométrique :

• Théorème 2.9 : Pour des ensembles finis $A$ et $B$, la dimension de Hausdorff de la somme est donnée par $\dim(L_A + L_B) = \min\{1, \dim L_A + \dim L_B\}$. Cela confirme que la somme de deux ensembles de Lüroth "suffisamment grands" atteint la dimension maximale (1).
• Estimations pour $L_{\ge k}$ : Ils fournissent une borne inférieure pour la dimension de $L_{\ge k}$ : $\dim L_{\ge k} > \frac{1}{2} + \frac{1}{2 \log(\max\{16, k\})}$.
• Résultat sur les doubles sommes : Ils prouvent que $\dim(L_{\ge k} + L_{\ge k}) = 1$ pour tout $k \ge 2$, et conjecturent que la somme contient effectivement un intervalle de longueur positive.

4. Signification et Impact

• Extension des Résultats Classiques : Cet article comble un vide important en transposant la théorie des sommes d'ensembles de fractions continues (un domaine bien étudié) au cadre des développements de Lüroth. Les développements de Lüroth, bien que linéaires par morceaux (contrairement aux fractions continues non linéaires), partagent des propriétés dynamiques riches et des structures fractales complexes.
• Nouveaux Outils de Preuve : La démonstration rigoureuse de la validité de la somme $L_{\le 4} + L_{\le 4}$ (qui était une conjecture ouverte) et l'établissement de conditions précises pour les sommes mixtes ($L_{\le k} + L_{\ge k}$) démontrent la puissance de l'approche par épaisseur (thickness) et par construction de Cantor généralisée.
• Compréhension des Propriétés Additives : Les résultats éclairent la structure additive des nombres réels lorsqu'ils sont restreints à des sous-ensembles définis par des contraintes de chiffres. Ils montrent que, contrairement à l'intuition, des ensembles de mesure nulle (fractales) peuvent, par addition, recouvrir l'ensemble des réels modulo 1, à condition que leurs "tailles" (diamètres et épaisseurs) soient suffisantes.
• Ouvertures : L'article pose plusieurs conjectures (notamment sur $L_{\le 3} + L_{\le 4}$ et la version mixte $L_{\le k} + L_{\ge k}$) qui ouvrent la voie à de futures recherches en théorie des nombres et en systèmes dynamiques.

En résumé, ce travail fournit une analyse complète et rigoureuse de la décomposition additive des nombres réels via les développements de Lüroth, établissant des parallèles forts avec la théorie des fractions continues tout en révélant des comportements spécifiques à cette représentation.