Model OpenAI určil přesnou rychlost poklesu programu Cohna-Elkiese

TL;DR. Interní model OpenAI určuje přesnou rychlost poklesu lineárního programu Cohna-Elkiese a přináší první zlepšení obecného exponentu pakování koulí od roku 1978.

Klíčové body

Co je tento soubor a proč jeden výsledek vyčnívá. Dokument začíná skromně.
Program Cohna-Elkiese a co omezuje. Pakování koulí se ptá, jak hustě mohou nepřekrývající se koule vyplnit prostor.
Čeho metoda už dosáhla. Než se dostaneme k nové větě, stojí za to konkrétně říct, co metoda lineárního programování založená na Fourierově analýze už přinesla, protože nový výsledek je zčásti tvrzením o tom, jak daleko se s ní dá ještě dojít.
Hlavní věta. Hlavní věta dokumentu dokazuje exponenciální rychlost, kterou předpokládaly domněnky 3.1 a 3.2 v oné práci z roku 2020.

Soubor matematických výsledků interního modelu OpenAI rozhoduje o asymptotické síle lineárního programu Cohna-Elkiese pro pakování koulí. Přináší první zlepšení obecného exponentu pakování koulí od roku 1978 a k tomu přesně odpovídající dolní mez.

Co je tento soubor a proč jeden výsledek vyčnívá #

Dokument začíná skromně. Představuje soubor výsledků, které získal interní model OpenAI, a uvádí, že zasahují do matematiky i teoretické informatiky. To je popis původu a rozsahu a neříká, jak byl model použit ani jak byly jeho výstupy ověřeny. Na těchto otázkách záleží a zdroj, jak je zde shrnut, je nechává bez odpovědi, takže tento článek nebude předstírat opak. Tvrzení zdroje však podporují seznam uvedených výsledků a ten je dost dlouhý na to, aby zajímavou otázkou nebylo, zda je nějaká jednotlivá položka působivá. Zajímavou otázkou je, proč si jedna z nich zaslouží většinu pozornosti.

Důvodem je, že výsledek o pakování koulí jako jediný v souboru uzavírá kvantitativní mezeru ve výzkumném programu s dlouhou a dobře známou historií. Ostatní jsou pozoruhodné samy o sobě. Explicitní nesofická grupa odpovídá na dávnou otázku. Vyvrácení Connesovy domněnky rozhoduje o něčem, co navrhl známý matematik. Výsledek o pakování koulí však stojí na konci řetězce, který vede od metody založené na Fourierově analýze přes dvě slavná přesná řešení v jednotlivých dimenzích až k otázce o vysokých dimenzích, jež zůstávala léta otevřená. Pochopit ten výsledek znamená pochopit tento řetězec.

Většina toho, co následuje, se proto týká lineárního programu Cohna-Elkiese: co to je, co se o něm vědělo, co říká nová věta a jak je postavena ta strana argumentu, která se týká neurčitosti znaménka. Kratší oddíl pak projde zbývající výsledky souboru, každý tak, jak je uveden, a nic navíc.

Program Cohna-Elkiese a co omezuje #

Pakování koulí se ptá, jak hustě mohou nepřekrývající se koule vyplnit prostor. Dokument k tomu zavádí značení. Pro středy vzdálené od sebe alespoň 1 je ∆d supremum horních hustot koulí o poloměru 1/2 v Rd. Jinak řečeno, ∆d označuje maximální hustotu pakování koulí v Rd. Vše v první kapitole souboru se měří vůči této veličině.

Program Cohna-Elkiese dává horní mez pro ∆d. Jeho optimální výsledek se zapisuje LPd a je definován jako optimální mez hustoty, kterou program poskytuje. Mechanismem je mez Gorbacheva–Cohna-Elkiese, která každé funkci f z třídy označované Ad přiřazuje horní mez hustoty vd f(0)/(2d f̂(0)). Slovy: z přípustné třídy se vybere pomocná funkce f, spočítá se její hodnota v počátku a hodnota její Fourierovy transformace v počátku, vytvoří se podíl s objemovým a měřítkovým činitelem a výsledek omezuje hustotu pakování shora. Lineární program hledá takové f, pro které je tato mez co nejmenší.

Je to metoda, v níž celá obtíž spočívá v dobré volbě f. Chytře zvolená funkce dává těsnou mez a špatně zvolená dává slabou mez, která přesto platí. Proto má odpovídající dolní mez v novém výsledku tak velký význam. Vypovídá o všech přípustných funkcích najednou a mění hledání lepších funkcí v uzavřenou otázku.

Čeho metoda už dosáhla #

Než se dostaneme k nové větě, stojí za to konkrétně říct, co metoda lineárního programování založená na Fourierově analýze už přinesla, protože nový výsledek je zčásti tvrzením o tom, jak daleko se s ní dá ještě dojít.

Viazovska pomocí této metody dokázala, že mřížka E8 dává optimální pakování v dimenzi osm. Cohn, Kumar, Miller, Radchenko a Viazovska pak prokázali optimalitu Leechovy mřížky v dimenzi dvacet čtyři. To jsou přesné výsledky v jednotlivých dimenzích a právě kvůli nim má metoda pověst, která přesahuje její roli nástroje pro odhady. Ve dvou konkrétních dimenzích trefuje skutečnou odpověď.

Obraz ve vysokých dimenzích byl mlhavější. Cohn a Zhao dokázali, že lineární program je vždy alespoň tak silný jako mez Kabatianského–Levenshteina pro sférické kódy. To je užitečná záruka, protože mez Kabatianského–Levenshteina byla nejlepším známým obecným exponentem. Jenže „alespoň tak silný“ ponechává otevřené dvě možnosti: program se může s tímto exponentem přesně shodovat, nebo ho může překonat. Dokument uvádí důsledek přímo. Zda lineární program zlepšuje klasický exponent pakování koulí ve vysokých dimenzích, zůstávalo otevřenou otázkou.

Afkhami-Jeddi, Cohn, Hartman, de Laat a Tajdini vyslovili domněnku o rychlosti lineárního programu ve vysokých dimenzích. Tato domněnka je objekt opatřený výhradami a zdroj s ní tak zachází. Byla to domněnka, podložená důkazy, které autoři měli, a nikdo ji nedokázal. Nový výsledek mění její status.

Hlavní věta #

Hlavní věta dokumentu dokazuje exponenciální rychlost, kterou předpokládaly domněnky 3.1 a 3.2 v oné práci z roku 2020. Na úrovni, kterou tvrzení zdroje podporují: autoři určují přesnou exponenciální rychlost poklesu lineárního programu Cohna-Elkiese pro pakování koulí. Asymptotická síla programu je, slovy zdroje, určena přesně.

Ze zdroje přímo plynou dva důsledky. Prvním je zlepšená obecná mez pakování ve vysokých dimenzích. Druhým je, že odpovídající Fourierův problém neurčitosti znaménka je asymptoticky vyřešen. Jsou to důsledky různého druhu. Jeden se týká geometrie a druhý analýzy, a to, že obojí přináší jediná věta, je první náznak, že problém pakování koulí a problém neurčitosti jsou dvě tváře téže struktury.

Zdroj také staví tento úspěch do historického rámce. Popisuje výsledek jako první zlepšení obecného exponentu pakování koulí od roku 1978. Klasický exponent Kabatianského–Levenshteina byl 0,59905576... a tato hodnota byla měřítkem. Dokument zaznamenává, že pozdější zpřesnění sférických kódů zlepšila jen činitele nižšího řádu. Jinými slovy, u samotného exponentu, tedy veličiny vedoucího řádu, se nic nepohnulo.

Domnívám se, že to je pro posouzení výsledku správný rámec. Zlepšení nižšího řádu upravuje konstanty a polynomiální činitele, ale exponenciální rychlost nechává tam, kde byla. Zlepšení exponentu mění rychlost. Tvrzení zdroje podporují přesně toto rozlišení a podporují i konstatování, že dřívější zpřesnění spadala na stranu nižšího řádu.

Dimenze / metoda	Klasický výchozí stav (1978)	Lineární program Cohna-Elkiese	Nový důkaz modelu
Exponent pakování koulí	Mez Kabatianského–Levenshteina: 0,59905576...	Alespoň tak silný jako meze pro sférické kódy (Cohn–Zhao)	Dokázaná přesná asymptotická rychlost z domněnky Afkhamiho-Jeddiho a kol. (2020)
Konečnost meze	Pouze zpřesnění činitelů nižšího řádu	Otevřená otázka asymptotické mezery ve vysokých dimenzích	Přesně odpovídající dolní mez: žádná pomocná funkce tuto rychlost nepřekoná
Fourierova neurčitost znaménka	Oddělené meze znaménka ($A^+(d) < A^-(d)$)	Spojená s antisamofourierovskými testovacími funkcemi	Asymptoticky vyřešena; neurčitost znaménka řídí Mellinův odraz
Samoopravné kódy	Klasické meze pro sférické a binární kódy	Asymptoticky provázané s mezemi pakování	Zlepšení o exponenciální činitele pro všechny parametry s pevnou vzdáleností
Metodický strop	Numerická optimalizace polynomiálních činitelů	Otevřená optimalizace testovacích funkcí $f \in \mathcal{A}_d$	Dokázaný matematický strop: další zisky vyžadují metody mimo Cohna-Elkiese

Proč odpovídající dolní mez mění otázku #

Samotné zlepšení horní meze by bylo dobrou zprávou. Neobvykle definitivním činí tento výsledek jeho druhá polovina. Odpovídající dolní mez ukazuje, že žádná pomocná funkce Cohna-Elkiese tento exponent nezlepší.

Zvažme, co to znamená pro výzkumný program. Před tímto výsledkem měl výzkumník s lepším nápadem na konstrukci pomocné funkce věrohodnou cestu k ještě lepšímu exponentu pakování koulí. Po něm je tato cesta na úrovni exponentů uzavřena. Jakýkoli další pokrok u exponentu musí přijít zvenčí metody Cohna-Elkiese, protože uvnitř ní je rychlost nyní přesná.

Nechci to přehánět. Tvrzení zdroje neříkají, že nový exponent je skutečným exponentem pakování koulí, a neříkají, že samotné pakování koulí nelze zlepšit. Tvrzení se týká lineárního programu: jeho exponent je určen a nelze ho překonat změnou pomocné funkce. Zda by ho překonala jiná technika, je otázka, kterou tvrzení neřeší. Je to čistá hranice a přesně taková hranice oboru ukazuje, kde hledat dál.

Nabízí se i čtení s obchodním nadhledem, pro čtenáře, které zajímá, kam směřuje úsilí. Známý přesný strop metody je užitečná informace. Říká, že je čas přestat optimalizovat uvnitř této metody. Pro každého, kdo rozděluje výzkumný čas, má posun od „tohle se může zlepšit“ k „tohle se zlepšit nedá“ stejnou cenu jako skromný pozitivní výsledek.

Sférické kódy a binární kódy #

Soubor se nezastavuje u pakování. Klasické horní meze pro binární a sférické kódy s pevnou vzdáleností se zlepšují o exponenciální činitele pro všechny parametry. Tato věta nese silný kvantifikátor. Zlepšení je o exponenciální činitele a platí pro všechny parametry, což je širší tvrzení než zlepšení v nějakém příznivém režimu.

Existuje také vazba zpět na kapitolu 1. Konstrukce sférických kódů znovu získává i exponent pakování koulí z kapitoly 1. Obě linie se tedy propojují: konstrukce na straně kódů reprodukuje exponent na straně pakování. Tvrzení zdroje nepopisují mechanismus tohoto znovuzískání a já si žádný vymýšlet nebudu. Stanovují však, že vztah vede tímto směrem: sférická konstrukce dává týž exponent jako kapitola o pakování.

Stojí za to připomenout, proč je tato vazba vzhledem k výše popsané historii důležitá. Mez Kabatianského–Levenshteina pro sférické kódy byla srovnávacím bodem pro lineární program a věta Cohna a Zhaa říkala, že program je vždy alespoň tak silný. Nové výsledky zlepšují meze pro kódy i pro pakování a činí tak konstrukcí, která se vrací k exponentu pakování. Obě strany se posouvají společně.

Problém neurčitosti znaménka #

Druhý důsledek hlavní věty se týká Fourierovy neurčitosti znaménka a dokument uvádí dost definic, aby se dal načrtnout její tvar.

Pro funkci g je r(g) definováno jako infimum takových R ≥ 0, že g(x) ≥ 0 pro |x| ≥ R. Jednoduše řečeno, r(g) je poloměr, za nímž je g všude nezáporná. Když takový poloměr neexistuje, r(g) = ∞. Problém neurčitosti se týká toho, jak malý lze tento poloměr udělat pro funkce s předepsaným vztahem k vlastní Fourierově transformaci.

Tímto vztahem je znaménko. Podmínka ĝ = ςg váže funkci na její Fourierovu transformaci až na znaménko. Znaménka +1 a −1 dávají původní, respektive doplňkový problém neurčitosti. Cohn a Gonçalves zavedli antisamofourierovský protějšek, tedy doplňkový problém, a propojili ho s pakováním koulí. Toto propojení je most, přes nějž výsledek o pakování koulí asymptoticky řeší problém neurčitosti.

Doplňkový problém není kuriozitou čisté analýzy. V bezspinovém modulárním bootstrapu vytváří modulární S-antisymetrie antisamofourierovské testovací funkce, jejichž výsledné znaménko řídí spektrální mezeru. Zdroj tu cituje Hartmana, Mazáče a Rastelliho a práci Afkhamiho-Jeddiho a kol. Otázka, která začala jako tvrzení o funkcích a jejich transformacích, se tak objevuje i v prostředí s fyzikálně znějícím názvem, spektrální mezerou. Tvrzení zdroje nejdou dál než k tomuto jednořádkovému mechanismu a já také ne, ale připomíná to, že problém neurčitosti má společnost i mimo pakování koulí.

Příloha A přidává srovnání obou problémů. Konstatuje, že A+(d) < A−(d) pro všechna d. Je to tvrzení, že se oba problémy liší v každé dimenzi, přičemž první veličina je ostře menší než druhá. Tvrzení zdroje nedávají žádný další výklad a nerovnost stojí za zmínku prostě proto, že platí pro všechna d bez výjimky.

Uvnitř argumentu: průměrování, nulovost a odhad hmoty #

Dokument obsahuje několik technických tvrzení, která dávají představu, jak je analýza neurčitosti postavena. Jsou to fragmenty a jako fragmenty je předložím, ale dohromady načrtávají metodu.

Začněme symetrií. Průměr přes rotace se definuje pomocí normované Haarovy míry na O(d). Zprůměrováním funkce přes rotace vznikne radiální funkce a smyslem je, že to problém zjednoduší, aniž by se porušily podmínky. Zdroj uvádí, že průměrování přes rotace zachovává každou podmínku znaménka ze seznamu podmínek problému, označeného (2). Dodává, že pokud ĝ = ςg, pak r(Rg) ≤ r(g), kde Rg je průměr g přes rotace. Průměrování tedy poloměr znaménka nikdy nezhorší. Navíc podle formulace zdroje platí Rg ≠ 0, kdykoli je g ≠ 0 nakonec nezáporná, takže průměrování nevynuluje funkci, která má na velkou vzdálenost správné chování znaménka.

Tyto tři skutečnosti dohromady ospravedlňují redukci na radiální funkce. Redukce nic nestojí na poloměru, zachovává podmínky znaménka a nezhroutí funkci do nuly. To je tvar standardního argumentu symetrie a tvrzení zdroje potvrzují každou z jeho složek.

Dále počátek. Funkce g = h − ĥ je v počátku nulová. To je ten druh drobné skutečnosti, která v důkazu odvede velký kus práce, protože mez Cohna-Elkiese přímo pracuje s hodnotami v počátku a funkce, která tam je nulová, se chová jinak než funkce, která nulová není. Zaznamenán je i související krok opravy: opravená funkce gn splňuje gn(0) = 0 a gn → g v L1. Posloupnost opravených funkcí, z nichž každá je v počátku nulová, tedy konverguje k g ve smyslu L1. To argumentu dovoluje pracovat s funkcemi, které podmínku v počátku splňují přesně, a přitom stále aproximují cíl.

Pak přichází kvantitativní podmínka. Odhad hmoty vynucuje 1/a ≥ (1/π − o(1))√d. Tvrzení zdroje nedefinují a, takže nemohu říct, co měří, a hádat nebudu. Lze říct, jaký tvar má závěr: dolní mez pro 1/a, která roste jako odmocnina z dimenze, s konstantou 1/π a mizející opravou. Měřítko odmocniny z dimenze působí jako přirozená velikost ve vysokorozměrné geometrii, ale to je můj postřeh o tvaru výrazu a tvrzení zdroje ho jako mechanismus neuvádějí.

Mellinův pohled #

V dokumentu se objevuje ještě jeden kus nástrojů a právě on nejjasněji vysvětluje, proč je tu radiální Fourierova analýza zvládnutelná. Po Mellinově transformaci radiální Fourierova transformace odráží Mellinovu proměnnou. To je stručné tvrzení o tom, jak transformace působí. Fourierova transformace radiální funkce, která je normálně integrálním operátorem a přímo se o ní uvažuje obtížně, se stává odrazem v Mellinově proměnné. Odrazy jsou zhruba tak jednoduché, jak jen operátory být mohou.

Tatáž pasáž zaznamenává analytickou podmínku na druhé straně. Schwartzův pokles funkce g dává rychlý pokles Φg pro v → +∞. Zde je Φg objekt získaný v Mellinově analýze a v je jeho proměnná. Spojení je poučné: vlastnost odrazu obstarává strukturu a Schwartzův pokles obstarává kontrolu v nekonečnu. Důkaz v tomto stylu potřebuje obojí, protože struktura bez poklesu nechává integrály, které nemusí konvergovat, a pokles bez struktury nenechává nic k výpočtu.

Dokument také uvádí, že Sd je obsah jednotkové sféry, který vstupuje jako normovací činitel, když se radiální integrály převádějí mezi sférou a přímkou. To je definiční otázka a právě tento druh účetnictví rozhoduje, zda konstanty v konečné mezi vyjdou správně.

Chci jasně říct, čím tyto fragmenty jsou. Nejsou důkazem. Tvrzení zdroje uvádějí výroky, ne odvození, a žádný čtenář by z nich neměl rekonstruovat celý argument. Ukazují, že analýza kombinuje redukci symetrií, podmínku v počátku, kvantitativní odhad hmoty a transformaci, jejíž působení se po záměně proměnných zjednoduší. Taková kombinace je u extremálních úloh Fourierovy analýzy obvyklá, a proto je přesnost konečného výsledku pozoruhodnější, nikoli méně pozoruhodná. Nástroje, které vypadají standardně, stačily k dosažení ostré odpovědi.

Zbytek souboru #

Kapitola o pakování koulí je jen částí dokumentu a zbývající výsledky si zaslouží poctivé zhodnocení. Každý je zde uveden přesně tak, jak ho podávají tvrzení zdroje.

V teorii grup je zkonstruována explicitní nesofická grupa, což odpovídá na dávnou otázku, zda je každá spočetná grupa sofická. Důkaz spojuje práce Kuna a Kuna–Thoma s kombinatorickým argumentem o párování v expanderech, realizovaným pomocí binární Leavittovy algebry a Thompsonovy grupy V. Slovo „explicitní“ tu má váhu: výsledek je konstrukce, nikoli argument o existenci.

V operátorových algebrách je zkonstruováno nekonečně mnoho po dvou neizomorfních grup s vlastností (T), které mají tutéž grupovou von Neumannovu algebru. To vyvrací Connesovu domněnku a odpovídá na související Popovu otázku o zobrazeních konečně-ku-jedné. Dvě známé otázky padají díky jediné konstrukci.

V aritmetické složitosti dokument uvádí dolní meze pro permanent. Obvody bez dělení vyžadují Ω(n² log log n) hradel, zatímco formule vyžadují Ω(n⁴ / log n) listů. Jsou to dvě meze pro dva výpočetní modely a dokument je uvádí vedle sebe.

V kvantové informaci je dokázáno exponenciální paralelní opakování pro každou konečnou provázanou hru dvou hráčů. Zdroj říká, že to rozšiřuje klasický princip opakování za dříve zkoumané zvláštní třídy kvantových her. Kvantifikátor opět vyčnívá: každá konečná provázaná hra dvou hráčů, bez omezení na zvláštní třídu.

V obtížnosti aproximace dává přímá redukce z 3SAT obtížnost s faktorem n^(1/400) pro euklidovský problém nejbližšího vektoru, se souvisejícími důsledky pro binární dekódování a další mřížkové normy. Exponent 1/400 je malý a raději ho uvedu tak, jak je zapsán, než abych ho přikrášloval. Tvrzení zdroje označují redukci za přímou a připojují důsledky pro binární dekódování a další normy.

V konvexní geometrii je dokázána ostrá horní mez objemu (n + 1)^n / n! v každé dimenzi pro konvexní tělesa, jejichž těžiště je jejich jediným vnitřním mřížovým bodem. Ostrost i obecnost pro všechny dimenze jsou součástí tvrzení.

V Ramseyově teorii ukazuje nová superexponenciální dolní mez, že Rk(3) roste jako k^Θ(k). A v extremální teorii grafů vyvracejí samostatné konstrukce bipartitních grafů dvě domněnky: domněnku kompaktnosti Erdőse a Simonovitse a domněnku o degeneraci od Erdőse.

Čtení souboru jako celku #

Bylo by snadné brát tento seznam jako vitrínu s trofejemi, proto stojí za to říct, co z něj lze a nelze vyvodit.

Lze říct, že dokument uvádí výsledky nejméně v osmi oblastech, že několik z nich je popsáno jako odpověď na známé domněnky nebo jejich vyvrácení a že kapitola o pakování koulí přichází s odpovídající dolní mezí, která činí její výsledek v rámci metody definitivním. Dotčené domněnky nesou jména Connese, Popy, Erdőse a Simonovitse a domněnku o rychlosti pakování koulí vyslovili Afkhami-Jeddi, Cohn, Hartman, de Laat a Tajdini. Výsledky, které rozhodují známé otázky, se snadno hodnotí, protože otázka byla položena dřív, než odpověď existovala.

Co nelze na základě těchto tvrzení samotných říct, je cokoli o tom, jak model funguje, kolik pokusů potřeboval, jak byly jeho výstupy ověřeny nebo jak si vede ve srovnání s lidskou prací. Zdroj říká, že výsledky získal interní model OpenAI, a tím tvrzení končí. Čtenář, který chce zvážit význam souboru jako svědectví o strojové matematice, potřebuje informace, které tvrzení neobsahují. Odolal bych pokušení zaplnit tuto mezeru věrohodně znějícím vyprávěním.

Přesto stojí za to zaujmout určitý postoj. Výsledky jsou technikou různorodé: nesofická grupa využívá binární Leavittovu algebru a Thompsonovu grupu V, výsledek o pakování koulí Fourierovu analýzu a Mellinovy transformace a obtížnost problému nejbližšího vektoru redukci z 3SAT. Soubor, který pokrývá tolik technického terénu, není produktem jednoho triku použitého opakovaně. Ať tyto výsledky vytvořilo cokoli, pracovalo to v několika matematických dialektech, a přinejmenším to tvrzení zdroje podporují.

Co to znamená podle odvětví #

Přesné určení rychlosti poklesu Cohna-Elkiese ve vysokých dimenzích a doprovodné matematické výsledky ovlivňují několik teoretických i aplikovaných výpočetních oborů.

Čistá matematika a diskrétní geometrie #

Pro matematiky, kteří se zabývají vysokorozměrnou geometrií a harmonickou analýzou, mění určení přesné rychlosti poklesu Cohna-Elkiese výzkumnou krajinu. Protože odpovídající dolní mez dokazuje, že žádná pomocná funkce v $\mathcal{A}_d$ nový exponent nepřekoná, mohou výzkumníci přestat hledat lepší radiální testovací funkce v klasické metodě lineárního programování. Pokrok k hustším pakováním koulí nebo těsnějším univerzálním mezím musí nyní zkoumat techniky nelineárního programování, semidefinitní hierarchie vyššího řádu nebo radikálně odlišné geometrické konstrukce.

Kryptografie a bezpečnost založená na mřížkách #

Kryptografie založená na mřížkách, která tvoří jádro postkvantových standardů jako ML-KEM a ML-DSA, silně spoléhá na předpokládanou obtížnost hledání nejkratších nebo nejbližších vektorů ve vysokorozměrných euklidovských mřížkách. Přímá redukce z 3SAT, která stanoví obtížnost s faktorem $n^{1/400}$ pro euklidovský problém nejbližšího vektoru (CVP), spolu s těsnějšími exponenciálními stropy pro pakování koulí a sférické kódy upevňuje teoretické základy mřížkových redukcí z nejhoršího na průměrný případ, aniž by oslabila konkrétní bezpečnostní parametry.

Automatické dokazování vět a základní modely #

Pro výzkumné týmy, které vyvíjejí uvažující systémy a automatické dokazovače vět, představuje šíře a technická hloubka souboru pozoruhodné měřítko. Místo vytváření syntetických variant známých důkazů se interní model pustil do otevřených problémů z teorie grup (konstrukce explicitní nesofické grupy pomocí Thompsonovy grupy V), operátorových algeber (vyvrácení Connesovy domněnky) a aritmetické složitosti (dolní meze pro permanent). Ukazuje to, že neuronové architektury dokážou zvládnout hlubokou Fourierovu analýzu i kombinatorické párování, pokud ověřování a kontrola důkazů zůstanou přísné.

Závěr #

Určení přesné rychlosti poklesu lineárního programu Cohna-Elkiese pro pakování koulí uzavírá důležitou kapitolu geometrické analýzy. Tím, že práce dokazuje domněnku Afkhamiho-Jeddiho, Cohna, Hartmana, de Laata a Tajdiniho z roku 2020 a přináší první zlepšení obecného exponentu pakování koulí od roku 1978, stanovuje neochvějný matematický základ. S odpovídající dolní mezí, která potvrzuje, že žádná pomocná funkce Cohna-Elkiese nepřinese další exponenciální zisky, věta jak rozhoduje o asymptotické síle lineárního programu, tak směruje budoucnost vysokorozměrné geometrie k zásadně novým analytickým obzorům.

Často kladené otázky #

Jaký význam měla mez Kabatianského–Levenshteina?

Mez Kabatianského–Levenshteina z roku 1978 poskytla asymptotický exponent horní meze 0,59905576... pro hustotu pakování koulí ve vysokých dimenzích. Po více než čtyři desetiletí zlepšovala pozdější zpřesnění jen algebraické činitele nižšího řádu a vedoucí exponenciální rychlost zůstala nedotčena až do tohoto výsledku.

Proč je odpovídající dolní mez tak zásadní?

Samotná horní mez ukazuje, čeho lineární program dosahuje, ale odpovídající dolní mez dokazuje, že žádná volba pomocné funkce f v přípustné třídě Cohna-Elkiese A(d) nedá menší exponent. Tím je stanoven absolutní strop samotné metody lineárního programování.

Jak souvisí Fourierův problém neurčitosti znaménka s pakováním koulí?

Cohn a Gonçalves ukázali, že doplňkový Fourierův problém neurčitosti znaménka (kde g_hat = -g) je úzce provázán s mezemi pakování koulí. Díky průměrování přes rotace a odrazům v Mellinově transformaci asymptotické řešení programu Cohna-Elkiese přímo rozhoduje Fourierův problém neurčitosti znaménka.

Ohrožuje tento výsledek kryptografii založenou na mřížkách?

Ne. Věta sice zpřesňuje horní meze toho, jak hustě lze koule zapakovat ve vysokých dimenzích, a stanoví obtížnost s faktorem $n^{1/400}$ pro problém nejbližšího vektoru, ale neposkytuje algoritmy mřížkové redukce v polynomiálním čase. Praktické mřížkové kryptosystémy zůstávají bezpečné vůči známým kvantovým i klasickým útokům.

Literatura #

Nima Afkhami-Jeddi a kol., (2020). Vysokorozměrná pakování koulí a modulární bootstrap ⧉. Journal of High Energy Physics.
Henry Cohn a Noam Elkies, (2003). Nové horní meze pro pakování koulí I ⧉. Annals of Mathematics.
Henry Cohn a Felipe Gonçalves, (2019). Optimální princip neurčitosti ve Fourierově analýze ⧉. PNAS.
Henry Cohn a Yufei Zhao, (2014). Meze pakování koulí pomocí sférických kódů ⧉. Duke Mathematical Journal.
G. A. Kabatianskii a V. I. Levenshtein, (1978). Meze pro pakování na sféře a v prostoru ⧉. Problems of Information Transmission.
Maryna S. Viazovska, (2017). Problém pakování koulí v dimenzi 8 ⧉. Annals of Mathematics.

Naposledy revidováno 2026-10-05.

Naposledy revidováno 2026-10-27.

Znovu publikovat tento článek

Model OpenAI určil přesnou rychlost poklesu programu Cohna-Elkiese — Sebastien Rousseau

Interní model OpenAI určuje přesnou rychlost poklesu lineárního programu Cohna-Elkiese a přináší první zlepšení obecného exponentu pakování koulí od roku 1978.

Tento článek je licencován pod Creative Commons Attribution 4.0 International. Při opětovné publikaci uveďte odkaz na kanonickou URL.

Model OpenAI určil přesnou rychlost poklesu programu Cohna-Elkiese — Sebastien Rousseau

Interní model OpenAI určuje přesnou rychlost poklesu lineárního programu Cohna-Elkiese a přináší první zlepšení obecného exponentu pakování koulí od roku 1978.

Originally published at https://sebastienrousseau.com/cs/2026-10-05-model-openai-urcil-presnou-rychlost-poklesu/ by Sebastien Rousseau.
Licensed under CC-BY-4.0.

SEBASTIEN ROUSSEAU FOUNDER · ENGINEER