Ulam numbers have zero density

Cet article démontre que la densité naturelle des nombres d'Ulam est nulle.

L'essentiel

🌟 Le Mystère des Nombres d'Ulam : Pourquoi ils deviennent de plus en plus rares

Imaginez que vous jouiez à un jeu de construction avec des nombres entiers (1, 2, 3, 4...). Vous avez une règle très stricte pour choisir votre prochain nombre :

1. Vous commencez avec 1 et 2.
2. Pour trouver le prochain nombre, vous devez additionner deux nombres que vous avez déjà choisis.
3. La règle d'or : Le nouveau nombre doit pouvoir être obtenu par une seule et unique façon d'additionner deux nombres précédents.
4. Si plusieurs combinaisons donnent le même résultat, ce nombre est rejeté. Vous prenez le plus petit nombre qui respecte la règle.

C'est ainsi que naît la suite d'Ulam : 1, 2, 3, 4, 6, 8, 11... (5 est absent car 1+4 et 2+3 donnent tous deux 5, donc ce n'est pas "unique").

Le grand mystère, pendant des décennies, était de savoir : Est-ce que ces nombres d'Ulam sont nombreux comme les grains de sable, ou sont-ils rares comme des étoiles dans le ciel ?

Ce papier, écrit par Théophilus Agama, répond enfin à la question : Ils sont extrêmement rares. En fait, leur "densité" est zéro.

Voici comment l'auteur le prouve, en utilisant deux méthodes créatives.

---

🔍 Méthode 1 : L'Échelle de l'Addition (La Tour de Bâtisseur)

Imaginez que vous devez construire une tour très haute (un grand nombre d'Ulam) en empilant des briques. Chaque brique est la somme de deux briques précédentes. C'est ce qu'on appelle une "chaîne d'addition".

L'auteur dit : "Attendez, pour construire un nombre d'Ulam, il faut une chaîne d'addition très spécifique."

• L'analogie : Pensez à un régulateur de vitesse sur une voiture. Pour atteindre une vitesse très élevée (un grand nombre d'Ulam), vous ne pouvez pas accélérer trop vite. Il y a des limites physiques.
• Le raisonnement : L'auteur montre que pour construire un nombre d'Ulam de taille $N$, il faut une chaîne d'addition qui est "trop longue" par rapport à la taille du nombre.
• Le résultat : Plus les nombres d'Ulam deviennent grands, plus il faut de "briques" (étapes) pour les construire, et plus il y a de "trous" entre eux.
• La conclusion : Si vous regardez une très longue liste de nombres (de 1 à un milliard), la proportion de nombres d'Ulam devient si petite qu'elle tend vers zéro. C'est comme chercher une aiguille dans une botte de foin, sauf que plus la botte grossit, plus l'aiguille devient microscopique par rapport à la botte.

---

🎡 Méthode 2 : Le Cercle de Partition (La Roue de la Fortune)

Pour la deuxième preuve, l'auteur invente un outil géométrique appelé le Cercle de Partition (CoP). C'est une idée très visuelle.

• L'analogie : Imaginez une grande roue (un cercle). Sur le bord de cette roue, vous placez des points. Chaque point représente un nombre.
• La règle du jeu : Vous tracez des lignes (des axes) qui relient deux points. La règle est simple : la somme des deux nombres aux extrémités de la ligne doit toujours être égale à un nombre fixe au centre (disons $N$).
  • Exemple : Si le centre est 10, une ligne peut relier 3 et 7 (car 3+7=10). Une autre relie 4 et 6.
• Le problème d'Ulam : L'auteur demande : "Combien de ces lignes relient deux nombres qui sont TOUS LES DEUX des nombres d'Ulam ?"

Le raisonnement :

1. Si les nombres d'Ulam étaient nombreux (densité positive), on s'attendrait à voir beaucoup de lignes reliant deux nombres d'Ulam.
2. Mais l'auteur montre que, grâce à la règle stricte d'Ulam (l'unicité de la somme), la plupart des lignes doivent relier un nombre d'Ulam à un nombre "ordinaire" (qui n'est pas d'Ulam).
3. En comptant ces lignes sur le cercle, il démontre que le nombre de lignes "pures" (Ulam + Ulam) est négligeable comparé au nombre total de lignes.

La conclusion : C'est comme si vous regardiez une foule immense. Si vous demandez à deux personnes de se tenir la main, il est très probable qu'au moins l'une d'elles ne fasse pas partie de votre petit groupe spécial. Les nombres d'Ulam sont si isolés qu'ils ne peuvent presque jamais se "trouver" pour former une somme ensemble sans violer leurs propres règles.

---

🏁 En résumé

Ce papier est une victoire pour la logique mathématique. Il prouve que, bien que les nombres d'Ulam soient infinis (il y en a toujours un de plus grand que le précédent), ils sont si espacés que, dans l'ensemble infini des nombres entiers, ils n'occupent aucune place.

• Avant : On pensait qu'ils pourraient être un peu nombreux.
• Maintenant : On sait qu'ils sont des fantômes dans la forêt des nombres. Plus on va loin, plus ils deviennent invisibles.

L'auteur a utilisé des outils classiques (les chaînes d'addition) et un outil nouveau et créatif (le cercle de partition) pour résoudre ce vieux mystère. C'est une démonstration élégante qui dit : "Les nombres d'Ulam existent, mais ils sont si rares qu'ils n'ont pas de poids dans l'univers des mathématiques."

Résumé technique

Voici un résumé technique détaillé de l'article « Ulam Numbers Have Zero Density » de Theophilus Agama, rédigé en français.

Résumé Technique : Densité Nulle des Nombres d'Ulam

1. Problématique

L'article s'attaque au problème classique de la densité naturelle des nombres d'Ulam. La suite d'Ulam $(U_m)_{m \ge 1}$ est définie récursivement en commençant par $1, 2$et en ajoutant à chaque étape le plus petit entier qui admet une **représentation unique** comme somme de deux termes distincts précédents de la suite ($1, 2, 3, 4, 6, \dots$).

La question centrale, connue sous le nom de « problème de la densité d'Ulam », est de savoir si cet ensemble possède une densité naturelle positive dans les entiers naturels ou s'il est « mince » (densité nulle). Bien que des preuves computationnelles et des arguments heuristiques suggèrent depuis longtemps que la suite est sparse (peu dense), une résolution asymptotique rigoureuse et globale faisait défaut. L'objectif de cet article est de prouver rigoureusement que la densité naturelle $D[(U_m)]$ est égale à zéro.

2. Méthodologie

La preuve proposée par l'auteur est élémentaire dans ses outils mais novatrice dans sa synthèse. Elle repose sur deux composantes complémentaires :

A. L'approche par les chaînes d'addition (Addition Chains)
Cette partie de la preuve vise à encadrer la croissance des nombres d'Ulam en les intégrant dans des structures arithmétiques connues.

• Encastrement : L'auteur démontre qu'aucune séquence finie de nombres d'Ulam ne peut être isolée ; elle peut toujours être « encadrée » (embeddée) dans une chaîne d'addition produisant le plus grand élément de cette séquence (Proposition 4.4).
• Régulateurs et Déterminants : Une chaîne d'addition est analysée via des paramètres appelés « régulateurs » ($r_i$) et « déterminants » ($a_i$). La longueur de la chaîne $\delta(n)$ est liée à la somme des régulateurs.
• Bornes Inférieures : En utilisant des bornes inférieures classiques pour la longueur des chaînes d'addition les plus courtes (Lemme 3.4, basé sur le poids de Hamming et les travaux de Brauer), l'auteur établit une borne inférieure pour un paramètre de régulation moyen $C(n)$. Il est démontré que $C(n)$ croît au moins aussi vite que $n / \log_2(n)$.
• Conséquence sur la densité : Cette croissance de $C(n)$ impose une contrainte supérieure sur la proportion de nombres d'Ulam dans un intervalle initial. En faisant tendre la taille de la séquence vers l'infini, la densité est « écrasée » vers zéro.

B. L'approche par le « Cercle de Partition » (Circle of Partition - CoP)
Cette deuxième composante offre une preuve alternative purement combinatoire.

• Définition du CoP : Pour un entier $n$ et un sous-ensemble $M$, le Cercle de Partition $C(n, M)$ est un ensemble de points $[x]$ tels que $x \in M$ et $n-x \in M$. Les axes de ce cercle relient les paires $(x, y)$ telles que $x+y=n$.
• Décomposition des représentations : Cette structure permet de décomposer les représentations additives de $n$ selon que les deux termes sont des nombres d'Ulam, qu'un seul l'est, ou qu'aucun ne l'est.
• Hypothèse de comptage : Sous une hypothèse de comptage vérifiable concernant les représentations impliquant des termes non-Ulam (à savoir que le nombre de telles représentations est négligeable par rapport à $n$), l'auteur montre que la densité des axes connectant des nombres d'Ulam tend vers zéro.
• Résultat : Cette méthode confirme le résultat de densité nulle en analysant la structure géométrique des sommes additives.

3. Contributions Clés

• Preuve Rigoureuse de la Densité Nulle : L'article fournit la première preuve formelle et globale que la densité naturelle des nombres d'Ulam est nulle ($D[(U_m)] = 0$).
• Nouveau Formalisme Combinatoire : Introduction du concept de « Cercle de Partition » (CoP) comme outil pour analyser les propriétés additives des suites d'entiers, offrant une nouvelle perspective sur la répartition des sommes.
• Lien entre Chaînes d'Addition et Suites Spécifiques : Établissement d'un lien quantitatif entre la longueur des chaînes d'addition (un sujet classique de la théorie des nombres) et la croissance des suites définies par des conditions d'unicité de somme comme celle d'Ulam.
• Estimation Asymptotique : Démonstration que la fonction majorant la densité des nombres d'Ulam décroît comme $O(\frac{\log n}{n})$, ce qui assure la convergence vers zéro.

4. Résultats Principaux

• Théorème 5.1 : La densité naturelle de la suite des nombres d'Ulam est nulle.
  $$\lim_{k \to \infty} \frac{|(U_m) \cap [1, k]|}{k} = 0$$
• Proposition 4.4 : Toute séquence finie de nombres d'Ulam peut être englobée dans une chaîne d'addition produisant son dernier terme.
• Théorème 6.8 : Sous des conditions de comptage raisonnables sur les représentations mixtes (Ulam + non-Ulam), la méthode du Cercle de Partition confirme également la densité nulle.

5. Signification et Impact

Ce travail résout un problème ouvert de longue date en théorie des nombres combinatoire.

• Validation de l'Intuition : Il confirme mathématiquement ce que les simulations numériques suggéraient depuis des décennies : les nombres d'Ulam sont extrêmement rares dans l'ensemble des entiers naturels.
• Outils Nouveaux : L'introduction du formalisme du « Cercle de Partition » pourrait s'avérer utile pour étudier d'autres suites définies par des propriétés de somme unique ou des contraintes de densité additive.
• Approche Élémentaire : La preuve repose sur des outils combinatoires et des bornes de chaînes d'addition bien établies, évitant la nécessité de techniques analytiques lourdes, ce qui rend le résultat accessible et robuste.

En conclusion, l'article de Theophilus Agama établit définitivement que la suite d'Ulam est « mince » (thin), marquant une avancée significative dans la compréhension asymptotique de cette suite célèbre.