Quantum MDS codes from complements of unions of finite-field subsets

तकनीकी सारांश: परिमित-क्षेत्र उपसमुच्चयों के संघों के पूरक से क्वांटम MDS कोड

समस्या विवरण
$n > q+1$ के लिए लंबाई वाले क्वांटम मैक्सिमम-डिस्टेंस-सेपरेबल (MDS) कोडों का निर्माण, जिनका न्यूनतम अंतर (minimum distance) $q/2 + 1$ से अधिक हो, क्वांटम कोडिंग थ्योरी में एक महत्वपूर्ण चुनौती बनी हुई है। जबकि हर्मिटियन निर्माण $\mathbb{F}_{q^2}$ पर शास्त्रीय हर्मिटियन स्व-लंबवत (self-orthogonal) जनरल रीडर-सोलोमन (GRS) कोडों को खोजने की समस्या को कम कर देता है, ट्रेस मैप्स (trace maps), रैखिक रूपांतरणों और गुणात्मक उपसमूहों (multiplicative subgroups) के कोसेट्स पर आधारित मौजूदा विधियाँ विशिष्ट कोड लंबाई के लिए प्राप्त होने योग्य न्यूनतम अंतरों में सीमाओं का सामना करती हैं। विशेष रूप से, ऐसे नए निर्माणों की आवश्यकता है जो सीधे तौर पर या प्रोपेगेशन नियम के माध्यम से, पहले से ज्ञात परिवारों की तुलना में स्पष्ट रूप से बड़े न्यूनतम अंतर वाले क्वांटम MDS कोड प्रदान कर सकें।

कार्यप्रणाली
लेखक $\mathbb{F}_{q^2}$ (या $\mathbb{F}_{q^2}^*$) के उपसमुच्चयों के संघों के पूरक (complements) को लोकेटर सेट्स के रूप में उपयोग करके हर्मिटियन स्व-लंबवत GRS कोडों के निर्माण के लिए एक एकीकृत ढांचा प्रस्तावित करते हैं।

1. सैद्धांतिक ढांचा:

   • मान लीजिए $X \in \{\mathbb{F}_{q^2}, \mathbb{F}_{q^2}^*\}$ और $B \subset X$ चयनित उपसमुच्चयों का एक संघ है। लोकेटर सेट को $A = X \setminus B$ के रूप में परिभाषित किया गया है।
   • लेखक $A$ के लैग्रेंज गुणांकों (Lagrange coefficients) को $B$ के वांशिंग बहुपद (vanishing polynomial) के रूप में व्यक्त करके हर्मिटियन स्व-लंबवतता के लिए एक पर्याप्त स्थिति (Theorem 3.3) व्युत्पन्न करते हैं।
   • यह स्थिति फ्रोबेनिअस ऑटोमोर्फिज्म $x \mapsto x^q$ पर निर्भर करती है और इसके लिए एक बहुपद $G(x)$ खोजने की आवश्यकता होती है जहाँ सभी $\alpha \in A$ के लिए $G(\alpha)^q = \gamma G(\alpha)$ हो, जहाँ $\gamma$ नॉर्म मैप के कर्नेल (kernel) में एक विशिष्ट तत्व है।
   • कॉलम मल्टीप्लायर्स $v_\alpha$ को इस प्रकार चुना जाता है कि उनके नॉर्म्स घटक उपसमुच्चयों के वांशिंग बहुपदों से प्राप्त विशिष्ट बाधाओं को संतुष्ट करें।

2. पाँच परिवारों का निर्माण:
   लेखक विभिन्न प्रकार के उपसमुच्चयों को संयोजित करके हर्मिटियन स्व-लंबवत GRS कोडों के पाँच अलग-अलग परिवारों के निर्माण के लिए इस सामान्य स्थिति को लागू करते हैं:

   • परिवार I: निर्धारित नॉर्म मानों ($U_\nu$) और गुणात्मक उपसमूहों के कोसेट्स ($M_\delta$) को संयोजित करता है।
   • परिवार II: निर्धारित ट्रेस मानों ($L_c$) और कोसेट्स ($M_\delta$) को संयोजित करता है।
   • परिवार III: निर्धारित ट्रेस मानों ($L_c$) और निर्धारित नॉर्म मानों ($U_\nu$) को संयोजित करता है।
   • परिवार IV: निर्धारित ट्रेस मानों ($L_c$ और $K_e$) के दो परिवारों को कोसेट्स ($M_\delta$) के साथ संयोजित करता है।
   • परिवार V: निर्धारित ट्रेस मानों ($L_c$ और $K_e$) के दो परिवारों को निर्धारित नॉर्म मानों ($U_\nu$) के साथ संयोजित करता है।
     महत्वपूर्ण रूप से, यह ढांचा उपसमुच्चयों के बीच गैर-रिक्त प्रतिच्छेदन (non-empty intersections) की अनुमति देता है, जहाँ कोड की लंबाई $B$ के संघ की कार्डिनैलिटी द्वारा निर्धारित होती है।

3. पैरामीटर तुलना:
   परिणामी क्वांटम कोड एक सामान्य पैरामीटर रूप साझा करते हैं: लंबाई $n = q^2 - Sq + \theta$ और न्यूनतम अंतर सीमा $2 \le d \le d^* = q - S + 1$। लेखक इनके मापदंडों की व्यवस्थित रूप से तुलना करते हैं:

   • ट्रेस मैप्स को सबस्पेस या नॉर्म मैप्स के साथ संयोजित निर्माणों (Fang et al.) के विरुद्ध।
   • एफ़ाइन और प्रोजेक्टिव रैखिक रूपांतरणों पर आधारित निर्माणों (Li et al.) के विरुद्ध।
   • गुणात्मक उपसमूहों के कोसेट्स पर आधारित निर्माणों (परिशिष्ट में सूचीबद्ध विभिन्न लेखक, R5–R20) के विरुद्ध।
     तुलनाओं में प्रोपेगेशन नियम के माध्यम से प्राप्त कोड शामिल हैं।

मुख्य परिणाम

1. पाँच परिवारों का अस्तित्व: यह शोध पत्र $d^* = q - S + 1$ के न्यूनतम अंतर वाले $q$-ary क्वांटम MDS कोड के पांच परिवारों के अस्तित्व को स्थापित करता है। पर्याप्त बड़े $q$ के लिए, ये अंतर $d^* > q/2 + 1$ को संतुष्ट करते हैं।
2. ट्रेस-आधारित निर्माणों पर सख्त सुधार:
   • लेखक ट्रेस-सबस्पेस और ट्रेस-नॉर्म निर्माणों से प्राप्त कोडों के लिए न्यूनतम अंतर के ऊपरी बाउंड (upper bounds) व्युत्पन्न करते हैं (प्रस्तावना 4.3)।
   • वे पर्याप्त स्थितियाँ (कोरोलरी 4.4) प्रदान करते हैं जिनके तहत उनके पाँच परिवार समान लंबाई पर इन ट्रेस-आधारित निर्माणों की तुलना में स्पष्ट रूप से बड़े न्यूनतम अंतर प्राप्त करते हैं। ये सुधार $q$ के अनंत मानों के लिए होते हैं।
3. रैखिक रूपांतरण निर्माणों पर सख्त सुधार:
   • रेंज $(q^2 - 1)/2 < n < q^2$ के लिए, लेखक रैखिक रूपांतरण निर्माणों द्वारा प्राप्त होने वाले सबसे बड़े न्यूनतम अंतर को निर्धारित करते हैं (प्रस्तावना 4.5)।
   • इसे अपने दूसरे परिवार पर लागू करने से लंबाई $n = (q-R)(q-b)$ वाला एक दो-पैरामीटर परिवार प्राप्त होता है (कोरोलरी 4.7)। विशिष्ट स्थितियों के तहत, यह परिवार रैखिक रूपांतरणों से सर्वोत्तम संभव से स्पष्ट रूप से अधिक न्यूनतम अंतर प्राप्त करता है।
   • निश्चित पैरामीटर $R$ और $b$ के लिए न्यूनतम अंतर में लाभ ($d^* - d_{LLJ}$) $q$ के साथ रैखिक रूप से बढ़ता है (कोरोलरी 4.8)।
4. कोसेट-आधारित निर्माणों पर सख्त सुधार:
   • परिवारों R5–R16 के कोडों की लंबाई पर कॉंग्रुएंस (congruence) स्थितियों का विश्लेषण करके, लेखक उनके न्यूनतम अंतर के लिए फिक्स्ड-लेंथ अपर बाउंड निकालते हैं (कोरोलरी 4.10)।
   • वे दिखाते हैं कि उनका दूसरा निर्माण (कोरोलरी 4.11) $n = (q-R)(q-b)$ लंबाई वाले कोड प्रदान करता है जो इन बाउंड्स को स्पष्ट रूप से पार कर जाता है।
   • इसके अतिरिक्त, वे प्रदर्शित करते हैं कि परिवार R17–R20 उनके सुधारों द्वारा कवर की गई लंबाई तक नहीं पहुँच सकते क्योंकि उनकी मूल लंबाई $(q^2-1)/2$ द्वारा सीमित है।

महत्व
यह शोध पत्र दावा करता है कि यह परिमित-क्षेत्र उपसमुच्चयों के पूरक के बीजगणितीय ढांचे का लाभ उठाकर बेहतर पैरामीटर वाले क्वांटम MDS कोडों के निर्माण के लिए एक व्यवस्थित विधि प्रदान करता है। प्राथमिक महत्व निम्नलिखित में निहित है:

• सामान्यीकरण: हर्मिटियन स्व-लंबवतता के लिए पर्याप्त स्थिति किसी भी ऐसे संग्रह पर लागू होती है जो विशिष्ट परिकल्पनाओं को पूरा करता है, जिससे जटिल प्रतिच्छेदन की अनुमति मिलती है।
• पैरामीटर विस्तार: निर्माण $n = q^2 - O(q)$ लंबाई और $d^* = q - O(1)$ न्यूनतम अंतर वाले क्वांटम MDS कोड प्रदान करते हैं, जो विशेष रूप से $q/2 + 1$ से अधिक हैं।
• प्रमाणित श्रेष्ठता: यह शोध पत्र कठोर प्रमाण प्रदान करता है कि उपयुक्त पैरामीटर स्थितियों के तहत, इन नए कोडों में समान लंबाई पर कई प्रमुख मौजूदा निर्माणों (ट्रेस-आधारित, रैनियर ट्रांसफॉर्मेशन-आधारित, और कोसेट-आधारित) की तुलना में स्पष्ट रूप से बड़ा न्यूनतम अंतर है।
• अनंत परिवार: लेखक विशिष्ट अनंत उप-परिवार प्रदर्शित करते हैं जहाँ ज्ञात निर्माणों पर न्यूनतम अंतर का लाभ $q$ के साथ रैखिक रूप से बढ़ता है।

यह कार्य कोई प्रयोगात्मक कार्यान्वयन या नए भौतिक अनुप्रयोग प्रस्तावित नहीं करता है बल्कि क्वांटम एरर-करेक्टिंग कोड के पैरामीटर स्पेस के सैद्धांतिक विकास पर केंद्रित है। भविष्य के कार्य के रूप में गणना योग्य प्रतिच्छेदन वाले विस्तारित GRS कोड और अन्य संरचित उपसमुच्चयों तक इस पद्धति का विस्तार करने का सुझाव दिया गया है।