Intern OpenAI-modell fastställer Cohn-Elkies exakta avklingningstakt

TL;DR. En intern OpenAI-modell bestämmer den exakta avklingningstakten för Cohn-Elkies linjära program och ger den första förbättringen av klotpackningsexponenten sedan 1978.

Viktiga slutsatser

Vad samlingen är, och varför ett resultat sticker ut. Dokumentet börjar anspråkslöst.
Cohn-Elkies program och vad det begränsar. Klotpackning frågar hur tätt klot som inte överlappar varandra kan fylla rummet.
Vad ramverket redan hade åstadkommit. Innan vi går till den nya satsen är det värt att vara konkret om vad det Fourieranalytiska ramverket för linjär programmering redan hade levererat, eftersom det nya resultatet delvis är ett påstående om hur mycket…
Huvudsatsen. Dokumentets huvudsats bevisar den exponentiella takt som förmodades i förmodan 3.1 och 3.2 i den artikeln från 2020.

En samling matematiska resultat från en intern OpenAI-modell avgör den asymptotiska styrkan hos Cohn-Elkies linjära program för klotpackning. Den ger den första förbättringen av den allmänna klotpackningsexponenten sedan 1978, tillsammans med en exakt matchande undre gräns.

Vad samlingen är, och varför ett resultat sticker ut #

Dokumentet börjar anspråkslöst. Det presenterar en samling resultat som tagits fram av en intern OpenAI-modell och säger att de spänner över matematik och teoretisk datavetenskap. Det är en beskrivning av ursprung och omfång, och den säger inte hur modellen användes eller hur dess resultat kontrollerades. De frågorna spelar roll, och källan, så som den sammanfattas här, lämnar dem obesvarade, så den här artikeln låtsas inte något annat. Det påståendena faktiskt stöder är en lista med angivna resultat, och listan är så lång att den intressanta frågan inte är om någon enskild punkt imponerar. Den intressanta frågan är varför en av dem förtjänar större delen av uppmärksamheten.

Skälet är att klotpackningsresultatet är det enda i samlingen som stänger ett kvantitativt glapp i ett forskningsprogram med en lång och namngiven historia. De andra är slående i sin egen rätt. En explicit icke-sofisk grupp besvarar en gammal fråga. Ett motbevis av Connes förmodan avgör något som en namngiven matematiker föreslog. Men klotpackningsresultatet står i slutet av en kedja som går från ett Fourieranalytiskt ramverk, via två berömda exakta lösningar i enskilda dimensioner, till en fråga om höga dimensioner som stod öppen i åratal. Att förstå resultatet kräver att man förstår den kedjan.

Därför handlar huvuddelen av det som följer om Cohn-Elkies linjära program: vad det är, vad man visste om det, vad den nya satsen säger och hur teckenosäkerhetssidan av argumentet är uppbyggd. Ett kortare avsnitt går sedan igenom samlingens övriga resultat, vart och ett så som det anges och inte längre än så.

Cohn-Elkies program och vad det begränsar #

Klotpackning frågar hur tätt klot som inte överlappar varandra kan fylla rummet. Dokumentet fastställer notationen för detta. För centrum med inbördes avstånd minst 1 är ∆d supremum av de övre tätheterna för klot med radie 1/2 i Rd. Annorlunda uttryckt betecknar ∆d den maximala packningstätheten i Rd. Allt i samlingens första kapitel mäts mot den storheten.

Cohn-Elkies program ger en övre gräns för ∆d. Dess optimala utfall skrivs LPd och definieras som den optimala täthetsgräns programmet levererar. Mekanismen är Gorbachev–Cohn-Elkies-gränsen, som ger varje f i en klass kallad Ad den övre täthetsgränsen vd f(0)/(2d f̂(0)). I ord väljer man en hjälpfunktion f ur den tillåtna klassen, beräknar dess värde i origo och värdet av dess Fouriertransform i origo, bildar kvoten med volym- och skalfaktorerna, och resultatet begränsar packningstätheten uppifrån. Det linjära programmet söker det f som gör gränsen så liten som möjligt.

Det är ett ramverk där hela svårigheten ligger i att välja f väl. En skickligt vald funktion ger en snäv gräns, och en dåligt vald ger en svag gräns som ändå är giltig. Därför betyder den matchande undre gränsen i det nya resultatet så mycket. Den uttalar sig om alla tillåtna funktioner på en gång, och den gör sökandet efter bättre funktioner till en avgjord fråga.

Vad ramverket redan hade åstadkommit #

Innan vi går till den nya satsen är det värt att vara konkret om vad det Fourieranalytiska ramverket för linjär programmering redan hade levererat, eftersom det nya resultatet delvis är ett påstående om hur mycket längre det kan nå.

Viazovska använde detta ramverk för att bevisa att E8-gittret ger den optimala packningen i dimension åtta. Cohn, Kumar, Miller, Radchenko och Viazovska visade sedan att Leechgittret är optimalt i dimension tjugofyra. Det är exakta resultat i enskilda dimensioner, och de är skälet till att ramverket har ett rykte som går utöver dess roll som verktyg för gränser. I två bestämda dimensioner träffar det det sanna svaret.

Bilden i höga dimensioner var grumligare. Cohn och Zhao bevisade att det linjära programmet alltid är minst lika starkt som Kabatianskii–Levenshteins gräns för sferiska koder. Det är en användbar garanti, eftersom Kabatianskii–Levenshtein-gränsen hade varit den bästa kända allmänna exponenten. Men ”minst lika starkt” lämnar två möjligheter öppna: programmet kan matcha den exponenten exakt, eller slå den. Dokumentet anger följden rakt ut. Om det linjära programmet förbättrar den klassiska klotpackningsexponenten i höga dimensioner hade förblivit en öppen fråga.

Afkhami-Jeddi, Cohn, Hartman, de Laat och Tajdini förmodade det linjära programmets takt i höga dimensioner. Den förmodan är ett förbehållsamt objekt, och källan behandlar den som ett sådant. Det var en förmodan, stödd av de belägg författarna hade, och ingen hade bevisat den. Det nya resultatet ändrar dess status.

Huvudsatsen #

Dokumentets huvudsats bevisar den exponentiella takt som förmodades i förmodan 3.1 och 3.2 i den artikeln från 2020. Uttryckt på den nivå påståendena stöder: författarna bestämmer den exakta exponentiella avklingningstakten för Cohn-Elkies linjära program för klotpackning. Programmets asymptotiska styrka är, med källans ord, exakt bestämd.

Två följder går direkt att läsa ur källan. Den första är en förbättrad allmän packningsgräns i höga dimensioner. Den andra är att motsvarande Fourierproblem om teckenosäkerhet är asymptotiskt avgjort. Det är olika slags följder. Den ena gäller geometri och den andra analys, och att en enda sats ger båda är den första antydan om att klotpackningsproblemet och osäkerhetsproblemet är två sidor av samma struktur.

Källan ställer också bedriften mot historien. Den beskriver resultatet som den första förbättringen sedan 1978 av den allmänna klotpackningsexponenten. Den klassiska Kabatianskii–Levenshtein-exponenten var 0,59905576..., och den siffran hade varit måttstocken. Dokumentet noterar att senare förfiningar av sferiska koder bara hade förbättrat faktorer av lägre ordning. Med andra ord hade ingenting rört sig för själva exponenten, som är storheten av ledande ordning.

Jag menar att det är rätt sätt att bedöma resultatet. En förbättring av lägre ordning justerar konstanter och polynomiella faktorer men lämnar den exponentiella takten där den var. En förbättring av exponenten ändrar takten. Påståendena stöder precis den åtskillnaden, och de stöder påståendet att de tidigare förfiningarna hamnade på den lägre ordningens sida av den.

Dimension / ramverk	Klassisk utgångspunkt (1978)	Cohn-Elkies linjära program	Nytt modellbevis
Klotpackningsexponent	Kabatianskii–Levenshtein-gränsen: 0,59905576...	Minst lika stark som gränserna för sferiska koder (Cohn–Zhao)	Bevisad exakt asymptotisk takt, förmodad av Afkhami-Jeddi m.fl. (2020)
Gränsens slutgiltighet	Endast förfiningar av faktorer av lägre ordning	Öppen fråga om det asymptotiska glappet i höga dimensioner	Exakt matchande undre gräns: ingen hjälpfunktion kan slå denna takt
Fouriers teckenosäkerhet	Separata teckengränser ($A^+(d) < A^-(d)$)	Kopplad till anti-självfourierska testfunktioner	Asymptotiskt avgjord; teckenosäkerheten styrs av Mellinspegling
Felkorrigerande koder	Klassiska gränser för sferiska och binära koder	Asymptotiskt kopplade till packningsgränser	Förbättringar med exponentiella faktorer för alla parametrar med fast avstånd
Metodens tak	Numerisk optimering av polynomiella faktorer	Öppen optimering av hjälpfunktioner $f \in \mathcal{A}_d$	Matematiskt tak bevisat: vidare vinster kräver metoder utanför Cohn-Elkies

Varför den matchande undre gränsen ändrar frågan #

En förbättring av den övre gränsen ensam vore goda nyheter. Det som gör detta resultat ovanligt slutgiltigt är den andra halvan. Den matchande undre gränsen visar att ingen hjälpfunktion av Cohn-Elkies typ kan förbättra denna exponent.

Tänk på vad det gör med forskningsprogrammet. Före resultatet hade en forskare med en bättre idé för att konstruera en hjälpfunktion en rimlig väg till en ännu bättre klotpackningsexponent. Efter det är den vägen stängd på exponentnivå. Varje vidare framsteg för exponenten måste komma utifrån Cohn-Elkies ramverk, eftersom takten inom ramverket nu är exakt.

Jag vill inte överdriva detta. Påståendena säger inte att den nya exponenten är den sanna klotpackningsexponenten, och de säger inte att klotpackningen i sig inte kan bli bättre. Påståendet gäller det linjära programmet: dess exponent är fastställd och kan inte slås genom att byta hjälpfunktion. Om en annan teknik skulle kunna slå den är en fråga som påståendena inte tar upp. Det är en ren gräns, och det är den sortens gräns som visar ett fält var det ska leta härnäst.

Det finns också en kommersiellt sinnad läsning av detta, för läsare som bryr sig om vart ansträngningen går. Ett känt, exakt tak för en metod är användbar information. Det säger åt en att sluta optimera inom metoden. För den som fördelar forskningstid är skiftet från ”detta kan förbättras” till ”detta kan inte förbättras” värt lika mycket som ett blygsamt positivt resultat.

Sferiska koder och binära koder #

Samlingen stannar inte vid packning. De klassiska övre gränserna för binära och sferiska koder med fast avstånd förbättras med exponentiella faktorer för alla parametrar. Den meningen bär en stark kvantifierare. Förbättringen sker med exponentiella faktorer, och den gäller för alla parametrar, vilket är ett bredare påstående än en förbättring i ett gynnsamt område.

Det finns också en koppling tillbaka till kapitel 1. Konstruktionen av sferiska koder återvinner även klotpackningsexponenten från kapitel 1. De två trådarna hänger alltså ihop: konstruktionen på kodsidan återger exponenten på packningssidan. Påståendena beskriver inte mekanismen bakom återvinningen, och jag tänker inte hitta på någon. Det de visar är att sambandet går i denna riktning, där den sferiska konstruktionen ger samma exponent som packningskapitlet.

Det är värt att minnas varför kopplingen är viktig mot bakgrund av historien ovan. Kabatianskii–Levenshteins gräns för sferiska koder var jämförelsepunkten för det linjära programmet, och Cohn och Zhaos sats sade att programmet alltid är minst lika starkt. De nya resultaten förbättrar både kodgränser och packningsgränser, och de gör det med en konstruktion som leder tillbaka till packningsexponenten. De två sidorna flyttas tillsammans.

Teckenosäkerhetsproblemet #

Huvudsatsens andra följd gäller Fouriers teckenosäkerhet, och dokumentet ger tillräckligt många definitioner för att skissa dess form.

För en funktion g definieras r(g) som infimum av de R ≥ 0 sådana att g(x) ≥ 0 för |x| ≥ R. Enkelt uttryckt är r(g) den radie bortom vilken g är icke-negativ överallt. När ingen sådan radie finns är r(g) = ∞. Osäkerhetsproblemet gäller hur liten denna radie kan göras för funktioner med ett föreskrivet förhållande till sina egna Fouriertransformer.

Det förhållandet är ett tecken. Villkoret ĝ = ςg binder en funktion till dess Fouriertransform upp till tecknet. Tecknen +1 och −1 ger det ursprungliga respektive det komplementära osäkerhetsproblemet. Cohn och Gonçalves införde den anti-självfourierska motsvarigheten, alltså det komplementära problemet, och kopplade den till klotpackning. Den kopplingen är bron genom vilken klotpackningsresultatet avgör osäkerhetsproblemet asymptotiskt.

Det komplementära problemet är ingen kuriositet inom ren analys. I den spinnlösa modulära bootstrapmetoden ger modulär S-antisymmetri anti-självfourierska testfunktioner vars slutliga tecken styr spektralgapet. Källan hänvisar här till Hartman, Mazáč och Rastelli och till artikeln av Afkhami-Jeddi m.fl. En fråga som började som ett påstående om funktioner och deras transformer dyker alltså också upp i ett sammanhang med ett fysikaliskt klingande namn, spektralgapet. Påståendena går inte längre än den enradiga mekanismen, och det gör inte heller jag, men det påminner om att osäkerhetsproblemet har sällskap utanför klotpackningen.

Bilaga A lägger till en jämförelse mellan de två problemen. Den konstaterar att A+(d) < A−(d) för alla d. Det är ett påstående om att de två problemen skiljer sig åt i varje dimension, med den första storheten strikt mindre än den andra. Påståendena ger ingen vidare tolkning, och olikheten är värd att notera helt enkelt för att den gäller för alla d utan undantag.

Inuti argumentet: medelvärden, försvinnande och en massuppskattning #

Dokumentet innehåller flera tekniska påståenden som ger en känsla för hur osäkerhetsanalysen är byggd. De är fragment, och jag presenterar dem som fragment, men tillsammans skissar de en metod.

Börja med symmetrin. Rotationsmedelvärdet definieras med normaliserat Haarmått på O(d). Att ta medelvärdet av en funktion över rotationer ger en radiell funktion, och poängen är att det förenklar problemet utan att bryta mot villkoren. Källan säger att rotationsmedelvärden bevarar varje teckenvillkor i problemets villkorslista, märkt (2). Den tillägger att om ĝ = ςg så gäller r(Rg) ≤ r(g), där Rg är rotationsmedelvärdet av g. Medelvärdesbildningen gör alltså aldrig teckenradien sämre. Dessutom gäller, med källans formulering, Rg ≠ 0 så snart g ≠ 0 till slut är icke-negativ, så medelvärdesbildningen utplånar inte en funktion som har rätt teckenbeteende på stort avstånd.

Tillsammans motiverar dessa tre fakta en reduktion till radiella funktioner. Reduktionen kostar ingenting i radie, den bevarar teckenvillkoren och den låter inte funktionen kollapsa till noll. Det är formen hos ett vanligt symmetriargument, och påståendena bekräftar var och en av dess ingredienser.

Sedan origo. Funktionen g = h − ĥ försvinner i origo. Det är den sortens lilla faktum som gör stort arbete i ett bevis, eftersom Cohn-Elkies gräns direkt involverar värden i origo, och en funktion som försvinner där beter sig annorlunda än en som inte gör det. Ett närliggande korrigeringssteg finns också noterat: den korrigerade funktionen gn uppfyller gn(0) = 0 och gn → g i L1. En följd av korrigerade funktioner, som var och en försvinner i origo, konvergerar alltså mot g i L1-mening. Det låter argumentet arbeta med funktioner som uppfyller villkoret i origo exakt men ändå approximerar målet.

Därefter finns ett kvantitativt villkor. Massuppskattningen tvingar fram 1/a ≥ (1/π − o(1))√d. Påståendena definierar inte a, så jag kan inte säga vad den mäter, och jag tänker inte gissa. Det som kan sägas är slutsatsens form: en undre gräns för 1/a som växer som kvadratroten ur dimensionen, med konstanten 1/π och en försvinnande korrektion. En skala som kvadratroten ur dimensionen ser ut som en naturlig storlek i högdimensionell geometri, men det är min iakttagelse om uttryckets form, och påståendena hävdar det inte som en mekanism.

Mellinbilden #

Ytterligare en del av verktygslådan förekommer i dokumentet, och det är den som tydligast förklarar varför radiell Fourieranalys är hanterbar här. Efter en Mellintransform speglar den radiella Fouriertransformen Mellinvariabeln. Det är ett kompakt påstående om hur en transform verkar. Fouriertransformen av en radiell funktion, som normalt är en integraloperator och besvärlig att resonera om direkt, blir en spegling i Mellinvariabeln. Speglingar är ungefär så enkla som operatorer kan bli.

Samma avsnitt noterar ett analytiskt villkor på andra sidan. Schwartzavklingningen hos g ger snabb avklingning hos Φg när v → +∞. Här är Φg det objekt som Mellinanalysen ger, och v är dess variabel. Kombinationen är lärorik: speglingsegenskapen hanterar strukturen och Schwartzavklingningen hanterar kontrollen i oändligheten. Ett bevis i denna stil behöver båda, eftersom struktur utan avklingning lämnar integraler som kanske inte konvergerar, och avklingning utan struktur lämnar ingenting att räkna på.

Dokumentet noterar också att Sd är enhetssfärens area, som kommer in som normeringsfaktor när radiella integraler omvandlas mellan sfären och linjen. Det är en definitionsfråga, och det är den sortens bokföring som avgör om konstanterna i en slutlig gräns blir rätt.

Jag vill vara tydlig med vad dessa fragment är. De är inte beviset. Påståendena ger utsagor, inte härledningar, och ingen läsare bör rekonstruera hela argumentet ur dem. Det de visar är att analysen kombinerar symmetrireduktion, ett villkor i origo, en kvantitativ massuppskattning och en transform vars verkan förenklas efter ett variabelbyte. Den kombinationen är konventionell för Fourieranalytiska extremalproblem, vilket gör det slutliga resultatets exakthet mer anmärkningsvärd, inte mindre. Verktyg som ser vanliga ut räckte för att nå ett skarpt svar.

Resten av samlingen #

Klotpackningskapitlet är bara en del av dokumentet, och de övriga resultaten förtjänar en rättvis redovisning. Vart och ett anges här precis så som påståendena ger det.

Inom gruppteori konstrueras en explicit icke-sofisk grupp, vilket besvarar den gamla frågan om varje uppräknelig grupp är sofisk. Beviset kombinerar arbeten av Kun och Kun–Thom med ett kombinatoriskt argument om expandermatchning, förverkligat med hjälp av den binära Leavittalgebran och Thompsons grupp V. Ordet ”explicit” väger tungt här: resultatet är en konstruktion och inte ett existensargument.

Inom operatoralgebror konstrueras oändligt många parvis icke-isomorfa grupper med egenskap (T) som har samma gruppalgebra av von Neumann-typ. Detta motbevisar Connes förmodan och besvarar en närliggande fråga om ändlig-till-en-avbildning från Popa. Två namngivna frågor faller för en enda konstruktion.

Inom aritmetisk komplexitet ger dokumentet undre gränser för permanenten. Divisionsfria kretsar kräver Ω(n² log log n) grindar, medan formler kräver Ω(n⁴ / log n) löv. Det är två gränser för två beräkningsmodeller, och dokumentet anger dem sida vid sida.

Inom kvantinformation bevisas exponentiell parallell upprepning för varje ändligt sammanflätat spel med två spelare. Källan säger att detta utvidgar den klassiska upprepningsprincipen bortom de specialklasser av kvantspel som behandlats tidigare. Kvantifieraren sticker åter ut: varje ändligt sammanflätat spel med två spelare, utan begränsning till en specialklass.

Inom approximationssvårighet ger en direkt reduktion från 3SAT svårighet med faktorn n^(1/400) för det euklidiska problemet om närmaste vektor, med närliggande följder för binär avkodning och andra gitternormer. Exponenten 1/400 är liten, och jag rapporterar den hellre som den står än klär upp den. Påståendena kallar reduktionen direkt och knyter följder till binär avkodning och andra normer.

Inom konvex geometri bevisas den skarpa övre volymgränsen (n + 1)^n / n! i varje dimension för konvexa kroppar vars tyngdpunkt är deras enda inre gitterpunkt. Både skärpan och giltigheten i alla dimensioner ingår i påståendet.

Inom Ramseyteori visar en ny superexponentiell undre gräns att Rk(3) växer som k^Θ(k). Och inom extremal grafteori motbevisar separata konstruktioner av bipartita grafer två förmodanden: Erdős och Simonovits kompakthetsförmodan och en degenerationsförmodan av Erdős.

Att läsa samlingen som helhet #

Det vore lätt att behandla listan som ett troféskåp, så det är värt att säga vad som kan och inte kan slutas av den.

Det som kan sägas är att dokumentet rapporterar resultat inom minst åtta områden, att flera beskrivs som svar på eller motbevis av namngivna förmodanden, och att klotpackningskapitlet kommer med en matchande undre gräns som gör resultatet slutgiltigt inom sitt ramverk. Förmodandena bär namnen Connes, Popa, Erdős och Simonovits, och klotpackningstakten förmodades av Afkhami-Jeddi, Cohn, Hartman, de Laat och Tajdini. Resultat som avgör namngivna frågor är lätta att värdera, eftersom frågan ställdes innan svaret fanns.

Det som inte kan sägas utifrån dessa påståenden ensamma är något om hur modellen fungerar, hur många försök den behövde, hur dess resultat verifierades eller hur den står sig mot mänsklig insats. Källan säger att resultaten togs fram av en intern OpenAI-modell, och där slutar påståendena. En läsare som vill väga samlingens betydelse som belägg om maskinell matematik behöver information som påståendena inte innehåller. Jag skulle motstå frestelsen att fylla det glappet med en berättelse som låter rimlig.

Det finns ändå en ståndpunkt värd att inta. Resultaten är heterogena i teknik: den icke-sofiska gruppen använder den binära Leavittalgebran och Thompsons grupp V, klotpackningsresultatet använder Fourieranalys och Mellintransformer, och svårigheten för närmaste vektor använder en reduktion från 3SAT. En samling som täcker så mycket tekniskt område är inte produkten av ett enda knep som upprepats. Det som tog fram dessa resultat arbetade i flera matematiska dialekter, och åtminstone så mycket stöder påståendena.

Vad detta betyder per sektor #

Den exakta bestämningen av Cohn-Elkies avklingningstakt i höga dimensioner och de matematiska resultat som följer med den påverkar flera teoretiska och tillämpade beräkningsområden.

Ren matematik och diskret geometri #

För matematiker som arbetar med högdimensionell geometri och harmonisk analys förändrar bestämningen av Cohn-Elkies exakta avklingningstakt forskningslandskapet. Eftersom den matchande undre gränsen bevisar att ingen hjälpfunktion i $\mathcal{A}_d$ kan slå den nya exponenten kan forskare sluta leta efter bättre radiella testfunktioner inom det klassiska ramverket för linjär programmering. Framsteg mot tätare klotpackningar eller snävare universella gränser måste nu pröva icke-linjära programmeringstekniker, semidefinita hierarkier av högre ordning eller radikalt annorlunda geometriska konstruktioner.

Kryptografi och gitterbaserad säkerhet #

Gitterbaserad kryptografi, som utgör kärnan i postkvantstandarder som ML-KEM och ML-DSA, vilar tungt på den förmodade svårigheten att hitta kortaste eller närmaste vektorer i högdimensionella euklidiska gitter. Den direkta reduktionen från 3SAT som etablerar svårighet med faktorn $n^{1/400}$ för det euklidiska problemet om närmaste vektor (CVP), kombinerad med snävare exponentiella tak för klotpackningar och sferiska koder, befäster den teoretiska grunden för gitterreduktioner från värsta fall till genomsnittsfall utan att försvaga konkreta säkerhetsparametrar.

Automatiserad satsbevisning och grundmodeller #

För forskningsteam som utvecklar resonerande system och automatiserade satsbevisare utgör samlingens bredd och tekniska djup ett slående riktmärke. I stället för att ta fram syntetiska varianter av kända bevis gav sig den interna modellen på öppna problem inom gruppteori (konstruktionen av en explicit icke-sofisk grupp via Thompsons grupp V), operatoralgebror (motbeviset av Connes förmodan) och aritmetisk komplexitet (undre gränser för permanenten). Det visar att neurala arkitekturer kan navigera djup Fourieranalys och kombinatorisk matchning, förutsatt att verifiering och bevisgranskning förblir rigorösa.

Slutsats #

Bestämningen av den exakta avklingningstakten för Cohn-Elkies linjära program för klotpackning avslutar ett stort kapitel inom geometrisk analys. Genom att bevisa förmodan från 2020 av Afkhami-Jeddi, Cohn, Hartman, de Laat och Tajdini och ge den första förbättringen av den allmänna klotpackningsexponenten sedan 1978 lägger arbetet en orubblig matematisk grund. Med en matchande undre gräns som bekräftar att ingen hjälpfunktion av Cohn-Elkies typ kan ge ytterligare exponentiella vinster avgör satsen både det linjära programmets asymptotiska styrka och riktar den högdimensionella geometrins framtid mot helt nya analytiska horisonter.

Vanliga frågor #

Vilken betydelse hade Kabatianskii–Levenshtein-gränsen?

Kabatianskii–Levenshtein-gränsen från 1978 gav en asymptotisk övre gränsexponent på 0,59905576... för packningstätheten i höga dimensioner. I mer än fyra decennier förbättrade senare förfiningar bara algebraiska faktorer av lägre ordning, och den ledande exponentiella takten lämnades orörd fram till detta resultat.

Varför är den matchande undre gränsen så avgörande?

En övre gräns ensam visar vad det linjära programmet uppnår, men en matchande undre gräns bevisar att inget val av hjälpfunktion f i Cohn-Elkies tillåtna klass A(d) kan ge en mindre exponent. Det sätter ett absolut tak för själva ramverket för linjär programmering.

Hur hänger Fouriers teckenosäkerhetsproblem ihop med klotpackning?

Cohn och Gonçalves visade att det komplementära Fourierproblemet om teckenosäkerhet (där g_hat = -g) är nära kopplat till gränser för klotpackning. Genom rotationsmedelvärden och speglingar via Mellintransformen avgör den asymptotiska lösningen av Cohn-Elkies program direkt Fouriers teckenosäkerhetsproblem.

Äventyrar detta resultat gitterbaserad kryptografi?

Nej. Satsen skärper visserligen de övre gränserna för hur tätt klot kan packas i höga dimensioner och etablerar svårighet med faktorn $n^{1/400}$ för problemet om närmaste vektor, men den ger inga algoritmer för gitterreduktion i polynomisk tid. Praktiska gitterbaserade kryptosystem förblir säkra mot kända kvant- och klassiska attacker.

Källor #

Nima Afkhami-Jeddi m.fl., (2020). Klotpackningar i höga dimensioner och den modulära bootstrapmetoden ⧉. Journal of High Energy Physics.
Henry Cohn och Noam Elkies, (2003). Nya övre gränser för klotpackningar I ⧉. Annals of Mathematics.
Henry Cohn och Felipe Gonçalves, (2019). En optimal osäkerhetsprincip inom Fourieranalys ⧉. PNAS.
Henry Cohn och Yufei Zhao, (2014). Gränser för klotpackning via sferiska koder ⧉. Duke Mathematical Journal.
G. A. Kabatianskii och V. I. Levenshtein, (1978). Gränser för packningar på en sfär och i rummet ⧉. Problems of Information Transmission.
Maryna S. Viazovska, (2017). Klotpackningsproblemet i dimension 8 ⧉. Annals of Mathematics.

Senast granskad 2026-10-05.

Senast granskad 2026-10-27.

Återpublicera den här artikeln

Intern OpenAI-modell fastställer Cohn-Elkies exakta avklingningstakt — Sebastien Rousseau

En intern OpenAI-modell bestämmer den exakta avklingningstakten för Cohn-Elkies linjära program och ger den första förbättringen av klotpackningsexponenten sedan 1978.

Den här artikeln är licensierad under Creative Commons Attribution 4.0 International. Återpublicering kräver attribution till den kanoniska URL:en.

Intern OpenAI-modell fastställer Cohn-Elkies exakta avklingningstakt — Sebastien Rousseau

En intern OpenAI-modell bestämmer den exakta avklingningstakten för Cohn-Elkies linjära program och ger den första förbättringen av klotpackningsexponenten sedan 1978.

Originally published at https://sebastienrousseau.com/sv/2026-10-05-intern-openai-modell-faststaller-cohn-elkies/ by Sebastien Rousseau.
Licensed under CC-BY-4.0.

SEBASTIEN ROUSSEAU FOUNDER · ENGINEER