🔢 mathematics

The lattice packing problem in dimension 9 by Voronoi's algorithm

आयाम 9 में सभी 2,237,251,040 परफेक्ट लैटिस (perfect lattices) को सूचीबद्ध करने के लिए वोरोनोई (Voronoi) के एल्गोरिदम को लागू करते हुए, यह शोध पत्र सिद्ध करता है कि लैमिनेटेड लैटिस $\Lambda_9$ सबसे सघन लैटिस पैकिंग प्रदान करता है, हर्मिट स्थिरांक (Hermite constant) $\gamma_9 = 2$ निर्धारित करता है, और उस आयाम में संभावित किसिंग नंबरों (kissing numbers) को अभिलक्षणिक रूप से परिभाषित करता है।

मूल लेखक: Mathieu Dutour Sikirić, Wessel van Woerden

प्रकाशित 2026-02-10

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

CC BY 4.0

मूल लेखक: Mathieu Dutour Sikirić, Wessel van Woerden

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

कल्पना कीजिए कि आप एक सूटकेस में अधिक से अधिक संतरे भरने की कोशिश कर रहे हैं। यदि आप उन्हें बस यूँ ही अंदर डाल देते हैं, तो हवा के बड़े अंतराल रह जाएंगे। लेकिन यदि आप उन्हें एक बहुत ही विशिष्ट, सघन पैटर्न में व्यवस्थित करते हैं, तो आप अधिक संतरे भर सकते हैं।

गणित में, इसे स्फेयर पैकिंग समस्या (Sphere Packing Problem) कहा जाता है। सदियों से, गणितज्ञ विभिन्न आयामों (dimensions) के लिए "परफेक्ट पैटर्न" खोजने की कोशिश कर रहे हैं। हम जानते हैं कि 1D (एक रेखा), 2D (षट्कोण/हेक्सागन), 3D (जैसे क्रेट में संतरे), और कुछ अन्य जैसे 8D और 24D के लिए सबसे अच्छे पैटर्न क्या हैं।

लेकिन आयाम 9 (Dimension 9)? वह एक विशाल, अंधेरा रहस्य बना हुआ था। यह शोध पत्र इस बारे में है कि कैसे दो शोधकर्ताओं ने अंततः एक विशाल कम्प्यूटेशनल हथौड़े का उपयोग करके आयाम 9 में "रोशनी जलाई"।

यहाँ इसका विवरण दिया गया है कि उन्होंने यह कैसे किया और उन्हें क्या मिला।

1. समस्या: पैटर्न्स का अनंत पुस्तकालय

एक अनंत पुस्तकालय की कल्पना करें जिसमें 9-आयामी स्थान में गोलों (spheres) को व्यवस्थित करने के हर संभव तरीके मौजूद हैं। इनमें से अधिकांश व्यवस्थाएँ अव्यवस्थित और अक्षम हैं। हालाँकि, गणितज्ञ जानते हैं कि "विजेता"—सबसे सघन पैटर्न—एक विशेष क्लब से संबंधित होते हैं जिसे "परफेक्ट लैटिस" (Perfect Lattices) कहा जाता है।

एक "परफेक्ट लैटिस" को एक मास्टर ब्लूप्रिंट की तरह समझें। यदि आप एक परफेक्ट ब्लूप्रिंट पा लेते हैं, तो आप जानते हैं कि आपने एक ऐसा पैटर्न खोज लिया है जो अविश्वसनीय रूप से स्थिर और सघन है। समस्या यह है कि केवल 9 आयामों में भी, ऐसे अरबों ब्लूप्रिंट मौजूद हैं। इस शोध पत्र से पहले, हमारे पास केवल एक मोटा अनुमान था कि वे कितने थे।

2. उपकरण: वोरोनोई का "मैप-मेकिंग" एल्गोरिदम

इसे हल करने के लिए, लेखकों ने एक एल्गोरिदम का उपयोग किया जिसे 100 साल पहले जॉर्ज वोरोनोई द्वारा बनाया गया था।

वोरोनोई के एल्गोरिदम को एक पहाड़ी श्रृंखला में एक हाई-टेक खोजकर्ता की तरह समझें।

खोजकर्ता एक ज्ञात शिखर (एक ज्ञात परफेक्ट पैटर्न) से शुरू करता है।
खोजकर्ता अगले निकटतम शिखर को खोजने के लिए उस शिखर से दूर जाने वाली कटक (ridges) को देखता है।
वे उस नए शिखर पर चढ़ते हैं, और अधिक कटक देखते हैं, और चलते रहते हैं।
अंततः, उन्होंने पूरी पहाड़ी श्रृंखला में प्रत्येक शिखर का दौरा कर लिया होगा।

पकड़? आयाम 9 में, "पहाड़ी श्रृंखला" इतनी विशाल है और "कटक" इतने जटिल हैं कि पिछले खोजकर्ता या तो रास्ता भटक गए या उनके संसाधन समाप्त हो गए। देखे जाने वाले शिखरों की संख्या 2,237,251,040 है। यह दो अरब से अधिक शिखर हैं!

3. सफलता: सुपरकंप्यूटिंग और "सिमेट्री शॉर्टकट"

आप एक हजार साल बिताए बिना दो अरब शिखरों का दौरा कैसे कर सकते हैं? लेखकों ने दो मुख्य तरकीबों का उपयोग किया:

सिमेट्री शॉर्टकट (Symmetry Shortcut): कल्पना कीजिए कि आप एक स्नोफ्लेक (हिमपात का कण) की खोज कर रहे हैं। स्नोफ्लेक के हर छोटे बिंदु को मापने के बजाय, आप महसूस करते हैं कि स्नोफ्लेक सममित (symmetrical) है। आप केवल एक छोटा सा हिस्सा मापते हैं, और फिर अपने निष्कर्षों को बाकी के हिस्से में "कॉपी-पेस्ट" करने के लिए गणित का उपयोग करते हैं। लेखकों ने एक ही काम को दोबारा करने से बचने के लिए "सिमेट्री ग्रुप्स" का उपयोग किया।
डिजिटल हथौड़ा (Digital Sledgehammer): उन्होंने अविश्वसनीय रूप से तेज़ कोड लिखा और भारी सुपरकंप्यूटरों का उपयोग किया (जो लाखों "कोर ऑवर्स" तक चले) ताकि गणनाओं को पूरा किया जा सके।

4. खोज: शीर्ष पर क्या है?

जब धूल जमी, तो उनके पास पूरे 9D परिदृश्य का मानचित्र था। यहाँ उन्होंने क्या पाया:

चैंपियन: उन्होंने अंततः सिद्ध किया कि एक विशिष्ट पैटर्न जिसे लैमिनेटेड लैटिस ( $\Lambda_9$ ) कहा जाता है, वह 9D में गोलों को पैक करने का सबसे सघन तरीका है। यह आयाम 9 का "गोल्ड मेडलिस्ट" है।
किसिंग नंबर (Kissing Number): उन्होंने "किसिंग नंबर" समस्या को हल किया। एक क्रेट में मौजूद एक केंद्रीय संतरे की कल्पना करें; "किसिंग नंबर" यह है कि कितने अन्य संतरे एक साथ उसे छू सकते हैं। 9D में, उन्होंने सिद्ध किया कि कौन सी संख्याएँ संभव हैं (यह कोई भी संख्या नहीं है; यह एक बहुत ही विशिष्ट, अजीब नियमों का पालन करती है)।
अजीबोगरीब (Oddballs): उन्हें "खोखले" लैटिस मिले—ऐसे पैटर्न जो परफेक्ट हैं लेकिन उनके अंदर अजीब "खाली" स्थान हैं, जैसे कि लेस (lace) का एक सुंदर टुकड़ा जो संरचनात्मक रूप से मजबूत है लेकिन उसमें छेद हैं।

सारांश

संक्षेप में: लंबे समय तक, आयाम 9 एक गणितीय निर्जन क्षेत्र था। एक सदी पुराने मानचित्र बनाने की रणनीति, आधुनिक सुपरकंप्यूटिंग और चतुर सिमेट्री शॉर्टकट्स का उपयोग करके, इन लेखकों ने उस निर्जन क्षेत्र के हर एक "शिखर" का मानचित्र तैयार किया, सबसे ऊंचे पर्वत को खोजा, और यह सिद्ध किया कि वह परिदृश्य वास्तव में कैसा दिखता है।

तकनीकी सारांश: वोरोनोई के एल्गोरिदम द्वारा आयाम 9 में लैटिस पैकिंग समस्या

लेखक: मैथ्यू डुटोर सिकिरीक और वेसेल वैन वोर्डन
विषय: विविक्त ज्यामिति (Discrete Geometry), लैटिस सिद्धांत (Lattice Theory), कम्प्यूटेशनल संख्या सिद्धांत (Computational Number Theory)

1. समस्या

यह शोध पत्र आयाम 9 में लैटिस पैकिंग समस्या को संबोधित करता है। इसका मौलिक लक्ष्य वह लैटिस $L \subset \mathbb{R}^n$ खोजना है जो पैकिंग घनत्व $\delta(L)$ को अधिकतम करता है, या समान रूप से, हर्मिट इनवेरिएंट (Hermite invariant) $\gamma(L)$ को अधिकतम करता है। जबकि आयाम 1, 2, 3, 8, और 24 के लिए गोला पैकिंग (sphere packing) की समस्या हल की जा चुकी है, आयाम 9 गणनात्मक रूप से पहुंच से बाहर रहा है क्योंकि इसमें उन "परफेक्ट लैटिस" (perfect lattices) की संख्या तेजी से बढ़ती है जिन्हें जांचने की आवश्यकता होती है।

2. कार्यप्रणाली

लेखक वोरोनोई के एल्गोरिदम (Voronoi’s Algorithm) का उपयोग करते हैं, जो एक ग्राफ-ट्रावर्सल विधि है जिसका उपयोग दिए गए आयाम में सभी परफेक्ट लैटिस (वे लैटिस जो अपने न्यूनतम वेक्टरों द्वारा अद्वितीय रूप से निर्धारित होते हैं) को सूचीबद्ध करने के लिए किया जाता है। यह एल्गोरिदम रिशकोव पॉलीहेड्रॉन (Ryshkov polyhedron) के किनारों पर नेविगेट करके कार्य करता है, जहाँ शीर्ष (vertices) परफेक्ट फॉर्म्स के अनुरूप होते हैं।

आयाम 9 में इस गणना को व्यवहार्य बनाने के लिए, लेखकों ने कई उच्च-स्तरीय एल्गोरिदम और कम्प्यूटेशनल नवाचार लागू किए:

समरूपता के तहत द्वैत विवरण समस्या (Dual Description Problem under Symmetry): वोरोनोई के एल्गोरिदम में प्राथमिक बाधा "द्वैत विवरण समस्या" है—अर्थात, एक पॉलीहेड्रल कोन के एक्सट्रीम रेज़ (extreme rays - V-representation) से उसके फैसेट प्रतिनिधित्व (facet representation - H-representation) को पुनः प्राप्त करना। आयाम 9 में, फैसेट्स की संख्या ट्रिलियन तक पहुँच सकती है। लेखकों ने कोन के ऑटोमोर्फिज्म ग्रुप के तहत केवल फैसेट ऑर्बिट्स (facet orbits) की गणना करके इस समस्या को हल किया, जिससे खोज क्षेत्र (search space) काफी कम हो गया।
रिकर्सिव एडजसेंसी डीकंपोजिशन मेथड (ADM): उन्होंने पॉलीहेड्रल कोन्स के फेस लैटिस को पार करने के लिए ADM के एक रिकर्सिव संस्करण का उपयोग किया, जिससे उन्हें उच्च-इंसीडेंस मामलों (जहाँ न्यूनतम वेक्टरों की संख्या अधिक होती है) को संभालने में मदद मिली।
कैनोनिकल फंक्शन्स (Canonical Functions): अरबों लैटिस को संभालने के लिए, लेखकों ने क्वाड्रेटिक फॉर्म्स और पॉलीटोप्स के लिए अत्यधिक अनुकूलित कैनोनिकल फंक्शन्स विकसित किए। लैटिस आइसोमोर्फिज्म (isomorphism) की समस्या को वेटेड ग्राफ आइसोमोर्फिज्म (weighted graph isomorphism) की समस्या में बदलकर (जैसे Traces लाइब्रेरी का उपयोग करके), उन्होंने महंगे पेयरवाइज इक्विवेलेंस चेक को कुशल इक्वेलिटी चेक (हैशिंग के माध्यम से) में बदल दिया।
पैरेललाइजेशन (Parallelization): कार्यान्वयन को मैसेज पासिंग इंटरफेस (MPI) का उपयोग करके स्केल किया गया, जिससे कार्यभार सैकड़ों प्रोसेसों में वितरित किया गया। उन्होंने एक हैश-आधारित विभाजन योजना का उपयोग किया ताकि यह सुनिश्चित हो सके कि विभिन्न प्रोसेसों द्वारा पाए गए समतुल्य लैटिस सही ढंग से पहचाने और मर्ज किए गए हैं।
मेमोइज़ेशन (सेविंग बैंक): अनावश्यक गणनाओं से बचने के लिए, लेखकों ने जटिल, उच्च-इंसीडेंस रिज और फैसेट्स के द्वैत विवरणों को संग्रहीत और पुन: उपयोग करने के लिए एक "सेविंग बैंक" लागू किया।

3. मुख्य योगदान और परिणाम

यह शोध पत्र आयाम 9 में सभी परफेक्ट लैटिस का पूर्ण वर्गीकरण प्रदान करता है, जो कई ऐतिहासिक परिणाम देता है:

पूर्ण गणना (Complete Enumeration): लेखकों ने आयाम 9 में सभी 2,237,251,040 गैर-समान (non-similar) परफेक्ट लैटिस को सफलतापूर्वक सूचीबद्ध किया।
$\Lambda_9$ की इष्टतमता (Optimality): उन्होंने सिद्ध किया कि लैमिनेटेड लैटिस $\Lambda_9$ आयाम 9 में सबसे सघन लैटिस पैकिंग है। फलस्वरूप, उन्होंने आयाम 9 के लिए हर्मिट कांस्टेंट $\gamma_9 = 2$ निर्धारित किया।
किसिंग नंबर्स (Kissing Numbers): उन्होंने 9-आयामी लैटिस के लिए संभावित किसिंग नंबर्स (न्यूनतम वेक्टरों की संख्या) का पूर्ण वर्गीकरण प्रदान किया, जो दर्शाता है कि यह सेट सटीक रूप से $2 \cdot \{1, \dots, 91, 99, 120, \dots, 129, 136\}$ है।
संरचनात्मक गुण:
- उन्होंने सिद्ध किया कि कौक्सटर के लैटिस $A_9^2$ के एकमात्र अपवाद को छोड़कर, आयाम 9 में सभी परफेक्ट लैटिस के पास न्यूनतम वेक्टरों का एक आधार (basis) होता है।
- उन्होंने कौक्सटर के लैटिस $A_9^5$ को आयाम 9 में एकमात्र हॉलो परफेक्ट लैटिस (hollow perfect lattice) के रूप में पहचाना।
बर्गे-मार्तिनेट इनवेरिएंट (Bergé-Martinet Invariant): उन्होंने 18 द्वैत-चरम (dual-extreme) लैटिस की पहचान की और इस आयाम में बर्गे-मार्तिनेट इनवेरिएंट $\gamma'(L)$ के अधिकतम मान को निर्धारित किया।

4. महत्व

यह कार्य ज्यामिति में एक विशाल कम्प्यूटेशनल मील का पत्थर है। आयाम 9 में वोरोनोई के एल्गोरिदम को सफलतापूर्वक लागू करके, लेखकों ने ज्ञात गोला पैकिंग परिदृश्य में एक महत्वपूर्ण अंतर को पाट दिया है। उनके द्वारा विकसित पद्धतियाँ—विशेष रूप से समरूपता के तहत उच्च-इंसीडेंस पॉलीहेड्रा के द्वैत विवरण और अरबों वस्तुओं के लिए कैनोनिकल ग्राफ-आधारित हैशिंग का उपयोग—उच्च आयामों में लैटिस पैकिंग समस्याओं को हल करने के भविष्य के प्रयासों के लिए एक ब्लूप्रिंट प्रदान करती हैं। उनके 150GB डेटासेट और ओपन-सोर्स कार्यान्वयन का विमोचन उच्च-आयामी विविक्त संरचनाओं का अध्ययन करने की गणितीय समुदाय की क्षमता में और योगदान देता है।