🔢 mathematics

Construction of Cyclic Codes over a Class of Matrix Rings

यह शोध पत्र एक विशिष्ट रिंग संरचना के साथ इसके आइसोमोर्फिज्म (समरूपता) को स्थापित करके नॉन-कम्यूटेटिव मैट्रिक्स रिंग $\mathcal{R}=M_4(\mathbb{F}_2[u]/\langle u^k \rangle)$ पर साइक्लिक कोडों का निर्माण करता है, इन कोडों के आइडियल्स और कार्डिनैलिटी को अभिलक्षित करता है, उनके ड्यूल्स का विश्लेषण करता है, और अच्छे मापदंडों वाले $\mathbb{F}_{16}$ पर लीनियर कोड उत्पन्न करने के लिए बाचोक और ग्रे मैप्स का उपयोग करता है।

मूल लेखक: Soham Ravikant Joshi, Shikha Patel, Om Prakash

प्रकाशित 2026-02-23

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

CC BY 4.0

मूल लेखक: Soham Ravikant Joshi, Shikha Patel, Om Prakash

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

कल्पना कीजिए कि आप एक बहुत ही शोर भरे, तूफानी समुद्र के पार एक गुप्त संदेश भेजने की कोशिश कर रहे हैं। यह सुनिश्चित करने के लिए कि आपका संदेश बिना किसी बाधा के पहुँचे, आप केवल शब्दों को नहीं भेजते; बल्कि आप उन्हें एक विशेष, अत्यंत मजबूत सुरक्षात्मक कवच में लपेट देते हैं। डिजिटल संचार की दुनिया में, इस "कवच" को कोड (Code) कहा जाता है।

यह शोध पत्र इन डिजिटल संदेशों के लिए एक नए, अविश्वसनीय रूप से परिष्कृत प्रकार के सुरक्षात्मक कवच को डिजाइन करने के बारे में है। इस पेपर के लेखक, सोहम, शिखा और ओम, उन कुशल वास्तुकारों की तरह हैं जिन्होंने इन कवचों का निर्माण करने के लिए एक नया प्रकार का "गणितीय कारखाना" (Mathematical Factory) बनाया है।

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

1. कारखाना: एक जटिल मैट्रिक्स रिंग (A Complex Matrix Ring)

आमतौर पर, कोड सरल निर्माण ब्लॉकों का उपयोग करके बनाए जाते हैं, जैसे कि संख्याओं का एक छोटा समूह (0 और 1)। लेकिन यह पेपर एक बहुत अधिक जटिल कारखाने का उपयोग करता है जिसे मैट्रिक्स रिंग कहा जाता है।

उपमा: कल्पना कीजिए कि एक मानक कोड ईंटों से घर बनाने जैसा है। यह नया कारखाना 4x4 ग्रिड्स (matrices) के रूप में ईंटों से घर बनाता है।
ट्विस्ट: इन ग्रिडों के भीतर, ईंटें केवल ठोस नहीं हैं; वे एक विशेष, लचीली सामग्री (चर $u$ और $v$ वाले बहुपद/polynomials) से बनी हैं। यह सामग्री इस कारखाने को ऐसे कोड बनाने की अनुमति देती है जो मानक कोड की तुलना में कहीं अधिक लचीले और मजबूत होते हैं।
लक्ष्य: वे $\mathbb{F}_{16}$ नामक एक "फाइनाइट फील्ड" (finite field) पर कोड बना रहे हैं (इसे 16 अलग-अलग रंगों के पैलेट के रूप में सोचें)। अपने जटिल मैट्रिक्स कारखाने का उपयोग करके, वे इन रंगों को इस तरह से मिला सकते हैं जो बहुत अधिक मजबूत सुरक्षा प्रदान करते हैं।

2. ब्लूप्रिंट: साइक्लिक कोड (Cyclic Codes)

वह विशिष्ट प्रकार का कोड जिसे वे बना रहे हैं, उसे साइक्लिक कोड कहा जाता है।

उपमा: मोतियों से बने एक हार की कल्पना करें। यदि आप हार को घुमाते हैं (मोतियों को शिफ्ट करते हैं), तो वह अभी भी वही हार दिखता है। एक साइक्लिक कोड भी इसी तरह काम करता है: यदि आप संदेश को शिफ्ट करते हैं, तो वह एक वैध संदेश बना रहता है। यह "चक्रीय" (circular) गुण कंप्यूटर के लिए त्रुटियों को जल्दी से जांचने और ठीक करने में इसे बहुत आसान बनाता है।
नवाचार: लेखकों ने यह पता लगाया कि उनके जटिल मैट्रिक्स कारखाने के भीतर मोतियों (गणितीय आइडियल्स/ideals) को ठीक से कैसे व्यवस्थित किया जाए ताकि परिणामी हार पूरी तरह से साइक्लिक हो, भले ही इसके अंदर जटिल लचीली सामग्री हो।

3. अनुवाद: ग्रे और बाचोक मैप्स (Gray and Bachoc Maps)

कारखाना इन जटिल, बहु-स्तरीय कोडों का उत्पादन करता है, लेकिन हमारे कंप्यूटर एक सरल भाषा बोलते हैं (केवल 0 और 1 या साधारण संख्याएं)। हमें एक तरीके की आवश्यकता है जिससे इस जटिल कारखाने के आउटपुट को कुछ ऐसा बनाया जा सके जिसे कंप्यूटर वास्तव में उपयोग कर सके।

उपमा: कारखाने के आउटपुट को एक विशाल, बहु-स्तरीय केक के रूप में सोचें। आप पूरे केक को एक बार में नहीं खा सकते; आपको इसे प्रबंधनीय टुकड़ों में काटना होगा।
ग्रे मैप (The Gray Map): यह एक विशेष चाकू है जो जटिल केक को सरल सामग्रियों की एक लंबी, सपाट रेखा में काट देता है (एक $\mathbb{F}_{16}$ पर लीनियर कोड)। महत्वपूर्ण बात यह है कि यह चाकू "दूरी-संरक्षण" (distance-preserving) है। इसका मतलब है कि यदि काटने से पहले दो केक बहुत अलग थे, तो काटने के बाद भी वे बहुत अलग ही रहेंगे। यह सुनिश्चित करता है कि यदि कोई त्रुटि होती है, तो कंप्यूटर उसे आसानी से पहचान सके।
बाचोक मैप (The Bachoc Map): यह एक अन्य अनुवाद उपकरण है, जो विशेष रूप से कोड के विभिन्न हिस्सों के "भार" या महत्व को संभालने के लिए डिज़ाइन किया गया है, जिससे यह सुनिश्चित होता है कि अनुवाद निष्पक्ष और सटीक हो।

4. परिणाम: मजबूत ढाल (Stronger Shields)

लेखकों ने केवल कारखाना ही नहीं बनाया; उन्होंने इसका परीक्षण भी किया।

प्रमाण: उन्होंने इन नए कोडों के कई उदाहरण बनाए और उनकी तुलना पाठ्यपुस्तकों में पाए जाने वाले मौजूदा "मानक" कोडों से की।
परिणाम: उनके नए कोडों के पैरामीटर्स अक्सर बेहतर होते हैं। सरल शब्दों में, इसका अर्थ है कि वे पुराने कोडों की तुलना में अधिक जानकारी (उच्च गति) ले जा सकते हैं और साथ ही अधिक त्रुटियों को ठीक करने (उच्च विश्वसनीयता) में सक्षम हैं।
वास्तविक दुनिया का अनुप्रयोग: पेपर में उल्लेख है कि ये MIMO चैनल्स (Multiple Input Multiple Output) के लिए बेहतरीन हैं।
- रूपक: कल्पना कीजिए कि आप एक घाटी के पार अपना संदेश चिल्लाकर भेजने की कोशिश कर रहे हैं। यदि आपके पास केवल एक मुँह (एक एंटीना) है, तो हवा आपकी आवाज़ को उड़ा ले जाएगी। लेकिन यदि आपके पास चार मुँह हैं जो पूर्ण सामंजस्य में चिल्ला रहे हैं (चार एंटीना), तो संदेश स्पष्ट रूप से पहुँच जाएगा। ये नए कोड उस "शीट संगीत" की तरह हैं जो चार मुँहों को यह बताते हैं कि तूफान से बचने के लिए उन्हें बिल्कुल एक साथ कैसे गाना है।

सारांश

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

उन्होंने सिद्ध किया है कि इस फैंसी, बहु-आयामी गणितीय कारखाने का उपयोग करके, हम डिजिटल ढाल बना सकते हैं जो दशकों से उपयोग किए जा रहे कोड की तुलना में अधिक मजबूत और अधिक कुशल हैं।

यहाँ जोशी, पटेल और प्रकाश के शोध पत्र "Construction of Cyclic Codes Over a Class of Matrix Rings" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण और प्रेरणा (Problem Statement and Motivation)

यह शोध पत्र एक विशिष्ट वर्ग के गैर-क्रमविनिमेय (non-commutative), गैर-श्रृंखला (non-chain) मैट्रिक्स रिंग्स पर चक्रीय कोड (cyclic codes) के निर्माण और संरचनात्मक विश्लेषण को संबोधित करता है।

संदर्भ: चक्रीय कोड त्रुटि-सुधार कोड सिद्धांत (error-correcting code theory) के लिए मौलिक हैं। जबकि परिमित क्षेत्रों (finite fields) और क्रमविनिमेय रिंग्स पर इनका व्यापक अध्ययन किया गया है, गैर-क्रमविनिमेय रिंग्स (विशेष रूप से मैट्रिक्स रिंग्स) पर आधारित कोड MIMO (Multiple Input Multiple Output) चैनलों के लिए स्पेस-टाइम कोडिंग में संभावित लाभ प्रदान करते हैं, विशेष रूप से उन धीमी-फेडिंग (slow-fading) वातावरणों के लिए जहाँ पूर्ण विविधता (full diversity) और गैर-लुप्त होने वाले निर्धारक (non-vanishing determinants) की आवश्यकता होती है।
रिंग संरचना: लेखक $R = M_4(\mathbb{F}_2[u]/\langle u^k \rangle)$ नामक रिंग पर ध्यान केंद्रित करते हैं, जो परिमित श्रृंखला रिंग $\mathbb{F}_2[u]/\langle u^k \rangle$ पर $4 \times 4$ मैट्रिक्स का रिंग है।
लक्ष्य: पिछले कार्य (विशेष रूप से पटेल आदि, 2022, $M_4(\mathbb{F}_2+u\mathbb{F}_2)$ पर) को अधिक जटिल रिंग $R$ के लिए सामान्यीकृत करना। इसका उद्देश्य $R$ पर चक्रीय कोड की संरचना को लक्षणबद्ध करना, उनकी कार्डिनैलिटी (cardinality) निर्धारित करना, उनके द्वैत (duals) का विश्लेषण करना और आइसोमेट्रिक मैप्स (Gray और Bachoc maps) का उपयोग करके उन्हें $\mathbb{F}_{16}$ के रैखिक कोडों में मैप करना है ताकि अच्छे पैरामीटर्स प्राप्त किए जा सकें।

2. कार्यप्रणाली और सैद्धांतिक ढांचा (Methodology and Theoretical Framework)

A. रिंग संरचना और समरूपता (Ring Structure and Isomorphism)

लेखक पहले $R$ की बीजगणितीय संरचना स्थापित करते हैं। वे प्रदर्शित करते हैं कि $R$ , $\mathbb{F}_{16}$ पर एक बहुपद-समान विस्तार (polynomial-like extension) के समरूप है:
$R \cong \sum_{i=0}^{k-1} u^i (\mathbb{F}_{16} + v\mathbb{F}_{16} + v^2\mathbb{F}_{16} + v^3\mathbb{F}_{16})$
जहाँ $u^k = 0$ , $v^4 = 0$ , और $u$ तथा $v$ क्रमविनिमेय हैं ( $u^i v^j = v^j u^i$ )। यह अपघटन लेखकों को इस गैर-क्रमविनिमेय मैट्रिक्स रिंग को $u$ और $v$ से युक्त शून्यता तत्वों (nilpotent elements) वाले एक क्रमविनिमेय-समान संरचना के मॉड्यूल के रूप में मानने की अनुमति देता है।

B. चक्रीय कोड की संरचना (Structure of Cyclic Codes)

एक चक्रीय कोड $C$ , लंबाई $n$ (जहाँ $n$ विषम है) के लिए, कोटिएंट रिंग $R[x]/\langle x^n - 1 \rangle$ में एक आदर्श (ideal) के रूप में परिभाषित है।

अपघटन (Decomposition): चीनी शेष प्रमेय (Chinese Remainder Theorem) का उपयोग करते हुए, रिंग को $\mathbb{F}_{16}$ पर मूल अपरिमेय बहुपदों (irreducible polynomials) के गुणनखंड के आधार पर विभाजित किया जाता है।
उप-मॉड्यूल लक्षण वर्णन (Submodule Characterization): कार्यप्रणाली का मुख्य भाग $R[x]/\langle f \rangle$ के सभी संभावित दाएँ $R$ -उप-मॉड्यूल्स (right $R$ -submodules) को वर्गीकृत करना है, जहाँ $f$ एक मूल अपरिमेय बहुपद है। लेखक इन उप-मॉड्यूल्स के छह अलग-अलग रूपों की पहचान करते हैं, जिनमें $\mathbb{F}_{16}[x]$ के गुणांकों के साथ $u$ और $v$ के संयोजन शामिल हैं।
जेनरेटर रूप (Generator Form): इस वर्गीकरण के आधार पर, किसी भी चक्रीय कोड $C$ को $u^i v^j$ और $x^n - 1$ के कारकों से उत्पन्न विशिष्ट उप-मॉड्यूल्स के प्रत्यक्ष योग (direct sum) के रूप में दिखाया गया है।

C. द्वैत कोड (Dual Codes)

यह शोध पत्र निर्मित चक्रीय कोडों के यूक्लिडियन (Euclidean) और हर्मिटियन (Hermitian) द्वैत की जांच करता है।

यूक्लिडियन द्वैत: इसे मानक आंतरिक उत्पाद $a \cdot b = \sum a_i b_i$ के माध्यम से परिभाषित किया गया है। लेखक रेसिप्रोकल बहुपदों (reciprocal polynomials) और शून्यता तत्वों के विशिष्ट शिफ्ट का उपयोग करके द्वैत कोड $C^\perp$ की जेनरेटर संरचना को व्युत्पन्न करते हैं।
हर्मिटियन द्वैत: इसे संयुग्मन (conjugation - $b_i = b_i^4$ in $\mathbb{F}_{16}$ ) के साथ हर्मिटियन आंतरिक उत्पाद के माध्यम से परिभाषित किया गया है। $C^{\perp_H}$ के लिए समान संरचनात्मक परिणाम प्राप्त किए गए हैं।
कार्डिनैलिटी (Cardinality): जेनरेटिंग बहुपदों के डिग्री के आधार पर कोड और उनके द्वैत के आकार (cardinality) के लिए स्पष्ट सूत्र प्रदान किए गए हैं।

D. आइसोमेट्रिक मैप्स (Gray और Bachoc)

जटिल रिंग $R$ से $\mathbb{F}_{16}$ के व्यावहारिक रैखिक कोडों में अनुवाद करने के लिए, लेखक दो मानचित्र (maps) परिभाषित करते हैं:

ग्रे मैप ( $\theta$ ): $\mathbb{F}_2+u\mathbb{F}_2$ से $R$ तक के शास्त्रीय ग्रे मैप का विस्तार। यह $R$ के एक तत्व (जिसे $\mathbb{F}_{16}$ पर लंबाई $4k$ के वेक्टर के रूप में देखा जाता है) को $\mathbb{F}_{16}^{4k}$ के एक वेक्टर में मैप करता है। यह मैप ली वेट (Lee weight) को हैमिंग वेट (Hamming weight) के रूप में संरक्षित करता है।
बाचोक मैप ( $\psi$ ): $M_4(\mathbb{F}_2)$ पर बाचोक वेट से व्युत्पन्न एक मानचित्र, जिसे $R$ तक विस्तारित किया गया है। यह $R$ को $\mathbb{F}_2$ पर एक मैट्रिक्स स्पेस में मैप करता है, जो $\mathbb{F}_{16}$ के स्पेस के समरूप है।

परिणाम: दोनों मानचित्रों को मॉड्यूल आइसोमेट्री (module isometries) के रूप में सिद्ध किया गया है, जिसका अर्थ है कि $R$ में दूरी के गुण (ली/बाचोक दूरी) $\mathbb{F}_{16}$ के ऊपर इमेज कोड में हैमिंग दूरी के रूप में संरक्षित रहते हैं।

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

संरचनात्मक लक्षण वर्णन (Structural Characterization): यह शोध पत्र गैर-क्रमविनिमेय रिंग $M_4(\mathbb{F}_2[u]/\langle u^k \rangle)$ में आइडियल्स (चक्रीय कोड) का पूर्ण वर्गीकरण प्रदान करता है। यह स्थापित करता है कि ये कोड $u$ और $v$ से उत्पन्न विशिष्ट बहुपदों के प्रत्यक्ष योग हैं।
कार्डिनैलिटी सूत्र (Cardinality Formulas): लेखक इन चक्रीय कोडों और उनके यूक्लिडियन/हर्मिटियन द्वैत के लिए सटीक कार्डिनैलिटी सूत्र व्युत्पन्न करते हैं, जो $x^n - 1$ के कारक बहुपदों की डिग्री पर आधारित हैं।
द्वैत कोड निर्माण (Dual Code Construction): यूक्लिडियन और हर्मिटियन द्वैत के लिए स्पष्ट जेनरेटर रूप प्रदान किए गए हैं, जो स्व-द्वैत (self-dual) और स्व-ऑर्थोगोनल (self-orthogonal) कोडों के अध्ययन की सुविधा प्रदान करते हैं (हालाँकि स्व-द्वैत कोडों का पूर्ण लक्षण वर्णन एक खुला प्रश्न बताया गया है)।
आइसोमेट्रिक मैपिंग (Isometric Mappings): इस मैट्रिक्स रिंग विस्तार के लिए विशेष रूप से ग्रे और बाचोक मैप्स का निर्माण इस मैट्रिक्स रिंग के ऊपर $4kn $लंबाई के रैखिक कोडों को$ \mathbb{F}_{16}$ में बदलने की अनुमति देता है।
अनुकूलन और उदाहरण (Optimization and Examples): शोध पत्र अपने सैद्धांतिक निष्कर्षों को मान्य करने के लिए विशिष्ट उदाहरणों की गणना करने हेतु Magma का उपयोग करता है।

4. परिणाम और उदाहरण (Results and Examples)

लेखकों ने अपने सैद्धांतिक निष्कर्षों को मान्य करने के लिए Magma का उपयोग किया:

मामला $n=5, k=1$ : $\mathbb{F}_{16}$ पर लंबाई 20 के कोड उत्पन्न किए। एक उदाहरण ने $[20, 14, 5]$ कोड दिया (MDS बाउंड 7 है, इसलिए यह उसके करीब है)।
मामला $n=5, k=3$ : लंबाई 60 के कोड। उदाहरणों में $[60, 54, 4]$ और $[60, 56, 3]$ शामिल हैं।
मामला $n=3, k=4$ : लंबाई 48 के कोड। एक उल्लेखनीय परिणाम $[48, 41, 5]$ कोड है।
तुलना: शोध पत्र मौजूदा $M_4(\mathbb{F}_2)$ $M_{4} (F_{2})$ के कोडों के साथ $R = M_4(\mathbb{F}_2[u]/\langle u^k \rangle)$ $R = M_{4} (F_{2} [u] / ⟨ u^{k} ⟩)$ से प्राप्त कोडों की तुलना करता है:
- $n=7, k=1$ के लिए, नए निर्माण ने $[28, 22, 4]$ कोड बनाया, जो पिछले साहित्य के $[28, 14, 3]$ कोड में सुधार करता है।
- $n=3, k=1$ के लिए, $[12, 7, 4]$ कोड प्राप्त हुआ, जो पिछले कार्य के $[12, 6, 3]$ कोड से बेहतर है।

5. महत्व और निष्कर्ष (Significance and Conclusion)

सैद्धांतिक प्रगति: यह कार्य क्रमविनिमेय रिंगों और सरल मैट्रिक्स रिंगों से हटकर अधिक जटिल, गैर-क्रमविनिमेय, गैर-श्रृंखला मैट्रिक्स रिंग्स तक चक्रीय कोड के सिद्धांत का महत्वपूर्ण विस्तार करता है।
व्यावहारिक अनुप्रयोग: $\mathbb{F}_{16}$ के लिए आइसोमेट्रियों को स्थापित करके, यह शोध पत्र MIMO सिस्टम में स्पेस-टाइम कोडित मॉड्यूलेशन के लिए उच्च-प्रदर्शन वाले रैखिक कोडों के निर्माण का मार्ग प्रशस्त करता है। इन रिंगों पर विशिष्ट विविधता और निर्धारक गुणों वाले कोडों को डिजाइन करने की क्षमता फेडिंग चैनलों में विश्वसनीय संचार के लिए महत्वपूर्ण है।
कोड प्रदर्शन: उदाहरण दर्शाते हैं कि इस विस्तारित रिंग संरचना पर निर्मित कोड, सरल आधार रिंग्स जैसे $M_4(\mathbb{F}_2)$ पर निर्मित कोडों की तुलना में बेहतर पैरामीटर्स (उच्च आयाम या न्यूनतम दूरी) प्राप्त कर सकते हैं।
भावी कार्य: लेखक $R$ पर स्व-द्वैत, स्व-ऑर्थोगोनल और द्वैत-युक्त (dual-containing) कोडों के लक्षण वर्णन को एक खुला प्रश्न बताते हैं। वे यह भी सुझाव देते हैं कि MIMO चैनलों में इन कोडों की उपयुक्तता के लिए नियतात्मक मानदंड (deterministic criteria) प्राप्त करना भविष्य के अनुसंधान के लिए एक आशाजनक दिशा है।

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