Panloob na modelo ng OpenAI, tiniyak ang decay rate ng Cohn-Elkies

Isang koleksiyon ng mga resultang matematikal mula sa isang panloob na modelo ng OpenAI ang nagpasya sa asymptotic na lakas ng linear program ng Cohn-Elkies para sa sphere packing, na nagbibigay ng unang pagbuti sa pangkalahatang sphere-packing exponent mula 1978 kasama ang eksaktong katugmang lower bound.

Ano ang koleksiyon, at bakit namumukod ang isang resulta #

Mapagpakumbaba ang simula ng dokumento. Inilalahad nito ang isang koleksiyon ng mga resultang nakuha ng isang panloob na modelo ng OpenAI, at sinasabi nitong saklaw ng mga ito ang matematika at teoretikal na computer science. Paglalarawan iyon ng pinagmulan at saklaw, at hindi nito sinasabi kung paano ginamit ang modelo o kung paano sinuri ang output nito. Mahalaga ang mga tanong na iyon, at iniiwan itong walang sagot ng pinagmulan ayon sa buod dito, kaya hindi magkukunwari ang artikulong ito. Ang talagang sinusuportahan ng mga pahayag ay isang listahan ng mga ipinahayag na resulta, at sapat ang haba ng listahan para ang kawili-wiling tanong ay hindi kung kahanga-hanga ang alinmang isang item. Ang tanong ay kung bakit ang isa sa mga ito ang nararapat sa karamihan ng atensiyon.

Ang dahilan ay ang resulta sa sphere packing lamang ang nasa koleksiyon na nagsasara ng isang kuwantitatibong puwang sa isang programang may mahaba at kilalang kasaysayan. Kapansin-pansin din ang iba sa sarili nilang paraan. Sinasagot ng isang tahasang nonsofic group ang isang matagal nang tanong. Nalulutas ng pagpapabulaan sa conjecture ni Connes ang isang bagay na iminungkahi ng isang kilalang matematiko. Ngunit nakaupo ang resulta sa sphere packing sa dulo ng isang kadena na nagsisimula sa isang balangkas na Fourier-analytic, dumaraan sa dalawang tanyag na eksaktong solusyon sa mga partikular na dimensiyon, at humahantong sa isang tanong tungkol sa matataas na dimensiyon na nanatiling bukas nang ilang taon. Ang pag-unawa rito ay pag-unawa sa kadenang iyon.

Kaya ang karamihan ng susunod ay tungkol sa linear program ng Cohn-Elkies: kung ano ito, kung ano ang alam tungkol dito, kung ano ang sinasabi ng bagong teorema, at kung paano binuo ang panig ng argumento tungkol sa sign uncertainty. Pagkatapos, isang mas maikling seksiyon ang sumusuri sa iba pang resulta sa koleksiyon, bawat isa ayon sa pagkakapahayag at wala nang higit pa.

Ang programa ng Cohn-Elkies at ang hinahanggahan nito #

Itinatanong ng sphere packing kung gaano kasiksik mapupuno ng mga bolang hindi nagpapatong ang espasyo. Itinatakda ng dokumento ang notasyon para rito. Para sa mga sentrong may layong hindi bababa sa 1, ang ∆d ay ang supremum ng mga upper density ng mga bolang may radius na 1/2 sa Rd. Sa ibang salita, ang ∆d ang tumutukoy sa pinakamataas na sphere-packing density sa Rd. Lahat ng nasa unang kabanata ng koleksiyon ay sinusukat laban sa dami na iyon.

Nagbibigay ang programa ng Cohn-Elkies ng upper bound sa ∆d. Isinusulat na LPd ang pinakamainam nitong output, na itinuturing na pinakamainam na density bound na ibinibigay ng programa. Ang mekanismo ay ang Gorbachev–Cohn-Elkies bound, na nagtatalaga sa bawat f sa isang klaseng tinatawag na Ad ng density upper bound na vd f(0)/(2d f̂(0)). Sa madaling salita, pumipili ka ng auxiliary function na f mula sa tinatanggap na klase, kinukuwenta ang halaga nito sa origin at ang halaga ng Fourier transform nito sa origin, binubuo ang ratio na iyon kasama ang volume at scaling factor, at hinahanggahan ng resulta mula sa itaas ang packing density. Hinahanap ng linear program ang f na magpapaliit sa bound na ito hangga't maaari.

Ito ay balangkas kung saan ang buong hirap ay nasa mahusay na pagpili ng f. Ang matalinong napiling function ay nagbibigay ng mahigpit na bound, at ang hindi mahusay na napili ay nagbibigay ng mahinang bound na wasto pa rin. Iyan ang dahilan kung bakit napakahalaga ng katugmang lower bound sa bagong resulta. Nagsasalita ito tungkol sa lahat ng tinatanggap na function nang sabay-sabay, at ginagawa nitong saradong tanong ang paghahanap ng mas mahuhusay na function.

Ang nakamit na ng balangkas #

Bago bumaling sa bagong teorema, makabubuting maging tiyak kung ano na ang naibigay ng balangkas ng Fourier-analytic linear programming, dahil bahagyang pahayag ang bagong resulta tungkol sa kung gaano pa ito kalayo makararating.

Ginamit ni Viazovska ang balangkas na ito upang patunayan na ang E8 lattice ang nagbibigay ng pinakamainam na packing sa ikawalong dimensiyon. Pagkatapos, itinatag nina Cohn, Kumar, Miller, Radchenko at Viazovska ang pagiging pinakamainam ng Leech lattice sa ikadalawampu't apat na dimensiyon. Mga eksaktong resulta ang mga ito sa iisang dimensiyon, at sila ang dahilan kung bakit may reputasyon ang balangkas na lampas sa papel nito bilang kasangkapan sa paghahangga. Sa dalawang partikular na dimensiyon, tinatamaan nito ang tunay na sagot.

Mas malabo ang larawan sa matataas na dimensiyon. Pinatunayan nina Cohn at Zhao na ang linear program ay laging hindi bababa sa lakas ng Kabatianskii–Levenshtein spherical-code bound. Kapaki-pakinabang na garantiya iyon, dahil ang Kabatianskii–Levenshtein bound ang pinakamahusay na kilalang pangkalahatang exponent. Ngunit ang “hindi bababa sa lakas” ay nag-iiwan ng dalawang posibilidad: maaaring eksaktong tumugma ang programa sa exponent na iyon, o maaari itong malampasan. Tahasang inilalahad ng dokumento ang kahihinatnan. Nanatiling bukas kung napapabuti ng linear program ang klasikong sphere-packing exponent sa matataas na dimensiyon.

Nagbigay ng conjecture sina Afkhami-Jeddi, Cohn, Hartman, de Laat at Tajdini tungkol sa rate ng linear program sa matataas na dimensiyon. Bagay na may pasubali ang isang conjecture, at ganoon ito tinatrato ng pinagmulan. Isa itong conjecture, na sinusuportahan ng anumang ebidensiyang hawak ng mga may-akda, at walang nakapagpatunay nito. Binabago ng bagong resulta ang katayuan nito.

Ang pangunahing teorema #

Pinatutunayan ng pangunahing teorema ng dokumento ang exponential rate na iminungkahi sa Conjectures 3.1 at 3.2 ng papel na iyon noong 2020. Sa antas na sinusuportahan ng mga pahayag: tinutukoy ng mga may-akda ang eksaktong exponential decay rate ng sphere-packing linear program ng Cohn-Elkies. Ang asymptotic na lakas ng programa, sa mga salita ng pinagmulan, ay eksaktong natukoy.

Dalawang kahihinatnan ang direktang sumusunod mula sa pinagmulan. Ang una ay isang pinahusay na pangkalahatang packing bound sa matataas na dimensiyon. Ang ikalawa ay asymptotic nang nalutas ang katumbas na Fourier sign-uncertainty problem. Magkaibang uri ng kahihinatnan ang mga iyon. Ang isa ay tungkol sa geometry at ang isa ay tungkol sa analysis, at ang katotohanang isang teorema ang naghahatid ng dalawa ang unang pahiwatig na ang problema ng sphere packing at ang problema ng uncertainty ay dalawang mukha ng iisang istruktura.

Inilalagay din ng pinagmulan ang tagumpay laban sa kasaysayan. Inilalarawan nito ang resulta bilang unang pagbuti mula 1978 sa pangkalahatang sphere-packing exponent. Ang klasikong Kabatianskii–Levenshtein exponent ay 0.59905576..., at ang bilang na iyon ang naging batayan. Itinatala ng dokumento na mga lower-order factor lamang ang napabuti ng mga sumunod na pagpipino sa spherical code. Sa ibang salita, para sa exponent mismo, na siyang leading-order na dami, walang gumalaw.

Masasabi kong ito ang tamang balangkas para tasahin ang resulta. Inaayos ng lower-order na pagbuti ang mga constant at polynomial factor habang iniiwan ang exponential rate sa kinalalagyan nito. Binabago ng pagbuti sa exponent ang rate. Eksaktong sinusuportahan ng mga pahayag ang pagkakaibang iyon, at sinusuportahan nila ang pahayag na nahulog sa lower-order na panig nito ang mga naunang pagpipino.

Bakit binabago ng katugmang lower bound ang tanong #

Mabuting balita na sana ang pagbuti ng upper bound nang mag-isa. Ang ikalawang kalahati ang nagpapapinal sa resultang ito nang hindi pangkaraniwan. Ipinapakita ng katugmang lower bound na walang auxiliary function ng Cohn-Elkies ang makapagpapabuti sa exponent na ito.

Isipin kung ano ang epekto nito sa programa ng pananaliksik. Bago ang resulta, may makatwirang daan ang isang mananaliksik na may mas mahusay na ideya sa pagbuo ng auxiliary function tungo sa mas mahusay pang sphere-packing exponent. Pagkatapos nito, sarado na ang daang iyon sa antas ng mga exponent. Anumang karagdagang pag-unlad sa exponent ay kailangang magmula sa labas ng balangkas ng Cohn-Elkies, dahil sa loob nito ay eksakto na ngayon ang rate.

Ayokong palakihin ito. Hindi sinasabi ng mga pahayag na ang bagong exponent ang tunay na sphere-packing exponent, at hindi nila sinasabing hindi na makagagawa ng mas mahusay ang sphere packing mismo. Ang pahayag ay tungkol sa linear program: natukoy na ang exponent nito, at hindi ito malalampasan sa pagpapalit ng auxiliary function. Kung malalampasan ito ng ibang teknika ay tanong na hindi tinutugunan ng mga pahayag. Malinis na hangganan iyon, at uri ito ng hangganan na nagsasabi sa isang larangan kung saan susunod na titingin.

May praktikal na pagbasa rin dito, para sa mga mambabasang nagmamalasakit kung saan napupunta ang pagsisikap. Kapaki-pakinabang na impormasyon ang isang tiyak at kilalang hangganan ng isang pamamaraan. Sinasabi nito sa iyo na tumigil na sa pag-optimize sa loob ng pamamaraang iyon. Para sa sinumang naglalaan ng oras sa pananaliksik, ang paglipat mula sa “maaaring gumanda ito” tungo sa “hindi na ito gaganda” ay kasinghalaga ng isang katamtamang positibong resulta.

Spherical code at binary code #

Hindi humihinto sa packing ang koleksiyon. Napapabuti nang may exponential factor para sa lahat ng parameter ang mga klasikong upper bound para sa binary at spherical code na may takdang distansiya. May malakas na quantifier ang pangungusap na iyon. Ang pagbuti ay sa pamamagitan ng exponential factor, at totoo ito para sa lahat ng parameter, na mas malawak na pahayag kaysa sa pagbuti sa isang paborableng saklaw.

May ugnayan din pabalik sa Kabanata 1. Nababawi rin ng konstruksiyon ng spherical code ang sphere-packing exponent ng Kabanata 1. Kaya nagkakaugnay ang dalawang hibla: muling nalilikha ng konstruksiyon sa panig ng code ang exponent sa panig ng packing. Hindi inilalarawan ng mga pahayag ang mekanismo ng pagbawing iyon, at hindi ako mag-iimbento ng isa. Ang itinatatag nila ay tumatakbo ang ugnayan sa direksiyong ito, na nagbubunga ang spherical na konstruksiyon ng parehong exponent gaya ng kabanata sa packing.

Makabubuting alalahanin kung bakit mahalaga ang ugnayang ito dahil sa kasaysayan sa itaas. Ang Kabatianskii–Levenshtein spherical-code bound ang punto ng paghahambing para sa linear program, at sinabi ng teorema nina Cohn at Zhao na laging hindi bababa sa lakas nito ang programa. Pinabubuti ng mga bagong resulta ang mga code bound gayundin ang mga packing bound, at ginagawa nila ito mula sa isang konstruksiyong bumabalik sa packing exponent. Sabay na ginagalaw ang dalawang panig.

Ang problema ng sign uncertainty #

Ang ikalawang kahihinatnan ng pangunahing teorema ay tungkol sa Fourier sign uncertainty, at nagbibigay ang dokumento ng sapat na depinisyon para iguhit ang hugis nito.

Para sa isang function na g, ang r(g) ay itinuturing na infimum ng R ≥ 0 kung saan g(x) ≥ 0 para sa |x| ≥ R. Sa simpleng salita, ang r(g) ay ang radius na lampas dito ay nonnegative ang g saanman. Kapag walang ganoong radius, r(g) = ∞. Ang problema ng uncertainty ay tungkol sa kung gaano kaliit magagawa ang radius na ito para sa mga function na may itinakdang ugnayan sa sarili nilang Fourier transform.

Ang ugnayang iyon ay isang sign. Itinatali ng kondisyong ĝ = ςg ang isang function sa Fourier transform nito hanggang sa sign. Ibinibigay ng mga sign na +1 at −1 ang orihinal at ang komplementaryong uncertainty problem, ayon sa pagkakasunod. Ipinakilala nina Cohn at Gonçalves ang anti-self-Fourier na katapat, na siyang komplementaryong problema, at iniugnay ito sa sphere packing. Ang ugnayang iyon ang tulay kung saan asymptotic na nalulutas ng resulta sa sphere packing ang problema ng uncertainty.

Hindi kakatwang bagay ng purong analysis ang komplementaryong problema. Sa spinless modular bootstrap, lumilikha ang modular S-antisymmetry ng mga anti-self-Fourier test function na ang pangwakas na sign ang kumokontrol sa spectral gap. Binabanggit ng pinagmulan sina Hartman, Mazáč at Rastelli at ang papel nina Afkhami-Jeddi et al. para rito. Kaya ang isang tanong na nagsimula bilang pahayag tungkol sa mga function at sa kanilang transform ay lumilitaw din sa isang kontekstong may pangalang tila pisikal, ang spectral gap. Hindi lumalampas ang mga pahayag sa isang-linyang mekanismo, at hindi rin ako lalampas, ngunit paalala ito na may kasama ang problema ng uncertainty sa labas ng sphere packing.

Nagdaragdag ang Appendix A ng paghahambing sa pagitan ng dalawang problema. Napapansin nito na A+(d) < A−(d) para sa lahat ng d. Pahayag iyon na nagkakaiba ang dalawang problema sa bawat dimensiyon, kung saan mahigpit na mas maliit ang unang dami kaysa sa ikalawa. Walang ibinibigay na karagdagang interpretasyon ang mga pahayag, at karapat-dapat pansinin ang inequality dahil lamang totoo ito para sa lahat ng d nang walang eksepsiyon.

Sa loob ng argumento: averaging, paglalaho at mass estimate #

May ilang teknikal na pahayag ang dokumento na nagbibigay ng pakiramdam kung paano binuo ang pagsusuri ng uncertainty. Mga piraso ang mga ito, at ilalahad ko silang mga piraso, ngunit magkakasama nilang iginuguhit ang isang pamamaraan.

Magsimula sa simetriya. Itinuturing ang rotational average gamit ang normalised Haar measure sa O(d). Ang pag-average ng isang function sa mga rotasyon ay lumilikha ng radial function, at ang layunin nito ay pinasisimple nito ang problema nang hindi sinisira ang mga constraint. Sinasabi ng pinagmulan na pinananatili ng rotational averaging ang bawat sign condition sa listahan ng mga constraint ng problema, na may label na (2). Idinaragdag nito na kung ĝ = ςg, kung gayon r(Rg) ≤ r(g), kung saan ang Rg ay ang rotational average ng g. Kaya hindi kailanman pinalalala ng averaging ang sign radius. Gayundin, sa pananalita ng pinagmulan, Rg ≠ 0 tuwing ang g ≠ 0 ay sa huli nonnegative, kaya hindi pinapawi ng averaging ang isang function na may tamang pag-uugali ng sign sa malalayong distansiya.

Magkakasamang binibigyang-katwiran ng tatlong katotohanang iyon ang reduction sa mga radial function. Walang kapalit ang reduction sa radius, pinananatili nito ang mga sign condition, at hindi nito ginagawang zero ang function. Iyan ang hugis ng isang karaniwang argumento ng simetriya, at kinukumpirma ng mga pahayag ang bawat sangkap nito.

Sunod, ang origin. Naglalaho sa origin ang function na g = h − ĥ. Ito ang uri ng maliit na katotohanan na gumagawa ng malaking trabaho sa isang patunay, dahil direktang kinasasangkutan ng Cohn-Elkies bound ang mga halaga sa origin, at iba ang kilos ng function na naglalaho roon kaysa sa isang hindi naglalaho. Itinatala rin ang isang kaugnay na hakbang ng pagwawasto: natutugunan ng naiwastong function na gn ang gn(0) = 0 at gn → g sa L1. Kaya ang isang sunod-sunod na naiwastong function, na bawat isa ay naglalaho sa origin, ay nagko-converge sa g sa kahulugang L1. Pinapayagan nito ang argumento na gumamit ng mga function na eksaktong tumutugon sa kondisyon sa origin habang tinatantiya pa rin ang target.

Pagkatapos ay may kuwantitatibong constraint. Pinipilit ng mass estimate ang 1/a ≥ (1/π − o(1))√d. Hindi binibigyang-depinisyon ng mga pahayag ang a, kaya hindi ko masasabi kung ano ang sinusukat nito, at hindi ako manghuhula. Ang masasabi ay ang anyo ng konklusyon: isang lower bound sa 1/a na lumalaki tulad ng square root ng dimensiyon, na may constant na 1/π at isang naglalahong pagwawasto. Mukhang natural na laki para sa high-dimensional geometry ang sukat na square root ng dimensiyon, ngunit obserbasyon ko iyon tungkol sa anyo ng ekspresyon, at hindi ito iginigiit ng mga pahayag bilang mekanismo.

Ang larawan ng Mellin #

May isa pang piraso ng kasangkapan na lumilitaw sa dokumento, at ito ang pinakamalinaw na nagpapaliwanag kung bakit kayang hawakan dito ang radial Fourier analysis. Pagkatapos ng Mellin transform, nirerepleksiyon ng radial Fourier transform ang Mellin variable. Maikling pahayag iyon tungkol sa kung paano kumikilos ang isang transform. Ang Fourier transform ng isang radial function, na karaniwang isang integral operator at mahirap pag-isipan nang direkta, ay nagiging isang reflection sa Mellin variable. Ang mga reflection ay halos ang pinakasimpleng operator na umiiral.

Itinatala rin ng parehong bahagi ang isang analytic na kondisyon sa kabilang panig. Nagbibigay ang Schwartz decay ng g ng mabilis na decay ng Φg habang v → +∞. Dito, ang Φg ay ang bagay na nakukuha sa Mellin analysis, at ang v ang variable nito. Nakapagtuturo ang pagpapares: hinahawakan ng reflection property ang istruktura, at hinahawakan ng Schwartz decay ang kontrol sa infinity. Kailangan ng patunay sa ganitong estilo ang dalawa, dahil ang istrukturang walang decay ay nag-iiwan ng mga integral na maaaring hindi mag-converge, at ang decay na walang istruktura ay walang iniiwang makukuwenta.

Napapansin din ng dokumento na ang Sd ay ang area ng unit sphere, na pumapasok bilang normalising factor kapag kinoconvert ang mga radial integral sa pagitan ng sphere at ng linya. Puntong pang-depinisyon iyon, at uri ito ng pagtutuos na nagpapasya kung lalabas nang tama ang mga constant sa pinal na bound.

Gusto kong maging malinaw kung ano ang mga pirasong ito. Hindi sila ang patunay. Mga pahayag ang ibinibigay ng mga claim, hindi mga derivation, at walang mambabasang dapat bumuo muli ng buong argumento mula sa kanila. Ang ipinapakita nila ay pinagsasama ng pagsusuri ang symmetry reduction, isang kondisyon sa origin, isang kuwantitatibong mass estimate, at isang transform na pumapasimple ang kilos pagkatapos ng pagpapalit ng variable. Karaniwan ang kombinasyong iyon sa mga Fourier-analytic na extremal problem, kaya lalong kapansin-pansin, hindi mas mababa, ang pagiging eksakto ng pinal na resulta. Sapat ang mga kasangkapang mukhang karaniwan para maabot ang isang matalas na sagot.

Ang natitirang bahagi ng koleksiyon #

Isang bahagi lamang ng dokumento ang kabanata sa sphere packing, at nararapat sa patas na paglalahad ang iba pang resulta. Bawat isa ay inilalahad dito nang eksakto ayon sa ibinibigay ng mga pahayag.

Sa group theory, isang tahasang nonsofic group ang binuo, na sumasagot sa matagal nang tanong kung sofic ba ang bawat countable group. Pinagsasama ng patunay ang gawa nina Kun at Kun–Thom sa isang combinatorial na expander-matching argument, na naisasakatuparan gamit ang binary Leavitt algebra at ang group V ni Thompson. May bigat dito ang salitang “tahasan”: isang konstruksiyon ang resulta at hindi isang existence argument.

Sa operator algebra, walang katapusang dami ng mga group na pairwise nonisomorphic at may property (T) ang binuo na may iisang group von Neumann algebra. Pinabubulaanan nito ang conjecture ni Connes at sinasagot ang isang kaugnay na finite-to-one na tanong ni Popa. Dalawang kilalang tanong ang bumabagsak sa iisang konstruksiyon.

Sa arithmetic complexity, nagbibigay ang dokumento ng mga lower bound para sa permanent. Nangangailangan ang mga division-free circuit ng Ω(n² log log n) gate, habang nangangailangan ang mga formula ng Ω(n⁴ / log n) leaf. Dalawang bound ito para sa dalawang modelo ng komputasyon, at magkatabing inilalahad ng dokumento ang mga ito.

Sa quantum information, napatunayan ang exponential parallel repetition para sa bawat finite two-player entangled game. Sinasabi ng pinagmulan na pinalalawak nito ang klasikong prinsipyo ng repetition lampas sa mga espesyal na klase ng quantum game na dati nang tinalakay. Namumukod muli ang quantifier: bawat finite two-player entangled game, nang walang paghihigpit sa isang espesyal na klase.

Sa hardness of approximation, nagbibigay ang isang direktang reduction mula sa 3SAT ng n^(1/400)-factor hardness para sa Euclidean closest vector problem, na may kaugnay na kahihinatnan para sa binary decoding at iba pang lattice norm. Maliit ang exponent na 1/400, at mas gugustuhin kong iulat ito ayon sa pagkakasulat kaysa pagandahin. Tinatawag ng mga pahayag na direkta ang reduction at ikinakabit dito ang mga kahihinatnan para sa binary decoding at iba pang norm.

Sa convex geometry, napatunayan sa bawat dimensiyon ang matalas na volume upper bound na (n + 1)^n / n! para sa mga convex body na ang barycentre ang tanging interior lattice point nila. Bahagi ng pahayag ang pagiging matalas at ang pagiging pangkalahatan sa lahat ng dimensiyon.

Sa Ramsey theory, ipinapakita ng isang bagong superexponential na lower bound na lumalaki ang Rk(3) bilang k^Θ(k). At sa extremal graph theory, pinabubulaanan ng magkakahiwalay na konstruksiyon ng bipartite graph ang dalawang conjecture: ang compactness conjecture nina Erdős at Simonovits at isang degeneracy conjecture ni Erdős.

Pagbasa sa koleksiyon bilang kabuuan #

Madaling ituring ang listahang ito na parang kabinet ng tropeo, kaya makabubuting sabihin kung ano ang maaari at hindi maaaring mahinuha mula rito.

Ang masasabi ay nag-uulat ang dokumento ng mga resulta sa hindi bababa sa walong larangan, na ang ilan ay inilalarawang sumasagot o nagpapabulaan sa mga kilalang conjecture, at na may kasamang katugmang lower bound ang kabanata sa sphere packing na nagpapapinal sa resulta nito sa loob ng balangkas nito. Dala ng mga kasangkot na conjecture ang mga pangalan nina Connes, Popa, Erdős at Simonovits, at ang sphere-packing rate ay iminungkahi nina Afkhami-Jeddi, Cohn, Hartman, de Laat at Tajdini. Madaling tasahin ang mga resultang lumulutas sa mga kilalang tanong dahil naitanong ang tanong bago pa umiral ang sagot.

Ang hindi masasabi, batay lamang sa mga pahayag na ito, ay anuman tungkol sa kung paano gumagana ang modelo, ilang pagtatangka ang kinailangan nito, paano napatunayan ang output nito, o paano ito ikinukumpara sa pagsisikap ng tao. Sinasabi ng pinagmulan na nakuha ang mga resulta ng isang panloob na modelo ng OpenAI, at doon humihinto ang mga pahayag. Ang mambabasang gustong timbangin ang kahalagahan ng koleksiyon bilang ebidensiya tungkol sa matematika ng makina ay nangangailangan ng impormasyong wala sa mga pahayag. Tatanggihan ko ang tuksong punan ang puwang na iyon ng salaysay na mukhang kapani-paniwala.

Gayunman, may posisyong dapat panindigan. Magkakaiba ang teknika ng mga resulta: ginagamit ng nonsofic group ang binary Leavitt algebra at ang group V ni Thompson, ginagamit ng resulta sa sphere packing ang Fourier analysis at Mellin transform, at ginagamit ng closest vector hardness ang isang reduction mula sa 3SAT. Ang koleksiyong sumasaklaw sa ganoon kalawak na teknikal na lupain ay hindi produkto ng iisang daya na paulit-ulit na inilapat. Anuman ang lumikha ng mga resultang ito, kumikilos ito sa ilang diyalekto ng matematika, at sinusuportahan ng mga pahayag ang hindi bababa roon.

Ano ang Kahulugan Nito sa Bawat Sektor #

Naiimpluwensiyahan ng eksaktong pagtukoy sa high-dimensional decay rate ng Cohn-Elkies at ng mga kasamang resultang matematikal ang ilang teoretikal at inilalapat na larangan ng komputasyon.

Purong matematika at discrete geometry #

Para sa mga matematikong nagtatrabaho sa high-dimensional geometry at harmonic analysis, binabago ng pagtukoy sa eksaktong decay rate ng Cohn-Elkies ang tanawin ng pananaliksik. Dahil pinatutunayan ng katugmang lower bound na walang auxiliary function sa $\mathcal{A}_d$ ang makalalampas sa bagong exponent, maaari nang ihinto ng mga mananaliksik ang paghahanap ng mas mahuhusay na radial test function sa loob ng klasikong balangkas ng linear programming. Ang pag-unlad tungo sa mas siksik na sphere packing o mas mahigpit na universal bound ay kailangan na ngayong tumuklas ng mga teknika ng non-linear programming, mas mataas na antas ng semidefinite hierarchy, o lubos na naiibang geometric na konstruksiyon.

Cryptography at seguridad na nakabatay sa lattice #

Ang lattice-based cryptography, na bumubuo sa ubod ng mga post-quantum standard gaya ng ML-KEM at ML-DSA, ay lubos na umaasa sa ipinapalagay na hirap ng paghahanap ng pinakamaikli o pinakamalapit na vector sa mga high-dimensional na Euclidean lattice. Ang direktang reduction mula sa 3SAT na nagtatatag ng $n^{1/400}$-factor hardness para sa Euclidean Closest Vector Problem (CVP), kasama ang mas mahigpit na exponential na hangganan sa sphere packing at spherical code, ay nagpapatibay sa mga teoretikal na pundasyon ng mga lattice reduction mula worst-case tungo average-case nang hindi pinahihina ang mga kongkretong security parameter.

Automated theorem proving at foundation model #

Para sa mga pangkat ng pananaliksik na bumubuo ng mga reasoning system at automated theorem prover, nagbibigay ang lawak at teknikal na lalim ng koleksiyon ng isang kapansin-pansing benchmark. Sa halip na lumikha ng mga sintetikong bersiyon ng mga kilalang patunay, hinarap ng panloob na modelo ang mga bukas na problema sa group theory (pagbuo ng isang tahasang nonsofic group sa pamamagitan ng group V ni Thompson), operator algebra (pagpapabulaan sa conjecture ni Connes), at arithmetic complexity (mga lower bound ng permanent). Ipinapakita nito na kayang tahakin ng mga neural architecture ang malalim na Fourier analysis at combinatorial matching, basta't nananatiling mahigpit ang beripikasyon at pagsusuri ng patunay.

Konklusyon #

Isinasara ng pagtukoy sa eksaktong decay rate ng sphere-packing linear program ng Cohn-Elkies ang isang mahalagang kabanata sa geometric analysis. Sa pagpapatunay sa conjecture noong 2020 nina Afkhami-Jeddi, Cohn, Hartman, de Laat at Tajdini at sa pagtatatag ng unang pagbuti sa pangkalahatang sphere-packing exponent mula 1978, nagtatayo ang gawa ng isang matatag na batayang matematikal. Sa pamamagitan ng katugmang lower bound na nagpapatunay na walang auxiliary function ng Cohn-Elkies ang makapagbibigay ng karagdagang exponential na pakinabang, kapwa nilulutas ng teorema ang asymptotic na lakas ng linear program at itinuturo ang hinaharap ng high-dimensional geometry tungo sa lubos na bagong analitikal na abot-tanaw.

Mga Madalas Itanong #

Ano ang kahalagahan ng Kabatianskii–Levenshtein bound?

Itinatag noong 1978, nagbigay ang Kabatianskii–Levenshtein bound ng asymptotic upper bound exponent na 0.59905576... sa sphere-packing density sa matataas na dimensiyon. Sa loob ng mahigit apat na dekada, mga lower-order algebraic factor lamang ang napabuti ng mga sumunod na pagpipino, at hindi nagalaw ang nangungunang exponential rate hanggang sa resultang ito.

Bakit napakahalaga ng katugmang lower bound?

Ipinapakita ng upper bound nang mag-isa kung ano ang naaabot ng linear program, ngunit pinatutunayan ng katugmang lower bound na walang pagpili ng auxiliary function na f sa tinatanggap na klase ng Cohn-Elkies na A(d) ang makapagbibigay ng mas maliit na exponent. Nagtatakda ito ng ganap na hangganan sa balangkas ng linear programming mismo.

Paano nauugnay ang Fourier sign-uncertainty problem sa sphere packing?

Itinatag nina Cohn at Gonçalves na ang komplementaryong Fourier sign-uncertainty problem (kung saan g_hat = -g) ay malapit na nakakabit sa mga sphere-packing bound. Sa pamamagitan ng rotational averaging at mga reflection ng Mellin transform, direktang nalulutas ng asymptotic na solusyon sa programa ng Cohn-Elkies ang Fourier sign-uncertainty problem.

Nakokompromiso ba ng resultang ito ang lattice-based cryptography?

Hindi. Bagaman pinatatalas ng teorema ang mga upper bound sa kung gaano kasiksik maaaring magkasya ang mga bola sa matataas na dimensiyon at itinatatag ang $n^{1/400}$-factor hardness para sa Closest Vector Problem, hindi ito nagbibigay ng mga polynomial-time na lattice reduction algorithm. Nananatiling ligtas ang mga praktikal na lattice cryptosystem laban sa mga kilalang quantum at klasikong pag-atake.

Mga Sanggunian #

• Nima Afkhami-Jeddi et al., (2020). Mga high-dimensional na sphere packing at ang modular bootstrap ⧉. Journal of High Energy Physics.
• Henry Cohn and Noam Elkies, (2003). Mga bagong upper bound sa sphere packing I ⧉. Annals of Mathematics.
• Henry Cohn and Felipe Gonçalves, (2019). Isang pinakamainam na uncertainty principle sa Fourier analysis ⧉. PNAS.
• Henry Cohn and Yufei Zhao, (2014). Mga sphere packing bound sa pamamagitan ng spherical code ⧉. Duke Mathematical Journal.
• G. A. Kabatianskii and V. I. Levenshtein, (1978). Mga bound para sa packing sa sphere at sa espasyo ⧉. Problems of Information Transmission.
• Maryna S. Viazovska, (2017). Ang problema ng sphere packing sa dimensiyon 8 ⧉. Annals of Mathematics.

Huling sinuri 2026-10-05.

Huling sinuri 2026-10-27.

# Panloob na modelo ng OpenAI, tiniyak ang decay rate ng Cohn-Elkies — Sebastien Rousseau

> Originally published at [https://sebastienrousseau.com/fil/2026-10-05-panloob-na-modelo-openai-tiniyak-decay/](https://sebastienrousseau.com/fil/2026-10-05-panloob-na-modelo-openai-tiniyak-decay/)

Tiniyak ng panloob na modelo ng OpenAI ang eksaktong decay rate ng Cohn-Elkies sphere-packing program: unang pagbuti ng exponent mula 1978, may katugmang lower bound.

Read the full article on sebastienrousseau.com: https://sebastienrousseau.com/fil/2026-10-05-panloob-na-modelo-openai-tiniyak-decay/

Panloob na modelo ng OpenAI, tiniyak ang decay rate ng Cohn-Elkies — Sebastien Rousseau

Tiniyak ng panloob na modelo ng OpenAI ang eksaktong decay rate ng Cohn-Elkies sphere-packing program: unang pagbuti ng exponent mula 1978, may katugmang lower bound.

https://sebastienrousseau.com/fil/2026-10-05-panloob-na-modelo-openai-tiniyak-decay/

Panloob na modelo ng OpenAI, tiniyak ang decay rate ng Cohn-Elkies — Sebastien Rousseau

Tiniyak ng panloob na modelo ng OpenAI ang eksaktong decay rate ng Cohn-Elkies sphere-packing program: unang pagbuti ng exponent mula 1978, may katugmang lower bound.

Narito ang mga pangunahing estratehikong aral:

- Ano ang koleksiyon, at bakit namumukod ang isang resulta. Mapagpakumbaba ang simula ng dokumento.
- Ang programa ng Cohn-Elkies at ang hinahanggahan nito. Itinatanong ng sphere packing kung gaano kasiksik mapupuno ng mga bolang hindi nagpapatong ang espasyo.
- Ang nakamit na ng balangkas. Bago bumaling sa bagong teorema, makabubuting maging tiyak kung ano na ang naibigay ng balangkas ng Fourier-analytic linear programming, dahil bahagyang pahayag ang bagong resulta tungkol sa kung gaano pa ito kalayo…
- Ang pangunahing teorema. Pinatutunayan ng pangunahing teorema ng dokumento ang exponential rate na iminungkahi sa Conjectures 3.1 at 3.2 ng papel na iyon noong 2020.

Ano ang diskarte ng inyong organisasyon sa mga hamon na tinukoy sa piraso na ito?

→ https://sebastienrousseau.com/fil/2026-10-05-panloob-na-modelo-openai-tiniyak-decay/

#CohnElkies #SpherePacking #LinearProgramming #KabatianskiiLevenshteinExponent #KatugmangLowerBound

Sebastien Rousseau | CC-BY-4.0

@online{rousseau2026panloob,
  author  = {Rousseau, Sebastien},
  title   = {{Panloob na modelo ng OpenAI, tiniyak ang decay rate ng Cohn-Elkies — Sebastien Rousseau}},
  year    = {2026},
  url     = {https://sebastienrousseau.com/fil/2026-10-05-panloob-na-modelo-openai-tiniyak-decay/},
  urldate = {2026}
}

TY  - GEN
AU  - Rousseau, Sebastien
TI  - Panloob na modelo ng OpenAI, tiniyak ang decay rate ng Cohn-Elkies — Sebastien Rousseau
PY  - 2026
UR  - https://sebastienrousseau.com/fil/2026-10-05-panloob-na-modelo-openai-tiniyak-decay/
ER  -

Rousseau S. Panloob na modelo ng OpenAI, tiniyak ang decay rate ng Cohn-Elkies — Sebastien Rousseau. sebastienrousseau.com. 2026 Oct 5. Available from: https://sebastienrousseau.com/fil/2026-10-05-panloob-na-modelo-openai-tiniyak-decay/

Rousseau, Sebastien. "Panloob na modelo ng OpenAI, tiniyak ang decay rate ng Cohn-Elkies — Sebastien Rousseau." sebastienrousseau.com. October 5, 2026. https://sebastienrousseau.com/fil/2026-10-05-panloob-na-modelo-openai-tiniyak-decay/.

Rousseau, S. (2026, October 5). Panloob na modelo ng OpenAI, tiniyak ang decay rate ng Cohn-Elkies — Sebastien Rousseau. sebastienrousseau.com. https://sebastienrousseau.com/fil/2026-10-05-panloob-na-modelo-openai-tiniyak-decay/

Panloob na modelo ng OpenAI, tiniyak ang decay rate ng Cohn-Elkies — Sebastien Rousseau

Tiniyak ng panloob na modelo ng OpenAI ang eksaktong decay rate ng Cohn-Elkies sphere-packing program: unang pagbuti ng exponent mula 1978, may katugmang lower bound.

Originally published at https://sebastienrousseau.com/fil/2026-10-05-panloob-na-modelo-openai-tiniyak-decay/ by Sebastien Rousseau.
Licensed under CC-BY-4.0.

SEBASTIEN ROUSSEAU · FOUNDER · ENGINEER