⚛️ quantum physics

Impure codes exceeding the pure bounds for quantum local recovery

यह शोध पत्र $J$ -एफ़ाइन वैराइटी कोड्स से व्युत्पन्न अशुद्ध (impure) CSS कोड्स के एक परिवार को प्रस्तुत करता है जो शुद्ध क्वांटम लोकली रिकवरेबल कोड्स के मौजूदा बाउंड्स से बेहतर हैं और क्वांटम लोकल रिकवरी बाउंड्स एवं वेट-कंस्ट्रेंड स्टेबलाइज़र कोड्स के बीच के संबंध का अन्वेषण करता है।

मूल लेखक: Carlos Galindo, Fernando Hernando, Helena Martín-Cruz, Ryutaroh Matsumoto

प्रकाशित 2026-07-07

📖 5 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Carlos Galindo, Fernando Hernando, Helena Martín-Cruz, Ryutaroh Matsumoto

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप संदेशवाहकों की एक टीम का उपयोग करके एक शोर भरे कमरे में एक गुप्त संदेश भेजने की कोशिश कर रहे हैं। क्वांटम कंप्यूटिंग की दुनिया में, ये संदेशवाहक qudits (क्वांटम बिट्स) कहलाते हैं, और आपका संदेश नियमों के एक विशेष सेट द्वारा सुरक्षित है जिसे कोड (code) कहा जाता है।

आमतौर पर, वैज्ञानिक इन कोडों को "शुद्ध" (pure) बनाने के लिए डिज़ाइन करते हैं। एक शुद्ध कोड (pure code) को एक पूरी तरह से व्यवस्थित पुस्तकालय की तरह समझें जहाँ हर किताब का एक अद्वितीय और सख्त स्थान होता है। यदि कोई किताब गायब हो जाती है (एक त्रुटि/error), तो आप सटीक रूप से जान सकते हैं कि कौन सी किताब गायब है क्योंकि खाली जगह बहुत स्पष्ट होती है। हालांकि, यह सख्त संगठन इस बात को सीमित करता है कि आप कितनी जानकारी संग्रहीत कर सकते हैं और उन्हें सुरक्षित रहने के लिए एक-दूसरे से कितनी दूर रखना होगा।

समस्या: "शुद्धता" की सीमा (The "Pure" Limit)

वर्षों तक, शोधकर्ताओं का मानना था कि इन "शुद्ध" क्वांटम कोडों के लिए एक कठिन ऊपरी सीमा (ceiling) है। यह सीमा गणितीय नियमों (जिन्हें bounds कहा जाता है) द्वारा परिभाषित की जाती है जो कहती हैं: "यदि आप गलतियों की एक निश्चित संख्या को ठीक करना चाहते हैं, तो आप X मात्रा से अधिक जानकारी संग्रहीत नहीं कर सकते।"

सफलता: "अशुद्ध" शॉर्टकट (The "Impure" Shortcut)

यह शोध पत्र एक नए प्रकार के कोड पेश करता है जो "अशुद्ध" (impure) हैं।

"अशुद्ध" को समझने के लिए, एक ऐसे पुस्तकालय की कल्पना करें जहाँ कुछ किताबें अन्य किताबों के अंदर छिपी हुई हैं।

एक शुद्ध पुस्तकालय में: यदि कोई किताब गायब हो जाती है, तो खाली शेल्फ ही एकमात्र सुराग होता है।
एक अशुद्ध पुस्तकालय में: कुछ किताबें इतनी समान होती हैं कि वे "खाली स्थान" के साथ घुल-मिल जाती हैं। एक विशिष्ट प्रकार की त्रुटि (एक गायब किताब) बिल्कुल वैसी ही दिख सकती है जैसी कि वह किताब जो वहां होनी चाहिए थी।

अतीत में, वैज्ञानिकों ने सोचा था कि यह "घुलना-मिलना" एक दोष है जो कोड को बदतर बनाता है। यह शोध पत्र इस विचार को पूरी तरह उलट देता है। लेखक दिखाते हैं कि इस "घुलने-मिलने" (अशुद्धता) को जानबूझकर अनुमति देकर, वे ऐसे कोड बना सकते हैं जो पुराने नियमों को तोड़ देते हैं।

उन्होंने यह कैसे किया: J-एफिन वैराइटी कोड (The J-Affine Variety Code)

लेखकों ने इन कोडों को एक गणितीय संरचना का उपयोग करके बनाया जिसे वे J-affine variety codes कहते हैं।

उपमा (Analogy): एक मानचित्र पर बिंदुओं के ग्रिड (जैसे एक शहर का ग्रिड) की कल्पना करें। उन्होंने एक पैटर्न बनाने के लिए विशिष्ट सड़कों और चौराहों का चयन किया।
चालaki (The Trick): उन्होंने पैटर्न को इस तरह व्यवस्थित किया कि "छिपी हुई किताबों" (अशुद्धियों) ने उन्हें पुराने "शुद्ध" नियमों की तुलना में उसी स्थान में अधिक जानकारी पैक करने की अनुमति दी।

परिणाम: सीमाओं को पार करना (Beating the Bounds)

यह शोध पत्र सिद्ध करता है कि ये नए "अशुद्ध" कोड वे चीजें कर सकते हैं जो पहले असंभव मानी जाती थीं:

वे "सिंगलटन-जैसे बाउंड्स" (Singleton-like bounds) से आगे निकल जाते हैं: ये क्वांटम कोड के लिए गणितीय गति सीमाएं हैं। नए कोड इस गति सीमा से भी तेज़ चलते हैं, लेकिन क्योंकि वे "अशुद्ध" हैं, इसलिए पुराने गति सीमा के नियम उन पर लागू नहीं होते।
वे "इरेज़र्स" (erasures) को संभालते हैं: क्वांटम शब्दों में, "इरेज़र" तब होता है जब आप जानते हैं कि गलती कहाँ हुई है लेकिन यह नहीं जानते कि गलती क्या थी। ये कोड इन गलतियों को शुद्ध कोड की तुलना में अधिक कुशलता से ठीक कर सकते हैं।
वे "स्थानीय रूप से रिकवरेबल" (Locally Recoverable) हैं: इसका अर्थ है कि यदि एक संदेशवाहक संदेश गिरा देता है, तो आपको मदद के लिए पूरी टीम से पूछने की आवश्यकता नहीं है। आपको इसे ठीक करने के लिए केवल पास के संदेशवाहकों के एक छोटे समूह (एक "स्थानीय" समूह) से पूछने की आवश्यकता है। नए कोड इस कार्य को करते हुए भी आकार की पुरानी सीमाओं को तोड़ देते हैं।

शोध पत्र से एक ठोस उदाहरण

लेखक एक विशिष्ट उदाहरण (उदाहरण 15) देते हैं जहाँ उन्होंने 15 संदेशवाहकों वाला एक कोड बनाया।

पुराना नियम: इन सेटिंग्स के साथ एक "शुद्ध" कोड केवल 1 इकाई सूचना रख सकता था।
नया कोड: उनके "अशुद्ध" कोड ने (त्रुटि-सुधार दूरी के संदर्भ में) 6 इकाइयाँ सूचना रखी, जबकि यह अभी भी गलतियों की समान संख्या को ठीक कर रहा था।
शर्त: यह कोड "अशुद्ध" है क्योंकि कुछ छिपे हुए पैटर्न (त्रुटियां) हैं जो संदेश को नहीं बदलते हैं लेकिन कोड की सुरक्षा दूरी से छोटे हैं। शोध पत्र दिखाता है कि यह "दोष" वास्तव में वह गुप्त सामग्री (secret sauce) है जो उन्हें अधिक डेटा पैक करने की अनुमति देती है।

इसका क्या अर्थ है (और क्या नहीं)

इसका अर्थ है: लेखकों ने गणितीय रूप से सिद्ध किया है कि "अपूर्ण" (अशुद्ध) क्वांटम कोड, स्थानीय रूप से त्रुटियों को ठीक करने के मामले में "पूर्ण" (शुद्ध) कोड की तुलना में अधिक शक्तिशाली हो सकते हैं। उन्होंने इन विशिष्ट प्रकार के कोडों के लिए पिछले गणितीय अवरोधों को तोड़ दिया है।
इसका अर्थ यह नहीं है: यह शोध पत्र अभी तक कोई भौतिक क्वांटम कंप्यूटर बनाने का दावा नहीं करता है, न ही यह चिकित्सा अनुप्रयोगों या भविष्य के व्यावसायिक उत्पादों के बारे में चर्चा करता है। यह क्वांटम सूचना को व्यवस्थित करने के गणित के क्षेत्र में एक सैद्धांतिक सफलता है।

संक्षेप में, शोध पत्र कहता है: "हमने 'अपूर्ण' कोडों का उपयोग करके क्वांटम त्रुटि सुधार के नियमों को धोखा देने का एक तरीका खोज लिया है, और हमने गणितीय रूप से सिद्ध किया है कि ये अपूर्ण कोड 'पूर्ण' कोडों की तुलना में अधिक जानकारी संग्रहीत और सुरक्षित कर सकते हैं।"

तकनीकी सारांश: क्वांटम लोकल रिकवरी के लिए प्योर बाउंड्स से अधिक अशुद्ध कोड (Impure Codes)

समस्या विवरण

क्वांटम लोकल रिकवरी (QLR) का लक्ष्य खोए हुए सूचना को केवल पड़ोसी कोडवर्ड प्रतीकों के एक छोटे उपसमुच्चय का उपयोग करके रिकवर करने की अनुमति देकर मापे गए क्वबिट्स की संख्या को कम करना है। जबकि क्वांटम लोकली रिकवरेबल कोड्स (QLRCs) के लिए कई सिंगलटन-जैसे (Singleton-like) बाउंड्स स्थापित किए जा चुके हैं, ये बाउंड्स आम तौर पर प्योर (pure) क्वांटम कोड्स पर लागू होते हैं। एक क्वांटम कोड को तब "प्योर" कहा जाता है जब दूरी (distance) से कम वजन वाले सभी एरर डिटेक्ट करने योग्य होते हैं; इसके विपरीत, एक कोड इम्प्योर (impure) होता है यदि इसमें दूरी से कम वजन वाले गैर-तुच्छ (non-trivial) अनडिटेक्टेबल एरर मौजूद हों।

यह शोध पत्र मुख्य रूप से इस बात पर केंद्रित है कि क्वांटम लोकल रिकवरी में 'इम्प्योरिटी' (impurity) की भूमिका क्या है। यह अज्ञात था कि क्या इम्प्योर कोड्स ऐसे पैरामीटर्स (लंबाई $n$ , आयाम $k$ , दूरी $d$ , और लोकैलिटी $r$ ) प्राप्त कर सकते हैं जो शुद्ध क्वांटम कोड्स के लिए निर्धारित स्थापित ऊपरी बाउंड्स का उल्लंघन करते हैं। मौजूदा साहित्य में प्योर QRLCs के लिए बाउंड्स उपलब्ध हैं, जैसे कि प्योर स्टेबलाइजर कोड्स के लिए मल्टीपल इरेज़र्स हेतु बाउंड (समीकरण 4), और हर्मिटियन इनर प्रोडक्ट के माध्यम से निर्मित प्योर कोड्स के लिए बाउंड (समीकरण 5 और 6)। लेखक यह जांचते हैं कि क्या इम्प्योर CSS (कल्डरबैक-शोर-स्टीन्स) कोड्स का निर्माण करके ऐसे पैरामीटर्स प्राप्त किए जा सकते हैं जो इन प्योर बाउंड्स से अधिक हों।

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

लेखक J-एफाइन वैरीटी कोड्स (J-affine variety codes) पर आधारित क्लासिकल लीनियर कोड्स का उपयोग करके एक विशिष्ट परिवार के इम्प्योर क्वांटम लोकली रिकवरेबल कोड्स का निर्माण करते हैं। कार्यप्रणाली में निम्नलिखित चरण शामिल हैं:

कोड निर्माण (Code Construction):
- लेखक एक विशिष्ट क्लासिकल लीनियर कोड $C(\mathcal{G}_{H,V,a,b})$ को परिभाषित करते हैं जो J-एफाइन वैरीटी कोड्स (खाली सेट $J$ के साथ), वेटेड रीड-मुलर कोड्स, और घटते मोनोमियल-कार्टेशियन कोड्स के प्रतिच्छेदन (intersection) में स्थित है।
- ये कोड्स एक परिमित क्षेत्र (finite field) $\mathbb{F}_q$ पर बिंदुओं के ग्रिड $P_{H,V} \subseteq \mathbb{F}_q^2$ पर परिभाषित हैं।
- मोनोमियल सेट $\mathcal{G}_{H,V,a,b}$ को सावधानीपूर्वक इसलिए चुना गया है ताकि यह सुनिश्चित हो सके कि क्लासिकल कोड $C$ अपने ड्युअल $C^\perp$ को समाहित करता है (जो CSS निर्माण के लिए एक आवश्यकता है) और साथ ही विशिष्ट लोकैलिटी गुणों को बनाए रखता है।
पैरामीटर्स का निर्धारण (Determining Parameters):
- लोकैलिटी (Locality): क्लासिकल कोड की लोकैलिटी $(r, \delta)$ उसके मोनोमियल-कार्टेशियन कोड के रूप में इसकी संरचना द्वारा निर्धारित होती है।
- दूरी (Distance): क्लासिकल कोड की न्यूनतम हैमिंग दूरी $d_H(C)$ को वेटेड रीड-मुलर कोड्स के गुणों का उपयोग करके निर्धारित किया जाता है।
- क्वांटम दूरी और इम्प्योरिटी (Quantum Distance and Impurity): परिणामी क्वांटम कोड की दूरी $C \setminus C^\perp$ के वेक्टर्स के न्यूनतम हैमिंग वेट द्वारा निर्धारित होती है। लेखक इस वेट के निचले स्तर (lower bound) को स्थापित करने के लिए फेंग-रावो बाउंड (Feng–Rao bound) का उपयोग करते हैं।
- इम्प्योरिटी की स्थिति (Impurity Condition): यह सिद्ध किया गया है कि कोड इम्प्योर है यदि $d_H(C \setminus C^\perp) > d_H(C)$ है। लेखक प्रदर्शित करते हैं कि विशिष्ट पैरामीटर्स ( $H, V, a, b$ ) के लिए, $C \setminus C^\perp$ का न्यूनतम वेट $C$ के न्यूनतम वेट से अधिक होता है, जिससे क्वांटम दूरी से कम वजन वाले अनडिटेक्टेबल एरर्स उत्पन्न होते हैं।
सैद्धांतिक सत्यापन (Theoretical Verification):
- लेखक अपने निर्मित इम्प्योर कोड्स के पैरामीटर्स की तुलना एनालिटिक रूप से प्योर बाउंड्स (समीकरण 4, 5, और 6) से करते हैं।
- वे सिद्ध करते हैं कि विशिष्ट पैरामीटर रेंज (जैसे, $V$ एक विषम पूर्णांक है, $b=0$ ), के लिए प्योर बाउंड वाली असमानता का उल्लंघन होता है।

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

1. प्योर बाउंड्स का उल्लंघन करने वाले इम्प्योर QRLCs का अस्तित्व

मुख्य योगदान प्योर क्वांटम लोकली रिकवरेबल कोड्स के लिए स्थापित कई बाउंड्स का उल्लंघन करने वाले इम्प्योर CSS कोड्स के एक परिवार का स्पष्ट निर्माण है:

बाउंड (4) का उल्लंघन: थ्योरम 10 प्रदर्शित करता है कि $V$ विषम और $b=0$ के लिए, निर्मित कोड्स मल्टीपल इरेज़र्स के लिए प्योर सिंगलटन-लाइक बाउंड का उल्लंघन करते हैं। लेखक दिखाते हैं कि फील्ड साइज $q$ को बढ़ाकर बाउंड के लेफ्ट-हैंड साइड और राइट-हैंड साइड के बीच के अंतर को अनिश्चित काल तक बढ़ाया जा सकता है।
बाउंड (5) का उल्लंघन: थ्योरम 12 दिखाता है कि $V=3$ के लिए, पैरामीटर्स हर्मिटियन इनर प्रोडक्ट कोड्स (समीकरण 5) के लिए प्राप्त प्योर बाउंड का उल्लंघन करते हैं।
बाउंड (6) का उल्लंघन: थ्योरम 13 सिद्ध करता है कि $V=3$ और विशिष्ट विषम $H$ के लिए, पैरामीटर्स प्योर प्लॉटकिन-लाइक बाउंड (समीकर 6) का उल्लंघन करते हैं।

2. लोकल रिकवरी और स्टेबलाइजर वेट के बीच संबंध

यह शोध पत्र क्वांटम लोकल रिकवरी और वेट-प्रतिबंधित स्टेबलाइजर्स के बीच संबंध को स्पष्ट करता है।

रिमार्क 1: यह नोट किया गया है कि अधिकतम जनरेटर वेट $w$ वाला एक स्टेबलाइजर कोड सिंगल इरेज़र्स के लिए $r = 2(w-1)$ की लोकल रिकवरी क्षमता को दर्शाता है।
रिमार्क 3 और लेम्मा 2: लेखक सिद्ध करते हैं कि इसका विलोम (converse) असत्य है। वे बाइनरी कोड्स के एक परिवार का निर्माण करते हैं जिसकी लोकैलिटी $r=3$ है जहाँ स्टेबलाइजर वेट को कोड की लंबाई के साथ रैखिक रूप से बढ़ना पड़ता है (विशेष रूप से लंबाई $4m$ के लिए कम से कम $2m$ )। यह दर्शाता है कि उच्च लोकैलिटी का अर्थ आवश्यक रूप से कम-वेट स्टेबलाइजर्स नहीं है, और इसके विपरीत, इम्प्योर कोड्स उच्च लोकैलिटी प्राप्त कर सकते हैं बिना उन वेट बाधाओं को पूरा किए जो कुछ प्योर-बाउंड डेरिवेशंस में मानी जाती हैं।

3. एसिम्प्टोटिक व्यवहार (Asymptotic Behavior)

रिमार्क 7 इस बात पर प्रकाश डालता है कि प्रस्तावित कोड परिवार एक साथ एसिम्प्टोटिक रूप से पॉजिटिव इंफॉर्मेशन रेट, रिलेटिव डिस्टेंस और रिलेटिव लोकैलिटी प्राप्त कर सकता है। विशेष रूप से, जैसे-जैसे कोड की लंबाई $n \to \infty$ होती है, रेट और रिलेटिव डिस्टेंस $1/6$ की ओर, जबकि रिलेटिव लोकैलिटी $1/4$ की ओर अग्रसर होती है।

4. विशिष्ट उदाहरण

शोध पत्र में ठोस उदाहरण (उदाहरण 4, 5, 15, और 16) दिए गए हैं जहाँ उल्लंघन स्पष्ट है:

उदाहरण 15: एक $[[15, 1, 6]]_5$ इम्प्योर कोड जिसका लोकैलिटी $(2,2)$ है, प्योर सिंगलटन बाउंड (जहाँ $17 \leq 16$ ), प्योर ग्रीमर बाउंड ( $15 \geq 16$ ), और प्योर प्लॉटकिन बाउंड ( $6 \leq 75/13$ ) का उल्लंघन करता है।
उदाहरण 16: एक $[[64, 4, 16]]_8$ इम्प्योर कोड प्योर सिंगलटन बाउंड ( $68 \leq 65$ ) का उल्लंघन करता है।

महत्व और दावे

शोध पत्र का दावा है कि इम्प्योरिटी एक संसाधन (resource) है जो क्वांटम एरर करेक्टिंग कोड (QECC) द्वारा प्राप्त किए जाने वाले पैरामीटर्स को किसी भी प्योर क्वांटम एरर करेक्टिंग कोड की तुलना में बेहतर बना सकती है।

प्योर बाउंड्स की सीमाएं: लेखक इस बात पर जोर देते हैं कि समीकरण (4, 5, 6) में दिए गए बाउंड्स केवल प्योर कोड्स के लिए ही सख्ती से लागू होते हैं। इस इम्प्योर परिवार का अस्तित्व यह सिद्ध करता है कि ये बाउंड्स सभी QECCs पर सार्वभौमिक रूप से लागू नहीं किए जा सकते, भले ही उनमें लोकल रिकवरी गुण हों।
सरल सुधार की असंभवता: रिमार्क 11 में, लेखक तर्क देते हैं कि प्योर सिंगलटन-लाइक बाउंड (समीकरण 4) के राइट-हैंड साइड में एक स्थिरांक (constant) जोड़ने से इसे इम्प्योर कोड्स के लिए लागू नहीं बनाया जा सकता है, क्योंकि उल्लंघन को अनिश्चित काल तक बढ़ाया जा सकता है।
खुले प्रश्न (Open Problems): शोध पत्र विनम्रतापूर्वक निष्कर्ष निकालता है कि हालांकि उन्होंने इम्प्योर कोड्स के एक विशिष्ट परिवार की पहचान की है, लेकिन इस निर्माण को मनमाने पैरामीटर्स तक सामान्य बनाना एक खुला शोध प्रश्न बना हुआ है। इसके अलावा, वे मल्टीपल इरेज़र्स ( $\delta \geq 3$ ) को ठीक करने वाले इम्प्योर स्टेबलाइजर कोड्स के लिए ऊपरी बाउंड की कमी को एक महत्वपूर्ण चुनौती के रूप में पहचानते हैं। ऐसे बाउंड के बिना, उनके प्रस्तावित परिवार की अनुकूलता (optimality) का पूर्ण मूल्यांकन नहीं किया जा सकता है।

संक्षेप में, यह शोध पत्र स्थापित करता है कि क्वांटम लोकल रिकवरी बाउंड्स के व्युत्पन्न (derivation) में "प्योर" कोड्स का प्रतिबंध एक महत्वपूर्ण सीमा है, और J-एफाइन वैरीटा कोड्स से निर्मित इम्प्योर CSS कोड्स ऐसे पैरामीटर्स प्राप्त कर सकते हैं जो प्योर कोड्स के लिए सैद्धांतिक रूप से असंभव हैं।