New Constructions of Binary Cyclic Codes with Both Relatively Large Minimum Distance and Dual Distance

यहाँ ज़ेहंग (Zheng), फांग (Fang), और क्यू (Qiu) के शोध पत्र "New Constructions of Binary Cyclic Codes with Both Relatively Large Minimum Distance and Dual Distance" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र कोडिंग थ्योरी की उस मौलिक चुनौती को संबोधित करता है जिसमें लंबाई $n = 2^m - 1$ और आयाम (dimension) $k \approx n/2$ वाले बाइनरी साइक्लिक कोड्स के अनंत परिवारों का निर्माण करना होता है जो एक साथ निम्नलिखित गुणों को रखते हों:

• एक बड़ा न्यूनतम अंतर (minimum distance - $d$)।
• एक बड़ा ड्यूल अंतर (dual distance - $d^\perp$)।

संदर्भ और प्रेरणा (Context & Motivation):

• ऐतिहासिक रूप से, एक ट्रेड-ऑफ (trade-off) मौजूद है: जैसे-जैसे एक साइक्लिक कोड का न्यूनतम अंतर $d$ बढ़ता है, उसका ड्यूल अंतर $d^\perp$ कम होने लगता है।
• "स्क्वायर-रूट बाउंड" (Square-root bound: $d \approx \sqrt{n}$) कई ज्ञात निर्माणों के लिए एक सामान्य निचला स्तर (lower bound) है।
• जबकि पंक्चरड बाइनरी रीड-मुलर (punctured binary Reed-Muller) कोड्स $d \cdot d^\perp \approx 2n$ प्राप्त करते हैं, वे विशिष्ट मापदंडों (विषम $m$, विशिष्ट आयाम) तक सीमित हैं।
• सम $m$ (even $m$) या सम्मिश्र $m$ (composite $m$) के लिए मौजूदा निर्माण अक्सर ऐसे मापदंड प्रदान करते हैं जहाँ $d \cdot d^\perp$ काफी कम (जैसे, $\approx n/4$ या $\approx n/16$) होता है।
• लक्ष्य इस ट्रेड-ऑफ को तोड़ना और ऐसे कोड्स का निर्माण करना है जहाँ उत्पाद $d \cdot d^\perp$ व्यापक रेंज के $m$ के लिए स्पर्शोन्मुख रूप से (asymptotically) $n$ या यहाँ तक कि $2n$ के करीब पहुँच जाए।

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

लेखक बीजगणितीय कोडिंग थ्योरी (algebraic coding theory) की तकनीकों का उपयोग करते हैं, विशेष रूप से 2-साइक्लोटोमिक कोसेट्स (2-cyclotomic cosets) के माध्यम से बाइनरी साइक्लिक कोड्स के डिफाइनिंग सेट्स (defining sets) पर ध्यान केंद्रित करते हैं।

• डिफाइनिंग सेट्स और BCH बाउंड: एक बाइनरी साइक्लिक कोड $C$ को उसके जनरेटर बहुपद के मूलों (roots) के एक सेट $Z$ द्वारा परिभाषित किया जाता है। यदि $Z$ में लगातार पूर्णांकों का एक अनुक्रम है, तो BCH बाउंड द्वारा न्यूनतम अंतर $d$ को निचला स्तर प्राप्त होता है। ड्यूल अंतर $d^\perp$ $Z$ के पूरक (complement) में लगातार पूर्णांकों (विशेष रूप से $-(Z_n \setminus Z)$) द्वारा निर्धारित होता है।
• समरूपता और रोटेशन (Symmetry and Rotation): लेखक पूर्णांकों से बाइनरी वेक्टर्स पर मैपिंग $\pi$ और साइक्लिक शिफ्ट ऑपरेटर $\rho$ का उपयोग करते हैं। वे डिफाइनिंग सेट्स का निर्माण साइक्लोटोमिक कोसेट्स के संघ (unions) के रूप में करते हैं, यह सुनिश्चित करते हुए कि बाइनरी वेक्टर्स का सेट रोटेशन के तहत अपरिवर्तित रहे ($\rho(\pi(Z)) = \pi(Z)$)।
• मामले-विशिष्ट निर्माण (Case-Specific Constructions): शोध पत्र $m$ के गुणों के आधार पर समस्या को तीन अलग-अलग मामलों में विभाजित करता है:
  1. $m$ सम (even) है: बाइनरी वेक्टर्स के हैमिंग वेट (Hamming weights) के आधार पर वेक्टर स्पेस को विभाजित करने के लिए रोटेशन-सिमेट्रिक बुलियन फंक्शन अवधारणाओं का उपयोग करना।
  2. $m = p_1 p_2$ (दो अलग अभाज्य संख्याओं का गुणनफल): डिफाइनिंग सेट्स का निर्माण करने के लिए $p_1, p_2,$ और $p_1 p_2$ आकार के साइक्लोटोमिक कोसेट्स की संरचना का विश्लेषण करना ताकि वे स्क्वायर-रूट बाउंड से अधिक हो सकें।
  3. $m$ विषम (odd) है: डिफाइनिंग सेट और उसके पूरक दोनों में लगातार अनुक्रमों को अधिकतम करने के लिए हैमिंग वेट की पैरिटी (parity) और विशिष्ट कोसेट लीडर्स के आधार पर सेट्स का निर्माण करना।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

शोध पत्र तीन मुख्य निर्माण परिवारों को प्रस्तुत करता है, जिनका सारांश नीचे दिया गया है:

A. मामला 1: $m$ सम (Even) है

• निर्माण: लेखक बाइनरी वेक्टर्स के पहले और दूसरे आधे हिस्से की समानता (रोटेशन सिमेट्री) के आधार पर सेट $B, T, G$ को परिभाषित करते हैं। वे डिफाइनिंग सेट्स बनाने के लिए वेक्टर स्पेस को $S_1$ और $S_2$ में विभाजित करते हैं।
• मापदंड (Parameters):
  • $[2^m-1, 2^{m-1} \pm 1, d]$ मापदंडों वाले कोड।
  • न्यूनतम अंतर: $d \ge 2^{m/2} - 1$।
  • ड्यूल अंतर: $d^\perp \ge 2^{m/2}$।
• महत्व: ये मापदंड पिछले परिणामों (जैसे, टेंग एट अल. [26]) में उल्लेखनीय सुधार करते हैं, जहाँ बाउंड लगभग $2^{(m-2)/2}$ था। यहाँ उत्पाद $d \cdot d^\perp \approx n$ है।

B. मामला 2: $m = p_1 p_2$ (दो अलग अभाज्य संख्याओं का गुणनफल)

• निर्माण: लेखक जब $m$ अभाज्य संख्याओं का गुणनफल होता है, तो विशिष्ट साइक्लोटोमिक कोसेट्स के आकार का विश्लेषण करते हैं। वे लगातार अनुक्रम की लंबाई को अधिकतम करने के लिए कोसेट लीडर्स का सावधानीपूर्वक चयन करके डिफाइनिंग सेट्स का निर्माण करते हैं।
• मापदंड:
  • आयाम $k = 2^{m-1}$ वाले कोड।
  • न्यूनतम अंतर: $d$ स्क्वायर-रूट बाउंड से काफी बड़ा है। विशेष रूप से, $p_1=2$ के लिए, $d \ge \frac{2^{2p-4}}{2^p} + \dots$, और विषम अभाज्य संख्याओं के लिए, $d > \frac{n}{\log_2 n}$ से अधिक है।
  • ड्यूल अंतर: $d^\perp \ge 2^{\lfloor \log_2 p_1 p_2 \rfloor + 1} - 1$।
• महत्व: यह निर्माण $\sqrt{n}$ से बहुत अधिक और यहाँ तक कि $\frac{n}{\log_2 n}$ (एक बाउंड जो पहले केवल प्राइम $m$ के लिए प्राप्त किया गया था) से भी अधिक न्यूनतम अंतर प्राप्त करता है। यहाँ उत्पाद $d \cdot d^\perp \approx n$ है।

C. मामला 3: $m$ विषम (Odd) है

लेखक विषम $m$ के लिए दो परिवार प्रस्तुत करते हैं:

1. परिवार 1:
   • मापदंड: $[2^m-1, 2^{m-1}, d]$।
   • दूरी (Distances): $d \ge 2^{(m+1)/2} - 1$ और $d^\perp \ge 2^{(m+1)/2}$।
   • महत्व: ये मापदंड पंक्चरड बाइनरी रीड-मुलर कोड्स के बराबर या उनसे बेहतर हैं।
2. परिवार 2:
   • मापदंड: $[2^m-1, 2^{m-1}, d]$।
   • दूरी: $d \ge 4 \cdot (2^{(m-1)/2} - 4) + 1$ और $d^\perp \ge 2^{(m-1)/2}$।
   • महत्व: यह परिवार समान ड्यूल अंतर बनाए रखते हुए पंक्चरड रीड-मुलर कोड्स और [28] के निर्माण की तुलना में अधिक न्यूनतम अंतर प्राप्त करता है।

• कुल प्रभाव: इन परिवारों के लिए, $d \cdot d^\perp \approx 2n$ है।

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

• ट्रेड-ऑफ को तोड़ना: यह शोध पत्र सफलतापूर्वक ऐसे परिवारों का निर्माण करता है जहाँ $d$ और $d^\perp$ दोनों बड़े हैं, जो इस धारणा को चुनौती देते हैं कि एक को बढ़ाने से अनिवार्य रूप से दूसरा कम हो जाता है।
• स्पर्शोन्मुख सीमाएँ (Asymptotic Bounds):
  • सम $m$ और सम्मिश्र $m=p_1 p_2$ के लिए, उत्पाद $d \cdot d^\perp$ स्पर्शोन्मुख रूप से $n$ के करीब पहुँच जाता है।
  • विषम $m$ के लिए, उत्पाद $2n$ के करीब पहुँचता है, जो पंक्चरड रीड-मुलर कोड्स के प्रदर्शन से मेल खाता है, लेकिन संभावित रूप से बेहतर न्यूनतम अंतर प्रदान करता है।
• नवीनता: लेखकों के सर्वोत्तम ज्ञान के अनुसार, पंक्चरड रीड-मुलर कोड्स को छोड़कर, लंबाई $n=2^m-1$ और आयाम $k \approx n/2$ वाले अन्य किसी भी बाइनरी साइक्लिक कोड निर्माण ने $d \cdot d^\perp \approx 2n$ के बाउंड को नहीं छुआ है।
• खुली समस्या (Open Problem): लेखक एक खुली समस्या प्रस्तावित करते हैं: क्या $\Delta = \limsup_{n \to \infty} \frac{d \cdot d^\perp}{n}$ स्पष्ट रूप से 2 से अधिक हो सकता है? वे सुझाव देते हैं कि जबकि वर्तमान निर्माण 2 तक पहुँचते हैं, यह अभी भी अज्ञात है कि क्या कोई ऐसा परिवार मौजूद है जो इस सीमा से अधिक जा सके।

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