🔢 mathematics

Projector additive group codes

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

मूल लेखक: Javier de la Cruz

प्रकाशित 2026-04-17

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

CC BY 4.0

मूल लेखक: Javier de la Cruz

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

कल्पना कीजिए कि आप एक साम्राज्य की रक्षा के लिए एक किले का डिज़ाइन बनाने वाले मास्टर आर्किटेक्ट हैं। गणित की दुनिया में, यह "साम्राज्य" सूचना का एक विशाल स्थान (जिसे कोड कहा जाता है) है, और "किला" नियमों का एक समूह है जो उस सूचना को त्रुटियों (errors), जैसे कि डिजिटल शोर के तूफान से सुरक्षित रखता है।

लंबे समय तक, आर्किटेक्ट्स केवल लिनियर कोड्स (Linear Codes) का उपयोग करके किले बनाते रहे। इन्हें ऐसे समझें जैसे कि किले को केवल एक ही प्रकार की कठोर ईंटों से बनाया गया हो। यदि आपके पास इन ईंटों से बनी एक दीवार है, तो आप नई दीवारें केवल सीधी, अनुमानित रेखाओं में रखकर ही बना सकते हैं। यह बहुत अच्छा काम करता है, लेकिन यह आपकी निर्माण क्षमता को सीमित कर देता है।

फिर, गणितज्ञों ने एडिटिव कोड्स (Additive Codes) की खोज की। ये ऐसे किले हैं जो विभिन्न सामग्रियों के मिश्रण से बने हैं—जैसे कुछ ईंटें, कुछ लकड़ी और कुछ पत्थर। ये अधिक लचीले हैं और वे ऐसे आकार बना सकते हैं जिन्हें कठोर लिनियर ईंटें कभी नहीं बना सकतीं। यह विशेष रूप से क्वांटम किलों (क्वांटम एरर-करेक्टिंग कोड्स) के निर्माण के लिए उपयोगी है, जिन्हें अविश्वसनीय रूप से मजबूत होने की आवश्यकता होती है।

हालाँकि, एक समस्या थी। पुराने ब्लूप्रिंट (बीजगणितीय नियम) उन कठोर लिनियर ईंटों के लिए डिज़ाइन किए गए थे। जब आर्किटेक्ट्स ने उन लचीले एडिटिव किलों पर वही पुराने नियम लागू करने की कोशिश की, तो वे ब्लूप्रिंट पूरी तरह फिट नहीं बैठे। वे बहुत अधिक प्रतिबंधात्मक थे और वे बड़ी तस्वीर को समझने में विफल रहे।

नया ब्लूप्रिंट: प्रोजेक्टर एडिटिव ग्रुप कोड्स (Projector Addive Group Codes)

यह शोध पत्र, जिसे जेवियर डी ला क्रूज़ ने लिखा है, एक नया और अधिक लचीला ब्लूप्रिंट पेश करता है जिसे प्रोजेक्टर एडिटिव ग्रुप कोड्स कहा जाता है।

यहाँ मुख्य विचार एक सरल उपमा (analogy) का उपयोग करके दिया गया है:

1. "परछाई" बनाम "स्पॉटलाइट" (The "Shadow" vs. The "Spotlight")

पुराने सोचने के तरीके में (लिनियर कोड्स), गणितज्ञ इडम्पोटेंट्स (Idempotents) का उपयोग करते थे। कल्पना कीजिए कि इडम्पोटेंट एक जादुвई स्टैम्प (मोहर) की तरह है। यदि आप कागज पर स्टैम्प लगाते हैं, तो वह एक विशिष्ट आकार छोड़ता है। यदि आप उसे दोबारा स्टैम्प करते हैं, तो कुछ भी नहीं बदलता; आकार पहले से ही वहां मौजूद है। यह "स्टैम्प" एक कोड बनाता है क्योंकि यह एक स्थायी निशान छोड़ देता है।

लेकिन एडिटिव कोड्स की दुनिया में, यह "स्टैम्प" पर्याप्त लचीला नहीं है। यह उन सभी दिलचस्प आकारों को कैप्चर नहीं कर सकता जिन्हें आप बनाना चाहते हैं।

लेखक इसके बजाय प्रोजेक्टर्स (Projectors) का उपयोग करने का प्रस्ताव देते हैं। एक प्रोजेक्टर को केवल एक स्टैम्प के रूप में नहीं, बल्कि एक स्पॉटलाइट के रूप में सोचें।

कल्पना कीजिए कि एक अंधेरा कमरा है (संभावित कोड्स का संपूर्ण स्थान)।
आपके पास एक स्पॉटलाइट है (प्रोजेक्टर)।
जब आप कमरे में रोशनी डालते हैं, तो आप एक विशिष्ट आकार को प्रकाशित करते हैं (कोड)।
कमरे का बाकी हिस्सा अंधेरे में रहता है (वह हिस्सा जिसे आप अनदेखा करते हैं)।

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

2. "दर्पण" (Duality)

कोडिंग थ्योरी में, ड्यूअलिटी (Duality) नामक एक अवधारणा है। कल्पना कीजिए कि आपके पास एक आकार (आपका कोड) है। यदि आप उसके सामने एक दर्पण रखते हैं, तो आपको उसका "ड्यूल" (प्रतिरूप) आकार दिखाई देता है।

एलसीडी कोड्स (LCD Codes - Linear Complementary Dual): ये ऐसे आकार हैं जहाँ मूल आकार और उसकी दर्पण छवि एक-दूसरे से बिल्कुल भी मेल नहीं खाते। वे पूरी तरह से अलग हैं।
सेल्फ-ड्यूल कोड्स (Self-Dual Codes): ये ऐसे आकार हैं जहाँ मूल आकार और उसकी दर्पण छवि बिल्कुल एक समान होती है।

यह शोध पत्र दिखाता है कि इन विशेष आकारों को बनाने के लिए "स्पॉटलाइट" (प्रोजेक्टर) का उपयोग कैसे किया जाए। यह प्रोजेक्टर के लिए एक "दर्पण" (जिसे एडजॉइंट/adjoint कहा जाता है) भी पेश करता है। स्पॉटलाइट और उसके दर्पण के कोण को समायोजित करके, लेखक हमें निम्नलिखित बनाने की रेसिपी देते हैं:

ऐसे किले जो अपनी परछाइयों से पूरी तरह भिन्न हैं (LCD)।
ऐसे किले जो स्वयं ही अपनी परछाई हैं (Self-Dual)।

3. "जुड़वां" संबंध (Murray–von Neumann Equivalence)

कभी-कभी, दो किले बाहर से अलग दिख सकते हैं लेकिन वे बिल्कुल एक ही आंतरिक संरचना के साथ बने होते हैं। गणित में, हम इसे "आइसोमोर्फिक" (isomorphic) कहते हैं।

यह शोध पत्र मरे-वॉन न्यूमैन इक्विवेलेंस (Murray–von Neumann equivalence) नामक एक अवधारणा का उपयोग करता है। इसे एक "जुड़वां परीक्षण" के रूप में सोचें।

यदि आप किले A के ब्लूप्रिंट को ले सकते हैं, उसके फर्नीचर को पुनर्व्यवस्थित कर सकते हैं, और बिना कुछ तोड़े उसे किले B में बदल सकते हैं, तो वे जुड़वां हैं।
लेखक सिद्ध करते हैं कि यदि दो "स्पॉटलाइट्स" (प्रोजेक्टर्स) को एक-दूसरे को बनाने के लिए आपस में बदला जा सकता है, तो वे जिन किलों को रोशन करते हैं, वे संरचनात्मक रूप से जुड़वां होते हैं। यह गणितज्ञों को हर एक कोड बनाने के बजाय उन्हें वर्गीकृत करने में मदद करता है।

यह क्यों महत्वपूर्ण है?

लचीलापन (Flexibility): यह नया ढांचा गणितज्ञों को पहले के मुकाबले बहुत अधिक विविधता वाले कोड्स का अध्ययन करने की अनुमति देता है। यह 2D ड्राइंग से 3D मॉडलिंग टूल में अपग्रेड करने जैसा है।
क्वांटम सुरक्षा (Quantum Safety): चूंकि ये कोड क्वांटम कंप्यूटिंग (जो त्रुटियों के प्रति बहुत संवेदनशील है) के लिए अत्यंत महत्वपूर्ण हैं, इसलिए उन्हें डिजाइन करने के लिए बेहतर उपकरण होने का अर्थ है कि हम अधिक स्थिर क्वांटम कंप्यूटर बना सकते हैं।
एकीकरण (Unification): यह पुराने, कठोर लिनियर कोड्स की दुनिया और नए, लचीले एडिटिव कोड्स की दुनिया के बीच के अंतर को पाटता है। यह दिखाता है कि "प्रोजेक्टर" एक सार्वभौमिक उपकरण है जो दोनों के लिए काम करता है।

सारांश

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

यहाँ जेवियर डी ला क्रूज़ के शोध पत्र "Projector additive group codes" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या का विवरण और प्रेरणा

यह शोध पत्र एडिटिव ग्रुप कोड्स (additive group codes) के बीजगणितीय सिद्धांत में एक अंतराल को संबोधित करता है।

संदर्भ: एक एडिटिव ग्रुप कोड को ग्रुप अलजेब्रा $KG $के एक लेफ्ट$ FG $-सबमॉड्यूल के रूप में परिभाषित किया जाता है, जहाँ$ F = \mathbb{F}_q$ एक परिमित क्षेत्र (finite field) है, $K = \mathbb{F}_{q^m}$ एक परिमित विस्तार (finite extension) है, और $G$ एक परिमित समूह है। लीनियर ग्रुप कोड्स (जो $KG $के लेफ्ट आइडियल्स होते हैं) के विपरीत, एडिटिव कोड्स केवल उपक्षेत्र$ F $पर लीनियर होने के लिए आवश्यक हैं, न कि$ K$ पर।
समस्या: शास्त्रीय लीनियर कोडिंग थ्योरी में, ग्रुप कोड्स को अक्सर $KG $में **इडम्पोटेंट तत्वों** ($ $में * * इडम्पोटेंटतत्वों * * ($ e^2=e $) का उपयोग करके निर्मित किया जाता है, जहाँ कोड मैप$ $) काउपयोगकरकेनिर्मितकियाजाताहै, जहाँकोडमैप$ x \mapsto xe$ का इमेज होता है। हालाँकि, यह निर्माण एडिटिव ग्रुप कोड्स की पूर्ण व्यापकता को पकड़ने में विफल रहता है क्योंकि:
1. एडिटिव कोड्स अनिवार्य रूप से $K$ -लीनियर नहीं होते (आइडियल्स हमेशा $K$ -लीनियर होते हैं)।
2. जब $FG$ सेमिसिंपल (semisimple) नहीं होता है, तो $KG $में इडम्पोटेंट तत्व स्वाभाविक रूप से सभी प्रोजेक्टिव$ FG$-सबमॉड्यूल्स को जनरेट नहीं करते हैं।
लक्ष्य: इडम्पोटेंट तत्वों के स्थान पर **$FG $-लीनियर प्रोजेक्टर्स** ($ FG$-linear projectors) (अर्थात $KG $के एक$ FG$-मॉड्यूल के रूप में इडम्पोटेंट एंडोमोर्फिज्म) का उपयोग करके एडिटिव ग्रुप कोड्स के लिए एक अधिक सामान्य और स्वाभाविक बीजगणितीय ढांचे को स्थापित करना।

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

लेखक मॉड्यूल थ्योरी (module theory), परिमित समूहों के प्रतिनिधित्व सिद्धांत (representation theory of finite groups), और सेस्क्यूलीनर फॉर्म्स (sesquilinear forms) के उपकरणों का उपयोग करते हैं।

ढांचा (Framework): अध्ययन $KG $के भीतर संचालित होता है। पेपर$ K $-लीनियर कोड्स (आइडियल्स) और$ F$-एडिटिव कोड्स (सबमॉड्यूल्स) के बीच अंतर करता है।
फॉर्म्स (Forms): विश्लेषण विभिन्न इनर प्रोडक्ट्स का उपयोग करता है:
- यूक्लिडियन ( $E$ ) और ट्रेस-यूक्लिडियन ($TE$) फॉर्म्स।
- हर्मिटियन ( $H$ ) और ट्रेस-हर्मिटियन ($TH $) फॉर्म्स (जब$ m$ सम हो)।
- इन फॉर्म्स का उपयोग ड्यूल्स (duals), LCD (लिनियर कॉम्प्लीमेंट्री ड्यूल) कोड्स, और सेल्फ-ड्यूअल कोड्स को परिभाषित करने के लिए किया जाता है।
ऑपरेटर दृष्टिकोण (Operator Approach): रिंग तत्वों (इडम्पोटेंट्स) पर निर्भर रहने के बजाय, पेपर कोड्स को $FG $-लीनियर प्रोजेक्टर्स$ P \in \text{End}_{FG}(KG) $(जहाँ$ P^2=P$) के इमेज (images) के रूप में परिभाषित करता है।
एडजॉइंट ऑपरेटर्स (Adjoint Operators): पेपर ड्यूलिटी गुणों (LCD और सेल्फ-ड्यूality) को चरित्रित करने के लिए ट्रेस फॉर्म्स के संदर्भ में एडजॉइंट प्रोजेक्टर्स ( $P^*$ ) को पेश करता है।

3. प्रमुख योगदान और परिभाषाएँ

A. प्रोजेक्टर एडिटिव ग्रुप कोड्स

पेपर दो नए वर्गों के कोड्स को पेश करता है:

प्रोजेक्टर एडिटिव लेफ्ट ग्रुप कोड्स: इन्हें $C = \text{Im}(P)$ $C = Im (P)$ के रूप में परिभाषित किया गया है जहाँ $P$ $P$ एक $FG$-लीनियर प्रोजेक्टर है।
- सैद्धांतिक परिणाम: ये कोड्स सटीक रूप से $KG $के **प्रोजेक्टिव लेफ्ट$ FG$-सबमॉड्यूल्स** के साथ मेल खाते हैं।
- सेमिसिंपल केस: यदि $FG $सेमिसिंपल है (जैसे,$ \text{char}(F) \nmid |G|$), तो प्रत्येक एडिटिव लेफ्ट ग्रुप कोड एक प्रोजेक्टर एडिटिव कोड होता है।
- नॉन-सेमिसिंपल केस: यह निर्माण सटीक रूप से केवल प्रोजेक्टिव वाले कोड्स को कैप्चर करता है, जो सभी एडिटिव कोड्स का एक सख्त उपसमुच्चय (strict subset) है।
रिस्ट्रिक्टेड प्रोजेक्टर एडिटिव कोड्स: इन्हें $P(N)$ के रूप में परिभाषित किया गया है जहाँ $N$ एक लेफ्ट $FG $-सबमॉड्यूल है। यह "रिस्ट्रिक्टेड इडम्पोटेंट कोड्स" ($ FGe$) की अवधारणा का सामान्यीकरण करता है।

B. ड्यूलिटी और एडजॉइंट प्रोजेक्टर्स

पेपर कोड्स की ड्यूलिटी और उनके परिभाषित करने वाले प्रोजेक्टर्स की एडजॉइंटनेस के बीच एक सीधा संबंध स्थापित करता है:

LCD कोड्स: एक एडिटिव कोड $C = \text{Im}(P)$ $\star$ -LCD है (जहाँ $\star \in \{TE, TH\}$ ) यदि और केवल यदि एक प्रोजेक्टर $P$ मौजूद है जिससे $C = \text{Im}(P)$ है और $P$ संगत ट्रेस फॉर्म के संबंध में सेल्फ-एडजॉइंट ( $P^* = P$ ) है।
सेल्फ-ड्यूअल कोड्स: एक $C$ $\star$ -सेल्फ-ड्यूअल है यदि एक प्रोजेक्टर $P$ मौजूद है जिससे $C = \text{Im}(P)$ है और $P^* = I - P$ है।

C. मरे-वॉन न्यूमैन इक्विवेलेंस (Murray–von Neumann Equivalence)

पेपर एडिटिव ग्रुप कोड्स के आइसोमोर्फिज्म को $\text{End}_{FG}(KG)$ में उनके परिभाषित करने वाले प्रोजेक्टर्स की मरे-वॉन न्यूमैन इक्विवेलेंस से जोड़ता है।

दो प्रोजेक्टर एडिटिव कोड्स $\text{Im}(P)$ और $\text{Im}(Q)$ लेफ्ट $FG $-मॉड्यूल्स के रूप में आइसोमॉर्फिक हैं यदि और केवल यदि$ P $और$ Q $मरे-वॉन न्यूमैन समकक्ष हैं (अर्थात,$ P=BA $और$ Q=AB $किसी$ A, B$ के लिए)।
यह इक्विवेलेंस एडजॉइंट्स लेने के तहत संरक्षित रहती है, जो कोड आइसोमोर्फिज्म को उनके ड्यूल्स के आइसोमोर्फिज्म से जोड़ती है।

D. मॉड्यूल ड्यूल्स और कोटिएंट्स

ऑर्थोगोनल कोड्स द्वारा कोटिएंट्स की व्याख्या का एक महत्वपूर्ण संरचनात्मक परिणाम है:

एक एडिटिव कोड $C$ के लिए, कोटिएंट मॉड्यूल $KG/C^{\perp_\star}$ स्वाभाविक रूप से मॉड्यूल ड्यूल $C^* = \text{Hom}_F(C, F)$ के आइसोमॉर्फिक है।
प्रोजेक्टर्स के संदर्भ में, यदि $C = \text{Im}(P)$ , तो $C^* \cong \text{Im}(P^*)$ ।

4. प्रमुख परिणाम और प्रमेय

LCD कोड्स का चरित्रीकरण (Theorem 3.18):
$C$ $\text{TE-LCD}$ (या $\text{TH-LCD}$ ) है यदि और केवल यदि $C = \text{Im}(P)$ है जहाँ $P$ एक सेल्फ-एडजॉइंट प्रोजेक्टर है।
- इडम्पोटेंट्स पर अनुप्रयोग: पेपर इस बात के मानदंड प्रदान करता है (Theorem 3.22) कि कब एक रिस्ट्रिक्टेड इडम्पोटेंट कोड $FGe$ LCD है, जिसमें इडम्पोटेंट से प्राप्त ग्राम मैट्रिक्स (Gram matrix) का रैंक शामिल है।
सेल्फ-ड्यूअल कोड्स का चरित्रीकरण (Theorem 3.28):
एक रिस्ट्रिक्टेड इडम्पोटेंट कोड $FGe$ $\star$ -सेल्फ-ड्यूअल है यदि और केवल यदि:
1. कोटिएंट स्पेस पर प्रेरित फॉर्म (induced form) शून्य फॉर्म है (अर्थात, सभी $x, y \in FG$ के लिए $\langle xe, ye \rangle_\star = 0$ )।
2. $\dim_F(FGe) = \frac{1}{2} \dim_F(KG)$ ।
- उदाहरण: पेपर $\mathbb{F}_4 C_6$ में एक इडम्पोटेंट का उपयोग करके एक ट्रेस-यूक्लिडियन सेल्फ-ड्यूअल कोड का निर्माण करता है, जो यह दर्शाता है कि ऐसे कोड्स मौजूद हैं, भले ही यूक्लिडियन सेल्फ-ड्यूअल इडम्पोटेंट ग्रुप कोड्स (लीनियर) मौजूद नहीं हैं।
** certain (विशेष) कोड्स का अस्तित्व न होना (Remark 3.29):**
पेपर सिद्ध करता है कि हेक्साकोड $H_6$ (एक प्रसिद्ध हर्मिटियन सेल्फ-ड्यूरल कोड) एक इडम्पोटेंट एडिटिव लेफ्ट ग्रुप कोड नहीं है, भले ही वह एक एडिटिव ग्रुप कोड है। यह एडिटिव सेटिंग में भी इडम्पोटेंट दृष्टिकोण की सीमाओं को रेखांकित करता है।

5. महत्व

सामान्यीकरण (Generalization): पेपर सफलतापूर्वक इडम्पोटेंट ग्रुप कोड्स के शास्त्रीय सिद्धांत को एडिटिव कोड्स के व्यापक और अधिक जटिल परिवेश में सामान्यीकृत करता है। यह उस समस्या को हल करता है जहाँ $KG$ में इडम्पोटेंट्स सभी एडिटिव संरचनाओं का वर्णन करने के लिए अपर्याप्त हैं।
एकीकरण (Unification): यह प्रोजेक्टर्स और उनके एडजॉइंट्स के ऑपरेटर-थ्योरेटिक ढांचे के तहत LCD और सेल्फ-ड्यूअल एडिटिव कोड्स के अध्ययन को एकीकृत करता है।
संरचनात्मक अंतर्दृष्टि (Structural Insight): कोड गुणों (LCD, सेल्फ-ड्यूality) को प्रोजेक्टर्स (सेल्फ-एडजॉइंटनेस, मरे-वॉन न्यूमैन इक्विवेलेंस) के बीजगणितीय गुणों से जोड़कर, यह पेपर इन कोड्स के निर्माण और वर्गीकरण के लिए शक्तिशाली उपकरण प्रदान करता है।
क्वांटम कोडिंग प्रासंगिकता (Quantum Coding Relevance): चूंकि $\mathbb{F}_4$ और $\mathbb{F}_9$ पर एडिटिव कोड्स क्वांटम एरर करेक्शन के लिए मौलिक हैं, यह बीजगणितीय ढांचा क्वांटम कोड्स के निर्माण (जिनके विशिष्ट ड्यूलिटी गुण हों, जैसे कि सेल्फ-ड्यूरल या LCD) के लिए नए मार्ग खोलता है, जिन्हें पहले बीजगणितीय रूप से चरित्रित करना कठिन था।

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