De aanval van een AI op progressievrije verzamelingen: een logboek van wat vastliep

TL;DR. Een AI-assistent werkte aan twee problemen over progressievrije verzamelingen: een argument voor het reciprokesomprobleem en een quasipolynomiale grens voor elke vaste progressielengte.

Belangrijkste punten

Twee taken, en slechts één ervan werd ooit geclaimd. Het materiaal valt uiteen in twee taken, en het is de moeite waard hun status gescheiden te houden.
Dichtheidsverval is niet hetzelfde als sommeerbaarheid. Het eerste obstakel verschijnt op het niveau van de architectuur van het argument, nog vóór enige Fourier-analyse.
Structuur vasthouden, en waarom drie termen niet veralgemenen. Een voorgestelde remedie is om de structuur bij de hand te houden.
Frequenties één keer uitlijnen in plaats van vele keren. Sequentiële uitlijning van frequentiefuncties is waar het accumulatieprobleem het hardst toeslaat.

Het nuttigste dat een onvoltooid bewijs je kan vertellen is waar het precies breekt, en dit bewijs breekt op ongeveer een dozijn specifieke plekken.

Managementoverzicht

Het werk telt twee taken. De eerste ontwikkelt een argument voor het reciprokesomprobleem. De tweede zoekt een quasipolynomiale grens voor elke vaste progressielengte, en dat doel wordt niet bereikt.

De basislijn is het drietermresultaat voor de reciproke som van Bloom en Sisask. Kwalitatief dichtheidsverval alleen levert niet de sommeerbaarheid die het argument nodig heeft.

Veel benaderingen werden geprobeerd: gestructureerde omgevende verzamelingen, gelijktijdige frequentie-uitlijning, ijle tellemma's, Croot-Sisask-gladstrijking, liften en iteratie, hoeken en entropie op schaal p = log M. Elk stuitte op een benoemde obstructie.

De uiteindelijke berekening bleef onvoltooid, zonder restrictielemma of ijl telprincipe.

Voor oprichters en technisch leiders gaat de les over methode: een logboek van benoemde mislukkingen is een betrouwbaardere oplevering dan een zelfverzekerde schets.

Twee taken, en slechts één ervan werd ooit geclaimd #

Het materiaal valt uiteen in twee taken, en het is de moeite waard hun status gescheiden te houden. De eerste ontwikkelt een argument voor het reciprokesomprobleem. De tweede zoekt een quasipolynomiale grens voor elke vaste progressielengte. De werkwoorden doen ertoe. De eerste taak wordt beschreven als het ontwikkelen van een argument. De tweede zoekt enkel een grens. Niets in het verslag zegt dat het tweede doel werd bereikt, en ik zal het doorheen de hele tekst als een streefdoel behandelen.

De assistent begint niet vanaf nul. Hij gebruikt het drietermresultaat voor de reciproke som van Bloom en Sisask als basislijn. Alles daarna is een poging om voorbij die basislijn te komen, hetzij richting langere progressies, hetzij richting een sterkere kwantitatieve uitspraak. De notatie ligt al vroeg vast. Voor elke k is r_k(N) de grootste omvang van een deelverzameling van {1, ..., N} zonder niet-triviale progressie van k termen. Een verzameling A met dichtheid α = |A|/N is het onderwerp van studie, en de genormaliseerde functie is f = 1_A/α.

Die normalisatie stuurt het merendeel van wat volgt. Definieer μ = 1_A/α, zodat E[μ] = 1, en stel M = α^-1. De logaritmische ijlheid is dan p = log(1/α), wat hetzelfde is als log M. Hoe ijler de verzameling, hoe groter M en p worden. Elke obstructie hieronder is, in de ene of de andere vorm, een uitspraak over wat er gebeurt naarmate die ijlheid groeit.

Dichtheidsverval is niet hetzelfde als sommeerbaarheid #

Het eerste obstakel verschijnt op het niveau van de architectuur van het argument, nog vóór enige Fourier-analyse. Het verslag zegt ronduit dat kwalitatief dichtheidsverval alleen deze sommeerbaarheid niet levert. Weten dat dichtheden krimpen naarmate je door schalen beweegt is niet genoeg. Het reciprokesomprobleem vereist dat de krimp goed genoeg gekwantificeerd is om te kunnen sommeren.

Een verleidelijke uitweg is een recurrentie. De aantekeningen zeggen dat een voldoende sterke recurrentie voor extremale progressievrije dichtheden sommeerbaarheid over exponentiële schalen zou kunnen opleveren. Die zin is voorzichtig geformuleerd, en moet dat ook blijven. Ze beschrijft wat een hypothetische sterke recurrentie zou kunnen doen. Ze rapporteert er geen.

Een tweede kostenpost staat los van de eerste. De assistent identificeert de opeenhoping van vele zwakke correlaties als een bijkomende kost. Elke individuele correlatie kan onschuldig zijn terwijl hun som dat niet is. Dit thema keert terug: een stap die één keer goedkoop is, wordt duur wanneer hij herhaald moet worden.

Structuur vasthouden, en waarom drie termen niet veralgemenen #

Een voorgestelde remedie is om de structuur bij de hand te houden. De assistent stelt voor om gestructureerde omgevende verzamelingen door opeenvolgende stappen heen te behouden. Het idee, zoals voorzichtig verwoord in de bron, is dat je de gestructureerde verzameling die je in het ene stadium vond niet moet weggooien wanneer je naar het volgende gaat.

Het geval met drie termen heeft een eigenschap die langere progressies missen. Het positiviteitsmechanisme dat nuttig is voor progressies van drie termen breidt zich niet rechtstreeks uit naar langere gewortelde tellingen. Dit is de eerste van verschillende plaatsen waar de obstructie specifiek is voor k groter dan drie. Een latere notitie maakt hetzelfde punt in algemene bewoordingen: langere progressies introduceren verdere obstructies van hogere orde.

Het verslag bevat een tensorproductschets over de vraag of vaste uniformiteitsnormen ijle genormaliseerde functies kunnen beheersen. De assistent maakt de schets niet af. Ik meld dat liever dan te suggereren dat de vraag in een van beide richtingen is beslecht.

Frequenties één keer uitlijnen in plaats van vele keren #

Sequentiële uitlijning van frequentiefuncties is waar het accumulatieprobleem het hardst toeslaat. Als elke uitlijning een beetje kost, kost een lange keten ervan veel. De assistent stelt voor om verschillende frequentiefuncties gelijktijdig uit te lijnen, in plaats van verliezen op te stapelen via sequentiële uitlijning. De kanttekening zegt het onomwonden: "Geen iteratieve verliezen als alle frequenties tegelijk worden uitgelijnd." Net als het voorstel dat ze samenvat, is die zin voorwaardelijk, omdat ze beschrijft wat gelijktijdige uitlijning zou opleveren als het werkte.

De notitie vermeldt vervolgens wat er nog ontbreekt. S_h zou herstelbaar moeten zijn uit frequenties met grote correlaties, ten minste exp(-poly). Dat blijft een vereiste, geen resultaat. De correlaties die worden geordend zijn die van de paarproducten f(x)f(x + h), met f = 1_A/α en α = |A|/N.

Zelfs als we dat toestaan, moet de assistent nog steeds de relatieve correlatie behouden en het telargument voltooien. Het idee van gelijktijdige uitlijning heeft dus een aantrekkelijke eigenschap, geen iteratieve verliezen, en een lijst van dingen die niemand heeft geverifieerd. Een verwante aanpak heeft een verwante beperking. Het afkappen van zeldzame coherente pieken werkt voor onafhankelijke frequentieclusters, maar het uitbreiden van dat argument naar afhankelijke clusters blijft onopgelost.

Zeldzame lege stukken en de prijs van adaptief opvullen #

Wanneer het argument verschuift van boekhouding aan de Fourier-kant naar het daadwerkelijk tellen van progressies, verschijnt er een structureel probleem. De assistent identificeert een obstructie: bovengrenzen voor dichtheid op gestructureerde stukken staan zeldzame lege stukken toe. Een bovengrens voor hoeveel van A in een stuk ligt, zegt niets over de vraag of er überhaupt iets van A ligt. Een stuk dat zeldzaam en leeg is, kan zich bevinden binnen een familie van stukken die allemaal aan de grens voldoen.

Eén reactie is adaptief opvullen, en dat komt met een eigen rekening. Adaptief opvullen introduceert verdere haalbaarheidsvoorwaarden die de assistent niet heeft bewezen. Een majorant is een natuurlijke manier om de zeldzame slechte stukken uit te sluiten. De geciteerde tekst van de assistent zegt dat een majorant op alle zeldzame atomen waarschijnlijk onrealistisch is. De opmerking is voorzichtig, maar wijst weg van de meest directe oplossing.

Dit is het patroon dat de rest van het verslag verklaart. Een goedkoop argument heeft ergens een ondergrens nodig, de beschikbare hulpmiddelen geven bovengrenzen, en de kloof ertussen wordt ingenomen door zeldzame, ijle, lege dingen.

IJl telgereedschap lenen en ontdekken dat het geleende deel niet genoeg was #

De assistent keek naar bestaande literatuur over ijl tellen voor een oversteek. Twee bronnen gaven vorm aan de poging.

Over de verdichting van Conlon-Fox-Zhao ontdekte de assistent dat die steunde op tweezijdige schattingen van lineaire vormen. Dat is van belang omdat de setting hier een bovengrensstructuur heeft en geen tweezijdige. Een methode die gebouwd is op tweezijdige controle is niet beschikbaar wanneer slechts één kant bekend is.

Het ijle grafentellemma van Filmus, Hatami, Hosseini en Kelman leverde het model voor asymmetrische roostermomenten en positief-semidefiniete onbalans. Het diende dus als sjabloon, niet als een kant-en-klare stelling. Zelfs toen keerde dezelfde moeilijkheid terug. Bovengrenzen alleen stuitten herhaaldelijk op ijle gaten. Een extra complicatie maakt de roostermomenten moeilijk te lezen: grote gecentreerde roostermomenten zouden ontbrekende massa kunnen weerspiegelen in plaats van opwaartse concentratie. Een groot moment ziet eruit als bewijs van concentratie, maar kan evengoed worden veroorzaakt door massa die er niet is. Die dubbelzinnigheid is het probleem van de ijle gaten, gezien vanaf de kant van de momenten.

Vervolgens overwoog de assistent kleine machtsverliezen in M. Hij verkreeg geen geschikte telstelling. Dat is een zuiver negatief resultaat, en het versmalt het veld: zelfs als het argument een kleine macht van M mag verliezen, werd er geen geschikte telstelling gevonden.

Gladstrijken was te duur om toe te passen #

Croot-Sisask-gladstrijking is een standaardroute om een verzameling te regulariseren vóór het tellen. De assistent overwoog het en bevond de vereiste nauwkeurigheid te kostbaar in de voorgestelde toepassing. De methode was niet fout. Haar prijs oversteeg wat het argument kon betalen.

Dezelfde economie beheerst de andere routes. Voor vezelargumenten vermenigvuldigden vezelgrenzen zich niet automatisch, en sferen met constante norm blokkeerden het verhoopte sterke verval over vaste cijferalfabetten. Een productstructuur suggereert dat grenzen op delen zouden moeten combineren tot een grens op het geheel, en hier deden ze dat niet. Pogingen tot liften en iteratie verloren kwantitatief nog steeds te veel.

De benaderende-dualiteitsaanpak van Ben-Sasson-Ron-Zewi werd vervolgens bekeken. De assistent stelde vast dat de overwogen iteratie kwantitatief te veel verliest. Dit is hetzelfde oordeel als bij de liftpoging, bereikt vanuit een andere richting, wat suggereert dat de moeilijkheid in de iteratie zelf zit en niet in één bepaalde constructie. Ik houd dat vast als een observatie over het patroon, niet als een bewezen diagnose.

Eén regel optimisme, en de rekenkunde die haar onderuit haalde #

Het verslag bevat een moment van schijnbare vooruitgang. De geciteerde tekst van de assistent beweert dat graadfluctuaties van producten met polynomiale precisie worden afgehandeld, inclusief uitroepteken. Het is een voorzichtige bewering, geciteerd zoals de assistent haar schreef.

De assistent merkte vervolgens het probleem ermee op. Getekende ontwikkelingen konden een absolute massa van orde 2^p hebben, wat polynomiale nauwkeurigheid overspoelt. Herinner dat p = log M. Polynomiale precisie in M is een bescheiden doel, terwijl een getekende ontwikkeling met massa van orde 2^p exponentieel groter is. De precisie is reëel, maar de wegstreping waarop ze steunt kan zoveel massa niet absorberen.

Ik vind dit de meest leerzame aantekening in het logboek, omdat ze laat zien dat de zelfcontrole werkt. Een claim met een uitroepteken werd heropend, en de rekenkunde waarvan ze afhing bleek ontoereikend. Zo ziet een eerlijk werkverslag eruit. Het enthousiasme en de correctie staan allebei in hetzelfde document.

Hoeken en dozen voegen zich niet samen tot langere progressies #

Een andere strategie was om een sterker bekend resultaat als opstapje te gebruiken. De quasipolynomiale hoekengrens is het relevante stuk gereedschap, maar de resulterende hoeken voegden zich niet automatisch samen tot langere progressies. Een hoek is een tweedimensionaal patroon en een lange progressie is een eendimensionaal patroon, en de overgang ertussen gaat niet vanzelf.

De telling van viertermdozen stelt een verwante moeilijkheid. Positiviteit van de viertermdozentelling beheerste haar uitzonderlijke diagonaal niet. Een positieve telling kan nog steeds gedomineerd worden door ontaarde configuraties, en de diagonaal is waar die huizen.

De notities bieden wel een mogelijke weg vooruit, zorgvuldig ingekaderd. Volledige doosnormen bieden een mogelijk mechanisme voor de vraag of boventellingen alleen lagere progressietellingen kunnen afdwingen. Die vraag, of eenzijdige informatie een ondergrens kan afdwingen, is de vraag waar het hele project omheen blijft cirkelen. Toch zit er een grens aan hoe ver dit reikt. Negatieve kubische bijdragen blokkeren een rechttoe rechtaan uitbreiding naar progressiesystemen.

Overstap naar entropie op schaal p = log M #

Toen de directe telroutes geblokkeerd waren, keerde het onderzoek zich naar entropie op schaal p = log M, puttend uit het gebruik van hoge momenten door Kelley en Meka. De keuze van de schaal is niet willekeurig: p = log M is precies de bij aanvang gedefinieerde logaritmische ijlheid.

De geciteerde tekst van de assistent stelt voor om entropie te gebruiken in plaats van L2 via niet-negativiteit en frequentiedissociativiteit (Chang). Dat is een voorstel, geen resultaat. De redenering is dat μ = 1_A/α niet-negatief is, en de dissociativiteit van Chang geeft structuur aan de frequentiekant, zodat entropie het werk zou kunnen doen dat een L2-grootheid niet kan.

Om dit te laten werken had de assistent een specifieke analytische invoer nodig. De assistent zocht een Fourier-restrictieschatting ||g_hat||_q = O(1) voor begrensde g en vaste q > 2, onder geschikte lokale bovengrenzen. Dit was een doelwit. Het werd niet vastgesteld.

Het obstakel verscheen bij de volgende stap. Het extraheren van structuur uit hoge momenten verloor te veel massa. Hoge momenten zijn waar argumenten in de stijl van Kelley-Meka hun kracht halen, en hier waren ze ook de plek waar het argument kwijtraakte wat het moest behouden.

De berekening die het dichtst in de buurt kwam #

De laatste berekening verdient een eigen blik, omdat ze zowel een succes als een mislukking kent. Ze bereikt een volledige eindpuntgrens onder haar convolutiehypothesen. Dat is een echt resultaat, als zodanig vermeld, en het draagt de kwalificatie "onder haar convolutiehypothesen". De grens geldt wanneer die hypothesen gelden.

Maar ze slaagt er niet in de drempel van exponent drie te overschrijden die nodig is voor het voorgestelde telargument. Het fragment van de assistent noteert een zwakke l3-grens uit convolutie en bovengrens, en dat een strikt betere exponent (onder 3) nodig is voor interpolatie. In gewone taal belandt de berekening precies aan de verkeerde kant van een lijn. Een grens bij exponent drie is niet genoeg, en interpolatie heeft iets nodig dat strikt beter is.

Het is verleidelijk om zo'n bijna-treffer te lezen als "bijna daar". Ik zou daartegen weerstand bieden. Het verslag zegt niet hoe ver de berekening van de drempel verwijderd is, en een kloof die uit een enkele exponent bestaat kan nog steeds het hele probleem zijn. Wat het verslag wel zegt, is dat de assistent de berekening onvoltooid achterliet, zonder het restrictielemma of het ijle telprincipe af te leiden. Die twee ontbrekende stukken vormen de openstaande schuld van het project.

Wat het logboek waard is #

Het zou gemakkelijk zijn om dit af te doen als een mislukte poging. Ik denk dat dat het bewijsmateriaal verkeerd leest, om een reden die ver buiten de getaltheorie geldt.

Het document is specifiek. Het benoemt de obstructie op elk knooppunt: zeldzame lege stukken, ontbrekende massa in roostermomenten, tweezijdige schattingen in Conlon-Fox-Zhao, in p exponentiële getekende massa, de uitzonderlijke diagonaal van de viertermdozentelling, negatieve kubische bijdragen. Het onderscheidt een aangetoonde beperking van een verhoopt mechanisme. Het markeert de recurrentie voor sommeerbaarheid als iets dat zou kunnen werken, en de tweede taak als iets dat werd gezocht. Het zegt wat de assistent niet heeft afgemaakt.

Voor een oprichter of technisch leider die door AI ondersteund onderzoek evalueert, is dat waar je naar moet zoeken. Een systeem dat een zelfverzekerd, compleet ogend argument teruggeeft, is moeilijk te controleren. Een systeem dat een lijst van benoemde mislukkingen teruggeeft, waarbij het ene bijna-succes duidelijk gemarkeerd is als tekortschietend voor een drempel, kan regel voor regel worden gecontroleerd. Iemand kan het probleem van exponent drie, of het probleem van de afhankelijke clusters, oppakken en weten wat het startpunt is.

Er is ook een patroon dat het waard is rechtstreeks te benoemen. Veel van de mislukkingen zijn mislukkingen van opeenhoping: zwakke correlaties die optellen, sequentiële uitlijningen die zich opstapelen, iteratie die te veel verliest, vezelgrenzen die zich niet vermenigvuldigen. Eén voorgestelde remedie richt zich hier rechtstreeks op door frequenties gelijktijdig uit te lijnen zodat er geen iteratief verlies optreedt. Het is onder voorbehoud, en de voorwaarde ervan, het herstellen van S_h uit frequenties met grote correlaties, is onbewezen. Toch is het het voorstel in het verslag dat het meest direct reageert op de meest voorkomende klacht.

De open vraag die het verslag oproept is daarom smal en controleerbaar. Kan onder de convolutiehypothesen die al de eindpuntgrens geven een grens worden verkregen die strikt beter is dan exponent drie? Zo ja, dan heeft interpolatie iets om mee te werken. Zo niet, dan zijn de Fourier-restrictieroute en het ijle telprincipe, waarvan geen van beide is afgeleid, de plekken om als volgende te bekijken.

Veelgestelde vragen #

Welke twee wiskundige problemen onderzocht de AI-assistent?

De assistent werkte aan twee verwante taken rond progressievrije verzamelingen: het ontwikkelen van een argument voor het reciprokesomprobleem, en het zoeken naar een quasipolynomiale grens voor elke vaste progressielengte k. Hoewel hij het drietermresultaat voor de reciproke som van Bloom en Sisask als basislijn gebruikte, werd de quasipolynomiale grens voor willekeurige progressielengten niet bereikt.

Waarom slaagden bovengrenzen voor dichtheid er niet in het benodigde tellemma op te leveren?

Bovengrenzen voor dichtheid op gestructureerde stukken staan zeldzame lege stukken toe, wat betekent dat een bovengrens voor hoeveel van een verzameling A binnen een stuk ligt niet garandeert dat er elementen van A liggen. Over meerdere pogingen heen stuitten bovengrenzen alleen herhaaldelijk op ijle gaten, en grote gecentreerde roostermomenten konden ontbrekende massa weerspiegelen in plaats van opwaartse concentratie.

Waar liep de uiteindelijke berekening vast?

De uiteindelijke berekening bereikte een volledige eindpuntgrens onder haar gestelde convolutiehypothesen, maar leverde slechts een zwakke l3-grens op die er niet in slaagde de drempel van een exponent strikt onder drie te overschrijden die nodig is voor interpolatie. De assistent liet de berekening onvoltooid achter zonder het Fourier-restrictielemma of het ijle telprincipe af te leiden.

Referenties #

Thomas F. Bloom and Olof Sisask, (2020). Breaking the logarithmic barrier in Roth's theorem on arithmetic progressions ⧉. arXiv.
Zander Kelley and Raghu Meka, (2023). Strong Bounds for 3-Progressions ⧉. arXiv.
David Conlon, Jacob Fox, and Yufei Zhao, (2014). A relative Szemerédi theorem ⧉. Geometric and Functional Analysis.
Ernie Croot and Olof Sisask, (2010). A probabilistic technique for finding almost-periods of convolutions ⧉. Geometric and Functional Analysis.

Laatst herzien 2026-11-01.

Dit artikel herpubliceren

De aanval van een AI op progressievrije verzamelingen: een logboek van wat vastliep — Sebastien Rousseau

Een AI-assistent werkte aan twee problemen over progressievrije verzamelingen: een argument voor het reciprokesomprobleem en een quasipolynomiale grens voor elke vaste progressielengte.

Dit artikel valt onder de licentie Creative Commons Attribution 4.0 International. Herpublicatie vereist attributie aan de canonieke URL.

De aanval van een AI op progressievrije verzamelingen: een logboek van wat vastliep — Sebastien Rousseau

Een AI-assistent werkte aan twee problemen over progressievrije verzamelingen: een argument voor het reciprokesomprobleem en een quasipolynomiale grens voor elke vaste progressielengte.

Originally published at https://sebastienrousseau.com/nl/2026-10-24-aanval-van-ai-progressievrije-verzamelingen-logboek/ by Sebastien Rousseau.
Licensed under CC-BY-4.0.

SEBASTIEN ROUSSEAU FOUNDER · ENGINEER