Intern OpenAI-model legt de exacte vervalsnelheid van Cohn-Elkies vast

TL;DR. Een intern OpenAI-model bepaalt de exacte vervalsnelheid van het lineaire programma van Cohn-Elkies en verbetert voor het eerst sinds 1978 de algemene pakkingsexponent.

Belangrijkste punten

Wat de verzameling is, en waarom één resultaat eruit springt. Het document begint bescheiden.
Het programma van Cohn-Elkies en wat het begrenst. Bolstapeling vraagt hoe dicht niet-overlappende bollen de ruimte kunnen vullen.
Wat het kader al had bereikt. Voordat we bij de nieuwe stelling komen, is het de moeite waard precies te zijn over wat het Fourier-analytische kader van lineaire programmering al had opgeleverd, want het nieuwe resultaat is deels een uitspraak…
De hoofdstelling. De hoofdstelling van het document bewijst de exponentiële snelheid die in de vermoedens 3.1 en 3.2 van dat artikel uit 2020 werd vermoed.

Een verzameling wiskundige resultaten van een intern OpenAI-model beslecht de asymptotische sterkte van het lineaire programma van Cohn-Elkies voor bolstapeling. Ze levert de eerste verbetering van de algemene pakkingsexponent sinds 1978, samen met een ondergrens die er exact mee overeenkomt.

Wat de verzameling is, en waarom één resultaat eruit springt #

Het document begint bescheiden. Het presenteert een verzameling resultaten die een intern OpenAI-model heeft behaald, en zegt dat ze wiskunde en theoretische informatica bestrijken. Dat beschrijft herkomst en reikwijdte, maar zegt niet hoe het model is gebruikt of hoe de uitvoer is gecontroleerd. Die vragen doen ertoe, en de bron zoals die hier wordt samengevat laat ze onbeantwoord, dus dit artikel doet niet alsof het anders is. Wat de beweringen wel ondersteunen, is een lijst van gemelde resultaten, en die lijst is lang genoeg dat de interessante vraag niet is of één onderdeel indruk maakt. Het gaat erom waarom één ervan de meeste aandacht verdient.

De reden is dat het resultaat over bolstapeling het enige in de verzameling is dat een kwantitatief gat dicht in een onderzoeksprogramma met een lange, herkenbare geschiedenis. De andere zijn op zichzelf opvallend. Een expliciete niet-sofische groep beantwoordt een oude vraag. Een weerlegging van het vermoeden van Connes beslecht iets wat een bekende wiskundige had voorgesteld. Maar het stapelingsresultaat staat aan het eind van een keten die loopt van een Fourier-analytisch kader, via twee beroemde exacte oplossingen in afzonderlijke dimensies, naar een vraag over hoge dimensies die jarenlang openbleef. Wie het wil begrijpen, moet die keten begrijpen.

Het grootste deel van wat volgt gaat daarom over het lineaire programma van Cohn-Elkies: wat het is, wat erover bekend was, wat de nieuwe stelling zegt en hoe de tekenonzekerheidskant van het argument in elkaar zit. Een korter deel loopt daarna de overige resultaten van de verzameling langs, elk zoals het is geformuleerd en niet verder.

Het programma van Cohn-Elkies en wat het begrenst #

Bolstapeling vraagt hoe dicht niet-overlappende bollen de ruimte kunnen vullen. Het document legt de notatie vast. Voor middelpunten die minstens 1 van elkaar liggen, is ∆d het supremum van de bovendichtheden van bollen met straal 1/2 in Rd. Anders gezegd staat ∆d voor de maximale stapelingsdichtheid van bollen in Rd. Alles in het eerste hoofdstuk van de verzameling wordt aan die grootheid gemeten.

Het programma van Cohn-Elkies geeft een bovengrens voor ∆d. De optimale waarde wordt LPd genoemd en is gedefinieerd als de optimale dichtheidsgrens die het programma levert. Het mechanisme is de grens van Gorbachev–Cohn-Elkies, die aan elke f in een klasse Ad de bovengrens voor de dichtheid vd f(0)/(2d f̂(0)) toekent. In woorden: je kiest een hulpfunctie f uit de toelaatbare klasse, berekent de waarde in de oorsprong en de waarde van de Fourier-getransformeerde in de oorsprong, vormt die verhouding met de volume- en schaalfactoren, en het resultaat begrenst de stapelingsdichtheid van boven. Het lineaire programma zoekt de f die deze grens zo klein mogelijk maakt.

In dit kader zit de hele moeilijkheid in een goede keuze van f. Een slim gekozen functie geeft een scherpe grens, een slecht gekozen functie een zwakke maar nog steeds geldige grens. Daarom is de bijpassende ondergrens in het nieuwe resultaat zo belangrijk. Die zegt iets over alle toelaatbare functies tegelijk en maakt van de zoektocht naar betere functies een gesloten vraag.

Wat het kader al had bereikt #

Voordat we bij de nieuwe stelling komen, is het de moeite waard precies te zijn over wat het Fourier-analytische kader van lineaire programmering al had opgeleverd, want het nieuwe resultaat is deels een uitspraak over hoeveel verder het nog kan komen.

Viazovska gebruikte dit kader om te bewijzen dat het E8-rooster in dimensie acht de optimale stapeling geeft. Cohn, Kumar, Miller, Radchenko en Viazovska bewezen daarna de optimaliteit van het Leech-rooster in dimensie vierentwintig. Dat zijn exacte resultaten in afzonderlijke dimensies, en ze verklaren waarom het kader een reputatie heeft die verder gaat dan zijn rol als begrenzingsinstrument. In twee specifieke dimensies treft het het echte antwoord.

In hoge dimensies was het beeld troebeler. Cohn en Zhao bewezen dat het lineaire programma altijd minstens zo sterk is als de grens van Kabatianskii–Levenshtein voor sferische codes. Dat is een nuttige garantie, want de grens van Kabatianskii–Levenshtein was de beste bekende algemene exponent. Maar ‘minstens zo sterk’ laat twee mogelijkheden open: het programma kon die exponent precies evenaren, of hem verslaan. Het document benoemt het gevolg direct. Of het lineaire programma de klassieke stapelingsexponent in hoge dimensies verbetert, was een open vraag gebleven.

Afkhami-Jeddi, Cohn, Hartman, de Laat en Tajdini vermoedden de snelheid van het lineaire programma in hoge dimensies. Dat vermoeden is een voorzichtig object, en de bron behandelt het ook zo. Het was een vermoeden, gesteund door het bewijsmateriaal dat de auteurs hadden, en niemand had het bewezen. Het nieuwe resultaat verandert die status.

De hoofdstelling #

De hoofdstelling van het document bewijst de exponentiële snelheid die in de vermoedens 3.1 en 3.2 van dat artikel uit 2020 werd vermoed. Geformuleerd op het niveau dat de beweringen ondersteunen: de auteurs bepalen de exacte exponentiële vervalsnelheid van het lineaire programma van Cohn-Elkies voor bolstapeling. De asymptotische sterkte van het programma is, in de woorden van de bron, exact bepaald.

Twee gevolgen volgen direct uit de bron. Het eerste is een verbeterde algemene stapelingsgrens in hoge dimensies. Het tweede is dat het bijbehorende probleem van de Fourier-tekenonzekerheid asymptotisch is opgelost. Dat zijn gevolgen van verschillende aard. Het ene gaat over meetkunde en het andere over analyse, en dat één stelling beide oplevert, is de eerste aanwijzing dat het stapelingsprobleem en het onzekerheidsprobleem twee kanten van dezelfde structuur zijn.

De bron plaatst de prestatie ook in de geschiedenis. Ze beschrijft het resultaat als de eerste verbetering sinds 1978 van de algemene stapelingsexponent. De klassieke exponent van Kabatianskii–Levenshtein was 0,59905576..., en dat getal was de maatstaf. Het document vermeldt dat latere verfijningen bij sferische codes alleen factoren van lagere orde hadden verbeterd. Met andere woorden: voor de exponent zelf, de grootheid van leidende orde, was er niets veranderd.

Ik zou zeggen dat dit de juiste invalshoek is om het resultaat te beoordelen. Een verbetering van lagere orde sleutelt aan constanten en polynomiale factoren en laat de exponentiële snelheid waar die was. Een verbetering van de exponent verandert de snelheid. De beweringen ondersteunen precies dat onderscheid, en ze ondersteunen dat de eerdere verfijningen aan de kant van de lagere orde lagen.

Dimensie / kader	Klassieke basis (1978)	Lineair programma van Cohn-Elkies	Nieuw bewijs van het model
Stapelingsexponent	Grens van Kabatianskii–Levenshtein: 0,59905576...	Minstens zo sterk als grenzen voor sferische codes (Cohn–Zhao)	Bewezen exacte asymptotische snelheid, vermoed door Afkhami-Jeddi et al. (2020)
Definitief karakter van de grens	Alleen verfijningen van factoren van lagere orde	Open vraag over het asymptotische gat in hoge dimensies	Exact bijpassende ondergrens: geen hulpfunctie verslaat deze snelheid
Fourier-tekenonzekerheid	Afzonderlijke tekengrenzen ($A^+(d) < A^-(d)$)	Verbonden met anti-zelfduale Fourier-testfuncties	Asymptotisch opgelost; tekenonzekerheid bepaald door Mellin-spiegeling
Foutcorrigerende codes	Klassieke grenzen voor sferische en binaire codes	Asymptotisch gekoppeld aan stapelingsgrenzen	Verbeteringen met exponentiële factoren voor alle parameters met vaste afstand
Methodologisch plafond	Numerieke optimalisatie van polynomiale factoren	Open optimalisatie van hulptestfuncties $f \in \mathcal{A}_d$	Wiskundig plafond bewezen: verdere winst vereist methoden buiten Cohn-Elkies

Waarom de bijpassende ondergrens de vraag verandert #

Alleen een verbetering van de bovengrens zou al goed nieuws zijn. Wat dit resultaat ongewoon definitief maakt, is de tweede helft. De bijpassende ondergrens laat zien dat geen enkele hulpfunctie van Cohn-Elkies deze exponent kan verbeteren.

Bedenk wat dat met het onderzoeksprogramma doet. Vóór het resultaat had een onderzoeker met een beter idee voor het construeren van een hulpfunctie een plausibele route naar een nog betere stapelingsexponent. Daarna is die route op het niveau van exponenten afgesloten. Elke verdere vooruitgang op de exponent moet van buiten het kader van Cohn-Elkies komen, omdat de snelheid daarbinnen nu exact is.

Ik wil dit niet overdrijven. De beweringen zeggen niet dat de nieuwe exponent de echte stapelingsexponent is, en ook niet dat bolstapeling zelf niet beter kan. De uitspraak gaat over het lineaire programma: de exponent ligt vast en is niet te verslaan door een andere hulpfunctie te kiezen. Of een andere techniek hem kan verslaan, is een vraag die de beweringen niet behandelen. Dat is een heldere grens, en het is het soort grens dat een vakgebied vertelt waar het vervolgens moet zoeken.

Er is ook een meer zakelijke lezing, voor wie let op waar de inspanning naartoe gaat. Een bekend, exact plafond voor een methode is nuttige informatie. Het zegt dat je moet stoppen met optimaliseren binnen die methode. Voor iedereen die onderzoekstijd verdeelt, is de overgang van ‘dit kan beter worden’ naar ‘dit kan niet beter worden’ evenveel waard als een bescheiden positief resultaat.

Sferische codes en binaire codes #

De verzameling houdt niet op bij stapeling. Klassieke bovengrenzen voor binaire en sferische codes met vaste afstand worden voor alle parameters met exponentiële factoren verbeterd. Die zin bevat een sterke kwantor. De verbetering gaat met exponentiële factoren en geldt voor alle parameters, wat breder is dan een verbetering in een gunstig regime.

Er is ook een verband met hoofdstuk 1. De constructie van sferische codes levert ook de stapelingsexponent van hoofdstuk 1 weer op. De twee lijnen komen dus samen: de constructie aan de codekant reproduceert de exponent aan de stapelingskant. De beweringen leggen het mechanisme van dat herstel niet uit, en ik ga er geen verzinnen. Wat ze wel vastleggen, is de richting van de relatie: de sferische constructie geeft dezelfde exponent als het stapelingshoofdstuk.

Het is goed om te herinneren waarom dit verband ertoe doet, gezien de geschiedenis hierboven. De grens van Kabatianskii–Levenshtein voor sferische codes was het vergelijkingspunt voor het lineaire programma, en de stelling van Cohn en Zhao zei dat het programma altijd minstens zo sterk is. De nieuwe resultaten verbeteren zowel codegrenzen als stapelingsgrenzen, en doen dat vanuit een constructie die terugkomt bij de stapelingsexponent. De twee kanten bewegen samen.

Het probleem van de tekenonzekerheid #

Het tweede gevolg van de hoofdstelling betreft de Fourier-tekenonzekerheid, en het document geeft genoeg definities om de vorm ervan te schetsen.

Voor een functie g is r(g) gedefinieerd als het infimum van de R ≥ 0 waarvoor g(x) ≥ 0 bij |x| ≥ R. Eenvoudig gezegd is r(g) de straal waarbuiten g overal niet-negatief is. Als zo'n straal niet bestaat, is r(g) = ∞. Het onzekerheidsprobleem gaat over hoe klein die straal kan worden voor functies met een voorgeschreven relatie tot hun eigen Fourier-getransformeerde.

Die relatie is een teken. De voorwaarde ĝ = ςg koppelt een functie op het teken na aan haar Fourier-getransformeerde. De tekens +1 en −1 geven respectievelijk het oorspronkelijke en het complementaire onzekerheidsprobleem. Cohn en Gonçalves introduceerden de anti-zelfduale tegenhanger, het complementaire probleem, en verbonden die met bolstapeling. Dat verband is de brug waarlangs het stapelingsresultaat het onzekerheidsprobleem asymptotisch oplost.

Het complementaire probleem is geen curiositeit uit de zuivere analyse. In de spinloze modulaire bootstrap levert modulaire S-antisymmetrie anti-zelfduale Fourier-testfuncties op waarvan het uiteindelijke teken de spectrale kloof bepaalt. De bron noemt hiervoor Hartman, Mazáč en Rastelli en het artikel van Afkhami-Jeddi et al. Een vraag die begon als uitspraak over functies en hun transformaties duikt dus ook op in een context met een natuurkundig klinkende naam, de spectrale kloof. De beweringen gaan niet verder dan dat mechanisme van één regel, en ik ook niet, maar het herinnert eraan dat het onzekerheidsprobleem buiten bolstapeling gezelschap heeft.

Bijlage A voegt een vergelijking tussen de twee problemen toe. Ze stelt vast dat A+(d) < A−(d) voor alle d. Dat is een uitspraak dat de twee problemen in elke dimensie verschillen, waarbij de eerste grootheid strikt kleiner is dan de tweede. De beweringen geven er geen verdere interpretatie van, en de ongelijkheid is al het noemen waard omdat ze voor alle d geldt, zonder uitzonderingen.

Binnen het argument: middeling, verdwijnen en een massaschatting #

Het document bevat enkele technische uitspraken die een indruk geven van hoe de onzekerheidsanalyse is opgebouwd. Het zijn fragmenten, en ik presenteer ze als fragmenten, maar samen schetsen ze een methode.

Begin bij de symmetrie. Het rotatiegemiddelde is gedefinieerd met de genormaliseerde Haar-maat op O(d). Een functie middelen over rotaties levert een radiale functie op, en het doel is het probleem te vereenvoudigen zonder de randvoorwaarden te breken. De bron zegt dat rotatiemiddeling elke tekenvoorwaarde in de lijst van randvoorwaarden van het probleem, aangeduid als (2), behoudt. Ze voegt eraan toe dat als ĝ = ςg, dan r(Rg) ≤ r(g), waarbij Rg het rotatiegemiddelde van g is. Middeling maakt de tekenstraal dus nooit slechter. Bovendien geldt, in de formulering van de bron, Rg ≠ 0 zodra g ≠ 0 uiteindelijk niet-negatief is, zodat middeling geen functie wegvaagt die op grote afstand het juiste tekengedrag heeft.

Die drie feiten samen rechtvaardigen een reductie tot radiale functies. De reductie kost niets aan straal, behoudt de tekenvoorwaarden en laat de functie niet tot nul ineenstorten. Dat is de vorm van een standaard symmetrieargument, en de beweringen bevestigen elk ingrediënt ervan.

Dan de oorsprong. De functie g = h − ĥ verdwijnt in de oorsprong. Dat is het soort klein feit dat in een bewijs veel werk doet, want de grens van Cohn-Elkies bevat direct waarden in de oorsprong, en een functie die daar verdwijnt, gedraagt zich anders dan een functie die dat niet doet. Er is ook een verwante correctiestap vastgelegd: de gecorrigeerde functie gn voldoet aan gn(0) = 0 en gn → g in L1. Een rij gecorrigeerde functies, elk nul in de oorsprong, convergeert dus in L1-zin naar g. Zo kan het argument werken met functies die exact aan de voorwaarde in de oorsprong voldoen en toch het doel benaderen.

Dan is er een kwantitatieve voorwaarde. De massaschatting dwingt 1/a ≥ (1/π − o(1))√d af. De beweringen definiëren a niet, dus ik kan niet zeggen wat het meet, en ik ga niet gokken. Wat wel te zeggen valt, is de vorm van de conclusie: een ondergrens voor 1/a die groeit als de vierkantswortel van de dimensie, met constante 1/π en een verdwijnende correctie. Een schaal met de vierkantswortel van de dimensie lijkt natuurlijk voor meetkunde in hoge dimensies, maar dat is mijn observatie over de vorm van de uitdrukking, en de beweringen stellen het niet als mechanisme.

Het Mellin-beeld #

Er staat nog één onderdeel van de gereedschapskist in het document, en dat verklaart het duidelijkst waarom radiale Fourier-analyse hier hanteerbaar is. Na een Mellin-transformatie spiegelt de radiale Fourier-transformatie de Mellin-variabele. Dat is een compacte uitspraak over hoe een transformatie werkt. De Fourier-transformatie van een radiale functie, normaal een integraaloperator waarover je lastig direct kunt redeneren, wordt een spiegeling in de Mellin-variabele. Spiegelingen zijn ongeveer de eenvoudigste operatoren die er zijn.

Dezelfde passage legt een analytische voorwaarde aan de andere kant vast. Het Schwartz-verval van g geeft snel verval van Φg als v → +∞. Hier is Φg het object uit de Mellin-analyse en v de variabele ervan. De combinatie is leerzaam: de spiegelingseigenschap regelt de structuur, en het Schwartz-verval regelt de controle in het oneindige. Een bewijs in deze stijl heeft beide nodig, want structuur zonder verval laat integralen achter die misschien niet convergeren, en verval zonder structuur laat niets te berekenen over.

Het document merkt ook op dat Sd de oppervlakte van de eenheidsbol is, die als normalisatiefactor optreedt wanneer radiale integralen tussen de bol en de lijn worden omgerekend. Dat is een definitiekwestie, en het is het soort boekhouding dat bepaalt of de constanten in een eindgrens kloppen.

Ik wil duidelijk zijn over wat deze fragmenten zijn. Ze zijn niet het bewijs. De beweringen geven uitspraken, geen afleidingen, en geen lezer zou er het volledige argument uit moeten reconstrueren. Wat ze laten zien, is dat de analyse symmetriereductie, een voorwaarde in de oorsprong, een kwantitatieve massaschatting en een transformatie combineert waarvan de werking na een variabelenwissel eenvoudiger wordt. Die combinatie is gangbaar voor Fourier-analytische extremale problemen, wat de exactheid van het eindresultaat eerder opvallender maakt dan minder. Standaard ogend gereedschap was genoeg voor een scherp antwoord.

De rest van de verzameling #

Het hoofdstuk over bolstapeling is maar een deel van het document, en de overige resultaten verdienen een eerlijke verantwoording. Elk wordt hier precies zo weergegeven als de beweringen het geven.

In de groepentheorie wordt een expliciete niet-sofische groep geconstrueerd, wat de oude vraag beantwoordt of elke aftelbare groep sofisch is. Het bewijs combineert werk van Kun en van Kun–Thom met een combinatorisch expander-matchingargument, gerealiseerd met de binaire Leavitt-algebra en de groep V van Thompson. Het woord ‘expliciet’ weegt hier zwaar: het resultaat is een constructie en geen bestaansargument.

In de operatoralgebra's worden oneindig veel paarsgewijs niet-isomorfe groepen met eigenschap (T) geconstrueerd die dezelfde groeps-von-Neumann-algebra hebben. Dat weerlegt het vermoeden van Connes en beantwoordt een verwante eindig-op-één-vraag van Popa. Twee benoemde vragen vallen door één constructie.

In de aritmetische complexiteit geeft het document ondergrenzen voor de permanent. Delingsvrije circuits vereisen Ω(n² log log n) poorten, terwijl formules Ω(n⁴ / log n) bladeren vereisen. Dat zijn twee grenzen voor twee rekenmodellen, en het document zet ze naast elkaar.

In de quantuminformatie wordt exponentiële parallelle herhaling bewezen voor elk eindig verstrengeld spel met twee spelers. De bron zegt dat dit het klassieke herhalingsprincipe uitbreidt voorbij de speciale klassen van quantumspellen die eerder zijn behandeld. Opnieuw valt de kwantor op: elk eindig verstrengeld spel met twee spelers, zonder beperking tot een speciale klasse.

Bij de hardheid van benadering geeft een directe reductie vanuit 3SAT hardheid met factor n^(1/400) voor het euclidische dichtstbijzijnde-vectorprobleem, met verwante gevolgen voor binair decoderen en andere roosternormen. De exponent 1/400 is klein, en ik geef hem liever weer zoals hij er staat dan hem op te poetsen. De beweringen noemen de reductie direct en verbinden er gevolgen aan voor binair decoderen en andere normen.

In de convexe meetkunde wordt de scherpe bovengrens voor het volume (n + 1)^n / n! in elke dimensie bewezen voor convexe lichamen waarvan het zwaartepunt het enige inwendige roosterpunt is. Scherpte en geldigheid in alle dimensies maken allebei deel uit van de bewering.

In de Ramsey-theorie laat een nieuwe superexponentiële ondergrens zien dat Rk(3) groeit als k^Θ(k). En in de extremale grafentheorie weerleggen afzonderlijke constructies van bipartiete grafen twee vermoedens: het compactheidsvermoeden van Erdős en Simonovits en een degeneratievermoeden van Erdős.

De verzameling als geheel lezen #

Het zou makkelijk zijn deze lijst als prijzenkast te behandelen, dus het is goed om te zeggen wat er wel en niet uit valt af te leiden.

Wat wel te zeggen valt, is dat het document resultaten meldt in minstens acht gebieden, dat er verschillende worden beschreven als antwoord op of weerlegging van benoemde vermoedens, en dat het stapelingshoofdstuk een bijpassende ondergrens heeft die het resultaat binnen zijn kader definitief maakt. De betrokken vermoedens dragen de namen van Connes, Popa, Erdős en Simonovits, en de stapelingssnelheid was vermoed door Afkhami-Jeddi, Cohn, Hartman, de Laat en Tajdini. Resultaten die benoemde vragen beslechten, zijn makkelijk te beoordelen, omdat de vraag was gesteld voordat het antwoord bestond.

Wat op basis van alleen deze beweringen niet te zeggen valt, is iets over hoe het model werkt, hoeveel pogingen het nodig had, hoe de uitvoer is gecontroleerd of hoe het zich verhoudt tot menselijk werk. De bron zegt dat de resultaten zijn behaald door een intern OpenAI-model, en daar houden de beweringen op. Wie het belang van de verzameling als bewijs over machinale wiskunde wil wegen, heeft informatie nodig die de beweringen niet bevatten. Ik zou de verleiding weerstaan om dat gat te vullen met een plausibel klinkend verhaal.

Toch is er een standpunt dat het innemen waard is. De resultaten zijn technisch heterogeen: de niet-sofische groep gebruikt de binaire Leavitt-algebra en de groep V van Thompson, het stapelingsresultaat gebruikt Fourier-analyse en Mellin-transformaties, en de hardheid van het dichtstbijzijnde-vectorprobleem gebruikt een reductie vanuit 3SAT. Een verzameling die zoveel technisch terrein bestrijkt, is niet het product van één truc die steeds opnieuw wordt toegepast. Wat deze resultaten ook heeft voortgebracht, het werkte in meerdere wiskundige dialecten, en zoveel ondersteunen de beweringen in elk geval.

Wat dit betekent per sector #

De exacte bepaling van de vervalsnelheid van Cohn-Elkies in hoge dimensies en de bijbehorende wiskundige resultaten raken verschillende theoretische en toegepaste rekenkundige vakgebieden.

Zuivere wiskunde en discrete meetkunde #

Voor wiskundigen die werken aan meetkunde in hoge dimensies en harmonische analyse verschuift de bepaling van de exacte vervalsnelheid van Cohn-Elkies het onderzoekslandschap. Omdat de bijpassende ondergrens bewijst dat geen enkele hulpfunctie in $\mathcal{A}_d$ de nieuwe exponent kan verslaan, kunnen onderzoekers stoppen met zoeken naar betere radiale testfuncties binnen het klassieke kader van lineaire programmering. Vooruitgang naar dichtere bolstapelingen of scherpere universele grenzen moet nu niet-lineaire programmeringstechnieken, semidefiniete hiërarchieën van hogere orde of radicaal andere meetkundige constructies verkennen.

Cryptografie en roostergebaseerde beveiliging #

Roostergebaseerde cryptografie - de kern van post-quantumstandaarden zoals ML-KEM en ML-DSA - leunt sterk op de vermoede moeilijkheid om kortste of dichtstbijzijnde vectoren te vinden in euclidische roosters van hoge dimensie. De directe reductie vanuit 3SAT, die hardheid met factor $n^{1/400}$ vastlegt voor het euclidische dichtstbijzijnde-vectorprobleem (CVP), versterkt samen met scherpere exponentiële plafonds voor bolstapelingen en sferische codes de theoretische fundamenten van roosterreducties van het slechtste naar het gemiddelde geval, zonder concrete beveiligingsparameters te verzwakken.

Automatisch bewijzen en foundation models #

Voor onderzoeksteams die redeneersystemen en automatische stellingbewijzers ontwikkelen, vormen de breedte en technische diepgang van de verzameling een opvallende maatstaf. In plaats van synthetische varianten van bekende bewijzen te maken, pakte het interne model open problemen aan in de groepentheorie (constructie van een expliciete niet-sofische groep via de groep V van Thompson), de operatoralgebra's (weerlegging van het vermoeden van Connes) en de aritmetische complexiteit (ondergrenzen voor de permanent). Het laat zien dat neurale architecturen zich kunnen bewegen door diepe Fourier-analyse en combinatorische matching, mits verificatie en bewijscontrole streng blijven.

Conclusie #

De bepaling van de exacte vervalsnelheid van het lineaire programma van Cohn-Elkies voor bolstapeling sluit een belangrijk hoofdstuk in de meetkundige analyse. Door het vermoeden uit 2020 van Afkhami-Jeddi, Cohn, Hartman, de Laat en Tajdini te bewijzen en de eerste verbetering van de algemene stapelingsexponent sinds 1978 te leveren, legt het werk een onwrikbare wiskundige basis. Met een bijpassende ondergrens die bevestigt dat geen hulpfunctie van Cohn-Elkies verdere exponentiële winst kan opleveren, beslecht de stelling de asymptotische sterkte van het lineaire programma en richt ze de toekomst van de meetkunde in hoge dimensies op fundamenteel nieuwe analytische horizonten.

Veelgestelde vragen #

Wat was het belang van de grens van Kabatianskii–Levenshtein?

De grens van Kabatianskii–Levenshtein, vastgesteld in 1978, gaf een asymptotische exponent van 0,59905576... als bovengrens voor de stapelingsdichtheid van bollen in hoge dimensies. Meer dan vier decennia lang verbeterden latere verfijningen alleen algebraïsche factoren van lagere orde, waardoor de leidende exponentiële snelheid tot dit resultaat onaangeroerd bleef.

Waarom is de bijpassende ondergrens zo cruciaal?

Een bovengrens alleen laat zien wat het lineaire programma bereikt, maar een bijpassende ondergrens bewijst dat geen keuze van hulpfunctie f in de toelaatbare klasse van Cohn-Elkies A(d) een kleinere exponent kan opleveren. Daarmee ligt er een absoluut plafond voor het kader van lineaire programmering zelf.

Hoe hangt het probleem van de Fourier-tekenonzekerheid samen met bolstapeling?

Cohn en Gonçalves toonden aan dat het complementaire probleem van de Fourier-tekenonzekerheid (waarbij g_hat = -g) nauw gekoppeld is aan stapelingsgrenzen. Via rotatiemiddeling en spiegelingen van de Mellin-transformatie beslecht de asymptotische oplossing van het programma van Cohn-Elkies direct het probleem van de Fourier-tekenonzekerheid.

Brengt dit resultaat roostergebaseerde cryptografie in gevaar?

Nee. De stelling verscherpt wel de bovengrenzen voor hoe dicht bollen in hoge dimensies kunnen worden gestapeld en legt hardheid met factor $n^{1/400}$ vast voor het dichtstbijzijnde-vectorprobleem, maar ze levert geen algoritmen voor roosterreductie in polynomiale tijd. Praktische roostergebaseerde cryptosystemen blijven veilig tegen bekende quantum- en klassieke aanvallen.

Bronnen #

Nima Afkhami-Jeddi et al., (2020). Bolstapelingen in hoge dimensies en de modulaire bootstrap ⧉. Journal of High Energy Physics.
Henry Cohn en Noam Elkies, (2003). Nieuwe bovengrenzen voor bolstapelingen I ⧉. Annals of Mathematics.
Henry Cohn en Felipe Gonçalves, (2019). Een optimaal onzekerheidsprincipe in de Fourier-analyse ⧉. PNAS.
Henry Cohn en Yufei Zhao, (2014). Grenzen voor bolstapeling via sferische codes ⧉. Duke Mathematical Journal.
G. A. Kabatianskii en V. I. Levenshtein, (1978). Grenzen voor stapelingen op een bol en in de ruimte ⧉. Problems of Information Transmission.
Maryna S. Viazovska, (2017). Het bolstapelingsprobleem in dimensie 8 ⧉. Annals of Mathematics.

Laatst herzien 2026-10-05.

Laatst herzien 2026-10-27.

Dit artikel herpubliceren

Intern OpenAI-model legt de exacte vervalsnelheid van Cohn-Elkies vast — Sebastien Rousseau

Een intern OpenAI-model bepaalt de exacte vervalsnelheid van het lineaire programma van Cohn-Elkies en verbetert voor het eerst sinds 1978 de algemene pakkingsexponent.

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

Intern OpenAI-model legt de exacte vervalsnelheid van Cohn-Elkies vast — Sebastien Rousseau

Een intern OpenAI-model bepaalt de exacte vervalsnelheid van het lineaire programma van Cohn-Elkies en verbetert voor het eerst sinds 1978 de algemene pakkingsexponent.

Originally published at https://sebastienrousseau.com/nl/2026-10-05-intern-openai-model-legt-exacte-vervalsnelheid/ by Sebastien Rousseau.
Licensed under CC-BY-4.0.

SEBASTIEN ROUSSEAU FOUNDER · ENGINEER