🔢 mathematics

Embedding linear codes over Z4 into self-orthogonal codes

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

मूल लेखक: Junmin An, Jon-Lark Kim, San Ling

प्रकाशित 2026-06-09

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

CC BY 4.0

मूल लेखक: Junmin An, Jon-Lark Kim, San Ling

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

कल्पना कीजिए कि आप एक विशेष प्रकार के डिजिटल किले का डिज़ाइन तैयार कर रहे हैं। कोडिंग थ्योरी की दुनिया में, ये "किले" कोड (codes) हैं—जो संदेशों को विश्वसनीय रूप से भेजने के लिए उपयोग की जाने वाली गणितीय संरचनाएं हैं। कुछ कोड "स्व-लंबवत" (self-orthogonal) होते हैं, जो एक फैंसी तरीका है यह कहने का कि कोड में एक अंतर्निहित समरूपता (symmetry) होती है जहाँ संदेश का हर हिस्सा दूसरे हिस्से के विरुद्ध पूरी तरह से संतुलित होता है। यह समरूपता अधिक मजबूत, अधिक सुरक्षित कोड बनाने के लिए अविश्वसनीय रूप से उपयोगी है।

हालाँकि, आप अक्सर एक ऐसे कोड से शुरुआत करते हैं जो पूरी तरह से संतुलित नहीं होता है। यह शोध पत्र इस समस्या पर काम करता है: "हमारे मौजूदा, असंतुलित कोड को बिना अनावश्यक रूप से विशाल बनाए, उसे पूरी तरह से सममित (self-orthogonal) बनाने के लिए हमें कितने अतिरिक्त ईंटों (कॉलम) को जोड़ने की आवश्यकता है?"

लेखक एक विशिष्ट प्रकार की डिजिटल सामग्री के साथ काम कर रहे हैं जिसे $\mathbb{Z}_4$ कहा जाता है। $\mathbb{Z}_4$ को एक चार-तरफा पासे (जिसके चेहरे 0, 1, 2, 3 हैं) के रूप में समझें, न कि मानक बाइनरी कोड में उपयोग किए जाने वाले सामान्य दो-तरफा सिक्के (0 और 1) के बजाय।

यहाँ उनकी यात्रा और खोजों का सरल उपमाओं (analogies) का उपयोग करके विवरण दिया गया है:

1. "परछाई" की रणनीति (रेसिड्यू कोड्स)

लेखकों ने महसूस किया कि चार-तरफा $\mathbb{Z}_4$ कोड की कठिन पहेली को सुलझाना उनके "परछाई" को देखकर आसान हो जाता है।

उपमा: कल्पना करें कि आपका $\mathbb{Z}_4$ कोड एक जटिल 3D मूर्तिकला है। यदि आप उस पर प्रकाश डालते हैं, तो वह दीवार पर एक 2D परछाई बनाता है। यह परछाई रेसिड्यू कोड (residue code) (एक मानक बाइनरी कोड) कहलाती है।
खोज: पेपर यह सिद्ध करता है कि 3D मूर्तिकला को संतुलित करने के लिए आवश्यक न्यूनतम ईंटों का पता लगाने के लिए, आपको पहले उसकी 2D परछाई को संतुलित करना होगा। विशेष रूप से, उन्होंने पाया कि यदि परछाई एक बहुत ही सख्त तरीके से (जिसे "डबली ईवन" कहा जाता है) संतुलित है, तो आप अक्सर उस मूल 3D मूर्तिकला को संतुलित करने के लिए उस समाधान का उपयोग कर सकते हैं।

2. "डबली-ईवन" चुनौती

$\mathbb{Z}_4$ की समस्या को हल करने से पहले, उन्हें बाइनरी समस्या का एक कठिन संस्करण हल करना था: एक कोड को "डबली ईवन" बनाना।

उपमा: एक सामान्य संतुलित कोड में, प्रत्येक संदेश का भार (weight) एक सम संख्या होती है (जैसे 2, 4, 6)। एक "डबली ईवन" कोड में, भार को 4 का गुणज होना चाहिए (जैसे 4, 8, 12)।
परिणाम: उन्होंने किसी भी बाइनरी कोड को इस "डबली ईवन" अवस्था में बदलने के लिए आवश्यक अतिरिक्त ईंटों की संख्या का सटीक मानचित्रण किया। उन्होंने पाया कि एक सामान्य संतुलन के लिए आवश्यक न्यूनतम ईंटों से अधिक, आपको लगभग कभी भी दो अतिरिक्त ईंटों से अधिक की आवश्यकता नहीं होती है। उन्होंने हर संभावित परिदृश्य के लिए एक सटीक नियम पुस्तिका बनाई।

3. टाइट बाउंड्स (द "गोल्डिलॉक्स" ज़ोन)

$\mathbb{Z}_4$ कोड के लिए, लेखकों ने अतिरिक्त ईंटों की आवश्यकता के लिए एक "गोल्डिलॉक्स" रेंज स्थापित की।

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

4. "प्रेपाराटा" सफलता की कहानी

अपनी थ्योरी को सिद्ध करने के लिए, उन्होंने प्रेपाराटा कोड्स (Preparata codes) नामक कोड्स के एक प्रसिद्ध परिवार पर इसे लागू किया।

परिणाम: ठीक एक विशिष्ट पहेली को सुलझाने की तरह, उन्होंने इन विशिष्ट $\mathbb{Z}_4$ कोड्स को पूरी तरह से सममित बनाने के लिए आवश्यक ईंटों की सटीक संख्या की गणना की। इसने पुष्टि की कि उनकी "परछाई" रणनीति वास्तविक दुनिया के परिदृश्यों में काम करती है।

5. निर्माण एल्गोरिदम (द "लेगो किट")

अंत में, वे केवल सिद्धांत तक ही सीमित नहीं रहे; उन्होंने वास्तव में इन कोड्स का निर्माण करने के लिए एक उपकरण (एल्गोरिदम) बनाया।

यह कैसे काम करता है: यदि आपके पास एक ऐसा कोड है जहाँ "परछाई" का समाधान 3D समाधान से मेल खाता है, तो उनका एल्गोरिदम एक सटीक लेगो निर्देश मैनुअल की तरह कार्य करता है। यह आपके मौजूदा कोड को लेता है और आपको बताता है कि स्व-लंबवत (self-orthogonal) बनाने के लिए कौन से अतिरिक्त कॉलम जोड़ने हैं।
परिणाम: इस मैनुअल का उपयोग करके, उन्होंने 12 नए कोड बनाए जो एक प्रमुख डेटाबेस (Aydin's database) में उसी आकार के किसी भी पहले से ज्ञात कोड की तुलना में "मजबूत" (जिनका न्यूनतम अंतर/minimum distance अधिक है, जिसका अर्थ है कि वे अधिक त्रुटियों का पता लगा सकते हैं) हैं।

सारांश

संक्षेप में, यह शोध पत्र डिजिटल कोड को अपग्रेड करने के लिए एक मार्गदर्शिका है। लेखकों ने खोजा कि एक जटिल चार-तरफा कोड को अपग्रेड करने के लिए, आपको पहले उसके सरल दो-तरफा "परछाई" को देखना चाहिए। उन्होंने परछाई को संतुलित करने के सटीक नियम निर्धारित किए, जो बदले में आपको जटिल कोड को संतुलित करने के लिए सटीक जानकारी देते हैं। इन नियमों का उपयोग करके, उन्होंने एक विधि बनाई जिससे पहले से अज्ञात, श्रेष्ठ 12 नए कोड बनाए जा सके।

तकनीकी सारांश: $\mathbb{Z}_4$ पर लीनियर कोड्स को सेल्फ-ऑर्थोगोनल कोड्स में एम्बेड करना

समस्या विवरण
यह शोध पत्र $\mathbb{Z}_4$ पर दिए गए एक लीनियर कोड $C$ को न्यूनतम कॉलम जोड़कर एक सेल्फ-ऑर्थोगोनल कोड में एम्बेड करने की समस्या को संबोधित करता है। मुख्य उद्देश्य ऐसे सबसे छोटे एम्बेडिंग की लंबाई निर्धारित करना है, जिसे $n_s(C)$ द्वारा दर्शाया गया है, और स्पष्ट निर्माण विधियाँ प्रदान करना है। यह समस्या नए, उच्च-प्रदर्शन वाले कोड बनाने की आवश्यकता से प्रेरित है, क्योंकि $\mathbb{Z}_4$ पर सेल्फ-ऑर्थोगोनल कोड्स को ग्रे मैप (Gray map) के माध्यम से बाइनरी सेल्फ-डुअल कोड्स में विस्तारित किया जा सकता है, जो इष्टतम बाइनरी नॉन-लीनियर कोड्स (जैसे कि कर्डॉक, प्रेपाराटा, गोएथल्स) के निर्माण के लिए अत्यंत महत्वपूर्ण हैं।

कार्यप्रणाली
लेखकों का दृष्टिकोण एक रिडक्शन स्ट्रैटेजी (reduction strategy) पर आधारित है जो रेसिड्यू (residue) और टॉर्शन (torsion) कोड्स के माध्यम से $\mathbb{Z}_4$ पर कोड्स को बाइनरी कोड्स से जोड़ता है।

बाइनरी रिडक्शन: अध्ययन पहले बाइनरी लीनियर कोड्स के लिए सबसे छोटे डबली ईवन (doubly even) सेल्फ-ऑर्थोगोनल एम्बेडिंग की जांच करता है। इस एम्बेडिंग की लंबाई को $n_{de}(C)$ कहा जाता है। लेखक स्थापित करते हैं कि $n_{de}(C)$ , सबसे छोटे सेल्फ-ऑर्थोगोनल एम्बेडिंग लंबाई $n_s(C)$ से निकटता से संबंधित है, और इसमें अधिकतम 2 का अंतर होता है।
बाइनरी मामलों का वर्गीकरण: शोध पत्र सभी बाइनरी लीनियर कोड्स के लिए सटीक लंबाई $n_{de}(C)$ $n_{d e} (C)$ का पूर्ण वर्गीकरण करता है। इसमें शामिल है:
- कोड के हल (hull), $\text{Hull}(C)$ का विश्लेषण।
- ईवन (even) और ऑड-लाइक (odd-like) कोड्स के बीच अंतर करना।
- डबली ईवन कोडवर्ड्स की संख्या निर्धारित करने के लिए क्वाड्रेटिक फॉर्म्स और आर्फ इनवेरिएंट्स (Arf invariants) का उपयोग करना, जो यह तय करता है कि एम्बेडिंग लंबाई $n_s(C)$ के सापेक्ष 0, 1, या 2 से बढ़ेगी।
- विशेष रूप से एक्सटेंडेड हैमिंग कोड्स के लिए लंबाई निर्धारित करना।
$\mathbb{Z}_4$ पर लिफ्टिंग: $\mathbb{Z}_4$ पर एक कोड $C$ के लिए, लेखक कोड के प्रकार (जो $GG^T$ द्वारा जनरेट होता है, जहाँ $G$ जनरेटर मैट्रिक्स है) के आधार पर $n_s(C)$ पर बाउंड्स (bounds) प्राप्त करते हैं। वे सिद्ध करते हैं कि यदि रेसिड्यू कोड $\text{Res}(C)$ लीनियर कॉम्प्लीमेंट्री डुअल (LCD) है या विशिष्ट हल (hull) की शर्तों को पूरा करता है, तो $C$ की सबसे छोटी सेल्फ-ऑर्थोगोनल एम्बेडिंग लंबाई ठीक $\text{Res}(C)$ की सबसे छोटी डबली ईवन सेल्फ-ऑर्थोगोनल एम्बेडिंग लंबाई के बराबर होती है।
एल्गोरिद्मिक निर्माण: जब लंबाई की स्थिति $n_s(C) = n_{de}(\text{Res}(C))$ लागू होती है, तो $\mathbb{Z}_4$ पर फ्री कोड्स के लिए सभी संभावित सबसे छोटे सेल्फ-ऑर्थोगोनल एम्बेडिंग्स को बनाने के लिए एक एल्गोरिदम प्रस्तुत किया गया है। इसमें बाइनरी एम्बेडिंग्स को लिफ्ट करना और ऑर्थोगोनैलिटी सुनिश्चित करने के लिए $\mathbb{Z}_4$ पर विशिष्ट मैट्रिक्स समीकरणों को हल करना शामिल है।

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

बाइनरी वर्गीकरण: शोध पत्र किसी भी बाइनरी लीनियर कोड के लिए सबसे छोटे डबली ईवन सेल्फ-ऑर्थोगोनल एम्बेडिंग की सटीक लंबाई का पूर्ण वर्गीकरण प्रदान करता है, जिसमें ईवन और ऑड-लाइक मामले शामिल हैं, और संबद्ध क्वाड्रेटिक फॉर्म्स के आर्फ इनवेरिएंट का उपयोग किया गया है।
$\mathbb{Z}_4$ के लिए बाउंड्स: $\mathbb{Z}_4$ पर एक कोड के सबसे छोटे सेल्फ-ऑर्थोगोनल एम्बेडिंग की लंबाई के लिए टाइट बाउंड्स स्थापित किए गए हैं। विशेष रूप से, एक कोड जिसके जनरेटर मैट्रिक्स $G$ के लिए $\langle GG^T \rangle$ का प्रकार $4^a 2^b$ है, उसकी लंबाई $n_s(C)$ इस प्रकार संतुष्ट होती है: $n + a + b \leq n_s(C) \leq n + 3a + 2b$ ।
विशिष्ट कोड्स के लिए सटीक लंबाई: LCD रेसिड्यू कोड की स्थिति के तहत, लेखक क्वाटर्नरी प्रेपाराटा कोड्स के लिए सबसे छोटे सेल्फ-ऑर्थोगोनल एम्बेडिंग की सटीक लंबाई निर्धारित करते हैं। यह लंबाई उनके संगत बाइनरी एक्सटेंडेड हैमिंग कोड्स के समान ही दिखाई गई है।
निर्माण एल्गोरिदम: $\text{Res}(C)$ की स्थिति को संतुष्ट करने वाले $\mathbb{Z}_4$ पर फ्री कोड्स के लिए सबसे छोटे सेल्फ-ऑर्थोगोनल एम्बेडिंग्स को उत्पन्न करने के लिए एक कंस्ट्रक्टिव एल्गोरिदम प्रदान किया गया है।
नए कोड्स: BKLC (बेस्ट नोन लीनियर कोड्स) डेटाबेस और आयदिन के $\mathbb{Z}_4$ कोड डेटाबेस से कोड्स पर इस एल्गोरिदम को लागू करके, लेखकों ने समान लंबाई और रैंक के लिए आयदिन के डेटाबेस में मौजूद कोड्स की तुलना में अधिक न्यूनतम ली डिस्टेंस (minimum Lee distance) वाले बारह लीनियर कोड्स की पहचान की है।

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