🔢 mathematics

Almost Affine Invariance Over Prime Fields: Green Problem 90

Dit artikel lost Ben Greens Open Probleem 90 op door aan te tonen dat voor een deelverzameling van het eindige lichaam $\mathbb{F}_p$ met dichtheid 1/2 de drempel voor gelijktijdige bijna-affiene invariantie onder alle transformaties $\phi(x)=ax+b$ met $|a|, |b| \le K$ gelijk is aan $K=o(\log p)$ .

Oorspronkelijke auteurs: Jie Ma, Quanyu Tang, Max Wenqiang Xu

Gepubliceerd 2026-05-14

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Jie Ma, Quanyu Tang, Max Wenqiang Xu

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 een gigantisch, rond klokgezicht voor met $p$ cijfers erop (waarbij $p$ een zeer groot priemgetal is). Je besluit precies de helft van deze cijfers zwart te verven en de andere helft wit te laten. Dit is je verzameling $A$ .

Stel je nu voor dat je een reeks regels hebt om deze cijfers te verplaatsen. Een regel ziet er als volgt uit: "Neem elk cijfer $x$ , vermenigvuldig het met $a$ , tel $b$ erbij op en kijk waar het belandt." Dit wordt een affiene transformatie genoemd.

De grote vraag die Ben Green stelde (en die dit artikel beantwoordt) is: Hoeveel verschillende regels kun je hebben voordat je zwart-witpatroon volledig verstoord raakt?

Als je een regel toepast en het patroon ziet er bijna exact hetzelfde uit (misschien met slechts een paar stippen verschoven), noemen we dit "bijna invariant". Het artikel onderzoekt hoe groot het bereik van de getallen $a$ en $b$ kan zijn voordat het onmogelijk wordt om het patroon gelijk te houden.

De Hoofdontdekking: De "Logaritmische" Grens

De auteurs vonden een zeer specifiek "kantelpunt" of drempel.

Het Resultaat: Het bereik van regels dat je kunt gebruiken, wordt beperkt door een getal dat zeer langzaam groeit, namelijk $o(\log p)$ .
De Analogie: Stel je voor dat het klokgezicht de grootte van een stadion heeft. Het aantal regels dat je kunt gebruiken, is beperkt tot iets als het aantal letters in een korte zin. Zelfs als het stadion de grootte van de Aarde krijgt, groeit het aantal regels dat je kunt gebruiken alleen maar zo snel als het aantal letters in een alinea.
Wat dit betekent: Als je probeert meer regels te gebruiken dan deze kleine limiet (bijvoorbeeld als je probeert regels te gebruiken waarbij de getallen oplopen tot de vierkantswortel van de stadiongrootte), is het wiskundig onmogelijk om de helft van de klok zwart en de helft wit te houden terwijl het patroon stabiel blijft. Het patroon moet breken.

Hoe Ze Het Bewezen: Twee Kanten van dezelfde Munt

Het artikel bewijst dit in twee delen, als een puzzel die van beide kanten wordt opgelost.

1. De "Bovenste Grens" (Waarom je niet hoger kunt gaan)

De Strategie: Ze gebruikten een techniek genaamd Fourier-analyse.
De Metafoor: Stel je voor dat je zwart-witpatroon een liedje is. Fourier-analyse breekt het liedje op in zijn individuele muzikale noten (frequenties).

Als het patroon hetzelfde blijft wanneer je de getallen verschuift (translatie), moet het "liedje" de hoge, snel trillende noten missen. Het heeft alleen lage, trage noten.
Als het patroon ook hetzelfde blijft wanneer je de getallen uitrekt (vermenigvuldiging), moet het "liedje" nog meer beperkt zijn.
De auteurs toonden aan dat als je het patroon op te veel verschillende manieren probeert uit te rekken (te veel regels), het liedje stil zou moeten zijn. Maar een stil liedje betekent dat je geen zwarte stippen en geen witte stippen hebt, wat in strijd is met de regel dat je de helft zwart en de helft wit moet hebben.
De "Waarderings"-Truc: Een belangrijk inzicht (gesuggereerd door AI, volgens de openbaarmaking in het artikel) was het kijken naar hoe vaak een getal kan worden gedeeld door een priemgetal (zoals hoe vaak je 8 door 2 kunt delen om 4, dan 2, dan 1 te krijgen). Ze toonden aan dat voor het patroon om al deze regels te overleven, de getallen op een manier door priemgetallen deelbaar zouden moeten zijn die wiskundig onmogelijk is als het bereik van regels te groot is.

2. De "Onderste Grens" (Aantonen dat het wel mogelijk is binnen de limiet)

De Strategie: Ze gebruikten de Probabilistische Methode.
De Metafoor: In plaats van te proberen een perfect patroon met de hand te bouwen, vroegen ze zich af: "Wat als we de klok gewoon willekeurig verven?"

Als je de klok willekeurig verven, zal het niet perfect zijn. Maar ze bewezen dat als je je regels beperkt tot dat kleine "logaritmische" bereik, er een niet-nul kans is dat een willekeurige verfsessie werkt.
Ze gebruikten een wiskundig hulpmiddel genaamd de "ongelijkheid van begrensd verschil". Denk hierbij aan een veiligheidsnet. Het bewijst dat als je je willekeurige verfsessie lichtjes aanpast (een paar stippen verandert), het totale patroon niet instort.
Omdat het "veiligheidsnet" standhoudt, bewezen ze dat een perfect patroon moet bestaan, zelfs als we niet eenvoudig kunnen opschrijven hoe het er precies uitziet.

De "AI"-Notitie

De auteurs waren transparant over hun proces. Ze vermelden het gebruik van een AI-tool (ChatGPT) om te brainstormen.

De AI suggereerde het idee om te kijken naar "priemwaarderingen" (de delingstruc hierboven genoemd), wat bleek de sleutel te zijn voor het oplossen van de bovenste grens.
De AI maakte echter ook logische fouten, die de menselijke auteurs moesten corrigeren. Het uiteindelijke bewijs is een samenwerking tussen menselijke wiskundige nauwkeurigheid en door AI ondersteunde ideeëngeneratie.

Samenvatting

In eenvoudige bewoordingen: Je kunt een half-zwart, half-wit patroon hebben op een gigantische klok dat een klein aantal rek- en verschuifregels overleeft. Maar als je probeert de regels te complex te maken (buiten een zeer traag groeiende limiet), is het patroon gedoemd te breken. Dit artikel vond de exacte snelheidslimiet voor die regels.

Technische Samenvatting: Bijna Affiene Invariantie over Priemvelden

Probleemstelling
Dit artikel behandelt Probleem 90 uit Ben Greens lijst van 100 open problemen. Het probleem betreft het bestaan van een deelverzameling $A \subset \mathbb{F}_p$ met dichtheid $1/2$ die "bijna invariant" is onder een familie van affiene transformaties $\phi(x) = ax + b$ . Specifiek is een verzameling $A$ bijna invariant onder $\phi$ als het symmetrisch verschil $|A \triangle \phi(A)| = o(p)$ wanneer $p \to \infty$ . De centrale vraag is het bepalen van het drempelbereik voor de parameter $K = K(p)$ zodat er een verzameling $A$ bestaat die aan deze bijna-invariantievoorwaarde tegelijkertijd voldoet voor alle affiene afbeeldingen waarbij $1 \le |a| \le K$ en $|b| \le K$ .

Methodologie
De auteurs hanteren een tweeledige aanpak om de scherpe drempel voor $K$ te bepalen: een analytische bovengrens en een probabilistische ondergrens.

Bovengrens (Fourier-analyse en Valuatietheorie):
Om te bewijzen dat $K$ niet groot kan zijn, maken de auteurs gebruik van Fourier-analytische hulpmiddelen. Zij definiëren een functie $f = 1_A - \alpha$ (waarbij $\alpha \approx 1/2$ ) en analyseren haar Fourier-getransformeerde $\hat{f}$ .
- Translatie-invariantie: De voorwaarde van bijna-invariantie onder translaties ( $b$ ) impliceert dat de Fourier-massa van $f$ geconcentreerd is op lage frequenties, specifiek $|r| \ll p/K$ .
- Multiplicatieve invariantie: De voorwaarde van bijna-invariantie onder dilaties ( $a$ ) wordt geanalyseerd door een kansmaat $\mu$ op de frequenties te beschouwen, evenredig met $|\hat{f}(r)|^2$ . De dilatie-invariantie impliceert dat $\mu$ bij benadering invariant is onder de afbeeldingen $r \mapsto qr$ voor priemgetallen $q \le K$ .
- Valuatie-argument: Door $\mu$ te beperken tot een kansmaat $\lambda$ op de gehele getallen $\{1, \dots, N\}$ (waarbij $N \approx p/K$ ), tonen de auteurs aan dat de $q$ -adische valuatie $v_q(n)$ groot moet zijn voor bijna alle $n$ onder $\lambda$ voor elk priemgetal $q \le K. Dit leidt tot een tegenspraak tenzij de som van de logaritmen van priemgetallen tot$ K$ klein is, specifiek $\sum_{q \le K} \log q = o(\log p)$ , wat impliceert dat $K = o(\log p)$ .
Ondergrens (Probabilistische Constructie en Concentratie):
Om te bewijzen dat $K = o(\log p)$ haalbaar is, construeren de auteurs een dergelijke verzameling met behulp van de probabilistische methode.
- Følner-rijen: De kern van de constructie rust op Lemma 3.3, dat het bestaan van grote "Følner-rijen" (verzamelingen $A$ met een klein symmetrisch verschil onder groepswerkingen) vaststelt voor een kleine familie van affiene transformaties $S_p$ .
- Rationale modellen: De auteurs construeren een familie van rationale affiene afbeeldingen over $\mathbb{Q}$ , geparametriseerd door producten van kleine priemgetallen, en reduceren deze modulo $p$ . Dit garandeert de nodige injectiviteit en niet-collisie-eigenschappen die vereist zijn voor het probabilistische argument.
- Concentratie-ongelijkheden: Een willekeurige verzameling $A$ wordt gedefinieerd op basis van een meerderheidsstem van willekeurige tekens toegewezen aan banen van de involutie $x \mapsto -x$ . Hoewel de verwachte grootte van $A$ en het verwachte symmetrische verschil gunstig zijn, passen de auteurs de ongelijkheid voor begrensd verschil (McDiarmids ongelijkheid) toe om te tonen dat deze grootheden scherp geconcentreerd zijn rond hun gemiddelden, waardoor het bestaan van een specifieke verzameling $A$ die aan de voorwaarden voldoet met positieve waarschijnlijkheid wordt gegarandeerd.

Belangrijkste Bijdragen en Resultaten
Het artikel stelt de scherpe drempel voor de parameter $K$ vast:

Stelling 1.2: Laat $p$ $p$ een priemgetal zijn en $K = K(p)$ $K = K (p)$ een positief geheel getal.
- Als er een verzameling $A \subset \mathbb{F}_p$ bestaat met dichtheid $1/2 + o(1)$ die bijna invariant is onder alle $\phi(x) = ax+b$ met $1 \le |a| \le K$ en $|b| \le K$ , dan geldt $K = o(\log p)$ .
- Omgekeerd, als $K = o(\log p)$ , bestaat er een dergelijke verzameling $A$ .

Dit resultaat lost Greens Open Probleem 90 op door te bevestigen dat de drempel inderdaad logaritmisch is in $p$ . Het verfijnt eerdere ongepubliceerde werken van Eberhard, Mrazović en Green, waarin werd gesuggereerd dat $K$ langzaam kon groeien (bijvoorbeeld $(\log p)^c$ ) maar niet zo snel als $p^{1/100}$ . Het huidige werk verkleint dit bereik tot $o(\log p)$ .

Betekenis
Het artikel biedt een definitief antwoord op een specifieke structurele vraag in de additieve combinatoriek met betrekking tot de rigiditeit van verzamelingen onder affiene transformaties. Door Fourier-analyse te combineren met probabilistische constructies, tonen de auteurs aan dat de gelijktijdige voldoening aan bijna-invariantie onder een grote familie van affiene afbeeldingen een strikte logaritmische limiet oplegt aan de grootte van die familie. Het werk benadrukt ook de bruikbaarheid van amenabiliteitsargumenten in affiene groepen en de effectiviteit van probabilistische methoden bij het construeren van verzamelingen met specifieke invariantie-eigenschappen over eindige velden.

AI-Openbaarmaking
De auteurs merken op dat AI (ChatGPT 5.4) is gebruikt bij de ontwikkeling van het artikel. Specifiek werden het idee om het probleem te formuleren met behulp van $q$ -adische valuaties (Lemma 2.4) en de initiële toepassing van de amenabiliteit van de affiene groep voorgesteld door AI. De auteurs benadrukken echter dat de initiële argumenten van de AI logische gaten bevatten en dat de rigoureuze bewijzen en de uiteindelijke scherpe grens het resultaat zijn van menselijke verfijning en verificatie. De auteurs erkennen ook dat de amenabiliteitsbenadering eerder werd besproken in ongepubliceerde werken en online forums (MathOverflow).