🔢 mathematics

The sum-product conjecture is false for real numbers

Cet article réfute la conjecture somme-produit pour les nombres réels et des contextes apparentés en construisant des ensembles arbitrairement grands dont les ensembles de sommes et de produits sont simultanément petits, réfutant ainsi la conjecture et la conjecture des nombreuses sommes et produits tout en établissant de nouvelles bornes pour les solutions des équations linéaires et unitaires.

Auteurs originaux : Thomas F Bloom, Will Sawin, Carl Schildkraut, Dmitrii Zhelezov

Publié 2026-05-28

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Thomas F Bloom, Will Sawin, Carl Schildkraut, Dmitrii Zhelezov

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

La Grande Idée : Briser une Règle Âgée de 50 Ans

Imaginez que vous avez un sac de nombres. Vous pouvez faire deux choses avec eux :

Les additionner (créer un « Ensemble Somme »).
Les multiplier (créer un « Ensemble Produit »).

Pendant des décennies, les mathématiciens ont cru en une règle appelée la Conjecture Somme-Produit. La règle était simple : Vous ne pouvez pas avoir les deux.

L'intuition était que si vos nombres sont « groupés » de manière à ce que leur addition ne crée pas beaucoup de nouveaux nombres (comme une ligne droite de nombres), alors leur multiplication devrait exploser en une immense variété de nouveaux nombres. Inversement, si leur multiplication les maintient petits (comme une progression géométrique), alors leur addition devrait créer une explosion massive de nouveaux nombres.

La conjecture stipulait que pour tout grand ensemble de nombres réels, au moins l'une de ces opérations doit créer un nombre énorme de résultats. On pensait qu'il était impossible d'avoir un ensemble où à la fois l'addition et la multiplication restent petites.

Ce papier dit : « Pas si vite. »

Les auteurs ont construit un « tour de magie » mathématique qui réfute cette règle pour les nombres réels. Ils ont construit des ensembles spécifiques et massifs de nombres où à la fois l'ensemble somme et l'ensemble produit restent étonnamment petits. Ils n'ont pas seulement brisé la règle ; ils l'ont brisée avec un ensemble massif et arbitrairement grand de nombres.

Le Tour de Magie : Comment Ils L'Ont Fait

Pour comprendre leur construction, imaginez que vous construisez une ville.

1. L'Ancienne Méthode (L'Exemple de Balog-Wooley)

Auparavant, les mathématiciens tentaient de créer un petit ensemble en mélangeant deux types de quartiers :

La Rue Géométrique : Une rue où les maisons sont espacées de manière exponentielle (1, 10, 100, 1000...). Si vous les multipliez, vous restez dans la rue. Mais si vous les additionnez, les écarts sont si énormes que les sommes se dispersent partout.
La Rue Arithmétique : Une rue où les maisons sont espacées régulièrement (1, 2, 3, 4...). Si vous les additionnez, elles restent dans un bloc serré. Mais si vous les multipliez, les nombres explosent.

L'ancien tour consistait à mélanger ces rues. Mais la « Rue Géométrique » était trop clairsemée. C'était comme avoir quelques maisons sur une autoroute immense. Lorsqu'on les additionnait, le résultat était encore trop grand pour briser la règle.

2. La Nouvelle Méthode (Le Réseau de Haute Dimension)

Les auteurs ont réalisé qu'ils avaient besoin d'une « Rue Géométrique » qui soit dense (remplie de maisons) mais qui se comporte toujours bien lors de la multiplication. Ils ont trouvé cela en passant d'une carte 2D plate à une hyper-ville de haute dimension.

La Ville (Corps de Nombres) : Au lieu de travailler avec des entiers normaux, ils ont construit leurs nombres à l'intérieur d'un « univers » spécial appelé un corps de nombres totalement réel. Imaginez cela comme une ville avec $d$ dimensions différentes (où $d$ est un nombre très grand).
La Grille Additive (La Boîte) : Ils ont choisi un bloc de nombres qui ressemble à un cube parfait et serré dans cet espace de haute dimension. Lorsqu'on additionne des nombres de ce cube, le résultat n'est qu'un cube légèrement plus grand. Il reste compact.
La Grille Multiplicative (Les Unités) : Ils ont également choisi un groupe spécial de nombres appelés « unités ». Dans ce monde de haute dimension, ces unités se comportent comme une progression géométrique dense. Lorsqu'on les multiplie, elles restent dans une forme serrée et prévisible.

3. L'Ingrédient Secret : Le « Produit Direct »

Le coup de génie a été de combiner ces deux grilles. Ils ont pris chaque nombre du « Cube Additif » et l'ont multiplié par chaque nombre de la « Grille Multiplicative ».

Pourquoi cela fonctionne : Parce que le « Cube Additif » est si serré et que la « Grille Multiplicative » est si dense, l'ensemble résultant est immense (arbitrairement grand).
Le Résultat :
- Lorsqu'on additionne deux nombres de ce nouvel ensemble, la partie « Cube Additif » empêche le résultat d'exploser.
- Lorsqu'on multiplie deux nombres, la partie « Grille Multiplicative » empêche le résultat d'exploser.

C'est comme avoir une ville où les rues sont si parfaitement conçues que, peu importe comment vous marchez (addition) ou comment vous conduisez (multiplication), vous ne quittez jamais un quartier petit et gérable.

Pourquoi Cela Compte (Selon le Papier)

Le papier ne dit pas seulement « nous avons brisé la règle ». Il montre comment la briser dans différents mondes mathématiques :

Nombres Réels : Ils ont prouvé que la règle est fausse pour les nombres réels standards (les nombres que nous utilisons dans la vie quotidienne).
Nombres p-adiques : Ils ont montré que le même tour fonctionne dans un autre type de système numérique utilisé en physique avancée et en cryptographie.
Corps Finis : Ils ont montré que même dans l'« arithmétique horlogère » (où les nombres font le tour), on peut trouver des ensembles qui brisent la règle.
Corps de Fonctions : Ils ont étendu cela aux corps de séries formelles (utilisés en théorie du codage).

Note sur l'« IA »

Les auteurs mentionnent qu'ils ont été inspirés par un contre-exemple récent généré par une IA pour un problème mathématique différent (la « conjecture de la distance unitaire »). Bien qu'ils aient utilisé une IA (GPT-5.5 Pro) comme « caisse de résonance » pour aider à simplifier un lemme spécifique (une petite étape de preuve), les idées centrales, la construction principale et l'ensemble de la preuve ont été générés par des humains. L'IA n'était qu'une assistante utile, pas l'architecte.

Résumé

Pendant 50 ans, les mathématiciens ont pensé qu'il était impossible d'avoir un ensemble de nombres qui soit « petit » à la fois pour l'addition et la multiplication. Ce papier dit : « Nous en avons construit un. »

Ils l'ont fait en construisant une structure mathématique massive et de haute dimension où les règles de l'addition et de la multiplication sont parfaitement équilibrées pour maintenir les résultats petits. Ils ont prouvé que l'ancienne règle était fausse, non seulement pour une exception minuscule et bizarre, mais pour des ensembles de nombres qui peuvent être aussi grands que vous le souhaitez.

Résumé technique : La conjecture somme-produit est fausse pour les nombres réels

Énoncé du problème
L'article traite de la conjecture somme-produit d'Erdős–Szemerédi, qui postule que pour tout ensemble fini $A$ dans un anneau (spécifiquement $\mathbb{Z}$ , $\mathbb{R}$ ou $\mathbb{C}$ ), au moins l'un des ensembles somme $A+A = \{a+b : a,b \in A\}$ ou l'ensemble produit $AA = \{ab : a,b \in A\}$ doit croître de manière quasi-maximale. Formellement, la conjecture affirme :
$\max(|A+A|, |AA|) \ge |A|^{2-o(1)}$
où le terme $o(1)$ tend vers zéro lorsque $|A| \to \infty$ . Bien que les meilleures bornes inférieures connues pour les sous-ensembles de $\mathbb{R}$ soient de la forme $|A|^{4/3+c}$ , la conjecture reste ouverte. Les auteurs examinent si cette conjecture est vraie sur les nombres réels.

Méthodologie
Les auteurs construisent des contre-exemples explicites en utilisant la théorie algébrique des nombres, en exploitant spécifiquement des corps de nombres totalement réels de degré élevé. La stratégie centrale consiste en une généralisation de haute dimension de l'exemple de Balog–Wooley, remplaçant la progression géométrique et la progression arithmétique standards par des sous-ensembles structurés de l'anneau des entiers $\mathcal{O}_K$ d'un corps de nombres $K$ .

La construction repose sur deux structures de réseau distinctes au sein de $\mathcal{O}_K$ :

Le réseau additif : Une « boîte » $P$ d'entiers algébriques où toutes les plongements réels $\sigma_i(p)$ se situent dans un court intervalle $[X-cX, X+cX]$. Cela garantit que la structure additive est confinée à une petite région.
Le réseau multiplicatif : Un ensemble $G$ d'unités $u \in \mathcal{O}_K^\times$ où les logarithmes de leurs plongements $|\log|\sigma_i(u)||$ sont bornés par une constante $Y$ . Cela crée un ensemble à faible croissance du produit (faible doublement).

L'ensemble contre-exemple est défini comme le produit $A = GP = \{up : u \in G, p \in P\}$ . Les auteurs s'assurent que ce produit est direct (c'est-à-dire $|A| = |G||P|$ ) en choisissant des paramètres tels que le rapport de deux éléments quelconques dans $P$ ne puisse pas être une unité non triviale, une propriété garantie par les résultats de Schinzel sur la séparation des unités.

L'existence de corps de nombres appropriés est garantie par la construction de Martinet de tours de corps totalement réels à discriminant racine borné ( $\Delta_K \le C^d$ ) et régulateurs contrôlés ( $R_K \le \Delta_K$ ). Ces bornes assurent que les volumes des réseaux (et donc les tailles de $P$ et $G$ ) croissent exponentiellement avec le degré $d$ , permettant la construction d'ensembles $A$ arbitrairement grands.

Contributions et résultats clés

Réfutation de la conjecture somme-produit sur $\mathbb{R}$ :
Le résultat principal (Théorème 1.1) établit l'existence d'une constante absolue $c > 0$ telle qu'il existe des ensembles finis $A \subset \mathbb{R}$ arbitrairement grands satisfaisant :
$\max(|A+A|, |AA|) \le |A|^{2-c}$
Cela contredit directement la conjecture. La construction produit des ensembles où l'ensemble somme est petit ( $|A+A| \le |A|^{1+\epsilon}$ ) et l'ensemble produit présente une économie de puissance ( $|AA| \le |A|^{2-c\epsilon}$ ).
Réfutation de la conjecture « de nombreuses sommes et produits » :
Les auteurs étendent leur construction pour réfuter la conjecture plus forte d'Erdős concernant les sommes et produits $k$ -plis. Pour tout $k \ge 3$ fixé, ils construisent des ensembles $A \subset \mathbb{R}$ arbitrairement grands tels que :
$\max(|kA|, |A^{(k)}|) \le |A|^{C \frac{\log k}{\log \log k}}$
Cette dépendance en $k$ est notée comme probablement optimale pour $k$ fixé lorsque $|A| \to \infty$ .
Nouvelles bornes inférieures pour les équations linéaires dans les groupes multiplicatifs :
La construction fournit de nouvelles bornes inférieures pour le nombre de solutions aux équations linéaires $x_1 + \dots + x_k = 1$ avec $x_i$ dans un groupe multiplicatif $\Gamma$ .
- Pour les sous-groupes de $\mathbb{R}^\times$ de rang $d$ , le nombre de solutions non dégénérées est montré être d'au moins $\exp((C^{-1}k \log k)d)$ , démontrant que la dépendance linéaire en le rang $d$ dans l'exposant de la borne supérieure d'Evertse–Schlickewei–Schmidt est la meilleure possible.
- Pour l'équation unitaire dans les corps de nombres, les auteurs montrent que pour $k$ suffisamment grand, il existe des corps de degré $d$ avec au moins $C^d$ solutions, réfutant les conjectures de croissance sous-exponentielle pour $k \ge 3$ .
Variantes dans d'autres contextes :
La méthodologie est adaptée pour produire des contre-exemples dans :
- Les nombres $p$ -adiques ( $\mathbb{Q}_p$ ) : En utilisant des corps où $p$ se décompose complètement.
- Les corps finis ( $\mathbb{F}_p$ ) : En réduisant la construction d'entiers algébriques modulo $p$ , produisant des ensembles de taille $p^c < |A| < p^{1/2}$ avec une faible croissance somme-produit.
- Les corps de fonctions ( $\mathbb{F}_q((t))$ ) : En utilisant des fibrés en droites sur des courbes algébriques avec de nombreux points rationnels (suites de Drinfeld–Vlăduț–Zink) pour construire des contre-exemples en caractéristique positive.

Portée et affirmations
L'article prétend réfuter définitivement la conjecture somme-produit pour les nombres réels, un problème qui a été central en combinatoire additive pendant des décennies. Les auteurs soulignent que si la conjecture peut encore être vraie pour des ensembles dans des corps de nombres de degré borné (comme $\mathbb{Z}$ ), elle échoue dans le cadre général de $\mathbb{R}$ en raison de la disponibilité de structures algébriques de haut degré.

Les auteurs notent que leur preuve repose sur l'existence de corps de nombres avec des propriétés arithmétiques spécifiques (discriminant et régulateur bornés), qui sont non triviales à construire mais bien établies en théorie algébrique des nombres. Ils déclarent explicitement que la preuve finale, y compris les idées principales, a été presque entièrement générée par l'homme, bien qu'ils aient utilisé l'IA comme « caisse de résonance » dans les premières étapes et pour un lemme élémentaire spécifique (Lemme 3.4) qui a simplifié un résultat plus complexe.

Le travail fournit également de nouvelles insights quantitatives sur les limites des phénomènes somme-produit, montrant que l'« économie de puissance » dans les ensembles produits peut être atteinte simultanément avec de petits ensembles sommes, à condition que la structure algébrique sous-jacente soit suffisamment riche (degré élevé). L'article conclut en offrant des valeurs explicites, bien que petites, pour la constante $c$ (par exemple, $c \ge 0,00000087$ ) et en démontrant que des phénomènes similaires se produisent dans divers contextes algébriques, y compris les $p$ -adiques et les corps de fonctions.