The second minimum weight of Grassmann codes

कल्पना कीजिए कि एक ऐसी दुनिया है जो परमाणुओं से नहीं, बल्कि पैटर्न और रहस्यों से बनी है। यह कोडिंग थ्योरी (coding theory) का क्षेत्र है, जो गणित की एक ऐसी शाखा है जो हमारे डिजिटल जीवन के अदृश्य रक्षक के रूप में कार्य करती है। हर बार जब आप एक टेक्स्ट भेजते हैं, कोई मूवी स्ट्रीम करते हैं, या अपने बैंक खाते में लॉग इन करते हैं, तो आप लीनियर कोड्स (linear codes) पर भरोसा कर रहे होते हैं। इन कोड्स को एक विशेष भाषा के रूप में सोचें जहाँ संदेशों को संख्याओं की लंबी कतारों में अनुवादित किया जाता है। जादू क्या है? ये स्ट्रिंग्स इस तरह से डिज़ाइन की गई हैं कि यदि ट्रांसमिशन के दौरान स्टेटिक या शोर (noise) के कारण कुछ संख्याएँ गड़बड़ा भी जाएं, तो प्राप्तकर्ता फिर भी मूल संदेश का पता लगा सकता है। एक कोड की "मजबूती" को उसके न्यूनतम अंतर (minimum distance) द्वारा मापा जाता है: वह सबसे छोटी संख्या जिसे एक वैध संदेश को दूसरे में बदलने के लिए आवश्यक है। यह अंतर जितना बड़ा होगा, त्रुटियों (errors) का बिना पता चले घुसना उतना ही कठिन होगा।

इन कोड्स को और भी मजबूत बनाने के लिए, गणितज्ञ अल्जेब्रिक ज्योमेट्री (algebraic geometry) नामक ज्यामिति की एक शाखा से आकृतियों का उपयोग करते हैं। विशेष रूप से, वे ग्रासमैनियन (Grassmannians) नामक वस्तुओं का उपयोग करते हैं। यदि आप एक मानक 3D स्थान की कल्पना करें जहाँ एक रेखा 1D वस्तु है और एक सपाट शीट 2D वस्तु है, तो ग्रासमैनियन एक विशाल, बहु-आयामी "कैटलॉग" है जो एक बड़े स्थान के भीतर आपके द्वारा खींची जा सकने वाली प्रत्येक रेखा, शीट या उच्च-आयामी स्लाइस को सूचीबद्ध करता है। इन ज्यामितीय कैटलॉगों को डिजिटल प्रारूप में मैप करके, हमें ग्रासमसम कोड्स (Grassmann codes) प्राप्त होते हैं। ये शक्तिशाली हैं, लेकिन इनका प्रभावी ढंग से उपयोग करने के लिए, हमें उनकी सटीक सीमाएं जाननी होंगी: दो वैध संदेशों के बीच सबसे छोटा अंतर क्या है? और, महत्वपूर्ण रूप से, दूसरा सबसे छोटा अंतर क्या है? दूसरे सबसे छोटे अंतर को जानना एक किले की दूसरी सबसे अच्छी रक्षा पंक्ति को जानने जैसा है; यह हमें बताता है कि एक चतुर हमलावर कोड को सफलतापूर्वक तोड़ने के बिना उसके कितने करीब आ सकता है।

इस शोध पत्र में, लेखक मृण्मय दत्ता और तियासा दत्ता एक ऐसी पहेली को सुलझाते हैं जो आंशिक रूप से हल हो चुकी थी लेकिन जिसमें एक अंतराल बाकी था: ग्रासमसम कोड्स के दूसरे न्यूनतम भार (second minimum weight) को खोजना। जबकि न्यूनतम दूरी पहले से ही गणितज्ञ नोगिन (Nogin) के कारण ज्ञात थी, "उपविजेता" दूरी सामान्य मामलों के लिए एक रहस्य बनी हुई थी। लेखक नोगिन के मूल परिणाम का एक नया, स्वतंत्र प्रमाण प्रदान करते हैं, जो इन ज्यामितीय कैटलॉगों को काटने के एक चतुर नए तरीके का उपयोग करता है। इससे भी महत्वपूर्ण बात यह है कि वे सफलतापूर्वक दूसरे न्यूनतम अंतर की गणना करते हैं, जिससे एक सटीक सूत्र प्राप्त होता है जो बताता है कि एक "निकट-चूक" (near-miss) त्रुटि एक वैध संदेश के कितने करीब आ सकती है। वे सिद्ध करते हैं कि यह दूसरा-सर्वश्रेष्ठ अंतर हमेशा एक विशिष्ट, अनुमानित मान होता है, जो इन परिष्कृत त्रुटि-सुधार कोड्स के मानचित्र का एक लापता हिस्सा भर देता है।

कोड और दूसरे सर्वश्रेष्ठ की कहानी

यह समझने के लिए कि लेखकों ने क्या किया, आइए ग्रासमसम कोड को संख्याओं की एक स्ट्रिंग के रूप में नहीं, बल्कि एक विशाल, जटिल बगीचे के रूप में देखें। यह बगीचा हर संभव "उपस्थान" (subspace - एक प्रकार का सपाट स्लाइस) से भरा है। शोध पत्र की भाषा में, इस बगीचे को ग्रासमैनियन (Grassmannian) कहा जाता है, जिसे $G(\ell, V_m)$ द्वारा दर्शाया गया है।

अब, एक हाइपरप्लेन (hyperplane) की कल्पना एक विशाल, अदृश्य दीवार के रूप में करें जो इस बगीचे के माध्यम से काटती है। जब यह दीवार बगीचे को काटती है, तो यह कुछ पौधों (बिंदुओं) को काट देती है और अन्य को खड़ा छोड़ देती है। कोडिंग की भाषा में, एक कोड का "भार" (weight) इस बात से निर्धारित होता है कि दीवार कितने पौधों को हटाती है। कोड का न्यूनतम अंतर (minimum distance) उस दीवार के अनुरूप है जो वैध होने के बावजूद हटाए गए पौधों की न्यूनतम संख्या को हटाती है। नोगिन पहले ही खोज चुके थे कि "सर्वश्रेष्ठ" दीवारें (वे जो सबसे कम पौधे हटाती हैं) विशेष, अत्यधिक संरचित दीवारें हैं जिन्हें डिकम्पोजेबल (decomposable) दीवारें कहा जाता है। ये दीवारें एकदम सीधी, सरल कट की तरह हैं जो बगीचे के प्राकृतिक ग्रिड का अनुसरण करती हैं।

लेखकों का पहला काम नोगिन की खोज को एक नए उपकरण के साथ फिर से सिद्ध करना था। उन्होंने एक कॉम्बिनेटोरियल डिकंपोजिशन (combinatorial decomposition) पेश किया, जो बगीचे को देखने का एक नया तरीका है। पूरे बगीचे को एक साथ देखने के बजाय, उन्होंने एक छोटे, $(m-1)$-आयामी स्लाइस (एक उप-बगीचे) की कल्पना की और देखा कि बड़ा बगीचा इसके आसपास कैसे बना है। उन्होंने महसूस किया कि बड़ा बगीचा दो भागों से बना है: स्वयं उप-बगीचा, और उससे जुड़ी "स्ट्रिंग्स" या पट्टियों का एक संग्रह। यह विश्लेषण करके कि एक दीवार इन स्ट्रिंग्स और उप-बगीचे के साथ कैसे परस्पर क्रिया करती है, वे बहुत अधिक सटीकता के साथ पौधों की गणना कर सके। इस नई विधि ने पुष्टि की कि डिकंपोजेबल दीवारें वास्तव में वे हैं जो सबसे कम पौधे हटाती हैं, जिससे कोड को उसकी अधिकतम शक्ति मिलती है।

लेकिन असली रोमांच दूसरे न्यूनतम भार (second minimum weight) को खोजना था। यह प्रश्न है: "अगली सबसे अच्छी दीवार कौन सी है? यदि हम पूर्ण, डिकंपोजेबल दीवार का उपयोग नहीं कर सकते, तो वह कौन सी दीवार है जो दूसरे सबसे कम पौधे हटाती है?"

लेखकों ने पाया कि यदि कोई दीवार डिकंपोजेबल नहीं है (अर्थात, वह थोड़ी मुड़ी हुई या अनियमित है), तो वह पूर्ण दीवारों की तुलना में कम पौधे नहीं हटा सकती। उन्होंने सिद्ध किया कि "उपविजेता" दीवार एक विशिष्ट संख्या में पौधे हटाती है, जो न्यूनतम से थोड़ी अधिक है। उन्होंने इस दूसरे-सर्वश्रेष्ठ अंतर के लिए एक सूत्र खोजा: यह न्यूनतम अंतर है और $q$ (संख्या प्रणाली के आकार) की घातों वाला एक अतिरिक्त पद है। विशेष रूप से, यदि न्यूनतम अंतर $q^{\ell(m-\ell)}$ है, तो दूसरा न्यूनतम अंतर $q^{\ell(m-\ell)} + q^{\ell(m-\ell)-2}$ है।

इसे खोजने के लिए, उन्हें बगीचे के एक बहुत ही विशेष, थोड़े छोटे हिस्से को देखना पड़ा जिसे शुबर्ट वैरायटी (Schubert variety) कहा जाता है। इसे बगीचे के भीतर एक विशिष्ट, प्रतिबंधित क्षेत्र के रूप में सोचें जहाँ पौधे एक बहुत ही विशेष पैटर्न में उगते हैं। लेखकों ने दिखाया कि कोई भी "अपूर्ण" दीवार (जो डिकंपोजेबल नहीं है) इस विशेष क्षेत्र के साथ इस तरह से परस्पर क्रिया करती है कि वह पीछे कुछ पौधे छोड़ने के लिए मजबूर होती है। उन्होंने गणना की कि इस परिदृश्य में कितने पौधे पीछे रह जाते हैं, यह सिद्ध करते हुए कि किसी अन्य प्रकार की दीवार इससे बेहतर नहीं कर सकती।

यह शोध पत्र कठोर और पूर्ण है। लेखक केवल अनुमान या सिमुलेशन नहीं लगाते; वे एक गणितीय प्रमाण प्रदान करते हैं। वे दिखाते हैं कि किसी भी ग्रासमसम कोड के लिए जहाँ आयाम पर्याप्त बड़े हैं (विशेष रूप से, जहाँ स्लाइस का आकार $\ell$ कम से कम 2 और $m-2$ के बीच है), यह दूसरा न्यूनतम अंतर एक ठोस तथ्य है। उन्होंने उन विशिष्ट प्रकार की दीवारों की भी पहचान की जो इस दूसरे-सर्वश्रेष्ठ स्कोर को प्राप्त करती हैं, यह दिखाते हुए कि यह सीमा केवल एक सैद्धांतिक सीमा नहीं है बल्कि बगीचे में वास्तव में मौजूद है।

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

अंततः, दत्ता और दत्ता ने हमें ग्रासमसम कोड्स के परिदृश्य का एक स्पष्ट मानचित्र दिया है। उन्होंने सबसे मजबूत रक्षाओं के स्थान की पुष्टि की और दूसरी रक्षा पंक्ति की सटीक शक्ति को भी चिह्नित किया। यह इंजीनियरों और गणितज्ञों को इन कोड्स की सीमाओं को समझने में मदद करता है, जिससे यह सुनिश्चित होता है कि जब हम अपने डेटा की सुरक्षा के लिए सिस्टम बनाते हैं, तो हमें पता होता है कि वे सबसे चतुर प्रयासों के विरुद्ध कितने मजबूत हैं।