Un model OpenAI determină rata exactă de descreștere Cohn-Elkies

TL;DR. Un model intern OpenAI determină rata exactă de descreștere a programului liniar Cohn-Elkies și aduce prima îmbunătățire a exponentului împachetării sferelor din 1978.

Concluzii cheie

Ce este colecția și de ce iese în evidență un rezultat. Documentul începe modest.
Programul Cohn-Elkies și ce anume mărginește. Împachetarea sferelor întreabă cât de dens pot umple spațiul niște bile care nu se suprapun.
Ce realizase deja metoda. Înainte de a trece la noua teoremă, merită să fim concreți despre ce oferise deja metoda de programare liniară bazată pe analiza Fourier, pentru că noul rezultat este în parte o afirmație despre cât de departe mai…
Teorema principală. Teorema principală a documentului demonstrează rata exponențială conjecturată în Conjecturile 3.1 și 3.2 din acea lucrare din 2020.

O colecție de rezultate matematice ale unui model intern OpenAI stabilește puterea asimptotică a programului liniar Cohn-Elkies pentru împachetarea sferelor. Ea aduce prima îmbunătățire a exponentului general al împachetării sferelor din 1978 încoace, împreună cu o margine inferioară care se potrivește exact.

Ce este colecția și de ce iese în evidență un rezultat #

Documentul începe modest. Prezintă o colecție de rezultate obținute de un model intern OpenAI și spune că ele acoperă matematica și informatica teoretică. Aceasta este o descriere a provenienței și a domeniului, care nu spune cum a fost folosit modelul și nici cum au fost verificate rezultatele lui. Aceste întrebări contează, iar sursa, așa cum este rezumată aici, le lasă fără răspuns, așa că articolul de față nu se va preface că lucrurile stau altfel. Ceea ce susțin afirmațiile este o listă de rezultate enunțate, iar lista este suficient de lungă încât întrebarea interesantă să nu fie dacă vreun element anume impresionează. Întrebarea interesantă este de ce unul dintre ele merită cea mai mare parte a atenției.

Motivul este că rezultatul despre împachetarea sferelor este singurul din colecție care închide un decalaj cantitativ într-un program de cercetare cu o istorie lungă și cunoscută. Celelalte sunt remarcabile în sine. Un grup nesofic explicit răspunde unei întrebări vechi. O infirmare a conjecturii lui Connes tranșează ceva propus de un matematician cunoscut. Dar rezultatul despre împachetarea sferelor se află la capătul unui lanț care pornește de la o metodă bazată pe analiza Fourier, trece prin două soluții exacte celebre în dimensiuni individuale și ajunge la o întrebare despre dimensiunile mari care a rămas deschisă ani la rând. A-l înțelege înseamnă a înțelege acest lanț.

Așadar, cea mai mare parte a ceea ce urmează privește programul liniar Cohn-Elkies: ce este, ce se știa despre el, ce spune noua teoremă și cum este construită latura argumentului care ține de incertitudinea semnului. O secțiune mai scurtă trece apoi în revistă celelalte rezultate ale colecției, fiecare așa cum este enunțat și nimic în plus.

Programul Cohn-Elkies și ce anume mărginește #

Împachetarea sferelor întreabă cât de dens pot umple spațiul niște bile care nu se suprapun. Documentul stabilește notația pentru aceasta. Pentru centre aflate la distanță de cel puțin 1 unul de altul, ∆d este supremumul densităților superioare ale bilelor de rază 1/2 în Rd. Altfel spus, ∆d desemnează densitatea maximă de împachetare a sferelor în Rd. Totul în primul capitol al colecției este măsurat în raport cu această mărime.

Programul Cohn-Elkies oferă o margine superioară pentru ∆d. Rezultatul său optim se notează LPd și este definit ca marginea optimă de densitate furnizată de program. Mecanismul este marginea Gorbachev–Cohn-Elkies, care atribuie fiecărei funcții f dintr-o clasă numită Ad marginea superioară de densitate vd f(0)/(2d f̂(0)). În cuvinte, alegi o funcție auxiliară f din clasa admisibilă, calculezi valoarea ei în origine și valoarea transformatei ei Fourier în origine, formezi raportul cu factorii de volum și de scară, iar rezultatul mărginește de sus densitatea împachetării. Programul liniar caută funcția f care face această margine cât mai mică.

Este o metodă în care toată dificultatea stă în alegerea bună a lui f. O funcție aleasă cu pricepere dă o margine strânsă, iar una aleasă prost dă o margine slabă, care rămâne totuși validă. De aceea contează atât de mult marginea inferioară potrivită din noul rezultat. Ea vorbește despre toate funcțiile admisibile deodată și transformă căutarea unor funcții mai bune într-o întrebare închisă.

Ce realizase deja metoda #

Înainte de a trece la noua teoremă, merită să fim concreți despre ce oferise deja metoda de programare liniară bazată pe analiza Fourier, pentru că noul rezultat este în parte o afirmație despre cât de departe mai poate ajunge.

Viazovska a folosit această metodă pentru a demonstra că rețeaua E8 dă împachetarea optimă în dimensiunea opt. Cohn, Kumar, Miller, Radchenko și Viazovska au stabilit apoi optimalitatea rețelei Leech în dimensiunea douăzeci și patru. Acestea sunt rezultate exacte în dimensiuni individuale și ele sunt motivul pentru care metoda are o reputație care depășește rolul de simplu instrument de mărginire. În două dimensiuni anume, ea nimerește răspunsul adevărat.

Imaginea în dimensiuni mari era mai neclară. Cohn și Zhao au demonstrat că programul liniar este întotdeauna cel puțin la fel de puternic ca marginea Kabatianskii–Levenshtein pentru coduri sferice. Este o garanție utilă, pentru că marginea Kabatianskii–Levenshtein fusese cel mai bun exponent general cunoscut. Dar „cel puțin la fel de puternic” lasă deschise două posibilități: programul ar putea egala exact acel exponent sau l-ar putea depăși. Documentul enunță direct consecința. Dacă programul liniar îmbunătățește exponentul clasic al împachetării sferelor în dimensiuni mari rămăsese o întrebare deschisă.

Afkhami-Jeddi, Cohn, Hartman, de Laat și Tajdini au formulat o conjectură despre rata programului liniar în dimensiuni mari. Această conjectură este un obiect însoțit de rezerve, iar sursa o tratează ca atare. A fost o conjectură, susținută de dovezile pe care le aveau autorii, și nimeni nu o demonstrase. Noul rezultat îi schimbă statutul.

Teorema principală #

Teorema principală a documentului demonstrează rata exponențială conjecturată în Conjecturile 3.1 și 3.2 din acea lucrare din 2020. Enunțată la nivelul pe care îl susțin afirmațiile: autorii determină rata exponențială exactă de descreștere a programului liniar Cohn-Elkies pentru împachetarea sferelor. Puterea asimptotică a programului este, în cuvintele sursei, determinată exact.

Din sursă decurg direct două consecințe. Prima este o margine generală de împachetare îmbunătățită în dimensiuni mari. A doua este că problema corespunzătoare a incertitudinii semnului în analiza Fourier este rezolvată asimptotic. Sunt consecințe de tipuri diferite. Una privește geometria, cealaltă analiza, iar faptul că o singură teoremă le oferă pe amândouă este primul indiciu că problema împachetării sferelor și problema incertitudinii sunt două fețe ale aceleiași structuri.

Sursa plasează realizarea și în raport cu istoria. Ea descrie rezultatul ca prima îmbunătățire din 1978 încoace a exponentului general al împachetării sferelor. Exponentul clasic Kabatianskii–Levenshtein era 0,59905576..., iar această valoare fusese reperul. Documentul consemnează că rafinările ulterioare ale codurilor sferice îmbunătățiseră doar factori de ordin inferior. Cu alte cuvinte, pentru exponentul însuși, care este mărimea de ordin principal, nimic nu se mișcase.

Aș susține că această încadrare este cea corectă pentru evaluarea rezultatului. O îmbunătățire de ordin inferior ajustează constante și factori polinomiali, lăsând rata exponențială acolo unde era. O îmbunătățire a exponentului schimbă rata. Afirmațiile susțin exact această distincție și susțin constatarea că rafinările anterioare au căzut de partea ordinului inferior.

Dimensiune / metodă	Referința clasică (1978)	Programul liniar Cohn-Elkies	Noua demonstrație a modelului
Exponentul împachetării sferelor	Marginea Kabatianskii–Levenshtein: 0,59905576...	Cel puțin la fel de puternic ca marginile pentru coduri sferice (Cohn–Zhao)	Rată asimptotică exactă demonstrată, conjecturată de Afkhami-Jeddi et al. (2020)
Caracterul definitiv al marginii	Doar rafinări ale factorilor de ordin inferior	Întrebare deschisă privind decalajul asimptotic în dimensiuni mari	Margine inferioară potrivită exact: nicio funcție auxiliară nu poate depăși această rată
Incertitudinea semnului Fourier	Margini de semn separate ($A^+(d) < A^-(d)$)	Legată de funcții de test anti-auto-Fourier	Rezolvată asimptotic; incertitudinea semnului guvernată de reflexia Mellin
Coduri corectoare de erori	Margini clasice pentru coduri sferice și binare	Cuplate asimptotic cu marginile de împachetare	Îmbunătățiri cu factori exponențiali pentru toți parametrii cu distanță fixă
Plafonul metodologic	Optimizare numerică a factorilor polinomiali	Optimizare deschisă a funcțiilor de test $f \in \mathcal{A}_d$	Plafon matematic demonstrat: alte câștiguri cer metode din afara Cohn-Elkies

De ce marginea inferioară potrivită schimbă întrebarea #

O îmbunătățire doar a marginii superioare ar fi o veste bună. Ceea ce face acest rezultat neobișnuit de definitiv este a doua jumătate. Marginea inferioară potrivită arată că nicio funcție auxiliară Cohn-Elkies nu poate îmbunătăți acest exponent.

Gândiți-vă ce înseamnă asta pentru programul de cercetare. Înainte de rezultat, un cercetător cu o idee mai bună pentru construirea unei funcții auxiliare avea o cale plauzibilă spre un exponent și mai bun al împachetării sferelor. După el, acea cale este închisă la nivelul exponenților. Orice progres ulterior privind exponentul trebuie să vină din afara metodei Cohn-Elkies, pentru că în interiorul ei rata este acum exactă.

Nu vreau să exagerez. Afirmațiile nu spun că noul exponent este adevăratul exponent al împachetării sferelor și nu spun că împachetarea sferelor în sine nu poate fi îmbunătățită. Afirmația privește programul liniar: exponentul lui este fixat și nu poate fi depășit schimbând funcția auxiliară. Dacă o altă tehnică l-ar putea depăși este o întrebare pe care afirmațiile nu o abordează. Este o limită clară și tocmai genul de limită care îi spune unui domeniu unde să caute mai departe.

Există și o lectură cu ochi de om de afaceri, pentru cititorii care țin la felul în care este investit efortul. Un plafon exact cunoscut al unei metode este o informație utilă. Îți spune să nu mai optimizezi în interiorul acelei metode. Pentru oricine alocă timp de cercetare, trecerea de la „asta s-ar putea îmbunătăți” la „asta nu se poate îmbunătăți” valorează cât un rezultat pozitiv modest.

Coduri sferice și coduri binare #

Colecția nu se oprește la împachetare. Marginile superioare clasice pentru codurile binare și sferice cu distanță fixă sunt îmbunătățite cu factori exponențiali pentru toți parametrii. Această propoziție poartă un cuantificator puternic. Îmbunătățirea este cu factori exponențiali și este valabilă pentru toți parametrii, ceea ce este o afirmație mai largă decât o îmbunătățire într-un regim favorabil.

Există și o legătură înapoi cu Capitolul 1. Construcția codurilor sferice recuperează și exponentul împachetării sferelor din Capitolul 1. Cele două fire se leagă deci: construcția de pe latura codurilor reproduce exponentul de pe latura împachetării. Afirmațiile nu descriu mecanismul acestei recuperări și nu voi inventa unul. Ceea ce stabilesc este că relația merge în această direcție, construcția sferică dând același exponent ca și capitolul despre împachetare.

Merită amintit de ce contează această legătură, având în vedere istoria de mai sus. Marginea Kabatianskii–Levenshtein pentru coduri sferice era punctul de comparație pentru programul liniar, iar teorema lui Cohn și Zhao spunea că programul este întotdeauna cel puțin la fel de puternic. Noile rezultate îmbunătățesc atât marginile pentru coduri, cât și pe cele pentru împachetare, și o fac printr-o construcție care revine la exponentul împachetării. Cele două laturi se mișcă împreună.

Problema incertitudinii semnului #

A doua consecință a teoremei principale privește incertitudinea semnului în analiza Fourier, iar documentul oferă suficiente definiții pentru a-i schița forma.

Pentru o funcție g, r(g) este definit ca infimumul valorilor R ≥ 0 pentru care g(x) ≥ 0 când |x| ≥ R. Pe înțeles, r(g) este raza dincolo de care g este peste tot nenegativă. Când nu există o asemenea rază, r(g) = ∞. Problema incertitudinii privește cât de mică poate fi făcută această rază pentru funcții aflate într-o relație prescrisă cu propriile transformate Fourier.

Relația aceasta este un semn. Condiția ĝ = ςg leagă o funcție de transformata ei Fourier până la semn. Semnele +1 și −1 dau problema de incertitudine originală și, respectiv, pe cea complementară. Cohn și Gonçalves au introdus omologul anti-auto-Fourier, adică problema complementară, și l-au legat de împachetarea sferelor. Această legătură este puntea prin care rezultatul despre împachetarea sferelor rezolvă asimptotic problema incertitudinii.

Problema complementară nu este o curiozitate a analizei pure. În bootstrap-ul modular fără spin, S-antisimetria modulară produce funcții de test anti-auto-Fourier al căror semn final controlează decalajul spectral. Sursa îi citează aici pe Hartman, Mazáč și Rastelli și lucrarea lui Afkhami-Jeddi et al. Astfel, o întrebare care a început ca o afirmație despre funcții și transformatele lor apare și într-un cadru cu un nume care sună a fizică, decalajul spectral. Afirmațiile nu merg mai departe de mecanismul într-un singur rând și nici eu nu voi merge, dar ne amintesc că problema incertitudinii are companie și în afara împachetării sferelor.

Anexa A adaugă o comparație între cele două probleme. Ea observă că A+(d) < A−(d) pentru orice d. Este o afirmație că cele două probleme diferă în fiecare dimensiune, prima mărime fiind strict mai mică decât a doua. Afirmațiile nu dau o interpretare suplimentară, iar inegalitatea merită notată pur și simplu pentru că este valabilă pentru orice d, fără excepții.

În interiorul argumentului: mediere, anulare și o estimare a masei #

Documentul include mai multe enunțuri tehnice care dau o idee despre cum este construită analiza incertitudinii. Sunt fragmente și le voi prezenta ca fragmente, dar împreună schițează o metodă.

Să începem cu simetria. Media după rotații este definită folosind măsura Haar normalizată pe O(d). Medierea unei funcții după rotații produce o funcție radială, iar rostul este că astfel problema se simplifică fără a încălca constrângerile. Sursa spune că medierea după rotații păstrează fiecare condiție de semn din lista de constrângeri a problemei, marcată (2). Adaugă că, dacă ĝ = ςg, atunci r(Rg) ≤ r(g), unde Rg este media după rotații a lui g. Așadar medierea nu înrăutățește niciodată raza semnului. De asemenea, în formularea sursei, Rg ≠ 0 ori de câte ori g ≠ 0 este în cele din urmă nenegativă, deci medierea nu anihilează o funcție care are comportamentul de semn corect la distanță mare.

Aceste trei fapte împreună justifică o reducere la funcții radiale. Reducerea nu costă nimic în ceea ce privește raza, păstrează condițiile de semn și nu prăbușește funcția la zero. Aceasta este forma unui argument standard de simetrie, iar afirmațiile confirmă fiecare dintre ingredientele lui.

Apoi, originea. Funcția g = h − ĥ se anulează în origine. Este genul de fapt mărunt care face o muncă mare într-o demonstrație, pentru că marginea Cohn-Elkies implică direct valori în origine, iar o funcție care se anulează acolo se comportă diferit de una care nu se anulează. Este consemnat și un pas de corecție înrudit: funcția corectată gn satisface gn(0) = 0 și gn → g în L1. Un șir de funcții corectate, fiecare anulându-se în origine, converge așadar la g în sensul L1. Aceasta permite argumentului să lucreze cu funcții care satisfac exact condiția din origine, aproximând totodată ținta.

Urmează o constrângere cantitativă. Estimarea masei impune 1/a ≥ (1/π − o(1))√d. Afirmațiile nu îl definesc pe a, așa că nu pot spune ce măsoară și nu voi ghici. Se poate spune care este forma concluziei: o margine inferioară pentru 1/a care crește ca rădăcina pătrată a dimensiunii, cu constanta 1/π și o corecție care se anulează. O scară de tip rădăcină pătrată a dimensiunii pare o mărime naturală pentru geometria în dimensiuni mari, dar aceasta este observația mea despre forma expresiei, iar afirmațiile nu o susțin ca mecanism.

Imaginea Mellin #

Încă o piesă din trusa de instrumente apare în document și este cea care explică cel mai limpede de ce analiza Fourier radială este abordabilă aici. După o transformată Mellin, transformata Fourier radială reflectă variabila Mellin. Este o afirmație concisă despre felul în care acționează o transformată. Transformata Fourier a unei funcții radiale, care în mod normal este un operator integral și greu de manevrat direct, devine o reflexie în variabila Mellin. Reflexiile sunt cam cei mai simpli operatori care există.

Același pasaj consemnează o condiție analitică de cealaltă parte. Descreșterea Schwartz a lui g dă o descreștere rapidă a lui Φg când v → +∞. Aici Φg este obiectul obținut în analiza Mellin, iar v este variabila lui. Împerecherea este instructivă: proprietatea de reflexie se ocupă de structură, iar descreșterea Schwartz se ocupă de controlul la infinit. O demonstrație în acest stil are nevoie de amândouă, pentru că structura fără descreștere lasă integrale care s-ar putea să nu conveargă, iar descreșterea fără structură nu lasă nimic de calculat.

Documentul notează și că Sd este aria sferei unitate, care intră ca factor de normalizare atunci când integralele radiale sunt convertite între sferă și dreaptă. Este un punct de definiție și tocmai genul de contabilitate care decide dacă constantele dintr-o margine finală ies corect.

Vreau să fie clar ce sunt aceste fragmente. Ele nu sunt demonstrația. Afirmațiile dau enunțuri, nu deducții, și niciun cititor nu ar trebui să reconstruiască argumentul complet din ele. Ceea ce arată este că analiza combină reducerea prin simetrie, o condiție în origine, o estimare cantitativă a masei și o transformată a cărei acțiune se simplifică după o schimbare de variabile. Această combinație este obișnuită pentru problemele extremale din analiza Fourier, ceea ce face ca exactitatea rezultatului final să fie mai remarcabilă, nu mai puțin. Unelte cu aspect standard au fost suficiente pentru a ajunge la un răspuns precis.

Restul colecției #

Capitolul despre împachetarea sferelor este doar o parte a documentului, iar celelalte rezultate merită o prezentare corectă. Fiecare este enunțat aici exact așa cum îl dau afirmațiile.

În teoria grupurilor este construit un grup nesofic explicit, ceea ce răspunde vechii întrebări dacă orice grup numărabil este sofic. Demonstrația combină lucrări ale lui Kun și Kun–Thom cu un argument combinatoric de potrivire în expanderi, realizat cu ajutorul algebrei Leavitt binare și al grupului V al lui Thompson. Cuvântul „explicit” are greutate aici: rezultatul este o construcție, nu un argument de existență.

În algebrele de operatori sunt construite o infinitate de grupuri neizomorfe două câte două, cu proprietatea (T), care au aceeași algebră von Neumann de grup. Aceasta infirmă conjectura lui Connes și răspunde unei întrebări înrudite a lui Popa despre aplicațiile finit-la-unu. Două întrebări cunoscute cad printr-o singură construcție.

În complexitatea aritmetică, documentul dă margini inferioare pentru permanent. Circuitele fără împărțire necesită Ω(n² log log n) porți, iar formulele necesită Ω(n⁴ / log n) frunze. Sunt două margini pentru două modele de calcul, iar documentul le prezintă una lângă alta.

În informația cuantică este demonstrată repetarea paralelă exponențială pentru orice joc finit cu doi jucători și stări încurcate. Sursa spune că aceasta extinde principiul clasic al repetării dincolo de clasele speciale de jocuri cuantice tratate anterior. Cuantificatorul iese din nou în evidență: orice joc finit cu doi jucători și stări încurcate, fără restricție la o clasă specială.

În dificultatea aproximării, o reducere directă din 3SAT dă o dificultate cu factor n^(1/400) pentru problema euclidiană a celui mai apropiat vector, cu consecințe înrudite pentru decodarea binară și alte norme de rețea. Exponentul 1/400 este mic și prefer să îl raportez așa cum este scris decât să îl înfrumusețez. Afirmațiile numesc reducerea directă și îi atașează consecințe pentru decodarea binară și alte norme.

În geometria convexă este demonstrată marginea superioară precisă a volumului (n + 1)^n / n! în orice dimensiune pentru corpurile convexe al căror baricentru este singurul lor punct interior de rețea. Precizia și generalitatea pentru toate dimensiunile fac parte, amândouă, din afirmație.

În teoria Ramsey, o nouă margine inferioară superexponențială arată că Rk(3) crește ca k^Θ(k). Iar în teoria extremală a grafurilor, construcții separate de grafuri bipartite infirmă două conjecturi: conjectura compactității a lui Erdős și Simonovits și o conjectură de degenerare a lui Erdős.

Colecția privită ca întreg #

Ar fi ușor să tratăm această listă ca pe o vitrină cu trofee, așa că merită spus ce se poate și ce nu se poate concluziona din ea.

Se poate spune că documentul raportează rezultate în cel puțin opt domenii, că mai multe sunt descrise drept răspunsuri la conjecturi cunoscute sau infirmări ale acestora și că capitolul despre împachetarea sferelor vine cu o margine inferioară potrivită care îi face rezultatul definitiv în cadrul metodei. Conjecturile implicate poartă numele lui Connes, Popa, Erdős și Simonovits, iar rata împachetării sferelor a fost conjecturată de Afkhami-Jeddi, Cohn, Hartman, de Laat și Tajdini. Rezultatele care tranșează întrebări cunoscute sunt ușor de evaluat, pentru că întrebarea a fost pusă înainte să existe răspunsul.

Ce nu se poate spune, doar pe baza acestor afirmații, este ceva despre felul în care funcționează modelul, câte încercări i-au trebuit, cum au fost verificate rezultatele lui sau cum se compară cu efortul uman. Sursa spune că rezultatele au fost obținute de un model intern OpenAI, iar afirmațiile se opresc aici. Un cititor care vrea să cântărească însemnătatea colecției ca dovadă despre matematica produsă de mașini are nevoie de informații pe care afirmațiile nu le conțin. Aș rezista tentației de a umple acest gol cu o poveste care sună plauzibil.

Există totuși o poziție care merită luată. Rezultatele sunt eterogene ca tehnică: grupul nesofic folosește algebra Leavitt binară și grupul V al lui Thompson, rezultatul despre împachetarea sferelor folosește analiza Fourier și transformatele Mellin, iar dificultatea problemei celui mai apropiat vector folosește o reducere din 3SAT. O colecție care acoperă atâta teren tehnic nu este produsul unui singur truc aplicat în mod repetat. Ceea ce a produs aceste rezultate lucra în mai multe dialecte matematice, iar afirmațiile susțin cel puțin atât.

Ce înseamnă acest lucru pe sectoare #

Determinarea exactă a ratei de descreștere Cohn-Elkies în dimensiuni mari și rezultatele matematice care o însoțesc influențează mai multe domenii computaționale teoretice și aplicate.

Matematică pură și geometrie discretă #

Pentru matematicienii care lucrează în geometria în dimensiuni mari și în analiza armonică, determinarea ratei exacte de descreștere Cohn-Elkies schimbă peisajul cercetării. Deoarece marginea inferioară potrivită demonstrează că nicio funcție auxiliară din $\mathcal{A}_d$ nu poate depăși noul exponent, cercetătorii pot înceta să caute funcții de test radiale mai bune în cadrul metodei clasice de programare liniară. Progresul spre împachetări de sfere mai dense sau margini universale mai strânse trebuie acum să exploreze tehnici de programare neliniară, ierarhii semidefinite de ordin superior sau construcții geometrice radical diferite.

Criptografie și securitate bazată pe rețele #

Criptografia bazată pe rețele, care stă la baza standardelor post-cuantice precum ML-KEM și ML-DSA, se sprijină puternic pe dificultatea presupusă a găsirii celor mai scurți sau celor mai apropiați vectori în rețele euclidiene de dimensiuni mari. Reducerea directă din 3SAT care stabilește o dificultate cu factor $n^{1/400}$ pentru problema euclidiană a celui mai apropiat vector (CVP), împreună cu plafoane exponențiale mai strânse pentru împachetările de sfere și codurile sferice, consolidează fundamentele teoretice ale reducerilor de rețea de la cazul cel mai defavorabil la cazul mediu, fără a slăbi parametrii concreți de securitate.

Demonstrarea automată a teoremelor și modelele fundamentale #

Pentru echipele de cercetare care dezvoltă sisteme de raționament și demonstratoare automate de teoreme, amploarea și profunzimea tehnică a colecției oferă un reper remarcabil. În loc să producă variații sintetice ale unor demonstrații cunoscute, modelul intern a abordat probleme deschise din teoria grupurilor (construcția unui grup nesofic explicit prin grupul V al lui Thompson), din algebrele de operatori (infirmarea conjecturii lui Connes) și din complexitatea aritmetică (margini inferioare pentru permanent). Aceasta arată că arhitecturile neuronale pot naviga prin analiza Fourier profundă și prin potrivirea combinatorică, cu condiția ca verificarea și controlul demonstrațiilor să rămână riguroase.

Concluzie #

Determinarea ratei exacte de descreștere a programului liniar Cohn-Elkies pentru împachetarea sferelor încheie un capitol important al analizei geometrice. Demonstrând conjectura din 2020 a lui Afkhami-Jeddi, Cohn, Hartman, de Laat și Tajdini și aducând prima îmbunătățire din 1978 încoace a exponentului general al împachetării sferelor, lucrarea stabilește o bază matematică de neclintit. Cu o margine inferioară potrivită care confirmă că nicio funcție auxiliară Cohn-Elkies nu poate aduce alte câștiguri exponențiale, teorema stabilește puterea asimptotică a programului liniar și, totodată, îndreaptă viitorul geometriei în dimensiuni mari spre orizonturi analitice fundamental noi.

Întrebări frecvente #

Care a fost importanța marginii Kabatianskii–Levenshtein?

Stabilită în 1978, marginea Kabatianskii–Levenshtein a oferit un exponent asimptotic de margine superioară de 0,59905576... pentru densitatea împachetării sferelor în dimensiuni mari. Timp de peste patru decenii, rafinările ulterioare au îmbunătățit doar factori algebrici de ordin inferior, lăsând neatinsă rata exponențială principală până la acest rezultat.

De ce este atât de importantă marginea inferioară potrivită?

O margine superioară singură arată ce obține programul liniar, dar o margine inferioară potrivită demonstrează că nicio alegere a funcției auxiliare f din clasa admisibilă Cohn-Elkies A(d) nu poate da un exponent mai mic. Aceasta stabilește un plafon absolut pentru metoda de programare liniară însăși.

Cum se leagă problema incertitudinii semnului Fourier de împachetarea sferelor?

Cohn și Gonçalves au stabilit că problema complementară a incertitudinii semnului Fourier (unde g_hat = -g) este strâns cuplată cu marginile de împachetare a sferelor. Prin medierea după rotații și reflexiile transformatei Mellin, soluția asimptotică a programului Cohn-Elkies rezolvă direct problema incertitudinii semnului Fourier.

Compromite acest rezultat criptografia bazată pe rețele?

Nu. Deși teorema strânge marginile superioare privind cât de dens se pot împacheta sferele în dimensiuni mari și stabilește o dificultate cu factor $n^{1/400}$ pentru problema celui mai apropiat vector, ea nu oferă algoritmi de reducere a rețelelor în timp polinomial. Criptosistemele practice bazate pe rețele rămân sigure în fața atacurilor cuantice și clasice cunoscute.

Referințe #

Nima Afkhami-Jeddi et al., (2020). Împachetări de sfere în dimensiuni mari și bootstrap-ul modular ⧉. Journal of High Energy Physics.
Henry Cohn și Noam Elkies, (2003). Noi margini superioare pentru împachetările de sfere I ⧉. Annals of Mathematics.
Henry Cohn și Felipe Gonçalves, (2019). Un principiu de incertitudine optim în analiza Fourier ⧉. PNAS.
Henry Cohn și Yufei Zhao, (2014). Margini pentru împachetarea sferelor prin coduri sferice ⧉. Duke Mathematical Journal.
G. A. Kabatianskii și V. I. Levenshtein, (1978). Margini pentru împachetări pe sferă și în spațiu ⧉. Problems of Information Transmission.
Maryna S. Viazovska, (2017). Problema împachetării sferelor în dimensiunea 8 ⧉. Annals of Mathematics.

Ultima revizuire 2026-10-05.

Ultima revizuire 2026-10-27.

Republică acest articol

Un model OpenAI determină rata exactă de descreștere Cohn-Elkies — Sebastien Rousseau

Un model intern OpenAI determină rata exactă de descreștere a programului liniar Cohn-Elkies și aduce prima îmbunătățire a exponentului împachetării sferelor din 1978.

Acest articol este licențiat sub Creative Commons Attribution 4.0 International. Republicarea necesită atribuirea la URL-ul canonic.

Un model OpenAI determină rata exactă de descreștere Cohn-Elkies — Sebastien Rousseau

Un model intern OpenAI determină rata exactă de descreștere a programului liniar Cohn-Elkies și aduce prima îmbunătățire a exponentului împachetării sferelor din 1978.

Originally published at https://sebastienrousseau.com/ro/2026-10-05-model-openai-determina-rata-exacta-descrestere/ by Sebastien Rousseau.
Licensed under CC-BY-4.0.

SEBASTIEN ROUSSEAU FOUNDER · ENGINEER