Alphabet-Dependent Bounds for Pure Quantum $(r,\rho)$-Locally Recoverable Codes

तकनीकी सारांश: शुद्ध क्वांटम $(r, \rho)$-स्थानीय रूप से पुनप्राप्य कोड (Locally Recoverable Codes) के लिए वर्णमाला-निर्भर सीमाएँ (Alphabet-Dependent Bounds)

समस्या विवरण
क्वांटम स्थानीय रूप से पुनप्राप्य कोड (qLRCs) को इस प्रकार डिज़ाइन किया गया है कि वे अन्य क्वडिट्स (qudits) के एक छोटे समूह से एक मिटाए गए (erased) क्वडिट को पुनः प्राप्त करने की अनुमति देते हैं, जो वितरित क्वांटम भंडारण (distributed quantum storage) में कुशल त्रुटि सुधार के लिए आवश्यक गुण है। विशेष रूप से, एक $(r, \rho)$-qLRC यह सुनिश्चित करता है कि किसी भी एकल क्वडिट को अधिकतम $r + \rho - 1$ क्वडिट्स के समूह से पुन: प्राप्त किया जा सकता है, भले ही उस रिकवरी सेट के भीतर $\rho - 1$ अतिरिक्त विलोपन (erasures) हो रहे हों।

मौजूदा सैद्धांतिक सीमाएँ, विशेष रूप से सिनगलटन-समान (Singleton-like) और GG सिनगलटन-समान सीमाएँ, वर्णमाला-स्वतंत्र (alphabet-independent) हैं। वे केवल पैरामीटर्स जैसे कि ब्लॉक लंबाई ($n$), आयाम ($\kappa$), स्थानीयता ($r, \rho$), और न्यूनतम दूरी ($\delta$) पर निर्भर करती हैं, और अंतर्निहित क्वडिट वर्णमाला (alphabet) के आयाम ($q$) की उपेक्षा करती हैं। फलस्वरूप, ये सीमाएँ अक्सर छोटे-से-मध्यम क्वडिट आयामों के लिए ढीली (loose) होती हैं। यह शोध पत्र वर्णमाला-निर्भर (alphabet-dependent) ऊपरी सीमाओं को प्राप्त करने के अंतराल को संबोधित करता है, जो शुद्ध $(r, \rho)$-qLRCs के लिए दर (rate) और दूरी (distance) के बीच के व्यापार-बंद (trade-offs) को अधिक सटीक रूप से दर्शाती हैं।

कार्यप्रणाली
लेखक हर्मिटियन CSS निर्माण (Hermitian CSS construction) का लाभ उठाकर नई सीमाएँ व्युत्पन्न करते हैं, जो $\mathbb{F}_{q^2}$ पर शास्त्रीय रैखिक कोड (classical linear codes) को $\mathbb{F}_q$ पर क्वांटम कोड में मैप करता है।

1. शास्त्रीय आधार: यह कार्य गाओ एट अल. के शास्त्रीय $(r, \rho)$-LRCs के हालिया परिणामों पर आधारित है, जिन्होंने शास्त्रीय कोडों के लिए वर्णमाला-निर्भर सीमाएँ (ग्रीस्मर-समान, स्फीयर-पैकिंग-समान, और प्लॉटकिन-समान) स्थापित की हैं।
2. क्वांटम में अनुवाद: लेखक इन शास्त्रीय सीमाओं को उन अंतर्निहित हर्मिटियन डुअल-कंटेनिंग शास्त्रीय कोडों पर लागू करते हैं जो CSS निर्माण के लिए आवश्यक हैं। क्वांटम पैरामीटर्स ($n, \kappa, \delta$) को उनके शास्त्रीय समकक्षों ($n, k, d$) के साथ प्रतिस्थापित करके, जहाँ $k = (n+\kappa)/2$ और वर्णमाला का आकार $q^2$ है, वे संगत क्वांटम सीमाएँ प्राप्त करते हैं।
3. अनंतस्पर्शी विश्लेषण (Asymptotic Analysis): शोध पत्र में कोड की लंबाई $n$ के अनंत की ओर बढ़ने पर इन सीमाओं के व्यवहार का विश्लेषण किया गया है। यह नए प्राप्त बाउंड्स की मौजूदा सिनगलटन-समान बाउंड्स के विरुद्ध तुलना करता है ताकि टाइटनेस (tightness) के पदानुक्रम को स्थापित किया जा सके।
4. अनुकूलन (Optimization): स्फीयर-पैकिंग-समान सीमा के लिए, लेखक विभिन्न सापेक्ष दूरी ($\Delta$) शासन (regimes) के तहत सबसे सटीक बाधा निर्धारित करने के लिए शॉर्टनिंग इंडेक्स $\tau$ (जिसे अनंतस्पर्शी रूप से अनुपात $\lambda$ द्वारा दर्शाया गया है) पर एक कठोर अनुकूलन करते हैं।

मुख्य योगदान और परिणाम
यह शोध पत्र शुद्ध $(r, \rho)$-qLRCs (जहाँ क्वांटम न्यूनतम दूरी अंतर्निहित शास्त्रीय कोड की न्यूनतम दूरी के बराबर होती है) के लिए तीन नई वर्णमाला-निर्भर ऊपरी सीमाएँ स्थापित करता है:

1. शुद्ध ग्रीस्मर-समान सीमा (Pure Griesmer-like Bound): आयाम और दूरी के फलन के रूप में ब्लॉक लंबाई $n$ पर एक ऊपरी सीमा, जिसमें $q^2$ की घातों पर एक योग शामिल है।
2. शुद्ध स्फीयर-पैकिंग-समान सीमा (Pure Sphere-Packing-like Bound): $\mathbb{F}_{q^2}$ में हैमिंग बॉल्स के आयतन से संबंधित दर $\kappa/n$ पर एक ऊपरी सीमा। लेखक एक अनंतस्पर्शी रूप प्राप्त करते हैं जो एक महत्वपूर्ण सापेक्ष दूरी $\Delta_{crit}$ के आधार पर दो शासनों में विभाजित होता है। इस दहलीज से नीचे, सीमा स्पष्ट रूप से स्थानीयता मापदंडों और वर्णमाला के आकार पर निर्भर करती है; इसके ऊपर, यह मानक अनंतस्पर्शी क्वांटम स्फीयर-पैकिंग बाउंड के अनुरूप हो जाती है।
3. शुद्ध प्लॉटकिन-समान सीमा (Pure Plotkin-like Bound): सापेक्ष दूरी $\delta/n$ पर एक ऊपरी सीमा जो $r \ge 3$ के लिए ग्रीस्मर-समान सीमा की तुलना में स्पष्ट रूप से अधिक सख्त (tighter) है।

अनंतस्पर्शी पदानुक्रम (Asymptotic Hierarchy)
शोध पत्र का एक केंद्रीय परिणाम $r \ge 3$ वाले शुद्ध $(r, \rho)$-qLRCs के लिए सीमाओं के बीच एक सख्त पदानुक्रम की स्थापना है। अनंतस्पर्शी शासन में, सीमाएँ टाइटनेस के निम्नलिखित क्रम (सबसे सख्त से सबसे ढीली की ओर) का पालन करती हैं:
$$\text{Pure Plotkin-like} \succ \text{Pure Griesmer-like} \succ \text{Pure Singleton-like} \succ \text{GG Singleton-like}$$
यह प्रदर्शित करता है कि वर्णमाला-निर्भर प्लॉटकिन-समान सीमा, प्राप्त की गई सीमाओं में दर-दूरी व्यापार-बंद पर सबसे प्रतिबंधात्मक (और इस प्रकार सबसे सटीक) बाधा प्रदान करती है।

महत्व
यह शोध पत्र दावा करता है कि यह शुद्ध $(r, \rho)$-qLRCs के लिए पहली वर्णमाला-निर्भर सीमाएँ प्रदान करके एक सैद्धांतिक अंतराल को भरने में महत्वपूर्ण है। क्वांटम क्वडिट आयाम $q$ को स्पष्ट रूप से शामिल करके, ये सीमाएँ पूर्व ज्ञात वर्णमाला-स्वतंत्र सीमाओं की तुलना में अधिक सख्त बाधाएँ प्रदान करती हैं, विशेष रूप से छोटे-से-मध्यम वर्णमाला आकारों वाले कोडों के लिए। यह कार्य उन विशिष्ट क्षेत्रों को भी स्पष्ट करता है जहाँ प्रत्येक बाउंड सबसे सख्त बाधा प्रदान करता है, जिससे क्वांटम स्थानीय रूप से पुनप्राप्य कोड की मौलिक सीमाओं की अधिक सूक्ष्म समझ मिलती है। लेखक नोट करते हैं कि इन सीमाओं को प्राप्त करने वाले निर्माण भविष्य के कार्य के लिए छोड़े गए हैं।