OpenAI modeli Cohn-Elkies sınırının kesin azalma hızını belirledi

TL;DR. Dahili bir OpenAI modeli, Cohn-Elkies doğrusal programının kesin azalma hızını belirledi: 1978'den bu yana küre paketleme üssündeki ilk iyileşme.

Önemli Çıkarımlar

Derleme nedir ve neden bir sonuç öne çıkıyor. Belge alçakgönüllü bir girişle açılıyor.
Cohn-Elkies programı ve neyi sınırladığı. Küre paketleme, birbiriyle örtüşmeyen topların uzayı ne kadar yoğun doldurabileceğini sorar.
Yaklaşımın daha önce başardıkları. Yeni teoreme geçmeden önce, Fourier analitik doğrusal programlama yaklaşımının şimdiye kadar neler sağladığını somut olarak söylemekte yarar var, çünkü yeni sonuç kısmen onun daha ne kadar ileri gidebileceğine dair…
Ana teorem. Belgenin ana teoremi, o 2020 makalesinin 3.1 ve 3.2 numaralı sanılarında öngörülen üstel hızı kanıtlıyor.

Dahili bir OpenAI modelinden gelen matematiksel sonuçlar derlemesi, Cohn-Elkies küre paketleme doğrusal programının asimptotik gücünü kesin olarak belirliyor. Derleme, genel küre paketleme üssünde 1978'den bu yana ilk iyileşmeyi ve onunla tam örtüşen bir alt sınırı birlikte sunuyor.

Derleme nedir ve neden bir sonuç öne çıkıyor #

Belge alçakgönüllü bir girişle açılıyor. Dahili bir OpenAI modelinin elde ettiği sonuçlardan oluşan bir derleme sunuyor ve bunların matematiği ve kuramsal bilgisayar bilimini kapsadığını belirtiyor. Bu, kaynak ve kapsam hakkında bir tanım; modelin nasıl kullanıldığını ya da çıktısının nasıl denetlendiğini söylemiyor. Bu sorular önemli ve burada özetlendiği biçimiyle kaynak onları yanıtsız bırakıyor, bu yüzden bu yazı aksini iddia etmeyecek. İddiaların desteklediği şey, açıklanan sonuçların bir listesi ve liste o kadar uzun ki ilginç soru tek bir maddenin etkileyici olup olmadığı değil. İlginç soru, neden birinin ilginin büyük kısmını hak ettiği.

Bunun nedeni, küre paketleme sonucunun derlemede uzun ve isimli bir geçmişi olan bir araştırma programındaki nicel bir boşluğu kapatan tek sonuç olması. Diğerleri de kendi başlarına çarpıcı. Açıkça kurulmuş sofik olmayan bir grup, uzun süredir açık olan bir soruyu yanıtlıyor. Connes sanısının çürütülmesi, tanınmış bir matematikçinin önerdiği bir şeyi karara bağlıyor. Ancak küre paketleme sonucu, Fourier analitik bir yaklaşımdan başlayıp tek tek boyutlardaki iki ünlü kesin çözümden geçerek yıllarca açık kalan yüksek boyutlarla ilgili bir soruya uzanan bir zincirin sonunda duruyor. Onu anlamak, bu zinciri anlamak demek.

Bu nedenle aşağıdakilerin büyük bölümü Cohn-Elkies doğrusal programıyla ilgili: ne olduğu, onun hakkında ne bilindiği, yeni teoremin ne söylediği ve kanıtın işaret belirsizliği tarafının nasıl kurulduğu. Ardından daha kısa bir bölüm derlemedeki diğer sonuçları, her birini açıklandığı biçimde ve ötesine geçmeden gözden geçiriyor.

Cohn-Elkies programı ve neyi sınırladığı #

Küre paketleme, birbiriyle örtüşmeyen topların uzayı ne kadar yoğun doldurabileceğini sorar. Belge bunun için gösterimi sabitliyor. Merkezleri birbirinden en az 1 uzaklıkta olan durumlar için ∆d, Rd içindeki 1/2 yarıçaplı topların üst yoğunluklarının supremumudur. Başka bir deyişle ∆d, Rd içindeki en büyük küre paketleme yoğunluğunu gösterir. Derlemenin ilk bölümündeki her şey bu niceliğe göre ölçülüyor.

Cohn-Elkies programı ∆d için bir üst sınır verir. En iyi çıktısı LPd olarak yazılır ve programın sağladığı en iyi yoğunluk sınırı olarak tanımlanır. Mekanizma, Ad adlı bir sınıftaki her f fonksiyonuna vd f(0)/(2d f̂(0)) yoğunluk üst sınırını atayan Gorbachev-Cohn-Elkies sınırıdır. Sözle anlatmak gerekirse, izin verilen sınıftan bir yardımcı fonksiyon f seçersiniz, onun başlangıç noktasındaki değerini ve Fourier dönüşümünün başlangıç noktasındaki değerini hesaplarsınız, bu oranı hacim ve ölçek çarpanlarıyla kurarsınız ve sonuç, paketleme yoğunluğunu yukarıdan sınırlar. Doğrusal program, bu sınırı olabildiğince küçük yapan f'yi arar.

Bu, bütün zorluğun f'yi iyi seçmekte olduğu bir yaklaşım. Akıllıca seçilmiş bir fonksiyon sıkı bir sınır verir, kötü seçilmiş bir fonksiyon ise yine de geçerli olan zayıf bir sınır verir. Yeni sonuçtaki örtüşen alt sınırın bu kadar önemli olmasının nedeni bu. O, izin verilen bütün fonksiyonlar hakkında aynı anda konuşuyor ve daha iyi fonksiyon arayışını kapanmış bir soruya dönüştürüyor.

Yaklaşımın daha önce başardıkları #

Yeni teoreme geçmeden önce, Fourier analitik doğrusal programlama yaklaşımının şimdiye kadar neler sağladığını somut olarak söylemekte yarar var, çünkü yeni sonuç kısmen onun daha ne kadar ileri gidebileceğine dair bir ifade.

Viazovska bu yaklaşımı, E8 kafesinin sekiz boyutta en iyi paketlemeyi verdiğini kanıtlamak için kullandı. Ardından Cohn, Kumar, Miller, Radchenko ve Viazovska yirmi dört boyutta Leech kafesinin en iyi olduğunu gösterdi. Bunlar tek tek boyutlarda kesin sonuçlar ve yaklaşımın bir sınırlama aracı olmanın ötesinde bir üne sahip olmasının nedeni de bunlar. İki belirli boyutta gerçek yanıtı tam olarak yakalıyor.

Yüksek boyutlu tablo daha bulanıktı. Cohn ve Zhao, doğrusal programın her zaman Kabatianskii-Levenshtein küresel kod sınırı kadar güçlü olduğunu kanıtladı. Bu yararlı bir güvence, çünkü Kabatianskii-Levenshtein sınırı bilinen en iyi genel üssü vermişti. Ama “en az o kadar güçlü” ifadesi iki olasılığı açık bırakıyor: program bu üsle tam olarak örtüşebilir ya da onu geçebilir. Belge sonucu doğrudan belirtiyor. Doğrusal programın klasik yüksek boyutlu küre paketleme üssünü iyileştirip iyileştirmediği açık kalmıştı.

Afkhami-Jeddi, Cohn, Hartman, de Laat ve Tajdini doğrusal programın yüksek boyutlu hızına dair bir sanı ortaya attı. Bu sanı ihtiyatlı bir ifade ve kaynak onu öyle ele alıyor. Yazarların elindeki kanıtlarla desteklenen bir sanıydı ve kimse onu kanıtlamamıştı. Yeni sonuç onun statüsünü değiştiriyor.

Ana teorem #

Belgenin ana teoremi, o 2020 makalesinin 3.1 ve 3.2 numaralı sanılarında öngörülen üstel hızı kanıtlıyor. İddiaların desteklediği düzeyde ifade edersek: yazarlar Cohn-Elkies küre paketleme doğrusal programının kesin üstel azalma hızını belirliyor. Programın asimptotik gücü, kaynağın deyişiyle, kesin olarak belirleniyor.

Kaynaktan doğrudan iki sonuç çıkıyor. Birincisi, yüksek boyutlarda iyileştirilmiş bir genel paketleme sınırı. İkincisi, buna karşılık gelen Fourier işaret belirsizliği probleminin asimptotik olarak çözülmesi. Bunlar farklı türden sonuçlar. Biri geometriyle, diğeri analizle ilgili ve tek bir teoremin ikisini birden vermesi, küre paketleme problemi ile belirsizlik probleminin aynı yapının iki yüzü olduğuna dair ilk ipucu.

Kaynak ayrıca başarıyı tarihle karşılaştırıyor. Sonucu, genel küre paketleme üssünde 1978'den bu yana ilk iyileşme olarak tanımlıyor. Klasik Kabatianskii-Levenshtein üssü 0,59905576... idi ve bu sayı ölçüt olmuştu. Belge, sonraki küresel kod iyileştirmelerinin yalnızca düşük mertebeli çarpanları iyileştirdiğini kaydediyor. Başka bir deyişle, en yüksek mertebeli nicelik olan üssün kendisinde hiçbir şey kıpırdamamıştı.

Sonucu değerlendirmek için doğru çerçevenin bu olduğunu savunurum. Düşük mertebeli bir iyileşme sabitlerle ve polinom çarpanlarla oynar, üstel hızı yerinde bırakır. Üsteki bir iyileşme ise hızı değiştirir. İddialar tam olarak bu ayrımı destekliyor ve önceki iyileştirmelerin bu ayrımın düşük mertebe tarafında kaldığı ifadesini de destekliyor.

Boyut / Yaklaşım	Klasik temel (1978)	Cohn-Elkies doğrusal programı	Modelin yeni kanıtı
Küre paketleme üssü	Kabatianskii-Levenshtein sınırı: 0,59905576...	En az küresel kod sınırları kadar güçlü (Cohn-Zhao)	Afkhami-Jeddi ve diğ. (2020) tarafından öngörülen kesin asimptotik hız kanıtlandı
Sınırın kesinliği	Yalnızca düşük mertebeli çarpan iyileştirmeleri	Yüksek boyutlu asimptotik boşluk açık soru	Kesin örtüşen alt sınır: hiçbir yardımcı fonksiyon bu hızı geçemez
Fourier işaret belirsizliği	Ayrı işaret sınırları ($A^+(d) < A^-(d)$)	Fourier'ye göre anti-öz-dual test fonksiyonlarına bağlı	Asimptotik olarak çözüldü; işaret belirsizliğini Mellin yansıması belirliyor
Hata düzelten kodlar	Klasik küresel ve ikili kod sınırları	Asimptotik olarak paketleme sınırlarına bağlı	Tüm sabit uzaklık parametrelerinde üstel çarpanlarla iyileşme
Yöntemsel tavan	Polinom çarpanların sayısal optimizasyonu	Yardımcı test fonksiyonlarının açık optimizasyonu $f \in \mathcal{A}_d$	Matematiksel tavan kanıtlandı: daha fazla kazanç Cohn-Elkies dışı yöntemler gerektiriyor

Örtüşen alt sınır soruyu neden değiştiriyor #

Tek başına bir üst sınır iyileşmesi de iyi haber olurdu. Bu sonucu alışılmadık biçimde kesin kılan ikinci yarısı. Örtüşen alt sınır, hiçbir Cohn-Elkies yardımcı fonksiyonunun bu üssü iyileştiremeyeceğini gösteriyor.

Bunun araştırma programına ne yaptığını düşünün. Sonuçtan önce, yardımcı fonksiyon kurmak için daha iyi bir fikri olan bir araştırmacının daha da iyi bir küre paketleme üssüne giden makul bir yolu vardı. Sonuçtan sonra bu yol üsler düzeyinde kapandı. Üste daha fazla ilerleme Cohn-Elkies yaklaşımının dışından gelmek zorunda, çünkü içinde hız artık kesin.

Bunu abartmak istemem. İddialar yeni üssün gerçek küre paketleme üssü olduğunu söylemiyor ve küre paketlemenin kendisinin daha iyisini yapamayacağını da söylemiyor. İfade doğrusal programla ilgili: üssü sabitlendi ve yardımcı fonksiyonu değiştirerek geçilemez. Farklı bir tekniğin onu geçip geçemeyeceği, iddiaların ele almadığı bir soru. Bu net bir sınır ve bir alana bundan sonra nereye bakması gerektiğini söyleyen türden bir sınır.

Çabanın nereye gittiğini önemseyen okurlar için bunun ticari bir okuması da var. Bir yöntem üzerinde kesinliği bilinen bir tavan yararlı bir bilgi. Size o yöntemin içinde optimizasyon yapmayı bırakmanızı söylüyor. Araştırma zamanı ayıran herkes için “bu iyileşebilir” durumundan “bu iyileşemez” durumuna geçiş, mütevazı bir olumlu sonuç kadar değerli.

Küresel kodlar ve ikili kodlar #

Derleme paketlemede durmuyor. Sabit uzaklıklı ikili ve küresel kodlar için klasik üst sınırlar, tüm parametre değerlerinde üstel çarpanlarla iyileştiriliyor. Bu cümle güçlü bir niceleyici taşıyor. İyileşme üstel çarpanlarla ve tüm parametreler için geçerli; bu, elverişli bir rejimdeki iyileşmeden daha geniş bir ifade.

Bölüm 1'e geri giden bir bağ da var. Küresel kod kurulumu, Bölüm 1'deki küre paketleme üssünü de yeniden elde ediyor. Yani iki iplik birleşiyor: kod tarafındaki kurulum paketleme tarafındaki üssü yeniden üretiyor. İddialar bu yeniden elde etmenin mekanizmasını açıklamıyor ve ben de bir mekanizma uydurmayacağım. Ortaya koydukları şey ilişkinin bu yönde işlediği: küresel kurulum, paketleme bölümüyle aynı üssü veriyor.

Yukarıdaki geçmiş göz önüne alındığında bu bağın neden önemli olduğunu hatırlamakta yarar var. Kabatianskii-Levenshtein küresel kod sınırı doğrusal program için karşılaştırma noktasıydı ve Cohn ile Zhao'nun teoremi programın her zaman en az o kadar güçlü olduğunu söylüyordu. Yeni sonuçlar paketleme sınırlarının yanı sıra kod sınırlarını da iyileştiriyor ve bunu paketleme üssüne geri dönen bir kurulumla yapıyor. İki taraf birlikte hareket ettiriliyor.

İşaret belirsizliği problemi #

Ana teoremin ikinci sonucu Fourier işaret belirsizliğiyle ilgili ve belge onun biçimini çizmeye yetecek kadar tanım veriyor.

Bir g fonksiyonu için r(g), |x| ≥ R olduğunda g(x) ≥ 0 olacak biçimdeki R ≥ 0 değerlerinin infimumu olarak tanımlanıyor. Sade bir dille, r(g), g'nin ötesinde her yerde negatif olmadığı yarıçap. Böyle bir yarıçap yoksa r(g) = ∞. Belirsizlik problemi, kendi Fourier dönüşümleriyle belirlenmiş bir ilişkisi olan fonksiyonlar için bu yarıçapın ne kadar küçük yapılabileceğini soruyor.

Bu ilişki bir işaret. ĝ = ςg koşulu, bir fonksiyonu Fourier dönüşümüne işarete kadar bağlıyor. +1 ve −1 işaretleri sırasıyla özgün ve tümleyen belirsizlik problemlerini veriyor. Cohn ve Gonçalves, tümleyen problem olan Fourier'ye göre anti-öz-dual karşılığı ortaya koydu ve onu küre paketlemeyle ilişkilendirdi. Bu bağlantı, küre paketleme sonucunun belirsizlik problemini asimptotik olarak çözdüğü köprü.

Tümleyen problem saf analizin bir merakı değil. Spinsiz modüler bootstrap'te modüler S-antisimetrisi, sonundaki işareti spektral boşluğu denetleyen, Fourier'ye göre anti-öz-dual test fonksiyonları üretiyor. Kaynak burada Hartman, Mazáč ve Rastelli'yi ve Afkhami-Jeddi ve diğerlerinin makalesini gösteriyor. Yani fonksiyonlar ve dönüşümleri hakkında bir ifade olarak başlayan bir soru, fiziksel çağrışımlı bir adı olan bir ortamda, spektral boşlukta da karşımıza çıkıyor. İddialar bu tek satırlık mekanizmanın ötesine geçmiyor, ben de geçmeyeceğim; ama bu, belirsizlik probleminin küre paketlemenin dışında da akrabaları olduğunu hatırlatıyor.

Ek A iki problem arasında bir karşılaştırma ekliyor. Tüm d için A+(d) < A−(d) olduğunu gözlemliyor. Bu, iki problemin her boyutta farklı olduğuna, ilk niceliğin ikinciden kesinlikle küçük olduğuna dair bir ifade. İddialar başka bir yorum vermiyor ve eşitsizlik, istisnasız tüm d için geçerli olduğu için kaydedilmeye değer.

Kanıtın içinden: ortalama alma, sıfırlanma ve bir kütle kestirimi #

Belge, belirsizlik analizinin nasıl kurulduğuna dair fikir veren birkaç teknik ifade içeriyor. Bunlar parçalar ve onları parça olarak sunacağım; ama birlikte bir yöntem çiziyorlar.

Simetriyle başlayalım. Dönme ortalaması, O(d) üzerindeki normalleştirilmiş Haar ölçüsü kullanılarak tanımlanıyor. Bir fonksiyonun dönmeler üzerinden ortalamasını almak radyal bir fonksiyon üretiyor ve bunu yapmanın amacı, kısıtları bozmadan problemi basitleştirmek. Kaynak, dönme ortalamasının problemin (2) olarak etiketlenen kısıt listesindeki her işaret koşulunu koruduğunu söylüyor. Ayrıca ĝ = ςg ise r(Rg) ≤ r(g) olduğunu ekliyor; burada Rg, g'nin dönme ortalaması. Yani ortalama alma işaret yarıçapını hiçbir zaman kötüleştirmiyor. Ayrıca, kaynağın ifadesiyle, g ≠ 0 sonunda negatif olmadığında Rg ≠ 0; dolayısıyla ortalama alma, büyük uzaklıklarda doğru işaret davranışına sahip bir fonksiyonu yok etmiyor.

Bu üç olgu birlikte radyal fonksiyonlara indirgemeyi haklı çıkarıyor. İndirgeme yarıçap açısından hiçbir şeye mal olmuyor, işaret koşullarını koruyor ve fonksiyonu sıfıra çökertmiyor. Bu, standart bir simetri argümanının biçimi ve iddialar onun her bileşenini doğruluyor.

Sonra başlangıç noktası. g = h − ĥ fonksiyonu başlangıç noktasında sıfırlanıyor. Bu, bir kanıtta büyük iş gören küçük olgulardan biri, çünkü Cohn-Elkies sınırı doğrudan başlangıç noktasındaki değerleri içeriyor ve orada sıfırlanan bir fonksiyon sıfırlanmayandan farklı davranıyor. İlgili bir düzeltme adımı da kaydediliyor: düzeltilmiş gn fonksiyonu gn(0) = 0 ve L1 içinde gn → g koşullarını sağlıyor. Yani her biri başlangıç noktasında sıfırlanan düzeltilmiş fonksiyonlar dizisi L1 anlamında g'ye yakınsıyor. Bu, argümanın başlangıç noktası koşulunu tam olarak sağlayan fonksiyonlarla çalışırken hedefe yaklaşmasını mümkün kılıyor.

Ardından nicel bir kısıt var. Kütle kestirimi 1/a ≥ (1/π − o(1))√d olmasını zorunlu kılıyor. İddialar a'yı tanımlamıyor, bu yüzden neyi ölçtüğünü söyleyemem ve tahmin de yürütmeyeceğim. Söylenebilecek olan sonucun biçimi: 1/a üzerinde, boyutun karekökü gibi büyüyen, sabiti 1/π olan ve kaybolan bir düzeltme içeren bir alt sınır. Boyutun karekökü ölçeği yüksek boyutlu geometri için doğal görünen bir büyüklük, ama bu ifadenin biçimine dair benim gözlemim; iddialar bunu bir mekanizma olarak ileri sürmüyor.

Mellin resmi #

Belgede araç takımının bir parçası daha görünüyor ve radyal Fourier analizinin burada neden işlenebilir olduğunu en açık biçimde açıklayan da o. Bir Mellin dönüşümünden sonra radyal Fourier dönüşümü Mellin değişkenini yansıtıyor. Bu, bir dönüşümün nasıl etki ettiğine dair kısa bir ifade. Normalde bir integral operatörü olan ve doğrudan akıl yürütmesi zahmetli olan radyal bir fonksiyonun Fourier dönüşümü, Mellin değişkeninde bir yansımaya dönüşüyor. Yansımalar, operatörlerin olabileceği en basit türden.

Aynı pasaj diğer tarafta analitik bir koşulu kaydediyor. g'nin Schwartz azalması, v → +∞ iken Φg'nin hızlı azalmasını sağlıyor. Burada Φg Mellin analizinde elde edilen nesne, v de onun değişkeni. Bu eşleşme öğretici: yansıma özelliği yapıyı, Schwartz azalması ise sonsuzdaki denetimi üstleniyor. Bu tarzda bir kanıtın ikisine de ihtiyacı var, çünkü azalma olmadan yapı yakınsamayabilecek integraller bırakır, yapı olmadan azalma ise hesaplanacak hiçbir şey bırakmaz.

Belge ayrıca Sd'nin birim kürenin alanı olduğunu not ediyor; bu, radyal integraller küre ile doğru arasında dönüştürülürken normalleştirme çarpanı olarak devreye giriyor. Bu bir tanım meselesi ve son bir sınırdaki sabitlerin doğru çıkıp çıkmayacağını belirleyen türden bir hesap.

Bu parçaların ne olduğunu açıkça söylemek istiyorum. Kanıtın kendisi değiller. İddialar türetmeler değil, ifadeler veriyor ve hiçbir okur tam argümanı bunlardan yeniden kurmaya kalkmamalı. Gösterdikleri şey, analizin simetri indirgemesini, bir başlangıç noktası koşulunu, nicel bir kütle kestirimini ve değişken değişiminden sonra etkisi basitleşen bir dönüşümü birleştirdiği. Bu birleşim Fourier analitik ekstremal problemler için olağan ve bu da son sonucun kesinliğini daha az değil, daha dikkat çekici kılıyor. Standart görünümlü araçlar keskin bir yanıta ulaşmaya yetti.

Derlemenin geri kalanı #

Küre paketleme bölümü belgenin yalnızca bir parçası ve geri kalan sonuçlar adil bir dökümü hak ediyor. Her biri burada iddiaların verdiği biçimde aktarılıyor.

Grup kuramında, her sayılabilir grubun sofik olup olmadığına dair uzun süredir açık olan soruyu yanıtlayan açık bir sofik olmayan grup kuruluyor. Kanıt, Kun'un ve Kun-Thom'un çalışmalarını, ikili Leavitt cebiri ve Thompson'ın V grubu kullanılarak gerçekleştirilen kombinatoryal bir genişletici eşleme argümanıyla birleştiriyor. “Açık” sözcüğü burada ağırlık taşıyor: sonuç bir varlık argümanı değil, bir kurulum.

Operatör cebirlerinde, aynı grup von Neumann cebirine sahip, sonsuz sayıda ikişerli izomorf olmayan (T) özellikli grup kuruluyor. Bu, Connes sanısını çürütüyor ve Popa'nın ilgili sonlu-bire soruyu yanıtlıyor. İki isimli soru tek bir kurulumla düşüyor.

Aritmetik karmaşıklıkta belge permanent için alt sınırlar veriyor. Bölmesiz devreler Ω(n² log log n) kapı gerektirirken formüller Ω(n⁴ / log n) yaprak gerektiriyor. Bunlar iki hesaplama modeli için iki sınır ve belge onları yan yana veriyor.

Kuantum bilgisinde, her sonlu iki oyunculu dolanık oyun için üstel paralel tekrar kanıtlanıyor. Kaynak bunun klasik tekrar ilkesini daha önce ele alınmış özel kuantum oyunu sınıflarının ötesine taşıdığını söylüyor. Niceleyici yine dikkat çekiyor: özel bir sınıfla kısıtlanmadan, her sonlu iki oyunculu dolanık oyun.

Yaklaşık çözüm zorluğunda, 3SAT'tan doğrudan bir indirgeme, Öklid en yakın vektör problemi için n^(1/400) çarpanlı zorluk veriyor; ikili kod çözme ve diğer kafes normları için ilgili sonuçları da var. 1/400 üssü küçük ve onu süslemek yerine yazıldığı gibi aktarmayı tercih ederim. İddialar indirgemeyi doğrudan olarak niteliyor ve ikili kod çözme ile diğer normlar için sonuçlar ekliyor.

Dışbükey geometride, ağırlık merkezi tek iç kafes noktası olan dışbükey cisimler için keskin hacim üst sınırı (n + 1)^n / n! her boyutta kanıtlanıyor. Keskinlik ve tüm boyutlarda geçerlilik iddianın parçası.

Ramsey kuramında, yeni bir süperüstel alt sınır Rk(3)'ün k^Θ(k) gibi büyüdüğünü gösteriyor. Ekstremal graf kuramında ise ayrı iki parçalı graf kurulumları iki sanıyı çürütüyor: Erdős ve Simonovits'in kompaktlık sanısını ve Erdős'ün bir yozlaşma sanısını.

Derlemeyi bir bütün olarak okumak #

Bu listeyi bir ödül vitrini gibi ele almak kolay olurdu, bu yüzden ondan neyin çıkarılabileceğini ve neyin çıkarılamayacağını söylemekte yarar var.

Söylenebilecek olan, belgenin en az sekiz alanda sonuç bildirdiği, birçoğunun isimli sanıları yanıtladığı ya da çürüttüğü biçiminde tanımlandığı ve küre paketleme bölümünün, sonucunu kendi yaklaşımı içinde kesin kılan örtüşen bir alt sınırla geldiği. İlgili sanılar Connes, Popa, Erdős ve Simonovits adlarını taşıyor; küre paketleme hızını ise Afkhami-Jeddi, Cohn, Hartman, de Laat ve Tajdini öngörmüştü. İsimli soruları karara bağlayan sonuçları değerlendirmek kolay, çünkü soru yanıt ortaya çıkmadan önce sorulmuştu.

Yalnızca bu iddialara dayanarak söylenemeyecek olan, modelin nasıl çalıştığı, kaç denemeye ihtiyaç duyduğu, çıktısının nasıl doğrulandığı ya da insan çabasıyla nasıl karşılaştırıldığına dair herhangi bir şey. Kaynak sonuçların dahili bir OpenAI modeli tarafından elde edildiğini söylüyor ve iddialar orada bitiyor. Derlemenin makine matematiğine dair bir kanıt olarak önemini tartmak isteyen bir okurun, iddiaların içermediği bilgilere ihtiyacı var. Bu boşluğu makul görünen bir anlatıyla doldurma isteğine direnirim.

Yine de alınmaya değer bir tutum var. Sonuçlar teknik açıdan farklı: sofik olmayan grup ikili Leavitt cebirini ve Thompson'ın V grubunu kullanıyor, küre paketleme sonucu Fourier analizini ve Mellin dönüşümlerini kullanıyor, en yakın vektör zorluğu ise 3SAT'tan bir indirgeme kullanıyor. Bu kadar geniş bir teknik alanı kapsayan bir derleme, tekrar tekrar uygulanmış tek bir hilenin ürünü değil. Bu sonuçları üreten şey birkaç matematiksel lehçede çalışıyordu ve iddialar en azından bunu destekliyor.

Sektörlere göre anlamı #

Yüksek boyutlu Cohn-Elkies azalma hızının kesin olarak belirlenmesi ve beraberindeki matematiksel sonuçlar, birçok kuramsal ve uygulamalı hesaplama alanını etkiliyor.

Saf matematik ve ayrık geometri #

Yüksek boyutlu geometri ve harmonik analiz üzerinde çalışan matematikçiler için Cohn-Elkies azalma hızının kesin olarak belirlenmesi araştırma manzarasını değiştiriyor. Örtüşen alt sınır, $\mathcal{A}_d$ içindeki hiçbir yardımcı fonksiyonun yeni üssü geçemeyeceğini kanıtladığı için araştırmacılar klasik doğrusal programlama yaklaşımı içinde daha iyi radyal test fonksiyonları aramayı bırakabilir. Daha yoğun küre paketlemelerine ya da daha sıkı evrensel sınırlara doğru ilerleme artık doğrusal olmayan programlama tekniklerini, daha yüksek mertebeli yarı tanımlı hiyerarşileri ya da kökten farklı geometrik kurulumları keşfetmek zorunda.

Kriptografi ve kafes tabanlı güvenlik #

ML-KEM ve ML-DSA gibi kuantum sonrası standartların çekirdeğini oluşturan kafes tabanlı kriptografi, yüksek boyutlu Öklid kafeslerinde en kısa ya da en yakın vektörleri bulmanın varsayılan zorluğuna büyük ölçüde dayanıyor. Öklid En Yakın Vektör Problemi (CVP) için $n^{1/400}$ çarpanlı zorluğu kuran 3SAT'tan doğrudan indirgeme, küre paketlemeleri ve küresel kodlar üzerindeki daha sıkı üstel tavanlarla birlikte, somut güvenlik parametrelerini zayıflatmadan en kötü durumdan ortalama duruma kafes indirgemelerinin kuramsal temellerini sağlamlaştırıyor.

Otomatik teorem ispatı ve temel modeller #

Akıl yürütme sistemleri ve otomatik teorem ispatlayıcılar geliştiren araştırma ekipleri için derlemenin genişliği ve teknik derinliği çarpıcı bir ölçüt sunuyor. Bilinen kanıtların yapay varyasyonlarını üretmek yerine dahili model grup kuramı (Thompson'ın V grubu üzerinden açık bir sofik olmayan grup kurmak), operatör cebirleri (Connes sanısını çürütmek) ve aritmetik karmaşıklık (permanent alt sınırları) alanlarına yayılan açık problemleri ele aldı. Bu, doğrulama ve kanıt denetimi titiz kaldığı sürece sinir ağı mimarilerinin derin Fourier analizinde ve kombinatoryal eşlemede yol bulabildiğini gösteriyor.

Sonuç #

Cohn-Elkies küre paketleme doğrusal programının kesin azalma hızının belirlenmesi, geometrik analizde önemli bir bölümü kapatıyor. Afkhami-Jeddi, Cohn, Hartman, de Laat ve Tajdini'nin 2020 sanısını kanıtlayarak ve genel küre paketleme üssünde 1978'den bu yana ilk iyileşmeyi sağlayarak çalışma sarsılmaz bir matematiksel temel kuruyor. Hiçbir Cohn-Elkies yardımcı fonksiyonunun daha fazla üstel kazanç sağlayamayacağını doğrulayan örtüşen bir alt sınırla teorem hem doğrusal programın asimptotik gücünü karara bağlıyor hem de yüksek boyutlu geometrinin geleceğini temelden yeni analitik ufuklara yönlendiriyor.

Sıkça Sorulan Sorular #

Kabatianskii-Levenshtein sınırının önemi neydi?

1978'de ortaya konan Kabatianskii-Levenshtein sınırı, yüksek boyutlarda küre paketleme yoğunluğu için 0,59905576... değerinde asimptotik bir üst sınır üssü sağladı. Kırk yılı aşkın süre boyunca sonraki iyileştirmeler yalnızca düşük mertebeli cebirsel çarpanları iyileştirdi ve önde gelen üstel hız bu sonuca kadar dokunulmadan kaldı.

Örtüşen alt sınır neden bu kadar kritik?

Tek başına bir üst sınır doğrusal programın neye ulaştığını gösterir, ama örtüşen bir alt sınır, Cohn-Elkies izin verilen A(d) sınıfındaki hiçbir yardımcı fonksiyon f seçiminin daha küçük bir üs veremeyeceğini kanıtlar. Bu, doğrusal programlama yaklaşımının kendisi üzerinde mutlak bir tavan kurar.

Fourier işaret belirsizliği problemi küre paketlemeyle nasıl ilişkili?

Cohn ve Gonçalves, tümleyen Fourier işaret belirsizliği probleminin (g_hat = -g olduğu durum) küre paketleme sınırlarıyla yakından bağlantılı olduğunu gösterdi. Dönme ortalaması ve Mellin dönüşümü yansımaları sayesinde Cohn-Elkies programının asimptotik çözümü Fourier işaret belirsizliği problemini doğrudan çözüyor.

Bu sonuç kafes tabanlı kriptografiyi tehlikeye atıyor mu?

Hayır. Teorem, kürelerin yüksek boyutlarda ne kadar yoğun paketlenebileceğine dair üst sınırları keskinleştiriyor ve En Yakın Vektör Problemi için $n^{1/400}$ çarpanlı zorluk kuruyor, ama polinom zamanlı kafes indirgeme algoritmaları sağlamıyor. Pratik kafes kriptosistemleri bilinen kuantum ve klasik saldırılara karşı güvenli kalıyor.

Kaynaklar #

Nima Afkhami-Jeddi et al., (2020). Yüksek boyutlu küre paketlemeleri ve modüler bootstrap ⧉. Journal of High Energy Physics.
Henry Cohn and Noam Elkies, (2003). Küre paketlemeleri için yeni üst sınırlar I ⧉. Annals of Mathematics.
Henry Cohn and Felipe Gonçalves, (2019). Fourier analizinde optimal bir belirsizlik ilkesi ⧉. PNAS.
Henry Cohn and Yufei Zhao, (2014). Küresel kodlar aracılığıyla küre paketleme sınırları ⧉. Duke Mathematical Journal.
G. A. Kabatianskii and V. I. Levenshtein, (1978). Küre üzerinde ve uzayda paketlemeler için sınırlar ⧉. Problems of Information Transmission.
Maryna S. Viazovska, (2017). 8 boyutta küre paketleme problemi ⧉. Annals of Mathematics.

Son inceleme 2026-10-05.

Son inceleme 2026-10-27.

Bu makaleyi yeniden yayınla

OpenAI modeli Cohn-Elkies sınırının kesin azalma hızını belirledi — Sebastien Rousseau

Dahili bir OpenAI modeli, Cohn-Elkies doğrusal programının kesin azalma hızını belirledi: 1978'den bu yana küre paketleme üssündeki ilk iyileşme.

Bu makale şu lisans altında yayınlanmıştır Creative Commons Attribution 4.0 International. Yeniden yayın, kanonik URL'ye atıfta bulunulmasını gerektirir.

OpenAI modeli Cohn-Elkies sınırının kesin azalma hızını belirledi — Sebastien Rousseau

Dahili bir OpenAI modeli, Cohn-Elkies doğrusal programının kesin azalma hızını belirledi: 1978'den bu yana küre paketleme üssündeki ilk iyileşme.

Originally published at https://sebastienrousseau.com/tr/2026-10-05-openai-modeli-cohn-elkies-sinirinin-kesin/ by Sebastien Rousseau.
Licensed under CC-BY-4.0.

SEBASTIEN ROUSSEAU FOUNDER · ENGINEER