Self-Dual Cyclic Codes with Improved Minimum Distance Estimates via Extending the Chen-Ding Construction

तकनीकी सारांश: चेन-डिंग निर्माण का विस्तार करके बेहतर न्यूनतम दूरी अनुमानों के साथ स्व-द्वैत चक्रीय कोड (Self-Dual Cyclic Codes)

समस्या विवरण
स्व-द्वैत चक्रीय कोडों का निर्माण और उनके न्यूनतम दूरियों पर कठोर निम्नतम सीमाओं (lower bounds) की स्थापना कोडिंग सिद्धांत में मौलिक चुनौतियाँ हैं। जबकि चेन और डिंग ने उन मामलों में स्व-द्वैत चक्रीय कोडों के निर्माण के लिए एक आधार स्थापित किया था जहाँ $q$ का $n$ modulo में गुणात्मक क्रम (multiplicative order), जिसे $\text{ord}_n(q)$ से दर्शाया जाता है, विषम (odd) है, सम (even) $\text{ord}_n(q)$ वाले मामलों में न्यूनतम दूरी के गुणों के संबंध में कम अन्वेषण किया गया था। इसके अतिरिक्त, कुछ स्व-द्वैत चक्रीय कोडों के लिए, विशेष रूप से चेन-डिंग निर्माण से प्राप्त कोडों के लिए, मौजूदा निम्नतम सीमाएँ हमेशा सटीक (tight) नहीं थीं। इस कार्य का प्राथमिक उद्देश्य सम $\text{ord}_n(q)$ के मामले में जांच को विस्तारित करना, मौजूदा निर्माणों के लिए पैरामीटर चयन को परिष्कृत करना, और न्यूनतम दूरियों के लिए अधिक सटीक निम्नतम सीमाएँ प्राप्त करना है, विशेष रूप से यह जांचना कि क्या ये कोड वर्ग-मूल (square-root) निम्नतम सीमाओं से अधिक हो सकते हैं।

कार्यप्रणाली
यह शोध बीजगणितीय कोडिंग सिद्धांत (algebraic coding theory) की तकनीकों का उपयोग करता है, जो परिमित क्षेत्रों $\mathbb{F}_q$ (जहाँ $q$, 2 की घात है) पर चक्रीय कोडों के संरचनात्मक गुणों पर केंद्रित है। कार्यप्रणाली कई प्रमुख स्तंभों पर आधारित है:

1. प्लॉटकिन सम निर्माण (Plotkin Sum Construction): लेखक $n$ लंबाई के कोड युग्म $(C, C^\perp)$ या $(C, C^{\perp H})$ से $2n$ लंबाई के स्व-द्वैत चक्रीय कोडों के निर्माण के लिए प्लॉटकिन सम विधि का उपयोग करते हैं। यह दृष्टिकोण यूक्लिडियन या हर्मिटीन द्वैत-युक्त (dual-containing) चक्रीय कोडों को स्व-द्वैत कोडों में परिवर्तित करता है।
2. निर्धारित सेट विश्लेषण (Defining Set Analysis): एक मुख्य विश्लेषणात्मक उपकरण द्वैत कोडों के निर्धारित सेटों (शून्य के सेट) का परीक्षण है। लेखक इन निर्धारित सेटों के भीतर निरंतर शून्य खंडों (consecutive zero segments) का विश्लेषण करते हैं। निर्धारित सेटों में निरंतर शून्य के विशिष्ट पैटर्न की पहचान करके, वे न्यूनतम दूरी का अनुमान लगाने के लिए BCH बाउंड और उसके उप-परिणामों (जैसे कि रूज़ बाउंड) को लागू करते हैं।
3. पैरामीटर परिशोधन (Parameter Refinement): अध्ययन BCH कोड के लिए डिज़ाइन की गई दूरी $\delta$ के एक परिष्कृत चयन को पेश करता है। लेखक प्रदर्शित करते हैं कि मूल कोड $C$ में $\delta$ को कम करने से विरोधाभासी रूप से इसके द्वैत कोड $C^\perp$ (या $C^{\perp H}$) की न्यूनतम दूरी बढ़ सकती है, जिससे परिणामी स्व-द्वैत कोड $C' = \text{Plotkin}(C, C^\perp)$ की समग्र न्यूनतम दूरी में सुधार होता है।
4. मामला विभेदन (Case Differentiation): विश्लेषण $\text{ord}_n(q)$ की समता (parity) (जिसे $m$ द्वारा दर्शाया गया है) और द्वैत के प्रकार (यूक्लिडियन बनाम हर्मिटीन) के आधार पर विभाजित है। विशेष ध्यान उन मामलों पर दिया गया है जहाँ यूक्लिडियन कोड के लिए $m$ सम है और हर्मिटीन कोड के लिए $m$ विषम है, जो सटीक पैरामीटर्स के संबंध में पहले कम समझे गए थे।

प्रमुख योगदान और परिणाम

• सम क्रम हेतु विस्तार: यह शोध $\text{ord}_n(q)$ सम होने के मामले में चेन-डिंग निर्माण का विस्तार करता है। यह सम $m$ वाले यूक्लिडियन स्व-द्वैत चक्रीय कोड और सम $m$ वाले हर्मिटीन स्व-द्वैत चक्रीय कोड का निर्माण करता है, यह सिद्ध करते हुए कि उनकी न्यूनतम दूरियाँ वर्ग-मूल निम्नतम सीमाओं का पालन करती हैं।
• परिष्कृत $\delta$ के माध्यम से बेहतर निम्नतम सीमाएँ: विषम $m$ वाले यूक्लिडियन स्व-द्वैत कोडों और सम $m$ वाले हर्मिटीन स्व-द्वैत कोडों के लिए, लेखक डिज़ाइन की गई दूरी $\delta$ का एक नया विकल्प प्रस्तावित करते हैं। यह परिशोधन पिछले निर्माणों की तुलना में समान लंबाई और आयाम के कोडों के लिए बड़ी न्यूनतम दूरियाँ प्रदान करता है।
  • $q=2^s$ ($s \ge 2$) और विषम $m \ge 5$ के लिए यूक्लिडियन स्व-द्वैत कोडों के लिए, न्यूनतम दूरी कम से कम $q^{(m+1)/2} + 3$ दिखाई गई है, जो पिछले बाउंड $q^{(m+1)/2} - q + 1$ में सुधार करती है।
  • विषम $m \ge 5$ के साथ बाइनरी केस ($q=2$) के लिए, न्यूनतम दूरी को सुधार कर कम से कम $2^{(m+1)/2}$ किया गया है।
• सटीक पैरामीटर निर्धारण: द्वैत कोडों के निर्धारित सेटों पर ज्ञात परिणामों का लाभ उठाते हुए, यह शोध दो विशिष्ट श्रेणियों के स्व-द्वैत चक्रीय कोडों के लिए सटीक पैरामीटर निर्धारित करता है:
  • यूक्लिडियन स्व-द्वैत कोड (सम $m$): थ्योरम 11 में निर्मित कोड $C'$ के सटीक पैरामीटर $[2(q^m - 1), q^m - 1, 2(q^{m/2} - 1)]_q$ हैं।
  • हर्मिटीन स्व-द्वैत कोड (विषम $m$): थ्योरम 12 में निर्मित कोड $C'$ के सटीक पैरामीटर $[2(q^m - 1), q^m - 1, 2(q^{m_1} - 1)]_q$ हैं।
• वर्ग-मूल सीमाओं से अधिक होना: लेखक यह स्थापित करते हैं कि सम $\text{ord}_n(q)$ वाले यूक्लिडियन स्व-द्वैत चक्रीय कोड और विषम $\text{ord}_n(q)$ वाले हर्मिटीन स्व-द्वैत चक्रीय कोडों की न्यूनतम दूरियाँ वर्ग-मूल निम्नतम सीमा से स्पष्ट रूप से अधिक हैं। यह परिणाम वर्ग-मूल सीमाओं से अधिक न्यूनतम दूरी वाले स्व-द्वैत बाइनरी चक्रीय कोडों के अस्तित्व के संबंध में एक खुले प्रश्न को संबोधित करता है।

महत्व और दावे
यह शोध दावा करता है कि यह उनके निर्माण और पैरामीटर अनुमान के लिए एक अधिक व्यापक ढांचा प्रदान करके स्व-द्वैत चक्रीय कोडों के सिद्धांत को समृद्ध करता है। विशेष रूप से:

• यह सम गुणात्मक क्रमों से जुड़े मामलों में स्व-द्वैत चक्रीय कोडों के निर्माण और पैरामीटर निर्धारण को हल करता है, जो पहले कम चरित्रित थे।
• यह प्रदर्शित करता है कि डिज़ाइन की गई दूरी $\delta$ का सावधानीपूर्वक चयन न्यूनतम दूरी के लिए कड़े निम्नतम सीमाएँ प्रदान कर सकता है, जो इस धारणा को चुनौती देता है कि मानक BCH बाउंड हमेशा स्व-द्वैत निर्माणों के लिए इष्टतम होते हैं।
• विशिष्ट परिवारों के लिए सटीक पैरामीटर निर्धारित करके, यह कार्य पुष्टि करता है कि ये कोड वर्ग-मूल निम्नतम सीमाओं को पार कर सकते हैं, जो एक महत्वपूर्ण सैद्धांतिक मील का पत्थर है।
• लेखक विनम्रतापूर्वक नोट करते हैं कि हालांकि उनके निम्नतम सीमाओं में सुधार किया गया है, फिर भी उनके सैद्धांतिक बाउंड और वास्तविक न्यूनतम दूरियों के बीच एक विसंगति बनी हुई है। वे भविष्य के अनुसंधान के लिए एक खुले प्रश्न के रूप में निर्धारित सेट में (रूज़ बाउंड से परे) अधिक शून्यों का लाभ उठाने वाले कड़े बाउंड की उपस्थिति की पहचान करते हैं।

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