🔢 mathematics

Split primes and the Elekes-Rónyai problem

Cet article présente un contre-exemple au problème d'Elekes-Rónyai en démontrant l'existence d'ensembles finis arbitrairement grands $A \subset \mathbb{R}$ où l'image du polynôme non additif et non multiplicatif $x+y+(x-y)^2$ est significativement plus petite que quadratique, spécifiquement bornée par $|A|^{2-c}$ pour une certaine constante absolue $c>0$ .

Auteurs originaux : Cosmin Pohoata

Publié 2026-06-12

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Cosmin Pohoata

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 Question : Pouvez-vous cacher le chaos ?

Imaginez que vous avez une machine géante (une formule mathématique) qui prend deux nombres, $x$ et $y$ , et recrache un nouveau nombre. Appelons cette machine $f$ .

Maintenant, imaginez que vous avez un grand sac de nombres, appelons-le Ensemble A. Vous prenez chaque paire possible de nombres de ce sac, vous les introduisez dans la machine, et vous collectez tous les résultats. Cette collection de résultats est appelée l'Ensemble Image.

L'énigme :
Les mathématiciens se demandent depuis longtemps : si vous choisissez une machine « compliquée » (qui n'est pas simplement une addition ou une multiplication de nombres de manière simple), pouvez-vous un jour organiser votre sac de nombres de sorte que la machine produise très peu de résultats uniques ?

Les machines « faciles » : Si votre machine est une simple addition ( $x+y$ ) ou une multiplication ( $x \times y$ ), vous pouvez facilement la duper. Si vous mettez une progression arithmétique (comme 1, 2, 3, 4), les sommes restent petites et prévisibles. Si vous mettez une progression géométrique (comme 2, 4, 8, 16), les produits restent petits. Dans ces cas, le nombre de résultats uniques croît lentement (linéairement) à mesure que vous ajoutez des nombres dans votre sac.
Les machines « difficiles » : Le célèbre problème d'Elekes-Rónyai demandait : et si la machine n'est pas simple ? Et si c'est un mélange, comme $x + y + (x-y)^2$ ? La croyance dominante (une conjecture d'Elekes) était que pour ces machines « difficiles », peu importe la façon dont vous choisissez vos nombres, le nombre de résultats uniques explosera. Il devrait croître presque aussi vite que le carré de la taille de votre sac (si vous avez $N$ nombres, vous devriez obtenir environ $N^2$ résultats uniques).

La percée : Le « Tamis Magique »

Dans cet article, l'auteur, Cosmin Pohoata, affirme : « En fait, vous pouvez duper la machine difficile. »

Il prouve qu'il existe une machine « difficile » spécifique ( $f(x, y) = x + y + (x-y)^2$ ) et une façon de choisir des nombres de telle sorte que le nombre de résultats uniques soit bien plus petit que prévu. Ce n'est pas seulement un peu plus petit ; c'est significativement plus petit, brisant la règle que tout le monde pensait incassable.

Comment a-t-il fait ? (L'analogie)

Pour comprendre l'astuce, imaginez que vous essayez de cacher un ensemble spécifique de clés dans un immense bâtiment à plusieurs étages.

Le bâtiment (Le système de nombres) : Au lieu de regarder les nombres normaux, l'auteur construit un monde de nombres spécial à haute dimension (une structure mathématique appelée corps de nombres). Voyez cela comme un bâtiment avec des milliers d'étages.
Les serrures (Les nombres premiers) : Il choisit un ensemble spécial de « serrures » (nombres premiers) qui possèdent une propriété très spécifique : ils se divisent parfaitement en de nombreuses pièces indépendantes sur chaque étage du bâtiment.
Le piège (Les classes de résidus) : L'auteur conçoit sa machine de sorte que, peu importe les nombres que vous mettez, la sortie doit atterrir dans un coin très spécifique et minuscule du bâtiment.
- Imaginez que sur chaque étage, la machine est forcée de ne atterrir que sur des « pièces aux numéros pairs » ou des « pièces avec des portes rouges ».
- Parce que la machine doit satisfaire cette règle sur chaque étage simultanément, le nombre d'endroits où elle peut atterrir devient incroyablement petit.
Le résultat : Même si le bâtiment est immense (représentant un grand ensemble de nombres), les pièces « autorisées » sont si peu nombreuses que la machine produit très peu de résultats uniques.

Le secret des « Nombres Premiers Partagés »

L'ingrédient secret est ce qu'on appelle les Nombres Premiers Partagés (Split Primes).

Dans les mathématiques normales, un nombre premier peut agir comme un mur unique et solide.
Dans le monde de nombres spécial de cet auteur, ces nombres premiers se « partagent » comme un arbre qui se ramifie. Un nombre premier devient de nombreux « corps de résidus » indépendants (comme beaucoup de petites pièces séparées).
L'auteur utilise une tour de ces mondes de nombres, devenant de plus en en plus haute (dimensions plus élevées).
Dans chaque petite pièce, la machine est forcée de produire un nombre « carré » (comme 0, 1, 4, 9). Puisque les carrés sont rares par rapport à tous les autres nombres, cela restreint la sortie.
Parce que les nombres premiers se partagent en beaucoup de pièces, cette restriction se produit encore et encore. Les restrictions se multiplient, créant un « goulot d'étranglement » qui comprime le nombre de résultats uniques de manière spectaculaire.

Le bonus du « Petit Doublement »

L'article montre aussi quelque chose d'encore plus cool. Non seulement la machine produit peu de résultats, mais les nombres dans le sac possèdent également une propriété spéciale : si vous ajoutez deux nombres du sac ensemble, vous n'obtenez pas trop de nouveaux nombres.

Analogie : Imaginez un groupe de personnes où, si vous les associez pour former de nouvelles équipes, le nombre d'équipes uniques formées reste relativement faible. Cela rend le « sac de nombres » très structuré et efficace, ce qui aide l'astuce à mieux fonctionner.

La conclusion

L'auteur a réussi à construire un contre-exemple. Il a montré que pour la formule spécifique $x + y + (x-y)^2$ , on peut trouver de grands ensembles de nombres où le nombre de sorties uniques est approximativement $N^{2-c}$ (où $c$ est un petit nombre positif).

Cela signifie que la sortie est sous-quadratique. Elle croît plus lentement que le carré de la taille de l'entrée. Cela infirme la conjecture de longue date selon laquelle les formules « difficiles » doivent produire presque $N^2$ résultats uniques.

En bref : L'auteur a trouvé une « faille » mathématique en utilisant un système de nombres complexe à haute dimension et des nombres premiers spéciaux pour forcer une formule compliquée à se comporter comme une formule simple, maintenant ainsi le nombre de résultats uniques étonnamment bas.

Résumé technique : Primes scindés et le problème d'Elekes-Rónyai

Énoncé du problème
L'article traite du problème d'Elekes–Rónyai, une question centrale en combinatoire additive et en géométrie des incidences. Le problème étudie les propriétés d'expansion de polynômes bivariés $f \in \mathbb{R}[x, y]$ sur des ensembles finis $A, B \subset \mathbb{R}$ . Plus précisément, il s'agit de déterminer la taille minimale possible de l'ensemble image $f(A, B) = \{f(a, b) : a \in A, b \in B\}$ lorsque $|A| = |B| = n$ .

Il est établi que si $f$ est « spéciale » — c'est-à-dire soit additive ( $f(x, y) = g(u(x) + v(y))$ ), soit multiplicative ( $f(x, y) = g(u(x)v(y))$ ) — la taille de l'image peut être linéaire en $n$ (par exemple, en choisissant $A$ et $B$ comme des progressions arithmétiques ou géométriques). Pour les polynômes « non spéciaux », Elekes et Rónyai (2000) ont prouvé qualitativement que la taille de l'image doit être superlinéaire ( $|f(A, B)|/n \to \infty$ ). Une conjecture célèbre d'Elekes pose une borne quantitative : pour tout polynôme non spécial et pour tout $\epsilon > 0$ , il existe une constante $C_{f, \epsilon}$ telle que $|f(A, B)| \ge C_{f, \epsilon} n^{2-\epsilon}$ .

Méthodologie et construction
L'auteur construit un contre-exemple à la conjecture d'Elekes en utilisant une combinaison de théorie algébrique des nombres, de géométrie des réseaux et d'une nouvelle application du principe de criblage « local-vers-global ».

Le polynôme : L'auteur se concentre sur le polynôme spécifique non spécial $f(x, y) = x + y + (x - y)^2$ .
Apport de la théorie algébrique des nombres : La construction repose sur une tour de corps de nombres totalement réels $K_i$ de degrés $d_i \to \infty$ et de discriminants de racines bornés (basés sur les résultats de Hajir, Maire et Ramakrishna). Crucialement, il existe un ensemble infini de nombres premiers rationnels $P$ qui se scindent complètement dans chaque corps de cette tour.
Restriction par résidus locaux : L'auteur définit un polynôme auxiliaire $f_Q(x, y) = Q(x + y) + (x - y)^2$ , où $Q$ est un produit de nombres premiers distincts de $P$ . Modulo n'importe quel idéal premier $\mathfrak{p}$ divisant $Q$ , le terme $Q(x+y)$ s'annule, forçant $f_Q(x, y) \equiv (x-y)^2 \pmod{\mathfrak{p}}$ . Par conséquent, l'image de $f_Q$ dans le corps résiduel $\mathbb{F}_p$ est restreinte à l'ensemble des résidus quadratiques (carrés), qui a une densité d'environ $1/2$ .
Construction globale via les réseaux :
- L'auteur sélectionne un corps $K$ de degré $d$ de la tour et considère une boîte de Minkowski symétrique $B_K(X)$ dans l'anneau des entiers $\mathcal{O}_K$ .
- Par le théorème des restes chinois, la restriction aux résidus quadratiques modulo chaque facteur premier de $Q$ se cumule à travers les $d$ corps résiduels indépendants générés par les nombres premiers scindés. Cela force l'image de $f_Q$ à se situer dans un ensemble de classes de résidus de densité $\rho^d$ , où $\rho < 1$ .
- En utilisant des estimations de la géométrie des nombres (lemme de Blichfeldt et arguments de compactage), l'auteur montre que le nombre de points entiers dans la boîte de Minkowski croît exponentiellement avec $d$ (spécifiquement $\sim X^d$ ), tandis que le nombre de classes de résidus autorisées croît comme $(\rho Q)^d$ .
- Parce que $\rho < 1$ , le facteur de « gain de congruence » $\rho^d$ domine la croissance de la taille de l'ensemble, résultant en une taille d'image polynomiale d'une puissance fixe inférieure à 2.

Résultats clés
L'article établit le théorème principal suivant :

Théorème 1.1 : Il existe des ensembles finis arbitrairement grands $A \subset \mathbb{R}$ et une constante absolue $c > 0$ tels que pour $f(x, y) = x + y + (x - y)^2$ :
$|f(A, A)| \le |A|^{2-c}$
De plus, pour tout $\epsilon > 0$ fixé, les ensembles peuvent être choisis de telle sorte que le doublement additif soit faible ( $|A+A| \le |A|^{1+\epsilon}$ ) tout en maintenant la borne d'image $|f(A, A)| \le |A|^{2-c_\epsilon}$ .
Vérification du caractère non spécial : L'article prouve rigoureusement que $f(x, y) = x + y + (x - y)^2$ n'est ni additif ni multiplicatif sur $\mathbb{C}$ , confirmant qu'il est un candidat valide pour le problème d'Elekes–Rónyai.

Signification et affirmations
L'article prétend infirmer la conjecture d'Elekes concernant la borne inférieure quasi-quadratique pour les polynômes non spéciaux. En démontrant qu'un polynôme non spécial spécifique peut avoir une taille d'image de $O(n^{2-c})$ (où $c > 0$ est une constante), l'auteur montre que la borne conjecturée de $n^{2-\epsilon}$ est fausse.

La construction est décrite comme une inversion d'une méthode de « grand crible combinatoire ». Alors que les méthodes de crible typiques utilisent un branchement local pour prouver que les ensembles ayant une multiplicité bornée doivent être petits, ce travail utilise le branchement local (nombres premiers scindés) pour forcer les valeurs dans une petite collection de classes de résidus locales, construisant ainsi un grand ensemble avec une petite image.

L'article note que la construction a été annoncée pour la première fois dans un article de blog en juin 2026 et repose sur des percées récentes dans le problème des distances unitaires d'Erdős et la conjecture somme-produit, utilisant spécifiquement des boîtes de Minkowski symétriques de haute dimension et des tours de discriminants de racines bornés. Ce travail fournit une preuve formelle et un contexte détaillé pour ces contre-exemples.