🔢 mathematics

The sum-product conjecture is false for real numbers

Dit artikel weerlegt de som-productvermoeden voor reële getallen en verwante settings door willekeurig grote verzamelingen te construeren met gelijktijdig kleine som- en productverzamelingen, waardoor het vermoeden en het veelvoudige sommen-en-productenvermoeden worden weerlegd en tegelijkertijd nieuwe grenswaarden worden vastgesteld voor oplossingen van lineaire en eenheidsvergelijkingen.

Oorspronkelijke auteurs: Thomas F Bloom, Will Sawin, Carl Schildkraut, Dmitrii Zhelezov

Gepubliceerd 2026-05-28

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Thomas F Bloom, Will Sawin, Carl Schildkraut, Dmitrii Zhelezov

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

Het Grote Idee: Een 50 Jaar Oude Regel Breken

Stel je hebt een zak vol met getallen. Je kunt er twee dingen mee doen:

Ze optellen (een "Sommenverzameling" creëren).
Ze vermenigvuldigen (een "Productverzameling" creëren).

Decennialang geloofden wiskundigen in een regel genaamd de Som-Product Conjectuur. De regel was simpel: Je kunt niet beide hebben.

De intuïtie was dat als je getallen "op elkaar gepakt" zitten, zodat het optellen ervan niet veel nieuwe getallen creëert (zoals een rechte lijn van getallen), het vermenigvuldigen ervan dan moet ontploffen tot een enorme verscheidenheid aan nieuwe getallen. Omgekeerd, als het vermenigvuldigen ze klein houdt (zoals een meetkundige rij), dan moet het optellen een enorme explosie van nieuwe getallen creëren.

De conjectuur stelde dat voor elke grote verzameling reële getallen, ten minste één van deze bewerkingen een enorm aantal resultaten moet genereren. Het werd onmogelijk geacht om een verzameling te hebben waarbij zowel optellen als vermenigvuldigen klein blijven.

Dit artikel zegt: "Niet zo snel."

De auteurs hebben een wiskundige "goocheltruc" bedacht die deze regel voor reële getallen weerlegt. Ze hebben specifieke, enorme verzamelingen getallen geconstrueerd waarbij zowel de sommenverzameling als de productverzameling verrassend klein blijven. Ze hebben de regel niet alleen gebroken; ze hebben hem gebroken met een enorme, willekeurig grote verzameling getallen.

De Goocheltruc: Hoe Ze Het Dedden

Om hun constructie te begrijpen, stel je voor dat je een stad aan het bouwen bent.

1. De Oude Manier (Het Balog-Wooley Voorbeeld)

Voorheen probeerden wiskundigen een kleine verzameling te maken door twee soorten wijken te mengen:

De Meetkundige Straat: Een straat waar huizen exponentieel uit elkaar staan (1, 10, 100, 1000...). Als je deze vermenigvuldigt, blijf je op de straat. Maar als je ze optelt, zijn de gaten zo enorm dat de sommen overal verspreiden.
De Aritmetische Straat: Een straat waar huizen gelijkmatig gescheiden zijn (1, 2, 3, 4...). Als je ze optelt, blijven ze in een strak blok. Maar als je ze vermenigvuldigt, exploderen de getallen.

De oude truc was om deze straten te mengen. Maar de "Meetkundige Straat" was te spaarzaam. Het was alsof je een paar huizen had op een enorme snelweg. Toen je ze optelde, was het resultaat nog steeds te groot om de regel te breken.

2. De Nieuwe Manier (Het Hoogdimensionale Rooster)

De auteurs realiseerden zich dat ze een "Meetkundige Straat" nodig hadden die dicht was (volgepropt met huizen) maar zich toch netjes gedroeg bij vermenigvuldiging. Ze vonden dit door te bewegen van een platte 2D-kaart naar een hoogdimensionale hyperstad.

De Stad (Getallichamen): In plaats van te werken met normale gehele getallen, bouwden ze hun getallen binnen een speciaal "universum" genaamd een volledig reëel getallichaam. Denk hierbij aan een stad met $d$ verschillende dimensies (waarbij $d$ een zeer groot getal is).
Het Additieve Rooster (Het Doosje): Ze kozen een blok getallen dat eruitziet als een perfect, strak kubus in deze hoogdimensionale ruimte. Wanneer je getallen uit deze kubus optelt, is het resultaat slechts een iets grotere kubus. Het blijft compact.
Het Multiplicatieve Rooster (De Eenheden): Ze kozen ook een speciale groep getallen die "eenheden" worden genoemd. In deze hoogdimensionale wereld gedragen deze eenheden zich als een dichte meetkundige rij. Wanneer je ze vermenigvuldigt, blijven ze binnen een strak, voorspelbaar vorm.

3. De Geheime Ingrediënt: Het "Directe Product"

De geniale zet was het combineren van deze twee roosters. Ze namen elk getal uit de "Additieve Kubus" en vermenigvuldigden het met elk getal uit het "Multiplicatieve Rooster".

Waarom het werkt: Omdat de "Additieve Kubus" zo strak gepakt is en het "Multiplicatieve Rooster" zo dicht, is de resulterende verzameling enorm (willekeurig groot).
Het Resultaat:
- Wanneer je twee getallen uit deze nieuwe verzameling optelt, houdt het "Additieve Kubus"-deel ervoor dat het resultaat niet explodeert.
- Wanneer je twee getallen vermenigvuldigt, houdt het "Multiplicatieve Rooster"-deel ervoor dat het resultaat niet explodeert.

Het is alsof je een stad hebt waar de straten zo perfect zijn ontworpen dat je, ongeacht hoe je loopt (optellen) of hoe je rijdt (vermenigvuldigen), nooit een klein, beheersbaar buurtje verlaat.

Waarom Dit Belangrijk Is (Volgens Het Artikel)

Het artikel zegt niet alleen "we hebben de regel gebroken". Het laat zien hoe je het in verschillende wiskundige werelden kunt breken:

Reële Getallen: Ze bewezen dat de regel onwaar is voor standaard reële getallen (de getallen die we in het dagelijks leven gebruiken).
p-adische Getallen: Ze toonden aan dat dezelfde truc werkt in een ander type getalstelsel dat wordt gebruikt in geavanceerde fysica en cryptografie.
Eindige Velden: Ze toonden aan dat je zelfs in "klok-rekenen" (waarbij getallen om de hoek draaien) verzamelingen kunt vinden die de regel breken.
Functievelden: Ze breidden dit uit tot velden van formele machtreeksen (gebruikt in coderingstheorie).

De "AI"-Opmerking

De auteurs vermelden dat ze geïspireerd waren door een recent door AI gegenereerd tegenvoorbeeld voor een ander wiskundig probleem (de "eenheidsafstand conjectuur"). Hoewel ze een AI (GPT-5.5 Pro) gebruikten als "klankbord" om één specifiek lemma (een kleine bewijsstap) te helpen vereenvoudigen, waren de kernideeën, de hoofdconstructie en het volledige bewijs door mensen gegenereerd. De AI was slechts een behulpzame assistent, niet de architect.

Samenvatting

Gedurende 50 jaar dachten wiskundigen dat je geen verzameling getallen kon hebben die "klein" is onder zowel optellen als vermenigvuldigen. Dit artikel zegt: "We hebben er één gebouwd."

Ze deden dit door een enorme, hoogdimensionale wiskundige structuur te construeren waarbij de regels van optellen en vermenigvuldigen perfect in balans zijn om de resultaten klein te houden. Ze bewezen dat de oude regel verkeerd was, niet alleen voor een klein, raar uitzondering, maar voor verzamelingen getallen die zo groot kunnen zijn als je maar wilt.

Technische Samenvatting: De Som-Product Vermoeden is Vals voor Reële Getallen

Probleemstelling
Het artikel behandelt het Erdős–Szemerédi som-product vermoeden, dat stelt dat voor elke eindige verzameling $A$ in een ring (specifiek $\mathbb{Z}$ , $\mathbb{R}$ of $\mathbb{C}$ ), ten minste één van de sommenverzameling $A+A = \{a+b : a,b \in A\}$ of de productverzameling $AA = \{ab : a,b \in A\}$ bijna-maximaal moet groeien. Formeel stelt het vermoeden:
$\max(|A+A|, |AA|) \ge |A|^{2-o(1)}$
waarbij de term $o(1)$ verdwijnt als $|A| \to \infty$ . Hoewel de beste bekende ondergrenzen voor deelverzamelingen van $\mathbb{R}$ de vorm $|A|^{4/3+c}$ hebben, blijft het vermoeden open. De auteurs onderzoeken of dit vermoeden waar is over de reële getallen.

Methodologie
De auteurs construeren expliciete tegenvoorbeelden met behulp van algebraïsch getaltheorie, specifiek door volledig reële getallenlichamen van hoge graad te benutten. De kernstrategie omvat een generalisatie in hoge dimensie van het Balog–Wooley-voorbeeld, waarbij de standaard meetkundige rij en rekenkundige rij worden vervangen door gestructureerde deelverzamelingen van de ring van gehele getallen $\mathcal{O}_K$ van een getallichaam $K$ .

De constructie berust op twee verschillende roosterstructuren binnen $\mathcal{O}_K$ :

Het Additieve Rooster: Een "doos" $P$ van algebraïsche gehele getallen waarbij alle reële inbeddingen $\sigma_i(p)$ liggen in een kort interval $[X-cX, X+cX]$. Dit zorgt ervoor dat de additieve structuur beperkt blijft tot een klein gebied.
Het Multiplicatieve Rooster: Een verzameling $G$ van eenheden $u \in \mathcal{O}_K^\times$ waarbij de logaritmen van hun inbeddingen $|\log|\sigma_i(u)||$ begrensd zijn door een constante $Y$ . Dit creëert een verzameling met kleine productgroei (kleine verdubbeling).

De tegenvoorbeeldverzameling wordt gedefinieerd als het product $A = GP = \{up : u \in G, p \in P\}$ . De auteurs zorgen ervoor dat dit product direct is (d.w.z. $|A| = |G||P|$ ) door parameters te kiezen zodat de verhouding van twee willekeurige elementen in $P$ geen niet-triviale eenheid kan zijn, een eigenschap die gegarandeerd wordt door resultaten van Schinzel over de scheiding van eenheden.

Het bestaan van geschikte getallichamen wordt gegarandeerd door de constructie van Martinet van torens van volledig reële lichamen met een gebonden worteldiscriminant ( $\Delta_K \le C^d$ ) en gecontroleerde regulatoren ( $R_K \le \Delta_K$ ). Deze grenzen zorgen ervoor dat de roostervolumes (en dus de groottes van $P$ en $G$ ) exponentieel groeien met de graad $d$ , waardoor de constructie van willekeurig grote verzamelingen $A$ mogelijk wordt.

Belangrijkste Bijdragen en Resultaten

Weerspreking van het Som-Product Vermoeden over $\mathbb{R}$ :
Het primaire resultaat (Stelling 1.1) stelt het bestaan van een absolute constante $c > 0$ vast, zodat er willekeurig grote eindige verzamelingen $A \subset \mathbb{R}$ bestaan die voldoen aan:
$\max(|A+A|, |AA|) \le |A|^{2-c}$
Dit staat in direct contrast met het vermoeden. De constructie levert verzamelingen op waarbij de sommenverzameling klein is ( $|A+A| \le |A|^{1+\epsilon}$ ) en de productverzameling krachtoverwinning vertoont ( $|AA| \le |A|^{2-c\epsilon}$ ).
Weerspreking van het Vermoeden over "Veel Sommen en Producten":
De auteurs breiden hun constructie uit om het sterkere vermoeden van Erdős over $k$ -voudige sommen en producten te weerleggen. Voor elke vaste $k \ge 3$ construeren ze willekeurig grote $A \subset \mathbb{R}$ zodat:
$\max(|kA|, |A^{(k)}|) \le |A|^{C \frac{\log k}{\log \log k}}$
Deze afhankelijkheid van $k$ wordt als waarschijnlijk optimaal beschouwd voor vaste $k$ als $|A| \to \infty$ .
Nieuwe Ondergrenzen voor Lineaire Vergelijkingen in Multiplicatieve Groepen:
De constructie biedt nieuwe ondergrenzen voor het aantal oplossingen van lineaire vergelijkingen $x_1 + \dots + x_k = 1$ met $x_i$ in een multiplicatieve groep $\Gamma$ .
- Voor ondergroepen van $\mathbb{R}^\times$ van rang $d$ wordt aangetoond dat het aantal niet-gedegenereerde oplossingen ten minste $\exp((C^{-1}k \log k)d)$ bedraagt, wat aantoont dat de lineaire afhankelijkheid van de rang $d$ in de exponent van de bovengrens van Evertse–Schlickewei–Schmidt optimaal is.
- Voor de eenheidsvergelijking in getallichamen tonen de auteurs aan dat voor voldoende grote $k$ er lichamen van graad $d$ bestaan met ten minste $C^d$ oplossingen, waardoor vermoedens van sub-exponentiële groei voor $k \ge 3$ worden weerlegd.
Varianten in Andere Contexten:
De methodologie wordt aangepast om tegenvoorbeelden te produceren in:
- $p$ -adische getallen ( $\mathbb{Q}_p$ ): Met behulp van lichamen waarin $p$ volledig splitst.
- Eindige velden ( $\mathbb{F}_p$ ): Door de constructie van algebraïsche gehele getallen te reduceren modulo $p$ , wat verzamelingen oplevert van grootte $p^c < |A| < p^{1/2}$ met kleine som-product groei.
- Functionievelden ( $\mathbb{F}_q((t))$ ): Met behulp van lijnbundels op algebraïsche krommen met veel rationale punten (Drinfeld–Vlăduț–Zink-rijen) om tegenvoorbeelden te construeren in positieve karakteristiek.

Betekenis en Claims
Het artikel claimt het som-product vermoeden voor reële getallen definitief te weerleggen, een probleem dat decennia lang centraal heeft gestaan in de additieve combinatoriek. De auteurs benadrukken dat hoewel het vermoeden mogelijk nog geldt voor verzamelingen in getallichamen van begrenste graad (zoals $\mathbb{Z}$ ), het faalt in de algemene setting van $\mathbb{R}$ vanwege de beschikbaarheid van algebraïsche structuren van hoge graad.

De auteurs merken op dat hun bewijs berust op het bestaan van getallichamen met specifieke rekenkundige eigenschappen (gebroken discriminant en regulator), wat niet-triviaal is om te construeren maar goed gevestigd is in de algebraïsche getaltheorie. Ze stellen expliciet dat het uiteindelijke bewijs, inclusief de belangrijkste ideeën, bijna volledig door mensen is gegenereerd, hoewel ze AI gebruikten als "klankbord" in de vroege stadia en voor een specifiek elementair lemma (Lemma 3.4) dat een complexer resultaat vereenvoudigde.

Het werk biedt ook nieuwe kwantitatieve inzichten in de grenzen van som-product fenomenen, waarbij wordt aangetoond dat de "krachtoverwinning" in productverzamelingen gelijktijdig kan worden bereikt met kleine sommenverzamelingen, mits de onderliggende algebraïsche structuur voldoende rijk is (hoge graad). Het artikel concludeert met het bieden van expliciete, zij het kleine, waarden voor de constante $c$ (bijv. $c \ge 0.00000087$ ) en het aantonen dat soortgelijke fenomenen voorkomen in diverse algebraïsche settings, waaronder $p$ -adische getallen en functionievelden.