Model OpenAI menentukan kadar susutan tepat batas Cohn-Elkies

TL;DR. Model dalaman OpenAI menentukan kadar susutan tepat program linear Cohn-Elkies: penambahbaikan pertama eksponen pembungkusan sfera umum sejak 1978.

Intipati utama

Apakah himpunan ini, dan mengapa satu keputusan menonjol. Dokumen ini dibuka dengan sederhana.
Program Cohn-Elkies dan apa yang dibatasinya. Pembungkusan sfera bertanya betapa padatnya bebola yang tidak bertindih boleh mengisi ruang.
Apa yang telah dicapai oleh rangka kerja ini. Sebelum beralih kepada teorem baharu, wajar dinyatakan secara khusus apa yang telah diberikan oleh rangka kerja pengaturcaraan linear analisis Fourier, kerana keputusan baharu ini sebahagiannya ialah kenyataan…
Teorem utama. Teorem utama dokumen ini membuktikan kadar eksponen yang dikonjekturkan dalam Konjektur 3.1 dan 3.2 kertas kerja 2020 itu.

Himpunan keputusan matematik daripada sebuah model dalaman OpenAI memuktamadkan kekuatan asimptot program linear pembungkusan sfera Cohn-Elkies. Himpunan ini memberikan penambahbaikan pertama kepada eksponen pembungkusan sfera umum sejak 1978, berserta batas bawah yang sepadan dengan tepat.

Apakah himpunan ini, dan mengapa satu keputusan menonjol #

Dokumen ini dibuka dengan sederhana. Ia membentangkan himpunan keputusan yang diperoleh sebuah model dalaman OpenAI, dan menyatakan bahawa keputusan itu merangkumi matematik dan sains komputer teori. Itu ialah keterangan tentang asal usul dan skop, dan ia tidak menyatakan bagaimana model itu digunakan atau bagaimana outputnya disemak. Soalan-soalan itu penting, dan sumber sebagaimana yang diringkaskan di sini membiarkannya tidak berjawab, jadi artikel ini tidak akan berpura-pura sebaliknya. Apa yang disokong oleh dakwaan-dakwaannya ialah senarai keputusan yang dinyatakan, dan senarai itu cukup panjang sehingga soalan yang menarik bukanlah sama ada satu butiran tertentu mengagumkan. Soalannya ialah mengapa salah satunya layak mendapat sebahagian besar perhatian.

Sebabnya, keputusan pembungkusan sfera ialah satu-satunya keputusan dalam himpunan ini yang menutup jurang kuantitatif dalam satu program penyelidikan yang mempunyai sejarah panjang dan bernama. Keputusan lain juga menonjol dengan sendirinya. Satu kumpulan bukan sofik yang eksplisit menjawab soalan yang lama terbuka. Sangkalan terhadap konjektur Connes memuktamadkan sesuatu yang dicadangkan oleh seorang ahli matematik terkenal. Tetapi keputusan pembungkusan sfera terletak di hujung satu rantaian yang bermula daripada rangka kerja analisis Fourier, melalui dua penyelesaian tepat yang terkenal dalam dimensi tertentu, hingga kepada satu soalan tentang dimensi tinggi yang terbuka selama bertahun-tahun. Memahaminya bermakna memahami rantaian itu.

Oleh itu sebahagian besar huraian berikut membincangkan program linear Cohn-Elkies: apakah ia, apa yang sudah diketahui tentangnya, apa yang dinyatakan oleh teorem baharu, dan bagaimana sisi ketidakpastian tanda dalam hujahnya disusun. Bahagian yang lebih pendek kemudian meninjau keputusan lain dalam himpunan ini, setiap satu sebagaimana yang dinyatakan dan tidak lebih.

Program Cohn-Elkies dan apa yang dibatasinya #

Pembungkusan sfera bertanya betapa padatnya bebola yang tidak bertindih boleh mengisi ruang. Dokumen ini menetapkan tatatanda untuknya. Bagi pusat yang dipisahkan sekurang-kurangnya sejauh 1, ∆d ialah supremum ketumpatan atas bagi bebola berjejari 1/2 dalam Rd. Dengan kata lain, ∆d menandakan ketumpatan pembungkusan sfera maksimum dalam Rd. Segala-galanya dalam bab pertama himpunan ini diukur berbanding kuantiti itu.

Program Cohn-Elkies memberikan batas atas bagi ∆d. Output optimumnya ditulis sebagai LPd, ditakrifkan sebagai batas ketumpatan optimum yang diberikan oleh program. Mekanismenya ialah batas Gorbachev-Cohn-Elkies, yang memberikan kepada setiap f dalam kelas bernama Ad batas atas ketumpatan vd f(0)/(2d f̂(0)). Dengan kata-kata: anda memilih fungsi bantu f daripada kelas yang dibenarkan, mengira nilainya di asalan dan nilai jelmaan Fouriernya di asalan, membentuk nisbah itu bersama faktor isi padu dan skala, dan hasilnya membatasi ketumpatan pembungkusan dari atas. Program linear mencari f yang menjadikan batas ini sekecil mungkin.

Ini ialah rangka kerja di mana seluruh kesukarannya terletak pada memilih f dengan baik. Fungsi yang dipilih dengan bijak memberikan batas yang ketat, dan fungsi yang dipilih dengan buruk memberikan batas lemah yang masih sah. Itulah sebabnya batas bawah yang sepadan dalam keputusan baharu ini sangat penting. Ia bercakap tentang semua fungsi yang dibenarkan sekaligus, dan menukar pencarian fungsi yang lebih baik kepada soalan yang sudah tertutup.

Apa yang telah dicapai oleh rangka kerja ini #

Sebelum beralih kepada teorem baharu, wajar dinyatakan secara khusus apa yang telah diberikan oleh rangka kerja pengaturcaraan linear analisis Fourier, kerana keputusan baharu ini sebahagiannya ialah kenyataan tentang sejauh mana lagi ia boleh pergi.

Viazovska menggunakan rangka kerja ini untuk membuktikan bahawa kekisi E8 memberikan pembungkusan optimum dalam dimensi lapan. Cohn, Kumar, Miller, Radchenko dan Viazovska kemudian membuktikan keoptimuman kekisi Leech dalam dimensi dua puluh empat. Itu ialah keputusan tepat dalam dimensi tunggal, dan itulah sebab rangka kerja ini mempunyai reputasi yang melangkaui peranannya sebagai alat pembatas. Dalam dua dimensi tertentu, ia tepat mengena jawapan sebenar.

Gambaran dalam dimensi tinggi lebih kabur. Cohn dan Zhao membuktikan bahawa program linear sentiasa sekurang-kurangnya sekuat batas kod sfera Kabatianskii-Levenshtein. Itu jaminan yang berguna, kerana batas Kabatianskii-Levenshtein merupakan eksponen umum terbaik yang diketahui. Tetapi “sekurang-kurangnya sekuat” membiarkan dua kemungkinan terbuka: program itu mungkin sama tepat dengan eksponen itu, atau mungkin mengatasinya. Dokumen ini menyatakan akibatnya secara langsung. Sama ada program linear menambah baik eksponen pembungkusan sfera klasik dalam dimensi tinggi masih kekal terbuka.

Afkhami-Jeddi, Cohn, Hartman, de Laat dan Tajdini mengemukakan konjektur tentang kadar program linear dalam dimensi tinggi. Konjektur itu ialah kenyataan yang berhati-hati, dan sumber memperlakukannya sedemikian. Ia hanyalah konjektur, disokong oleh apa jua bukti yang dimiliki oleh penulisnya, dan tiada siapa yang telah membuktikannya. Keputusan baharu ini mengubah statusnya.

Teorem utama #

Teorem utama dokumen ini membuktikan kadar eksponen yang dikonjekturkan dalam Konjektur 3.1 dan 3.2 kertas kerja 2020 itu. Dinyatakan pada tahap yang disokong oleh dakwaannya: para penulis menentukan kadar susutan eksponen yang tepat bagi program linear pembungkusan sfera Cohn-Elkies. Kekuatan asimptot program itu, dalam kata-kata sumber, ditentukan dengan tepat.

Dua akibat terhasil secara langsung daripada sumber. Yang pertama ialah batas pembungkusan umum yang lebih baik dalam dimensi tinggi. Yang kedua ialah masalah ketidakpastian tanda Fourier yang sepadan diselesaikan secara asimptot. Itu ialah akibat yang berlainan jenis. Satu tentang geometri dan satu lagi tentang analisis, dan hakikat bahawa satu teorem menghasilkan kedua-duanya ialah petunjuk pertama bahawa masalah pembungkusan sfera dan masalah ketidakpastian ialah dua wajah bagi struktur yang sama.

Sumber juga meletakkan pencapaian ini dalam konteks sejarah. Ia menyifatkan keputusan ini sebagai penambahbaikan pertama sejak 1978 kepada eksponen pembungkusan sfera umum. Eksponen Kabatianskii-Levenshtein klasik ialah 0.59905576..., dan angka itu telah menjadi penanda aras. Dokumen mencatat bahawa penghalusan kod sfera selepasnya hanya menambah baik faktor peringkat rendah. Dengan kata lain, bagi eksponen itu sendiri, iaitu kuantiti peringkat utama, tiada apa-apa yang berganjak.

Saya berpendapat bahawa kerangka inilah yang betul untuk menilai keputusan ini. Penambahbaikan peringkat rendah mengubah suai pemalar dan faktor polinomial sambil membiarkan kadar eksponen di tempatnya. Penambahbaikan eksponen mengubah kadarnya. Dakwaan-dakwaannya menyokong tepat pembezaan itu, dan menyokong kenyataan bahawa penghalusan terdahulu berada di sisi peringkat rendah.

Dimensi / Rangka Kerja	Garis Dasar Klasik (1978)	Program Linear Cohn-Elkies	Bukti Baharu Model
Eksponen Pembungkusan Sfera	Batas Kabatianskii-Levenshtein: 0.59905576...	Sekurang-kurangnya sekuat batas kod sfera (Cohn-Zhao)	Kadar asimptot tepat yang dikonjekturkan oleh Afkhami-Jeddi et al. (2020) dibuktikan
Kemuktamadan Batas	Hanya penghalusan faktor peringkat rendah	Soalan terbuka tentang jurang asimptot dimensi tinggi	Batas bawah sepadan yang tepat: tiada fungsi bantu boleh mengatasi kadar ini
Ketidakpastian Tanda Fourier	Batas tanda berasingan ($A^+(d) < A^-(d)$)	Dikaitkan dengan fungsi ujian anti-swadual Fourier	Diselesaikan secara asimptot; ketidakpastian tanda ditentukan oleh pantulan Mellin
Kod Pembetulan Ralat	Batas kod sfera dan binari klasik	Secara asimptot berkait dengan batas pembungkusan	Penambahbaikan faktor eksponen bagi semua parameter jarak tetap
Siling Metodologi	Pengoptimuman berangka faktor polinomial	Pengoptimuman terbuka fungsi ujian bantu $f \in \mathcal{A}_d$	Siling matematik dibuktikan: keuntungan selanjutnya memerlukan kaedah bukan Cohn-Elkies

Mengapa batas bawah yang sepadan mengubah persoalannya #

Penambahbaikan batas atas sahaja sudah merupakan berita baik. Apa yang menjadikan keputusan ini luar biasa muktamad ialah separuh keduanya. Batas bawah yang sepadan menunjukkan bahawa tiada fungsi bantu Cohn-Elkies yang boleh menambah baik eksponen ini.

Fikirkan apa kesannya kepada program penyelidikan. Sebelum keputusan ini, seorang penyelidik yang mempunyai idea lebih baik untuk membina fungsi bantu mempunyai laluan yang munasabah ke arah eksponen pembungkusan sfera yang lebih baik lagi. Selepasnya, laluan itu tertutup pada peringkat eksponen. Sebarang kemajuan lanjut bagi eksponen mesti datang dari luar rangka kerja Cohn-Elkies, kerana di dalamnya kadar itu kini tepat.

Saya tidak mahu membesar-besarkan perkara ini. Dakwaannya tidak menyatakan bahawa eksponen baharu ialah eksponen pembungkusan sfera yang sebenar, dan tidak menyatakan bahawa pembungkusan sfera itu sendiri tidak boleh menjadi lebih baik. Kenyataannya berkenaan program linear: eksponennya telah dipastikan, dan ia tidak boleh diatasi dengan menukar fungsi bantu. Sama ada teknik lain boleh mengatasinya ialah soalan yang tidak disentuh oleh dakwaan itu. Itu ialah sempadan yang jelas, dan jenis sempadan yang memberitahu sesuatu bidang ke mana harus mencari seterusnya.

Terdapat juga bacaan berorientasikan perniagaan bagi pembaca yang mengambil berat tentang ke mana usaha disalurkan. Siling yang diketahui tepat bagi sesuatu kaedah ialah maklumat yang berguna. Ia memberitahu anda supaya berhenti mengoptimumkan di dalam kaedah itu. Bagi sesiapa yang memperuntukkan masa penyelidikan, peralihan daripada “ini mungkin bertambah baik” kepada “ini tidak boleh bertambah baik” bernilai sama seperti keputusan positif yang sederhana.

Kod sfera dan kod binari #

Himpunan ini tidak berhenti pada pembungkusan. Batas atas klasik bagi kod binari dan kod sfera berjarak tetap ditambah baik dengan faktor eksponen bagi semua parameter. Ayat itu membawa pengkuantiti yang kuat. Penambahbaikannya dengan faktor eksponen, dan ia berlaku bagi semua parameter, iaitu kenyataan yang lebih luas daripada penambahbaikan dalam rejim yang menguntungkan.

Terdapat juga kaitan kembali kepada Bab 1. Pembinaan kod sfera juga memperoleh semula eksponen pembungkusan sfera daripada Bab 1. Jadi kedua-dua benang bersambung: pembinaan di sisi kod menghasilkan semula eksponen di sisi pembungkusan. Dakwaannya tidak menjelaskan mekanisme pemerolehan semula itu, dan saya tidak akan mereka-rekanya. Apa yang mereka tetapkan ialah hubungan itu berjalan ke arah ini, dengan pembinaan sfera menghasilkan eksponen yang sama seperti bab pembungkusan.

Wajar diingat mengapa kaitan ini penting memandangkan sejarah di atas. Batas kod sfera Kabatianskii-Levenshtein ialah titik perbandingan bagi program linear, dan teorem Cohn dan Zhao menyatakan bahawa program itu sentiasa sekurang-kurangnya sekuat itu. Keputusan baharu menambah baik batas kod serta batas pembungkusan, dan melakukannya daripada pembinaan yang kembali kepada eksponen pembungkusan. Kedua-dua sisi digerakkan bersama.

Masalah ketidakpastian tanda #

Akibat kedua teorem utama berkenaan ketidakpastian tanda Fourier, dan dokumen ini memberikan takrifan yang mencukupi untuk melakar bentuknya.

Bagi fungsi g, r(g) ditakrifkan sebagai infimum bagi R ≥ 0 sedemikian sehingga g(x) ≥ 0 untuk |x| ≥ R. Secara mudah, r(g) ialah jejari yang di luarnya g tidak negatif di mana-mana. Apabila tiada jejari sedemikian, r(g) = ∞. Masalah ketidakpastian bertanya betapa kecil jejari ini boleh dijadikan bagi fungsi yang mempunyai hubungan tertentu dengan jelmaan Fourier mereka sendiri.

Hubungan itu ialah satu tanda. Syarat ĝ = ςg mengaitkan sesuatu fungsi dengan jelmaan Fouriernya sehingga tanda. Tanda +1 dan −1 masing-masing memberikan masalah ketidakpastian asal dan pelengkap. Cohn dan Gonçalves memperkenalkan padanan anti-swadual Fourier, iaitu masalah pelengkap, dan mengaitkannya dengan pembungkusan sfera. Kaitan itulah jambatan yang membolehkan keputusan pembungkusan sfera menyelesaikan masalah ketidakpastian secara asimptot.

Masalah pelengkap bukanlah sekadar keanehan analisis tulen. Dalam bootstrap modular tanpa spin, antisimetri-S modular menghasilkan fungsi ujian anti-swadual Fourier yang tanda akhirnya mengawal jurang spektrum. Sumber memetik Hartman, Mazáč dan Rastelli serta kertas kerja Afkhami-Jeddi et al. untuk perkara ini. Jadi soalan yang bermula sebagai kenyataan tentang fungsi dan jelmaannya juga muncul dalam latar yang berbunyi fizikal, iaitu jurang spektrum. Dakwaannya tidak pergi lebih jauh daripada mekanisme satu baris itu, dan saya juga tidak, tetapi ini peringatan bahawa masalah ketidakpastian mempunyai saudara di luar pembungkusan sfera.

Lampiran A menambah perbandingan antara kedua-dua masalah. Ia mencatat bahawa A+(d) < A−(d) bagi semua d. Itu kenyataan bahawa kedua-dua masalah berbeza dalam setiap dimensi, dengan kuantiti pertama lebih kecil secara ketat daripada yang kedua. Dakwaannya tidak memberikan tafsiran lanjut, dan ketaksamaan ini wajar dicatat semata-mata kerana ia berlaku bagi semua d tanpa pengecualian.

Di dalam hujah: purata, lenyap dan anggaran jisim #

Dokumen ini mengandungi beberapa kenyataan teknikal yang memberi gambaran tentang bagaimana analisis ketidakpastian dibina. Itu hanyalah serpihan, dan saya akan membentangkannya sebagai serpihan, tetapi bersama-sama mereka melakar satu kaedah.

Mulakan dengan simetri. Purata putaran ditakrifkan menggunakan ukuran Haar ternormal pada O(d). Mempuratakan fungsi atas putaran menghasilkan fungsi jejarian, dan tujuannya ialah memudahkan masalah tanpa melanggar kekangan. Sumber menyatakan bahawa purata putaran mengekalkan setiap syarat tanda dalam senarai kekangan masalah, yang dilabel (2). Ia menambah bahawa jika ĝ = ςg, maka r(Rg) ≤ r(g), dengan Rg ialah purata putaran bagi g. Jadi purata tidak pernah memburukkan jejari tanda. Selain itu, dalam ungkapan sumber, Rg ≠ 0 apabila g ≠ 0 akhirnya tidak negatif, maka purata tidak memusnahkan fungsi yang mempunyai kelakuan tanda yang betul pada jarak jauh.

Ketiga-tiga fakta itu bersama-sama mewajarkan penurunan kepada fungsi jejarian. Penurunan itu tidak mengorbankan apa-apa pada jejari, mengekalkan syarat tanda, dan tidak meruntuhkan fungsi kepada sifar. Itulah bentuk hujah simetri yang standard, dan dakwaannya mengesahkan setiap ramuannya.

Seterusnya, asalan. Fungsi g = h − ĥ lenyap di asalan. Ini jenis fakta kecil yang melakukan kerja besar dalam sesuatu bukti, kerana batas Cohn-Elkies melibatkan nilai di asalan secara langsung, dan fungsi yang lenyap di situ berkelakuan berbeza daripada yang tidak. Langkah pembetulan yang berkaitan juga dicatat: fungsi yang dibetulkan gn memenuhi gn(0) = 0 dan gn → g dalam L1. Jadi jujukan fungsi yang dibetulkan, setiap satunya lenyap di asalan, menumpu kepada g dalam erti L1. Itu membolehkan hujah bekerja dengan fungsi yang memenuhi syarat asalan dengan tepat sambil masih menghampiri sasaran.

Kemudian terdapat kekangan kuantitatif. Anggaran jisim memaksa 1/a ≥ (1/π − o(1))√d. Dakwaannya tidak mentakrifkan a, jadi saya tidak dapat mengatakan apa yang diukurnya, dan saya tidak akan meneka. Apa yang boleh dikatakan ialah bentuk kesimpulannya: batas bawah bagi 1/a yang bertambah seperti punca kuasa dua dimensi, dengan pemalar 1/π dan pembetulan yang lenyap. Skala punca kuasa dua dimensi kelihatan saiz yang wajar bagi geometri dimensi tinggi, tetapi itu pemerhatian saya tentang bentuk ungkapan itu, dan dakwaannya tidak menegaskannya sebagai mekanisme.

Gambaran Mellin #

Satu lagi bahagian kotak alatan muncul dalam dokumen ini, dan inilah yang paling jelas menerangkan mengapa analisis Fourier jejarian boleh ditangani di sini. Selepas jelmaan Mellin, jelmaan Fourier jejarian memantulkan pemboleh ubah Mellin. Itu kenyataan ringkas tentang cara sesuatu jelmaan bertindak. Jelmaan Fourier bagi fungsi jejarian, yang biasanya ialah pengendali kamiran dan sukar ditaakul secara langsung, menjadi pantulan dalam pemboleh ubah Mellin. Pantulan ialah antara pengendali yang paling mudah.

Petikan yang sama mencatat syarat analisis di sisi lain. Susutan Schwartz bagi g memberikan susutan pantas Φg apabila v → +∞. Di sini Φg ialah objek yang diperoleh dalam analisis Mellin, dan v ialah pemboleh ubahnya. Pasangan ini memberi pengajaran: sifat pantulan menangani struktur, dan susutan Schwartz menangani kawalan di infiniti. Bukti dalam gaya ini memerlukan kedua-duanya, kerana struktur tanpa susutan meninggalkan kamiran yang mungkin tidak menumpu, dan susutan tanpa struktur tidak meninggalkan apa-apa untuk dikira.

Dokumen ini juga mencatat bahawa Sd ialah luas sfera unit, yang masuk sebagai faktor penormalan apabila kamiran jejarian ditukar antara sfera dan garis. Itu perkara takrifan, dan jenis pembukuan yang menentukan sama ada pemalar dalam batas akhir keluar dengan betul.

Saya mahu jelas tentang apakah serpihan-serpihan ini. Ia bukan buktinya. Dakwaannya memberikan kenyataan, bukan terbitan, dan tiada pembaca yang patut membina semula hujah penuh daripadanya. Apa yang ditunjukkan ialah analisis itu menggabungkan penurunan simetri, syarat asalan, anggaran jisim kuantitatif, dan jelmaan yang tindakannya menjadi mudah selepas perubahan pemboleh ubah. Gabungan itu lazim bagi masalah ekstrem analisis Fourier, dan ini menjadikan ketepatan keputusan akhir lebih, bukan kurang, ketara. Alat yang kelihatan standard sudah memadai untuk mencapai jawapan yang tajam.

Bahagian lain himpunan ini #

Bab pembungkusan sfera hanyalah satu bahagian dokumen ini, dan keputusan selebihnya layak diberikan penjelasan yang adil. Setiap satu dinyatakan di sini tepat seperti yang diberikan oleh dakwaannya.

Dalam teori kumpulan, satu kumpulan bukan sofik yang eksplisit dibina, menjawab soalan lama sama ada setiap kumpulan terbilang adalah sofik. Buktinya menggabungkan kerja Kun dan Kun-Thom dengan hujah padanan pengembang kombinatorik, yang direalisasikan menggunakan aljabar Leavitt binari dan kumpulan V Thompson. Perkataan “eksplisit” membawa berat di sini: keputusannya ialah satu pembinaan dan bukan hujah kewujudan.

Dalam aljabar pengendali, tak terhingga banyak kumpulan dengan sifat (T) yang tidak isomorfik secara berpasangan dibina dengan aljabar von Neumann kumpulan yang sama. Ini menyangkal konjektur Connes dan menjawab soalan berkaitan daripada Popa tentang sifat terhingga-ke-satu. Dua soalan bernama tumbang oleh satu pembinaan.

Dalam kekompleksan aritmetik, dokumen ini memberikan batas bawah bagi permanen. Litar tanpa pembahagian memerlukan Ω(n² log log n) get, manakala formula memerlukan Ω(n⁴ / log n) daun. Itu dua batas bagi dua model pengiraan, dan dokumen menyatakannya bersebelahan.

Dalam maklumat kuantum, ulangan selari eksponen dibuktikan bagi setiap permainan terjerat dua pemain yang terhingga. Sumber menyatakan bahawa ini meluaskan prinsip ulangan klasik melangkaui kelas khusus permainan kuantum yang dikaji sebelum ini. Pengkuantitinya sekali lagi menonjol: setiap permainan terjerat dua pemain yang terhingga, tanpa sekatan kepada kelas khusus.

Dalam kesukaran penghampiran, penurunan langsung daripada 3SAT memberikan kesukaran berfaktor n^(1/400) bagi masalah vektor terdekat Euclid, dengan akibat berkaitan bagi penyahkodan binari dan norma kekisi lain. Eksponen 1/400 itu kecil, dan saya lebih suka melaporkannya seperti yang ditulis daripada menghiasnya. Dakwaannya menyebut penurunan itu langsung dan melampirkan akibat bagi penyahkodan binari dan norma lain.

Dalam geometri cembung, batas atas isi padu yang tajam (n + 1)^n / n! dibuktikan dalam setiap dimensi bagi jasad cembung yang pusat jisimnya ialah satu-satunya titik kekisi pedalaman. Ketajaman dan keumuman dalam semua dimensi kedua-duanya sebahagian daripada dakwaan.

Dalam teori Ramsey, batas bawah supereksponen yang baharu menunjukkan bahawa Rk(3) bertambah sebagai k^Θ(k). Dan dalam teori graf ekstrem, pembinaan graf dwipartit yang berasingan menyangkal dua konjektur: konjektur kekompakan Erdős dan Simonovits serta satu konjektur kemerosotan daripada Erdős.

Membaca himpunan ini secara keseluruhan #

Mudah untuk menganggap senarai ini sebagai almari piala, jadi wajar dinyatakan apa yang boleh dan tidak boleh disimpulkan daripadanya.

Apa yang boleh dikatakan ialah dokumen ini melaporkan keputusan dalam sekurang-kurangnya lapan bidang, bahawa beberapa daripadanya disifatkan sebagai menjawab atau menyangkal konjektur bernama, dan bahawa bab pembungkusan sfera disertai batas bawah sepadan yang menjadikan keputusannya muktamad dalam rangka kerjanya. Konjektur yang terlibat membawa nama Connes, Popa, Erdős dan Simonovits, dan kadar pembungkusan sfera dikonjekturkan oleh Afkhami-Jeddi, Cohn, Hartman, de Laat dan Tajdini. Keputusan yang memuktamadkan soalan bernama mudah dinilai kerana soalan itu diajukan sebelum jawapannya wujud.

Apa yang tidak boleh dikatakan, berdasarkan dakwaan ini sahaja, ialah apa-apa tentang cara model itu berfungsi, berapa banyak percubaan yang diperlukannya, bagaimana outputnya disahkan, atau bagaimana ia dibandingkan dengan usaha manusia. Sumber menyatakan bahawa keputusan itu diperoleh oleh sebuah model dalaman OpenAI, dan dakwaannya berhenti di situ. Pembaca yang ingin menimbang kepentingan himpunan ini sebagai bukti tentang matematik mesin memerlukan maklumat yang tidak terkandung dalam dakwaan itu. Saya akan menahan godaan untuk mengisi jurang itu dengan naratif yang kedengaran munasabah.

Walau bagaimanapun, ada pendirian yang wajar diambil. Keputusannya pelbagai dari segi teknik: kumpulan bukan sofik menggunakan aljabar Leavitt binari dan kumpulan V Thompson, keputusan pembungkusan sfera menggunakan analisis Fourier dan jelmaan Mellin, dan kesukaran vektor terdekat menggunakan penurunan daripada 3SAT. Himpunan yang merangkumi wilayah teknikal seluas itu bukanlah hasil satu helah yang digunakan berulang kali. Apa jua yang menghasilkan keputusan ini bekerja dalam beberapa dialek matematik, dan dakwaannya sekurang-kurangnya menyokong perkara itu.

Maksudnya Mengikut Sektor #

Penentuan tepat kadar susutan Cohn-Elkies dalam dimensi tinggi dan keputusan matematik yang mengiringinya mempengaruhi beberapa bidang pengkomputeran teori dan gunaan.

Matematik tulen dan geometri diskret #

Bagi ahli matematik yang bekerja dalam geometri dimensi tinggi dan analisis harmonik, penentuan kadar susutan Cohn-Elkies yang tepat mengubah landskap penyelidikan. Oleh sebab batas bawah yang sepadan membuktikan bahawa tiada fungsi bantu dalam $\mathcal{A}_d$ boleh mengatasi eksponen baharu, penyelidik boleh berhenti mencari fungsi ujian jejarian yang lebih baik dalam rangka kerja pengaturcaraan linear klasik. Kemajuan ke arah pembungkusan sfera yang lebih padat atau batas sejagat yang lebih ketat kini mesti meneroka teknik pengaturcaraan tak linear, hierarki separa tentu peringkat lebih tinggi, atau pembinaan geometri yang berbeza sama sekali.

Kriptografi dan keselamatan berasaskan kekisi #

Kriptografi berasaskan kekisi, yang menjadi teras piawaian pascakuantum seperti ML-KEM dan ML-DSA, sangat bergantung pada andaian kesukaran mencari vektor terpendek atau terdekat dalam kekisi Euclid berdimensi tinggi. Penurunan langsung daripada 3SAT yang menetapkan kesukaran berfaktor $n^{1/400}$ bagi Masalah Vektor Terdekat (CVP) Euclid, digabungkan dengan siling eksponen yang lebih ketat bagi pembungkusan sfera dan kod sfera, mengukuhkan asas teori di sebalik penurunan kekisi kes terburuk kepada kes purata tanpa melemahkan parameter keselamatan konkrit.

Pembuktian teorem automatik dan model asas #

Bagi pasukan penyelidikan yang membangunkan sistem penaakulan dan pembukti teorem automatik, keluasan dan kedalaman teknikal himpunan ini menyediakan penanda aras yang menonjol. Daripada menghasilkan variasi sintetik bukti yang diketahui, model dalaman itu menangani masalah terbuka yang merangkumi teori kumpulan (membina kumpulan bukan sofik yang eksplisit melalui kumpulan V Thompson), aljabar pengendali (menyangkal konjektur Connes), dan kekompleksan aritmetik (batas bawah permanen). Ini menunjukkan bahawa seni bina neural boleh mengemudi analisis Fourier yang mendalam dan padanan kombinatorik, dengan syarat pengesahan dan semakan bukti kekal teliti.

Kesimpulan #

Penentuan kadar susutan tepat bagi program linear pembungkusan sfera Cohn-Elkies menutup satu bab penting dalam analisis geometri. Dengan membuktikan konjektur 2020 oleh Afkhami-Jeddi, Cohn, Hartman, de Laat dan Tajdini serta menghasilkan penambahbaikan pertama kepada eksponen pembungkusan sfera umum sejak 1978, kerja ini menegakkan asas matematik yang kukuh. Dengan batas bawah sepadan yang mengesahkan bahawa tiada fungsi bantu Cohn-Elkies boleh memberikan keuntungan eksponen lanjut, teorem ini sekaligus memuktamadkan kekuatan asimptot program linear dan mengarahkan masa depan geometri dimensi tinggi ke arah ufuk analisis yang benar-benar baharu.

Soalan Lazim #

Apakah kepentingan batas Kabatianskii-Levenshtein?

Ditetapkan pada tahun 1978, batas Kabatianskii-Levenshtein memberikan eksponen batas atas asimptot sebanyak 0.59905576... bagi ketumpatan pembungkusan sfera dalam dimensi tinggi. Selama lebih empat dekad, penghalusan selepasnya hanya menambah baik faktor aljabar peringkat rendah, membiarkan kadar eksponen utama tidak tersentuh sehingga keputusan ini.

Mengapakah batas bawah yang sepadan begitu kritikal?

Batas atas sahaja menunjukkan apa yang dicapai oleh program linear, tetapi batas bawah yang sepadan membuktikan bahawa tiada pilihan fungsi bantu f dalam kelas yang dibenarkan Cohn-Elkies A(d) boleh menghasilkan eksponen yang lebih kecil. Ini menetapkan siling mutlak bagi rangka kerja pengaturcaraan linear itu sendiri.

Bagaimanakah masalah ketidakpastian tanda Fourier berkaitan dengan pembungkusan sfera?

Cohn dan Gonçalves menunjukkan bahawa masalah ketidakpastian tanda Fourier pelengkap (dengan g_hat = -g) berkait rapat dengan batas pembungkusan sfera. Melalui purata putaran dan pantulan jelmaan Mellin, penyelesaian asimptot program Cohn-Elkies secara langsung menyelesaikan masalah ketidakpastian tanda Fourier.

Adakah keputusan ini menjejaskan kriptografi berasaskan kekisi?

Tidak. Walaupun teorem ini menajamkan batas atas tentang betapa padatnya sfera boleh dibungkus dalam dimensi tinggi dan menetapkan kesukaran berfaktor $n^{1/400}$ bagi Masalah Vektor Terdekat, ia tidak menyediakan algoritma penurunan kekisi masa polinomial. Sistem kripto kekisi praktikal kekal selamat daripada serangan kuantum dan klasik yang diketahui.

Rujukan #

Nima Afkhami-Jeddi et al., (2020). Pembungkusan sfera berdimensi tinggi dan bootstrap modular ⧉. Journal of High Energy Physics.
Henry Cohn and Noam Elkies, (2003). Batas atas baharu bagi pembungkusan sfera I ⧉. Annals of Mathematics.
Henry Cohn and Felipe Gonçalves, (2019). Prinsip ketidakpastian optimum dalam analisis Fourier ⧉. PNAS.
Henry Cohn and Yufei Zhao, (2014). Batas pembungkusan sfera melalui kod sfera ⧉. Duke Mathematical Journal.
G. A. Kabatianskii and V. I. Levenshtein, (1978). Batas bagi pembungkusan pada sfera dan dalam ruang ⧉. Problems of Information Transmission.
Maryna S. Viazovska, (2017). Masalah pembungkusan sfera dalam dimensi 8 ⧉. Annals of Mathematics.

Semakan terakhir 2026-10-05.

Semakan terakhir 2026-10-27.

Terbit semula artikel ini

Model OpenAI menentukan kadar susutan tepat batas Cohn-Elkies — Sebastien Rousseau

Model dalaman OpenAI menentukan kadar susutan tepat program linear Cohn-Elkies: penambahbaikan pertama eksponen pembungkusan sfera umum sejak 1978.

Artikel ini dilesenkan di bawah Creative Commons Attribution 4.0 International. Penerbitan semula memerlukan atribusi kepada URL kanonik.

Model OpenAI menentukan kadar susutan tepat batas Cohn-Elkies — Sebastien Rousseau

Model dalaman OpenAI menentukan kadar susutan tepat program linear Cohn-Elkies: penambahbaikan pertama eksponen pembungkusan sfera umum sejak 1978.

Originally published at https://sebastienrousseau.com/ms/2026-10-05-model-openai-menentukan-kadar-susutan-tepat/ by Sebastien Rousseau.
Licensed under CC-BY-4.0.

SEBASTIEN ROUSSEAU FOUNDER · ENGINEER