Equivalence of Families of Polycyclic Codes over Finite Fields

तकनीकी सारांश: परिमित क्षेत्रों पर पॉलीसाइक्लिक कोड के परिवारों की तुल्यता

समस्या विवरण
यह शोध पत्र परिमित क्षेत्रों $\mathbb{F}_q$ पर पॉलीसाइक्लिक कोड के वर्गीकरण और तुल्यता को संबोधित करता है। जबकि साइक्लिक (cyclic) और कॉन्स्टसाइक्लिक (constacyclic) कोड $\mathbb{F}_q[x]/\langle x^n - \lambda \rangle$ के कोटिएंट रिंग्स में आइडियल्स (ideals) के रूप में अच्छी तरह से समझे जाते हैं, पॉलीसाइक्लिक कोड $\mathbb{F}_q[x]/\langle f(x) \rangle$ में आइडियल्स के रूप में इन संरचनाओं का सामान्यीकरण करते हैं, जहाँ $f(x)$ एक मनमाना गैर-शून्य बहुपद है। कोडिंग थ्योरी में एक केंद्रीय चुनौती इष्टतम मापदंडों (लंबाई $n$, आयाम $k$, और न्यूनतम दूरी $d$) वाले कोड का निर्माण करना है। चूंकि बड़े मापदंडों के लिए इष्टतम कोडों की विस्तृत कंप्यूटर खोज कम्प्यूटेशनल रूप से अव्यवहार्य है, इसलिए लेखक इन कोडों को तुल्यता वर्गों (equivalence classes) में व्यवस्थित करके खोज स्थान (search space) को कम करने का लक्ष्य रखते हैं। विशेष रूप से, यह शोध पत्र इस बात की जांच करता है कि कब दो एम्बिएंट स्पेस (ambient spaces) — जो कोडों को परिभाषित करने वाले कोटिएंट रिंग्स हैं — समरूप (isometric) होते हैं, जिससे शोधकर्ता इन तुल्यता वर्गों के प्रतिनिधियों तक अपनी खोज को सीमित कर सकते हैं।

कार्यप्रणाली
लेखक $n$-तुल्यता (n-equivalence) की अवधारणा को, जो पहले कॉन्स्टसाइक्लिक कोडों के लिए परिभाषित की गई थी, पॉलीसाइक्लिक कोडों के व्यापक संदर्भ में विस्तारित करते हैं। कार्यप्रणाली तीन चरणों में आगे बढ़ती है:

1. तुल्यता की परिभाषा: $f(x) = x^n - \vec{a}(x)$ और $g(x) = x^n - \vec{b}(x)$ वाले दो पॉलीसाइक्लिक कोड परिवारों को $n$-तुल्य तब परिभाषित किया जाता है जब $\alpha \in \mathbb{F}_q^*$ के लिए एक ऐसा $\alpha$ मौजूद हो कि मैप $\Phi_\alpha: f(x) \mapsto f(\alpha x)$, कोटिएंट रिंग्स $\mathbb{F}_q[x]/\langle g(x) \rangle$ और $\mathbb{F}_q[x]/\langle f(x) \rangle$ के बीच एक $\mathbb{F}_q$-एल्जेब्रा आइसोमोर्फिज्म (isomorphism) प्रेरित करता है जो हैमिंग दूरी (Hamming distance) को संरक्षित करता है।
2. बीजगणितीय लक्षण वर्णन (Algebraic Characterization): शोध पत्र इस तुल्यता के लिए आवश्यक और पर्याप्त स्थितियाँ व्युत्पन्न करता है। इसमें $\mathbb{F}_q$ में द्विपद (binomial) और त्रिपद (trinomial) समीकरणों के मूलों (roots) का विश्लेषण शामिल है। प्रमुख उपकरण हैं:
   • $\gcd(x^n - a, x^m - b)$ की डिग्री और $x^n - a = 0$ के समाधानों की संख्या से संबंधित लेम्मा (lemmas)।
   • तुल्य बहुपदों के गुणांक वैक्टरों (coefficient vectors) को जोड़ने के लिए शूर उत्पाद (Schur products - घटक-वार गुणन) का उपयोग।
   • $\mathbb{F}_q^* \times \mathbb{F}_q^*$ में प्रिमिटिव तत्वों की घातों द्वारा उत्पन्न चक्रीय उपसमूहों (cyclic subgroups) का समूह-सैद्धांतिक विश्लेषण।
3. विशेषकरण और सामान्यीकरण:
   • $\ell$-त्रिपद कोड ($\ell$-Trinomial Codes): अध्ययन सर्वप्रथम $x^n - a_\ell x^\ell - a_0$ (जहाँ $0 < \ell < n$) प्रकार के त्रिपदों से जुड़े कोडों पर केंद्रित है। लेखक $\ell$-त्रिपद कोड के लिए तुल्यता वर्गों की संख्या और वह स्थिति व्युत्पन्न करते हैं जिसमें एक त्रिपद कोड कैनोनिकल रूप $x^n - x^\ell - 1$ के तुल्य होता है।
   • $p\ell$-त्रिपद कोड ($p\ell$-Trinomial Codes): लंबाई $n = p^\ell + r$ (जहाँ $p$ $\mathbb{F}_q$ की विशेषता है) के लिए एक विशिष्ट विश्लेषण किया गया है, जो अपरिमेय गुणनखंडन (irreducible factorizations) निर्धारित करने के लिए आर्टिन-शियर (Artin-Schreier) बहुपदों और ट्रेस फलनों (trace functions) के गुणों का उपयोग करता है।
   • सामान्य पॉलीसाइक्लिक कोड: परिणाम $m$ गैर-शून्य प्रविष्टियों वाले वेक्टर्स $\vec{a}$ द्वारा परिभाषित सामान्य पॉलीसाइक्लिक कोडों के लिए सामान्यीकृत हैं।

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

• $(n, \ell)$-तुल्यता की परिभाषा: शोध पत्र $\ell$-त्रिपद कोड के लिए एक तुल्यता संबंध को औपचारिक रूप देता है। यह सिद्ध करता है कि दो गुणांक जोड़े $(a_0, a_\ell)$ और $(b_0, b_\ell)$ तुल्य हैं यदि और केवल यदि बहुपद $a_0 x^n - b_0$ और $a_\ell x^{n-\ell} - b_\ell$ का $\mathbb{F}_q^*$ में एक उभयनिष्ठ मूल (common root) हो।
• तुल्यता वर्गों की गणना: लेखक $\ell$-त्रिपद कोड के लिए $n$-तुल्यता वर्गों की संख्या के लिए एक स्पष्ट सूत्र प्रदान करते हैं:
  $$N_{(n,\ell)} = (q-1) \gcd(q-1, n, \ell)$$
  $m$ गैर-शून्य गुणांकों वाले सामान्य पॉलीसाइक्लिक कोड के लिए, वर्गों की संख्या इस प्रकार दी गई है:
  $$N = \frac{(q-1)^m}{\text{lcm}_{0 \le j \le m-1} \left( \frac{q-1}{\gcd(n-i_j, q-1)} \right)}$$
• कैनोनिकल रूपों में न्यूनीकरण (Reduction to Canonical Forms):
  • यह सिद्ध किया गया है कि यदि $\gcd(n, n-\ell) = 1$, तो कोई भी $\ell$-त्रिपद कोड परिवार बहुपद $x^n - x^\ell - 1$ से जुड़े परिवार के तुल्य होता है।
  • जहाँ $\gcd(n, n-\ell) \neq 1$ है, वहाँ शोध पत्र विशिष्ट प्रतिनिधियों (प्रिमिटिव तत्व $\xi$ की घातों को शामिल करते हुए) की पहचान करता है जो सभी तुल्यता वर्गों को कवर करते हैं।
• विशिष्ट त्रिपदों का गुणनखंडन: शोध पत्र $x^{p^\ell+1} - x^{p^\ell} - 1$ और $x^{p^\ell+s} - x^{p^\ell} - 1$ जैसे त्रिपदों के गुणनखंडन का विश्लेषण करता है। यह उन स्थितियों को स्थापित करता है जिनके तहत ये बहुपद अपरिमेय कारकों (अक्सर आर्टिन-शियर बहुपदों $x^p - x - \beta$ को शामिल करते हुए) में विभाजित होते हैं, जो सीधे इन परिवारों के संभावित जनरेटर बहुपदों को सूचित करते हैं।
• इष्टतम कोडों का निर्माण: पहचाने गए तुल्यता वर्गों के प्रतिनिधियों तक अपनी खोज को सीमित करके, लेखक इष्टतम पॉलीसाइक्लिक कोड के कई उदाहरणों का निर्माण करते हैं। उल्लेखनीय उदाहरणों में शामिल हैं:
  • $\mathbb{F}_3$ पर $3\ell$-त्रिपद कोड से प्राप्त एक $[27, 3, 18]_3$ कोड और एक $[81, 3, 55]_3$ कोड।
  • $\mathbb{F}_9$ और $\mathbb{F}_4$ पर ज्ञात सीमाओं (जैसे ग्रिसमर बाउंड) से मेल खाने वाले या उन्हें प्राप्त करने वाले मापदंडों के साथ इष्टतम कोड।

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

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