OpenAI-modell határozta meg a Cohn-Elkies-program pontos lecsengését

Egy belső OpenAI-modell matematikai eredménygyűjteménye eldönti a Cohn-Elkies-féle lineáris gömbelhelyezési program aszimptotikus erejét. 1978 óta ez az első javítás az általános gömbelhelyezési kitevőn, és egy pontosan illeszkedő alsó korlát is társul hozzá.

Mi ez a gyűjtemény, és miért emelkedik ki egy eredmény #

A dokumentum szerényen kezdődik. Egy belső OpenAI-modell által elért eredmények gyűjteményét mutatja be, és azt mondja, hogy ezek a matematikát és az elméleti számítástudományt is átfogják. Ez az eredet és a terjedelem leírása, és nem mondja meg, hogyan használták a modellt, sem azt, hogyan ellenőrizték a kimenetét. Ezek a kérdések számítanak, és a forrás, ahogyan itt összefoglaljuk, megválaszolatlanul hagyja őket, ezért ez a cikk nem tesz úgy, mintha másként volna. Amit az állítások alátámasztanak, az a közölt eredmények listája, és a lista elég hosszú ahhoz, hogy ne az legyen az érdekes kérdés, lenyűgöző-e bármelyik tétel önmagában. Az érdekes kérdés az, hogy miért érdemli meg az egyik a figyelem nagy részét.

Az ok az, hogy a gömbelhelyezési eredmény az egyetlen a gyűjteményben, amely egy hosszú, ismert történetű kutatási programban zár le egy mennyiségi rést. A többi is figyelemre méltó a maga jogán. Egy explicit nem szofikus csoport egy régóta fennálló kérdésre felel. Connes sejtésének cáfolata eldönt valamit, amit egy ismert matematikus vetett fel. A gömbelhelyezési eredmény azonban egy olyan lánc végén áll, amely egy Fourier-analitikus módszertől két híres, egyes dimenziókban kapott pontos megoldáson át egy magas dimenziókra vonatkozó kérdésig vezet, amely évekig nyitva maradt. Az eredmény megértéséhez ezt a láncot kell megérteni.

Ezért a következők nagy része a Cohn-Elkies-féle lineáris programról szól: mi ez, mit tudtak róla, mit mond az új tétel, és hogyan épül fel az érvelés előjel-határozatlansági oldala. Egy rövidebb szakasz aztán áttekinti a gyűjtemény többi eredményét, mindegyiket úgy, ahogyan közölték, és nem tovább.

A Cohn-Elkies-program és amit korlátoz #

A gömbelhelyezés azt kérdezi, milyen sűrűn tölthetik ki a teret egymást nem átfedő gömbök. A dokumentum rögzíti ehhez a jelölést. Az egymástól legalább 1 távolságra lévő középpontok esetén ∆d az 1/2 sugarú gömbök felső sűrűségeinek szuprémuma Rd-ben. Másként fogalmazva ∆d a maximális gömbelhelyezési sűrűséget jelöli Rd-ben. A gyűjtemény első fejezetében minden ehhez a mennyiséghez mérődik.

A Cohn-Elkies-program felső korlátot ad ∆d-re. Optimális kimenetét LPd jelöli, és a program által nyújtott optimális sűrűségkorlátként definiálják. A mechanizmus a Gorbachev–Cohn-Elkies-korlát, amely az Ad nevű osztály minden f eleméhez a vd f(0)/(2d f̂(0)) felső sűrűségkorlátot rendeli. Szavakkal: kiválasztunk egy f segédfüggvényt a megengedett osztályból, kiszámítjuk az értékét az origóban és a Fourier-transzformáltjának értékét az origóban, képezzük a hányadost a térfogati és skálázási tényezőkkel, és az eredmény felülről korlátozza az elhelyezési sűrűséget. A lineáris program azt az f-et keresi, amely ezt a korlátot a lehető legkisebbé teszi.

Ez olyan módszer, amelyben az egész nehézség f jó megválasztásában rejlik. Egy ügyesen választott függvény szoros korlátot ad, egy rosszul választott pedig gyenge korlátot, amely ettől még érvényes. Ezért számít annyira az új eredményben szereplő illeszkedő alsó korlát. Egyszerre szól minden megengedett függvényről, és a jobb függvények keresését lezárt kérdéssé alakítja.

Amit a módszer már elért #

Mielőtt rátérnénk az új tételre, érdemes konkrétan felidézni, mit hozott már a Fourier-analitikus lineáris programozási módszer, mert az új eredmény részben arról szól, mennyivel juthat még tovább.

Viazovska ezzel a módszerrel bizonyította, hogy az E8-rács adja az optimális elhelyezést a nyolcadik dimenzióban. Cohn, Kumar, Miller, Radchenko és Viazovska ezután igazolta a Leech-rács optimalitását a huszonnegyedik dimenzióban. Ezek egyes dimenziókban kapott pontos eredmények, és ezek miatt van a módszernek olyan hírneve, amely túlmutat a korlátozó eszköz szerepén. Két konkrét dimenzióban eltalálja a valódi választ.

A magas dimenziós kép homályosabb volt. Cohn és Zhao bebizonyította, hogy a lineáris program mindig legalább olyan erős, mint a gömbi kódokra vonatkozó Kabatianskii–Levenshtein-korlát. Ez hasznos garancia, mert a Kabatianskii–Levenshtein-korlát volt a legjobb ismert általános kitevő. A „legalább olyan erős” azonban két lehetőséget hagy nyitva: a program pontosan elérheti ezt a kitevőt, vagy meg is verheti. A dokumentum egyenesen kimondja a következményt. Az, hogy a lineáris program javít-e a klasszikus magas dimenziós gömbelhelyezési kitevőn, nyitott kérdés maradt.

Afkhami-Jeddi, Cohn, Hartman, de Laat és Tajdini sejtést fogalmazott meg a lineáris program magas dimenziós üteméről. Ez a sejtés fenntartásokkal övezett objektum, és a forrás is így kezeli. Sejtés volt, amelyet a szerzők rendelkezésére álló bizonyítékok támasztottak alá, és senki sem bizonyította be. Az új eredmény megváltoztatja a státuszát.

A fő tétel #

A dokumentum fő tétele bebizonyítja azt az exponenciális ütemet, amelyet a 2020-as cikk 3.1. és 3.2. sejtése megfogalmazott. Azon a szinten kimondva, amelyet az állítások alátámasztanak: a szerzők meghatározzák a Cohn-Elkies-féle lineáris gömbelhelyezési program pontos exponenciális lecsengési ütemét. A program aszimptotikus ereje a forrás szavaival pontosan meghatározott.

A forrásból közvetlenül két következmény adódik. Az első egy javított általános elhelyezési korlát magas dimenziókban. A második az, hogy a megfelelő Fourier-féle előjel-határozatlansági probléma aszimptotikusan megoldott. Ezek különböző jellegű következmények. Az egyik a geometriáról, a másik az analízisről szól, és az, hogy egyetlen tétel mindkettőt adja, az első jele annak, hogy a gömbelhelyezési probléma és a határozatlansági probléma ugyanannak a szerkezetnek két arca.

A forrás az eredményt a történelemhez is viszonyítja. 1978 óta az első javításként írja le az általános gömbelhelyezési kitevőn. A klasszikus Kabatianskii–Levenshtein-kitevő 0,59905576... volt, és ez az érték szolgált mércéül. A dokumentum rögzíti, hogy a későbbi gömbikód-finomítások csak alacsonyabb rendű tényezőkön javítottak. Másként mondva, magán a kitevőn, amely a vezető rendű mennyiség, semmi sem mozdult.

Úgy vélem, ez a helyes keret az eredmény értékeléséhez. Egy alacsonyabb rendű javítás állandókat és polinomiális tényezőket módosít, az exponenciális ütemet viszont ott hagyja, ahol volt. A kitevő javítása megváltoztatja az ütemet. Az állítások pontosan ezt a megkülönböztetést támasztják alá, és azt a megállapítást is, hogy a korábbi finomítások az alacsonyabb rendű oldalra estek.

Miért változtatja meg a kérdést az illeszkedő alsó korlát #

Már a felső korlát javítása önmagában is jó hír volna. Ezt az eredményt a második fele teszi szokatlanul véglegessé. Az illeszkedő alsó korlát megmutatja, hogy egyetlen Cohn-Elkies-féle segédfüggvény sem javíthat ezen a kitevőn.

Gondoljuk végig, mit jelent ez a kutatási program számára. Az eredmény előtt egy kutatónak, akinek jobb ötlete volt egy segédfüggvény megszerkesztésére, hihető útja volt egy még jobb gömbelhelyezési kitevő felé. Utána ez az út a kitevők szintjén lezárult. A kitevő további javulásának a Cohn-Elkies-módszeren kívülről kell érkeznie, mert azon belül az ütem most már pontos.

Nem akarom ezt túlértékelni. Az állítások nem mondják, hogy az új kitevő a valódi gömbelhelyezési kitevő, és azt sem, hogy magán a gömbelhelyezésen ne lehetne javítani. Az állítás a lineáris programra vonatkozik: a kitevője rögzített, és a segédfüggvény cseréjével nem lehet megverni. Hogy egy másik technika megverhetné-e, olyan kérdés, amellyel az állítások nem foglalkoznak. Ez tiszta határ, és éppen az a fajta határ, amely megmutatja egy szakterületnek, hol keressen tovább.

Üzleti szemmel is olvasható mindez, azoknak, akiket érdekel, hová kerül az erőfeszítés. Egy módszer ismert, pontos plafonja hasznos információ. Azt üzeni, hogy ideje abbahagyni az optimalizálást a módszeren belül. Aki kutatási időt oszt el, annak a „ezen még lehet javítani” helyzetből a „ezen nem lehet javítani” helyzetbe való átlépés annyit ér, mint egy szerény pozitív eredmény.

Gömbi kódok és bináris kódok #

A gyűjtemény nem áll meg az elhelyezésnél. A rögzített távolságú bináris és gömbi kódok klasszikus felső korlátai minden paraméterre exponenciális tényezővel javulnak. Ez a mondat erős kvantort hordoz. A javulás exponenciális tényezős, és minden paraméterre érvényes, ami tágabb állítás, mint egy kedvező tartományban elért javulás.

Van egy visszautalás az 1. fejezetre is. A gömbi kódok konstrukciója az 1. fejezet gömbelhelyezési kitevőjét is visszaadja. A két szál tehát összekapcsolódik: a kódoldali konstrukció reprodukálja az elhelyezési oldal kitevőjét. Az állítások nem írják le ennek a visszanyerésnek a mechanizmusát, és én sem találok ki egyet. Azt viszont rögzítik, hogy a kapcsolat ebbe az irányba mutat: a gömbi konstrukció ugyanazt a kitevőt adja, mint az elhelyezési fejezet.

Érdemes felidézni, miért fontos ez a kapcsolat a fenti előzmények fényében. A gömbi kódokra vonatkozó Kabatianskii–Levenshtein-korlát volt a lineáris program viszonyítási pontja, Cohn és Zhao tétele pedig kimondta, hogy a program mindig legalább olyan erős. Az új eredmények a kódkorlátokon és az elhelyezési korlátokon is javítanak, és ezt egy olyan konstrukcióval teszik, amely visszavezet az elhelyezési kitevőhöz. A két oldal együtt mozdul.

Az előjel-határozatlansági probléma #

A fő tétel második következménye a Fourier-féle előjel-határozatlanságot érinti, és a dokumentum elég definíciót ad ahhoz, hogy felvázoljuk a formáját.

Egy g függvényre r(g) azoknak az R ≥ 0 értékeknek az infimuma, amelyekre g(x) ≥ 0, ha |x| ≥ R. Egyszerűen szólva r(g) az a sugár, amelyen túl g mindenütt nemnegatív. Ha ilyen sugár nem létezik, r(g) = ∞. A határozatlansági probléma azt vizsgálja, mennyire kicsivé tehető ez a sugár olyan függvényeknél, amelyek előírt viszonyban állnak saját Fourier-transzformáltjukkal.

Ez a viszony egy előjel. A ĝ = ςg feltétel előjel erejéig köti össze a függvényt a Fourier-transzformáltjával. A +1 és a −1 előjel rendre az eredeti és a komplementer határozatlansági problémát adja. Cohn és Gonçalves vezette be az anti-önfourier megfelelőt, vagyis a komplementer problémát, és kapcsolta össze a gömbelhelyezéssel. Ez a kapcsolat az a híd, amelyen át a gömbelhelyezési eredmény aszimptotikusan megoldja a határozatlansági problémát.

A komplementer probléma nem a tiszta analízis kuriózuma. A spin nélküli moduláris bootstrapban a moduláris S-antiszimmetria olyan anti-önfourier tesztfüggvényeket hoz létre, amelyek végső előjele a spektrális rést szabályozza. A forrás ehhez Hartman, Mazáč és Rastelli munkáját, valamint Afkhami-Jeddi és mtsai. cikkét idézi. Egy kérdés tehát, amely függvényekről és transzformáltjaikról szóló állításként indult, egy fizikai hangzású nevű közegben, a spektrális résnél is felbukkan. Az állítások nem mennek tovább ennél az egysoros mechanizmusnál, és én sem megyek, de emlékeztet arra, hogy a határozatlansági problémának a gömbelhelyezésen kívül is vannak társai.

Az A függelék összehasonlítja a két problémát. Megállapítja, hogy A+(d) < A−(d) minden d-re. Ez azt állítja, hogy a két probléma minden dimenzióban különbözik, és az első mennyiség szigorúan kisebb a másodiknál. Az állítások nem adnak további értelmezést, és az egyenlőtlenséget egyszerűen azért érdemes megjegyezni, mert kivétel nélkül minden d-re teljesül.

Az érvelés belsejében: átlagolás, eltűnés és egy tömegbecslés #

A dokumentum több olyan technikai állítást tartalmaz, amelyből érzékelhető, hogyan épül fel a határozatlansági elemzés. Ezek töredékek, és töredékként mutatom be őket, de együtt egy módszert vázolnak fel.

Kezdjük a szimmetriával. A forgatások szerinti átlagot az O(d) csoporton vett normált Haar-mértékkel definiálják. Egy függvény forgatások szerinti átlagolása radiális függvényt ad, és ennek az a lényege, hogy a feltételek megsértése nélkül egyszerűsíti a problémát. A forrás szerint a forgatások szerinti átlagolás megőrzi a probléma (2) jelű feltétellistájának minden előjelfeltételét. Hozzáteszi, hogy ha ĝ = ςg, akkor r(Rg) ≤ r(g), ahol Rg a g forgatások szerinti átlaga. Az átlagolás tehát sosem rontja az előjelsugarat. Továbbá a forrás megfogalmazásában Rg ≠ 0, valahányszor a g ≠ 0 függvény végül nemnegatív, így az átlagolás nem semmisít meg egy olyan függvényt, amelynek nagy távolságban helyes az előjelviselkedése.

Ez a három tény együtt igazolja a radiális függvényekre való redukciót. A redukció a sugárban semmibe sem kerül, megőrzi az előjelfeltételeket, és nem omlasztja nullává a függvényt. Ez egy szokásos szimmetriaérvelés alakja, és az állítások minden összetevőjét megerősítik.

Következik az origó. A g = h − ĥ függvény eltűnik az origóban. Ez az a fajta apró tény, amely egy bizonyításban nagy munkát végez, mert a Cohn-Elkies-korlát közvetlenül az origóbeli értékeket használja, és egy ott eltűnő függvény másként viselkedik, mint egy nem eltűnő. Egy rokon korrekciós lépés is szerepel: a korrigált gn függvényre gn(0) = 0 és gn → g az L1 térben. Egy korrigált függvényekből álló sorozat, amelynek minden tagja eltűnik az origóban, tehát L1 értelemben g-hez konvergál. Ez lehetővé teszi, hogy az érvelés olyan függvényekkel dolgozzon, amelyek pontosan teljesítik az origóbeli feltételt, miközben továbbra is közelítik a célt.

Ezután egy mennyiségi feltétel jön. A tömegbecslés kikényszeríti, hogy 1/a ≥ (1/π − o(1))√d. Az állítások nem definiálják a-t, így nem tudom megmondani, mit mér, és találgatni sem fogok. Annyi mondható, hogy milyen alakú a következtetés: alsó korlát 1/a-ra, amely a dimenzió négyzetgyökével nő, 1/π állandóval és egy eltűnő korrekcióval. A dimenzió négyzetgyökével arányos skála természetesnek tűnő méret a magas dimenziós geometriában, de ez az én megfigyelésem a kifejezés alakjáról, az állítások nem mechanizmusként mondják ki.

A Mellin-kép #

Az eszköztár még egy darabja megjelenik a dokumentumban, és ez magyarázza a legvilágosabban, miért kezelhető itt a radiális Fourier-analízis. Mellin-transzformáció után a radiális Fourier-transzformáció tükrözi a Mellin-változót. Ez tömör állítás arról, hogyan hat egy transzformáció. Egy radiális függvény Fourier-transzformáltja, amely rendesen integráloperátor, és amelyről közvetlenül nehéz gondolkodni, a Mellin-változóban vett tükrözéssé válik. A tükrözések nagyjából a legegyszerűbb operátorok, amelyek léteznek.

Ugyanez a rész a másik oldalon egy analitikus feltételt is rögzít. A g Schwartz-féle lecsengése Φg gyors lecsengését adja, amint v → +∞. Itt Φg a Mellin-elemzésben kapott objektum, v pedig a változója. A párosítás tanulságos: a tükrözési tulajdonság a szerkezetet kezeli, a Schwartz-féle lecsengés pedig a végtelenbeli kontrollt. Egy ilyen stílusú bizonyításnak mindkettőre szüksége van, mert lecsengés nélkül a szerkezet olyan integrálokat hagy hátra, amelyek talán nem konvergálnak, szerkezet nélkül pedig a lecsengés után nem marad mit kiszámolni.

A dokumentum azt is megjegyzi, hogy Sd az egységgömb felszíne, amely normáló tényezőként lép be, amikor a radiális integrálokat a gömb és az egyenes között átváltják. Ez definíciós kérdés, és éppen az a fajta könyvelés, amelyen múlik, hogy egy végső korlát állandói helyesen jönnek-e ki.

Világossá akarom tenni, mik ezek a töredékek. Nem a bizonyítás. Az állítások kijelentéseket adnak, nem levezetéseket, és egyetlen olvasó se próbálja ezekből rekonstruálni a teljes érvelést. Azt mutatják meg, hogy az elemzés szimmetriaredukciót, egy origóbeli feltételt, egy mennyiségi tömegbecslést és egy olyan transzformációt ötvöz, amelynek hatása változócsere után egyszerűsödik. Ez az összetétel a Fourier-analitikus extremális problémáknál megszokott, ami a végeredmény pontosságát inkább figyelemre méltóbbá teszi, mint kevésbé azzá. Szokványosnak látszó eszközök is elegendők voltak egy éles válaszhoz.

A gyűjtemény többi része #

A gömbelhelyezési fejezet csak egy része a dokumentumnak, és a többi eredmény is méltányos számbavételt érdemel. Mindegyiket pontosan úgy közlöm, ahogyan az állítások megadják.

A csoportelméletben egy explicit nem szofikus csoportot konstruálnak, ami megválaszolja azt a régóta fennálló kérdést, hogy minden megszámlálható csoport szofikus-e. A bizonyítás Kun, valamint Kun és Thom munkáit egy kombinatorikus expanderpárosítási érveléssel ötvözi, amelyet a bináris Leavitt-algebra és a Thompson-féle V csoport segítségével valósítanak meg. Az „explicit” szónak itt súlya van: az eredmény konstrukció, nem egzisztenciaérvelés.

Az operátoralgebrákban végtelen sok, páronként nem izomorf, (T) tulajdonságú csoportot konstruálnak, amelyeknek ugyanaz a csoport-Neumann-algebrája. Ez cáfolja Connes sejtését, és megválaszol Popa egy rokon, véges-egy leképezésekre vonatkozó kérdését. Két ismert kérdés dől el egyetlen konstrukcióval.

Az aritmetikai bonyolultságban a dokumentum alsó korlátokat ad a permanensre. Az osztásmentes áramkörök Ω(n² log log n) kaput igényelnek, a formulák pedig Ω(n⁴ / log n) levelet. Ez két korlát két számítási modellre, és a dokumentum egymás mellett közli őket.

A kvantuminformatikában exponenciális párhuzamos ismétlést bizonyítanak minden véges, kétszereplős, összefonódott játékra. A forrás szerint ez a klasszikus ismétlési elvet túlviszi a kvantumjátékok korábban vizsgált speciális osztályain. A kvantor ismét feltűnő: minden véges, kétszereplős, összefonódott játék, speciális osztályra való megszorítás nélkül.

A közelítési nehézségben egy 3SAT-ból induló közvetlen redukció n^(1/400) tényezős nehézséget ad az euklideszi legközelebbi vektor problémára, rokon következményekkel a bináris dekódolásra és más rácsnormákra. Az 1/400 kitevő kicsi, és inkább úgy közlöm, ahogyan le van írva, mintsem felcicomázzam. Az állítások közvetlennek nevezik a redukciót, és következményeket fűznek hozzá a bináris dekódolásra és más normákra.

A konvex geometriában az (n + 1)^n / n! éles felső térfogatkorlátot minden dimenzióban bizonyítják olyan konvex testekre, amelyeknek súlypontja az egyetlen belső rácspontjuk. Az élesség és az összes dimenzióra kiterjedő általánosság egyaránt része az állításnak.

A Ramsey-elméletben egy új szuperexponenciális alsó korlát megmutatja, hogy Rk(3) úgy nő, mint k^Θ(k). Az extremális gráfelméletben pedig különálló páros gráf-konstrukciók két sejtést cáfolnak: Erdős és Simonovits kompaktsági sejtését és Erdős egy degeneráltsági sejtését.

A gyűjtemény egészének olvasata #

Könnyű volna ezt a listát trófeagyűjteményként kezelni, ezért érdemes kimondani, mi következtethető belőle, és mi nem.

Annyi mondható, hogy a dokumentum legalább nyolc területen közöl eredményeket, hogy közülük többet ismert sejtések megválaszolásaként vagy cáfolataként írnak le, és hogy a gömbelhelyezési fejezethez illeszkedő alsó korlát tartozik, amely az eredményt a módszeren belül véglegessé teszi. Az érintett sejtések Connes, Popa, Erdős és Simonovits nevét viselik, a gömbelhelyezési ütemet pedig Afkhami-Jeddi, Cohn, Hartman, de Laat és Tajdini sejtette meg. Az ismert kérdéseket eldöntő eredmények könnyen értékelhetők, mert a kérdést azelőtt tették fel, hogy a válasz létezett volna.

Pusztán ezekre az állításokra támaszkodva viszont semmi sem mondható arról, hogyan működik a modell, hány próbálkozásra volt szüksége, hogyan ellenőrizték a kimenetét, vagy hogyan viszonyul az emberi munkához. A forrás szerint az eredményeket egy belső OpenAI-modell érte el, és itt az állítások véget érnek. Annak az olvasónak, aki a gyűjtemény jelentőségét a gépi matematika bizonyítékaként akarja mérlegelni, olyan információra van szüksége, amelyet az állítások nem tartalmaznak. Ellenállnék a kísértésnek, hogy ezt a rést hihetően hangzó történettel töltsem ki.

Egy álláspontot mégis érdemes elfoglalni. Az eredmények technikájukban heterogének: a nem szofikus csoport a bináris Leavitt-algebrát és a Thompson-féle V csoportot használja, a gömbelhelyezési eredmény Fourier-analízist és Mellin-transzformációkat, a legközelebbi vektor nehézsége pedig egy 3SAT-ból induló redukciót. Egy ilyen széles technikai terepet lefedő gyűjtemény nem egyetlen, újra meg újra alkalmazott trükk terméke. Bármi hozta is létre ezeket az eredményeket, több matematikai dialektusban dolgozott, és legalább ennyit az állítások alátámasztanak.

Mit jelent ez ágazatonként #

A Cohn-Elkies-féle lecsengési ütem magas dimenziós pontos meghatározása és a hozzá kapcsolódó matematikai eredmények több elméleti és alkalmazott számítási területre is hatnak.

Tiszta matematika és diszkrét geometria #

A magas dimenziós geometriával és harmonikus analízissel foglalkozó matematikusok számára a Cohn-Elkies-féle pontos lecsengési ütem meghatározása átrendezi a kutatási terepet. Mivel az illeszkedő alsó korlát bizonyítja, hogy $\mathcal{A}_d$ egyetlen segédfüggvénye sem verheti meg az új kitevőt, a kutatók abbahagyhatják a jobb radiális tesztfüggvények keresését a klasszikus lineáris programozási kereten belül. A sűrűbb gömbelhelyezések vagy szorosabb univerzális korlátok felé tett előrelépésnek mostantól nemlineáris programozási technikákat, magasabb rendű szemidefinit hierarchiákat vagy gyökeresen eltérő geometriai konstrukciókat kell feltárnia.

Kriptográfia és rácsalapú biztonság #

A rácsalapú kriptográfia, amely az olyan posztkvantum szabványok magját alkotja, mint az ML-KEM és az ML-DSA, nagyban támaszkodik a magas dimenziós euklideszi rácsokban a legrövidebb vagy legközelebbi vektor megtalálásának feltételezett nehézségére. A 3SAT-ból induló közvetlen redukció, amely $n^{1/400}$ tényezős nehézséget állapít meg az euklideszi legközelebbi vektor problémára (CVP), a gömbelhelyezések és gömbi kódok szorosabb exponenciális plafonjaival együtt megszilárdítja a legrosszabb esetről átlagos esetre történő rácsredukciók elméleti alapjait, anélkül hogy gyengítené a konkrét biztonsági paramétereket.

Automatikus tételbizonyítás és alapmodellek #

A következtető rendszereket és automatikus tételbizonyítókat fejlesztő kutatócsoportok számára a gyűjtemény szélessége és technikai mélysége figyelemre méltó mércét kínál. Ismert bizonyítások szintetikus változatainak előállítása helyett a belső modell nyitott problémákkal birkózott meg a csoportelméletben (egy explicit nem szofikus csoport megszerkesztése a Thompson-féle V csoporton keresztül), az operátoralgebrákban (Connes sejtésének cáfolata) és az aritmetikai bonyolultságban (alsó korlátok a permanensre). Ez azt mutatja, hogy a neurális architektúrák képesek eligazodni a mély Fourier-analízisben és a kombinatorikus párosításban, feltéve, hogy az ellenőrzés és a bizonyítások vizsgálata szigorú marad.

Összegzés #

A Cohn-Elkies-féle lineáris gömbelhelyezési program pontos lecsengési ütemének meghatározása lezár egy jelentős fejezetet a geometriai analízisben. Azzal, hogy bebizonyítja Afkhami-Jeddi, Cohn, Hartman, de Laat és Tajdini 2020-as sejtését, és 1978 óta először javít az általános gömbelhelyezési kitevőn, a munka megingathatatlan matematikai alapvonalat teremt. Egy illeszkedő alsó korláttal, amely megerősíti, hogy egyetlen Cohn-Elkies-féle segédfüggvény sem hozhat további exponenciális nyereséget, a tétel egyszerre dönti el a lineáris program aszimptotikus erejét, és irányítja a magas dimenziós geometria jövőjét alapvetően új analitikus horizontok felé.

Gyakran ismételt kérdések #

Mi volt a Kabatianskii–Levenshtein-korlát jelentősége?

Az 1978-ban megalkotott Kabatianskii–Levenshtein-korlát 0,59905576... értékű aszimptotikus felső korlátkitevőt adott a magas dimenziós gömbelhelyezési sűrűségre. Több mint négy évtizeden át a későbbi finomítások csak alacsonyabb rendű algebrai tényezőkön javítottak, a vezető exponenciális ütem pedig érintetlen maradt egészen eddig az eredményig.

Miért olyan fontos az illeszkedő alsó korlát?

Egy felső korlát önmagában azt mutatja meg, mit ér el a lineáris program, egy illeszkedő alsó korlát viszont bizonyítja, hogy a Cohn-Elkies-féle A(d) megengedett osztályban az f segédfüggvény semmilyen megválasztása sem adhat kisebb kitevőt. Ez abszolút plafont szab magának a lineáris programozási keretnek.

Hogyan kapcsolódik a Fourier-féle előjel-határozatlansági probléma a gömbelhelyezéshez?

Cohn és Gonçalves kimutatta, hogy a komplementer Fourier-féle előjel-határozatlansági probléma (ahol g_hat = -g) szorosan kapcsolódik a gömbelhelyezési korlátokhoz. A forgatások szerinti átlagolás és a Mellin-transzformációs tükrözések révén a Cohn-Elkies-program aszimptotikus megoldása közvetlenül eldönti a Fourier-féle előjel-határozatlansági problémát.

Veszélyezteti ez az eredmény a rácsalapú kriptográfiát?

Nem. Bár a tétel élesíti a magas dimenziós gömbelhelyezés sűrűségére vonatkozó felső korlátokat, és $n^{1/400}$ tényezős nehézséget állapít meg a legközelebbi vektor problémára, polinomiális idejű rácsredukciós algoritmusokat nem ad. A gyakorlati rácsalapú kriptorendszerek az ismert kvantum- és klasszikus támadásokkal szemben biztonságosak maradnak.

Hivatkozások #

• Nima Afkhami-Jeddi és mtsai., (2020). Magas dimenziós gömbelhelyezések és a moduláris bootstrap ⧉. Journal of High Energy Physics.
• Henry Cohn és Noam Elkies, (2003). Új felső korlátok gömbelhelyezésekre I ⧉. Annals of Mathematics.
• Henry Cohn és Felipe Gonçalves, (2019). Optimális határozatlansági elv a Fourier-analízisben ⧉. PNAS.
• Henry Cohn és Yufei Zhao, (2014). Gömbelhelyezési korlátok gömbi kódokon keresztül ⧉. Duke Mathematical Journal.
• G. A. Kabatianskii és V. I. Levenshtein, (1978). Korlátok gömbön és térben való elhelyezésekre ⧉. Problems of Information Transmission.
• Maryna S. Viazovska, (2017). A gömbelhelyezési probléma a 8. dimenzióban ⧉. Annals of Mathematics.

Utolsó felülvizsgálat 2026-10-05.

Utolsó felülvizsgálat 2026-10-27.

# OpenAI-modell határozta meg a Cohn-Elkies-program pontos lecsengését — Sebastien Rousseau

> Originally published at [https://sebastienrousseau.com/hu/2026-10-05-openai-modell-hatarozta-cohn-elkies-program/](https://sebastienrousseau.com/hu/2026-10-05-openai-modell-hatarozta-cohn-elkies-program/)

Egy belső OpenAI-modell meghatározza a Cohn-Elkies-féle lineáris program pontos lecsengési ütemét, és 1978 óta először javít a gömbelhelyezési kitevőn.

Read the full article on sebastienrousseau.com: https://sebastienrousseau.com/hu/2026-10-05-openai-modell-hatarozta-cohn-elkies-program/

OpenAI-modell határozta meg a Cohn-Elkies-program pontos lecsengését — Sebastien Rousseau

Egy belső OpenAI-modell meghatározza a Cohn-Elkies-féle lineáris program pontos lecsengési ütemét, és 1978 óta először javít a gömbelhelyezési kitevőn.

https://sebastienrousseau.com/hu/2026-10-05-openai-modell-hatarozta-cohn-elkies-program/

OpenAI-modell határozta meg a Cohn-Elkies-program pontos lecsengését — Sebastien Rousseau

Egy belső OpenAI-modell meghatározza a Cohn-Elkies-féle lineáris program pontos lecsengési ütemét, és 1978 óta először javít a gömbelhelyezési kitevőn.

Íme a legfontosabb stratégiai tanulságok:

- Mi ez a gyűjtemény, és miért emelkedik ki egy eredmény. A dokumentum szerényen kezdődik.
- A Cohn-Elkies-program és amit korlátoz. A gömbelhelyezés azt kérdezi, milyen sűrűn tölthetik ki a teret egymást nem átfedő gömbök.
- Amit a módszer már elért. Mielőtt rátérnénk az új tételre, érdemes konkrétan felidézni, mit hozott már a Fourier-analitikus lineáris programozási módszer, mert az új eredmény részben arról szól, mennyivel juthat még tovább.
- A fő tétel. A dokumentum fő tétele bebizonyítja azt az exponenciális ütemet, amelyet a 2020-as cikk 3.1.

Mi az Ön szervezetének megközelítése az e cikkben felvázolt kihívásokhoz?

→ https://sebastienrousseau.com/hu/2026-10-05-openai-modell-hatarozta-cohn-elkies-program/

#Openai #Gömbelhelyezés #CohnElkies #LineárisProgramozás #LecsengésiÜtem

Sebastien Rousseau | CC-BY-4.0

@online{rousseau2026openai,
  author  = {Rousseau, Sebastien},
  title   = {{OpenAI-modell határozta meg a Cohn-Elkies-program pontos lecsengését — Sebastien Rousseau}},
  year    = {2026},
  url     = {https://sebastienrousseau.com/hu/2026-10-05-openai-modell-hatarozta-cohn-elkies-program/},
  urldate = {2026}
}

TY  - GEN
AU  - Rousseau, Sebastien
TI  - OpenAI-modell határozta meg a Cohn-Elkies-program pontos lecsengését — Sebastien Rousseau
PY  - 2026
UR  - https://sebastienrousseau.com/hu/2026-10-05-openai-modell-hatarozta-cohn-elkies-program/
ER  -

Rousseau S. OpenAI-modell határozta meg a Cohn-Elkies-program pontos lecsengését — Sebastien Rousseau. sebastienrousseau.com. 2026 Oct 5. Available from: https://sebastienrousseau.com/hu/2026-10-05-openai-modell-hatarozta-cohn-elkies-program/

Rousseau, Sebastien. "OpenAI-modell határozta meg a Cohn-Elkies-program pontos lecsengését — Sebastien Rousseau." sebastienrousseau.com. October 5, 2026. https://sebastienrousseau.com/hu/2026-10-05-openai-modell-hatarozta-cohn-elkies-program/.

Rousseau, S. (2026, October 5). OpenAI-modell határozta meg a Cohn-Elkies-program pontos lecsengését — Sebastien Rousseau. sebastienrousseau.com. https://sebastienrousseau.com/hu/2026-10-05-openai-modell-hatarozta-cohn-elkies-program/

OpenAI-modell határozta meg a Cohn-Elkies-program pontos lecsengését — Sebastien Rousseau

Egy belső OpenAI-modell meghatározza a Cohn-Elkies-féle lineáris program pontos lecsengési ütemét, és 1978 óta először javít a gömbelhelyezési kitevőn.

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

SEBASTIEN ROUSSEAU · FOUNDER · ENGINEER