🔢 mathematics

New optimal linear codes over $\ZZ_4$

यह शोध पत्र $\mathbb{Z}_4$ पर रैखिक कोडों के लिए नवीन निर्माण विधियों को प्रस्तुत करता है जो नए इष्टतम कोड प्रदान करते हैं, विशेष रूप से $k_1=2, k_2=0$ के लिए सभी इष्टतम कोड और $k_1=3, k_2=0$ के लिए कई इष्टतम कोड निर्धारित करता है।

मूल लेखक: Hopein Christofen Tang, Djoko Suprijanto

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

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

CC BY 4.0

मूल लेखक: Hopein Christofen Tang, Djoko Suprijanto

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

कल्पना कीजिए कि आप एक शोर भरे कमरे में एक गुप्त संदेश भेज रहे हैं। यह सुनिश्चित करने के लिए कि आपका मित्र उसे सही ढंग से सुन ले, आप केवल शब्दों को चिल्लाते नहीं हैं; बल्कि आप उन्हें दोहराते हैं, उनकी पिच बदलते हैं, या अतिरिक्त "चेक" ध्वनियाँ जोड़ते हैं। डिजिटल संचार की दुनिया में, इसे कोडिंग थ्योरी (coding theory) कहा जाता है। यह सूचना को संख्याओं की स्ट्रिंग्स में पैक करने का विज्ञान है ताकि यदि थोड़ा सा स्टैटिक या हस्तक्षेप सिग्नल को खराब भी कर दे, तो भी प्राप्तकर्ता मूल संदेश को समझ सके।

लंबे समय तक, वैज्ञानिकों ने मुख्य रूप से सरल "ऑन/ऑफ" स्विच (जैसे 0 और 1) का उपयोग किया है, जो एक लाइट स्विच की तरह है जो या तो बंद होता है या चालू। लेकिन 1970 के दशक में, शोधकर्ताओं ने महसूस किया कि एक थोड़े अधिक जटिल स्विच का उपयोग करना—जो चार अलग-अलग अवस्थाओं (0, 1, 2, या 3) में हो सकता है—अधिक स्मार्ट और कुशल संदेश बना सकता है। यह $\mathbb{Z}_4$ कोड्स की दुनिया है। इसे एक ट्रैफिक लाइट की तरह समझें जो केवल "रुकें" या "चलें" नहीं कहती, बल्कि "सावधानी" और "धीरे चलें" भी बताती है ताकि ड्राइवर को सूक्ष्मता मिल सके। गणितज्ञों का लक्ष्य "परफेक्ट" कोड खोजना है: एक ऐसा कोड जो जितना संभव हो उतना छोटा हो (स्थान बचाने के लिए) लेकिन जिसमें सबसे मजबूत "त्रुटि-पता लगाने की सुपरपावर" (error-detecting superpower) हो (गलतियों को ठीक करने के लिए)। इस सुपरपावर को न्यूनतम दूरी (minimum distance) कहा जाता है। वैध संदेशों के बीच की दूरी जितनी अधिक होगी, शोर द्वारा गलती से एक वैध संदेश को दूसरे वैध संदेश में बदलना उतना ही कठिन होगा।

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

एक परफेक्ट संदेश की कहानी

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

इस शोध पत्र के लेखक चार अक्षरों वाले एक विशेष प्रकार के गणितीय वर्णमाला के साथ काम कर रहे हैं: 0, 1, 2 और 3। अतीत में, लोग मुख्य रूप से केवल 0 और 1 का उपयोग करते थे। लेकिन चार अक्षरों का उपयोग करने से अधिक जटिल और कुशल कोड बनाना संभव होता है। एक कोड की "सुरक्षा" को ली दूरी (Lee distance) द्वारा मापा जाता है। आप इसे एक वैध कोड को दूसरे वैध कोड में बदलने के लिए आवश्यक "प्रयास" के रूप में सोच सकते हैं। यदि दूरी कम है, तो एक छोटी सी गलती (जैसे 1 का 2 में बदलना) गलती से आपके गुप्त संदेश को पूरी तरह से एक अलग, वैध संदेश में बदल सकती है, और आपके मित्र को कभी पता नहीं चलेगा। यदि दूरी बहुत अधिक है, तो इसे बिगाड़ने के लिए आपको बहुत सारी गलतियाँ करनी होंगी, इसलिए कोड बहुत मजबूत होता है।

यह शोध पत्र दो मुख्य चुनौतियों पर काम करता है। पहला, लेखक इन कोड्स के लिए एक "स्पीड लिमिट" सिद्ध करना चाहते थे। एक प्रसिद्ध नियम (जिसे प्लॉटकिन बाउंड (Plotkin bound) कहा जाता है) कहता है, "आप एक कोड को इससे छोटा नहीं बना सकते बिना उसे कमजोर किए।" लेखकों ने उनके चार-अक्षर वाले वर्णमाला के लिए इस नियम को सिद्ध करने का एक नया, बहुत सरल तरीका खोजा है। यह दिखाने जैसा है कि एक कार दुर्घटनाग्रस्त हुए बिना कितनी तेज नहीं चल सकती, लेकिन इसे एक जटिल भौतिकी समीकरण के बजाय एक सरल तर्क पहेली के माध्यम से करना।

दूसरा, और सबसे महत्वपूर्ण, वे इन सीमाओं के बिल्कुल करीब फिट होने वाले सर्वोत्तम कोड बनाना चाहते थे। इन्हें इष्टतम कोड (optimal codes) कहा जाता है। ये "गोल्डिलॉक्स" कोड हैं: न बहुत लंबे, न बहुत कमजोर, बल्कि बिल्कुल सही।

नए कोड्स का निर्माण

लेखकों ने केवल एक या दो अच्छे कोड नहीं खोजे; उन्होंने उनके लिए एक पूरा कारखाना बनाया। उन्होंने कई नए निर्माण तरीके पेश किए, जो विभिन्न सामग्रियों को मिलाकर एक परफेक्ट कोड बनाने की रेसिपी की तरह हैं।

उनकी एक प्रमुख खोज एक विशिष्ट प्रकार का कोड है जहाँ प्रत्येक गैर-शून्य संदेश की शक्ति बिल्कुल समान होती है। वे इन्हें कॉन्स्टेंट वेट (constant weight) कोड कहते हैं। एक ऐसी सुपरहीरो टीम की कल्पना करें जहाँ टीम के प्रत्येक सदस्य के पास ठीक एक ही स्तर की सुपरपावर है। यह टीम को अविश्वसनीय रूप से अनुमानित और मजबूत बनाता है। लेखकों ने सिद्ध किया कि किसी भी आकार के कोड के लिए, वे इस तरह की परफेक्ट टीम बना सकते हैं।

इसके बाद उन्होंने इन परफेक्ट टीमों को बिल्डिंग ब्लॉक्स के रूप में उपयोग किया। उन्होंने दिखाया कि यदि आप दो अच्छे कोड लेते हैं और उन्हें अगल-बगल जोड़ देते हैं, तो आपको एक नया, लंबा कोड मिलता है जो अभी भी बहुत मजबूत होता है। उन्होंने यह भी दिखाया कि कैसे एक कोड को "खींचा" जा सकता है, जिससे वह चार गुना लंबा हो जाता है लेकिन उसकी ताकत आनुपातिक बनी रहती है। इस प्रक्रिया को बार-बार दोहराकर, उन्होंने नए कोड्स की एक विशाल सूची तैयार की।

परिणाम: रिकॉर्ड तोड़ना

लेखकों ने अपने नए व्यंजनों (recipes) का परीक्षण ज्ञात कोड्स के "हॉल ऑफ फेम" के विरुद्ध किया, जो अन्य गणितज्ञों द्वारा बनाए रखा गया एक डेटाबेस है। उन्होंने पाया कि एक विशिष्ट संरचना वाले कोड्स के लिए (जहाँ कोड का पहला भाग 2 "फ्री" आयामों वाला है और दूसरा भाग 0 वाला है), उन्होंने सभी इष्टतम कोड खोज लिए। इसका अर्थ है कि उन्होंने केवल एक अच्छा कोड नहीं खोजा; उन्होंने उस विशिष्ट आकार के लिए प्रत्येक संभावित सर्वोत्तम कोड खोज लिया।

एक थोड़ी अलग संरचना के लिए (जहाँ पहला भाग 3 आयामों वाला है), उन्होंने कई नए कोड खोजे जो पहले से ज्ञात किसी भी चीज़ से बेहतर थे। वास्तव में, कई लंबाई के लिए, उनके नए कोड्स में पिछले चैंपियनों की तुलना में उच्च "सुरक्षा दूरी" थी। उन्होंने ऐसे कोड भी खोजे जो इतने अच्छे थे कि वे "प्लॉटकिन-ऑप्टिमल" थे, जिसका अर्थ है कि वे सैद्धांतिक गति सीमा के जितना संभव हो सके उतने करीब थे।

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

यह क्यों महत्वपूर्ण है

एक जिज्ञासु किशोर को चार-अक्षर वाले कोड की परवाह क्यों होनी चाहिए? क्योंकि जब भी आप टेक्स्ट भेजते हैं, वीडियो स्ट्रीम करते हैं, या फ़ाइल डाउनलोड करते हैं, तो ये कोड बैकग्राउंड में काम कर रहे होते हैं ताकि आपका डेटा बिना किसी त्रुटि के पहुँचे। ये कोड जितने कुशल और मजबूत होंगे, हमारी डिजिटल दुनिया उतनी ही तेज़ और विश्वसनीय बनेगी।

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

अंत में, यह शोध पत्र सरल, चतुर सोच की शक्ति का प्रमाण है। समस्या को छोटे, प्रबंधनीय बिल्डिंग ब्लॉक्स में तोड़कर और एक नए दृष्टिकोण के साथ खेल के नियमों को सिद्ध करके, लेखकों ने नए, इष्टतम कोडों का एक खजाना खोल दिया है जो हमारे डिजिटल संवादों को स्पष्ट और सुरक्षित रखने में मदद करेंगे।

तकनीकी सारांश: $\mathbb{Z}_4$ पर नई इष्टतम रैखिक कोड (Optimal Linear Codes)

समस्या विवरण
यह शोध पत्र $\mathbb{Z}_4$ (पूर्णांकों के मॉड्यूलो 4) पर रैखिक कोडों के निर्माण को संबोधित करता है जिनका न्यूनतम ली दूरी (minimum Lee distance) इष्टतम हो। हालांकि परिमित वलयों (finite rings) पर रैखिक कोडों को समझने में महत्वपूर्ण प्रगति हुई है, विशेष रूप से हैमन्स और अन्य [16] के कार्य के माध्यम से जो उन्हें गैर-रैखिक बाइनरी कोडों से जोड़ते हैं, लेकिन इष्टतम रैखिक कोडों (विशेष रूप से वे जो स्व-द्वैत/self-dual नहीं हैं) का सीधा निर्माण अभी भी अपने प्रारंभिक चरणों में है। मौजूदा साहित्य, जैसे कि आयडिन और असमोव [3, 4] का डेटाबेस, गैर-स्व-द्वैत इष्टतम कोडों पर सीमित परिणाम प्रस्तुत करता है। अन्य परिमित वलयों से ग्रे मैप्स (Gray maps) के माध्यम से अप्रत्यक्ष रूप से प्राप्त कोड अक्सर उप-इष्टतम (suboptimal) न्यूनतम दूरियों से ग्रस्त होते हैं। लेखक इन $\mathbb{Z}_4$ पर नए रैखिक कोडों को उत्पन्न करने के लिए प्रत्यक्ष निर्माण विधियों को विकसित करके इस अंतर को भरने का लक्ष्य रखते हैं, जो उच्चतम ज्ञात न्यूनतम ली दूरियों को प्राप्त करते हैं या सैद्धांतिक सीमाओं को पूरा करते हैं।

कार्यप्रणाली
लेखक ज्ञात कोडों से नए कोड उत्पन्न करने के लिए सैद्धांतिक सीमांकन (theoretical bounding) और पुनरावर्ती मैट्रिक्स निर्माण (recursive matrix construction) तकनीकों के संयोजन का उपयोग करते हैं:

सैद्धांतिक सीमाएँ (Theoretical Bounds):
- शोध पत्र $\mathbb{Z}_4$ पर रैखिक कोडों के न्यूनतम ली दूरी के लिए एक प्लॉटकिन-प्रकार की सीमा (Plotkin-type bound) का एक प्रारंभिक प्रमाण प्रदान करता है। यह सीमा $d_L \leq \frac{|C|}{|C|-1}n$ द्वारा दी गई है।
- इस ऊपरी सीमा के निकटतम न्यूनतम दूरी वाले कोडों को प्लॉटकिन-इष्टतम (Plotkin-optimal) के रूप में परिभाषित किया गया है।
- लेखक सिंगलटन-प्रकार की ली दूरी सीमा (डॉघर्टी और शिरोमोटो [14]) का भी संदर्भ देते हैं, लेकिन नोट करते हैं कि मैक्सिमम ली डिस्टेंस सेपरेबल (MLDS) कोड (जो सिंगलटन सीमा को पूरा करते हैं) केवल मामूली मामलों को छोड़कर अस्तित्व में नहीं हैं। फलस्वरूप, ध्यान प्लॉटकिन-इष्टतमता पर केंद्रित होता है।
निर्माण विधियाँ (Construction Methods):
लेखक ज्ञात कोडों से नए कोड बनाने के लिए कई पुनरावर्ती और कॉम्बिनेटरियल निर्माण विधियों को पेश करते हैं:
- आधार कोड (Base Codes): एक कोड परिवार $C(k_1, k_2)$ को परिभाषित किया गया है जिसके जनरेटर मैट्रिसेस में $\mathbb{Z}_4^{k_1} \times (2\mathbb{Z}_4)^{k_2}$ के सभी संभावित गैर-शून्य वेक्टर शामिल हैं। इन कोडों को स्थिर ली भार (constant Lee weight) के साथ प्लॉटकिन-इष्टतम दिखाया गया है।
- निर्माण A (संयोजन/Concatenation): दो कोड $C_1$ और $C_2$ को जनरेटर मैट्रिक्स $[G_1 | G_2]$ के माध्यम से संयोजित करके एक कोड बनाना जिसकी लंबाई $n(C_1) + n(C_2)$ है और न्यूनतम दूरी कम से कम $d_L(C_1) + d_L(C_2)$ है।
- निर्माण B (विस्तार/Expansion): एक बड़े कोड को बनाने के लिए जनरेटर मैट्रिक्स $G$ का पुनरावर्ती विस्तार। विशेष रूप से, विशिष्ट पंक्ति जोड़नों के साथ $G$ को तीन बार स्टैक करने से लंबाई $4n$ वाले कोड प्राप्त होते हैं, जबकि विशिष्ट जोड़नों के साथ दो बार स्टैक करने से लंबाई $2n$ वाले कोड प्राप्त होते हैं।
- उपलब्ध निष्कर्ष निर्माण (Corollary Constructions): लेखक विशिष्ट पैरामीटर सेटों के लिए, विशेष रूप से मुक्त रैखिक कोडों (जहाँ $k_2 = 0$ ) के लिए परिवारों को उत्पन्न करने हेतु इन विधियों को लागू करने वाले विशिष्ट उप-निष्कर्ष (Construction 1 से 4) प्राप्त करते हैं।

मुख्य योगदान और परिणाम
इस कार्य के प्राथमिक योगदान इन निर्माण विधियों की प्रस्तुति और नए इष्टतम कोडों का उत्पादन है:

नए इष्टतम कोड: लेखक कई नए मुक्त रैखिक कोडों का सफलतापूर्वक निर्माण करते हैं जिनमें उच्चतम ज्ञात न्यूनतम ली दूरियाँ होती हैं।
विशिष्ट पैरामीटर सेट:
- मामला $k_1 = 2, k_2 = 0$ : लेखकों ने इस पैरामीटर सेट के लिए सभी इष्टतम कोड निर्धारित किए हैं। उन्होंने पाया कि प्लॉटकिन सीमा और प्राप्त इष्टतम कोडों की वास्तविक न्यूनतम ली दूरी के बीच का अंतर 1 से अधिक नहीं है।
- मामला $k_1 = 3, k_2 = 0$ : लेखकों ने इस सेट के लिए कई नए इष्टतम और लगभग इष्टतम कोडों का निर्माण किया है, जो पहले डेटाबेस [4] में अज्ञात थे। इस मामले के लिए, सीमा और प्राप्त दूरी के बीच का अंतर 2 से अधिक नहीं है।
दो-भार वाले कोड (Two-Weight Codes): शोध पत्र प्रस्तावित निर्माणों का उपयोग करके मुक्त इष्टतम दो-भार वाले कोडों (ठीक दो गैर-शून्य भार वाले कोड) के अस्तित्व को प्रदर्शित करता है।
डेटाबेस सुधार: परिणाम आयडिन और असमोव के डेटाबेस [3, 4] में महत्वपूर्ण योगदान देते हैं, जो $k_1=2$ के लिए लंबाई $n$ अपत $61 $तक और$ k_1=3 $के लिए$ 66$ तक के अपडेटेड प्रविष्टियाँ प्रदान करते हैं।

महत्व और दावे
शोध पत्र का दावा है कि इसका महत्व $\mathbb{Z}_4$ पर रैखिक कोडों के लिए प्रत्यक्ष निर्माण विधियों प्रदान करने के लिए (ग्रे मैप्स और स्व-द्वैत कोडओं पर निर्भरता से परे जाकर) है। प्लॉटकिन-प्रकार की सीमा के लिए एक सरल प्रमाण स्थापित करके और इसे "प्लॉटकिन-इष्टतम" कोडों को परिभाषित करने के लिए उपयोग करके, लेखक प्रदर्शन की सैद्धांतिक सीमा के करीब कोडों को व्यवस्थित रूप से उत्पन्न करने के लिए एक ढांचा प्रदान करते हैं।

लेखक विनम्रतापूर्वक नोट करते हैं कि जहाँ उन्होंने $k_1=2$ के मामले को पूरी तरह से हल कर लिया है और $k_1=3$ के लिए पर्याप्त प्रगति की है, वहीं उच्च $k_1$ के लिए सामान्य समस्या अभी भी खुली है। वे $a$ और $b$ स्थिरांकों वाले एक विशिष्ट असमानता को संतुष्ट करने वाली न्यूनतम दूरियों वाले मुक्त रैखिक कोडों के अस्तित्व के संबंध में एक अनुमान (conjecture) प्रस्तावित करते हैं। इसके अतिरिक्त, लेखक संकेत देते हैं कि उनकी विधियों और सीमाओं को वलयों $\mathbb{Z}_{2^r}$ के लिए सामान्यीकृत किया जा रहा है, जो एक परिणाम है जिसे वे अलग से प्रकाशित करने की योजना बना रहे हैं। शोध पत्र निष्कर्ष निकालता है कि उनके नए प्लॉटकिन-इष्टतम कोडों पर ग्रे मैप को लागू करने से दिलचस्प बाइनरी कोड प्राप्त हो सकते हैं, जो आगे की जांच के लिए एक संभावित मार्ग का सुझाव देता है।

एक परफेक्ट संदेश की कहानी

नए कोड्स का निर्माण

परिणाम: रिकॉर्ड तोड़ना

यह क्यों महत्वपूर्ण है

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