⚛️ quantum physics

Heuristic Search for Minimum-Distance Upper-Bound Witnesses in Quantum APM-LDPC Codes

यह शोध पत्र एफाइन-परम्यूटेशन-मैट्रिक्स-आधारित क्वांटम LDPC कोड्स में कम-भार वाले नॉन-स्टेबलाइजर लॉजिकल ऑपरेटर्स के निर्माण और प्रमाणन के लिए एक एकीकृत ह्यूरिस्टिक फ्रेमवर्क प्रस्तुत करता है, जिससे उनके न्यूनतम दूरी (मिनिमम डिस्टेंस) पर कठोर ऊपरी सीमाएं स्थापित होती हैं।

मूल लेखक: Kenta Kasai

प्रकाशित 2026-04-17

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

CC BY 4.0

मूल लेखक: Kenta Kasai

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

कल्पना कीजिए कि आप एक डिजिटल किला (digital fortress) बना रहे हैं जिसे ब्रह्मांड की अराजकता (शोर/noise) से गुप्त संदेशों की रक्षा करने के लिए डिज़ाइन किया गया है। क्वांटम कंप्यूटिंग की दुनिया में, इस किले को क्वांटम एरर-करेक्टिंग कोड (Quantum Error-Correcting Code) कहा जाता है।

आपके किले के चारों ओर "खाई" का आकार जिसे न्यूनतम दूरी (Minimum Distance) कहा जाता है।

छोटी खाई: एक छोटी सी गलती (जैसे एक सिंगल बिट का बदलना) पूरे कोड को तोड़ सकती है।
बड़ी खाई: कोड कई गलतियों के बावजूद सुरक्षित रह सकता है।

बड़ा सवाल यह है: "खाई कितनी बड़ी है?"

आमतौर पर, गणितज्ञ यह सिद्ध करने की कोशिश करते हैं कि "खाई कम से कम इतनी बड़ी है" (एक निचली सीमा या lower bound)। लेकिन यह पेपर एक अलग, अधिक जासूसी दृष्टिकोण अपनाता है। यह सिद्ध करने के बजाय कि खाई बहुत बड़ी है, लेखक, केंटा कासाई (K же Kenta Kasai), पूछते हैं: "क्या हम दीवार में एक छोटा सा छेद ढूंढ सकते हैं?"

यदि उन्हें एक छेद मिल जाता है, तो वे कह सकते हैं, "खाई अधिकतम इतनी बड़ी है।" इसे ऊपरी सीमा (Upper Bound) कहा जाता है। यदि आपको एक छेद मिल जाता है, तो आप जान जाते हैं कि किला उतना मजबूत नहीं है जितना आप उम्मीद कर रहे थे।

यहाँ यह पेपर सरल उपमाओं के माध्यम से समझाया गया है:

1. ब्लूप्रिंट: "एफाइन परम्यूटेशन" (APM)

लेखक इन किलों के लिए एक विशिष्ट प्रकार के ब्लूप्रिंट का अध्ययन कर रहे हैं जिसे APM-LDPC कोड कहा जाता है।

ब्लूप्रिंट को स्विचों के एक विशाल ग्रिड के रूप में सोचें।
कुछ स्विच सक्रिय (Active) हैं (वे डेटा की रक्षा करने का वास्तविक काम करते हैं)।
कुछ स्विच सुप्त (Latent) हैं (वे बैकग्राउंड में छिपे हुए हैं, जैसे गोदाम में रखे स्पेयर पार्ट्स)।

यह पेपर इन ग्रिडों को बनाने के एक विशिष्ट नियम पर ध्यान केंद्रित करता है: उन्हें "गर्थ-8" (girth-8) होना चाहिए। कल्पना करें कि ग्रिड एक शहर का नक्शा है। "गर्थ-8" का अर्थ है कि शहर में आप जो सबसे छोटा लूप (घेरा) चल सकते हैं, वह 8 ब्लॉक का है। यह छोटे, भ्रमित करने वाले शॉर्टकट को रोकता है जो आमतौर पर त्रुटियां पैदा करते हैं।

2. जासूसी कार्य: "छेद" खोजना

लेखक केवल अंदाज़ा नहीं लगाते कि छेद कहाँ हैं। वे एक ह्यूरिस्टिक सर्च (Heuristic Search) का उपयोग करते हैं।

उपमा: कल्पना करें कि आप एक विशाल बांध में रिसाव (leak) की तलाश कर रहे हैं। आप कंक्रीट के हर एक इंच की जांच नहीं कर सकते। इसके बजाय, आप एक मेटल डिटेक्टर (सर्च एल्गोरिदम) का उपयोग करते हैं ताकि "अजीब संकेतों" को स्कैन किया जा सके।
जब डिटेक्टर बीप करता है, तो आप यह मान नहीं लेते कि यह एक रिसाव है। आप वहां जाते हैं, गड्ढा खोदते हैं, और उसकी सत्यापन (Verify) करते हैं।
सत्यापन: पेपर एक छेद का दावा करने से पहले दो सख्त परीक्षणों पर जोर देता है:
1. कर्नेल टेस्ट (The Kernel Test): क्या यह "रिसाव" वास्तव में पानी को अंदर आने देता है? (गणितीय रूप से: क्या यह पैरिटी चेक को संतुष्ट करता है?)
2. स्टेबलाइजर टेस्ट (The Stabilizer Test): क्या यह रिसाव केवल एक ज्ञात, हानिरहित दरार है जिसे हमने पहले ही ठीक कर दिया है? (गणितीय रूप से: क्या यह "स्टेबलाइजर रो स्पेस" के बाहर है?)

केवल तभी जब कोई उम्मीदवार दोनों परीक्षणों को पास कर लेता है, लेखक कहता है, "आहा! खाई का वजन इस आकार से अधिक नहीं है।"

3. छेद खोजने के चार तरीके

पेपर इन रिसावों को खोजने के लिए चार अलग-अलग "खोज रणनीतियों" का वर्णन करता है:

"सुप्त" खोज (The "Latent" Search - गोदाम):
लेखक "स्पेयर पार्ट्स" वाले हिस्से (लेटेंट रोज़) में देखते हैं। कभी-कभी, स्पेयर पार्ट्स अनजाने में एक ऐसा पैटर्न बना देते हैं जो एक छेद पैदा करता है। पेपर यहाँ एक विशिष्ट पैटर्न पाता है जो 48 के आकार का छेद बनाता है (एक कोड के लिए)।
"प्रतिबंधित लिफ्ट" (The "Restricted Lift" - ज़ूम लेंस):
कल्पना करें कि किला बहुत बड़ा है। पूरे किले को देखने के बजाय, लेखक एक "कंप्रेशन" ट्रिक का उपयोग करते हैं।
- ब्लॉक-कंप्रेशन (Block-Compression): वह 4 ब्लॉकों को 1 समूह में जोड़कर किले को सिकोड़ देते हैं। यदि उन्हें सिकुड़े हुए संस्करण में एक छेद मिलता है, तो उन्हें पता चल जाता है कि बड़े वाले में भी एक छेद है (जो कि 4 गुना बड़ा होगा)।
- फाइबर-कोशिएंट (Fiber-Quotient): वह केवल किले के विशिष्ट "धारियों" (stripes) को देखते हैं, बाकी को अनदेखा कर देते हैं।
- CRT-स्ट्राइप (CRT-Stripe): वह चीनी शेष प्रमेय (Chinese Remainder Theorem) का उपयोग करके किले को एक विशिष्ट "लेंस" के माध्यम से देखते हैं जो छिपे हुए पैटर्न को प्रकट करता है।
- परिणाम: इन ज़ूम लेंसों का उपयोग करके, उन्होंने एक कोड में 24 आकार का छेद पाया, जो लेटेंट सर्च द्वारा पाए गए छेद की तुलना में बहुत छोटा (और किले के लिए बदतर) है।
"साइकिल-8" खोज (The "Cycle-8" Search - लूप):
चूंकि शहर के नक्शे में 8 ब्लॉक से छोटे कोई लूप नहीं हैं, इसलिए लेखक जुड़े हुए 8-ब्लॉक लूप्स से बने पैटर्न की तलाश करते हैं। उन्होंने 10 ब्लॉकों के एक विशिष्ट विन्यास को पाया जो एक पूर्ण रिसाव बनाता है। यह अब तक का सबसे छोटा छेद है (आकार 10)।
"डिकोडर विफलता" (The "Decoder Failure" - सिमुलेशन):
लेखक एक तूफान (रैंडम नॉइज़) का अनुकरण करते हैं और नुकसान को ठीक करने के लिए एक रोबोट (डिकोडर) का उपयोग करते हैं। कभी-कभी रोबोट विफल हो जाता है और एक "अवशिष्ट" (residual) कचरा छोड़ देता है। यदि वह कचरा एक वैध छेद है, तो वह गिना जाता है। उन्होंने आकार 10 का एक अवशिष्ट पाया।

4. बड़ी तस्वीर: यह क्यों मायने रखता है

अतीत में, लोगों को उम्मीद थी कि इन क्वांटम कोड्स में एक "सुपर-खाई" होगी जो बड़े होने पर अनंत रूप से बढ़ती जाएगी।

यह पेपर कहता है: "ठहरिए। हमने 10, 24 और 48 के आकार के छेद पाए हैं।"

अच्छी खबर: लेखक ने प्रमाणित प्रमाण (certified proof) प्रदान किया है कि खाई अधिकतम इन आकारों की है। यह एक ठोस, गणितीय तथ्य है। अब कोई अनुमान नहीं।
बुरी खबर: यह सुझाव देता है कि खाई उतनी गहरी नहीं हो सकती जितनी हमने उम्मीद की थी। यह एक छोटे से नंबर जैसे 30 के आसपास "प्लेटोइंग" (स्थिर होना) हो सकती है।

सारांश

इस पेपर को क्वांटम कंप्यूटरों के लिए एक बिल्डिंग इंस्पेक्टर (भवन निरीक्षक) के रूप रूप में समझें।

यह सिद्ध करने के बजाय कि इमारत एक गगनचुंबी इमारत है (जो कठिन है), निरीक्षक एक टेप माप लेकर घूमता है।
वह नींव में एक दरार ढूंढता है (एक लो-वेट लॉजिकल ऑपरेटर)।
वह दरार को मापता है, दोबारा जांचता है कि यह एक असली दरार है या केवल एक खरोंच, और उसे लिख लेता है।
वह कहता है, "यह इमारत अधिकतम 10 मंजिला ऊंची है, क्योंकि यहाँ 10वीं मंजिल पर एक छेद है।"

यह पेपर कई प्रसिद्ध क्वांटम कोड्स के "ऊंचाई स्तर" को अपडेट करता है, यह दिखाते हुए कि हालांकि वे चतुर हैं, उनमें विशिष्ट, मापने योग्य कमजोरियां हैं जिन्हें अब हम सटीक रूप से जानते हैं। यह इंजीनियरों को यह जानने में मदद करता है कि वास्तविक दुनिया में उपयोग के लिए इन कोड्स को सुरक्षित बनाने के लिए उन्हें कितनी सुरक्षा जोड़ने की आवश्यकता है।

यहाँ केन्टा कासाई के शोध पत्र "Heuristic Search for Minimum-Distance Upper-Bound Witnesses in Quantum APM-LDPC Codes" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

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

अंतराल (The Gap): जबकि इन विशिष्ट निर्माणों के लिए निचली सीमाओं (lower bounds - जो त्रुटि सुधार क्षमता की गारंटी देती हैं) को सिद्ध करना अक्सर कठिन होता है, ऊपरी सीमाओं (upper bounds) को स्थापित करना कोड के वास्तविक प्रदर्शन को निर्धारित करने के लिए महत्वपूर्ण है।
चुनौती: सटीक न्यूनतम दूरी खोजना गणनात्मक रूप से कठिन है। यह शोध पत्र प्रमाणित ऊपरी सीमाओं (certified upper bounds) को खोजने पर ध्यान केंद्रित करता है, जिसके लिए कम-भार वाले लॉजिकल ऑपरेटर्स (witnesses) का स्पष्ट निर्माण किया जाता है जो:
1. विपरीत पैरिटी-चेक मैट्रिक्स के कर्नेल (kernel) में हों (सिंड्रोम की स्थिति को संतुष्ट करते हों)।
2. स्टेबलाइजर मैट्रिक्स के रो-स्पेस (row space) से बाहर हों (यह सुनिश्चित करने के लिए कि वे गैर-तुच्छ लॉजिकल ऑपरेटर्स हैं)।
संदर्भ: विचार किए गए कोड्स के सक्रिय टैनर ग्राफ (active Tanner graphs) की गिर्थ (girth) 8 है। निर्माण का आधार "सक्रिय" पंक्तियों (स्टेबलाइजर के लिए उपयोग की जाने वाली) और "लेटेंट" (latent) पंक्तियों (जिनमें कम-भार वाले लॉजिकल प्रतिनिधि हो सकते हैं) के बीच एक विशिष्ट विभाजन है।

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

लेखक एक एकीकृत ढांचा प्रस्तावित करता है जो गणितीय प्रमाणन (mathematical certification) को ह्यूरिस्टिक खोज (heuristic search) के साथ जोड़ता है। मूल दर्शन यह है कि खोज एल्गोरिदम का उपयोग केवल उम्मीदवार वेक्टर उत्पन्न करने के लिए किया जाता है; अंतिम ऊपरी-सीमा का दावा तभी मान्य होता है जब उम्मीदवार कठोर बीजगणितीय परीक्षणों को पास कर लेते हैं।

A. सैद्धांतिक ढांचा (Theoretical Framework)

शोध पत्र कोड की दूरी को दो घटकों में विभाजित करता है:

लेटेंट दूरी ( $d^{(lat)}$ ): "लेटेंट" (स्टेबलाइजर में अप्रयुक्त) मैट्रिसेस के रो-स्पेस के भीतर स्थित लॉजिकल ऑपरेटर्स।
नॉन-लेटेंट दूरी ( $d^{(nlat)}$ ): लेटेंट रो-स्पेस के बाहर के लॉजिकल ऑपरेटर्स।

कुल दूरी $d = \min(d^{(lat)}, d^{(nlat)})$ है। शोध पत्र विशिष्ट उप-स्थानों (subspaces) में वेक्टर्स के लिए वैध लॉजिकल प्रतिनिधियों के लिए पर्याप्त शर्तें प्रदान करता है।

B. खोज और सत्यापन रणनीतियाँ (Search and Verification Strategies)

शोध पत्र ऊपरी-सीमा विधियों को कई अलग-अलग वर्गों में वर्गीकृत करता है, जिनमें से प्रत्येक का एक विशिष्ट खोज स्थान और सत्यापन प्रोटोकॉल है:

लेटेंट अपर बाउंड्स (Latent Upper Bounds):
- विधि: मिश्रित उत्पाद (mixed product) के कर्नेल में गुणांक वेक्टर्स $\lambda$ की खोज करना ( $H_Z \tilde{H}_X^T \lambda = 0$ )।
- प्रमाणन: यदि $\lambda^T \tilde{H}_X$ स्टेबलाइजर रो-स्पेस में नहीं है, तो यह एक वैध विटनेस (witness) है।
- सटीकता: शोध पत्र एक मानदंड (ब्लॉक-कांस्टेंट कम्प्रेशन के माध्यम से) प्रदान करता है जिसके तहत लेटेंट लोअर बाउंड, अपर बाउंड से मेल खाता है, जिससे लेटेंट दूरी का प्रमाणन सटीक हो जाता है।
प्रतिबंधित-लिफ्ट अपर बाउंड्स (Restricted-Lift Upper Bounds):
ये विधियाँ जटिलता को कम करने के लिए विशिष्ट उप-स्थानों में खोज को सीमित करती हैं, और फिर परिणामों को पूर्ण कोड लंबाई तक वापस ले जाती हैं।
- ब्लॉक-कंप्रेशन (फुल-फाइबर): यह मानता है कि समाधान $m$ आकार के ब्लॉक्स पर स्थिर (constant) है। समस्या को $P/m$ लंबाई के कोटिएंट कोड में बदल दिया जाता है।
- फाइबर-कोटिएंट (सिलेक्टेड-फाइबर): एक सामान्यीकरण जहाँ लिफ्ट को फाइबर्स के एक उपसमुच्चय (selected indices) तक सीमित किया जाता है, जिससे कम-भार वाले उम्मीदवारों के लिए अधिक लचीलापन मिलता है।
- CRT-स्ट्राइप (CRT-Stripe): ब्लॉक आकार $P$ के सह-अभाज्य (coprime) कारकों के आधार पर एक स्ट्राइप उप-स्थान को परिभाषित करने के लिए चाइनीज रिमाइंडर थ्योरम (CRT) का उपयोग करता है।
प्रत्यक्ष और संरचनात्मक विधियाँ (Direct and Structural Methods):
- डायरेक्ट CSS सर्च: बिना किसी संरचनात्मक बाधा के पैरिटी-चेक मैट्रिक्स के कर्नेल में सीधे ह्यूरिस्टिक खोज, जिसके बाद रो-स्पेस अपवर्जन (exclusion) किया जाता है।
- साइकिल-8 ETS (एलिमेंट्री ट्रैपिंग सेट्स): टैनर ग्राफ में 8-साइकिल को जोड़कर उम्मीदवारों का निर्माण करना। यदि "ऑड-चेक बाउंड्री" खाली है, तो सपोर्ट वेक्टर कर्नेल में होता है।
- डिकोडर-फेलियर रेसिडुअल्स (Decoder-Failure Residuals): विफल डिकोडिंग सिमुलेशन से अवशेषों ( $\Delta = e + \hat{e}$ ) का उपयोग करना। यदि अवशेष शुद्ध X या Z है और नॉन-स्टेबलाइजर है, तो यह एक विटनेस के रूप में कार्य करता है।

3. मुख्य योगदान (Key Contributions)

एकीकृत प्रमाणन ढांचा (Unified Certification Framework): शोध पत्र एक कठोर प्रोटोकॉल स्थापित करता है जहाँ खोज को प्रमाण से अलग किया गया है। उम्मीदवार ह्यूरिस्टिक रूप से उत्पन्न किए जाते हैं, लेकिन अंतिम सीमा कर्नेल और रो-स्पेस अपवर्जन परीक्षणों के माध्यम से गणितीय रूप से प्रमाणित होती है।
सटीक लेटेंट प्रमाणन (Exact Latent Certification): यह एक रैंक-टेस्ट (ब्लॉक-कांस्टेंट कम्प्रेशन का उपयोग करके) पेश करता है जो लेटेंट दूरी घटक के सटीक निर्धारण की अनुमति देता है, न कि केवल एक ऊपरी सीमा, विशिष्ट पैरामीटर सेट के लिए।
नई अपर बाउंड विधियाँ: फाइबर-कोटिएंट और CRT-स्ट्राइप प्रतिबंधित लिफ्ट्स का परिचय मानक ब्लॉक-कंप्रेशन द्वारा छोड़े जा सकने वाले कम-भार वाले लॉजिकल ऑपरेटर्स को खोजने के नए मार्ग प्रदान करता है।
APM-LDPC कोड्स के लिए परिष्कृत सीमाएँ: यह शोध पत्र पिछले कार्यों (जैसे [20]) में प्रस्तावित APM-LDPC कोड्स के परिवार के लिए ज्ञात ऊपरी-सीमाओं को अपडेट करता है, जो $n=9216$ ( $P=768$ ) तक के ब्लॉक लेंथ वाले कोड्स के लिए ठोस, सत्यापित मान प्रदान करता है।

4. परिणाम (Results)

शोध पत्र इन विधियों को $P=216$ से $768 $तक के ब्लॉक साइज वाले कोड्स के एक प्रतिनिधि सेट ($ C_1 $से$ C_{10}$) पर लागू करता है।

तेज सीमाएँ (Sharpened Bounds): विधियों ने सफलतापूर्वक उन लॉजिकल ऑपरेटर्स की पहचान की जिनका भार पहले रिपोर्ट की गई सीमाओं से काफी कम था।
- उदाहरण: कोड C9 ( $P=768$ ) के लिए, पिछला बाउंड $d \le 48$ था। सिलेक्टेड-फाइबर विधि ने भार 24 वाला एक विटनेस पाया, और ब्लॉक-कंप्रेशन विधि ने भार 32 वाला एक विटनेस पाया।
- उदाहरण: कोड C1 ( $P=216$ ) के लिए, साइकिल-8 ETS विधि ने भार 10 वाला एक विटनेस पाया, और डिकोडर-फेलियर विधि ने भार 10 वाला एक Z-टाइप विटनेस पाया।
एसिम्प्टोटिक अवलोकन (Asymptotic Observation): डेटा बताता है कि खोजे गए रेंज में सबसे अच्छे रिकॉर्ड किए गए अपर बाउंड्स, ब्लॉक-लेंथ के साथ लगभग रैखिक रूप से बढ़ते हैं। हालाँकि, लेखक यह चेतावनी देते हैं कि यह एसिम्प्टोटिक विकास का प्रमाण नहीं है, क्योंकि ब्लॉक लेंथ के साथ विटनेस खोजने की गणनात्मक कठिनाई बढ़ जाती है।
लेटेंट सटीकता (Latent Exactness): $P=768$ कोड के लिए, लेटेंट दूरी को ब्लॉक-कांस्टेंट कर्नेल हाइपोथीसिस का उपयोग करके $d^{(lat)} = 48$ के रूप में सटीक रूप से प्रमाणित किया गया था। $d \le 24$ तक का सुधार पूरी तरह से नॉन-लेटेंट (प्रतिबंधित-लिफ्ट) खोजों से आया।

5. महत्व (Significance)

व्यावहारिक प्रभाव: ठोस, प्रमाणित ऊपरी-सीमाएँ प्रदान करके, यह शोध पत्र इंजीनियरों और सिद्धांतकारों को APM-LDPC कोड्स की वास्तविक सीमाओं को समझने में मदद करता है। यदि न्यूनतम दूरी कम है, तो ये कोड्स उच्च-विश्वसनीयता वाले क्वांटम मेमोरी या संचार के लिए उपयुक्त नहीं हो सकते हैं, भले ही उनके उत्कृष्ट डिकोडिंग थ्रेशोल्ड हों।
पद्धतिगत प्रगति: "खोज" को "सत्यापन" से अलग करना अन्य क्वांटम कोड परिवारों के विश्लेषण के लिए एक मजबूत टेम्पलेट प्रदान करता है जहाँ सटीक दूरी की गणना करना कठिन है।
कोड संरचना का स्पष्टीकरण: यह शोध पत्र APM निर्माणों में "लेटेंट" स्पेस की भूमिका को स्पष्ट करता है। यह प्रदर्शित करता है कि जबकि सक्रिय भाग ऑर्थोगोनैलिटी (orthogonality) सुनिश्चित करता है, लेटेंट भाग कम-भार वाले लॉजिकल एरर्स का प्राथमिक स्रोत है, और विशिष्ट बीजगणितीय संरचनाओं (जैसे ब्लॉक-कांस्टेंट कर्नेल्स) का उपयोग इन दूरियों को सटीक रूप से प्रमाणित करने के लिए किया जा सकता है।
भविष्य के कार्य के लिए संसाधन: शोध पत्र में उल्लेखित पूरक वेबसाइट एक जीवित डेटाबेस के रूप में कार्य करती है जो सर्वोत्तम-ज्ञात ऊपरी-सीमाओं को संकलित करती है, जो भविष्य के कोड निर्माण और डिकोडिंग एल्गोरिदम के विकास के लिए एक बेंचमार्क के रूप में कार्य करती है।

संक्षेप में, यह शोध पत्र APM-LDPC कोड्स के लिए न्यूनतम दूरी के सामान्य निचली बाउंड (lower bound) को सिद्ध नहीं करता है। इसके बजाय, यह स्पष्ट, प्रमाणित कम-भार वाले लॉजिकल ऑपरेटर्स को खोजकर उच्च-दूरी के दावों को गलत सिद्ध करने के लिए एक शक्तिशाली, व्यवस्थित टूलकिट प्रदान करता है, जिससे इस आशाजनक क्वांटम कोड परिवार की ज्ञात प्रदर्शन सीमाओं को कड़ा किया जा सके।