Two Families of Linear Codes Containing Non-GRS MDS Codes

यहाँ कानत अब्दुकलीखोव और ज्ञानेंद्र के. वर्मा के शोध पत्र "Two Families of Linear Codes Containing Non-GRS MDS Codes" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र उन मैक्सिमम डिस्टेंस सेपरेबल (MDS) कोड्स के निर्माण और वर्गीकरण को संबोधित करता है जो जनरलाइज्ड रीड-सोलोमन (GRS) कोड्स के समतुल्य नहीं हैं (non-GRS MDS कोड्स)।

• संदर्भ: MDS कोड्स दिए गए लंबाई और आयाम (dimension) के लिए त्रुटि सुधार क्षमता (error correction capability) के मामले में इष्टतम (optimal) होते हैं। जबकि GRS कोड्स सबसे प्रसिद्ध MDS कोड परिवारों में से एक हैं, वे लंबाई (अधिकतम $q+1$) में सीमित हैं और उनमें विशिष्ट बीजगणितीय संरचनाएँ होती हैं।
• प्रेरणा:
  • सैद्धांतिक (Theoretical): "MDS अनुमान" (MDS Conjecture) यह सुझाव देता है कि अधिकांश मापदंडों के लिए, सभी MDS कोड्स GRS कोड्स ही होते हैं। गैर-GRS MDS कोड्स को खोजना इस वर्गीकरण को चुनौती देता है और परिमित प्रक्षेपिक ज्यामिति (finite projective geometries) में आर्क्स (arcs) की समझ को विस्तृत करता है।
  • क्रिप्टोग्राफिक (Cryptographic): गैर-GRS MDS कोड्स उन विशिष्ट हमलों (जैसे Sidelnikov-Shestakov और Wieschebrink हमले) के विरुद्ध प्रतिरोध प्रदान करते हैं जो GRS कोड्स पर आधारित क्रिप्टोग्राफिक सिस्टम को तोड़ सकते हैं।
• अंतराल (Gap): मौजूदा निर्माणों (जैसे ट्विस्टेड रीड-सोलोमन कोड्स) का अध्ययन किया गया है, लेकिन लेखक विशिष्ट संरचनात्मक गुणों और स्पष्ट पैरिटी-चेक मैट्रिसेस (parity-check matrices) के साथ नए परिवारों की खोज करने का लक्ष्य रखते हैं।

2. कार्यप्रणाली (Methodology)

लेखक बीजगणितीय कोडिंग सिद्धांत (algebraic coding theory) की तकनीकों का उपयोग करते हैं, विशेष रूप से निम्नलिखित पर ध्यान केंद्रित करते हुए:

• जेनरेटर मैट्रिक्स संशोधन (Generator Matrix Modification): वे मानक GRS कोड के जेनरेटर मैट्रिसेस को संशोधित करके नए कोड का निर्माण करते हैं। विशेष रूप से, वे GRS कोड से जुड़े वैंडरमंड मैट्रिक्स (Vandermonde matrix) से विशिष्ट पंक्तियों को हटाते हैं और कुछ मामलों में उन्हें उच्च-डिग्री वाले मोनोमियल्स (monomials) से बदलते हैं।
• शूर स्क्वायर विधि (Schur Square Method): यह सिद्ध करने के लिए कि निर्मित कोड गैर-GRS (non-GRS) हैं, वे शूर (Hadamard) उत्पाद का उपयोग करते हैं।
  • मुख्य लेम्मा (Key Lemma): एक MDS कोड $C$ जिसका $\dim(C) \le (n-1)/2$ है, एक GRS कोड है यदि और केवल यदि $\dim(C \star C) = 2\dim(C) - 1$ है।
  • रणनीति: वे यह प्रदर्शित करते हैं कि उनके द्वारा निर्मित कोड्स के लिए, $\dim(C \star C) \ge 2\dim(C)$ है, जिससे यह सिद्ध होता है कि वे GRS नहीं हैं।
• सममित फलन (Symmetric Functions): विश्लेषण मुख्य रूप से एलिमेंट्री सिमेट्रिक फंक्शन्स ($\sigma_t$) और कम्पलीट सिमेट्रिक फंक्शन्स ($S_t$) पर निर्भर करता है ताकि पैरिटी-चेक मैट्रिसेस व्युत्पन्न किए जा सकें और MDS स्थितियों को स्थापित किया जा सके।
• स्व-लंबवतता/द्वैतता (Self-Orthogonality/Duality): वे इस बात की जांच करते हैं कि इन कोड्स को एक वेक्टर $v$ के साथ जेनरेटर मैट्रिक्स को स्केल करके स्व-लंबवत (self-orthogonal, $C \subseteq C^\perp$) या स्व-द्वैत (self-dual, $C = C^\perp$) कैसे बनाया जा सकता है।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

यह शोध पत्र दो अलग-अलग रैखिक कोड परिवारों को प्रस्तुत करता है, जिन्हें $C_{i,j}$ और $C_{h,k}$ के रूप में नामित किया गया है।

परिवार 1: कोड $C_{i,j}$

• निर्माण: इसे $G_{i,j}$ द्वारा जनित किया जाता है, जो $n$ लंबाई और $k+2$ आयाम वाले एक GRS कोड के जेनरेटर मैट्रिक्स से $(i+1)$-वीं और $(j+1)$-वीं पंक्ति को हटाकर प्राप्त किया जाता है।
• MDS स्थितियाँ: लेखक एक आवश्यक और पर्याप्त शर्त निकालते हैं कि $C_{i,j}$ MDS हो। यह शर्त मूल्यांकन बिंदुओं $\Lambda$ के उपसमुच्चयों के एलिमेंट्री सिमेट्रिक फंक्शन्स से संबंधित एक विशिष्ट डिटरमिनेंट के गैर-शून्य होने से जुड़ी है।
  • शर्त: सभी भिन्न उपसमुच्चयों $\beta \subset \Lambda$ के लिए $\sigma_{k-i}(\beta)\sigma_{k-j+1}(\beta) - \sigma_{k-i+1}(\beta)\sigma_{k-j}(\beta) \neq 0$।
• पैरिटी-चेक मैट्रिक्स: एक स्पष्ट पैरिटी-चेक मैट्रिक्स $H_{i,j}$ व्युत्पन्न किया गया है, जिसमें $u_m \Gamma_{i,m}$ के रूप में पद शामिल हैं, जहाँ $u_m$ व्युत्क्रम वैंडरमंड उत्पाद हैं और $\Gamma$ सिमेट्रिक फंक्शन्स से संबंधित है।
• गैर-GRS गुण: शूर स्क्वायर विधि का उपयोग करते हुए, वे $k$ के विशिष्ट रेंज (जैसे $k \ge 5$) और $n$ के लिए सिद्ध करते हैं कि ये कोड गैर-GRS हैं।
• स्व-द्वैतता (Self-Duality): वे शर्तें प्रदान करते हैं जिनके तहत $C_{i,j,v}$ स्व-द्वैत हो सकता है। विशेष रूप से, वे दिखाते हैं कि कुछ मापदंडों के लिए, स्व-द्वैत कोड तभी मौजूद होते हैं जब विशिष्ट सिमेट्रिक सम ($S_1, S_2, S_3$) शून्य होते हैं।

परिवार 2: कोड $C_{h,k}$

• निर्माण: इसे $G_{h,k}$ द्वारा जनित किया जाता है, जिसमें एक वैंडरमंड मैट्रिक्स (घात $0$से$k-2$) की पहली$k-1$पंक्तियाँ और एक अतिरिक्त पंक्ति जिसमें घात$h$(जहाँ$h \ge k-1$) है, शामिल है।
• MDS स्थितियाँ: कोड MDS होता है यदि और केवल यदि सभी भिन्न उपसमुच्चयों $\beta \subset \Lambda$ के लिए कम्पलीट सिमेट्रिक फंक्शन $S_{h-k+1}(\beta) \neq 0$ हो।
• पैरिटी-चेक मैट्रिक्स: एक संरचित पैरिटी-चेक मैट्रिक्स $H_{h,k}$ का निर्माण किया गया है, जिसमें सिमेट्रिक फंक्शन्स से प्राप्त गुणांक और व्युत्क्रम वैंडरमंड पद शामिल हैं।
• गैर-GRS गुण: लेखक यह सिद्ध करते हैं कि मापदंडों की एक विस्तृत श्रृंखला (जिसमें $h = k$ और $h > k$ के मामले भी शामिल हैं) के लिए ये कोड गैर-GRS हैं।
  • महत्व: टिप्पणी 4.1 रेखांकित करती है कि इन कोड्स का शूर स्क्वायर डायमेंशन अक्सर $2k+1$ या उससे अधिक होता है, जो अन्य ज्ञात गैर-GRS निर्माणों (जैसे [25, 23] में) से भिन्न है जिनका शूर स्क्वायर डायमेंशन $2k$ है।
• स्पष्ट निर्माण: शोध पत्र $(q/p)^{1/2}$ तक की लंबाई और यहाँ तक कि $q+2$ (सम विशेषता वाले क्षेत्रों के लिए) तक की लंबाई वाले गैर-GRS MDS कोड्स के स्पष्ट निर्माण प्रदान करता है, जो बहुपद आधारों (polynomial bases) पर आधारित विशिष्ट मूल्यांकन बिंदुओं का उपयोग करता है।

स्व-लंबवत और स्व-द्वैत गुण (Self-Orthogonal and Self-Dual Properties)

• शोध पत्र इस बात का लक्षण वर्णन करता है कि कब इन परिवारों को स्व-लंबवत या स्व-द्वैत बनने के लिए स्केल किया जा सकता है।
• प्रमेय 4.9 और सहवर्ती 4.10: दूसरे परिवार ($C_{h,k}$) के लिए, स्व-द्वैतता संभव है यदि और केवल यदि $r=1$ (जहाँ $h=k-1+r$) और विशिष्ट सिमेट्रिक सम शून्य हों। सम विशेषता वाले क्षेत्रों में, स्थिति सरल होकर $r=1$ और $S_1=0$ हो जाती है।
• उदाहरण: परिमित क्षेत्रों (जैसे $F_{17}, F_{25}, F_{37}$) पर कई ठोस उदाहरण दिए गए हैं जो विशिष्ट जेनरेटर मैट्रिसेस के साथ स्व-द्वैत और स्व-लंबवत कोड्स के निर्माण को प्रदर्शित करते हैं।

4. महत्व (Significance)

• कोड परिवारों का विस्तार: यह शोध पत्र गैर-GRS MDS कोड्स के दो नए अनंत परिवारों की सफलतापूर्वक पहचान करता है, जो MDS कोड्स के वर्गीकरण और परिमित प्रक्षेपिक स्थानों में आर्क्स के अध्ययन में योगदान देता है।
• क्रिप्टोग्राफिक प्रासंगिकता: स्पष्ट गैर-GRS MDS कोड्स के निर्माण प्रदान करके, यह कार्य उन क्रिप्टोग्राफिक स्कीमों के लिए नए उम्मीदवार प्रदान करता है जिन्हें GRS संरचनाओं को लक्षित करने वाले बीजगणितीय हमलों के विरुद्ध प्रतिरोध की आवश्यकता होती है।
• स्पष्ट पैरिटी-चेक मैट्रिसेस: कुछ पिछले कार्यों के विपरीत, जो केवल अस्तित्व सिद्ध करते हैं, यह शोध पत्र स्पष्ट पैरिटी-चेक मैट्रिसेस के सूत्र प्रदान करता है, जो व्यावहारिक डिकोडिंग एल्गोरिदम के लिए अत्यंत महत्वपूर्ण हैं।
• स्व-द्वैत निर्माण: इन परिवारों के भीतर स्व-द्वैत वेरिएंट का लक्षण वर्णन क्वांटम एरर करेक्शन (जहाँ स्व-लंबवत कोड्स आवश्यक हैं) और लैटिस थ्योरी (lattice theory) के लिए मूल्यवान है।
• भावी दिशाएँ: लेखक सुझाव देते हैं कि इन निर्माणों को मनमानी संख्या में पंक्तियों (दो से अधिक) को हटाने के लिए सामान्यीकृत करना एक स्वाभाविक लेकिन भविष्य के अनुसंधान के लिए काफी जटिल दिशा है।

संक्षेप में, यह शोध पत्र GRS समतुल्यता को तोड़ने वाले दो नए परिवारों का कठोर निर्माण और विश्लेषण करके MDS कोड के सिद्धांत को आगे बढ़ाता है, जो उनके गुणों और उपयोगिता को सत्यापित करने के लिए आवश्यक बीजगणितीय उपकरण (पैरिटी-चेक मैट्रिसेस, शूर स्क्वायर विश्लेषण) प्रदान करता है।