🔢 mathematics

Both $AA$ and $(A+1)(A+1)$ can be small

Dit artikel toont het bestaan aan van willekeurig grote eindige verzamelingen van reële getallen waarbij zowel de productverzameling $AA$ als de verschoven productverzameling $(A+1)(A+1)$ gelijktijdig aanzienlijk kleiner zijn dan de triviale kwadratische bovengrens, waarmee een sterke vorm van de som-productveronderstelling over $\mathbb{R}$ wordt weerlegd.

Oorspronkelijke auteurs: Oliver Roche-Newton, Audie Warren

Gepubliceerd 2026-06-24

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Oliver Roche-Newton, Audie Warren

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

Stel je voor dat je een gigantische doos met getallen hebt. In de wereld van de wiskunde is er een beroemde vuistregel genaamd de "Som-Product Vermoeden". Het zegt in essentie: Je kunt niet aan beide kanten trekken.

Als je een groep getallen neemt en ze bij elkaar mengt door ze op te tellen (zoals het maken van een som), krijg je meestal een enorme, rommelige stapel nieuwe getallen. Als je ze mengt door ze te vermenigvuldigen, krijg je ook een enorme, rommelige stapel. Het vermoeden beweerde dat je nooit een speciale groep getallen kon vinden waarbij zowel het optellen (het mengen door optelling) als het vermenigvuldigen (het mengen door vermenigvuldiging) tegelijkertijd klein en overzichtelijk bleef. Men geloofde dat als je de vermenigvuldiging klein hield, de optelling zou exploderen, en andersom.

Dit artikel, geschreven door Oliver Roche-Newton en Audie Warren, is als een magiër die een konijn uit een hoed tovert om te zeggen: "Eigenlijk kun je wel aan beide kanten trekken."

Hier is de eenvoudige uitleg van hoe ze het deden:

De Opzet: Een Speciale Wiskundige Speeltuin

Om hun punt te bewijzen, kozen de auteurs niet zomaar willekeurige getallen zoals 1, 2 of 3. Ze bouwden een zeer specifieke, hoogtechnologische "speeltuin" met behulp van een concept uit de geavanceerde wiskunde genaamd een Getalveld.

Beschouw dit Getalveld als een speciaal universum met zijn eigen regels. Binnen dit universum creëerden ze twee verschillende soorten "klonten" van getallen:

De "Additieve" Klont: Een groep getallen die, wanneer je ze bij elkaar optelt, heel dicht bij elkaar blijven (als een hechte familie).
De "Multiplicatieve" Klont: Een groep getallen die, wanneer je ze met elkaar vermenigvuldigt, ook heel dicht bij elkaar blijven (als een set tandwielen die perfect in elkaar passen).

De Truc: De "Schaduw" en de "Spiegel"

De auteurs combineerden deze twee klonten om hun uiteindelijke verzameling te creëren, laten we het Verzameling A noemen.

De Vermenigvuldigingstest: Wanneer ze elk getal in Verzameling A met elk ander getal in Verzameling A vermenigvuldigden, was het resultaat verrassend klein. Het was alsoer dat je een klein handje knikkers bij elkaar rolt, maar ze landen alleen in een heel klein, specifisch hoekje van de vloer.
De Optellingstest (De Twist): Hier komt het lastige deel. Ze telden niet alleen de getallen bij elkaar op; ze telden eerst 1 op bij elk getal (een verschuiving van de hele groep), en vermenigvuldigden ze daarna.
- Stel je een rij mensen voor. Je vraagt hen om hun namen te vermenigvuldigen (vreemd, nietwaar?). Dan vraag je hen om allemaal één stap naar voren te zetten, en daarna hun nieuwe posities te vermenigvuldigen.
- Normaal gesproken verpest de verschuiving (de "shift") het patroon. Het verspreidt de resultaten.
- Maar in de constructie van dit artikel bleef het patroon niet kapot door de verschuiving. De auteurs toonden aan dat zelfs na het verschuiven van de getallen met 1, de resulterende vermenigvuldiging nog steeds klein en overzichtelijk bleef.

De "Veel Vertalingen" Bonus

Het artikel gaat nog een stap verder. Ze lieten zien dat deze truc niet alleen werkt voor het verschuiven met 1. Je kunt de getallen verschuiven door elk specifiek geheel getal (zoals 1, 5 of 100), en zolang je de "speeltuin" groot genoeg bouwt, zal de vermenigvuldiging nog steeds klein blijven.

Het Grote Plaatje

Voordat dit artikel verscheen, geloofden wiskundigen dat als je een verzameling getallen had waar de vermenigvuldiging "klein" was, het optellen van een verschuiving (zoals +1) de vermenigvuldiging "enorm" zou maken.

Dit artikel bewijst dat dit geloof onjuist is. Ze construeerden een specifieke, eindige verzameling reële getallen waarbij de maximale grootte van de productverzameling en de verschoven productverzameling aanzienlijk kleiner is dan iedereen voor mogelijk hield.

De Analogie:
Stel je een dansvloer voor.

Het Oude Geloof: Als je iedereen vertelt om in een strakke cirkel te dansen (vermenigvuldiging), en je vertelt hen vervolgens om allemaal één stap naar rechts te doen (de verschuiving), dan breekt de cirkel en verspreiden ze zich over de hele kamer.
De Ontdekking van dit Artikel: Ze hebben een manier gevonden om de dans te choreograferen zodat zelfs nadat iedereen die stap naar rechts heeft gezet, ze nog steeds in een strakke cirkel eindigen.

Conclusie

De auteurs hebben aangetoond dat er een "achterdeurtje" is in de oude regels. Ze hebben een specifieke, eindige verzameling reële getallen geconstrueerd waarbij de maximale grootte van de productverzameling en de verschoven productverzameling aanzienlijk kleiner is dan voorheen werd gedacht.

Belangrijke Opmerking: De auteurs hebben een generatieve AI gebruikt om te helpen bij het brainstormen over de ideeën voor deze notitie, maar ze verklaren expliciet dat elk woord geschreven en elke wiskundige stap geverifieerd is door mensen. Ze beweren niet dat dit al werkt voor medische behandelingen of echte techniek; het is een pure wiskundige ontdekking over hoe getallen op onverwachte manieren kunnen gedragen.

Technische Samenvatting: "Zowel AA als (A + 1)(A + 1) Kunnen Klein Zijn"

Probleemstelling
Het artikel behandelt een centrale vraag in de additieve combinatoriek met betrekking tot de interactie tussen additieve en multiplicatieve structuren binnen deelverzamelingen van de reële getallen ( $\mathbb{R}$ ). Een fundamenteel principe van de som-producttheorie stelt dat additieve verschuivingen de multiplicatieve structuur verstoren. Specifiek wordt algemeen verwacht dat voor een eindige verzameling $A \subset \mathbb{R}$ , ten minste één van de verzamelingen de productverzameling $AA$ of de verschoven productverzameling $(A+1)(A+1)$ groot moet zijn.

De best bekende ondergrens voor dit maximum, vastgesteld door Stevens en Warren, stelt dat $\max\{|AA|, |(A+1)(A+1)|\} \geq |A|^{1 + \frac{11}{38} - o(1)}$ . Een folklore-conjectuur suggereerde dat de exponent in deze ongelijkheid willekeurig dicht bij 2 genomen kon worden, wat impliceert dat het onmogelijk is dat beide verzamelingen tegelijkertijd klein zijn (d.w.z. van omvang $O(|A|^{2-\epsilon})$ ). Recent werk door Bloom, Sawin, Schildkraut en Zhelezov (BSZ) heeft de standaard som-productconjectuur over $\mathbb{R}$ weerlegd, wat suggereert dat de exponent 2 mogelijk niet de juiste barrière is. Dit artikel onderzoekt of de specifieke conjectuur met betrekking tot de gelijktijdige kleinheid van $AA$ en $(A+1)(A+1)$ standhoudt.

Methodologie
De auteurs passen de constructie aan die door BSZ is gebruikt om de algemene som-productconjectuur te weerleggen. De methodologie steunt op getaltheoretische objecten binnen een totaal reëel getalveld $K$ van graad $d$ over $\mathbb{Q}$ . De constructie verloopt als volgt:

Lattice-constructie: Gebruikmakend van een stelling van Martinet, selecteren de auteurs een totaal reëel getalveld $K$ met een discriminant $\Delta_K$ begrensd door $C^d$ . Zij beschouwen de ring van algebraische gehele getallen $\mathcal{O}_K$ en de groep van eenheden $\mathcal{O}_K^*$ .
Geometrische inbeddingen:
- Additieve Structuur: De Minkowski-inbedding $\phi: \mathcal{O}_K \to \mathbb{R}^d$ brengt algebraische gehele getallen naar een rooster (lattice) $\Lambda$ . De auteurs definiëren een verzameling $B^+(R)$ van algebraische gehele getallen waarvan inbeddingen binnen een doos liggen met zijde $2R$ . De somverzameling van deze verzameling is klein omdat deze binnen een iets grotere doos blijft.
- Multiplicatieve Structuur: De logaritmische inbedding $\psi: \mathcal{O}_K^* \to \mathbb{R}^d$ brengt eenheden naar een rooster van rang $d-1$ dat in een hypervlak ligt. De auteurs definiëren een verzameling $B^*(Y)$ van eenheden waarvan logaritmische inbeddingen binnen een doos liggen met zijde $2Y$ . De productverzameling van deze verzameling is klein omdat de vermenigvuldiging van eenheden overeenkomt met optelling in het logaritmische rooster.
Verzameling-definitie: De doelverzameling $A$ wordt geconstrueerd als de productverzameling $A = GP$, waarbij $G = B^*(Y)$ (eenheden) en $P = R + B^+(\epsilon R)$ (verschoven algebraische gehele getallen). De parameters $R$ en $Y$ worden zo gekozen dat $R$ voldoende groot is ten opzichte van $Y$ (specifiek $e^Y \leq \epsilon R$ ) om de scheiding tussen het eenheidsrooster en de additieve structuur te waarborgen.
Grootte-analyse:
- De omvang van $A$ is ongeveer $|G||P|$ .
- De productverzameling $AA$ wordt begrensd door de analyse van $GG$ en $PP$. De kleinheid van $GG$ wordt afgeleid van de rooster-eigenschappen van de eenheden.
- De verschoven productverzameling $(A+1)(A+1)$ wordt geanalyseerd door elementen te herschrijven als $g(p+1) = g(p + g^{-1})$ . Dit stelt de auteurs in staat de verzameling te begrenzen door gebruik te maken van de somverzameling $P + G$ . Door $R$ groot genoeg te kiezen, wordt aangetoond dat $P+G$ bevat is in een verzameling $P'$ waarvan de omvang vergelijkbaar is met $P$ .

Belangrijkste Bijdragen en Resultaten
Het primaire resultaat is Stelling 1, die de existentie van een absolute constante $c > 0$ en willekeurige grote eindige verzamelingen $A \subseteq \mathbb{R}$ vaststelt waarvoor geldt:
$\max\{|AA|, |(A+1)(A+1)|\} \ll |A|^{2-c}$
Dit resultaat demonstreert dat de exponent in de ongelijkheid voor het maximum van deze twee verzamelingen niet willekeurig dicht bij 2 kan liggen, waarmee de eerder genoemde folklore-conjectuur wordt weerlegd.

Het artikel breidt dit resultaat verder uit in Stelling 3 naar "Veel Translaten". Het toont aan dat voor elke eindige verzameling gehele getallen $S \subseteq \mathbb{Z}$ , er een constante $c > 0$ bestaat (afhankelijk van $S$ ) en willekeurige grote verzamelingen $A$ zodanig dat:
$\max_{\lambda \in S} \{|(A+\lambda)(A+\lambda)|\} \ll |A|^{2-c}$
Daarnaast merken de auteurs op dat hun constructie impliceert dat de verzameling $A$ ook voldoet aan $\max\{|A+A|, |AA|, |(A+1)(A+1)|\} \ll |A|^{2-c}$ en $|A(A+1)| \ll |A|^{2-c}$ .

Betekenis
Het artikel claimt betekenis door een tegenvoorbeeld te bieden voor een breed geaccepteerde aanname in de additieve combinatoriek: dat additieve verschuivingen noodzakelijkerwijs een significante expansie in de multiplicatieve structuur forceren. Door de BSZ-constructie aan te passen, tonen de auteurs aan dat het mogelijk is om verzamelingen te construeren waarbij zowel de productverzameling als de verschoven productverzameling aanzienlijk kleiner zijn dan de triviale bovengrens van $|A|^2$ . Dit werk daagt de intuïtie uit dat de exponent 2 de natuurlijke limiet is voor dergelijke som-productachtige ongelijkheden over de reële getallen.

De auteurs geven expliciet aan dat de constructie dezelfde onderliggende verzameling gebruikt als het BSZ-artikel, maar dat de specifieke toepassing op de verschoven productverzameling $(A+1)(A+1)$ de nieuwe bijdrage van deze nota vormt. Het werk dient als een modificatie van bestaande argumenten om een specifieke conjectuur over het maximum van product- en verschoven productverzamelingen te weerleggen.