A Generic Construction of $q$-ary Near-MDS Codes Supporting 2-Designs with Lengths Beyond $q+1$

यहाँ शोध पत्र "A Generic Construction of q-ary Near-MDS Codes Supporting 2-Designs with Lengths Beyond q + 1" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र कोडिंग थ्योरी और कॉम्बिनेटोरियल डिज़ाइन थ्योरी के बीच एक महत्वपूर्ण अंतर को संबोधित करता है, जो Near-Maximum Distance Separable (NMDS) कोड्स से संबंधित है।

• संदर्भ: एक $[n, k, d]$ लीनियर कोड MDS है यदि $d = n-k+1$ है, और NMDS है यदि कोड और उसका ड्यूल (dual) दोनों ही Almost MDS (AMDS) हैं, जिसका अर्थ है $d = n-k$ और $d^\perp = k$।
• चुनौती: जबकि MDS कोड्स ज्ञात रूप से ट्रिवियल (trivial) डिज़ाइन्स को सपोर्ट करते हैं, NMDS कोड्स उच्च रुचि के विषय हैं क्योंकि वे नॉन-ट्रिवियल $t$-डिज़ाइन्स को सपोर्ट कर सकते हैं। इस कार्य से पूर्व, 2-डिज़ाइन्स को सपोर्ट करने वाले NMDS कोड्स के ज्ञात निर्माण लंबाई $n \leq q + 1$ तक ही सीमित थे।
• अंतराल (Gap): हालांकि $n > q + 1$ लंबाई वाले NMDS कोड्स मौजूद हैं (अपने $2q+k$ तक), ऐसे कोड्स की अनंत श्रेणियों (infinite families) को खोजना जो साथ ही 2-डिज़ाइन्स को सपोर्ट करते हों, एक खुला प्रश्न था। मौजूदा उदाहरण छिटपुट (विशिष्ट बाइनरी या टर्नरी मामलों तक सीमित) थे और उनमें एक सामान्य निर्माण पद्धति का अभाव था।

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

लेखक एक जेनेरिक निर्माण (generic construction) प्रस्तावित करते हैं जो तीन अलग-अलग गणितीय क्षेत्रों को जोड़ता है: एलिप्टिक कर्व कोड्स (Elliptic Curve Codes), फाइनाइट एबेलियन ग्रुप्स (Finite Abelian Groups), और सबसेट sums (Subset Sums)।

• एलिप्टिक कर्व कोड्स (AG Codes): यह निर्माण एक परिमित क्षेत्र (finite field) $\mathbb{F}_q$ पर एलिप्टिक कर्व $E$ पर परिभाषित बीजगणिक ज्यामिति (algebraic geometry) कोड्स का उपयोग करता है। कोड को $E(\mathbb{F}_q)$ के तर्कसंगत बिंदुओं (rational points) $P \subset E(\mathbb{F}_q)$ पर एक रिमैन-रॉक स्पेस (Riemann-Roch space) $L(D)$ के फलनों (functions) का मूल्यांकन करके जनरेट किया जाता है।
• कोड गुणों को सबसेट sums से जोड़ना:
  • लेखक एक मानदंड (Proposition 4) स्थापित करते हैं जो कोड के NMDS गुण को $E(\mathbb{F}_q)$ के समूह में सबसेट सम समस्या (subset sum problem) से जोड़ता है।
  • विशेष रूप से, कोड NMDS है यदि और केवल यदि $P$ में $k$ बिंदुओं का एक ऐसा उपसमुच्चय (subset) मौजूद है जिसका योग (एलिप्टिक कर्व ग्रुप ऑपरेशन $\oplus$ के तहत) एक विशिष्ट डिवाइज़र पॉइंट $Q_D$ के बराबर है।
• ग्रुप स्ट्रक्चर का लाभ उठाना:
  • निर्माण उन एलिप्टिक कर्व्स पर केंद्रित है जहाँ तर्कसंगत बिंदुओं का समूह $\mathbb{Z}_p \oplus \mathbb{Z}_p$ (एक एलिमेंट्री एबेलियन $p$-ग्रुप) के समरूप (isomorphic) है।
  • वे यह निर्धारित करने के लिए फाइनाइट एबेलियन ग्रुप्स में सबसेट sums पर ज्ञात परिणामों (विशेष रूप से Theorem 10 और 11) का उपयोग करते हैं कि ये sums कब $t$-डिज़ाइन्स बनाते हैं।
• डिज़ाइन व्युत्पत्ति (Design Derivation):
  • यह सुनिश्चित करके कि सबसेट sums $E(\mathbb{F}_q)$ के समूह में 2-डिज़ाइन बनाते हैं, परिणामी लीनियर कोड के न्यूनतम-भार वाले कोडवर्ड्स (minimum-weight codewords) के सपोर्ट स्वतः ही एक 2-डिज़ाइन बनाते हैं।
  • लेखक सामान्यीकृत अस्मस-मैट्सन प्रमेय (Generalized Assmus-Mattson Theorem) (Theorem 3) का उपयोग यह सिद्ध करने के लिए करते हैं कि इन कोड्स में निश्चित भार (fixed weight) वाले सभी कोडवर्ड्स 2-डिज़ाइन्स को सपोर्ट करते हैं, भले ही वे शास्त्रीय (classical) अस्मस-मैट्सन प्रमेय की शर्तों को पूरा न करते हों।

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

1. $n > q+1$ के लिए पहला जेनेरिक निर्माण: यह शोध पत्र $n = p^2$ (जहाँ $p^2 > q+1$) लंबाई वाले $q$-ary NMDS कोड्स की पहली अनंत श्रेणी प्रस्तुत करता है जो 2-डिज़ाइन्स को सपोर्ट करते हैं। यह उस बाधा को तोड़ता है जहाँ ऐसे कोड्स केवल $n \leq q+1$ के लिए ही ज्ञात थे।
2. नया जुड़ाव: यह एलिप्टिक कर्व कोड्स के सपोर्ट डिज़ाइन्स और समूह $E(\mathbb{F}_q) \cong \mathbb{Z}_p \oplus \mathbb{Z}_p$ में सबसेट sums के बीच एक कठोर संबंध स्थापित करता है।
3. स्पष्ट पैरामीटर्स और वेट डिस्ट्रीब्यूशन (Weight Distributions):
   • लेखक $q$ और $p$ पर स्पष्ट शर्तें प्रदान करते हैं (जैसे, $p$ एक विषम अभाज्य संख्या है, $p | q-1$, और विशिष्ट सीमाएँ $p^2 - q - 1$ पर) ताकि आवश्यक एलिप्टिक कर्व्स के अस्तित्व की गारंटी दी जा सके।
   • वे एबेलियन ग्रुप्स में सबसेट sums के सूत्रों का उपयोग करके निर्मित कोड्स और उनके ड्यूल कोड्स का सटीक वेट डिस्ट्रीब्यूशन प्राप्त करते हैं।
4. नए कॉम्बिनेटोरियल डिज़ाइन्स: यह निर्माण नए 2-डिज़ाइन्स (विशेष रूप से 2-$(p^2, p^2-2k, \lambda)$ डिज़ाइन्स) की नई श्रेणियाँ प्रदान करता है जो पहले अज्ञात थे या केवल छिटपुट रूप से उपलब्ध थे।

4. मुख्य परिणाम (Key Results)

• Theorem 14: एक प्राइम पावर $q \geq 7$ और एक विषम अभाज्य $p$ के लिए जो विशिष्ट संख्या-सिद्धांत संबंधी शर्तों (हासे-वील बाउंड और ग्रुप स्ट्रक्चर से संबंधित) को पूरा करता है, एक $[p^2, 2k, p^2-2k]$ पैरामीटर्स वाला NMDS कोड मौजूद है।
  • न्यूनतम-भार वाले कोडवर्ड्स ब्लॉक आकार $p^2-2k$ के साथ एक 2-डिज़ाइन को सपोर्ट करते हैं।
  • ड्यूल कोड $[p^2, p^2-2k, 2k]$ भी एक 2-डिज़ाइन को सपोर्ट करता है।
  • महत्वपूर्ण रूप से, लंबाई $n = p^2$ वास्तव में $q+1$ से अधिक है (चूंकि $p^2 \approx q + 2\sqrt{q}$)।
• वेट डिस्ट्रीब्यूशन: शोध पत्र किसी भी भार $w$ के लिए कोडवर्ड्स की संख्या ($A_w$) और ड्यूल कोड ($A^\perp_w$) के लिए क्लोज्ड-फॉर्म सूत्र प्रदान करता है।
• संख्यात्मक उदाहरण:
  • उदाहरण 1: $q=7, p=3$ के लिए, निर्माण एक $[9, 6, 3]$ NMDS कोड देता है। न्यूनतम भार वाले कोडवर्ड्स एक स्टाइनर ट्रिपल सिस्टम $S(2, 3, 9)$ को सपोर्ट करते हैं।
  • Table IV: 38 विशिष्ट पैरामीटर सेट $(q, p)$ की सूची देता है जो कंप्यूटर सर्च (जहाँ $p < 2000$) के माध्यम से पाए गए हैं, जो $3948169$ तक की लंबाई वाले कोड्स उत्पन्न करते हैं।
• सैद्धांतिक सीमा: निर्मित कोड्स सामान्यीकृत अस्मस-मैट्सन प्रमेय को संतुष्ट करते हैं लेकिन शास्त्रीय अस्मस-मैट्सन प्रमेय को विफल करते हैं, जो इन लंबी कोड्स के लिए सामान्यीकृत दृष्टिकोण की आवश्यकता को रेखांकित करता है।

5. महत्व (Significance)

• $q+1$ की बाधा को तोड़ना: यह कार्य 2-डिज़ाइन्स को सपोर्ट करने वाले NMDS कोड्स के ज्ञात परिदृश्य को मौलिक रूप से विस्तारित करता है। यह सिद्ध करता है कि लंबे NMDS कोड्स (लंबाई $q+1$ से काफी अधिक) में मजबूत कॉम्बिनेटोरियल संरचनाएं हो सकती हैं, जो इस अंतर्ज्ञान को चुनौती देती है कि लंबे कोड्स "रैंडम" होते हैं या उनमें डिज़ाइन गुणों का अभाव होता है।
• क्षेत्रों का एकीकरण: यह शोध पत्र सफलतापूर्वक बीजगणिक ज्यामिति (एलिप्टिक कर्व्स), योगात्मक कॉम्बिनेटोरिक्स (सबसेट sums), और डिज़ाइन थ्योरी को एकीकृत करता है। यह कार्य पद्धति विशिष्ट कॉम्बिनेटोरियल गुणों वाले कोड्स के निर्माण के लिए एक नया टूलकिट प्रदान करती है।
• भविष्य का अनुसंधान: लेखक अनुमान लगाते हैं कि ऐसे अनंत पैरामीटर्स मौजूद हैं, जो इन कोड्स की एक अनंत श्रेणी का सुझाव देते हैं। यह कार्य विभिन्न एलिप्टिक कर्व ग्रुप स्ट्रक्चर्स का उपयोग करके $t$-डिज़ाइन्स ($t > 2$) की खोज करने और अन्य एक्सट्रीमल NMDS कोड्स के वेट डिस्ट्रीब्यूशन की जांच करने के मार्ग खोलता है।

संक्षेप में, यह शोध पत्र एलिप्टिक कर्व के तर्कसंगत बिंदुओं और सबसेट sums की समृद्ध संरचना का उपयोग करते हुए, 2-डिज़ाइन्स को सपोर्ट करने वाले लंबे NMDS कोड्स के निर्माण के लिए एक व्यवस्थित, जेनेरिक विधि प्रदान करके एक लंबे समय से चले आ रहे खुले प्रश्न को हल करता है।