🔢 mathematics

There are infinitely many Hilbert cubes of dimension 3 in the set of squares

Cet article démontre qu'il existe une infinité de cubes de Hilbert de dimension 3 dans l'ensemble des carrés parfaits, en établissant un nombre de tels cubes inférieur à $N$ qui croît comme $N^{1/8}$ et en prouvant que les rapports de leurs paramètres sont denses dans les réels positifs.

Auteurs originaux : Andrew Bremner, Christian Elsholtz, Maciej Ulas

Publié 2026-04-08

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Andrew Bremner, Christian Elsholtz, Maciej Ulas

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

🧊 Les Cubes de Hilbert dans le Monde des Carrés Parfaits

Imaginez que vous êtes un architecte dans un monde où seules certaines formes sont autorisées : les carrés parfaits (1, 4, 9, 16, 25, 36...). Votre mission ? Construire des structures mathématiques appelées cubes de Hilbert en utilisant uniquement ces briques carrées.

1. Qu'est-ce qu'un "Cube de Hilbert" ?

Pour faire simple, un cube de Hilbert, c'est comme une boîte à outils magique.

Vous commencez par un nombre de départ, disons $a_0$ .
Vous avez une liste de "jokers" ( $a_1, a_2, a_3...$ ).
La règle du jeu est la suivante : vous pouvez ajouter à votre nombre de départ n'importe quelle combinaison de ces jokers (soit vous les ajoutez, soit vous ne les ajoutez pas).

Si, à la fin, tous les nombres que vous obtenez sont des carrés parfaits, alors vous avez construit un cube de Hilbert !

L'analogie du Lego :
Imaginez que vous avez une base (le nombre de départ) et trois types de briques spéciales. Vous pouvez construire 8 tours différentes en combinant ces briques de différentes façons. Si les 8 tours finissent toutes par avoir exactement la même hauteur (et que cette hauteur est un carré parfait), vous avez gagné !

2. Le Grand Mystère : Jusqu'où peut-on aller ?

Les mathématiciens se posent une question depuis longtemps : Quelle est la taille maximale de ce cube ?

On sait qu'on ne peut pas faire un cube de taille infinie (la structure s'effondrerait).
On sait qu'on peut facilement faire des cubes de taille 2 (4 nombres).
Mais pour la taille 3 (8 nombres) ? C'est très difficile.
Et pour la taille 4 (16 nombres) ? Personne n'en a jamais trouvé un !

Les auteurs de ce papier (Andrew Bremner, Christian Elsholtz et Maciej Ulas) se sont demandé : "Y a-t-il une limite absolue, ou peut-on en trouver une infinité de taille 3 ?"

3. Leurs Découvertes Étonnantes

A. Il y a une infinité de cubes de taille 3 !
C'est la grande nouvelle. Ils ont prouvé qu'il existe non pas un, ni deux, mais une infinité de ces cubes de taille 3 dans les carrés parfaits.

L'analogie : C'est comme si vous cherchiez des trèfles à quatre feuilles. Vous pensiez qu'ils étaient extrêmement rares. Soudain, vous découvrez qu'il y a une forêt entière de trèfles à quatre feuilles, et que vous pouvez en trouver de plus en plus en cherchant dans des zones de plus en plus grandes.

B. Ils ont trouvé une "recette" magique
Au lieu de chercher au hasard, ils ont créé une formule mathématique (une machine à fabriquer) qui génère ces cubes.

Ils ont utilisé des objets géométriques complexes appelés courbes elliptiques (pensez à des formes de beignets tordus dans l'espace mathématique). En faisant rouler des points sur ces courbes, ils ont pu générer une infinité de solutions.
Ils ont même trouvé des cubes où deux des jokers sont identiques (comme avoir deux briques Lego exactement pareilles), ce qui rend la structure encore plus intéressante.

C. La densité des proportions
Ils ont aussi découvert quelque chose de très beau : si vous prenez n'importe quel nombre positif (par exemple 3,14 ou 100,5), vous pouvez trouver un de ces cubes où le rapport entre deux de ses nombres est très proche de ce chiffre.

L'analogie : Imaginez que vous avez une boîte de crayons de toutes les couleurs. Peu importe la teinte de bleu que vous voulez, vous pouvez trouver un mélange de crayons dans votre boîte qui donne exactement cette teinte. Ici, les "couleurs" sont les rapports entre les nombres du cube.

4. Ce qui reste mystérieux (Le Graal)

Malgré leur succès pour la taille 3, le mystère reste entier pour la taille 4.

Ils ont essayé de construire un cube de 16 nombres (taille 4) en utilisant leurs méthodes.
Ils ont réussi à en trouver un où 15 nombres sur 16 sont des carrés parfaits. C'est presque un succès ! Mais le 16ème nombre résiste toujours.
Conclusion : Pour l'instant, personne ne sait si un cube de taille 4 existe vraiment. C'est comme chercher une pièce manquante dans un puzzle géant : on a presque tout, mais le dernier morceau échappe à notre vue.

5. Comment ont-ils fait ?

Ils ont combiné deux approches :

La puissance brute des ordinateurs : Ils ont fait tourner des algorithmes pour tester des millions de combinaisons et trouver des petits exemples.
La beauté des mathématiques pures : Ils ont utilisé la théorie des nombres et la géométrie pour prouver que ces exemples ne sont pas des accidents, mais qu'ils font partie d'une structure infinie.

En résumé

Ce papier dit aux mathématiciens : "Ne vous inquiétez pas, les cubes de Hilbert de taille 3 ne sont pas des créatures rares. Ils sont partout, et on peut en fabriquer autant qu'on veut !"

Cependant, ils laissent une porte ouverte pour l'avenir : "Le roi des cubes, celui de taille 4, est-il un mythe ou une réalité cachée ?" C'est là que les prochains chercheurs devront se pencher.

1. Problématique et Contexte

L'article s'intéresse à la présence de cubes de Hilbert dans l'ensemble des carrés d'entiers $S = \{n^2 : n \in \mathbb{N}\}$ .
Un cube de Hilbert de dimension $d$ est défini comme l'ensemble :
$H(a_0; a_1, \dots, a_d) = a_0 + \{0, a_1\} + \dots + \{0, a_d\} = \left\{ a_0 + \sum_{i=1}^d \varepsilon_i a_i \mid \varepsilon_i \in \{0, 1\} \right\}$
où $a_0, a_1, \dots, a_d$ sont des entiers.

La question centrale, posée initialement par Brown, Erdős et Freedman, est de savoir si la dimension maximale $d$ d'un cube de Hilbert contenu dans $S$ est absolument bornée ou non.

Il est connu qu'un cube infini n'existe pas dans $S$ car la différence entre deux carrés ne peut être constante que finiment souvent.
Des bornes supérieures ont été établies : Dietmann et Elsholtz ont prouvé que si un cube est contenu dans $S \cap [0, N]$ , alors $d \le 7 \log \log N$ .
La conjecture de Bombieri-Lang suggère que $d$ est absolument borné, mais la valeur exacte de cette borne reste inconnue. Aucune dimension $d \ge 4$ n'a été trouvée à ce jour.

L'objectif de cet article est d'étudier la dimension 3 de manière quantitative et qualitative, en prouvant l'existence d'une infinité de tels cubes et en fournissant des constructions paramétriques explicites.

2. Méthodologie

Les auteurs combinent trois approches principales :

Recherche Algorithmique et Calcul Numérique :
- Ils développent un algorithme efficace (implémenté en Pari/GP) pour trouver tous les cubes réduits de dimension 3 avec $a_0, a_1 \le N$ .
- L'algorithme exploite la structure des diviseurs de $a_1$ pour réduire le problème à la vérification de conditions de carrés parfaits.
- Des calculs intensifs ont été effectués jusqu'à $N = 10^8$ (pour $a_0, a_1$ ) et jusqu'à $N=10^6$ pour le comptage global, générant des milliers d'exemples.
Théorie des Courbes Elliptiques et Géométrie Algébrique :
- Le problème de trouver $a_0, a_1, a_2, a_3$ tels que toutes les combinaisons linéaires soient des carrés se traduit par un système d'équations diophantiennes.
- Ce système est ramené à l'étude de courbes elliptiques (ou de surfaces rationnelles dans certains cas dégénérés).
- Les auteurs utilisent la structure de groupe des courbes elliptiques (points d'ordre infini) pour générer des familles paramétriques de solutions.
Analyse Asymptotique et Topologie :
- Utilisation de familles paramétriques pour estimer le nombre de solutions $H_3(N)$ dans l'intervalle $[0, N]$ .
- Étude de la densité des rapports $a_i/a_j$ dans l'ensemble des réels positifs.

3. Contributions et Résultats Clés

A. Existence et Nombre de Cubes de Dimension 3

Les auteurs prouvent l'existence d'une infinité de cubes de Hilbert réduits de dimension 3 dans les carrés.

Théorème 1.5 : Le nombre $H_3(N)$ de cubes réduits de dimension 3 avec $0 \le a_i \le N$ satisfait la borne inférieure :
$H_3(N) \gg N^{1/8}$
Cette borne est obtenue en construisant une famille paramétrique explicite (via des points sur une courbe elliptique) et en montrant que les polynômes générant les coefficients sont premiers entre eux (à un facteur constant près).
Théorème 1.7 : Pour la dimension 2, le nombre de solutions est de l'ordre de $N \log N$ . Pour la dimension $d$ , la borne supérieure est $H_d(N) \ll_d N^{1+\epsilon_d}$ .

B. Cubes avec Éléments Identiques

Les auteurs répondent à une question ouverte concernant les cubes où certains paramètres sont égaux.

Théorème 1.6 : Il existe une infinité de cubes réduits de dimension 3 avec $a_1 = a_2 < a_3$ (et symétriquement $a_1 < a_2 = a_3$ ).
La construction repose sur une courbe elliptique de genre 1. Le nombre de tels cubes avec $a_i \le N$ est d'au moins $c N^{1/10}$ .
Cela implique que ces cubes contiennent des progressions arithmétiques de longueur 3.

C. Densité des Rapports

Corollaire 1.8 : Pour tout couple d'indices $i < j$ dans $\{0, 1, 2, 3\}$ , l'ensemble des rapports $\{ a_i / a_j \}$ provenant de cubes de Hilbert de dimension 3 est dense dans $\mathbb{R}^+$ (muni de la topologie euclidienne).
Cela signifie que l'on peut trouver des cubes de Hilbert dont les rapports entre les générateurs approchent n'importe quel nombre réel positif.

D. Conjectures et Observations Numériques

Conjecture 7.1 : Pour tout entier $n \ge 1$ , il existe un cube de Hilbert de dimension 3 avec $a_0 = n^2$ . Les calculs numériques confirment cette hypothèse pour $n \le 100$ (sauf pour 4 cas non résolus dans la recherche initiale, mais la conjecture reste ouverte).
Dimension 4 : Malgré des tentatives intensives, aucun cube de dimension 4 n'a été trouvé. Les auteurs ont construit des "pseudo-cubes" de dimension 4 où 13 des 16 sommes sont des carrés, mais pas les 16.
Comportement Asymptotique : L'ajustement numérique suggère que $H_3(N)$ croît comme $N^b$ avec $b \approx 0.62$ , ce qui est bien supérieur à la borne théorique prouvée $N^{1/8}$ .

4. Signification de l'Article

Cet article constitue une avancée majeure dans la compréhension des structures additives au sein des carrés :

Résolution de l'existence infinie : Il démontre définitivement qu'il existe une infinité de cubes de dimension 3 dans les carrés, contredisant toute hypothèse selon laquelle de telles structures seraient rares ou finies.
Construction explicite : Contrairement aux résultats d'existence non constructifs, les auteurs fournissent des formules paramétriques (polynômes en plusieurs variables) générant ces cubes.
Outils combinatoires : L'approche combine efficacement l'algorithmique (recherche de solutions), la théorie des nombres (courbes elliptiques) et l'analyse asymptotique.
Limites de la dimension : Bien que la dimension 4 ne soit pas exclue théoriquement, l'absence de découverte malgré une recherche exhaustive et la complexité croissante des équations diophantiennes suggèrent fortement que la dimension maximale est 3, ou du très proche.

En résumé, ce travail établit un cadre solide pour l'étude des cubes de Hilbert dans les carrés, prouvant la richesse de la dimension 3 et posant des bases solides pour l'investigation future de la dimension 4.