Hermitian hull-variation of vector rank-metric codes and self-orthogonal generalized Gabidulin codes

तकनीकी सारांश: वेक्टर रैंक-मेट्रिक कोड्स का हर्मिटीयन हल-वेरिएशन और स्व-ऑर्थोगोनल जनरलाइज्ड गैबुडुलिन कोड्स

समस्या विवरण
यह शोध पत्र हर्मिटीयन इनर प्रोडक्ट (Hermitian inner product) से सुसज्जित वेक्टर रैंक-मेट्रिक कोड्स के लिए "हल-वेरिएशन समस्या" (hull-variation problem) की जांच करता है। एक रैखिक कोड $C$ का हल (hull), जिसे $H(C) = C \cap C^\perp$ के रूप में परिभाषित किया गया है, एक मौलिक उपकोड (subcode) है जिसका आयाम (dimension) कुछ विशिष्ट निर्माणों की व्यवहार्यता को निर्धारित करता है, जैसे कि एंटैंगलमेंट-असिस्टेड क्वांटम एरर-करेक्टिंग कोड्स (EAQECC)। जबकि हैमिंग मेट्रिक में यूक्लिडियन और हर्मिटीयन कोड्स के लिए हल-वेरिएशन समस्या को काफी हद तक हल कर लिया गया है (यह दिखाते हुए कि कोड्स को मूल आयाम तक किसी भी निर्धारित आयाम वाले समकक्ष कोड्स में बदला जा सकता है), वेक्टर रैंक-मेट्रिक कोड्स के लिए यह समस्या खुली रही थी। विशेष रूप से, यह शोध पत्र इस बात की जांच करता है कि क्या प्रत्येक वेक्टर रैंक-मेट्रिक कोड एक हर्मिटीयन LCD (लीनियर कॉम्प्लीमेंट्री डुअल) कोड (अर्थात, एक ऐसा कोड जिसका हल शून्य हो) के समकक्ष है और क्या वांछित हर्मिटीयन हल आयाम के साथ मैक्सिमम रैंक डिस्टेंस (MRD) कोड्स का निर्माण किया जा सकता है।

कार्यप्रणाली और मुख्य योगदान

1. हर्मिटीयन हल-वेरिएशन प्रमेय (Hermitian Hull-Variation Theorem):
   लेखक स्थापित करते हैं कि $\mathbb{F}_{q^{2m}}$ पर वेक्टर रैंक-मेट्रिक कोड्स के लिए, हर्मिटीयन हल आयाम को कोड के समतुल्यता वर्ग (equivalence class) के भीतर एक इकाई कम किया जा सकता है, बशर्ते विशिष्ट शर्तें पूरी हों।

• सामान्य मामला ($n \ge 3$ या $q \ge 4$): प्रमाण जेनरेटर मैट्रिसेस (generator matrices) का उपयोग करते हुए एक रचनात्मक दृष्टिकोण का उपयोग करता है। हल में एक गैर-शून्य वेक्टर की पहचान करके और एक विशिष्ट समतुल्यता रूपांतरण $M \in GL_n(\mathbb{F}_q)$ लागू करके, लेखक दिखाते हैं कि मैट्रिक्स $GG^\dagger$ का रैंक एक से बढ़ जाता है, जिससे हल आयाम एक से कम हो जाता है। यह लेम्मा 3.1 पर निर्भर करता है, जो यह दर्शाता है कि विशिष्ट स्थितियों के तहत एक हर्मिटीयन मैट्रिक्स में रैंक-एक पद $\lambda aa^\dagger$ जोड़ने से उसका नलिटी (nullity) कम हो जाता है।
• लघु पैरामीटर्स ($n=2$): $n=2$ के मामले को अलग से माना गया है। $q \ge 4$ के लिए, सामान्य निर्माण लागू होता है। $q=3$ के लिए, हल को समाप्त करने के लिए एक रूपांतरण खोजने हेतु $\mathbb{F}_3$ पर द्विघात बहुपदों (quadratic polynomials) का उपयोग करते हुए एक विशिष्ट तर्क दिया गया है।
• बाधा (Obstruction): शोध पत्र एक एकल अपवाद मामले की पहचान करता है जहाँ हल-वेरिएशन असंभव है: $(q, n) = (2, 2)$। इस विशिष्ट मामले में, लेखक एक प्रति-उदाहरण (counterexample) प्रदान करते हैं जो दिखाता है कि एक गैर-तुच्छ हल वाले कोड को समकक्ष हर्मिटीयन LCD कोड में नहीं बदला जा सकता है।

2. स्केल्ड ट्रेस-सेल्फ-डुअल बेसिस (Scaled Trace-Self-Dual Basis):
   निर्धारित हल आयामों वाले MRD कोड्स के अस्तित्व को संबोधित करने के लिए, लेखक एक स्केल्ड ट्रेस-सेल्फ-डुअल बेसिस की अवधारणा पेश करते हैं।

• पिछले कार्यों ने स्थापित किया था कि $\mathbb{F}_{q^{2m}}/\mathbb{F}_q$ के लिए साधारण ट्रेस-सेल्फ-डुअल बेसिस केवल तभी मौजूद होते हैं जब $q$ सम (even) हो। इसने विषम (odd) $q$ के लिए हर्मिटीयन स्व-ऑर्थोगोनल गैबुडुलिन कोड्स के निर्माण के मामले को खुला छोड़ दिया था।
• लेखक एक युग्म $(\alpha, \lambda)$ को परिभाषित करते हैं जहाँ $\alpha$ एक बेसिस है और $\lambda \in \mathbb{F}_{q^{2m}}^*$ है ताकि $\text{Tr}(\lambda \alpha_i \alpha_j) = \delta_{ij}$ हो।
• वे सिद्ध करते हैं कि ऐसा बेसिस प्रत्येक प्राइम पावर $q$ और पूर्णांक $m$ के लिए मौजूद है। प्रमाण में $\lambda$ का चयन शामिल है जिसका नॉर्म (norm), ट्रेस फॉर्म के ग्राम मैट्रिक्स (Gram matrix) के डिटरमिनेंट के व्युत्क्रम के बराबर हो, जिससे द्विक रैखिक रूप (bilinear form) को एक मानक ऑर्थोनॉर्मल रूप में परिवर्तित किया जा सके।

3. स्व-ऑर्थोगोनल MRD कोड्स का निर्माण:
   स्केल्ड ट्रेस-सेल्फ-डुअल बेसिस का उपयोग करके, लेखक जनरलाइज्ड गैबुडुलिन कोड्स का निर्माण करते हैं जो हर्मिटीयन स्व-ऑर्थोगोनल हैं।

• वे प्रदर्शित करते हैं कि किसी भी $1 \le k \le m$ के लिए, स्केल्ड ट्रेस-सेल्फ-डुअल बेसिस द्वारा जनरेट किया गया जनरलाइज्ड गैबुडुलिन कोड $G_{k,s}(\alpha)$ हर्मिटीयन स्व-ऑर्थोगोनल है।
• यह निर्माण विषम $q$ के खुले मामले को हल करता है, जिससे सभी प्राइम पावर्स के लिए हर्मिटीयन स्व-डुअल MRD कोड्स (जहाँ $k=m$) का निर्माण संभव हो जाता है।

मुख्य परिणाम

• हल-वेरिएशन वर्गीकरण: प्रत्येक जोड़ी $(q, n) \neq (2, 2)$ के लिए, प्रत्येक वेक्टर रैंक-मेट्रिक कोड जिसका हर्मिटीयन हल आयाम $h$ है, $0 \le \ell \le h$ के लिए किसी भी $\ell$ आयाम वाले कोड के समकक्ष है। फलस्वरूप, प्रत्येक ऐसा कोड एक हर्मिटीयन LCD कोड के समकक्ष है।
• निर्धारित हल वाले MRD कोड्स का अस्तित्व: प्रत्येक $(q, m) \neq (2, 1)$ के लिए, प्रत्येक आयाम $1 \le k \le m$ और प्रत्येक लक्षित हल आयाम $0 \le \ell \le k$ के लिए, $\mathbb{F}_{q^{2m}}^{2m}/\mathbb{F}_q$ में $[2m, k, 2m-k+1]_{q^{2m}/q}$ पैरामीटर्स वाला एक MRD कोड और हर्मिटीयन हल आयाम $\ell$ मौजूद है।
• यूक्लिडियन तुलना: शोध पत्र वेक्टर रैंक-मेट्रिक कोड्स के लिए यूक्लिडियन इनर प्रोडक्ट तक हल-वेरिएशन परिणामों का विस्तार करता है, जिससे पिछले साहित्य में छूटे हुए मामलों को पूरा किया जाता है। हालांकि, यह एक महत्वपूर्ण विचलन नोट करता है: हर्मिटीयन सेटिंग के विपरीत, सम विशेषता (even characteristic) में यूक्लिडियन स्व-ऑर्थोगोनल MRD कोड्स मौजूद नहीं होते हैं।

महत्व
शोध पत्र हर्मिटीयन इनर प्रोडक्ट के तहत वेक्टर रैंक-मेट्रिक कोड्स के लिए हल-वेरिएशन समस्या का एक व्यापक समाधान प्रदान करता है, और $(2, 2)$ पर अद्वितीय बाधा की पहचान करता है। स्केल्ड ट्रेस-सेल्फ-डुअल बेसिस पेश करके, लेखक $q$ की पैरिटी (parity) प्रतिबंध को हटा देते हैं जो पहले हर्मिटीयन स्व-ऑर्थोगोनल गैबुडुलिन कोड्स के निर्माण में बाधा डाल रहा था। यह कार्य को एकीकृत करता है, यह सुनिश्चित करता है कि सभी प्राइम पावर्स के लिए किसी भी स्वीकार्य हर्मिटीयन हल आयाम वाले MRD कोड्स का निर्माण किया जा सकता है। ये परिणाम सीधे तौर पर EAQECC के निर्माण से प्रेरित हैं और इसमें लागू होते हैं, जहाँ हल का आयाम आवश्यक पूर्व-साझा एंटैंगल्ड पेयर्स (pre-shared entangled pairs) की संख्या निर्धारित करता है।