On the structure of constacyclic codes over finite chain rings

तकनीकी सारांश: परिमित शृंखला वलयों (Finite Chain Rings) पर कॉन्स्टसाइक्लिक कोड की संरचना पर

समस्या विवरण
यह शोध पत्र एक परिमित शृंखला वलय (FCR) $R$ पर किसी भी लंबाई $\ell$ के $\lambda$-कॉन्स्टसाइक्लिक कोड्स के संरचनात्मक लक्षण वर्णन को संबोधित करता है। जबकि परिमित क्षेत्रों (finite fields) और विशिष्ट लंबाई (जैसे कि प्राइम पावर या विशेषता के सह-अभाज्य लंबाई) पर चक्रीय (cyclic) और कॉन्स्टसाइक्लिक कोड्स को समझने में महत्वपूर्ण प्रगति हुई है, सामान्य FCRs पर किसी भी लंबाई के कोड्स के जनरेटरों (generators), उनके न्यूनतम विस्तार सेट्स (minimal spanning sets) और रैंक के लिए एक व्यापक स्पष्ट निर्माण (explicit construction) अभी भी विकास की आवश्यकता वाला क्षेत्र बना हुआ था। इसके अतिरिक्त, यह शोध पत्र इन कोड्स के लिए रैंक के संदर्भ में अधिकतम हैमिंग दूरी (Maximum Hamming Distance with respect to Rank - MHDR) और अधिकतम दूरी पृथक्करण (Maximum Distance Separable - MDS) गुणों को प्राप्त करने के लिए आवश्यक और पर्याप्त स्थितियाँ स्थापित करने का प्रयास करता है, जो पिछले परिणामों का विस्तार करते हैं जो अक्सर विशिष्ट रिंग संरचनाओं या कोड लंबाई तक सीमित थे।

कार्यप्रणाली
लेखक परिमित क्रमविनिमेय शृंखला वलयों (finite commutative chain rings) और बहुपद रिंगों (polynomial rings) के सिद्धांत में निहित बीजगणितीय तकनीकों का उपयोग करते हैं। कार्यप्रणाली निम्नलिखित तार्किक चरणों के माध्यम से आगे बढ़ती है:

1. बीजगणितीय ढांचा: अध्ययन एक FCR $R$ की संरचना का उपयोग करता है, जो एक अद्वितीय अधिकतम आदर्श (maximal ideal) $\langle \gamma \rangle$ द्वारा अभिलक्षित है जिसकी शून्यता सूचकांक (nilpotency index) $\rho$ है और अवशेष क्षेत्र (residue field) $F_q$ है। रिंग $R[x]/\langle x^\ell - \lambda \rangle$ को परिवेश स्थान (ambient space) के रूप में पहचाना जाता है जहाँ $\lambda$-कॉन्स्टसाइक्लिक कोड्स, आदर्शों (ideals) के अनुरूप होते हैं।
2. जनरेटर निर्माण: मुख्य विधि एक कोड $C$ के लिए जनरेटरों का एक सेट $\{f_0(x), f_1(x), \dots, f_s(x)\}$ के निर्माण की है। यह एक कोड (या कोड और पूर्व में चयनित बहुपदों द्वारा जनित आदर्श के बीच के अंतर) से न्यूनतम डिग्री वाले बहुपदों को पुनरावृत्ति (iteratively) से चुनकर किया जाता है। एक महत्वपूर्ण चयन मानदंड अग्रणी गुणांक (leading coefficient) में $\gamma$ की शक्ति है; विशेष रूप से, लेखक ऐसे बहुपद चुनते हैं जिनमें $\gamma$ की शक्ति सख्ती से घटती है ($r_0 > r_1 > \dots > r_s$) जबकि डिग्री सख्ती से बढ़ती है ($n_0 < n_1 < \dots < n_s$)।
3. टोरशन कोड्स (Torsion Codes): विश्लेषण अवशेष क्षेत्र $F_q$ पर परिभाषित टोरशन कोड्स, $Tori(C)$की अवधारणा का लाभ उठाता है। शोध पत्र$R$ पर कोड के जनरेटरों और इन टोरशन कोड्स के जनरेटर बहुपदों के बीच एक सीधा संबंध स्थापित करता है।
4. रैंक और विस्तार सेट व्युत्पत्ति: निर्मित जनरेटरों का उपयोग करते हुए, लेखक एक न्यूनतम विस्तार सेट $S$ व्युत्पन्न करते हैं, जो क्रमिक जनरेटरों के डिग्री के अंतर द्वारा निर्धारित डिग्री तक जनरेटरों के शिफ्ट (shifts) लेकर प्राप्त किया जाता है।
5. MHDR और MDS लक्षण वर्णन: एक कोड के लिए MHDR या MDS होने की स्थितियाँ $F_q$ पर इसके शून्य-वें टोरशन कोड $Torr_0(C)$ के गुणों के साथ संबंध स्थापित करके व्युत्पन्न की जाती हैं।

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

• स्पष्ट जनरेटर निर्माण: यह शोध पत्र किसी भी लंबाई $\ell$ के FCR पर किसी भी $\lambda$-कॉन्स्टसाइक्लिक कोड के लिए एक जनरेटिंग सेट का स्पष्ट निर्माण प्रदान करता है। प्रमेय 3.1 स्थापित करता है कि सेट $\{f_0(x), \dots, f_s(x)\}$, जिसे न्यूनतम डिग्री और अग्रणी गुणांक मानदंडों के माध्यम से निर्मित किया गया है, एक आदर्श के रूप में कोड को जनरेट करता है।
• न्यूनतम विस्तार सेट और रैंक: प्रमेय 3.4 कोड $C$ के लिए एक न्यूनतम विस्तार सेट $S$ को परिभाषित करता है। एक महत्वपूर्ण परिणाम कोड के रैंक का निर्धारण है: $\text{Rank}(C) = \ell - n_0$, जहाँ $n_0$ कोड में न्यूनतम डिग्री वाले बहुपद $f_0(x)$ की डिग्री है। यह सूत्र जनरेटर के बीजगणितीय संरचना और कोड के आयाम (dimension) के बीच एक सीधा संबंध प्रदान करता है।
• MHDR स्थितियाँ: प्रमेय 3.9 सिद्ध करता है कि $R$ पर एक $\lambda$-कॉन्स्टसाइक्लिक कोड $C$ MHDR है यदि और केवल यदि इसका शून्य-वाँ टोरशन कोड $Torr_0(C)$, अवशेष क्षेत्र $F_q$ पर एक MDS कोड है। यह समस्या को एक जटिल रिंग पर MHDR गुण की जाँच करने के बजाय एक परिमित क्षेत्र पर MDS गुण की जाँच करने में बदल देता है।
• MDS स्थितियाँ: प्रमेय 3.10 MDS होने के लिए आवश्यक और पर्याप्त स्थितियाँ प्रदान करता है। यह बताता है कि $C$ MDS है यदि और केवल यदि:
  1. $Torr_0(C)$, $F_q$ पर MDS है।
  2. $C$ एक एकिक (monic) बहुपद द्वारा मुख्य रूप से जनित (principally generated) है (जिसका अर्थ है कि कोड एक एकल बहुपद $f_0(x)$ द्वारा जनित है जहाँ $s=0$ और $r_0=0$ है)।
     यह परिणाम स्पष्ट करता है कि सभी MHDR कोड्स MDS नहीं होते हैं; MDS गुण के लिए कोड का मुख्य रूप से जनित होना आवश्यक है।
• विशिष्ट लंबाई प्रतिबंध: उपप्रमेय (Corollary) 3.13 परिमित क्षेत्रों पर MDS कोड्स के ज्ञात परिणामों को FCRs पर कोड्स के लिए विस्तारित करता है, जो लंबाई $\ell = np^m$ के आधार पर जनरेटर बहुपद के लिए अनुमत डिग्री $n_0$ को निर्दिष्ट करता है।

महत्व और दावे
शोध पत्र यह दावा करता है कि वह विशिष्ट लंबाई (जैसे $2^s$ या प्राइम पावर) के परिणामों को सामान्य बनाकर, किसी भी लंबाई के कोड्स के लिए $\lambda$-कॉन्स्टसाइक्लिक कोड्स के सैद्धांतिक ढांचे को विस्तृत करता है। लेखक रेखांकित करते हैं कि उनका निर्माण जनरेटरों की न्यूनतम संख्या प्राप्त करता है, जो कि एक परिशोधन (refinement) है क्योंकि पिछले अध्ययनों में उल्लेख किया गया था कि रिपीटेड-रूट कोड्स आमतौर पर मुख्य रूप से जनित (principally generated) नहीं होते हैं।

इस कार्य का महत्व निम्नलिखित में निहित है:

1. लंबाई की परवाह किए बिना FCRs पर कॉन्स्टसाइक्लिक कोड्स का एक एकीकृत बीजगणितीय विवरण प्रदान करना।
2. ऐसे कोड्स के रैंक और न्यूनतम विस्तार सेट को निर्धारित करने के लिए एक गणना योग्य विधि प्रदान करना।
3. रिंग्स और फील्ड्स पर कोड्स के बीच के अंतर को यह स्थापित करके पाटना कि MHDR गुण पूरी तरह से अवशेष क्षेत्र पर टोरशन कोड पर निर्भर है।
4. MHDR और MDS कोड्स के बीच के अंतर को स्पष्ट करना, यह प्रदर्शित करते हुए कि जबकि MDS कोड्स, MHDR कोड्स का एक उपसमुच्चय (subset) हैं, इसका विलोम तब तक सत्य नहीं है जब तक कि कोड मुख्य रूप से जनित न हो।

शोध पत्र यह निष्कर्ष निकालता है कि इन सैद्धांतिक परिणामों को $\mathbb{Z}_{125}$, $\mathbb{Z}_{343}$, और $\mathbb{Z}_{289}$ जैसे रिंगों से संबंधित ठोस उदाहरणों के माध्यम से स्पष्ट किया गया है, जो रैंक, विस्तार सेट और दूरी गुणों के लिए व्युत्पन्न सूत्रों को मान्य करते हैं।