Quasi-twisted codes and their connection with additive constacyclic codes over finite fields

यहाँ कनात अब्दुक़ालिकोव और ज्ञानेन्द्र के. वर्मा के शोध पत्र "Quasi-twisted codes and their connection with additive constacyclic codes over finite fields" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र कोडिंग थ्योरी की दो प्राथमिक चुनौतियों को संबोधित करता है:

1. संरचनात्मक लक्षण वर्णन (Structural Characterization): जबकि क्वासी-साइक्लिक कोड (quasi-cyclic codes) अच्छी तरह से समझे गए हैं, क्वासी-ट्विस्टेड (QT) कोड (एक सामान्यीकरण जिसमें साइक्लिक, कॉन्स्टासाइक्लिक और क्वासी-साइक्लिक कोड शामिल हैं) को चीनी शेष प्रमेय (Chinese Remainder Theorem - CRT) के माध्यम से उनके घटक कोडों में विभाजित किए बिना, एक बहुपद-आधारित दृष्टिकोण (polynomial-based approach) का उपयोग करके पूरी तरह से नहीं खोजा गया है। मौजूदा साहित्य या तो CRT अपघटन पर निर्भर है या एकल-जनरेटर (single-generator) QT कोड तक सीमित है।
2. द्वैतता और पत्राचार (Duality and Correspondence): एक परिमित क्षेत्र $\mathbb{F}_q$ पर क्वासी-ट्विस्टेड कोड और एक विस्तार क्षेत्र $\mathbb{F}_{q^l}$ पर एडिटिव कॉन्स्टासाइक्लिक कोड के बीच एक कठोर संबंध स्थापित करने की आवश्यकता है। विशेष रूप से, लेखक उनके संगत क्वासी-ट्विस्टेड कोडों के ज्ञात द्वैतों (duals) का लाभ उठाकर, एडिटिव कॉन्स्टासाइक्लिक कोडों के द्वैत (trace inner products के तहत) को निर्धारित करने का लक्ष्य रखते हैं।

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

लेखक कोड की संरचना का विश्लेषण करने के लिए एक बहुपद-आधारित बीजगणितीय दृष्टिकोण (polynomial-based algebraic approach) का उपयोग करते हैं। मुख्य कार्यप्रणाली चरण निम्नलिखित हैं:

• बहुपद प्रतिनिधित्व (Polynomial Representation): कोडों को घटक कोडों में विभाजित करने के बजाय, लेखक लंबाई $lm$और इंडेक्स$l$ वाले QT कोडों को $(\mathbb{F}_q[x]/\langle x^m - \lambda \rangle)^l$ के उप-मॉड्यूल (submodules) के रूप में निरूपित करते हैं। वे विशेष रूप से वहां ध्यान केंद्रित करते हैं जहाँ इंडेक्स $l=2$ है।
• जेनरेटर मैट्रिसेस (Generator Matrices): वे इंडेक्स 2 वाले QT कोडों को दो तत्वों वाले एक विशिष्ट बहुपद जनरेटर सेट (एक "हर्मिट नॉर्मल फॉर्म" शैली का आधार) का उपयोग करके लक्षणित करते हैं: $g_1 = (g_{11}(x), g_{12}(x))$ और $g_2 = (0, g_{22}(x))$।
• इनर प्रोडक्ट परिभाषाएँ (Inner Product Definitions): शोध पत्र तीन प्रकार के इनर प्रोडक्ट को परिभाषित करता है और उनका विश्लेषण करता है:
  • यूक्लिडियन (Euclidean): मानक डॉट प्रोडक्ट।
  • सिम्प्लेक्टिक (Symplectic): जिसे $\langle (a,b), (a',b') \rangle_s = \langle a, b' \rangle_e - \langle b, a' \rangle_e$ के रूप में परिभाषित किया गया है।
  • हर्मिटियन (Hermitian): संयुग्मन (conjugation) का उपयोग करके $\mathbb{F}_{q^2}$ पर परिभाषित।
  • ट्रेस इनर प्रोडक्ट्स (Trace Inner Products): विस्तार क्षेत्रों पर एडिटिव कोडों के लिए परिभाषित (Trace Euclidean और Trace Hermitian)।
• पत्राचार मानचित्रण (Correspondence Mapping): $\mathbb{F}_q$ पर लंबाई $2m$ के एक QT कोड $C$ और $\mathbb{F}_{q^2}$ पर लंबाई $m$ के एक एडिटिव कॉन्स्टासाइक्लिक कोड $C_A$ के बीच एक बाइजेक्शन $\phi$ का निर्माण किया गया है। यह मैपिंग $\mathbb{F}_{q^2}$ पर $\mathbb{F}_q$ के एक आधार $\{w_1, w_2\}$ पर निर्भर करती है।
• आधार चयन (Basis Selection): लेखक एडिटिव सेटिंग में ट्रेस इनर प्रोडक्ट्स और QT सेटिंग में मानक इनर प्रोडक्ट्स के बीच के संबंध को सरल बनाने के लिए लगभग स्व-द्वैत (almost self-dual) और स्व-द्वैत (self-dual) आधारों का उपयोग करते हैं।

3. प्रमुख योगदान (Key Contributions)

A. इंडेक्स-2 QT कोड का बहुपद लक्षण वर्णन

• प्रमेय 3.1 (Theorem 3.1): लेखक एक आवश्यक और पर्याप्त स्थिति प्रदान करते हैं कि क्या बहुपदों का एक सेट इंडेक्स 2 के QT कोड को उत्पन्न करता है। वे सिद्ध करते हैं कि ऐसा कोई भी कोड दो विशिष्ट बहुपदों द्वारा उत्पन्न होता है जो डिग्री बाधाओं और विभाज्यता शर्तों (जैसे, $g_{11}g_{22} \mid (x^m-\lambda)g_{12}$) को संतुष्ट करते हैं।
• एकल-जनरेटर स्थिति (Single-Generator Condition): वे स्थापित करते हैं कि इंडेक्स 2 का एक QT कोड एक एकल तत्व द्वारा तब उत्पन्न होता है जब $g_{11}(x)g_{22}(x) \equiv 0 \pmod{x^m - \lambda}$ हो (इस शर्त के तहत कि $\gcd(m,q)=1$)।

B. द्वैत कोडों का निर्धारण (Determination of Dual Codes)

शोध पत्र इंडेक्स-2 QT कोडों के द्वैत के लिए जेनरेटर्स का स्पष्ट रूप से निर्माण करता है:

• यूक्लिडियन द्वैत ($C^{\perp_e}$): प्रमेय 4.4 में व्युत्पन्न, जो मूल जेनरेटर्स के रेसिप्रोकल (reciprocal) बहुपदों के आधार पर द्वैत कोड के लिए स्पष्ट बहुपद जेनरेटर्स प्रदान करता है।
• सिम्प्लेक्टिक द्वैत ($C^{\perp_s}$): प्रमेय 5.1 में व्युत्पन्न, जो यह दर्शाता है कि सिम्प्लेक्टिक द्वैत मूल जेनरेटर्स के एक विशिष्ट क्रमपरिवर्तन (permutation) और रूपांतरण द्वारा कैसे उत्पन्न होता है।
• हर्मिटियन द्वैत ($C^{\perp_h}$): $\mathbb{F}_{q^2}$ पर कोडों के लिए प्रमेय 6.4 में व्युत्पन्न, जो कंजुगेट रेसिप्रोकल बहुपदों का उपयोग करता है।

C. स्व-ऑर्थोगोनालिटी स्थितियाँ (Self-Orthogonality Conditions)

लेखक यूक्लिडियन, सिम्प्लेक्टिक और हर्मिटियन इनर प्रोडक्ट के तहत एक QT कोड के स्व-ऑर्थोगोनल (स्व-लंबवत) होने के लिए आवश्यक और पर्याप्त शर्तें व्युत्पन्न करते हैं (प्रमेय 7.1, 7.2, 7.3)। ये शर्तें जेनरेटर्स और उनके रेसिप्रोकल/कंजुगेट्स से जुड़ी बहुपद संगति (congruences) के रूप में व्यक्त की गई हैं।

D. एडिटिव कॉन्स्टासाइक्लिक कोड के साथ पत्राचार

• एक-से-एक मैपिंग (One-to-One Mapping): शोध पत्र सिद्ध करता है कि $\mathbb{F}_q$ पर लंबाई $lm$और इंडेक्स$l$ के QT कोड, $\mathbb{F}_{q^l}$ पर लंबाई $m$ के एडिटिव कॉन्स्टासाइक्लिक कोड के समरूप (isomorphic) हैं।
• द्वैत तुल्यता (Dual Equivalence): यह शोध पत्र का सबसे महत्वपूर्ण सैद्धांतिक योगदान है। लेखक प्रदर्शित करते हैं कि:
  • एक एडिटिव कॉन्स्टासाइक्लिक कोड का ट्रेस यूक्लिडियन द्वैत, संगत QT कोड के यूक्लिडियन द्वैत के अनुरूप होता है (विशिष्ट आधार स्थितियों के तहत)।
  • एक एडिटिव कॉन्स्टासाइक्लिक कोड का ट्रेस हर्मिटियन द्वैत, संगत QT कोड के सिम्प्लेक्टिक द्वैत के अनुरूप होता है (जब $q$ सम हो) या एक स्केल्ड यूक्लिडियन द्वैत के अनुरूप होता है (जब $q$ विषम हो)।
• सामान्यीकरण (Generalization): ये परिणाम पिछले निष्कर्षों (जहाँ इंडेक्स $l=1$ था और केवल एडिटिव साइक्लिक कोड थे) को मनमाने इंडेक्स और कॉन्स्टासाइक्लिक सेटिंग्स तक विस्तारित करते हैं।

4. मुख्य परिणाम और उदाहरण (Key Results and Examples)

• स्पष्ट जेनरेटर्स (Explicit Generators): शोध पत्र द्वैत कोडों के लिए स्पष्ट सूत्र प्रदान करता है, जो पहले के साहित्य में पाए जाने वाले केवल अस्तित्व संबंधी प्रमाणों से आगे बढ़ता है।
• क्वांटम कोड निर्माण (Quantum Code Construction): व्युत्पन्न स्व-ऑर्थोगोनालिटी स्थितियों और CSS निर्माण पद्धति का उपयोग करते हुए, लेखक क्वांटम एरर-करेक्टिंग कोड का निर्माण करते हैं। उदाहरण 7.4 एक $[[10, 2, 4]]_4$ क्वांटम कोड का प्रदर्शन करता है जो QT कोड से प्राप्त हुआ है, जो सर्वोत्तम ज्ञात मापदंडों (parameters) से मेल खाता है।
• इष्टतम क्लासिकल कोड (Optimal Classical Codes): तालिका 1 और 2 टर्नरी (ternary) और क्वाटरनरी (quaternary) क्षेत्रों पर कई QT कोडों को सूचीबद्ध करती हैं जो बेस्ट नोन लीनियर कोड्स (BKLC) के मापदंडों से मेल खाते हैं।
• एडिटिव बनाम लीनियर श्रेष्ठता (Additive vs. Linear Superiority): उदाहरण 9.1 और तालिका 3 स्पष्ट करते हैं कि एडिटिव कॉन्स्टासाइक्लिक कोड ऐसे मापदंड (लंबाई, आकार, न्यूनतम दूरी) प्राप्त कर सकते हैं जिन्हें कोई भी लीनियर साइक्लिक कोड नहीं छू सकता। उदाहरण के लिए, $(71, 2^{106}, 8)_4$ मापदंडों वाला एक एडिटिव कोड मौजूद है, जबकि $[71, 53]_4$ मापदंडों वाला कोई लीनियर साइक्लिक कोड मौजूद नहीं है।

5. महत्व (Significance)

• एकीकृत ढांचा (Unified Framework): यह शोध पत्र क्वासी-ट्विस्टेड कोड और एडिटिव कॉन्स्टासाइक्लिक कोड के अध्ययन को एकीकृत करता है, यह दिखाते हुए कि विस्तार क्षेत्रों पर एडिटिव कोडों के द्वैत खोजने की जटिल समस्या को बेस फील्ड पर लीनियर कोडों के द्वैत खोजने की अधिक सुलभ समस्या में बदला जा सकता है।
• एल्गोरिद्मिक उपयोगिता (Algorithic Utility): द्वैत के लिए स्पष्ट बहुपद जेनरेटर्स प्रदान करके, ये परिणाम इन कोड परिवारों के लिए कुशल एन्कोडिंग और डिकोडिंग एल्गोरिदम को सुगम बनाते हैं।
• क्वांटम कोडिंग (Quantum Coding): निष्कर्ष क्वांटम स्टेबलाइजर कोडों के निर्माण के लिए एक मजबूत सैद्धांतिक आधार प्रदान करते, जो अत्यधिक स्व-ऑर्थोगोनल क्लासिकल कोडों पर निर्भर करते हैं।
• कोड निर्माण (Code Construction): इष्टतम मापदंडों वाले QT कोडों की पहचान और एडिटिव कोडों द्वारा लीनियर कोडों से बेहतर प्रदर्शन का प्रदर्शन, आधुनिक संचार और स्टोरेज सिस्टम में इन सामान्यीकृत कोड वर्गों के व्यावहारिक मूल्य को उजागर करता है।

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