The equivalent condition for GRL codes to be MDS, AMDS or self-dual

तकनीकी सारांश: GRL कोड के गैर-GRS MDS, AMDS, या स्व-द्वैत (Self-Dual) होने के लिए तुल्य स्थितियाँ

समस्या विवरण
अधिकतम दूरी पृथक (Maximum Distance Separable - MDS) और लगभग MDS (Almost MDS - AMDS) कोड, स्व-द्वैत कोड के साथ, महत्वपूर्ण बीजगणितीय गुण रखते हैं और संचार प्रणालियों, डेटा स्टोरेज, क्वांटम कोडिंग और क्रिप्टोग्राफी में व्यापक रूप से लागू होते हैं। जबकि रीड-सोलोमन (RS) कोड MDS कोड का एक सु well-known वर्ग है, ऐसे कोडों का निर्माण करना जो RS कोड के तुल्य नहीं हैं (non-RS), उपलब्ध कोड परिवारों की विविधता को बढ़ाने के लिए एक महत्वपूर्ण अनुसंधान क्षेत्र बना हुआ है। रोथ और लेम्पल [20], और तत्पश्चात वु एट अल. [21] और [22] द्वारा, RS कोड के जनरेटर मैट्रिक्स को दो या तीन अतिरिक्त कॉलमों के साथ बढ़ाकर विशिष्ट गैर-RS MDS कोडों का निर्माण किया गया था। यह शोध पत्र इन सामान्यीकृत कोडों (और उनके द्वैत/duals) के MDS, AMDS, या स्व-द्वैत गुणों को प्रदर्शित करने के लिए सटीक बीजगणितीय स्थितियाँ स्थापित करने और इन सामान्यीकृत संरचनाओं को और अधिक विस्तृत करने की आवश्यकता को संबोधित करता है।

कार्यप्रणाली (Methodology)
लेखक एक सामान्यीकृत रोथ-लेम्पल (Generalized Roth-Lempel - GRL) वर्ग को पेश करते हैं, जिसे $F_q$ पर $GRL_k(\alpha, v, A_{l \times l})$ के रूप में परिभाषित किया गया है। यह निर्माण [21] और [22] में उपयोग किए गए विशिष्ट संवर्धन मैट्रिसेस (augmentation matrices) को एक मनमाने इनवर्टिबल मैट्रिक्स $A_{l \times l} \in GL_l(F_q)$ से बदलकर इसे सामान्यीकृत करता है। विशेष रूप से, यह शोध पत्र $l=3$ के मामले पर केंद्रित है, जिसे $GRL_k(\alpha, v, A_{3 \times 3})$ कहा जाता है।

शोध कार्य निम्नलिखित तकनीकी दृष्टिकोणों का उपयोग करता है:

1. जनरेटर मैट्रिक्स विश्लेषण: लेखक $GRL_k(\alpha, v, A_{3 \times 3})$ कोड के लिए जनरेटर मैट्रिक्स $G_4$ को परिभाषित करते हैं, जो एक मानक वेंडरमंड-जैसे (Vandermonde-like) ढांचे से बना है जिसे $A_{3 \times 3}$ मैट्रिक्स से प्राप्त तीन कॉलमों द्वारा संवर्धित किया गया है।
2. Non-RS सत्यापन: कोड को non-RS सिद्ध करने के लिए, लेखक लेम्मा 5 (जनरेटर मैट्रिक्स प्रविष्टियों के माध्यम से RS कोड का एक लक्षण) का उपयोग करते हैं और यह प्रदर्शित करते हैं कि संवर्धित कॉलमों की विशिष्ट संरचना यह सुनिश्चित करती है कि जब $k > 3$ हो, तो कोड RS तुल्यता के लिए आवश्यक शर्तों को पूरा नहीं कर पाता है।
3. MDS और AMDS स्थितियाँ: लेम्मा 6 (जो कहता है कि एक $[n, k]$ कोड MDS है यदि और केवल यदि उसके जनरेटर मैट्रिक्स के किन्हीं भी $k$ कॉलमों का रैखिक स्वतंत्र होना अनिवार्य है) का उपयोग करते हुए, लेखक जनरेटर मैट्रिक्स द्वारा बनाए गए सभी संभावित $k \times k$ उप-मैट्रिसेस (submatrices) के डिटरमिनेंट्स का विश्लेषण करते हैं। इसमें संवर्धित कॉलमों ($u_1, u_2, u_3$) के उप-मैट्रिसेस में शामिल होने के संबंध में व्यापक केस विश्लेषण शामिल है।
4. पैरिटी-चेक मैट्रिक्स निर्माण: स्व-द्वैत विश्लेषण के लिए, लेखक GRL कोड के लिए एक स्पष्ट पैरिटी-चेक मैट्रिक्स $H_5$ व्युत्पन्न करते हैं। वे $G H^T = 0$ की ऑर्थोगोनैलिटी स्थिति को सत्यापित करने के लिए लेम्मा 4 (विपरीत अंतरों द्वारा भारित फील्ड तत्वों की घातों के योग के गुण) का उपयोग करते हैं।
5. स्व-द्वैतता मानदंड: स्व-द्वैतता ($C = C^\perp$) की स्थिति को यह आवश्यकता मानकर स्थापित किया जाता है कि जनरेटर मैट्रिक्स और पैरिटी-चेक मैट्रिक्स एक ही स्थान (space) को स्पैन करें, जिससे वेक्टर $v$ और मैट्रिक्स $A_{3 \times 3}$ पर विशिष्ट प्रतिबंध उत्पन्न होते हैं।

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

1. Non-RS गुण: प्रमेय 7 स्थापित करता है कि $k > 3$ के लिए, कोड $GRL_k(\alpha, v, A_{3 \times 3})$ सख्त रूप से गैर-GRS (Generalized Reed-Solomon) है, चाहे मापदंडों का चुनाव कुछ भी हो, बशर्ते $A_{3 \times 3} \in GL_3(F_q)$ हो।

2. Non-RS MDS के लिए तुल्य स्थितियाँ: प्रमेय 8 आवश्यक और पर्याप्त स्थितियाँ प्रदान करता है कि $GRL_k(\alpha, v, A_{3 \times 3})$ MDS होने के लिए। ये स्थितियाँ मूल्यांकन बिंदुओं $\alpha_i$ और $A_{3 \times 3}$ की प्रविष्टियों के उत्पादों के योगों से जुड़ी असमानताओं के रूप में व्यक्त की जाती हैं। विशेष रूप से, $k-1$ या $k-2$ के किसी भी उपसमुच्चय के लिए, मैट्रिक्स प्रविष्टियों से जुड़े कुछ बहुपद व्यंजक शून्य नहीं होने चाहिए।

   • कोरोलरी 10 और उदाहरण 11 एक विशिष्ट मैट्रिक्स रूप और $F_{11}$ पर एक ठोस उदाहरण के माध्यम से इन स्थितियों को स्पष्ट करते हैं, जिससे एक $[8, 4, 5]$ कोड प्राप्त होता है।

3. AMDS द्वैत (Duals) के लिए तुल्य स्थितियाँ: प्रमेय 12 यह निर्धारित करता है कि द्वैत कोड $GRL_k^\perp(\alpha, v, A_{3 \times 3})$ कब AMDS होगा। इसके लिए यह आवश्यक है कि जनरेटर मैट्रिक्स के किन्हीं भी $k-1$ कॉलम रैखिक रूप से स्वतंत्र हों, जबकि कम से कम $k$ कॉलमों का एक सेट आश्रित (dependent) हो। प्रमेय $A_{3 \times 3}$ की प्रविष्टियों और $\alpha_i$ के योगों से संबंधित छह विशिष्ट मामलों को सूचीबद्ध करता है।

   • कोरोलरी 13 और उदाहरण 14 $F_7$ पर एक विशिष्ट उदाहरण प्रदान करते हैं, जिसके परिणामस्वरूप एक $[8, 4, 4]$ कोड प्राप्त होता है।

4. पैरिटी-चेक मैट्रिक्स और स्व-द्वैतता: प्रमेय 16 GRL कोड के लिए पैरिटी-चेक मैट्रिक्स $H_5$ का निर्माण करता है। इस पर आधारित, प्रमेय 17 गैर-RS स्व-द्वैत होने के लिए तुल्य स्थिति प्रदान करता है। इन शर्तों के लिए आवश्यक है:

   • $n + 3 = 2k$ (आयाम प्रतिबंध)।
   • वेक्टर $v$ को विपरीत अंतरों के वेक्टर $u$ के समानुपाती होना चाहिए (अर्थात, $v_i = \lambda u_i$)।
   • मैट्रिक्स $A_{3 \times 3}$ को $\alpha_i$ और $\alpha_i^2$ के योगों से संबंधित एक विशिष्ट द्विघाती संबंध (quadratic relation) को संतुष्ट करना चाहिए।
   • उदाहरण 18 और 19 क्रमशः $F_{13}$ और $F_{19}$ पर ऐसे स्व-द्वैत कोडों के निर्माण का प्रदर्शन करते हैं। विशेष रूप से, उदाहरण 19 यह उजागर करता है कि स्व-द्वैत GRL कोड $q \equiv 3 \pmod 4$ के लिए भी निर्मित किए जा सकते हैं, जो एक ऐसा मामला है जहाँ [22] के पिछले स्व-द्वैत निर्माण सीमित थे।

महत्व
यह शोध पत्र दावा करता है कि यह विशिष्ट संवर्धन मैट्रिसेस के स्थान पर एक सामान्य इनवर्टिबल मैट्रिक्स $A_{3 \times 3}$ का उपयोग करके [21] और [22] के परिणामों को सामान्यीकृत करता है। मुख्य महत्व इस बात में निहित है कि यह एक एकीकृत ढांचा प्रदान करता है जिससे यह निर्धारित किया जा सके कि ये सामान्यीकृत कोड कब इष्टतम दूरी गुणों (MDS/AMDS) या स्व-द्वैतता को रखते हैं। लेखक स्पष्ट रूप से उल्लेख करते हैं कि उनके परिणाम [21] के प्रमेयों को विशेष मामलों के रूप में पुनः प्राप्त करते हैं। इसके अतिरिक्त, $q \equiv 3 \pmod 4$ के लिए स्व-द्वैत कोडों का निर्माण (उदाहरण 19) पिछले साहित्य के प्रतिबंधों से परे ऐसे कोडों की प्रयोज्यता का विस्तार करता है। यह निष्कर्ष निकाला गया है कि ये तुल्य स्थितियाँ संचार और क्रिप्टोग्राफी में अनुप्रयोगों के लिए वांछनीय गुणों वाले गैर-RS कोडों के व्यवस्थित निर्माण की अनुमति देती हैं।