When isometry and equivalence for skew constacyclic codes coincide

यहाँ मोनिका नेविन्स और सुज़ैन पम्प्लुन के शोध पत्र "When Isometry and Equivalence for Skew Constacyclic Codes Coincide" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण और संदर्भ

यह शोध पत्र एक कम्यूटेटिव बेस रिंग $S$ पर skew constacyclic codes (और अधिक व्यापक रूप से, skew polycyclic codes) के वर्गीकरण को संबोधित करता है। ये कोड एक ऑटोमोर्फिज्म $\sigma \in \text{Aut}(S)$ और एक यूनिट $a \in S$ के माध्यम से शामिल एक शिफ्ट ऑपरेशन द्वारा परिभाषित किए जाते हैं।

• एम्बिएंट रिंग्स (Ambient Rings): ये कोड Petit rings में प्रिंसिपल लेफ्ट आइडियल्स के अनुरूप होते हैं, जिन्हें $S_f = S[t; \sigma]/S[t; \sigma]f(t)$ द्वारा दर्शाया जाता है, जहाँ $f(t) = t^n - a$ है। ये रिंग्स सामान्यतः गैर-साहचर्य (non-associative) होते हैं।
• मुख्य मुद्दा: शोधकर्ता इन कोड्स को आइसोमेट्री (isometry) (हैमिंग-वेट संरक्षित आइसोमोर्फिज्म) के आधार पर वर्गीकृत करने का प्रयास करते हैं। पूर्व साहित्य (विशेष रूप से Ou-azzou et al., [OaNA25]) ने दो अलग-अलग धारणाएँ प्रस्तावित की थीं:
  1. $(n, \sigma)$-इक्विवेलेंस (equivalence): डिग्री 1 के आइसोमोर्फिज्म (जहाँ $t \mapsto \alpha t$ होता है)।
  2. $(n, \sigma)$-आइसोमेट्री (isometry): किसी भी डिग्री $k$ के आइसोमोर्फिज्म (जहाँ $t \mapsto \alpha t^k$ होता है)।
• अंतराल (The Gap): यह पहले माना जाता था कि उच्च-डिग्री वाले आइसोमेट्री ($k > 1$) सामान्य हैं और दोनों धारणाएँ भिन्न हैं। लेखक [OaNA25, Theorem 4] में एक त्रुटि की पहचान करते हैं, जिसने ऐसे आइसोमेट्री के अस्तित्व के लिए कुछ शर्तों की समानता का गलत दावा किया था। यह शोध पत्र कठोरता से यह निर्धारित करने का लक्ष्य रखता है कि ये दोनों धारणाएँ कब एक समान होती हैं और हैमिंग-वेट संरक्षित आइसोमोर्फिज्म के पूर्ण सेट को कैसे अभिलक्षित किया जाए।

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

लेखक Petit रिंग्स के बीच होमोमोर्फिज्म की संरचना का विश्लेषण करने के लिए गैर-साहचर्य बीजगणित (non-associative algebra), skew polynomial सिद्धांत और कॉम्बिनेटरियल तर्कों के संयोजन का उपयोग करते हैं।

• बीजगणितीय ढांचा (Algebraic Framework): वे $g \circ h = gh \pmod_r f$ नियम द्वारा परिभाषित $S_f$ के गैर-साहचर्य रिंग स्ट्रक्चर के साथ कार्य करते हैं।
• पावर-एसोसिएटिविटी विश्लेषण (Power-Associativity Analysis): एक महत्वपूर्ण चरण यह निर्धारित करना है कि एक मोनोमियलल तत्व $\alpha t^k$ एक गैर-साहचर्य रिंग में पावर-एसोसिएटिव (अर्थात, $(\alpha t^k)^s$ को कोष्ठकों के क्रम की परवाह किए बिना परिभाषित किया जा सकता है) कब होता है। यह $G(t) = \alpha t^k$ को एक रिंग होमोमोर्फिज्म के रूप में परिभाषित करने के लिए एक पूर्व शर्त है।
• कॉम्बिनेटरियल प्रमाण: लेखक $k > 1$ की डिग्री वाले मोनोमियल होमोमोर्फिज्म के अस्तित्व के लिए आवश्यक और पर्याप्त स्थितियों को प्राप्त करने के लिए विस्तृत कॉम्बिनेटरियल तर्कों (Lemma 3.2, Theorem 3.3) का उपयोग करते हैं।
• गैर-मोनोमियल मैप्स तक विस्तार: खंड 6 में, वे गैर-मोनोमियल बहुपद होमोमोर्फिज्म के अस्तित्व के विश्लेषण को आगे बढ़ाते हैं, यह सिद्ध करते हुए कि वे (integral domains और $m \nmid n$ के तहत) अस्तित्व में नहीं होते हैं।

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

A. मोनोमियल होमोमोर्फिज्म का अभिलक्षण (Theorems 3.3 & 4.4)

यह शोध पत्र सटीक स्थितियाँ स्थापित करता है जिनके तहत $G: S_{t^n-a} \to S_{t^n-b}$ (जो $G(t) = \alpha t^k$ द्वारा परिभाषित है) एक सुव्यवस्थित रिंग होमोमोर्फिज्म है।

• पावर-एसोसिएटिविटी की शर्त: $S_{t^n-b}$ में $\alpha t^k$ के पावर-एसोसिएटिव होने के लिए, यह आवश्यक और पर्याप्त है कि:
  $$\alpha b = \sigma^n(\alpha)\sigma^k(b)$$
• डिग्री प्रतिबंध: यदि $S_{t^n-b}$ एक प्रॉपर नॉन-एसोसिएटिव (proper non-associative) रिंग है (अर्थात, यह एक साहचर्य रिंग नहीं है), तो डिग्री $k > 1$ का कोई भी मोनोमियल होमोमोर्फिज्म मौजूद नहीं होता है।
  • विशेष रूप से, यदि $m \nmid n$ (जहाँ $m$, $\sigma$ का ऑर्डर है) या यदि $a, b \notin S^\sigma$ (फिक्स्ड रिंग), तो कोई भी हैमिंग-वेट संरक्षित आइसोमोर्फिज्म केवल डिग्री 1 ($k=1$) का ही होगा।
• साहचर्य मामला (Associative Case): डिग्री $k > 1$ के आइसोमोर्फिज्म केवल तभी अस्तित्व में होते हैं जब एम्बिएंट रिंग्स साहचर्य हों (जिसके लिए $m \mid n$ और $a, b \in S^\sigma$ होना आवश्यक है)।

B. आइसोमेट्री और इक्विवेलेंस का मेल (Corollary 4.5)

सबसे महत्वपूर्ण परिणाम यह है कि प्रॉपर नॉन-एसोसिएटिव Petit rings (जो skew constacyclic codes के लिए सामान्य मामला है) के लिए, $(n, \sigma)$-आइसोमेट्री और $(n, \sigma)$-इक्विवेलेंस की धारणाएँ आपस में मिल जाती हैं।

• यहाँ कोई "छिपे हुए" उच्च-डिग्री वाले आइसोमेट्री मौजूद नहीं हैं जो हैमिंग वेट को संरक्षित करते हों।
• यह [OaNA25] की त्रुटि को सुधारता है, जिसने ऐसे मैप्स के अस्तित्व का मान लिया था और फलस्वरूप कोड इक्विवेलेंस क्लासेस का गलत वर्गीकरण किया था।

C. पिछले वर्गीकरण का सुधार (Section 5)

लेखक एक स्पष्ट काउंटर-एग्जांपल (Example 5.5) प्रदान करते हैं, जो यह दर्शाता है कि [OaNA25, Theorem 4] में आइसोमेट्री के अस्तित्व के लिए प्रस्तावित शर्तें पर्याप्त नहीं हैं।

• वे एक परिमित क्षेत्र $K = \mathbb{F}_{p^r}$ पर skew constacyclic कोड्स के अलग-अलग $(n, \sigma)$-आइसोमेट्री क्लासेस की संख्या के लिए सही सूत्र प्राप्त करते हैं।
• Theorem 5.9: क्लासेज की संख्या $N$ है:
  • $\gcd([n]_s, p^r - 1)$ यदि $m \nmid n$ (नॉन-एसोसिएटिव मामला)।
  • साहचर्य मामलों को घटाकर प्राप्त एक संशोधित गणना यदि $m \mid n$।

D. इक्विवेलेंस की नई परिभाषाएँ (Definition 5.1)

लेखक आइसोमेट्री और इक्विवेलेंस की परिष्कृत परिभाषाएँ प्रस्तावित करते हैं जो एम्बिएंट रिंग्स के बीच सभी संभावित हैमिंग-वेट संरक्षित आइसोमोर्फिज्मों को समाहित करती हैं।

• आइसोमेट्री: अस्तित्व में होती है यदि $1 \le k < n$ के लिए कोई मोनोमियल आइसोमोर्फिज्म $G_{\tau, \alpha, k}$ मौजूद हो।
• इक्विवेलेंस: अस्तित्व में होती है यदि कोई मोनोमियल आइसोमोर्फिज्म $G_{\tau, \alpha}$ (डिग्री 1) मौजूद हो।
• वे सिद्ध करते हैं कि नॉन-एसोसिएटिव रिंग्स के लिए, ये दोनों परिभाषाएँ एक ही वर्गीकरण प्रदान करती हैं, जिससे कोड्स का अधिक सटीक और "टाइट" समूहीकरण होता है।

E. गैर-मोनोमियल होमोमोर्फिज्म (Section 6)

शोध पत्र इस बात की जांच करता है कि क्या गैर-मोनोमियल बहुपद मैप्स मौजूद हो सकते हैं।

• Theorem 6.1 & Corollary 6.2: यदि $S$ एक इंटीग्रल डोमेन है और $m \nmid n$, तो प्रॉपर नॉन-एसोसिएटिव Petit rings के बीच प्रत्येक गैर-शून्य होमोमोर्फिज्म डिग्री 1 का एक मोनोमियल ही होगा।
• यह इंगित करता है कि अधिकांश skew constacyclic कोड्स के लिए, केवल सरल रैखिक मैप्स (डिग्री 1) ही संरचना-संरक्षण करने वाले मैप्स हैं।

4. महत्व और प्रभाव

1. साहित्य का सुधार: यह शोध पत्र [OaNA25] में प्रस्तुत वर्गीकरण सिद्धांत को निर्णायक रूप से सुधारता है, और इस गलत धारणा को हटाता है कि उच्च-डिग्री आइसोमेट्री सामान्य हैं। यह अलग-अलग कोड क्लास के गलत विलय को रोकता है।
2. सरलीकृत वर्गीकरण: नॉन-एसोसिएटिव रिंग्स के लिए आइसोमेट्री और इक्विवेलेंस के मेल को सिद्ध करके, यह शोध पत्र skew constacyclic कोड्स के वर्गीकरण के कार्य को सरल बनाता है। शोधकर्ताओं को अब नॉन-एसोसिएटिव सेटिंग में जटिल उच्च-डिग्री आइसोमेट्री की खोज करने की आवश्यकता नहीं है।
3. बीजगणितीय अंतर्दृष्टि: यह कार्य Petit rings की संरचना के बारे में गहरी समझ प्रदान करता है, विशेष रूप से नॉन-एसोसिएटिव परिवेश में $k > 1$ डिग्री वाले पावर-एसोसिएटिव तत्वों की कमी के बारे में।
4. क्रिप्टोग्राफी और कोडिंग में अनुप्रयोग:
   • MRD कोड्स: इसके परिणाम मैक्सिमल रैंक डिस्टेंस (MRD) कोड्स के वर्गीकरण को प्रभावित करते हैं, जो इस रूप के डिवीजन अलजेब्रा से संबंधित हैं।
   • पोस्ट-क्वांटम क्रिप्टोग्राफी: डिवीजन अलजेब्रा $K[t; \sigma]/K[t; \sigma](t^n - a)$ का उपयोग लैटिस-आधारित क्रिप्टोग्राफी (Learning with Errors वेरिएशंस) में किया जाता है। उनके आइसोमोर्फिज्म को समझना पैरामीटर चयन और सुरक्षा विश्लेषण के लिए महत्वपूर्ण है।
   • कोड डी-डुप्लिकेशन: परिष्कृत वर्गीकरण अधिक सटीक "डी-डुप्लिकेशन" की अनुमति देता है, जिससे यह सुनिश्चित होता है कि अलग-अलग कोड्स को गलती से समान न माना जाए, और न ही विपरीत।

संक्षेप में, नेविन्स और पम्प्लुन स्थापित करते हैं कि गैर-एसोसिएटिव एम्बिएंट रिंग्स वाले व्यापक और महत्वपूर्ण वर्ग के लिए skew constacyclic कोड्स के लिए, बीजगणितीय संरचना अत्यंत कठोर है: एकमात्र हैमिंग-वेट संरक्षित आइसोमोर्फिज्म डिग्री एक के ही होते हैं। यह आइसोमेट्री और इक्विवेलेंस की अवधारणाओं को एकीकृत करता है और कोडिंग थ्योरी एवं नॉन-एसोसिएटिव बीजगणित के भविष्य के शोध के लिए एक सुधारा हुआ, कठोर ढांचा प्रदान करता है।