Bounds for Pure Disjoint $(r,\delta)$-Quantum Locally Recoverable Codes

तकनीकी सारांश: शुद्ध विसंयुक्त (pure disjoint) (r, δ)-क्वांटम लोकली रिकवरेबल कोड्स के लिए सीमाएँ

समस्या विवरण
यह शोध पत्र क्वांटम लोकली रिकवरेबल कोड्स (qLRCs), विशेष रूप से शुद्ध विसंयुक्त (pure disjoint) (r, δ)-qLRCs की श्रेणी पर केंद्रित होकर, उनके मौलिक सीमाओं को संबोधित करता है। जबकि पिछले शोधों ने qLRCs के लिए सीमाएँ स्थापित की हैं, विशेष रूप से CSS फ्रेमवर्क या स्टेबिलाइज़र फॉर्मलिज्म के माध्यम से निर्मित कोड्स के लिए, गैर-स्टेबिलाइज़र कोड्स के लिए सामान्य सीमाओं का अभाव है जो अंतर्निहित शास्त्रीय कोड्स के साथ संबंध पर निर्भर नहीं करते हैं। लेखक एक वेट-एनुमरेटर-आधारित दृष्टिकोण का उपयोग करके शुद्ध विसंयुक्त qLRCs के लिए कोड आयाम $K$ पर ऊपरी सीमाएँ प्राप्त करने का लक्ष्य रखते हैं, जिसमें स्टेबिलाइज़र संरचना का अनुमान नहीं लगाया गया है। विशिष्ट सेटिंग उन कोड्स की है जहाँ रिकवरी सेट भौतिक क्वडिट्स (qudits) के विसंयुक्त विभाजनों (disjoint partitions) हैं, जो किसी भी स्थानीय रिकवरी ब्लॉक के आकार $N = r + \delta - 1$ के भीतर अधिकतम $\delta-1$ इरेज़र्स (erasures) को ठीक करने की अनुमति देता है।

कार्यप्रणाली
लेखक ब्लॉकवाइज़ क्वांटम वेट एन्यूमरेटर्स और स्थानीय क्निल-लाफलाम (Knill–Laflamme - KL) स्थितियों पर आधारित एक ढांचा विकसित करते हैं।

1. स्थानीय संरचना और KL स्थितियाँ:
   शोध पत्र पहले यह स्थापित करता है कि विसंयुक्त qLRCs के लिए, स्थानीयता की बाधा (locality constraint) कोड स्पेस पर एक ब्लॉकवाइज़ संरचना प्रेरित करती है। लेखक स्थानीय KL स्थितियों (प्रमेय 1) को व्युत्पन्न करते हैं, यह प्रदर्शित करते हुए कि रिकवरी ब्लॉक $J_\ell$ के भीतर इरेज़र्स की सुधारात्मकता पूरी तरह से स्थानीय कोड सपोर्ट $Q_\ell$ पर निर्भर करती है। विशेष रूप से, एक ब्लॉक पर त्रुटि (error) सुधारात्मक होती है यदि और केवल यदि स्थानीय प्रोजेक्टर एरर ऑपरेटर्स पर विशिष्ट स्केलर स्थितियों को संतुष्ट करते हैं।

2. ब्लॉकवाइज़ वेट एन्यूमरेटर्स:
   विसंयुक्त रिकवरी सेटों में एरर वेट के वितरण को पकड़ने के लिए, लेखक दो नए प्रकार के एन्यूमरेटर्स पेश करते हैं:

• ब्लॉकवाइज़ शोर-लाफलाम (Shor–Laflamme - SL) एन्यूमरेटर्स ($A^{SL}_i, B^{SL}_i$): ये $s$ रिकवरी ब्लॉक्स में एरर के वेट वितरण को ट्रैक करते हैं।
• ब्लॉकवाइज़ यूनिटरी एन्यूमरेटर्स ($A^U_i, B^U_i$): इन्हें क्वडिट्स के उपसमुच्चयों पर आंशिक ट्रेस (partial traces) के माध्यम से परिभाषित किया गया है और ये कॉम्बिनेटोरियल पहचानों (corollary 1) के माध्यम से SL एन्यूमरेटर्स से संबंधित हैं।

लेखक सिद्ध करते हैं कि ये एन्यूमरेटर्स मैकविलियम्स आइडेंटिटीज (MacWilliams identities) और मानक क्वांटम मामले के समान असमानताओं को संतुष्ट करते हैं (प्रमेय 2 और प्रमेय 3)। महत्वपूर्ण रूप से, वे स्थापित करते हैं कि सुधारात्मक पैटर्न के लिए (जो $T_{d,\delta}$ द्वारा परिभाषित है), ब्लॉकवाइज़ एन्यूमरेटर्स एक विशिष्ट समानता स्थिति ($K B^U_i = A^U_i$) को संतुष्ट करते हैं।

3. शुद्धता धारणा (Purity Assumption):
   विश्लेषण शुद्ध (pure) कोड्स पर केंद्रित है, जिन्हें इस स्थिति द्वारा परिभाषित किया गया है कि सभी गैर-शून्य सुधारात्मक एरर पैटर्न के लिए ब्लॉकवाइज़ SL एन्यूमरेटर्स शून्य होते हैं ($i \in T_{d,\delta} \setminus \{0\}$ के लिए $A^{SL}_i = 0$)। यह धारणा एन्यूमरेटर्स के बीच के संबंध को सरल बनाती है, जिससे कड़े (tighter) बाउंड्स प्राप्त करने में मदद मिलती है।

4. सीमाओं का व्युत्पत्ति (Derivation of Bounds):
   एन्यूमरेटर्स के गुणों और लीनियर प्रोग्रामिंग (LP) पद्धति (जो शास्त्रीय कोडिंग थ्योरी और पिछले क्वांटम कार्यों से अनुकूलित है) का उपयोग करते हुए, लेखक मल्टीवेरिएट क्रावकॉफ (Krawtchouk) बहुपदों के आधार पर सहायक बहुपद बनाकर कोड आयाम पर ऊपरी सीमाएँ प्राप्त करते हैं।

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

• विसंयुक्त qLRCs के लिए स्थानीय KL स्थितियाँ: शोध पत्र विसंयुक्त qLRCs के लिए स्थानीय त्रुटि सुधार के लिए आवश्यक और पर्याप्त स्थितियों को सूत्रबद्ध करता है, जो स्थानीय रिकवरी क्षमता को वैश्विक कोड संरचना से अलग करता है।
• ब्लॉकवाइज़ एन्यूमरेटर्स: ब्लॉकवाइज़ SL और यूनिटरी वेट एन्यूमरेटर्स का परिचय qLRCs के विश्लेषण के लिए एक नया उपकरण प्रदान करता है जो विसंयुक्त विभाजन संरचना का सम्मान करता है, जिससे वैश्विक क्वांटम बाउंड्स और स्थानीय रिकवरी बाधाओं के बीच की खाई को पाटा जाता है।
• सिंगलटन-समान बाउंड (प्रमेय 4): शुद्ध विसंयुक्त (r, $\delta$)-qLRCs के लिए, लेखक एक सिंगलटन-समान बाउंड व्युत्पन्न करते हैं:
  $$K \leq q^{n - 2(d-1) - 2\lfloor \frac{n-(d-1)}{N} \rfloor (\delta-1)}$$
  यह दिखाया गया है कि यह बाउंड शुद्धता की धारणा के तहत सामान्य विसंयुक्त (r, $\delta$)-qLRCs के लिए ज्ञात बाउंड (समीकरण 7) की तुलना में स्पष्ट रूप से अधिक मजबूत है। $\delta=2$ के विशेष मामले में, यह बिना स्टेबिलाइज़र संरचना की आवश्यकता के ज्ञात स्टेबिलाइज़र बाउंड को पुनः प्राप्त करता है।
• लीनियर प्रोग्रामिंग बाउंड (प्रमेय 5 और 6): लेखक कोड आयाम पर एक LP-आधारित ऊपरी बाउंड व्युत्पन्न करते हैं। गैर-ऋणात्मक क्रावकॉफ गुणांकों वाले विशिष्ट बहुपदों का निर्माण करके, वे एक बाउंड (समीकरण 9) प्राप्त करते हैं जो सिंगलटन-समान बाउंड के शिथिल (relaxed) संस्करणों और साहित्य में अन्य ज्ञात बाउंड्स की तुलना में स्पष्ट रूप से अधिक कड़ा (tighter) है।
• गैर-स्टेबिलाइज़र फ्रेमवर्क: इनका एक महत्वपूर्ण योगदान यह है कि ये परिणाम बिना यह माने व्युत्पन्न किए गए हैं कि कोड एक स्टेबिलाइज़र कोड है, जो qLRCs के लिए अधिक सामान्य सैद्धांतिक परिप्रेक्ष्य प्रदान करता है।

महत्व और दावे
शोध पत्र दावा करता है कि यह शुद्ध विसंयुक्त (r, $\delta$)-qLLRs के अध्ययन के लिए एक गैर-स्टेबिलाइज़र, वेट-एन्यूमरेटर-आधारित दृष्टिकोण प्रदान करता है। इसका महत्व निम्नलिखित में निहित है:

1. ज्ञात सीमाओं को सुदृढ़ करना: व्युत्पन्न सिंगलटन-समान बाउंड, जब शुद्धता की स्थिति पूरी होती है, तो विसंयुक्त qLRCs के लिए मौजूदा बाउंड्स में सुधार करता है।
2. सामान्यीकरण: कार्यप्रणाली सामान्य क्वांटम कोड्स पर लागू होती है, न कि केवल उन पर जिनका स्टेबिलाइज़र स्ट्रक्चर है या जो CSS कोड्स के माध्यम से निर्मित हैं।
3. पद्धतिगत प्रगति: ब्लॉकवाइज़ एन्यूमरेटर्स का उपयोग यह सटीक गणना करने की अनुमति देता है कि रिकवरी सेटों में एरर वेट कैसे वितरित होते हैं, जिससे LP पद्धति के माध्यम से कड़े प्रतिबंध प्राप्त करना संभव होता है।

लेखक नोट करते हैं कि उनका LP बाउंड कुछ क्षेत्रों में शुद्ध स्टेबिलाइज़र बाउंड के समान है और शुद्ध विसंयुक्त बाउंड की तुलना में कम से कम उतना ही कड़ा है। वे निष्कर्ष निकालते हैं कि ये परिणाम भविष्य के अपूर्ण (impure) कोड्स और ओवरलैपिंग रिकवरी सेट्स वाले कोड्स के विस्तार के लिए आधार तैयार करते हैं, जो शास्त्रीय सेटिंग में हुए विकास को प्रतिबिंबित करते हैं।