Problems in additive number theory, VII: The structure of additive $h$-bases for $n$

La Vue d'Ensemble : Construire des Ponts avec des Nombres

Imaginez que vous possédez un ensemble de blocs de construction spéciaux (des entiers). Vous avez le droit d'empiler exactement $h$ de ces blocs ensemble pour former une tour. La hauteur de la tour est la somme des nombres inscrits sur les blocs.

La question centrale de ce papier est : Jusqu'où pouvons-nous construire un escalier continu et ininterrompu de tours, en partant du sol (0) ?

Si vous pouvez construire des tours de hauteur 0, 1, 2, 3, 4, et ainsi de suite, jusqu'à un certain nombre $n$, sans aucun trou, alors votre ensemble de blocs est appelé une "$h$-base pour $n$".

Le papier introduit un nouvel ensemble d'énigmes concernant ces ensembles de blocs. L'auteur, Nathanson, dit essentiellement : « Nous savons comment construire ces escaliers, mais nous ne comprenons pas entièrement les modèles qui déterminent leur taille maximale ou la manière dont les blocs doivent être disposés. Voici quelques nouvelles énigmes à résoudre, dont certaines pourraient être délicates même pour une IA avancée. »

---

Les Quatre Personnages Principaux (Les Fonctions)

Le papier définit quatre façons différentes de mesurer le « meilleur » escalier possible que l'on peut construire avec un nombre spécifique de blocs ($k$). Imaginez-les comme quatre systèmes de notation différents pour un jeu :

1. Le Score « Du Sol vers le Haut » ($n_h(k)$) :

   • La Règle : Vous devez utiliser uniquement des blocs positifs (ou zéro). Vous devez commencer votre escalier exactement à 0.
   • L'Objectif : Jusqu'où pouvez-vous monter sans trou ?
   • Analogie : Vous construisez une rampe en partant du sol. Vous ne pouvez pas utiliser de nombres négatifs (creuser un trou), et vous ne pouvez pas commencer en flottant dans les airs.

2. Le Score « Flottant » ($n^\sharp_h(k)$) :

   • La Règle : Vous devez utiliser uniquement des blocs positifs (ou zéro), mais vous pouvez commencer votre escalier n'importe où (à la hauteur 5, 100, ou -50).
   • L'Objectif : Quelle est la plus longue séquence continue de nombres que vous pouvez couvrir, indépendamment de son point de départ ?
   • Analogie : Vous pouvez construire un pont n'importe où dans l'univers, tant que vous n'utilisez que des briques positives.

3. Le Score « Pleine Plage » ($m_h(k)$) :

   • La Règle : Vous pouvez utiliser n'importe quels entiers (positifs, négatifs ou zéro). Vous devez commencer à 0.
   • L'Objectif : Jusqu'où pouvez-vous monter sans trou ?
   • Analogie : Vous avez une boîte à outils magique contenant des nombres négatifs (comme des « anti-briques » qui soustraient de la hauteur). Vous devez commencer au sol, mais vous pouvez utiliser ces outils spéciaux pour étendre votre portée.

4. Le Score « Ultime » ($m^\sharp_h(k)$) :

   • La Règle : Vous pouvez utiliser n'importe quels entiers, et vous pouvez commencer votre escalier n'importe où.
   • L'Objectif : Quelle est la plus longue séquence continue de nombres absolue que vous pouvez couvrir ?
   • Analogie : Vous avez la boîte à outils complète et la liberté totale de placer votre pont n'importe où.

La Découverte du Papier :
Nathanson prouve que pour les scores « Flottant » et « Ultime » (systèmes de notation 2 et 4), cela n'a pas réellement d'importance si vous autorisez les nombres négatifs ou non. Si vous pouvez construire un long pont en utilisant des nombres négatifs, vous pouvez réorganiser vos blocs pour construire un pont tout aussi long en utilisant uniquement des nombres positifs. La « meilleure » longueur est la même dans les deux cas.

---

Les Blocs « Isolés » et le Secret « Sidon »

Le papier examine également la forme de l'ensemble de nombres que vous créez.

• Le Problème : Parfois, lorsque vous additionnez vos blocs, vous obtenez un escalier parfait (0, 1, 2, 3...), mais ensuite vous obtenez un énorme trou, puis un nombre unique et solitaire (un entier « isolé ») flottant loin au loin.
• L'Objectif : Nathanson veut savoir : Pouvons-nous construire un escalier qui est parfaitement isolé ? Cela signifie que nous obtenons un long intervalle ininterrompu, et que rien d'autre n'existe à proximité, sauf de minuscules sous-parties de cet intervalle ?

Pour résoudre cela, il utilise un concept appelé Ensemble de Sidon.

• L'Analogie : Imaginez un ensemble de notes de musique. Dans un ensemble normal, vous pourriez jouer C+E et obtenir un accord qui sonne de la même manière que D+F. C'est confus.
• L'Ensemble de Sidon : C'est un ensemble de notes où chaque combinaison possible de deux notes crée un accord unique. Aucune paire de notes ne s'additionne jamais pour donner le même total.
• La Variante « Séparée par Delta » : Nathanson pousse cela plus loin. Il crée des ensembles où non seulement les sommes sont uniques, mais elles sont également éloignées les unes des autres. Si vous additionnez deux nombres, le résultat est garanti d'être à une certaine distance de tout autre résultat. Cet « espacement » lui permet de construire des ensembles qui créent un escalier parfait et s'arrêtent immédiatement, laissant le reste de la ligne des nombres vide.

---

Le Défi de l'IA

L'auteur mentionne explicitement que ce papier est conçu pour tester les limites de l'Intelligence Artificielle.

• Ce que l'IA peut faire : Résoudre des problèmes mathématiques très difficiles (comme une thèse de doctorat).
• Ce avec quoi l'IA lutte : Décider de ce qui est un problème intéressant ou inventer de nouvelles catégories de questions.
• Le Rôle du Papier : Nathanson remet à l'IA une liste de nouvelles énigmes (Problèmes 1 à 11). Certains sont marqués d'un astérisque (*) car ils sont probablement trop abstraits ou nécessitent une « intuition humaine » concernant ce qui rend un modèle « beau » ou « intéressant », ce que l'IA actuelle pourrait manquer.

Résumé des « Problèmes »

Le papier énumère environ 11 défis spécifiques pour les mathématiciens (et l'IA) à résoudre :

1. Chasse aux Modèles : Pouvez-vous prédire la liste exacte de toutes les « hauteurs d'escalier » possibles pour un nombre donné de blocs ?
2. Analyse des Trous : Comment la longueur de l'escalier change-t-elle si vous ajoutez un seul bloc de plus ?
3. Nombres Négatifs : L'utilisation de nombres négatifs aide-t-elle réellement à construire un escalier plus long en partant de zéro ? (Le papier suggère que la réponse est « Non » pour la longueur maximale, mais c'est une question à prouver).
4. Éparsité : Pouvons-nous construire ces ensembles de blocs de sorte que les nombres soient très éloignés les uns des autres (rares) mais créent toujours un escalier parfait ?
5. Escaliers Multiples : Pouvons-nous construire un ensemble de blocs qui crée exactement deux escaliers séparés et rien d'autre entre eux ?

La « Mise en Garde » (Un Avertissement au Lecteur)

À la fin, Nathanson ajoute un « Caveat Lector » (Que le lecteur se méfie). Il note qu'il existe une grande quantité de littérature ancienne, pour la plupart oubliée (principalement en allemand), concernant ces nombres spécifiques. Il est possible que les réponses à ces nouvelles énigmes soient déjà enfouies dans de vieux journaux, attendant d'être retrouvées. Il dit essentiellement : « Nous pourrions être en train de réinventer la roue, mais c'est une roue qui vaut la peine d'être tournée. »

En Bref

Ce papier est une carte de territoires inexplorés dans le monde de l'addition des nombres. Il définit les règles du jeu, prouve quelques lois fondamentales (comme « les nombres négatifs ne vous aident pas à aller plus loin »), puis dessine une carte au trésor pointant vers 11 nouveaux X où l'or (la solution) pourrait être caché. Il invite à la fois les mathématiciens humains et les systèmes d'IA à se mettre à creuser.