⚛️ quantum physics

Fault-tolerant syndrome extraction in [[n,1,3]] non-CSS code family generated using measurements on graph states

यह शोध पत्र ग्राफ अवस्थाओं (graph states) और बेयर-एंसिला विधि (bare-ancilla method) के माध्यम से जनरेट किए गए दोष-सहनशील [[n,1,3]] गैर-CSS क्वांटम त्रुटि-सुधार कोड्स के एक परिवार को प्रस्तुत करता है, जो हुक त्रुटियों (hook errors) के विरुद्ध उनकी लचीलापन और विभिन्न शोर मॉडलों के तहत मौजूदा फ्लैग-क्विबिट (flag-qubit) और बेयर-एंसिला दृष्टिकोणों की तुलना में उनके बेहतर प्रदर्शन को प्रदर्शित करता है।

मूल लेखक: Harsh Gupta, Mainak Bhattacharyya, Ritik Jain, Ankur Raina

प्रकाशित 2026-05-12✓ Author reviewed ⓘ

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

CC BY 4.0

मूल लेखक: Harsh Gupta, Mainak Bhattacharyya, Ritik Jain, Ankur Raina

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

यहाँ इस पेपर का सरल भाषा और रोज़मर्रा के उदाहरणों के साथ विवरण दिया गया है।

मुख्य विचार: एक लीक होती नाव को ठीक करना

कल्पना कीजिए कि आप एक नाव (एक क्वांटम कंप्यूटर) को एक तूफानी समुद्र के पार ले जाने की कोशिश कर रहे हैं। नाव कई छोटे तख्तों (qubits) से बनी है। समस्या यह है कि समुद्र बहुत अशांत है, और लहरें (noise) लगातार तख्तों से टकरा रही हैं, जिससे वे सड़ रहे हैं या टूट रहे हैं। यदि बहुत अधिक तख्त टूट गए, तो नाव डूब जाएगी (गणना विफल हो जाएगी)।

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

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

समाधान: एक स्मार्ट निरीक्षण प्रक्रिया

इस पेपर के लेखकों ने मरम्मत दल के लिए नाव का निरीक्षण करने का एक नया, स्मार्ट तरीका डिज़ाइन किया है। उन्होंने नए "रिपेयर कोड्स" (जिन्हें बेयर एंसिला कोड्स - Bare Ancilla Codes कहा जाता है) का एक परिवार बनाया है जो बिना अतिरिक्त सुरक्षा गियर के इन अनाड़ी निरीक्षकों को संभाल सकता है।

उन्होंने इसे सरल चरणों में कैसे किया, इसका विवरण यहाँ दिया गया है:

1. ब्लूप्रिंट: ग्राफ स्टेट्स (Graph States)

तख्तों को कैसे व्यवस्थित किया जाए, इसके लिए अनुमान लगाने के बजाय, लेखकों ने एक विशिष्ट प्रकार के ब्लूप्रिंट का उपयोग किया जिसे "ग्राफ स्टेट" कहा जाता है।

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

2. तरकीब: क्रम को बदलना

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

लेखकों ने केवल एक निरीक्षक (एक "बेयर" एंसिला) के साथ इसे करने का तरीका खोजा, बस जाँच करने के क्रम को बदलकर।

उदाहरण: कल्पना कीजिए कि एक सुरक्षा गार्ड लोगों की एक कतार की जाँच कर रहा है। यदि वह व्यक्ति A, फिर व्यक्ति B, फिर व्यक्ति C की जाँच करता है, और गार्ड व्यक्ति B पर लड़खड़ा जाता है, तो वह गलती से व्यक्ति C को भी टक्कर मार सकता है।
समाधान: लेखकों ने महसूस किया कि यदि गार्ड उन्हें एक विशिष्ट, अलग क्रम में जाँचता है (जैसे C, फिर A, फिर B), तो व्यक्ति B पर होने वाली लड़खड़ाहट केवल व्यक्ति A को प्रभावित करेगी, और "लड़खड़ाने" का पैटर्न इतना अनूठा होगा कि सिस्टम समझ जाएगा कि वास्तव में क्या हुआ है और बिना दूसरे गार्ड के ही इसे ठीक कर सकेगा।

3. परिणाम: कोड्स का एक परिवार

उन्होंने केवल एक समाधान नहीं खोजा; उन्होंने समाधानों का एक पूरा परिवार (कोड्स) खोजा जो नाव के विभिन्न आकारों के लिए काम करते हैं — उन्होंने 6 तख्तों से लेकर 16 तक के आकारों के लिए सिमुलेशन चलाए, और एक गणितीय प्रमाण दिया कि 6 से बड़े किसी भी आकार 'n' के लिए एक कोड मौजूद है।

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

उन्होंने क्या परीक्षण किया

उनका विचार वास्तव में काम करता है या नहीं, यह सुनिश्चित करने के लिए, उन्होंने दो प्रकार के "तूफानों" (डिजिटल प्रयोगों) के साथ कंप्यूटर सिमुलेशन चलाए:

मानक तूफान (Standard Storm): सभी दिशाओं से टकराती यादृच्छिक लहरें (डेपोलराइजिंग नॉइज़)।
बायस्ड तूफान (Biased Storm): एक विशिष्ट, अनुमानित पैटर्न में टकराने वाली लहरें (एनिसोट्रोपिक नॉइज़, जो आयन-ट्रैप कंप्यूटरों में आम है)।

निष्कर्ष:

उनका नया "बेयर एंसिला" तरीका बहुत अच्छी तरह से काम करता है।
कुछ मामलों में, यह उन पुराने, अधिक महंगे तरीकों के समान प्रदर्शन करता है जिनमें अतिरिक्त "फ्लैग" क्विबिट्स का उपयोग होता है।
अन्य मामलों में (विशेष रूप से "बायस्ड तूफान" के साथ), उनका तरीका वास्तव में बेहतर है और इसमें कम संसाधनों की आवश्यकता होती है।
उन्होंने एक विशिष्ट कोड ([[6, 1, 3]] कोड) पाया जो बायस्ड तूफान के लिए सबसे कुशल (उच्चतम "कोड रेट") है, जिसका अर्थ है कि यह कम अतिरिक्त सामग्री के साथ सबसे अधिक काम करता है।

सारांश

यह पेपर क्वांटम कंप्यूटरों के लिए अधिक कुशल मरम्मत प्रणाली बनाने के बारे में है। एक चतुर गणितीय मानचित्र (ग्राफ कोड्स) का उपयोग करके और जाँच किए जाने के क्रम को बदलकर, उन्होंने एक ऐसी प्रणाली बनाई है जो अतिरिक्त हार्डवेयर की आवश्यकता के बिना "अनाड़ी निरीक्षक" की त्रुटियों (हुक एरर) को रोकती है। यह क्वांटम कंप्यूटरों को बनाना संभावित रूप से सस्ता और अधिक विश्वसनीय बनाता है।

तकनीकी सारांश: [[n, 1, 3]] नॉन-CSS कोड परिवार में फॉल्ट-टॉलेरेंट सिंड्रोम एक्सट्रैक्शन

समस्या विवरण
फॉल्ट-टॉलेरेंट (FT) क्वांटम कंप्यूटिंग की विश्वसनीयता फॉल्ट-टॉलेरेंट सिंड्रोम एक्सट्रैक्शन के प्रदर्शन पर महत्वपूर्ण रूप से निर्भर करती है। उच्च फिडेलिटी प्राप्त करने में एक बड़ी बाधा "हुक एरर" (hook error) है, जो एक घटना है जहाँ एक एंसेला क्वबिट (ancilla qubit) पर होने वाली एकल भौतिक त्रुटि, टू-क्वबिट इंटरैक्शन के माध्यम से कई डेटा क्वबिट्स पर सहसंबद्ध त्रुटियों (correlated errors) को उत्पन्न करने के लिए प्रसारित होती है। यदि इसे अनियंत्रित छोड़ दिया जाए, तो ये त्रुटियां प्रभावी रूप से कोड की दूरी (code distance) को कम कर देती हैं, जिससे कोड की त्रुटि-सुधार करने की क्षमता से समझौता होता है। हालांकि विभिन्न FT सिंड्रोम एक्सट्रैक्शन स्कीमें मौजूद हैं (जैसे कि स्टीन का, शोर का, निल का, और फ्लैग-क्विबिट विधि), उनमें से कई महत्वपूर्ण संसाधन ओवरहेड (resource overhead) का सामना करती हैं। विशेष रूप से, "बेयर-एंसेला" (bare-ancilla) विधि, जो अतिरिक्त सत्यापन या फ्लैग क्वबिट्स के बिना एक एकल एंसेला क्वबिट का उपयोग करती है, मुयुआन ली और अन्य द्वारा विशिष्ट कोड जैसे [[7, 1, 3]] कोड के लिए प्रदर्शित की गई है, लेकिन ऐसे व्यापक परिवार के लिए, विशेष रूप से बेहतर दरों वाले नॉन-CSS कोड के लिए, एक व्यवस्थित ढांचा प्रदान करने की कमी थी।

कार्यप्रणाली
लेखक बेयर-एंसेला विधि का उपयोग करके हुक एरर्स के विरुद्ध फॉल्ट-टॉलेरेंट [[n, 1, 3]] नॉन-CSS QECCs का निर्माण करने के लिए एक व्यवस्थित ढांचा प्रस्तावित करते हैं। यह दृष्टिकोण तीन प्राथमिक घटकों को एकीकृत करता है:

ग्राफ कोड निर्माण: लेखक मेजरमेंट-बेस्ड क्वांटम कंप्यूटिंग (MBQC) ढांचे का उपयोग करते हैं। वे एक ग्राफ स्टेट (क्लस्टर स्टेट) से शुरू करते हैं और संदेश क्वबिट्स (message qubits) को X-बेसिस में मापकर तार्किक जानकारी को एनकोड करते हैं। यह प्रक्रिया ग्राफ स्टेट को एक स्टेबिलाइज़र कोड में बदल देती है, जहाँ पैरिटी-चेक मैट्रिक्स ग्राफ के एडजसेंसी मैट्रिक्स से प्राप्त होता है। यह नॉन-CSS स्टेबिलाइज़र कोड उत्पन्न करने का एक व्यवस्थित तरीका प्रदान करता है।
सिंड्रोम स्पेस विश्लेषण और बाउंड्स: शोध पत्र स्पष्ट शर्तें व्युत्पन्न करता है जिनके तहत स्टेबिलाइज़र कोड बेयर-एंसेला FT सिंड्रोम एक्सट्रैक्शन का समर्थन करते हैं। स्टेबिलाइज़र जनरेटरों के वेट ( $w_g$ $w_{g}$ ) के विश्लेषण के माध्यम से, लेखक हुक एरर्स की पहचान करने के लिए आवश्यक "एबंडेंट" (अतिरिक्त/अनुपयोगी) सिंड्रोम की संख्या पर मात्रात्मक सीमाएं स्थापित करते हैं।
- अनकोरिलेटेड एंसेला एरर्स के लिए, अनकरेक्टेबल हुक एरर्स की संख्या $|U_g| \le w_g - 3$ द्वारा सीमित है।
- सहसंबद्ध टू-क्वबिट गेट एरर्स के लिए (एक अधिक व्यावहारिक मॉडल), सीमा $|U_g| \le 3(w_g - 2)$ है।
- उपलब्ध कुल अनुपयोगी सिंड्रोम ( $S_u$ ) की संख्या विशिष्ट असमानताओं को संतुष्ट करनी चाहिए ताकि यह सुनिश्चित हो सके कि सभी हुक एरर्स को सिंगल-क्वबिट डेटा एरर्स से अलग अद्वितीय सिंड्रोम दिए जा सकें।
एल्गोरिद्मिक निर्माण: कोड बनाने के लिए दो एल्गोरिदम प्रस्तुत किए गए हैं:
- एल्गोरिदम 2: प्रत्येक स्टेबिलाइज़र जनरेटर के भीतर पाउली ऑपरेटर्स के स्वीकार्य क्रमों (परम्यूटेशन) को खोजने के लिए एक लोकल सर्च करता है। यह उन क्रमों को हटा देता है जो ट्रिवियल सिंड्रोम या हुक एरर्स के लिए डिजेनरेट (गैर-अद्वितीय) सिंड्रोम का परिणाम देते हैं।
- एल्गोरिदम 3: स्थानीय रूप से वैध क्रमबद्ध जनरेटरों को एक पूर्ण स्टेबिलाइज़र सेट में संयोजित करने के लिए ग्लोबल सर्च करता है। यह सुनिश्चित करता है कि परिणामी कोड कम्यूटिंग है, रैखिक रूप से स्वतंत्र है, सही रैंक ( $n-1$ ) बनाए रखता है, दूरी $d=3$ बनाए रखता है, और सैद्धांतिक विश्लेषण से प्राप्त सिंड्रोम स्पेस बाउंड्स को संतुष्ट करता है।

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

व्यवस्थित ढांचा: यह पेपर ग्राफ कोड से सीधे बेयर एंसेला कोड्स (BACs) के निर्माण के लिए पहला सामान्य बाउंड और व्यवस्थित एल्गोरिदम स्थापित करता है, जो एड-हॉक खोज से आगे बढ़ता है।
नया कोड परिवार: लेखक $n \ge 8$ के लिए सभी [[n, 1, 3]] नॉन-CSS BACs के एक नए परिवार का निर्माण करते हैं। यह परिवार एक बेस ग्राफ कोड, $B_8$ (एक [[8, 1, 3]] कोड) को विस्तारित करके प्राप्त किया गया है, और विश्लेषणात्मक रूप से सिद्ध किया गया है कि बेयर-एंसेला गुण इस विस्तार के तहत संरक्षित रहते हैं।
अनुकूलित कोड दर: यह कार्य एक नया [[n, 1, 3]] नॉन-CSS BAC कोड पहचानता है जिसमें पिछले कार्यों की तुलना में बेहतर कोड दर है। विशेष रूप से, [[6, 1, 3]] कोड को इस परिवार में सबसे अनुकूलित कोड दर वाला कोड माना गया है, जो मानक डिपोलराइजिंग शोर के तहत स्यूडो-थ्रेशोल्ड की कमी के बावजूद, एनिसोट्रोपिक शोर के तहत एसिम्प्टोटिक फॉल्ट टॉलरेंस दिखाता है।
बेंचमार्किंग: प्रस्तावित BACs का प्रदर्शन कस्टम लुकअप-टेबल डिकोडर्स का उपयोग करके एनाइसोट्रोपिक और सर्किट-लेवल डिपोलराइजिंग शोर मॉडल्स के तहत फ्लैग-क्वबिट विधि (चाओ एट अल.) के विरुद्ध बेंचमार्क किया गया है।

परिणाम
CHP (CNOT-Hadamard-Phase) स्टेबिलाइज़र सिम्युलेटर का उपयोग करके किए गए संख्यात्मक सिमुलेशन निम्नलिखित निष्कर्ष प्रदान करते हैं:

प्रदर्शन तुलना: प्रस्तावित बेयर-एंसेला कोड फ्लैग-क्विबिट विधि की तुलना में प्रतिस्पर्धी, और कई मामलों में बेहतर, लॉजिकल एरर रेट प्रदर्शित करते हैं।
स्यूडो-थ्रेशोल्ड्स:
- एनिसोट्रोपिक शोर के तहत, बेयर विधि [[6, 1, 3]] से शुरू होने वाले कोड्स के लिए फ्लैग विधि के लगभग बराबर या उससे बेहतर प्रदर्शन करती है।
- मानक डिपोलराइजिंग शोर के तहत, बेयर विधि [[7, 1, 3]] से आगे के कोड्स के लिए फ्लैग विधि के तुलनीय स्यूडो-थ्रेशोल्ड प्रदान करती है।
- [[6, 1, 3]] BAC डिपोलराइजिंग शोर के लिए कोई स्यूडो-थ्रेशोल्ड नहीं दिखाता है क्योंकि इसमें सहसंबद्ध हुक एरर सुधार के लिए अपर्याप्त सिंड्रोम स्पेस है, लेकिन यह एनिसोट्रोपिक शोर के तहत एक गैर-शून्य स्यूडो-थ्रेशोल्ड प्रदर्शित करता है।
संसाधन दक्षता: प्रस्तावित BACs इन परिणामों को प्राप्त करते हैं जबकि उन्हें फ्लैग-क्विबिट विधि की तुलना में कम एंसेला संसाधनों (केवल एक बेयर एंसेला क्वबिट) की आवश्यकता होती है, जिसमें आमतौर पर सत्यापन के लिए अतिरिक्त क्वबिट्स की आवश्यकता होती है।

महत्व
यह पेपर दावा करता है कि इसका प्राथमिक महत्व ग्राफ संरचनाओं से सीधे FT कोड खोजने के लिए एक रचनात्मक मार्ग प्रदान करना है। यह प्रदर्शित करके कि एक बेस ग्राफ कोड ( $B_8$ ) का व्यवस्थित विस्तार बेयर-एंसेला गुण को सुरक्षित रखता है, लेखक दिखाते हैं कि फ्लैग क्वबिट्स के ओवरहेड के बिना उच्च-दर, फॉल्ट-टॉलेरेंट नॉन-CSS कोड उत्पन्न किए जा सकते हैं। [[6, 1, 3]] कोड की पहचान एनिसोट्रोपिक शोर वातावरण (जो ट्रैप्ड-आयन सिस्टम में सामान्य है) के लिए एक अत्यधिक अनुकूलित उम्मीदवार के रूप में करना इसके व्यावहारिक उपयोग को उजागर करता है। यह कार्य सैद्धांतिक ग्राफ कोड निर्माण और व्यावहारिक फॉल्ट-टॉलेरेंट सिंड्रोम एक्सट्रैक्शन के बीच के अंतर को पाटता है, जो मौजूदा FT स्कीमों के लिए एक संसाधन-कुशल विकल्प प्रदान करता है।