Construction of cyclic codes with large minimum distance from power functions over odd characteristic finite fields

तकनीकी सारांश: विषम विशेषता वाले परिमित क्षेत्रों (Odd Characteristic Finite Fields) पर पावर फंक्शन्स से साइक्लिक कोड्स का निर्माण

समस्या विवरण
ऐसे साइक्लिक कोड्स जिनकी विमा (dimension) कोड की लंबाई के आधे से अधिक ($k > v/2$) हो और जिनका न्यूनतम अंतर (minimum distance) कोड की लंबाई के वर्गमूल से अधिक ($d > \sqrt{v}$) हो, वे उच्च ट्रांसमिशन दक्षता और मजबूत त्रुटि सुधार (error correction) वाले अनुप्रयोगों, जैसे कि संचार प्रणालियों, पोस्ट-क्वांटम क्रिप्टोग्राफी और रडार के लिए अत्यधिक वांछनीय हैं। जबकि बाइनरी फील्ड्स (विशेषता 2) पर ऐसे कोड्स के निर्माण में महत्वपूर्ण प्रगति हुई है, विषम विशेषता वाले परिमित क्षेत्रों पर ज्ञात डिफरेंशियल यूनिफॉर्मिटी (differential uniformity) वाले पावर फंक्शन्स का उपयोग करके गैर-बाइनरी साइक्लिक कोड्स के निर्माण पर तुलनात्मक रूप से कम ध्यान दिया गया है। यह शोध पत्र $q$-ary साइक्लिक कोड्स के अनंत परिवारों के निर्माण के अंतराल को संबोधित करता है जो अनुकूल पैरामीटर्स प्राप्त करते हैं, विशेष रूप से $k > (q^m - 1)/2$ और $d > \sqrt{q^m - 1}$ को लक्षित करते हैं।

कार्यप्रणाली (Methodology)
लेखक साइक्लिक कोड्स के निर्माण के लिए ट्रेस सीक्वेंस दृष्टिकोण (trace sequence approach) का उपयोग करते हैं। इस कार्यप्रणाली में निम्नलिखित चरण शामिल हैं:

1. अनुक्रम परिभाषा (Sequence Definition): एक दिए गए परिमित क्षेत्र $\mathbb{F}_{q^m}$ और एक प्रिमिटिव एलिमेंट $\alpha$ के लिए, एक अनुक्रम $s_\infty = (s_t)_{t \ge 0}$ को ट्रेस फंक्शन के माध्यम से परिभाषित किया जाता है: $s_t = \text{Tr}_{q^m}^q(F(\alpha^t + 1))$, जहाँ $F(x)$ $\mathbb{F}_{q^m}$ पर एक चयनित पावर फंक्शन है।
2. जेनरेटर पॉलीनोमियल का निर्धारण: साइक्लिक कोड $C_F$ को अनुक्रम $s_\infty$ के मिनिमल पॉलीनोमियल $M_s(x)$ द्वारा जनरेट किया जाता है। कोड की विमा अनुक्रम के लीनियर स्पैन ($L_s$) द्वारा निर्धारित होती है, जो अनुक्रम के ट्रेस एक्सपेंशन में गैर-शून्य गुणांकों की संख्या के अनुरूप होती है।
3. पावर फंक्शन का चयन: शोध पत्र विशिष्ट मोनॉमियल्स $F(x) = x^d$ का चयन करता है जिनकी $\mathbb{F}_{q^m}$ (जहाँ $q$ विषम है) पर ज्ञात डिफरेंशियल यूनिफॉर्मिटी है। चयन के मानदंड $m$ की पैरिटी (parity) और घातांक $d$ की विशिष्ट संरचना पर निर्भर करते हैं।
4. बीजगणितीय विश्लेषण (Algebraic Analysis):
   • लीनियर स्पैन: लेखक अनुक्रम के विस्तार और गैर-शून्य पदों की पहचान करने के लिए $q$-adic एक्सपेंशन, लुकास प्रमेय (Lucas' Theorem) और साइक्लोटॉमिक कोसेट्स (cyclotomic cosets) के गुणों का उपयोग करते हैं। यह अनुक्रम के लीनियर स्पैन $L_s$ की सटीक गणना और जेनरेटर पॉलीनोमियल $M_s(x)$ के निर्माण की अनुमति देता है।
   • न्यूनतम अंतर सीमाएँ (Minimum Distance Bounds): न्यूनतम अंतर $d$ पर निचली सीमाओं को BCH बाउंड और हार्टमैन-त्ज़ेंग (Hartmann-Tzeng) बाउंड का उपयोग करके स्थापित किया गया है। इसमें डिफाइनिंग सेट (जेनरेटर पॉलीनोमियल के मूल/roots) के भीतर क्रमिक पूर्णांक या विशिष्ट सेटों की पहचान शामिल है।
   • सटीक अंतर: विशिष्ट मामलों के लिए, लेखक सटीक न्यूनतम अंतर निर्धारित करने के लिए विशिष्ट वेट (weight) वाले स्पष्ट कोडवर्ड्स का निर्माण करते हैं, जो अक्सर निर्मित कोड्स को ज्ञात प्रिमिटिव BCH कोड्स से जोड़ते हैं।

प्रमुख योगदान और परिणाम
शोध पत्र $v = q^m - 1$ लंबाई वाले $v/2$ से अधिक विमा वाले कई $q$-ary साइक्लिक कोड्स प्रस्तुत करता है। विशिष्ट निर्माण और परिणाम उपयोग किए गए पावर फंक्शन्स के आधार पर वर्गीकृत हैं:

1. $x^{2 \cdot 3^{(m-1)/2} + 1}$ ($m$ विषम) से टर्नरी कोड्स:

   • $\mathbb{F}_{3^m}$ पर निर्मित।
   • लीनियर स्पैन $3m + N_3(m)$ है, जिससे विमा $3^m - 1 - 3m - N_3(m)$ प्राप्त होती है।
   • न्यूनतम अंतर $d$ इस प्रकार है कि $3 \le d \le 8$।
   • उदाहरण: $m=5$ के लिए, एक $[242, 226, 5]$ कोड प्राप्त होता है, जो लगभग इष्टतम (optimal) है।

2. $x^{p^{m/2} + 2}$ ($m$ सम, $p$ विषम) से $p$-ary कोड्स:

   • $\mathbb{F}_{p^m}$ पर निर्मित।
   • लीनियर स्पैन $p$ और $m$ पर निर्भर करता है (जैसे, $p=3$ के लिए $N_p(m) + 5m/2$)।
   • न्यूनतम अंतर सीमाएँ स्थापित की गई हैं: $d \ge 3$ (यदि $p=3$), $d \ge 5$ (यदि $p \ge 5, p \nmid m$), और $d \ge 4$ (यदि $p \ge 5, p \mid m$)।
   • विशिष्ट मामलों के लिए सटीक अंतर निर्धारित किए गए हैं (जैसे, $p \nmid m$ के लिए $p=5$ होने पर $d=5$)।

3. $x^{(q^{(m+1)/2} - 1)/(q-1)}$ ($m$ विषम) से कोड्स:

   • यह निर्माण एक विशिष्ट मामले को संबोधित करता है जहाँ घातांक एक ज्योमेट्रिक सीरीज़ सम (geometric series sum) है।
   • शोध पत्र $N_p(k)$ पदों के योगों को शामिल करते हुए एक सामान्य लीनियर स्पैन फॉर्मूला व्युत्पन्न करता है।
   • महत्व: यह निर्माण डिंग [35] द्वारा प्रस्तुत ओपन प्रॉब्लम 5.31 को आंशिक रूप से हल करता है, जो $m$ विषम होने पर $t = (m+1)/2$ के लिए साइक्लिक कोड्स के आयाम और जेनरेटर पॉलीनोमियल से संबंधित था।
   • $d$ के लिए निचली सीमाएँ प्रदान की गई हैं, जो $q$ और $t$ के आधार पर 2 से $2^{t-2} + 2$ तक होती हैं।

4. $x^{(3^{(m+1)/2} + 1)/2}$ ($m$ विषम) से टर्नरी कोड्स:

   • एक मोनॉमियल का उपयोग करता है जो $m$ के आधार पर एक परफेक्ट नॉनलीनियर (PN) फंक्शन या 4-यूनिफॉर्म फंक्शन है।
   • लीनियर स्पैन $N_3(m) + (N_3(t+1) + \sum N_3(k)2^{t-k})m$ के रूप में निकाला गया है।
   • न्यूनतम अंतर सीमाएँ स्थापित की गई हैं, जहाँ विशिष्ट विभाज्यता (divisibility) स्थितियों के तहत $d \ge 8$ है।

5. $x^{p^h - 1}$ ($1 \le h \le \lceil m/2 \rceil$) से $p$-ary कोड्स:

   • पिछले बाइनरी परिणामों को विषम विशेषता तक सामान्यीकृत करता है।
   • लीनियर स्पैन को $p$-adic एक्सपेंशन और विशिष्ट सेट परिभाषाओं ($\hat{\Gamma}(t)$) का उपयोग करके व्युत्पन्न किया गया है।
   • न्यूनतम अंतर की निचली सीमाएँ कई मामलों में कोड की लंबाई के वर्गमूल से काफी बेहतर दिखाई गई हैं (जैसे, $d \ge p^h + 2$)।
   • $h | m$ के मामलों के लिए सटीक अंतर निर्धारित किए गए हैं, जो दर्शाता है कि कोड एक नैरो-सेंस प्रिमिटिव BCH कोड के समकक्ष है जिसका डिज़ाइन किया गया अंतर $p^h + 1$ है।

6. $x^{2 \cdot p^{m/2} - 1}$ और $x^{p^{2h} - p^h + 1}$ से कोड्स:

   • ये खंड विशिष्ट घातांकों के साथ $m$ के सम और विषम होने के मामलों को संभालते हैं।
   • लेखक लीनियर स्पैन और मिनिमल पॉलीनोमियल्स के लिए जटिल व्यंजक व्युत्पन्न करते हैं।
   • थ्योरम 11 और थ्योरम 13 प्रदर्शित करते हैं कि इन परिवारों के लिए न्यूनतम अंतर की निचली सीमाएँ अक्सर वर्गमूल सीमा ($\sqrt{v}$) की तुलना में काफी श्रेष्ठ होती हैं।

महत्व और दावे
शोध पत्र दावा करता है कि यह डिंग और झोउ [14] के बाइनरी फ्रेमवर्क को एक गैर-बाइनरी सेटिंग में विस्तारित करता है। प्राथमिक महत्व निम्नलिखित में निहित है:

• पैरामीटर सुधार: निर्मित कोड्स $k > (q^m - 1)/2$ और $d > \sqrt{q^m - 1}$ की विमा प्राप्त करते हैं, जो कोड रेट और त्रुटि सुधार क्षमता के बीच प्रभावी ढंग से संतुलन बनाते हैं।
• ओपन प्रॉब्लम्स का समाधान: यह कार्य डिंग [35] के ओपन प्रॉब्लम 5.31 को आंशिक रूप से हल करता है, जो $m$ विषम होने पर $F(x) = x^{(3^{(m+1)/2}-1)/(3-1)}$ द्वारा परिभाषित टर्नरी साइक्लिक कोड से संबंधित था।
• इष्टतमता (Optimality): निर्मित कोड्स (और उनके ड्यूल्स) में से कई को बेस्ट नोन लीनियर कोड्स के डेटाबेस [47] के विरुद्ध इष्टतम या लगभग इष्टतम के रूप में पहचाना गया है।
• सैद्धांतिक प्रगति: शोध पत्र विषम विशेषता वाले क्षेत्रों के लिए साइक्लोटॉमिक कोसेट्स, $p$-adic एक्सपेंशन और लुकास प्रमेय जैसे उन्नत संख्या-सिद्धांत उपकरणों का उपयोग करते हुए, कोड्स के अनंत परिवारों के लिए लीनियर स्पैन और जेनरेटर पॉलीनोमियल्स के स्पष्ट सूत्र प्रदान करता है।

लेखक निष्कर्ष निकालते हैं कि ये निर्माण अत्यधिक मांग वाले अनुप्रयोगों के लिए उपयुक्त कोड्स का एक समृद्ध स्रोत प्रदान करते हैं और सुझाव देते हैं कि विषम विशेषता वाले क्षेत्रों पर पावर फंक्शन्स का और अधिक अन्वेषण अधिक इष्टतम परिवारों को जन्म दे सकता है। वे यह भी उल्लेख करते हैं कि इन कोड्स का उपयोग CSS निर्माण के माध्यम से क्वांटम एरर-करेक्टिंग कोड्स के निर्माण के लिए किया जा सकता है।