🔢 mathematics

Split primes and the Elekes-Rónyai problem

Dit artikel presenteert een tegenvoorbeeld voor het Elekes-Rónyai probleem door het bestaan aan te tonen van willekeurig grote eindige verzamelingen $A \subset \mathbb{R}$ waarbij de afbeelding van het niet-additieve, niet-multiplicatieve polynoom $x+y+(x-y)^2$ significant kleiner is dan kwadratisch, specifiek begrensd door $|A|^{2-c}$ voor een absolute constante $c>0$ .

Oorspronkelijke auteurs: Cosmin Pohoata

Gepubliceerd 2026-06-12

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Cosmin Pohoata

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

De Grote Vraag: Kun je de Chaos Verbergen?

Stel je voor dat je een enorme machine hebt (een wiskundige formule) die twee getallen, $x$ en $y$ , neemt en een nieuw getal uitspuugt. Laten we deze machine $f$ noemen.

Stel je nu een grote zak met getallen voor, laten we die Set A noemen. Je neemt elk mogelijk paar getallen uit deze zak, voert ze in de machine in, en verzamelt alle resultaten. Deze verzameling resultaten wordt de Afbeelding-set (Image Set) genoemd.

De Puzzel:
Wiskundigen vragen zich al lang af: als je een "complexe" machine kiest (één die niet simpelweg getallen optelt of vermenigvuldigt op een eenvoudige manier), kun je dan ooit je zak met getallen zo ordenen dat de machine heel weinig unieke resultaten produceert?

De "Gemakkelijke" Machines: Als je machine simpelweg optellen is ( $x+y$ ) of vermenigvuldigen ( $x \times y$ ), kun je de machine gemakkelijk misleiden. Als je een rekenkundige progressie gebruikt (zoals 1, 2, 3, 4), blijven de sommen klein en voorspelbaar. Als je een geometrische progressie gebruikt (zoals 2, 4, 8, 16), blijven de producten klein. In deze gevallen groeit het aantal unieke resultaten traag (lineair) naarmate je meer getallen aan je zak toevoegt.
De "Moeilijke" Machines: Het beroemde Elekes-Rónyai probleem vroeg: wat als de machine niet simpel is? Wat als het een mix is, zoals $x + y + (x-y)^2$ ? De heersende overtuiging (een conjectuur van Elekes) was dat voor deze "moeilijke" machines, ongeacht hoe slim je je getallen kiest, het aantal unieke resultaten zal exploderen. Het zou bijna net zo snel groeien als het kwadraat van de grootte van je zak (als je $N$ getallen hebt, zou je ongeveer $N^2$ unieke resultaten moeten krijgen).

De Doorbraak: De "Magische Zeef"

In dit artikel zegt de auteur, Cosmin Pohoata: "Eigenlijk kun je de moeilijke machine misleiden."

Hij bewijst dat er een specifieële "moeilijke" machine bestaat ( $f(x, y) = x + y + (x-y)^2$ ) en een manier om getallen te kiezen zodat het aantal unieke resultaten veel kleiner is dan verwacht. Het is niet zomaar een beetje kleiner; het is aanzienlijk kleiner, waardoor de regel die iedereen onbreekbaar achtte, wordt doorbroken.

Hoe heeft hij het gedaan? (De Analogie)

Om de truc te begrijpen, stel je voor dat je probeert een specifieke set sleutels te verbergen in een enorm, meerverdiepingsgebouw.

Het Gebouw (Het Getallensysteem): In plaats van naar normale getallen te kijken, bouwt de auteur een speciale, hoogdimensionale "getallenwereld" (een wiskundige structuur die een getalveld wordt genoemd). Denk hierbij aan een gebouw met duizenden verdiepingen.
De Sloten (De Priemen): Hij kiest een speciale set "sloten" (priemgetallen) die een zeer specifieke eigenschap hebben: ze splitsen zich perfect op in veel onafhankelijke kamers op elke verdieping van het gebouw.
De Val (De Residuklassen): De auteur ontwerpt zijn machine zo dat de output, ongeacht welke getallen je erin stopt, moet landen in een zeer specifieke, kleine hoek van het gebouw.
- Stel je voor dat de machine op elke verdieping gedwongen wordt om alleen te landen in "kamers met een even nummer" of "kamers met een rode deur".
- Omdat de machine aan deze regel op elke verdieping tegelijkertijd moet voldoen, wordt het aantal mogelijke plaatsen waar het kan eindigen ongelooflijk klein.
Het Resultaat: Hoewel het gebouw enorm is (wat een grote verzameling getallen vertegenwoordigt), zijn de "toegestane" kamers zo weinig dat de machine zeer weinig unieke uitkomsten produceert.

Het Geheim van de "Split Prime"

Het geheime ingrediënt is iets dat Split Primes (gesplitste priemgetallen) wordt genoemd.

In de normale wiskunde kan een priemgetal fungeren als een enkele, solide muur.
In deze speciale getallenwereld van de auteur "splitsen" deze priemgetallen zich als een boom die vertakt. Eén priemgetal wordt vele onafhankelijke "residuele velden" (zoals veel kleine, aparte kamers).
De auteur gebruikt een toren van deze getallenwerelden, die steeds hoger wordt (hogere dimensies).
In elke kleine kamer wordt de machine gedwongen om een "kwadraat" getal te produceren (zoals 0, 1, 4, 9). Omdat kwadraten zeldzaam zijn vergeleken met alle andere getallen, beperkt dit de output.
Omdat de priemgetallen splitsen in veel kamers, gebeurt deze beperking keer op keer. De beperkingen vermenigvuldigen zich, wat een "flessenhals" creëert die het aantal unieke resultaten drastisch naar beneden drukt.

De "Small Doubling" Bonus

Het artikel laat ook iets nog veel coolers zien. Niet alleen produceert de machine weinig resultaten, maar de getallen in de zak hebben ook een speciale eigenschap: als je twee getallen uit de zak bij elkaar optelt, krijg je niet te veel nieuwe getallen.

Analogie: Stel je een groep mensen voor waarbij, als je hen koppelt om nieuwe teams te vormen, het aantal unieke teams dat gevormd wordt, nog steeds relatief klein is. Dit maakt de "zak met getallen" zeer gestructureerd en efficiënt, wat helpt om de truc nog beter te laten werken.

De Conclusie

De auteur heeft succesvol een tegenvoorbeeld gebouwd. Hij heeft aangetoond dat voor de specifieke formule $x + y + (x-y)^2$ , je enorme verzamelingen getallen kunt vinden waarbij het aantal unieke uitkomsten ongeveer $N^{2-c}$ is (waarbij $c$ een kleine positieve constante is).

Dit betekent dat de output sub-kwadratisch is. Het groeit langzamer dan het kwadraat van de grootte van de input. Hiermee wordt de langdurige conjectuur weerlegd dat "moeilijke" formules moeten resulteren in bijna $N^2$ unieke resultaten.

Kortom: De auteur heeft een wiskundige "loophole" gevonden door gebruik te maken van een complex, hoogdimensionaal getallensysteem en speciale priemgetallen om een ingewikkelde formule te dwingen zich als een simpele formule te gedragen, waardoor het aantal unieke resultaten verrassend laag blijft.

Technische Samenvatting: Gesplitste priemgetallen en het Elekes-Rónyai probleem

Probleemstelling
Het artikel behandelt het Elekes–Rónyai probleem, een centraal vraagstuk in de combinatorische getaltheorie en de incidentiegeometrie. Het probleem onderzoekt de expansie-eigenschappen van bivariate polynomen $f \in \mathbb{R}[x, y]$ over eindige verzamelingen $A, B \subset \mathbb{R}$ . Specifiek wordt gevraagd naar de minimale mogelijke grootte van de beeldverzameling $f(A, B) = \{f(a, b) : a \in A, b \in B\}$ wanneer $|A| = |B| = n$ .

Er is vastgesteld dat als $f$ "speciaal" is—wat betekent dat deze ofwel additief ( $f(x, y) = g(u(x) + v(y))$ ) ofwel multiplicatief ( $f(x, y) = g(u(x)v(y))$ ) is—de grootte van de beeldverzameling lineair in $n$ kan zijn (bijvoorbeeld door $A$ en $B$ te kiezen als rekenkundige of geometrische progressies). Voor "niet-speciale" polynomen bewezen Elekes en Rónyai (2000) kwalitatief dat de grootte van de beeldverzameling superlineair moet zijn ( $|f(A, B)|/n \to \infty$ ). Een prominente conjectuur van Elekes stelt een kwantitatieve grens: voor elke niet-speciale polynoom en voor elke $\epsilon > 0$ , bestaat er een constante $C_{f, \epsilon}$ zodanig dat $|f(A, B)| \ge C_{f, \epsilon} n^{2-\epsilon}$ .

Methodologie en Constructie
Het artikel construeert een tegenvoorbeeld voor de conjectuur van Elekes met behulp van een combinatie van algebraïsche getaltheorie, roostergeometrie en een nieuwe toepassing van een "lokaal-naar-globaal" zeefprincipe.

De Polynoom: De auteur richt zich op de specifieke niet-speciale polynoom $f(x, y) = x + y + (x - y)^2$ .
Input uit de Algebraïsche Getaltheorie: De constructie rust op een toren van totaal reële getalvelden $K_i$ met graden $d_i \to \infty$ en begrensde worteldiscriminanten (gebaseerd op resultaten van Hajir, Maire en Ramakrishna). Cruciaal is dat er een oneindige verzameling rationale priemgetallen $P$ bestaat die volledig splitsen in elk veld van deze toren.
Lokale Residu-restrictie: De auteur definieert een hulp-polynoom $f_Q(x, y) = Q(x + y) + (x - y)^2$ , waarbij $Q$ een product is van onderscheidende priemgetallen uit $P$ . Modulo elk priemideaal $\mathfrak{p}$ dat $Q$ deelt, verdwijnt de term $Q(x+y)$ , waardoor $f_Q(x, y) \equiv (x-y)^2 \pmod{\mathfrak{p}}$ wordt afgedwongen. Bijgevolg is het beeld van $f_Q$ in het residuveld $\mathbb{F}_p$ beperkt tot de verzameling kwadratische residuen (vierkanten), die een dichtheid heeft van ongeveer $1/2$ .
Globale Constructie via Rasters:
- De auteur selecteert een veld $K$ van graad $d$ uit de toren en beschouwt een symmetrische Minkowski-box $B_K(X)$ in de ring van gehele getallen $\mathcal{O}_K$ .
- Door de Chinese Reststelling wordt de restrictie tot kwadratische residuen modulo elk priemfactor van $Q$ gecompenseerd over de $d$ onafhankelijke residuvelden gegenereerd door de splitsende priemgetallen. Dit dwingt het beeld van $f_Q$ in een verzameling residuklassen met een dichtheid $\rho^d$ , waarbij $\rho < 1$ .
- Met behulp van geometrie-van-getallen-schattingen (Blichfeldt's lemma en pakking-argumenten) toont de auteur aan dat het aantal gehele punten in de Minkowski-box exponentieel groeit met $d$ (specifiek $\sim X^d$ ), terwijl het aantal toegestane residuklassen groeit als $(\rho Q)^d$ .
- Omdat $\rho < 1$ , domineert de "congruentie-besparende" factor $\rho^d$ de groei van de verzameling, wat resulteert in een polynoom-beeldgrootte die een vaste macht minder is dan 2.

Belangrijkste Resultaten
Het artikel stelt het volgende hoofddoel vast:

Stelling 1.1: Er bestaan willekeurige grote eindige verzamelingen $A \subset \mathbb{R}$ en een absolute constante $c > 0$ zodanig dat voor $f(x, y) = x + y + (x - y)^2$ :
$|f(A, A)| \le |A|^{2-c}$
Verder kunnen de verzamelingen worden gekozen zodanig dat de additieve verdubbeling klein is ( $|A+A| \le |A|^{1+\epsilon}$ ) terwijl de beeldgrens $|f(A, A)| \le |A|^{2-c_\epsilon}$ behouden blijft voor elke vaste $\epsilon > 0$ .
Verificatie van Niet-Specialiteit: Het artikel bewijst rigoureus dat $f(x, y) = x + y + (x - y)^2$ noch additief, noch multiplicatief is over $\mathbb{C}$ , waarmee wordt bevestigd dat het een geldige kandidaat is voor het Elekes–Rónyai probleem.

Betekenis en Claims
Het artikel claimt de conjectuur van Elekes over de bijna-kwadratische ondergrens voor niet-speciale polynomen te weerleggen. Door aan te tonen dat een specifieke niet-speciale polynoom een beeldgrootte kan hebben van $O(n^{2-c})$ (waarbij $c > 0$ een constante is), toont de auteur aan dat de geconstateerde grens van $n^{2-\epsilon}$ onjuist is.

De constructie wordt beschreven als een inversie van een "combinatorische grote zeef"-methode. Waar typische zeefmethoden lokale vertakking gebruiken om te bewijzen dat verzamelingen met een begrensde veelvoud klein moeten zijn, gebruikt dit werk lokale vertakking (splitsende priemgetallen) om waarden in een kleine collectie lokale residuklassen te dwingen, waarmee zo een grote verzameling met een kleine beeldverzameling wordt geconstrueerd.

Het artikel vermeldt dat de constructie voor het eerst werd aangekondigd in een blogpost in juni 2026 en steunt op recente doorbraken in het Erdős eenheidsafstandprobleem en de som-product conjectuur, specif