🔢 mathematics

A dual linear programming bound for sphere packing in dimension 36

यह शोध पत्र आयाम 36 में कोह्न-एल्कीज़ लीनियर प्रोग्राम के लिए एक स्पष्ट द्वैत-व्यवहार्य बिंदु (dual-feasible point) का निर्माण करता है, जो यह सिद्ध करता है कि गोलाकार पैकिंग घनत्व (sphere packing density) के लिए सैद्धांतिक ऊपरी सीमा सर्वोत्तम ज्ञात पैकिंग (Kschischang-Pasupathy) से कम से कम 32.91 के कारक से अधिक है, जिससे यह प्रदर्शित होता है कि वर्तमान सर्वोत्तम ज्ञात पैकिंग इष्टतम नहीं है और पहली बार 32 से ऊपर के आयामों के लिए द्वैत सीमाओं (dual bounds) का विस्तार किया गया है।

मूल लेखक: Rifat Jumagulov

प्रकाशित 2026-07-14

📖 5 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Rifat Jumagulov

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक विशाल, 36-आयामी (dimensional) कमरे में बिना एक-दूसरे को ओवरलैप किए, अधिक से अधिक समान, अदृश्य गुब्बारों को भरने की कोशिश कर रहे हैं। यह "स्फीयर पैकिंग" (sphere packing) की समस्या है। दशकों से, गणितज्ञ इसके सबसे घने तरीके को खोजने का प्रयास कर रहे हैं, लेकिन अधिकांश आयामों में, उनके पास केवल एक "सबसे अच्छा अनुमान" (वर्तमान रिकॉर्ड) और एक "सैद्धांतिक सीमा" (गणित द्वारा अनुमत पूर्ण सीमा) होती है।

आयाम 8 और 24 में, हम जानते हैं कि छत और फर्श आपस में मिल जाते हैं; सबसे अच्छा अनुमान सिद्ध रूप से पूर्ण है। लेकिन आयाम 36 में, एक अंतर हमेशा से मौजूद था। रिफ़त जुमागुलव (Rifat Jumagulov) का शोध पत्र एक अत्यंत सटीक पैमाने की तरह कार्य करता है जो इस अंतर को मापता है और एक आश्चर्यजनक बात सिद्ध करता है: वर्तमान सबसे अच्छा अनुमान, सैद्धांतिक सीमा के कहीं भी करीब नहीं है।

द "मैजिक मिरर" टेस्ट (जादुई दर्पण परीक्षण)

सैद्धांतिक सीमा को खोजने के लिए, गणितज्ञ कॉह्न-एल्कीस लीनियर प्रोग्राम (Cohn–Elkies linear program) नामक एक उपकरण का उपयोग करते हैं। इस प्रोग्राम को एक "जादुई दर्पण" के रूप में सोचें जो एक प्रस्तावित पैकिंग व्यवस्था को प्रतिबिंबित करता है। यदि व्यवस्था वास्तव में सर्वश्रेष्ठ है, तो दर्पण एक पूर्ण प्रतिबिंब दिखाएगा। यदि दर्पण एक दोष दिखाता है, तो व्यवस्था सर्वश्रेष्ठ नहीं है।

लंबे समय से, 36 आयामों में ज्ञात सबसे अच्छी पैकिंग (जिसे क्शिशांग-पासुपति पैकिंग कहा जाता है) को एक मजबूत दावेदार माना जाता रहा है। यह शोध पत्र एक विशिष्ट "ड्यूल" (dual) वस्तु का निर्माण करता है—मॉड्यूलर फॉर्म्स (जो जटिल संख्या जगत में जटिल, दोहराते हुए पैटर्न की तरह हैं) से बनी एक जटिल गणितीय आकृति—जो इस दर्पण के रूप में कार्य करती है।

बड़ा खुलासा

जब लेखक इस नए दर्पण को क्शिशांग-पासुपति पैकिंग पर चमकाता है, तो प्रतिबिंब केवल थोड़ा ही अलग नहीं होता; यह पूरी तरह से भिन्न होता है। गणित यह सिद्ध करता है कि 36 आयामों के लिए सैद्धांतिक सीमा वर्तमान सबसे अच्छी ज्ञात पैकिंग से कम से कम 32.91 गुना अधिक घनी है।

इसे समझने के लिए: यदि वर्तमान सबसे अच्छी पैकिंग फर्श पर बिखरे हुए कंचों (marbles) की एक विरल व्यवस्था हो, तो सैद्धांतिक सीमा बताती है कि आप उसी स्थान में बिना एक-दूसरे को छुए 32 गुना से अधिक कंचे फिट कर सकते हैं। शोध पत्र स्पष्ट रूप से इस विचार को खारिज करता है कि कॉह्न-एल्कीस विधि कभी भी वर्तमान रिकॉर्ड को इष्टतम (optimal) सिद्ध कर सकेगी। अंतर बहुत अधिक है।

उन्होंने यह कैसे किया: "कट-एंड-रन" रणनीति

इस दर्पण का निर्माण करना आसान नहीं था। लेखक को 72 विभिन्न गणितीय सामग्रियों वाले एक विशाल पहेली को हल करना पड़ा।

जाल (The Trap): जब उन्होंने मानक कंप्यूटर गणित (फ्लोटिंग-पॉइंट नंबर) का उपयोग करके पहेली को हल करने की कोशिश की, तो कंप्यूटर भ्रमित हो गया और एक "घोस्ट" (भूतिया) उत्तर दिया जो अच्छा दिखता था लेकिन वास्तव में त्रुटिपूर्ण था।
समाधान (The Fix): लेखक ने "एक्सैक्ट रेशनल अरिथमेटिक" (exact rational arithmetic) का उपयोग किया, जो अव्यवसाध्य दशमलव के बजाय सटीक भिन्नों (fractions) के साथ गणित करने जैसा है। उन्होंने एक "कटिंग-प्लेन" (cutting-plane) विधि का उपयोग किया: उन्होंने पहेली के एक छोटे संस्करण को हल किया, पाया कि उत्तर कहाँ नियमों को तोड़ रहा है, उस खराब हिस्से को काट दिया, और फिर से हल किया। पूर्ण, सटीक समाधान खोजने के लिए उन्हें केवल एक बार काटने (cutting) की आवश्यकता पड़ी।

"टेल" (पूंछ) की समस्या

सबसे कठिन हिस्सा यह सिद्ध करना था कि गणितीय आकृति अनंत तक सकारात्मक (negative न होना) बनी रहती है। यह आकृति दो भागों से बनी है: एक अनुमानित "मुख्य भाग" (main body) और एक लहराता हुआ "पूंछ" (tail)।

मुख्य भाग विशाल और सकारात्मक है।
पूंछ छोटी और लहराती हुई है।
लेखक को यह सिद्ध करना था कि मुख्य भाग इतना शक्तिशाली है कि वह हमेशा लहराती हुई पूंछ को दबा देगा।

आमतौर पर, गणितज्ञ इसे सिद्ध करने के लिए एक मानक सुरक्षा मार्जिन का उपयोग करते हैं। लेकिन आयाम 36 में, मानक मार्जिन बहुत ढीला था; यह एक बाल के बराबर अंतर से विफल हो जाता। लेखक ने एक "लिफ्ट-अवेयर" (lift-aware) सुरक्षा मार्जिन का आविष्कार किया—एक स्मार्ट तरीका जो लहराती हुई पूंछ को मापने के लिए गणितीय टुकड़ों के एक साथ रखे जाने के तरीके को ध्यान में रखता है। यह नया मार्जिन पुराने वाले की तुलना में 10 अरब गुना अधिक सटीक था, जिससे एक बड़े सुरक्षा बफर के साथ प्रमाण को सफलतापूर्वक पूरा किया जा सका।

इसका क्या अर्थ है (और क्या नहीं)

यह शोध पत्र एक कठोर प्रमाण (rigorous proof) है, न कि कोई सिमुलेशन या अनुमान। प्रत्येक संख्या की जांच सटीक अंकगणित के साथ की गई थी, और कोड सत्यापन के लिए किसी के भी उपयोग हेतु उपलब्ध है।

हालाँकि, शोध पत्र यह भी स्पष्ट करता है कि इसने क्या नहीं किया है। यह उस नई, अधिक घनी पैकिंग को नहीं खोजता है जो उस 32.91 गुना के अंतर में समा सकती है। केवल यह सिद्ध करना कि वर्तमान रिकॉर्ड सीमा से बहुत दूर है, ही इसका कार्य है। वास्तविक घनी पैकिंग खोजना एक रहस्य बना हुआ है। लेखक नोट करते हैं कि हालांकि अंतर बहुत बड़ा है, लेकिन यह सिद्ध करना कि सैद्धांतिक सीमा वास्तव में वास्तविक इष्टतम घनत्व से अधिक है (strict non-sharpness), वर्तमान में असंभव है क्योंकि हमारे पास ऊपरी सीमा (upper bound) को इतना कम गणना करने के उपकरण नहीं हैं।

संक्षेप में: यह शोध पत्र पर्दा हटाकर यह दिखाता है कि 36 आयामों में "सर्वश्रेष्ठ ज्ञात" पैकिंग फिनिश लाइन से बहुत दूर है, और वर्तमान विधि को कितना भी तराशने से यह सिद्ध नहीं किया जा सकता कि वह विजेता है। दौड़ अभी भी खुली है, और फिनिश लाइन वहां बहुत आगे है जितना कि पहले सोचा गया था।

तकनीकी सारांश: आयाम 36 में स्फीयर पैकिंग के लिए एक द्वैत रैखिक प्रोग्रामिंग सीमा (Dual Linear Programming Bound)

समस्या विवरण
यह शोध पत्र आयाम $d=36$ में स्फीयर पैकिंग समस्या को संबोधित करता है, जो विशेष रूप से कोह्न-एल्कीज़ (Cohn–Elkies) रैखिक प्रोग्रामिंग (LP) सीमा पर केंद्रित है। जबकि आयाम 8 और 24 में LP सीमा सटीक (sharp) ज्ञात है, अन्य आयामों में इसकी सटीकता एक खुला प्रश्न बनी हुई है। लेखक इस बात की जांच कर रहे हैं कि क्या कोह्न-एल्कीज़ सीमा, जिसे $\delta_{LP}(d)$ द्वारा दर्शाया गया है, वर्तमान में ज्ञात सर्वोत्तम पैकिंग, $\delta^*(d)$ , की इष्टतमता को प्रमाणित कर सकती है। आयाम 36 में, सर्वोत्तम ज्ञात पैकिंग 'कशिशांग-पासुपति' (Kschischang–Pasupathy) विन्यास है, जिसका सेंटर डेंसिटी (center density) $2^{18}/3^{10}$ है। लक्ष्य एक "द्वैत-व्यवहार्य बिंदु" (एक विशिष्ट सहायक फलन) का निर्माण करना है जो $\delta_{LP}(36)$ के लिए एक निचली सीमा प्रदान करे जो कशिशांग-पासुपति पैकिंग से स्पष्ट रूप से अधिक हो। यदि यह सफल होता है, तो यह सिद्ध करता है कि कोई भी कोह्न-एल्कीज़ फलन ज्ञात पैकिंग को इष्टतम प्रमाणित नहीं कर सकता।

कार्यप्रणाली (Methodology)
निर्माण को कोह्न और ट्रियंटफिलु (Cohn and Triantafillou) की विधि का अनुसरण करते हुए किया गया है, जिसमें कॉन्ग्रुएंस सबग्रुप $\Gamma_0(24)$ के वेट-18 वाले मॉड्यूलर फॉर्म्स का उपयोग किया गया है। इस विधि का मुख्य भाग वेट $k=18$ (जहाँ $k=d/2$ ) के दो मॉड्यूलर फॉर्म्स $(g, \tilde{g})$ को खोजना है जो LP सीमा के लिए एक वैध वितरण उत्पन्न करने हेतु विशिष्ट गुणांक बाधाओं (coefficient constraints) को संतुष्ट करते हों।

लेखक ने आयाम 36 में इस समस्या को हल करने के लिए आवश्यक दो महत्वपूर्ण पद्धतिगत नवाचारों का विवरण दिया है, जहाँ पिछली विधियाँ (जो आयाम 32 तक सफल थीं) संख्यात्मक और सैद्धांतिक बाधाओं का सामना करती थीं:

बाधा निर्माण (Constraint Generation - Cutting-Plane Formulation):
एक साधारण रैखिक प्रोग्रामिंग रिलैक्सेशन, जो केवल एक परिमित $n$ तक गुणांकों की गैर-ऋणात्मकता लागू करता है, एक ऐसा इष्टतम परिणाम देता है जो लागू रेंज के तुरंत बाद नकारात्मक हो जाता है (विशेष रूप से $n \equiv 3, 9, 15, 21 \pmod{24}$ के लिए)। इसके विपरीत, सैकड़ों पंक्तियों वाला एक पूर्णतः बाधित (fully constrained) प्रश्न फ्लोटिंग-पॉइंट सॉल्वर के लिए संख्यात्मक रूप से सिंगुलर था और सटीक डेंस सिम्प्लेक्स विधियों के लिए बहुत बड़ा था।

समाधान: लेखक एक 'कन्स्ट्रेंट-जनरेशन' दृष्टिकोण का उपयोग करते हैं। एक छोटे वर्किंग सेट पर एक सटीक परिमेय (rational) LP को हल किया जाता है। उल्लंघन करने वाली पंक्तियों (जहाँ गुणांक नकारात्मक हैं) की सटीक पहचान की जाती है, उन्हें बाधा सेट में जोड़ा जाता है, और LP को पुन: हल किया जाता है। आयाम 36 में, यह प्रक्रिया एक ही दौर में अभिसरित (converge) हुई, जिससे एक सटीक परिमेय शीर्ष (vertex) प्राप्त हुआ जिसके $q$ -विस्तार (expansions) लागू रेंज से बहुत आगे भी गैर-ऋणात्मक बने रहे।

लिफ्ट-अवेयर डेलिग्ने स्थिरांक (Lift-Aware Deligne Constant):
"अंततः सकारात्मकता" (यह सिद्ध करना कि गुणांक सभी $n > n_0$ के लिए गैर-ऋणात्मक रहते हैं) को सिद्ध करने के लिए मॉड्यूलर फॉर्म्स के कस्पिडल भाग (cuspidal part) को बांधना आवश्यक है। मानक डेलिग्ने बाउंड न्यूफॉर्म-लिफ्ट आधार में निर्देशांकों के $\ell_1$ -नॉर्म का उपयोग करता है।

समाधान: लेखक पहचानते हैं कि इस संदर्भ में स्वाभाविक $\ell_1$ -नॉर्म "हानिकारक" (lossy) है क्योंकि प्रमाण (certificate) एक गहरे ओल्डफॉर्म लिफ्ट (लेवल-वन न्यूफॉर्म शिफ्टेड बाय $e=24$ ) द्वारा डोमिनेटेड है। स्वाभाविक स्थिरांक सत्यापन थ्रेशोल्ड में मामूली रूप से विफल रहा। लेखक एक "लिफ्ट-अवेयर" स्थिरांक, $C_w = \sum_{f,e} |\lambda_{f,e}| e^{-(k-1)/2}$ पेश करते हैं, जो $e^{-(k-1)/2}$ के कारक द्वारा गहरे लिफ्ट्स के योगदान को कम करता है। यह परिष्कृत स्थिरांक दस आदेशों (ten orders of magnitude) से छोटा है, जिससे सत्यापन एक बड़े अंतर के साथ पूर्ण हो जाता है।

प्रमुख परिणाम
लेखक एक स्पष्ट द्वैत-व्यवहार्य बिंदु $(g, \tilde{g})$ का निर्माण करते हैं और निम्नलिखित परिणाम प्राप्त करते हैं:

द्वैत सीमा (Dual Bound): निर्मित प्रमाण यह स्थापित करता है कि आयाम 36 में कोह्न-एल्कीज़ रैखिक प्रोग्रामिंग सीमा इस प्रकार है:
$\delta_{LP}(36) \geq 146.1036\dots = 32.9104\dots \times \frac{2^{18}}{3^{10}}$
ज्ञात पैकिंग के साथ तुलना: यह निचली सीमा कशिशांग-पासुपति पैकिंग ( $2^{18}/3^{10}$ ) की डेंसिटी से कम से कम 32.91 के कारक से अधिक है।
निहितार्थ: फलस्वरूप, कोई भी कोह्न-एल्कीज़ सहायक फलन आयाम 36 में कशिशांग-पासुपति पैकिंग को इष्टतम प्रमाणित नहीं कर सकता। LP सीमा ज्ञात पैकिंग डेंसिटी से स्पष्ट रूप से अधिक है।
सत्यापन की कठोरता: यह प्रमाण सटीक है। द्वैत बिंदु एक परिमेय वेक्टर है जिसके अंक लगभग 128-अंकों वाले हैं। गुणांकों की गैर-ऋणात्मकता को $n=800$ तक सटीक अंकगणित द्वारा सत्यापित किया गया है। $n > 800$ के लिए, अंततः सकारात्मकता को लिफ्ट-अवेयर डेलिग्ने स्थिरांक और स्पष्ट टेल बाउंड्स का उपयोग करके सिद्ध किया गया है, जिसमें सभी स्थिरांकों को आउटवर्ड-राउंडेड इंटरवल अंकगणित के माध्यम से प्रमाणित किया गया है।

महत्व और दावे
लेखक स्फीयर पैकिंग और मॉड्यूलर फॉर्म्स के क्षेत्र में कई महत्वपूर्ण योगदानों का दावा करते हैं:

ज्ञात सीमाओं का विस्तार: यह आयाम 32 से ऊपर किसी भी आयाम में निर्मित किया गया पहला द्वैत बाउंड है। यह कोह्न-ट्रियंटफिलु (आयाम 12, 16, 20, 28, 32), ली (आयाम $3 \le d \le 13$ ), और डी कोर्सी-आयरलैंड आदि (आयाम 6) की मौजूदा तालिकाओं का विस्तार करता है।
पद्धतिगत प्रगति: यह शोध पत्र रेखांकित करता है कि उच्च आयामों में जहाँ सटीक डेंस LP अव्यवहार्य है, वहाँ 'कन्स्ट्रेंट-जनरेशन' फॉर्मूलेशन 'टेल-सेफ ऑप्टिमम' तक पहुँचने के लिए आवश्यक है। इसके अलावा, यह दर्शाता है कि गहरे ओल्डफॉर्म लिफ्ट्स द्वारा डोमिनेटेड मामलों में, जहाँ मानक बाउंड विफल हो जाते हैं, वहां 'लिफ्ट-अवेयर डेलिग्ने स्थिरांक' कठोर सत्यापन के लिए आवश्यक है।
परिणाम की प्रकृति: लेखक नोट करते हैं कि हालांकि द्वैत कथन (dual statement) मजबूत है (गैप बड़ा है), फिर भी "कठोर गैर-तीक्ष्णता" (strict non-sharpness) (अर्थात $\delta_{LP}(36) > \delta_{max}(36)$ को सिद्ध करना जहाँ $\delta_{max}$ वास्तविक इष्टतम डेंसिटी है) अभी भी पहुंच से बाहर है। सख्त गैर-तीक्ष्णता के लिए $32.91 \times \delta^*$ से नीचे एक स्वतंत्र ऊपरी सीमा की आवश्यकता होगी, जो वर्तमान में उपलब्ध तीन-बिंदु बाउंड तकनीकों द्वारा अप्राप्य है।
पुनरुत्पादकता (Reproducibility): कार्य इस बात पर जोर देता है कि सत्यापन पूरी तरह से सटीक परिमेय रैखिक बीजगणित और इंटरवल अंकगणित पर निर्भर है, जो मॉड्यूलर फॉर्म मशीनरी वाले कंप्यूटर अलजेब्रा सिस्टम से स्वतंत्र है। सभी कोड, रसीदें और सटीक डेटा सहायक फाइलों के रूप में प्रदान किए गए हैं।

लेखक निष्कर्ष निकालते हैं कि आयाम 36 एक गुणात्मक रूप से भिन्न शासन (regime) का प्रतिनिधित्व करता है जहाँ ज्ञात रिकॉर्ड पैकिंग, LP बाउंड के सापेक्ष कमजोर है, जिससे द्वैत कथन तो मजबूत है लेकिन इष्टतमता का प्रश्न कठिन बना हुआ है।

द "मैजिक मिरर" टेस्ट (जादुई दर्पण परीक्षण)

बड़ा खुलासा

उन्होंने यह कैसे किया: "कट-एंड-रन" रणनीति

"टेल" (पूंछ) की समस्या

इसका क्या अर्थ है (और क्या नहीं)

इसी तरह के और पेपर