OpenAI के एक आंतरिक मॉडल से मिले गणितीय परिणामों का एक संग्रह Cohn-Elkies स्फीयर-पैकिंग लीनियर प्रोग्राम की अनंतस्पर्शी क्षमता को तय कर देता है। यह 1978 के बाद सामान्य स्फीयर-पैकिंग घातांक में पहला सुधार देता है, और साथ में एक सटीक मेल खाती निम्न सीमा भी।
संग्रह क्या है, और एक परिणाम क्यों अलग दिखता है #
दस्तावेज़ विनम्रता से शुरू होता है। यह OpenAI के एक आंतरिक मॉडल से प्राप्त परिणामों का संग्रह प्रस्तुत करता है, और कहता है कि वे गणित और सैद्धांतिक कंप्यूटर विज्ञान तक फैले हैं। यह स्रोत और दायरे का विवरण है, और इसमें यह नहीं बताया गया कि मॉडल का उपयोग कैसे हुआ या उसके आउटपुट की जाँच कैसे की गई। ये प्रश्न मायने रखते हैं, और यहाँ सारांशित स्रोत उन्हें अनुत्तरित छोड़ता है, इसलिए यह लेख कुछ और होने का दिखावा नहीं करेगा। दावे जिस बात का समर्थन करते हैं, वह बताए गए परिणामों की एक सूची है, और सूची इतनी लंबी है कि दिलचस्प प्रश्न यह नहीं रह जाता कि कोई एक मद प्रभावशाली है या नहीं। प्रश्न यह है कि उनमें से एक को सबसे ज़्यादा ध्यान क्यों मिलना चाहिए।
कारण यह है कि स्फीयर-पैकिंग परिणाम संग्रह में अकेला ऐसा परिणाम है जो लंबे, नामित इतिहास वाले किसी कार्यक्रम में मात्रात्मक अंतर को बंद करता है। बाकी परिणाम भी अपने आप में उल्लेखनीय हैं। एक स्पष्ट nonsofic समूह एक पुराने प्रश्न का उत्तर देता है। Connes के अनुमान का खंडन उस बात को तय करता है जो एक नामी गणितज्ञ ने प्रस्तावित की थी। पर स्फीयर-पैकिंग परिणाम एक ऐसी शृंखला के अंत में बैठता है जो एक Fourier-विश्लेषणात्मक ढाँचे से शुरू होकर, अलग-अलग आयामों में दो प्रसिद्ध सटीक हलों से गुज़रते हुए, उच्च आयामों के बारे में एक ऐसे प्रश्न तक जाती है जो वर्षों तक खुला रहा। इसे समझने का अर्थ है उस शृंखला को समझना।
इसलिए आगे का अधिकांश हिस्सा Cohn-Elkies लीनियर प्रोग्राम के बारे में है: यह क्या है, इसके बारे में क्या ज्ञात था, नया प्रमेय क्या कहता है, और तर्क का चिह्न-अनिश्चितता वाला पक्ष कैसे रचा गया है। उसके बाद एक छोटा खंड संग्रह के बाकी परिणामों का सर्वेक्षण करता है, हर एक को जैसा बताया गया है वैसा ही, उससे आगे नहीं।
Cohn-Elkies प्रोग्राम और वह क्या सीमित करता है #
स्फीयर पैकिंग पूछती है कि एक-दूसरे पर न चढ़ने वाली गेंदें स्थान को कितनी घनी तरह से भर सकती हैं। दस्तावेज़ इसके लिए संकेतन तय करता है। कम से कम 1 की दूरी पर स्थित केंद्रों के लिए, ∆d Rd में त्रिज्या-1/2 वाली गेंदों के ऊपरी घनत्वों का सर्वोच्च मान है। दूसरे शब्दों में, ∆d Rd में अधिकतम स्फीयर-पैकिंग घनत्व को दर्शाता है। संग्रह के पहले अध्याय में सब कुछ इसी राशि के सापेक्ष मापा गया है।
Cohn-Elkies प्रोग्राम ∆d पर एक ऊपरी सीमा देता है। इसका इष्टतम आउटपुट LPd लिखा जाता है, जिसे प्रोग्राम द्वारा दी गई इष्टतम घनत्व सीमा के रूप में परिभाषित किया गया है। इसकी कार्यविधि Gorbachev–Cohn-Elkies सीमा है, जो Ad नामक वर्ग के हर f को घनत्व की ऊपरी सीमा vd f(0)/(2d f̂(0)) प्रदान करती है। शब्दों में कहें तो, आप स्वीकार्य वर्ग से एक सहायक फलन f चुनते हैं, मूल बिंदु पर उसका मान और मूल बिंदु पर उसके Fourier रूपांतरण का मान निकालते हैं, आयतन और पैमाने के गुणकों के साथ वह अनुपात बनाते हैं, और परिणाम पैकिंग घनत्व को ऊपर से सीमित करता है। लीनियर प्रोग्राम उस f की खोज करता है जो इस सीमा को यथासंभव छोटा बनाए।
यह ऐसा ढाँचा है जिसमें सारी कठिनाई f को अच्छी तरह चुनने में है। चतुराई से चुना गया फलन कसी हुई सीमा देता है, और ख़राब चुना गया फलन एक कमज़ोर सीमा देता है जो फिर भी मान्य होती है। इसीलिए नए परिणाम में मेल खाती निम्न सीमा इतनी अहम है। यह एक साथ हर स्वीकार्य फलन के बारे में बोलती है, और बेहतर फलनों की खोज को एक बंद प्रश्न में बदल देती है।
ढाँचा पहले ही क्या हासिल कर चुका था #
नए प्रमेय पर आने से पहले यह स्पष्ट करना उचित है कि Fourier-विश्लेषणात्मक लीनियर-प्रोग्रामिंग ढाँचा पहले ही क्या दे चुका था, क्योंकि नया परिणाम आंशिक रूप से इस बारे में एक कथन है कि यह कितना और आगे जा सकता है।
Viazovska ने इस ढाँचे का उपयोग करके सिद्ध किया कि आठ आयामों में E8 लैटिस इष्टतम पैकिंग देता है। इसके बाद Cohn, Kumar, Miller, Radchenko और Viazovska ने चौबीस आयामों में Leech लैटिस की इष्टतमता स्थापित की। ये अलग-अलग आयामों में सटीक परिणाम हैं, और इन्हीं के कारण इस ढाँचे की प्रतिष्ठा एक सीमा निकालने वाले उपकरण की भूमिका से आगे है। दो विशिष्ट आयामों में यह सही उत्तर तक पहुँचता है।
उच्च-आयामी तस्वीर धुंधली थी। Cohn और Zhao ने सिद्ध किया कि लीनियर प्रोग्राम हमेशा कम से कम Kabatianskii–Levenshtein गोलीय-कोड सीमा जितना मज़बूत होता है। यह एक उपयोगी गारंटी है, क्योंकि Kabatianskii–Levenshtein सीमा अब तक का सबसे अच्छा ज्ञात सामान्य घातांक थी। पर "कम से कम उतना मज़बूत" दो संभावनाएँ खुली छोड़ देता है: प्रोग्राम उस घातांक के ठीक बराबर हो सकता है, या उसे पार कर सकता है। दस्तावेज़ इसका परिणाम सीधे कहता है। लीनियर प्रोग्राम शास्त्रीय उच्च-आयामी स्फीयर-पैकिंग घातांक को सुधारता है या नहीं, यह प्रश्न खुला बना हुआ था।
Afkhami-Jeddi, Cohn, Hartman, de Laat और Tajdini ने लीनियर प्रोग्राम की उच्च-आयामी दर का अनुमान लगाया था। वह अनुमान एक सशर्त वस्तु है, और स्रोत उसे वैसा ही मानता है। वह एक अनुमान था, जिसके पीछे लेखकों के पास जो भी साक्ष्य थे, और किसी ने उसे सिद्ध नहीं किया था। नया परिणाम उसकी स्थिति बदल देता है।
मुख्य प्रमेय #
दस्तावेज़ का मुख्य प्रमेय उस 2020 के शोधपत्र के अनुमान 3.1 और 3.2 में अनुमानित घातांकीय दर को सिद्ध करता है। दावे जिस स्तर का समर्थन करते हैं, उस स्तर पर कहें तो: लेखक Cohn-Elkies स्फीयर-पैकिंग लीनियर प्रोग्राम की सटीक घातांकीय क्षय दर निर्धारित करते हैं। स्रोत के शब्दों में, प्रोग्राम की अनंतस्पर्शी क्षमता सटीक रूप से निर्धारित है।
स्रोत से सीधे दो परिणाम निकलते हैं। पहला है उच्च आयामों में एक बेहतर सामान्य पैकिंग सीमा। दूसरा यह कि संबंधित Fourier चिह्न-अनिश्चितता समस्या अनंतस्पर्शी रूप से हल हो जाती है। ये अलग-अलग प्रकार के परिणाम हैं। एक ज्यामिति के बारे में है और दूसरा विश्लेषण के बारे में, और यह तथ्य कि एक ही प्रमेय दोनों देता है, पहला संकेत है कि स्फीयर-पैकिंग समस्या और अनिश्चितता समस्या एक ही संरचना के दो चेहरे हैं।
स्रोत इस उपलब्धि को इतिहास के सामने भी रखता है। वह परिणाम को सामान्य स्फीयर-पैकिंग घातांक में 1978 के बाद पहला सुधार बताता है। शास्त्रीय Kabatianskii–Levenshtein घातांक 0.59905576... था, और वही आँकड़ा मानक बना हुआ था। दस्तावेज़ दर्ज करता है कि बाद के गोलीय-कोड परिष्कारों ने केवल निचले क्रम के गुणकों को सुधारा था। दूसरे शब्दों में, स्वयं घातांक के लिए, जो प्रमुख क्रम की राशि है, कुछ भी नहीं हिला था।
मेरा तर्क है कि परिणाम का आकलन करने के लिए यही सही ढाँचा है। निचले क्रम का सुधार स्थिरांकों और बहुपद गुणकों में फेरबदल करता है, जबकि घातांकीय दर को वहीं छोड़ देता है जहाँ वह थी। घातांक का सुधार दर को बदलता है। दावे ठीक इसी भेद का समर्थन करते हैं, और इस कथन का भी कि पिछले परिष्कार इस भेद के निचले क्रम वाले पक्ष में पड़ते थे।
| आयाम / ढाँचा | शास्त्रीय आधार रेखा (1978) | Cohn-Elkies लीनियर प्रोग्राम | नए मॉडल का प्रमाण |
|---|---|---|---|
| स्फीयर-पैकिंग घातांक | Kabatianskii–Levenshtein सीमा: 0.59905576... | कम से कम गोलीय-कोड सीमाओं जितना मज़बूत (Cohn–Zhao) | Afkhami-Jeddi et al. (2020) द्वारा अनुमानित सटीक अनंतस्पर्शी दर सिद्ध |
| सीमा की अंतिमता | केवल निचले क्रम के गुणकों के परिष्कार | अनंतस्पर्शी उच्च-आयामी अंतर पर खुला प्रश्न | सटीक मेल खाती निम्न सीमा: कोई सहायक फलन इस दर को नहीं हरा सकता |
| Fourier चिह्न-अनिश्चितता | अलग चिह्न सीमाएँ ($A^+(d) < A^-(d)$) | anti-self-Fourier परीक्षण फलनों से जुड़ी | अनंतस्पर्शी रूप से हल; चिह्न-अनिश्चितता Mellin परावर्तन से नियंत्रित |
| त्रुटि-सुधार कोड | शास्त्रीय गोलीय और बाइनरी कोड सीमाएँ | पैकिंग सीमाओं से अनंतस्पर्शी रूप से जुड़ी | सभी निश्चित-दूरी प्राचलों के लिए घातांकीय गुणकों का सुधार |
| पद्धतिगत सीमा | बहुपद गुणकों का संख्यात्मक अनुकूलन | सहायक परीक्षण फलनों $f \in \mathcal{A}_d$ का खुला अनुकूलन | गणितीय सीमा सिद्ध: आगे के लाभ के लिए Cohn-Elkies से बाहर की विधियाँ चाहिए |
मेल खाती निम्न सीमा प्रश्न को क्यों बदल देती है #
केवल ऊपरी सीमा का सुधार भी अच्छी ख़बर होता। जो बात इस परिणाम को असामान्य रूप से अंतिम बनाती है, वह दूसरा आधा हिस्सा है। मेल खाती निम्न सीमा दिखाती है कि कोई भी Cohn-Elkies सहायक फलन इस घातांक को नहीं सुधार सकता।
सोचिए कि यह शोध कार्यक्रम के साथ क्या करता है। परिणाम से पहले, सहायक फलन बनाने का बेहतर विचार रखने वाले शोधकर्ता के पास और भी बेहतर स्फीयर-पैकिंग घातांक तक पहुँचने का एक संभावित रास्ता था। इसके बाद, घातांक के स्तर पर वह रास्ता बंद है। घातांक पर कोई भी आगे की प्रगति Cohn-Elkies ढाँचे के बाहर से आनी होगी, क्योंकि उसके भीतर दर अब सटीक है।
मैं इसे बढ़ा-चढ़ाकर नहीं कहना चाहता। दावे यह नहीं कहते कि नया घातांक वास्तविक स्फीयर-पैकिंग घातांक है, और न यह कि स्वयं स्फीयर पैकिंग इससे बेहतर नहीं कर सकती। कथन लीनियर प्रोग्राम के बारे में है: उसका घातांक तय हो गया है, और सहायक फलन बदलकर उसे हराया नहीं जा सकता। कोई अलग तकनीक उसे हरा सकती है या नहीं, यह ऐसा प्रश्न है जिस पर दावे बात नहीं करते। यह एक साफ़ सीमा-रेखा है, और यह उस तरह की सीमा-रेखा है जो किसी क्षेत्र को बताती है कि आगे कहाँ देखना है।
इसकी एक व्यावसायिक दृष्टि वाली व्याख्या भी है, उन पाठकों के लिए जिन्हें इसकी परवाह है कि प्रयास कहाँ लगता है। किसी विधि की ज्ञात-सटीक सीमा उपयोगी जानकारी है। यह बताती है कि उस विधि के भीतर अनुकूलन बंद कर दें। शोध का समय बाँटने वाले किसी भी व्यक्ति के लिए "यह सुधर सकता है" से "यह नहीं सुधर सकता" तक का बदलाव उतना ही मूल्यवान है जितना कोई साधारण सकारात्मक परिणाम।
गोलीय कोड और बाइनरी कोड #
संग्रह पैकिंग पर नहीं रुकता। निश्चित दूरी वाले बाइनरी और गोलीय कोड की शास्त्रीय ऊपरी सीमाएँ सभी प्राचलों के लिए घातांकीय गुणकों से सुधारी गई हैं। उस वाक्य में एक मज़बूत परिमाणक है। सुधार घातांकीय गुणकों से है, और यह सभी प्राचलों के लिए लागू होता है, जो किसी अनुकूल क्षेत्र में सुधार से कहीं व्यापक कथन है।
अध्याय 1 से एक जुड़ाव भी है। गोलीय कोड की रचना अध्याय 1 के स्फीयर-पैकिंग घातांक को भी फिर से प्राप्त करती है। इस तरह दोनों धागे जुड़ते हैं: कोड वाली रचना पैकिंग वाले घातांक को दोहराती है। दावे उस पुनर्प्राप्ति की कार्यविधि नहीं बताते, और मैं कोई कार्यविधि नहीं गढ़ूँगा। वे जो स्थापित करते हैं, वह यह है कि संबंध इसी दिशा में चलता है, और गोलीय रचना वही घातांक देती है जो पैकिंग वाला अध्याय।
ऊपर के इतिहास को देखते हुए यह याद करना उचित है कि यह जुड़ाव क्यों मायने रखता है। Kabatianskii–Levenshtein गोलीय-कोड सीमा लीनियर प्रोग्राम के लिए तुलना का बिंदु थी, और Cohn और Zhao का प्रमेय कहता था कि प्रोग्राम हमेशा कम से कम उतना मज़बूत है। नए परिणाम पैकिंग सीमाओं के साथ-साथ कोड सीमाओं को भी सुधारते हैं, और ऐसा एक ऐसी रचना से करते हैं जो वापस पैकिंग घातांक तक पहुँचती है। दोनों पक्ष साथ-साथ आगे बढ़ाए जा रहे हैं।
चिह्न-अनिश्चितता की समस्या #
मुख्य प्रमेय का दूसरा परिणाम Fourier चिह्न-अनिश्चितता से संबंधित है, और दस्तावेज़ इसकी रूपरेखा खींचने लायक परिभाषाएँ देता है।
किसी फलन g के लिए, r(g) को R ≥ 0 के उस निम्नतम मान के रूप में परिभाषित किया गया है जिसके लिए |x| ≥ R पर g(x) ≥ 0 हो। सरल शब्दों में, r(g) वह त्रिज्या है जिसके बाद g हर जगह अऋणात्मक है। जब ऐसी कोई त्रिज्या मौजूद नहीं होती, तब r(g) = ∞। अनिश्चितता की समस्या इस बारे में है कि उन फलनों के लिए यह त्रिज्या कितनी छोटी की जा सकती है जिनका अपने ही Fourier रूपांतरण से एक निर्धारित संबंध है।
वह संबंध एक चिह्न है। शर्त ĝ = ςg किसी फलन को चिह्न तक उसके Fourier रूपांतरण से बाँधती है। चिह्न +1 और −1 क्रमशः मूल और पूरक अनिश्चितता समस्याएँ देते हैं। Cohn और Gonçalves ने anti-self-Fourier समकक्ष, यानी पूरक समस्या, प्रस्तुत की और उसे स्फीयर पैकिंग से जोड़ा। वही जुड़ाव वह पुल है जिसके ज़रिए स्फीयर-पैकिंग परिणाम अनिश्चितता की समस्या को अनंतस्पर्शी रूप से हल करता है।
पूरक समस्या शुद्ध विश्लेषण का कोई कौतूहल नहीं है। spinless modular bootstrap में, modular S-प्रतिसममिति ऐसे anti-self-Fourier परीक्षण फलन पैदा करती है जिनका अंतिम चिह्न spectral gap को नियंत्रित करता है। स्रोत इसके लिए Hartman, Mazáč और Rastelli तथा Afkhami-Jeddi et al. के शोधपत्र का हवाला देता है। इस तरह जो प्रश्न फलनों और उनके रूपांतरणों के बारे में एक कथन के रूप में शुरू हुआ, वह भौतिकी जैसे नाम वाले एक संदर्भ, spectral gap, में भी दिखाई देता है। दावे उस एक पंक्ति की कार्यविधि से आगे नहीं जाते, और मैं भी नहीं जाऊँगा, पर यह याद दिलाता है कि अनिश्चितता की समस्या के साथी स्फीयर पैकिंग के बाहर भी हैं।
परिशिष्ट A दोनों समस्याओं के बीच एक तुलना जोड़ता है। वह नोट करता है कि सभी d के लिए A+(d) < A−(d)। यह इस बारे में कथन है कि दोनों समस्याएँ हर आयाम में भिन्न हैं, और पहली राशि दूसरी से सख़्ती से छोटी है। दावे इसकी कोई और व्याख्या नहीं देते, और यह असमिका केवल इसलिए ध्यान देने योग्य है कि यह बिना किसी अपवाद के सभी d के लिए लागू होती है।
तर्क के भीतर: औसत, शून्य होना और एक द्रव्यमान अनुमान #
दस्तावेज़ में कई तकनीकी कथन हैं जो यह अंदाज़ा देते हैं कि अनिश्चितता का विश्लेषण कैसे बनाया गया है। वे टुकड़े हैं, और मैं उन्हें टुकड़ों के रूप में ही रखूँगा, पर साथ मिलकर वे एक पद्धति की रूपरेखा खींचते हैं।
सममिति से शुरू करें। घूर्णन औसत को O(d) पर सामान्यीकृत Haar माप का उपयोग करके परिभाषित किया गया है। किसी फलन का घूर्णनों पर औसत लेने से एक त्रिज्यीय फलन मिलता है, और ऐसा करने का उद्देश्य यह है कि इससे समस्या सरल हो जाती है और बाधाएँ नहीं टूटतीं। स्रोत कहता है कि घूर्णन औसत समस्या की बाधा-सूची, जिसे (2) नाम दिया गया है, की हर चिह्न शर्त को सुरक्षित रखता है। वह यह भी जोड़ता है कि यदि ĝ = ςg, तो r(Rg) ≤ r(g), जहाँ Rg, g का घूर्णन औसत है। इसलिए औसत लेने से चिह्न त्रिज्या कभी बदतर नहीं होती। साथ ही, स्रोत के शब्दों में, जब भी g ≠ 0 अंततः अऋणात्मक हो, तब Rg ≠ 0, इसलिए औसत लेना उस फलन को मिटाता नहीं जिसका बड़ी दूरी पर चिह्न-व्यवहार सही है।
ये तीनों तथ्य मिलकर त्रिज्यीय फलनों तक सीमित होने को उचित ठहराते हैं। इस सीमित करने में त्रिज्या पर कोई क़ीमत नहीं चुकानी पड़ती, यह चिह्न शर्तों को बनाए रखता है, और फलन को शून्य में नहीं समेटता। यह एक मानक सममिति तर्क का रूप है, और दावे इसके हर घटक की पुष्टि करते हैं।
अगला, मूल बिंदु। फलन g = h − ĥ मूल बिंदु पर शून्य हो जाता है। यह उस तरह का छोटा तथ्य है जो किसी प्रमाण में बड़ा काम करता है, क्योंकि Cohn-Elkies सीमा में सीधे मूल बिंदु के मान शामिल होते हैं, और वहाँ शून्य होने वाला फलन उस फलन से अलग व्यवहार करता है जो शून्य नहीं होता। इससे जुड़ा एक सुधार-चरण भी दर्ज है: सुधारा गया फलन gn, gn(0) = 0 को संतुष्ट करता है और L1 में gn → g। यानी सुधारे गए फलनों का एक अनुक्रम, जिसका हर सदस्य मूल बिंदु पर शून्य है, L1 अर्थ में g की ओर अभिसरित होता है। इससे तर्क ऐसे फलनों के साथ काम कर पाता है जो मूल बिंदु की शर्त को ठीक-ठीक संतुष्ट करते हैं और फिर भी लक्ष्य का सन्निकटन करते हैं।
फिर एक मात्रात्मक बाधा है। द्रव्यमान अनुमान 1/a ≥ (1/π − o(1))√d को अनिवार्य बनाता है। दावे a को परिभाषित नहीं करते, इसलिए मैं नहीं कह सकता कि यह क्या मापता है, और मैं अनुमान नहीं लगाऊँगा। जो कहा जा सकता है, वह निष्कर्ष का रूप है: 1/a पर एक निम्न सीमा जो आयाम के वर्गमूल की तरह बढ़ती है, स्थिरांक 1/π और एक लुप्त होते संशोधन के साथ। आयाम के वर्गमूल वाला पैमाना उच्च-आयामी ज्यामिति के लिए एक स्वाभाविक-सा आकार लगता है, पर यह व्यंजक के रूप के बारे में मेरा अवलोकन है, और दावे इसे कार्यविधि के रूप में नहीं कहते।
Mellin वाली तस्वीर #
दस्तावेज़ में औज़ारों का एक और टुकड़ा दिखाई देता है, और यही सबसे स्पष्ट रूप से समझाता है कि यहाँ त्रिज्यीय Fourier विश्लेषण क्यों संभालने लायक है। Mellin रूपांतरण के बाद, त्रिज्यीय Fourier रूपांतरण Mellin चर को परावर्तित करता है। यह एक संक्षिप्त कथन है कि कोई रूपांतरण कैसे काम करता है। किसी त्रिज्यीय फलन का Fourier रूपांतरण, जो सामान्यतः एक समाकल संकारक है और जिसके बारे में सीधे तर्क करना कठिन है, Mellin चर में एक परावर्तन बन जाता है। परावर्तन लगभग उतने ही सरल हैं जितने संकारक हो सकते हैं।
वही अंश दूसरी ओर एक विश्लेषणात्मक शर्त भी दर्ज करता है। g का Schwartz क्षय v → +∞ होने पर Φg का तीव्र क्षय देता है। यहाँ Φg वह वस्तु है जो Mellin विश्लेषण में मिलती है, और v उसका चर है। यह जोड़ी शिक्षाप्रद है: परावर्तन का गुण संरचना को संभालता है, और Schwartz क्षय अनंत पर नियंत्रण को। इस शैली के प्रमाण को दोनों चाहिए, क्योंकि क्षय के बिना संरचना ऐसे समाकल छोड़ती है जो शायद अभिसरित न हों, और संरचना के बिना क्षय गणना के लिए कुछ नहीं छोड़ता।
दस्तावेज़ यह भी नोट करता है कि Sd इकाई गोले का क्षेत्रफल है, जो तब सामान्यीकरण गुणक के रूप में आता है जब त्रिज्यीय समाकलों को गोले और रेखा के बीच बदला जाता है। यह एक परिभाषा का बिंदु है, और यह उस तरह का हिसाब-किताब है जो तय करता है कि अंतिम सीमा के स्थिरांक सही निकलते हैं या नहीं।
मैं स्पष्ट करना चाहता हूँ कि ये टुकड़े क्या हैं। वे प्रमाण नहीं हैं। दावे कथन देते हैं, व्युत्पत्तियाँ नहीं, और किसी भी पाठक को उनसे पूरा तर्क फिर से नहीं गढ़ना चाहिए। वे जो दिखाते हैं, वह यह है कि विश्लेषण सममिति से सरलीकरण, मूल बिंदु की एक शर्त, एक मात्रात्मक द्रव्यमान अनुमान, और एक ऐसे रूपांतरण को जोड़ता है जिसकी क्रिया चर बदलने के बाद सरल हो जाती है। Fourier-विश्लेषणात्मक चरम समस्याओं के लिए यह संयोजन पारंपरिक है, जो अंतिम परिणाम की सटीकता को कम नहीं, बल्कि और उल्लेखनीय बनाता है। मानक दिखने वाले औज़ार एक धारदार उत्तर तक पहुँचने के लिए पर्याप्त थे।
संग्रह का बाकी हिस्सा #
स्फीयर-पैकिंग अध्याय दस्तावेज़ का केवल एक हिस्सा है, और बाकी परिणाम उचित लेखा-जोखा माँगते हैं। हर एक को यहाँ ठीक वैसा ही बताया गया है जैसा दावे देते हैं।
समूह सिद्धांत में, एक स्पष्ट nonsofic समूह रचा गया है, जो इस पुराने प्रश्न का उत्तर देता है कि क्या हर गणनीय समूह sofic होता है। प्रमाण Kun और Kun–Thom के कार्य को एक संयोजक expander-matching तर्क के साथ जोड़ता है, जिसे बाइनरी Leavitt बीजगणित और Thompson के समूह V के ज़रिए साकार किया गया है। यहाँ "स्पष्ट" शब्द वज़न रखता है: परिणाम एक रचना है, अस्तित्व का तर्क नहीं।
ऑपरेटर बीजगणित में, property (T) वाले अनंत रूप से अनेक, जोड़ीवार असमरूपी समूह रचे गए हैं जिनका समूह von Neumann बीजगणित एक ही है। यह Connes के अनुमान का खंडन करता है और Popa के एक संबंधित finite-to-one प्रश्न का उत्तर देता है। एक ही रचना से दो नामित प्रश्न हल हो जाते हैं।
अंकगणितीय जटिलता में, दस्तावेज़ permanent के लिए निम्न सीमाएँ देता है। division-free परिपथों को Ω(n² log log n) गेट चाहिए, जबकि सूत्रों को Ω(n⁴ / log n) पत्तियाँ। ये गणना के दो मॉडलों के लिए दो सीमाएँ हैं, और दस्तावेज़ इन्हें साथ-साथ बताता है।
क्वांटम सूचना में, हर परिमित दो-खिलाड़ी entangled गेम के लिए घातांकीय समांतर पुनरावृत्ति सिद्ध की गई है। स्रोत कहता है कि यह शास्त्रीय पुनरावृत्ति सिद्धांत को क्वांटम गेमों के पहले से विचारित विशेष वर्गों से आगे ले जाता है। परिमाणक फिर से ध्यान खींचता है: हर परिमित दो-खिलाड़ी entangled गेम, किसी विशेष वर्ग की पाबंदी के बिना।
सन्निकटन की कठिनता में, 3SAT से एक सीधा अपचयन Euclidean closest vector problem के लिए n^(1/400)-गुणक कठिनता देता है, बाइनरी डिकोडिंग और अन्य लैटिस मानकों के लिए संबंधित परिणामों के साथ। घातांक 1/400 छोटा है, और मैं इसे सजाने के बजाय जैसा लिखा है वैसा ही बताना पसंद करूँगा। दावे इस अपचयन को सीधा कहते हैं और बाइनरी डिकोडिंग तथा अन्य मानकों के लिए परिणाम जोड़ते हैं।
उत्तल ज्यामिति में, उन उत्तल पिंडों के लिए जिनका केंद्रक ही उनका एकमात्र आंतरिक लैटिस बिंदु है, धारदार आयतन ऊपरी सीमा (n + 1)^n / n! हर आयाम में सिद्ध की गई है। धारदार होना और सभी आयामों में लागू होना, दोनों दावे का हिस्सा हैं।
Ramsey सिद्धांत में, एक नई superexponential निम्न सीमा दिखाती है कि Rk(3), k^Θ(k) की तरह बढ़ता है। और चरम ग्राफ़ सिद्धांत में, अलग-अलग द्विभाजी ग्राफ़ रचनाएँ दो अनुमानों का खंडन करती हैं: Erdős और Simonovits का compactness अनुमान और Erdős का एक degeneracy अनुमान।
संग्रह को समग्र रूप में पढ़ना #
इस सूची को ट्रॉफ़ी की अलमारी की तरह देखना आसान होगा, इसलिए यह कहना उचित है कि इससे क्या निष्कर्ष निकाला जा सकता है और क्या नहीं।
जो कहा जा सकता है, वह यह है कि दस्तावेज़ कम से कम आठ क्षेत्रों में परिणाम बताता है, कि उनमें से कई को नामित अनुमानों का उत्तर देने या उनका खंडन करने वाला बताया गया है, और कि स्फीयर-पैकिंग अध्याय एक मेल खाती निम्न सीमा के साथ आता है जो उसके परिणाम को उसके ढाँचे के भीतर अंतिम बनाती है। जिन अनुमानों का ज़िक्र है, उन पर Connes, Popa, Erdős और Simonovits के नाम हैं, और स्फीयर-पैकिंग दर का अनुमान Afkhami-Jeddi, Cohn, Hartman, de Laat और Tajdini ने लगाया था। नामित प्रश्नों को तय करने वाले परिणामों का मूल्यांकन आसान है, क्योंकि प्रश्न उत्तर के अस्तित्व से पहले पूछा गया था।
केवल इन दावों के आधार पर जो नहीं कहा जा सकता, वह यह है कि मॉडल कैसे काम करता है, उसे कितने प्रयास लगे, उसके आउटपुट का सत्यापन कैसे हुआ, या मानवीय प्रयास से उसकी तुलना कैसी है। स्रोत कहता है कि परिणाम OpenAI के एक आंतरिक मॉडल से प्राप्त हुए, और दावे वहीं रुक जाते हैं। जो पाठक इस संग्रह के महत्व को मशीन गणित के साक्ष्य के रूप में तौलना चाहता है, उसे ऐसी जानकारी चाहिए जो दावों में नहीं है। मैं उस कमी को विश्वसनीय-सी लगने वाली कहानी से भरने के लोभ से बचूँगा।
फिर भी एक रुख़ अपनाने लायक है। परिणाम तकनीक में विषम हैं: nonsofic समूह बाइनरी Leavitt बीजगणित और Thompson के समूह V का उपयोग करता है, स्फीयर-पैकिंग परिणाम Fourier विश्लेषण और Mellin रूपांतरणों का, और closest vector कठिनता 3SAT से एक अपचयन का। इतनी तकनीकी ज़मीन घेरने वाला संग्रह बार-बार लगाई गई किसी एक तरकीब का उत्पाद नहीं है। इन परिणामों को जिसने भी पैदा किया, वह कई गणितीय बोलियों में काम कर रहा था, और दावे कम से कम इतने का समर्थन करते हैं।
क्षेत्रवार इसका क्या अर्थ है #
उच्च-आयामी Cohn-Elkies क्षय दर का सटीक निर्धारण और साथ के गणितीय परिणाम कई सैद्धांतिक और अनुप्रयुक्त संगणनात्मक क्षेत्रों को प्रभावित करते हैं।
शुद्ध गणित और असतत ज्यामिति #
उच्च-आयामी ज्यामिति और हार्मोनिक विश्लेषण पर काम करने वाले गणितज्ञों के लिए, सटीक Cohn-Elkies क्षय दर का निर्धारण शोध के परिदृश्य को बदल देता है। चूँकि मेल खाती निम्न सीमा सिद्ध करती है कि $\mathcal{A}_d$ में कोई भी सहायक फलन नए घातांक को नहीं हरा सकता, शोधकर्ता शास्त्रीय लीनियर प्रोग्रामिंग ढाँचे के भीतर बेहतर त्रिज्यीय परीक्षण फलनों की खोज बंद कर सकते हैं। अधिक घनी स्फीयर पैकिंग या अधिक कसी सार्वभौमिक सीमाओं की ओर प्रगति को अब अरैखिक प्रोग्रामिंग तकनीकों, उच्च-क्रम semidefinite पदानुक्रमों, या पूरी तरह भिन्न ज्यामितीय रचनाओं की खोज करनी होगी।
क्रिप्टोग्राफ़ी और लैटिस-आधारित सुरक्षा #
लैटिस-आधारित क्रिप्टोग्राफ़ी, जो ML-KEM और ML-DSA जैसे पोस्ट-क्वांटम मानकों का केंद्र है, उच्च-आयामी Euclidean लैटिस में सबसे छोटे या सबसे निकट सदिश खोजने की अनुमानित कठिनता पर बहुत अधिक निर्भर करती है। Euclidean Closest Vector Problem (CVP) के लिए $n^{1/400}$-गुणक कठिनता स्थापित करने वाला 3SAT से सीधा अपचयन, स्फीयर पैकिंग और गोलीय कोड पर अधिक कसी घातांकीय सीमाओं के साथ मिलकर, worst-case-to-average-case लैटिस अपचयनों की सैद्धांतिक नींव को मज़बूत करता है, ठोस सुरक्षा प्राचलों को कमज़ोर किए बिना।
स्वचालित प्रमेय-सिद्धि और फ़ाउंडेशन मॉडल #
तर्क प्रणालियाँ और स्वचालित प्रमेय-सिद्धक विकसित करने वाली शोध टीमों के लिए, संग्रह का विस्तार और तकनीकी गहराई एक उल्लेखनीय मानदंड देते हैं। ज्ञात प्रमाणों के कृत्रिम रूपांतर बनाने के बजाय, आंतरिक मॉडल ने समूह सिद्धांत (Thompson के समूह V के ज़रिए एक स्पष्ट nonsofic समूह की रचना), ऑपरेटर बीजगणित (Connes के अनुमान का खंडन) और अंकगणितीय जटिलता (permanent की निम्न सीमाएँ) तक फैली खुली समस्याओं से निपटा। यह दिखाता है कि न्यूरल संरचनाएँ गहरे Fourier विश्लेषण और संयोजक matching को साध सकती हैं, बशर्ते सत्यापन और प्रमाण-जाँच कठोर बनी रहे।
निष्कर्ष #
Cohn-Elkies स्फीयर-पैकिंग लीनियर प्रोग्राम की सटीक क्षय दर का निर्धारण ज्यामितीय विश्लेषण के एक बड़े अध्याय को बंद करता है। Afkhami-Jeddi, Cohn, Hartman, de Laat और Tajdini के 2020 के अनुमान को सिद्ध करके और 1978 के बाद सामान्य स्फीयर-पैकिंग घातांक में पहला सुधार स्थापित करके, यह कार्य एक अडिग गणितीय आधार रेखा स्थापित करता है। एक मेल खाती निम्न सीमा इस बात की पुष्टि करती है कि कोई भी Cohn-Elkies सहायक फलन आगे घातांकीय लाभ नहीं दे सकता, इसलिए यह प्रमेय लीनियर प्रोग्राम की अनंतस्पर्शी क्षमता को तय भी करता है और उच्च-आयामी ज्यामिति के भविष्य को मूलतः नए विश्लेषणात्मक क्षितिजों की ओर भी मोड़ता है।
अक्सर पूछे जाने वाले प्रश्न #
Kabatianskii–Levenshtein सीमा का महत्व क्या था?
1978 में स्थापित Kabatianskii–Levenshtein सीमा ने उच्च आयामों में स्फीयर-पैकिंग घनत्व पर 0.59905576... का अनंतस्पर्शी ऊपरी सीमा घातांक दिया। चार दशकों से अधिक समय तक, बाद के परिष्कारों ने केवल निचले क्रम के बीजगणितीय गुणकों को सुधारा, और प्रमुख घातांकीय दर इस परिणाम तक अछूती रही।
मेल खाती निम्न सीमा इतनी निर्णायक क्यों है?
केवल ऊपरी सीमा यह दिखाती है कि लीनियर प्रोग्राम क्या हासिल करता है, पर मेल खाती निम्न सीमा सिद्ध करती है कि Cohn-Elkies के स्वीकार्य वर्ग A(d) में सहायक फलन f का कोई भी चुनाव इससे छोटा घातांक नहीं दे सकता। यह स्वयं लीनियर प्रोग्रामिंग ढाँचे पर एक निरपेक्ष सीमा स्थापित करता है।
Fourier चिह्न-अनिश्चितता की समस्या स्फीयर पैकिंग से कैसे जुड़ी है?
Cohn और Gonçalves ने स्थापित किया कि पूरक Fourier चिह्न-अनिश्चितता समस्या (जहाँ g_hat = -g) स्फीयर-पैकिंग सीमाओं से गहराई से जुड़ी है। घूर्णन औसत और Mellin-रूपांतरण परावर्तनों के ज़रिए, Cohn-Elkies प्रोग्राम का अनंतस्पर्शी हल सीधे Fourier चिह्न-अनिश्चितता समस्या को तय कर देता है।
क्या यह परिणाम लैटिस-आधारित क्रिप्टोग्राफ़ी को कमज़ोर करता है?
नहीं। यह प्रमेय उच्च आयामों में गोले कितनी घनी तरह पैक हो सकते हैं, इस पर ऊपरी सीमाओं को धारदार बनाता है और Closest Vector Problem के लिए $n^{1/400}$-गुणक कठिनता स्थापित करता है, पर यह बहुपद-समय वाले लैटिस अपचयन एल्गोरिद्म नहीं देता। व्यावहारिक लैटिस क्रिप्टोसिस्टम ज्ञात क्वांटम और शास्त्रीय हमलों के विरुद्ध सुरक्षित बने रहते हैं।
संदर्भ #
- Nima Afkhami-Jeddi et al., (2020). उच्च-आयामी स्फीयर पैकिंग और modular bootstrap ⧉. Journal of High Energy Physics.
- Henry Cohn and Noam Elkies, (2003). स्फीयर पैकिंग पर नई ऊपरी सीमाएँ I ⧉. Annals of Mathematics.
- Henry Cohn and Felipe Gonçalves, (2019). Fourier विश्लेषण में एक इष्टतम अनिश्चितता सिद्धांत ⧉. PNAS.
- Henry Cohn and Yufei Zhao, (2014). गोलीय कोड के ज़रिए स्फीयर-पैकिंग सीमाएँ ⧉. Duke Mathematical Journal.
- G. A. Kabatianskii and V. I. Levenshtein, (1978). गोले पर और स्थान में पैकिंग की सीमाएँ ⧉. Problems of Information Transmission.
- Maryna S. Viazovska, (2017). आयाम 8 में स्फीयर पैकिंग की समस्या ⧉. Annals of Mathematics.
अंतिम समीक्षा .
अंतिम समीक्षा .
इस लेख को क्रॉस-पोस्ट करें
Medium के लिए प्रारूप कॉपी करें
# Cohn-Elkies स्फीयर-पैकिंग की सटीक क्षय दर तय: OpenAI का आंतरिक मॉडल — Sebastien Rousseau > Originally published at [https://sebastienrousseau.com/hi/2026-10-05-cohn-elkies-sphiyar-paiking-satik-kshay/](https://sebastienrousseau.com/hi/2026-10-05-cohn-elkies-sphiyar-paiking-satik-kshay/) OpenAI के एक आंतरिक मॉडल ने Cohn-Elkies स्फीयर-पैकिंग लीनियर प्रोग्राम की सटीक क्षय दर तय की: 1978 के बाद सामान्य घातांक में पहला सुधार, मेल खाती निम्न सीमा के साथ। Read the full article on sebastienrousseau.com: https://sebastienrousseau.com/hi/2026-10-05-cohn-elkies-sphiyar-paiking-satik-kshay/
Mastodon के लिए प्रारूप कॉपी करें
Cohn-Elkies स्फीयर-पैकिंग की सटीक क्षय दर तय: OpenAI का आंतरिक मॉडल — Sebastien Rousseau OpenAI के एक आंतरिक मॉडल ने Cohn-Elkies स्फीयर-पैकिंग लीनियर प्रोग्राम की सटीक क्षय दर तय की: 1978 के बाद सामान्य घातांक में पहला सुधार, मेल खाती निम्न सीमा के साथ। https://sebastienrousseau.com/hi/2026-10-05-cohn-elkies-sphiyar-paiking-satik-kshay/
LinkedIn के लिए फ़ॉर्मेट की गई कॉपी
Cohn-Elkies स्फीयर-पैकिंग की सटीक क्षय दर तय: OpenAI का आंतरिक मॉडल — Sebastien Rousseau OpenAI के एक आंतरिक मॉडल ने Cohn-Elkies स्फीयर-पैकिंग लीनियर प्रोग्राम की सटीक क्षय दर तय की: 1978 के बाद सामान्य घातांक में पहला सुधार, मेल खाती निम्न सीमा के साथ।. यहाँ मुख्य रणनीतिक निष्कर्ष हैं: - संग्रह क्या है, और एक परिणाम क्यों अलग दिखता है. दस्तावेज़ विनम्रता से शुरू होता है। यह OpenAI के एक आंतरिक मॉडल से प्राप्त परिणामों का संग्रह प्रस्तुत करता है, और कहता है कि वे गणित और सैद्धांतिक कंप्यूटर विज्ञान तक फैले हैं। यह स्रोत और दायरे का विवरण है, और… - Cohn-Elkies प्रोग्राम और वह क्या सीमित करता है. स्फीयर पैकिंग पूछती है कि एक-दूसरे पर न चढ़ने वाली गेंदें स्थान को कितनी घनी तरह से भर सकती हैं। दस्तावेज़ इसके लिए संकेतन तय करता है। कम से कम 1 की दूरी पर स्थित केंद्रों के लिए, ∆d Rd में त्रिज्या-1/2 वाली गेंदों… - ढाँचा पहले ही क्या हासिल कर चुका था. नए प्रमेय पर आने से पहले यह स्पष्ट करना उचित है कि Fourier-विश्लेषणात्मक लीनियर-प्रोग्रामिंग ढाँचा पहले ही क्या दे चुका था, क्योंकि नया परिणाम आंशिक रूप से इस बारे में एक कथन है कि यह कितना और आगे जा सकता है।. - मुख्य प्रमेय. दस्तावेज़ का मुख्य प्रमेय उस 2020 के शोधपत्र के अनुमान 3.1 और 3.2 में अनुमानित घातांकीय दर को सिद्ध करता है। दावे जिस स्तर का समर्थन करते हैं, उस स्तर पर कहें तो: लेखक Cohn-Elkies स्फीयर-पैकिंग लीनियर प्रोग्राम की… इस लेख में उल्लिखित चुनौतियों के प्रति आपके संगठन का दृष्टिकोण क्या है? → https://sebastienrousseau.com/hi/2026-10-05-cohn-elkies-sphiyar-paiking-satik-kshay/ #Openaiआंतरिकमॉडल #CohnElkies #स्फीयरपैकिंग #लीनियरप्रोग्राम #क्षयदर Sebastien Rousseau | CC-BY-4.0
इस लेख को उद्धृत करें
Cohn-Elkies स्फीयर-पैकिंग की सटीक क्षय दर तय: OpenAI का आंतरिक मॉडल — Sebastien Rousseau
OpenAI के एक आंतरिक मॉडल ने Cohn-Elkies स्फीयर-पैकिंग लीनियर प्रोग्राम की सटीक क्षय दर तय की: 1978 के बाद सामान्य घातांक में पहला सुधार, मेल खाती निम्न सीमा के साथ।
BibTeX
@online{rousseau2026cohn,
author = {Rousseau, Sebastien},
title = {{Cohn-Elkies स्फीयर-पैकिंग की सटीक क्षय दर तय: OpenAI का आंतरिक मॉडल — Sebastien Rousseau}},
year = {2026},
url = {https://sebastienrousseau.com/hi/2026-10-05-cohn-elkies-sphiyar-paiking-satik-kshay/},
urldate = {2026}
}RIS
TY - GEN AU - Rousseau, Sebastien TI - Cohn-Elkies स्फीयर-पैकिंग की सटीक क्षय दर तय: OpenAI का आंतरिक मॉडल — Sebastien Rousseau PY - 2026 UR - https://sebastienrousseau.com/hi/2026-10-05-cohn-elkies-sphiyar-paiking-satik-kshay/ ER -
Vancouver
Rousseau S. Cohn-Elkies स्फीयर-पैकिंग की सटीक क्षय दर तय: OpenAI का आंतरिक मॉडल — Sebastien Rousseau. sebastienrousseau.com. 2026 Oct 5. Available from: https://sebastienrousseau.com/hi/2026-10-05-cohn-elkies-sphiyar-paiking-satik-kshay/
Chicago
Rousseau, Sebastien. "Cohn-Elkies स्फीयर-पैकिंग की सटीक क्षय दर तय: OpenAI का आंतरिक मॉडल — Sebastien Rousseau." sebastienrousseau.com. October 5, 2026. https://sebastienrousseau.com/hi/2026-10-05-cohn-elkies-sphiyar-paiking-satik-kshay/.
APA
Rousseau, S. (2026, October 5). Cohn-Elkies स्फीयर-पैकिंग की सटीक क्षय दर तय: OpenAI का आंतरिक मॉडल — Sebastien Rousseau. sebastienrousseau.com. https://sebastienrousseau.com/hi/2026-10-05-cohn-elkies-sphiyar-paiking-satik-kshay/
इस लेख को पुनः प्रकाशित करें
Cohn-Elkies स्फीयर-पैकिंग की सटीक क्षय दर तय: OpenAI का आंतरिक मॉडल — Sebastien Rousseau
OpenAI के एक आंतरिक मॉडल ने Cohn-Elkies स्फीयर-पैकिंग लीनियर प्रोग्राम की सटीक क्षय दर तय की: 1978 के बाद सामान्य घातांक में पहला सुधार, मेल खाती निम्न सीमा के साथ।
यह लेख लाइसेंस के अंतर्गत है Creative Commons Attribution 4.0 International. पुनः प्रकाशन के लिए कैनोनिकल URL का श्रेय आवश्यक है।
Cohn-Elkies स्फीयर-पैकिंग की सटीक क्षय दर तय: OpenAI का आंतरिक मॉडल — Sebastien Rousseau OpenAI के एक आंतरिक मॉडल ने Cohn-Elkies स्फीयर-पैकिंग लीनियर प्रोग्राम की सटीक क्षय दर तय की: 1978 के बाद सामान्य घातांक में पहला सुधार, मेल खाती निम्न सीमा के साथ। Originally published at https://sebastienrousseau.com/hi/2026-10-05-cohn-elkies-sphiyar-paiking-satik-kshay/ by Sebastien Rousseau. Licensed under CC-BY-4.0.