← Back
npj Quantum Information

लेयर्ड KIK क्वांटम एरर मिटिगेशन फॉर डायनामिक सर्किट्स

लेयर्ड KIK क्वांटम एरर मिटिगेशन फॉर डायनामिक सर्किट्स

अनुसंधान क्षेत्र Quantum Information
Article Type Research analysis
Authors Bar et al.
Original Paper Published 2026-03-10
ISOM Posted 2026-04-08 06:28 UTC
Read Time 5M
Open PDF Open DOI Open Source Page

Editorial Disclosure

ISOM follows an editorial workflow that structures the source paper into a readable analysis, then publishes the summary, source links, and metadata shown on this page so readers can verify the original work.

The goal of this page is to help readers understand the paper's core question, method, evidence, and implications before opening the original publication.

पृष्ठभूमि और अकादमिक वंश

उत्पत्ति और अकादमिक वंश

इस पत्र में संबोधित की गई समस्या, शोरगुल वाले मध्यवर्ती-स्केल क्वांटम (NISQ) युग और उससे आगे विश्वसनीय क्वांटम कंप्यूटर बनाने की चल रही चुनौती से उत्पन्न होती है। जबकि क्वांटम एरर करेक्शन (QEC) फॉल्ट-टॉलरेंट क्वांटम कंप्यूटिंग के लिए अंतिम लक्ष्य है, इसके लिए पर्याप्त हार्डवेयर ओवरहेड की आवश्यकता होती है, विशेष रूप से क्यूबिट्स की संख्या में महत्वपूर्ण वृद्धि। यह वर्तमान और निकट-अवधि के उपकरणों के लिए QEC को अव्यावहारिक बनाता है।

एक अधिक तात्कालिक और व्यावहारिक समाधान के रूप में, क्वांटम एरर मिटिगेशन (QEM) उभरा। QEM का उद्देश्य QEC के व्यापक हार्डवेयर की आवश्यकता के बिना क्वांटम कंप्यूटेशन परिणामों पर शोर के प्रभाव को कम करना है। इसके बजाय, QEM में आमतौर पर रनटाइम लागत आती है, जो वांछित सटीकता प्राप्त करने के लिए आवश्यक "शॉट्स" (पुनरावृत्तियों) की बढ़ी हुई संख्या के रूप में प्रकट होती है। हालांकि, QEM स्वयं स्केलेबिलिटी के मुद्दों का सामना करता है; इसका नमूना ओवरहेड सर्किट वॉल्यूम के साथ घातीय रूप से बढ़ता है, जो इसे सौ क्यूबिट्स तक के सर्किट तक सीमित करता है।

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

इससे एग्नोस्टिक (कैरेक्टराइजेशन-मुक्त) QEM विधियों का विकास हुआ, जैसे कि ज़ीरो-नॉइज़ एक्सट्रपलेशन (ZNE) और एडैप्टिव KIK प्रोटोकॉल, जो स्वाभाविक रूप से शोर बहाव के प्रति अधिक लचीले होते हैं। एडैप्टिव KIK विधि, जो पिछले कार्य [61] में पेश की गई थी, ने अपने बहाव लचीलेपन, गैर-क्लिफर्ड गेट्स पर प्रयोज्यता और गारंटीकृत प्रदर्शन सीमाओं के कारण महत्वपूर्ण वादा दिखाया। इसे QEC के साथ एकीकृत करने के लिए एक मजबूत उम्मीदवार के रूप में पहचाना गया, जिससे हाइब्रिड QEC-QEM दृष्टिकोण बनते हैं जो प्रमुख, स्थानीय त्रुटियों के लिए QEC का लाभ उठा सकते हैं और अवशिष्ट, सहसंबद्ध, या सुसंगत त्रुटियों के लिए QEM का लाभ उठा सकते हैं जिनसे QEC संघर्ष करता है।

हालांकि, मूल एडैप्टिव KIK प्रोटोकॉल (जिसे ग्लोबल KIK या GKIK कहा जाता है) में दो मौलिक सीमाएं थीं जिन्होंने इसे QEC और डायनामिक सर्किट के साथ निर्बाध एकीकरण को रोका:
1. मिड-सर्किट मापन (MCMs) के साथ असंगति: MCMs QEC प्रोटोकॉल में सिंड्रोम मापन निष्पादित करने के लिए आवश्यक हैं, जिससे गणना के दौरान त्रुटियों का पता लगाया जा सके और उन्हें ठीक किया जा सके। GKIK की वैश्विक शोर प्रवर्धन रणनीति इन मध्यवर्ती मापों के साथ संगत नहीं थी।
2. उच्च-क्रम मैग्नस शोर शब्दों से अवशिष्ट पूर्वाग्रह: GKIK सूत्रीकरण ने मैग्नस विस्तार में उच्च-क्रम शब्दों की उपेक्षा की, जो एक छोटा लेकिन महत्वपूर्ण पूर्वाग्रह पेश कर सकता है, खासकर जब मजबूत शोर से निपटते हैं या जब बहुत उच्च सटीकता की आवश्यकता होती है। यह पूर्वाग्रह गलत मिटिगेशन परिणामों का कारण बन सकता है।

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

सहज डोमेन शब्द

  1. क्वांटम एरर मिटिगेशन (QEM):

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

  2. क्वांटम एरर करेक्शन (QEC):

    • सहज सादृश्य: तीन अलग-अलग कागजों पर एक गुप्त संदेश लिखने और तीन अलग-अलग संदेशवाहकों को देने के बारे में सोचें। यदि कोई संदेशवाहक अपना कागज खो देता है या वह धब्बा हो जाता है, तो आप अभी भी अन्य दो से मूल संदेश को पुनर्निर्मित कर सकते हैं। QEC एक ऐसी प्रणाली रखने जैसा है जो न केवल आपको बताती है कि क्या किसी संदेशवाहक का कागज क्षतिग्रस्त है, बल्कि आपको उसे ठीक करने या बदलने में भी मदद करती है, यह सुनिश्चित करती है कि संदेश हमेशा पूरी तरह से पहुंचे, लेकिन इसके लिए अधिक संसाधनों (अधिक कागज, अधिक संदेशवाहक) की आवश्यकता होती है।

  3. डायनामिक सर्किट्स:

    • सहज सादृश्य: एक ऐसी रेसिपी पर विचार करें जहां अगला कदम पिछले स्वाद परीक्षण के परिणाम पर निर्भर करता है। यदि सूप बहुत नमकीन है (एक "मिड-सर्किट मापन" परिणाम), तो आप अधिक पानी मिलाते हैं (एक विशिष्ट "गेट" ऑपरेशन)। यदि यह सही है, तो आप अगले घटक पर आगे बढ़ते हैं। एक डायनामिक सर्किट एक क्वांटम प्रोग्राम है जो निश्चित, पूर्वनिर्धारित अनुक्रम का पालन करने के बजाय, गणना के दौरान किए गए मापों के आधार पर अपने पथ या संचालन को बदल सकता है।

  4. शोर बहाव लचीलापन:

    • सहज सादृश्य: यदि आप चलती नाव पर एक सीधी रेखा पेंट करने की कोशिश कर रहे हैं, तो "शोर बहाव लचीलापन" का मतलब है कि आपकी पेंटिंग तकनीक नाव के निरंतर, अप्रत्याशित झूलों के अनुकूल हो सकती है और फिर भी एक सीधी रेखा का उत्पादन कर सकती है। इसके लिए नाव को रोकने या उसके आंदोलन को लगातार फिर से मापने की आवश्यकता नहीं है; यह बदलती परिस्थितियों के बावजूद रेखा को सीधा रखता है।

  5. मैग्नस विस्तार:

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

संकेतन तालिका

संकेतन विवरण

समस्या परिभाषा और बाधाएं

मुख्य समस्या सूत्रीकरण और दुविधा

क्वांटम कंप्यूटिंग प्रयोगों का वर्तमान परिदृश्य शोर से ग्रस्त है, जो क्वांटम सर्किट से प्राप्त अपेक्षा मूल्यों में पूर्वाग्रह पेश करता है। जबकि क्वांटम एरर मिटिगेशन (QEM) इसे संबोधित करने के लिए एक व्यावहारिक मार्ग प्रदान करता है, मौजूदा विधियां, विशेष रूप से ग्लोबल KIK (GKIK) प्रोटोकॉल, महत्वपूर्ण सीमाओं का सामना करती हैं जो उनकी प्रयोज्यता और स्केलेबिलिटी को बाधित करती हैं।

इनपुट/वर्तमान स्थिति शोरगुल वाले क्वांटम सर्किट द्वारा पहचानी जाती है, जहां GKIK प्रोटोकॉल, अपने बहाव लचीलेपन जैसे लाभों के बावजूद, कई महत्वपूर्ण दोषों से ग्रस्त है:
* मिड-सर्किट मापन (MCMs) के साथ असंगति: "वैश्विक शोर प्रवर्धन" (पृष्ठ 2) पर GKIK की निर्भरता इसे MCMs (पृष्ठ 5) के साथ मौलिक रूप से असंगत बनाती है। MCMs डायनामिक क्वांटम सर्किट के लिए आवश्यक हैं और क्वांटम एरर करेक्शन (QEC) प्रोटोकॉल का एक आधारशिला हैं, क्योंकि वे प्रक्षेपी मापों को शामिल करते हैं जो स्थिति को पूरी तरह से डीकोहेर करते हैं। इन्हें वैश्विक फोल्डिंग ढांचे के भीतर "अनंत रूप से मजबूत शोर" के रूप में मानना गलत शोर प्रवर्धन की ओर ले जाता है, क्योंकि प्रक्षेपण प्रभाव आदर्श डायनामिक सर्किट का एक इच्छित हिस्सा है और इसे कम नहीं किया जाना चाहिए (पृष्ठ 10)।
* उच्च-क्रम मैग्नस शोर शब्दों से पूर्वाग्रह: GKIK सूत्रीकरण "उच्च-क्रम मैग्नस शोर शब्दों" (पृष्ठ 2) की उपेक्षा करता है, जिसके परिणामस्वरूप कम किए गए अपेक्षा मूल्यों में "छोटा पूर्वाग्रह" होता है (पृष्ठ 5)। यह पूर्वाग्रह मजबूत शोर से निपटते समय या जब "उच्च सटीकता की आवश्यकता होती है" (पृष्ठ 10) तो महत्वपूर्ण हो जाता है।
* हैमिल्टनियन व्युत्क्रम कठिनाई: GKIK को "प्रभावी हैमिल्टनियन के संकेत को उलटने" की आवश्यकता होती है, जो कुछ क्वांटम कंप्यूटिंग प्लेटफार्मों पर "लागू करना तुच्छ नहीं है" (पृष्ठ 9)।

इसके अलावा, QEC के साथ एकीकरण के लिए विचार किए जाने पर कैरेक्टराइजेशन-आधारित QEM विधियां अपनी समस्याओं का सामना करती हैं। लॉजिकल क्यूबिट्स, QEC का आउटपुट, "सूक्ष्म" त्रुटि दर प्रदर्शित करते हैं (पृष्ठ 5)। मिटिगेशन के लिए इन सूक्ष्म त्रुटियों को कैरेक्टराइज़ करना "समय लेने वाला" हो जाता है और "उच्च-सटीकता शोर कैरेक्टराइजेशन" (पृष्ठ 4-5) की मांग करता है, जिससे इस तरह का एकीकरण अव्यावहारिक हो जाता है।

वांछित अंतिम बिंदु (आउटपुट/लक्ष्य स्थिति) एक QEM विधि है जो "डायनामिक सर्किट" में गेट त्रुटि मिटिगेशन के लिए "बहाव-लचीला और पूर्वाग्रह-मुक्त" है (पृष्ठ 9)। विशेष रूप से, इस विधि को चाहिए:
* "मिड-सर्किट मापन" के साथ "संगत" होना (पृष्ठ 2, पृष्ठ 5)।
* "अगणित उच्च-क्रम मैग्नस शोर शब्दों के कारण अवशिष्ट त्रुटियों" को प्रभावी ढंग से दबाना (पृष्ठ 2), मजबूत शोर परिदृश्यों में भी उच्च सटीकता सुनिश्चित करना।
* "क्वांटम एरर करेक्शन कोड के साथ निर्बाध एकीकरण" को सक्षम करना (पृष्ठ 2), जिससे QEC प्रमुख शोर को संभाल सके जबकि QEM अवशिष्ट और सहसंबद्ध त्रुटियों को संबोधित करता है।
* इन सुधारों को मूल GKIK प्रोटोकॉल (पृष्ठ 2, पृष्ठ 9) की तुलना में "अतिरिक्त ओवरहेड या प्रयोगात्मक जटिलता के बिना" प्राप्त करना।
* परतों की संख्या को समायोजित करके अवशिष्ट मिटिगेशन त्रुटि को "लक्ष्य प्रयोगात्मक सटीकता" से नीचे कम करने में सक्षम होना (पृष्ठ 17)।

वर्तमान स्थिति और वांछित अंतिम बिंदु के बीच सटीक लुप्त कड़ी या गणितीय अंतर एक QEM प्रोटोकॉल विकसित करने में निहित है जो व्यवस्थित रूप से $\Omega_2$ पूर्वाग्रह को संबोधित कर सकता है और मिटिगेशन प्रक्रिया से समझौता किए बिना या अत्यधिक ओवरहेड का कारण बने बिना MCMs को एकीकृत कर सकता है। पत्र इस अंतर को पाटने के लिए "KIK का लेयर्ड अनुप्रयोग" (LKIK) प्रस्तावित करता है। गणितीय रूप से, GKIK का प्रदर्शन पूरे सर्किट के दूसरे-क्रम मैग्नस पद $\Omega_2^G$ द्वारा सीमित है (पृष्ठ 17)। LKIK दृष्टिकोण का उद्देश्य $\Omega_2$ में क्रॉस-लेयर कम्यूटेटर योगदान को समाप्त करना और परतों की संख्या बढ़ाकर शेष $\Omega_2$ योगदान को नगण्य बनाना है, जिससे पूर्वाग्रह-मुक्त संचालन प्राप्त हो सके (पृष्ठ 17)। चुनौती इस लेयर्ड दृष्टिकोण को इस तरह से तैयार करना है कि यह प्रत्येक परत के लिए शोर को सही ढंग से प्रवर्धित करे जबकि MCMs की कार्यक्षमता को संरक्षित करे और उच्च-क्रम शोर शब्दों को रद्द करे।

इस विशिष्ट समस्या को हल करने की कोशिश कर रहे पिछले शोधकर्ताओं को फंसाने वाले दर्दनाक ट्रेड-ऑफ या दुविधा कई तरीकों से प्रकट होती है:
1. QEM रनटाइम बनाम शोर बहाव: कई QEM प्रोटोकॉल प्रयोग के रनटाइम को काफी बढ़ा देते हैं, जो बदले में "लौकिक शोर बहाव" (पृष्ठ 4) के प्रभाव को बढ़ाता है। शोर कैरेक्टराइजेशन पर निर्भर विधियां विशेष रूप से कमजोर होती हैं, क्योंकि लंबे प्रयोगात्मक रनों के दौरान उनका कैरेक्टराइजेशन पुराना हो जाता है (पृष्ठ 4)।
2. कैरेक्टराइजेशन-आधारित QEM के साथ QEC एकीकरण: QEC को QEM के साथ संयोजित करने की इच्छा मजबूत है, लेकिन कैरेक्टराइजेशन-आधारित QEM के लिए कुशल सीखने के भीतर पर्याप्त रूप से स्पष्ट और सरल त्रुटियों की आवश्यकता होती है। यह QEC के बाद लॉजिकल क्यूबिट्स पर अपेक्षित "सूक्ष्म" और जटिल त्रुटियों से टकराता है, जिससे "समय लेने वाली उच्च-सटीकता शोर कैरेक्टराइजेशन" (पृष्ठ 4-5) होती है। यह एक दुविधा पैदा करता है जहां QEC में सुधार QEM एकीकरण को कठिन बना देता है।
3. GKIK का वैश्विक प्रवर्धन बनाम मिड-सर्किट मापन: GKIK के शोर प्रवर्धन की वैश्विक प्रकृति MCMs की स्थानीय, स्थिति-प्रक्षेपी प्रकृति के साथ मौलिक रूप से असंगत है। MCMs डायनामिक सर्किट और QEC का एक अभिन्न अंग हैं, लेकिन GKIK का ढांचा उन्हें सही ढंग से संभाल नहीं सकता है, जिससे "गलत शोर प्रवर्धन" होता है यदि MCMs को उलटने के लिए सर्किट के हिस्से के रूप में माना जाता है (पृष्ठ 10)। QEC-QEM एकीकरण को GKIK के साथ प्राप्त करने के लिए यह एक मुख्य दुविधा है।
4. सटीकता/शोर शक्ति बनाम नमूना लागत: GKIK के साथ उच्च सटीकता प्राप्त करने या मजबूत शोर को कम करने के लिए "उच्च-क्रम मैग्नस शोर शब्दों" को ध्यान में रखने की आवश्यकता होती है। हालांकि, इन शब्दों को संबोधित करने के लिए आवश्यक नमूना लागत "अवास्तविक" (पृष्ठ 10) हो सकती है, जिससे वांछित प्रदर्शन और प्रयोगात्मक व्यवहार्यता के बीच एक ट्रेड-ऑफ बनता है।

बाधाएं और विफलता मोड

डायनामिक सर्किट के लिए मजबूत क्वांटम एरर मिटिगेशन की समस्या को कई कठोर, यथार्थवादी दीवारों द्वारा "अविश्वसनीय रूप से कठिन" बनाया गया है:

  • भौतिक बाधाएं:

    • हैमिल्टनियन व्युत्क्रम जटिलता: GKIK विधि को "प्रभावी हैमिल्टनियन के संकेत को उलटने" की आवश्यकता होती है (पृष्ठ 9)। यह सार्वभौमिक रूप से तुच्छ ऑपरेशन नहीं है और विभिन्न क्वांटम कंप्यूटिंग प्लेटफार्मों पर, विशेष रूप से जटिल गेट्स या आर्किटेक्चर के लिए लागू करना चुनौतीपूर्ण हो सकता है।
    • पतली परतों के लिए नियंत्रण इलेक्ट्रॉनिक्स गति: जबकि LKIK फायदे प्रदान करता है, "पतली परतों" (यानी, सर्किट को कई छोटे खंडों में विभाजित करना) का उपयोग करने के लिए "तेज नियंत्रण इलेक्ट्रॉनिक्स" की आवश्यकता हो सकती है क्योंकि ड्राइव हैमिल्टनियन के संकेत में अधिक बार परिवर्तन होता है (पृष्ठ 25)। यह परतों की ग्रैन्युलैरिटी पर हार्डवेयर सीमा लगाता है।
    • पतली परतों में रिसाव शोर और उत्तेजना: "पतली परतों" के लिए, "रिसाव शोर और गैर-कम्प्यूटेशनल अवस्थाओं की उत्तेजना की क्षमता" में वृद्धि हुई है (पृष्ठ 25)। इन्हें कम करने के लिए अतिरिक्त पल्स शेपिंग तकनीकों की आवश्यकता होती है, जिससे प्रयोगात्मक सेटअप में जटिलता जुड़ जाती है।

  • कम्प्यूटेशनल/नमूना बाधाएं:

    • QEM का घातीय नमूना ओवरहेड: अधिकांश QEM विधियों, जिनमें KIK भी शामिल है, एक "नमूना ओवरहेड" का कारण बनती है जो सर्किट वॉल्यूम के साथ "घातीय रूप से" बढ़ती है (पृष्ठ 3)। यह उन्हें अपेक्षाकृत कम संख्या में क्यूबिट्स (जैसे, सुपरकंडक्टिंग सर्किट में सौ तक) वाले सर्किट तक सीमित करता है।
    • समय लेने वाला शोर कैरेक्टराइजेशन: कैरेक्टराइजेशन-आधारित QEM विधियों को शोर मापदंडों के सटीक ज्ञान की आवश्यकता होती है। "सूक्ष्म" त्रुटियों के लिए, जैसे कि लॉजिकल क्यूबिट्स पर, यह "समय लेने वाली उच्च-सटीकता शोर कैरेक्टराइजेशन" (पृष्ठ 4-5) की ओर ले जाता है, जिससे वे वास्तविक समय अनुप्रयोगों या बड़े सर्किट के लिए अव्यावहारिक हो जाते हैं।
    • उच्च सटीकता के लिए अवास्तविक नमूना लागत: जब शोर मजबूत होता है या "बहुत उच्च सटीकता की आवश्यकता होती है," तो उच्च-क्रम मैग्नस शोर शब्दों को ध्यान में रखने के लिए आवश्यक नमूना लागत "अवास्तविक" (पृष्ठ 10) हो सकती है।
    • भोले परत-दर-परत मिटिगेशन के लिए घातीय ओवरहेड: प्रत्येक परत को स्वतंत्र रूप से कम करने के दृष्टिकोण (जैसे, प्रत्येक परत के लिए कम किए गए विकास ऑपरेटरों को गुणा करके) के परिणामस्वरूप एक नमूना ओवरहेड होता है जो "परतों की संख्या के साथ घातीय रूप से बढ़ता है" (पृष्ठ 22)। उदाहरण के लिए, दस परतों के प्रथम-क्रम मिटिगेशन के लिए लगभग एक मिलियन ($2^{20}$) शॉट्स की आवश्यकता हो सकती है, जो अक्सर निषेधात्मक होता है।

  • डेटा-संचालित बाधाएं:

    • लौकिक शोर बहाव: क्वांटम प्रोसेसर में शोर पैरामीटर स्थिर नहीं होते हैं; वे "आमतौर पर समय के साथ भिन्न होते हैं" तापमान में उतार-चढ़ाव, आवारा विद्युत चुम्बकीय क्षेत्रों, या दो-स्तरीय प्रणाली दोषों (पृष्ठ 4, पृष्ठ 6) जैसे कारकों के कारण। चूंकि QEM प्रयोग "दर्जनों घंटे या उससे अधिक" चल सकते हैं, ये बहाव मिटिगेशन की सटीकता को महत्वपूर्ण रूप से प्रभावित कर सकते हैं (पृष्ठ 6)।
    • कैरेक्टराइजेशन-आधारित QEM के लिए आवश्यकताएं: कैरेक्टराइजेशन-आधारित विधियों को प्रभावी होने के लिए, त्रुटियां "पर्याप्त रूप से स्पष्ट होनी चाहिए ताकि उचित समय-सीमा के भीतर पर्याप्त सटीकता के साथ सीखी जा सकें," और "शोर संरचना को मापदंडों की एक छोटी संख्या का उपयोग करके वर्णित करने के लिए पर्याप्त सरल होना चाहिए" (पृष्ठ 4-5)। ये स्थितियां अक्सर पूरी नहीं होती हैं, खासकर लॉजिकल क्यूबिट्स के लिए।
    • शोरगुल वाले मिड-सर्किट मापन: व्यावहारिक क्वांटम प्रणालियों में, MCMs "अक्सर शोरगुल वाले होते हैं," जो "गलत गेट्स के निष्पादन" का कारण बन सकते हैं (पृष्ठ 15)। यह त्रुटि की एक और परत पेश करता है जिसे संबोधित करने की आवश्यकता है, जिससे डायनामिक सर्किट जटिल हो जाते हैं।

विफलता मोड (यदि इन बाधाओं को दूर नहीं किया जाता है या पिछले तरीकों का उपयोग किया जाता है):
* बिगड़ा हुआ प्रदर्शन: यदि QEM प्रोटोकॉल शोर बहाव के प्रति लचीले नहीं हैं, तो अंतिम परिणाम काफी प्रभावित होंगे, जिससे अविश्वसनीय परिणाम होंगे (पृष्ठ 4)।
* गलत परिणाम: शोर प्रवर्धन के लिए गेट प्रविष्टि जैसे तरीकों का उपयोग करना, जब शोर आदर्श यूनिटरी के साथ कम्यूट नहीं करता है, तो "गलत प्रवर्धन" और पक्षपाती परिणाम होते हैं (पृष्ठ 8, पृष्ठ 20)।
* QEC को एकीकृत करने में असमर्थता: MCMs के साथ GKIK की असंगति का मतलब है कि QEC, जो सिंड्रोम मापन के लिए MCMs पर बहुत अधिक निर्भर करता है, को निर्बाध रूप से एकीकृत नहीं किया जा सकता है, इस प्रकार समग्र त्रुटि दमन क्षमताओं को सीमित करता है (पृष्ठ 5, पृष्ठ 10)।
* अप्राप्य सटीकता: GKIK में उच्च-क्रम मैग्नस शब्दों की उपेक्षा का मतलब है कि बहुत उच्च सटीकता प्राप्त करना या मजबूत शोर को कम करना "अवास्तविक" नमूना लागतों का कारण बने बिना असंभव हो जाता है (पृष्ठ 10)।
* स्केलेबिलिटी बाधा: कई QEM विधियों का घातीय नमूना ओवरहेड, यदि संबोधित नहीं किया जाता है, तो उन्हें बड़े, अधिक जटिल क्वांटम सर्किट पर लागू करने से रोकता है, जिससे क्वांटम कंप्यूटेशन की स्केलेबिलिटी सीमित हो जाती है (पृष्ठ 3)।

यह दृष्टिकोण क्यों

चुनाव की अनिवार्यता

लेयर्ड KIK (LKIK) दृष्टिकोण क्वांटम एरर मिटिगेशन (QEM) की पिछली विधियों, जिसमें पहले सबसे आशाजनक ग्लोबल KIK (GKIK) प्रोटोकॉल भी शामिल है, की महत्वपूर्ण सीमाओं को सीधे संबोधित करके एकमात्र व्यवहार्य समाधान के रूप में उभरता है। पारंपरिक "अत्याधुनिक" (SOTA) विधियों, जैसे कि कैरेक्टराइजेशन-आधारित QEM (जैसे, संभाव्य त्रुटि रद्दीकरण, क्लिफर्ड प्रतिगमन, मशीन लर्निंग), को अपर्याप्त माना गया क्योंकि वे स्वाभाविक रूप से लौकिक शोर बहाव के प्रति संवेदनशील थे। क्वांटम प्रणालियों में शोर पैरामीटर आम तौर पर समय के साथ भिन्न होते हैं, और QEM विधियों द्वारा लगाए गए पर्याप्त नमूना ओवरहेड का मतलब है कि प्रयोग दर्जनों घंटे चल सकते हैं, जिससे ये बहाव एक महत्वपूर्ण बाधा बन जाते हैं (पृष्ठ 4, पृष्ठ 6)। इसके अलावा, कैरेक्टराइजेशन-आधारित विधियां लॉजिकल क्यूबिट्स में अपेक्षित सूक्ष्म त्रुटि दरों के साथ संघर्ष करती हैं, जिससे अव्यावहारिक रूप से लंबे कैरेक्टराइजेशन समय और क्वांटम एरर करेक्शन (QEC) आवश्यकताओं के साथ असंगति होती है (पृष्ठ 5)।

एग्नोस्टिक शोर प्रवर्धन विधियों, हालांकि अधिक बहाव-लचीले थे, ने भी महत्वपूर्ण कमियां प्रस्तुत कीं। पल्स-स्ट्रेचिंग ज़ीरो-नॉइज़ एक्सट्रपलेशन (ZNE) को जटिल कैलिब्रेशन की आवश्यकता होती है और यह ट्वर्लिंग तकनीकों के साथ असंगत है जो सुसंगत त्रुटियों को गलत तरीके से स्केल करती हैं। डिजिटल ZNE में एक मजबूत त्रुटि पूर्वाग्रह होता है जब शोर आदर्श यूनिटरी ऑपरेशन के साथ कम्यूट नहीं करता है, जो अक्सर मामला होता है। NOX, एक प्रथम-क्रम मिटिगेशन सिद्धांत होने के नाते, कमजोर शोर परिदृश्यों तक सीमित है (पृष्ठ 4)।

एडैप्टिव KIK विधि (GKIK) को बहाव-लचीले QEM और QEC एकीकरण के लिए एक मजबूत उम्मीदवार के रूप में पहचाना गया था, जो गैर-मजबूत शोर के लिए अभिसरण आश्वासन प्रदान करता है। हालांकि, GKIK में ही दो महत्वपूर्ण आंतरिक बाधाएं थीं जिन्होंने इसकी सार्वभौमिक प्रयोज्यता को रोका:
1. मिड-सर्किट मापन (MCMs) के साथ असंगति: MCMs QEC प्रोटोकॉल में सिंड्रोम मापन निष्पादित करने के लिए आवश्यक हैं। GKIK का वैश्विक फोल्डिंग दृष्टिकोण MCMs को "अनंत रूप से मजबूत शोर" के रूप में मानता है जो स्थिति को पूरी तरह से डीकोहेर करता है, जिससे उन्हें इसके ढांचे के भीतर मिटिगेट करना असंभव हो जाता है, बिना आदर्श डायनामिक सर्किट कार्यक्षमता को बदले (पृष्ठ 5, पृष्ठ 10)।
2. उच्च-क्रम मैग्नस शोर शब्दों से अवशिष्ट पूर्वाग्रह: GKIK ने उच्च-क्रम मैग्नस विस्तार सुधारों की उपेक्षा के कारण एक छोटा, फिर भी महत्वपूर्ण, पूर्वाग्रह प्रदर्शित किया। यह पूर्वाग्रह तब समस्याग्रस्त हो जाता है जब शोर मजबूत होता है या जब उच्च सटीकता की आवश्यकता होती है (पृष्ठ 5, पृष्ठ 9, पृष्ठ 10)।

लेखकों ने महसूस किया कि इन दो विशिष्ट बाधाओं को एक साथ दूर करने के लिए, KIK के महत्वपूर्ण बहाव-लचीलेपन और एग्नोस्टिक प्रकृति को बनाए रखते हुए, एक परत-आधारित अनुप्रयोग आवश्यक था। इस अहसास ने लेयर्ड KIK (LKIK) के विकास को जन्म दिया, जिसे विशेष रूप से इन मुद्दों को हल करने और वास्तव में बहाव-लचीले और पूर्वाग्रह-मुक्त QEC-QEM प्रोटोकॉल के लिए एक मार्ग खोलने के लिए डिज़ाइन किया गया है (पृष्ठ 9)।

तुलनात्मक श्रेष्ठता

लेयर्ड KIK (LKIK) ग्लोबल KIK (GKIK) सहित पिछली विधियों पर गुणात्मक श्रेष्ठता प्रदान करता है, मुख्य रूप से इसके बेहतर पूर्वाग्रह दमन और डायनामिक सर्किट के साथ अंतर्निहित संगतता के माध्यम से।

सबसे पहले, LKIK पूर्वाग्रह दमन में काफी सुधार करता है। GKIK, प्रभावी होने के बावजूद, उच्च-क्रम मैग्नस शोर शब्दों के कारण अवशिष्ट पूर्वाग्रह से ग्रस्त था (पृष्ठ 5, पृष्ठ 10)। LKIK, सर्किट को परतों में विभाजित करके और परत-दर-परत KIK प्रवर्धन लागू करके, व्यवस्थित रूप से इन उच्च-क्रम सुधारों को दबाता है। विश्लेषण से पता चलता है कि क्रॉस-लेयर कम्यूटेटर्स से योगदान (चित्र 2 में वर्ग क्षेत्रों द्वारा दर्शाया गया) समाप्त हो जाता है, और परत-विशिष्ट दूसरे-क्रम मैग्नस पद (चित्र 2 में नीले त्रिकोण) परतों की संख्या ($L$) बढ़ने के साथ नगण्य हो जाते हैं (पृष्ठ 17, पृष्ठ 18)। इससे व्यवहार में एक "पूर्वाग्रह-मुक्त" विधि बनती है, जिसका अर्थ है कि किसी भी लक्ष्य सटीकता के लिए, अवशिष्ट पूर्वाग्रह को लक्ष्य प्रयोगात्मक सटीकता से नीचे कम करने के लिए एक पर्याप्त बड़ा $L$ चुना जा सकता है (पृष्ठ 18)। मात्रात्मक रूप से, पतली परतों के लिए, अवशिष्ट त्रुटि $1/L^2$ के रूप में स्केल करती है (पृष्ठ 19, चित्र 3), जो $1/L$ मोटे बाउंड से "काफी तेज" है, जो त्रुटि में कमी में एक बेहतर संरचनात्मक लाभ प्रदर्शित करता है।

दूसरे, LKIK का डिज़ाइन स्वाभाविक रूप से मिड-सर्किट मापन (MCMs) और डायनामिक सर्किट का समर्थन करता है, जो GKIK पर एक महत्वपूर्ण संरचनात्मक लाभ है। GKIK का वैश्विक फोल्डिंग दृष्टिकोण MCMs के साथ असंगत था क्योंकि वे प्रक्षेपी संचालन का प्रतिनिधित्व करते हैं जिन्हें आदर्श सर्किट को भ्रष्ट किए बिना विश्व स्तर पर उलटा या प्रवर्धित नहीं किया जा सकता है (पृष्ठ 10)। LKIK इसे MCMs को अनस्केल्ड फ़ंक्शन के रूप में मानते हुए दूर करता है जो लेयर्ड मिटिगेशन ढांचे के भीतर कम नहीं होते हैं। यह MCMs को मिटिगेशन के बिना शामिल करने की अनुमति देता है, डायनामिक सर्किट के भीतर उनके आदर्श कार्यक्षमता को संरक्षित करता है (पृष्ठ 15, समीकरण 22, 23, चित्र 4)। यह एक महत्वपूर्ण अंतर है, क्योंकि डायनामिक सर्किट, जिसमें QEC कोड भी शामिल हैं, MCMs पर बहुत अधिक निर्भर करते हैं।

अंत में, LKIK मूल KIK प्रोटोकॉल से बहाव-लचीलेपन का मुख्य लाभ बनाए रखता है। इसका मतलब है कि यह प्रदर्शन में गिरावट के बिना, डीकोहेरेंस समय या सुसंगत त्रुटियों में परिवर्तन जैसे शोर मापदंडों में लौकिक भिन्नताओं को संभाल सकता है (पृष्ठ 4, पृष्ठ 8)। यह कैरेक्टराइजेशन-आधारित QEM विधियों पर एक महत्वपूर्ण गुणात्मक लाभ है, जो स्वाभाविक रूप से ऐसे बहावों के प्रति संवेदनशील होते हैं (पृष्ठ 4, पृष्ठ 6)। बहाव-लचीलेपन, पूर्वाग्रह-मुक्त संचालन और MCM संगतता का संयोजन LKIK को QEC के साथ QEM को एकीकृत करने और शोरगुल वाले मध्यवर्ती-स्केल क्वांटम (NISQ) युग में सामान्य डायनामिक सर्किट के लिए अत्यधिक श्रेष्ठ बनाता है।

बाधाओं के साथ संरेखण

लेयर्ड KIK (LKIK) विधि डायनामिक सर्किट के लिए मजबूत क्वांटम एरर मिटिगेशन की कठोर आवश्यकताओं के साथ पूरी तरह से संरेखित होती है, प्रभावी ढंग से समस्या की बाधाओं को समाधान के अद्वितीय गुणों के साथ जोड़ती है।

  1. डायनामिक सर्किट और मिड-सर्किट मापन (MCMs) के साथ संगतता: एक प्राथमिक बाधा यह थी कि किसी भी डायनामिक सर्किट पर लागू होने वाली QEM विधि विकसित की जाए, जिसमें MCMs वाले भी शामिल हों, जो QEC के लिए मौलिक हैं। GKIK वैश्विक फोल्डिंग दृष्टिकोण के कारण यहां विफल रहा (पृष्ठ 5, पृष्ठ 10)। LKIK की परत-आधारित प्रवर्धन योजना सीधे इसे हल करती है। व्यक्तिगत परतों पर KIK प्रवर्धन लागू करके, MCMs को अनस्केल्ड संचालन के रूप में शामिल किया जा सकता है जिन्हें कम नहीं किया जाता है, इस प्रकार डायनामिक सर्किट के भीतर उनकी आदर्श कार्यक्षमता को संरक्षित किया जाता है (पृष्ठ 15, समीकरण 22, 23)। यह एक आदर्श फिट है, जैसा कि संख्यात्मक सिमुलेशन द्वारा दिखाया गया है जिसमें LKIK यूनिटरी विकास और MCMs और फीडफॉरवर्ड वाले डायनामिक सर्किट के लिए समान रूप से अच्छा प्रदर्शन करता है (चित्र 4, पृष्ठ 21)।

  2. बहाव लचीलापन: QEM प्रोटोकॉल के लिए एक प्रमुख वांछित विशेषता शोर बहाव के प्रति लचीलापन है, जहां शोर पैरामीटर प्रयोग के दौरान भिन्न होते हैं (पृष्ठ 4)। LKIK इस महत्वपूर्ण संपत्ति को KIK प्रोटोकॉल से विरासत में मिला है। प्रयोग के निष्पादन क्रम को विशेष रूप से लौकिक शोर बहाव प्रभावों को समाप्त करने के लिए संरचित किया गया है, यह सुनिश्चित करता है कि शोर पैरामीटर में उतार-चढ़ाव होने पर भी विधि का प्रदर्शन खराब न हो (पृष्ठ 8, पृष्ठ 9)। यह सीधे यथार्थवादी, बहाव वाले क्वांटम हार्डवेयर में मज़बूती से संचालित करने की बाधा को संबोधित करता है।

  3. उच्च-क्रम शोर शब्दों का मिटिगेशन और पूर्वाग्रह-मुक्त संचालन: उच्च-सटीकता QEM के लिए एक महत्वपूर्ण बाधा उच्च-क्रम शोर शब्दों से अवशिष्ट त्रुटियों की उपस्थिति है, जिसने GKIK को त्रस्त किया (पृष्ठ 5, पृष्ठ 10)। LKIK की लेयर्ड दृष्टिकोण व्यवस्थित रूप से इन शब्दों को दबाता है। क्रॉस-लेयर कम्यूटेटर्स से योगदान को समाप्त करके और पर्याप्त परतों के साथ परत-विशिष्ट दूसरे-क्रम मैग्नस शब्दों को नगण्य बनाकर, LKIK व्यवहार में "पूर्वाग्रह-मुक्त" मिटिगेशन प्राप्त करता है (पृष्ठ 17, पृष्ठ 18)। अवशिष्ट त्रुटि पतली परतों के लिए $1/L^2$ के रूप में स्केल करती है, यह सुनिश्चित करती है कि किसी भी लक्ष्य प्रयोगात्मक सटीकता से नीचे मिटिगेशन त्रुटि को एक उपयुक्त संख्या में परतों को चुनकर कम किया जा सके (पृष्ठ 19)। यह सीधे मजबूत शोर की उपस्थिति में भी उच्च-सटीकता मिटिगेशन की आवश्यकता को संबोधित करता है।

  4. क्वांटम एरर करेक्शन (QEC) के साथ निर्बाध एकीकरण: समग्र लक्ष्य अपूर्ण QEC से गुजरने वाले सर्किट के लिए विश्वसनीय और बहाव-लचीले एरर मिटिगेशन को सक्षम करना था (पृष्ठ 3)। चूंकि QEC कोड डायनामिक सर्किट के उदाहरण हैं, इसलिए डायनामिक सर्किट और MCMs के साथ LKIK की संगतता इसे QEC के साथ निर्बाध रूप से एकीकृत करने योग्य बनाती है। यह QEC को प्रमुख स्थानीय, असंबद्ध त्रुटियों को संभालने की अनुमति देता है, जबकि LKIK अवशिष्ट त्रुटियों जैसे रिसाव, सहसंबद्ध और सुसंगत त्रुटियों को दबाता है जो QEC के लिए चुनौतीपूर्ण हैं (पृष्ठ 3, पृष्ठ 15)। यह तालमेल एक मजबूत हाइब्रिड दृष्टिकोण प्रदान करता है जो क्वांटम कंप्यूटिंग प्रयोगों की विश्वसनीयता को बढ़ाने की दृष्टि के साथ पूरी तरह से संरेखित होता है।

विकल्पों का अस्वीकरण

पत्र ने अन्य लोकप्रिय QEM दृष्टिकोणों को अस्वीकार करने के लिए स्पष्ट तर्क प्रदान किए हैं, जो डायनामिक सर्किट, बहाव लचीलेपन और उच्च-सटीकता आवश्यकताओं के संदर्भ में उनकी मौलिक सीमाओं को उजागर करते हैं।

  • कैरेक्टराइजेशन-आधारित QEM विधियां (जैसे, PEC, PEA, क्लिफर्ड प्रतिगमन, मशीन लर्निंग): इन विधियों को स्पष्ट रूप से "लौकिक शोर बहाव के प्रति उनकी अंतर्निहित संवेदनशीलता" (पृष्ठ 4, पृष्ठ 6) के कारण अस्वीकार कर दिया गया था। क्वांटम प्रणालियों में शोर पैरामीटर स्थिर नहीं होते हैं; वे QEM प्रयोगों के लंबे रनटाइम के दौरान काफी भिन्न हो सकते हैं, जिससे कैरेक्टराइजेशन-आधारित दृष्टिकोण अविश्वसनीय हो जाते हैं क्योंकि सीखा गया शोर मॉडल जल्दी से पुराना हो जाता है। इसके अलावा, लॉजिकल क्यूबिट्स पर इन विधियों को लागू करना, जहां त्रुटियां सूक्ष्म होने की उम्मीद है, "समय लेने वाली उच्च-सटीकता शोर कैरेक्टराइजेशन" की आवश्यकता होगी जो अव्यावहारिक हैं (पृष्ठ 5)। वे इन कैरेक्टराइजेशन आवश्यकताओं के कारण QEC एकीकरण के लिए भी चुनौतियां पेश करते हैं।

  • ज़ीरो-नॉइज़ एक्सट्रपलेशन (ZNE) विधियां (जैसे, पल्स-स्ट्रेचिंग ZNE, डिजिटल ZNE, NOX):

    • पल्स-स्ट्रेचिंग ZNE को समस्याग्रस्त माना गया क्योंकि इसे "सावधानीपूर्वक नियंत्रण और कैलिब्रेशन प्रक्रियाओं की आवश्यकता होती है" और "ट्वर्लिंग तकनीकों के साथ पूरी तरह से संगत नहीं है... क्योंकि स्ट्रेचिंग सुसंगत त्रुटियों को गलत तरीके से स्केल करती है" (पृष्ठ 4)। यह इसकी व्यावहारिक प्रयोज्यता और कुछ शोर प्रकारों के लिए प्रभावशीलता को सीमित करता है।
    • डिजिटल ZNE में "किसी भी मिटिगेशन ऑर्डर पर एक मजबूत त्रुटि पूर्वाग्रह होता है जब शोर आदर्श यूनिटरी के साथ कम्यूट नहीं करता है - जो आमतौर पर मामला होता है" (पृष्ठ 4)। पत्र स्पष्ट रूप से कहता है कि "डिजिटल शोर प्रवर्धन केवल उन असामान्य मामलों में सही है जहां शोर आदर्श गेट के साथ कम्यूट करता है" (पृष्ठ 7), जिससे यह आम तौर पर अनुपयुक्त हो जाता है।
    • NOX को उच्च-सटीकता या मजबूत शोर परिदृश्यों के लिए अस्वीकार कर दिया गया था क्योंकि यह "एक प्रथम-क्रम मिटिगेशन सिद्धांत है, और इसलिए यह कमजोर शोर परिदृश्यों तक सीमित है" (पृष्ठ 4)।

  • शुद्धिकरण विधियां: इन दृष्टिकोणों पर विचार किया गया लेकिन उन्हें खारिज कर दिया गया क्योंकि वे "हार्डवेयर ओवरहेड को शामिल करते हैं और सीमित शोर मॉडल तक सीमित हैं" (पृष्ठ 6)। लक्ष्य अतिरिक्त हार्डवेयर ओवरहेड और व्यापक प्रयोज्यता के बिना एक विधि थी।

  • ग्लोबल KIK (GKIK): जबकि GKIK बहाव-लचीले QEM के लिए एक मजबूत उम्मीदवार था, इसे अंततः दो महत्वपूर्ण दोषों के कारण अंतिम समाधान के रूप में अस्वीकार कर दिया गया (पृष्ठ 5, पृष्ठ 9, पृष्ठ 10):

    1. मिड-सर्किट मापन (MCMs) के साथ असंगति: GKIK का वैश्विक फोल्डिंग तंत्र MCMs को ठीक से संभाल नहीं सकता है, जो डायनामिक सर्किट और QEC सिंड्रोम मापन के लिए आवश्यक हैं। MCMs "अनंत रूप से मजबूत शोर" के रूप में कार्य करते हैं जिन्हें आदर्श सर्किट को भ्रष्ट किए बिना वैश्विक फोल्डिंग ढांचे के भीतर वर्णित नहीं किया जा सकता है (पृष्ठ 10)।
    2. उच्च-क्रम मैग्नस शोर शब्दों से अवशिष्ट पूर्वाग्रह: GKIK ने एक छोटा, लगातार पूर्वाग्रह प्रदर्शित किया जो मजबूत शोर के लिए या जब बहुत उच्च सटीकता की आवश्यकता होती है तो महत्वपूर्ण हो जाता है (पृष्ठ 10)। इस सीमा का मतलब था कि यह वास्तव में पूर्वाग्रह-मुक्त मिटिगेशन प्राप्त नहीं कर सका।

लेयर्ड KIK दृष्टिकोण को विशेष रूप से इन सभी मौजूदा विकल्पों की पहचानी गई कमियों को दूर करने के लिए विकसित किया गया था, जो अतिरिक्त हार्डवेयर ओवरहेड के बिना एक बहाव-लचीला, पूर्वाग्रह-मुक्त और डायनामिक सर्किट-संगत QEM समाधान प्रदान करता है।

Figure 2. Local contributions to the global Ω2. (a) & (b) The performance of the global KIK introduced in [61] is limited by the second-order Magnus term of the entire circuit, ΩG 2 . ΩG 2 is calculated using a double integral whose inte- gration domain is depicted by the big triangle in (a). τ is the time duration of the unmitigated circuit. The same circuit can be described as a sequence of L consecutive layers (L = 4 in (a)). As a result, ΩG 2 can be divided into two different types of contributions: i) the blue triangles that arise from the Ω2 of each layer, and ii) the orange squares which originate from the Ω1 commutator of different layers. Crucially, we show that in the layered KIK protocol, the contribution of the squares is eliminated, leaving only the blue triangles con- tribution. Furthermore, as the layers get thinner (b), the contribution of the blue triangles becomes negligible. From this argument one can derive an upper bound on the LKIK mitigation error that scales as 1/L. Interestingly, when the layers are sufficiently thin, we find a tighter error bound that scales as 1/L2. As such, LKIK is bias-free in practice, since it is always possible to choose a sufficiently large L that guarantees that the residual mitigation error remains below the target experimental accuracy

गणितीय और तार्किक तंत्र

मास्टर समीकरण

इस पत्र में प्रस्तुत लेयर्ड KIK (LKIK) क्वांटम एरर मिटिगेशन विधि का मुख्य गणितीय इंजन, रैखिक रूप से प्रवर्धित शोरगुल वाले सर्किट के रैखिक संयोजन का निर्माण करके एक कम किए गए विकास ऑपरेटर के निर्माण के आसपास घूमता है। $L$ परतों और मिटिगेशन ऑर्डर $M$ तक के लिए सामान्यीकृत, LKIK कम किए गए विकास ऑपरेटर के लिए केंद्रीय समीकरण दिया गया है:

$$ K_{\text{mit,LKIK}}^{(M)} = \sum_{j=0}^M a_j^{(M)} \prod_{l=1}^L K_l(K_l^I K_l)^j $$

एक बार जब यह कम किया गया ऑपरेटर बन जाता है, तो प्रारंभिक अवस्था $\rho_0$ पर एक अवलोकन $A$ के लिए अंतिम कम किया गया अपेक्षा मान प्राप्त किया जाता है:

$$ A_{\text{mit}}^{(M)} = \sum_{j=0}^M a_j^{(M)} \langle A | \left( \prod_{l=1}^L K_l(K_l^I K_l)^j \right) | \rho_0 \rangle $$

पद-दर-पद विच्छेदन

आइए प्रत्येक घटक को समझने के लिए इन समीकरणों को विच्छेदित करें:

  • $K_{\text{mit,LKIK}}^{(M)}$: यह लेयर्ड KIK कम किया गया विकास ऑपरेटर है, जिसका ऑर्डर $M$ है।

    • गणितीय परिभाषा: यह प्रवर्धित शोरगुल वाले परत ऑपरेटरों के उत्पादों के रैखिक संयोजन है।
    • भौतिक/तार्किक भूमिका: यह ऑपरेटर आदर्श, शोर-मुक्त विकास ऑपरेटर $U$ का सबसे अच्छा अनुमान है, जो LKIK मिटिगेशन प्रोटोकॉल लागू करने के बाद है। इसका लक्ष्य क्वांटम सर्किट में मौजूद शोर को प्रभावी ढंग से "पूर्ववत" करना है।
    • योग क्यों: योग का उपयोग शोर चैनल के व्युत्क्रम के बहुपद सन्निकटन बनाने के लिए किया जाता है। योग में प्रत्येक पद उच्च-क्रम सुधार में योगदान देता है, जिससे $M$ बढ़ने पर अधिक सटीक मिटिगेशन की अनुमति मिलती है।

  • $M$: यह मिटिगेशन ऑर्डर को दर्शाता है।

    • गणितीय परिभाषा: एक पूर्णांक जो रैखिक संयोजन में शामिल शोर प्रवर्धन की उच्चतम शक्ति का प्रतिनिधित्व करता है।
    • भौतिक/तार्किक भूमिका: एक उच्च $M$ का अर्थ है व्युत्क्रम शोर चैनल का अधिक परिष्कृत बहुपद सन्निकटन, जिससे बेहतर त्रुटि मिटिगेशन हो सकता है लेकिन नमूना ओवरहेड भी बढ़ सकता है।

  • $a_j^{(M)}$: ये रैखिक संयोजन के लिए गुणांक हैं।

    • गणितीय परिभाषा: वास्तविक संख्याएं, आमतौर पर एक टेलर विस्तार (समीकरण 4 में टेलर गुणांक) से प्राप्त या L2 मानदंड को कम करके अनुकूल रूप से निर्धारित (संदर्भ [61] में अनुकूली गुणांक) की जाती हैं।
    • भौतिक/तार्किक भूमिका: ये गुणांक यह सुनिश्चित करने के लिए महत्वपूर्ण हैं कि प्रवर्धित शोरगुल वाले सर्किट के रैखिक संयोजन प्रभावी रूप से आदर्श, शोर-मुक्त विकास को अनुमानित करते हैं। उन्हें एक निश्चित क्रम तक शोर शब्दों को रद्द करने के लिए डिज़ाइन किया गया है। पत्र मुख्य रूप से टेलर गुणांकों पर केंद्रित है, जो विश्लेषणात्मक रूप से व्युत्पन्न होते हैं और सीखे नहीं जाते हैं।
    • जोड़ क्यों: गुणांक जोड़े जाते हैं क्योंकि वे एक रैखिक संयोजन बनाते हैं, जो बहुपद सन्निकटन के लिए गणितीय संरचना है।

  • $\prod_{l=1}^L$: यह परतों पर उत्पाद का प्रतिनिधित्व करता है।

    • गणितीय परिभाषा: ऑपरेटरों का एक अनुक्रमिक संयोजन, $l=1$ से $L$ तक क्रमबद्ध।
    • भौतिक/तार्किक भूमिका: यह दर्शाता है कि क्वांटम सर्किट को $L$ अलग, गैर-ओवरलैपिंग "परतों" में विभाजित किया गया है। समग्र सर्किट विकास इन परत विकासों के अनुक्रमिक अनुप्रयोग है। उत्पाद यह सुनिश्चित करता है कि संचालन के समय-क्रम का सम्मान किया जाए, जो क्वांटम यांत्रिकी में महत्वपूर्ण है।

  • $K_l$: यह परत $l$ के लिए शोरगुल वाला विकास ऑपरेटर है।

    • गणितीय परिभाषा: एक ऑपरेटर (लियूविल स्पेस में) जो $l$-वें परत के वास्तविक, अपूर्ण क्वांटम विकास का वर्णन करता है, जिसमें आदर्श यूनिटरी ऑपरेशन और शोर दोनों शामिल हैं।
    • भौतिक/तार्किक भूमिका: यह शोरगुल वाले सर्किट का मौलिक निर्माण खंड है। यह वह है जिससे हम त्रुटियों को कम करने की कोशिश कर रहे हैं।

  • $K_l^I$: यह $K_l$ का पल्स-व्युत्क्रम है।

    • गणितीय परिभाषा: परत $l$ के लिए प्रभावी इंटरैक्शन हैमिल्टनियन के शेड्यूल को उलटने और उसके संकेत को उलटने से प्राप्त एक ऑपरेटर।
    • भौतिक/तार्किक भूमिका: पल्स-व्युत्क्रम KIK प्रोटोकॉल का एक महत्वपूर्ण घटक है। इसे $K_l$ के आदर्श भाग को "पूर्ववत" करने के लिए डिज़ाइन किया गया है, जबकि नियंत्रित तरीके से शोर को संरक्षित या प्रवर्धित किया जाता है। यह शोर-प्रवर्धित सर्किट के निर्माण की अनुमति देता है।

  • $(K_l^I K_l)^j$: यह पद परत $l$ के लिए प्रवर्धित शोर का प्रतिनिधित्व करता है, प्रवर्धन कारक $j$ पर।

    • गणितीय परिभाषा: ऑपरेटर $K_l^I K_l$ को $j$ बार लागू किया गया।
    • भौतिक/तार्किक भूमिका: $K_l^I K_l$ का उत्पाद इस तरह से डिज़ाइन किया गया है कि इसका आदर्श भाग पहचान है, लेकिन इसका शोरगुल वाला हिस्सा प्रवर्धित होता है। इसे $j$ बार दोहराने से शोर और प्रवर्धित होता है। यह नियंत्रित प्रवर्धन त्रुटि मिटिगेशन-आधारित शोर प्रवर्धन का मूल विचार है।

  • $\langle A | \cdot | \rho_0 \rangle$: यह एक अवलोकन के अपेक्षा मान को दर्शाता है।

    • गणितीय परिभाषा: लियूविल स्पेस में, एक ऑपरेटर $O$ के लिए, अपेक्षा मान $\text{Tr}[A \cdot O(\rho_0)]$ है, जहां $A$ अवलोकन है और $\rho_0$ प्रारंभिक अवस्था है। $\langle A | O | \rho_0 \rangle$ संकेतन इसे व्यक्त करने का एक संक्षिप्त तरीका है।
    • भौतिक/तार्किक भूमिका: यह एक क्वांटम प्रयोग में रुचि की अंतिम मात्रा है - माप का औसत मूल्य। मिटिगेशन का लक्ष्य इस मान को वास्तविक, शोर-मुक्त अपेक्षा मान के जितना संभव हो उतना करीब बनाना है।

चरण-दर-चरण प्रवाह

कल्पना कीजिए कि एक क्वांटम गणना एक जटिल मशीन है, और LKIK एक परिष्कृत मरम्मत और अंशांकन प्रक्रिया है। यहाँ एक एकल अमूर्त डेटा बिंदु (क्वांटम स्थिति का प्रतिनिधित्व) इस तंत्र के माध्यम से कैसे प्रवाहित होता है:

  1. सर्किट विघटन: सबसे पहले, मूल, पूर्ण क्वांटम सर्किट, जो एक वांछित गणना करता है लेकिन स्वाभाविक रूप से शोरगुल वाला है, को वैचारिक रूप से $L$ छोटे, अनुक्रमिक "परतों" ($K_1, K_2, \dots, K_L$) में तोड़ा जाता है। प्रत्येक परत $K_l$ स्वयं एक शोरगुल वाला ऑपरेशन है।

  2. परत-विशिष्ट शोर प्रवर्धन: प्रत्येक व्यक्तिगत परत $K_l$ के लिए, प्रोटोकॉल "प्रवर्धित" संस्करणों की एक श्रृंखला उत्पन्न करता है। इसमें एक विशेष "पल्स-व्युत्क्रम" सर्किट, $K_l^I$, बनाना शामिल है जो $K_l$ के आदर्श भाग को प्रभावी ढंग से उलटने के लिए डिज़ाइन किया गया है। फिर, प्रत्येक परत $l$ और विभिन्न प्रवर्धन कारकों $j$ (0 से $M$ तक) के लिए, एक शोर-प्रवर्धित ब्लॉक $(K_l^I K_l)^j$ का निर्माण किया जाता है। जब $j=0$ होता है, तो यह ब्लॉक केवल पहचान होता है। जब $j=1$ होता है, तो यह $K_l^I K_l$ होता है, और इसी तरह। मुख्य बात यह है कि $K_l^I K_l$ शोर को प्रवर्धित करता है जबकि आदर्श यूनिटरी कार्यक्षमता को बनाए रखता है।

  3. प्रवर्धित पूर्ण सर्किट में पुन: संयोजन: अगला, प्रत्येक मिटिगेशन ऑर्डर $j$ के लिए, एक पूर्ण, पूर्ण-लंबाई वाला क्वांटम सर्किट फिर से जोड़ा जाता है। यह पुन: संयोजित सर्किट प्रत्येक परत $l$ के लिए, उसके शोर-प्रवर्धन ब्लॉक $(K_l^I K_l)^j$ के साथ मूल शोरगुल वाली परत $K_l$ को जोड़कर बनता है। किसी दिए गए $j$ के लिए पूर्ण सर्किट $K_L(K_L^I K_L)^j \dots K_2(K_2^I K_2)^j K_1(K_1^I K_1)^j$ जैसा दिखता है। यह प्रक्रिया $M+1$ अलग-अलग पूर्ण सर्किट उत्पन्न करती है, प्रत्येक में सभी परतों में शोर प्रवर्धन का एक अलग स्तर होता है।

  4. निष्पादन और मापन: इन $M+1$ विशेष रूप से निर्मित सर्किटों में से प्रत्येक को क्वांटम कंप्यूटर पर निष्पादित किया जाता है, जो प्रारंभिक अवस्था $\rho_0$ से शुरू होता है। प्रत्येक निष्पादन के लिए, अवलोकन $A$ का अपेक्षा मान मापा जाता है। यह कच्चे, शोरगुल वाले अपेक्षा मानों का एक सेट उत्पन्न करता है, $A_0^{\text{raw}}, A_1^{\text{raw}}, \dots, A_M^{\text{raw}}$।

  5. पोस्ट-प्रोसेसिंग (रैखिक संयोजन): अंत में, इन कच्चे अपेक्षा मानों को एक शास्त्रीय कंप्यूटर में फीड किया जाता है। यहां, उन्हें पूर्व-निर्धारित गुणांकों के एक सेट, $a_j^{(M)}$ का उपयोग करके संयोजित किया जाता है। अंतिम कम किया गया अपेक्षा मान, $A_{\text{mit}}^{(M)}$, एक भारित योग के रूप में गणना की जाती है: $A_{\text{mit}}^{(M)} = \sum_{j=0}^M a_j^{(M)} A_j^{\text{raw}}$। यह रैखिक संयोजन एक फिल्टर के रूप में कार्य करता है, जो प्रवर्धित शोर शब्दों को रद्द करके वास्तविक, शोर-मुक्त अपेक्षा मान का एक बेहतर अनुमान प्रदान करता है।

अनुकूलन गतिशीलता

लेयर्ड KIK (LKIK) में "अनुकूलन" एक निरंतर, पुनरावृत्तीय सीखने की प्रक्रिया नहीं है, जो विशिष्ट मशीन लर्निंग अर्थ में है, बल्कि अभिसरण और पूर्वाग्रह कमी के लिए डिज़ाइन की गई एक रणनीतिक निर्माण और पोस्ट-प्रोसेसिंग योजना है।

  1. शोर व्युत्क्रम के लिए बहुपद सन्निकटन: मूल विचार शोर चैनल के व्युत्क्रम, $N^{-1}$, को बहुपद विस्तार का उपयोग करके अनुमानित करना है। गुणांक $a_j^{(M)}$ को इस तरह से चुना जाता है कि रैखिक संयोजन $\sum_{j=0}^M a_j^{(M)} N^{2j}$ प्रभावी रूप से $N^{-1}$ का अनुमान लगाता है। इस पत्र के दायरे के लिए, ये गुणांक मुख्य रूप से टेलर गुणांक हैं, जो विश्लेषणात्मक रूप से व्युत्पन्न होते हैं (समीकरण 4) $x^{-1}$ के टेलर विस्तार से $x=1$ के आसपास। इसलिए, इस विशिष्ट कार्य के भीतर इन गुणांकों का कोई "सीखना" या पुनरावृत्तीय अद्यतन नहीं है। मिटिगेशन ऑर्डर $M$ चुने जाने के बाद गुणांक निश्चित होते हैं।

  2. मिटिगेशन ऑर्डर ($M$) के माध्यम से अभिसरण: मिटिगेशन की सटीकता मिटिगेशन ऑर्डर $M$ बढ़ने के साथ सुधरती है। एक उच्च $M$ का अर्थ है व्युत्क्रम शोर चैनल के लिए एक उच्च-डिग्री बहुपद सन्निकटन, जो अधिक जटिल या उच्च-क्रम शोर शब्दों को रद्द कर सकता है। इससे एक अधिक सटीक कम किया गया अपेक्षा मान प्राप्त होता है, जो आदर्श मान की ओर अभिसरण करता है। हालांकि, $M$ बढ़ाने से नमूना ओवरहेड भी बढ़ जाता है, क्योंकि अधिक सर्किट निष्पादित करने की आवश्यकता होती है।

  3. परत ($L$) के माध्यम से पूर्वाग्रह में कमी: LKIK का एक प्रमुख नवाचार सर्किट को $L$ परतों में विभाजित करके अवशिष्ट पूर्वाग्रह को महत्वपूर्ण रूप से कम करने की इसकी क्षमता है। पत्र दर्शाता है कि अग्रणी-क्रम पूर्वाग्रह पद, दूसरे-क्रम मैग्नस पद $\Omega_2$ से संबंधित, पर्याप्त पतली परतों के लिए $1/L^2$ के रूप में स्केल करता है (समीकरण 34)। इसका मतलब है कि सर्किट को अधिक परतों में विभाजित करके, मिटिगेशन विधि के अंतर्निहित पूर्वाग्रह को मनमाने ढंग से छोटा बनाया जा सकता है, जिससे प्रोटोकॉल व्यवहार में "पूर्वाग्रह-मुक्त" हो जाता है, जिसके लिए पर्याप्त रूप से बड़ा $L$ होता है। यह एक महत्वपूर्ण अभिसरण तंत्र है जो $M$ बढ़ाने से अलग है।

  4. बहाव लचीलापन तंत्र: प्रोटोकॉल को लौकिक शोर बहाव के प्रति लचीला होने के लिए डिज़ाइन किया गया है। यह प्रयोग को इस तरह से संरचित करके प्राप्त किया जाता है कि कुल माप शॉट्स की संख्या को कई सेटों में विभाजित किया जाता है। प्रत्येक सेट के भीतर, सभी $M+1$ प्रवर्धित सर्किट (एक दिए गए $M$ के लिए) निष्पादित किए जाते हैं। यह सुनिश्चित करता है कि प्रयोग के दौरान होने वाला कोई भी शोर बहाव प्रत्येक सेट के भीतर सभी सर्किट को समान रूप से प्रभावित करता है। पोस्ट-प्रोसेसिंग चरण में रैखिक संयोजन (योग) फिर प्रत्येक सेट से इस सामान्य बहाव-प्रेरित पूर्वाग्रह को प्रभावी ढंग से रद्द कर देता है। कई ऐसे सेटों पर कम किए गए परिणामों का औसत लेने से विचरण और कम हो जाता है, जिससे एक मजबूत, बहाव-लचीला परिणाम प्राप्त होता है। यह समय-परिवर्तनीय शोर को बिना कैरेक्टराइजेशन की आवश्यकता के संभालने का एक चतुर तरीका है।

संक्षेप में, LKIK तंत्र इस अर्थ में "सीखता है" कि इसके गुणांक एक व्युत्क्रम फ़ंक्शन का अनुमान लगाने के लिए पूर्व-गणना किए जाते हैं, और यह $M$ के इस सन्निकटन के क्रम को बढ़ाकर और सर्किट लेयरिंग ($L$) के माध्यम से आंतरिक पूर्वाग्रह को कम करके "अभिसरण" करता है। विधि की मजबूती इसके अंतर्निहित बहाव लचीलेपन द्वारा और मजबूत होती है, जो इसके निष्पादन प्रोटोकॉल की एक संरचनात्मक संपत्ति है, न कि एक पुनरावृत्तीय अनुकूलन।

परिणाम, सीमाएं और निष्कर्ष

प्रयोगात्मक डिजाइन और बेसलाइन

लेखकों ने मुख्य रूप से संख्यात्मक सिमुलेशन के माध्यम से अपने लेयर्ड KIK (LKIK) दृष्टिकोण को कठोरता से मान्य किया, जिसमें विशिष्ट पहलुओं के लिए साथी प्रयोगात्मक कार्य का संदर्भ दिया गया। उनके गणितीय दावों को साबित करने के लिए मुख्य प्रयोगात्मक वास्तुकला में ग्लोबल KIK (GKIK) विधि की तुलना में LKIK की तुलना शामिल थी, जो प्राथमिक बेसलाइन के रूप में कार्य करती है।

मुख्य तुलना के लिए, चित्र 1 में दर्शाए अनुसार चार-क्यूबिट सिमुलेशन का उपयोग किया गया था। प्रयोग को कम किए गए अपेक्षा मान और आदर्श मान के बीच अंतर $\Delta(A)$ को मापना था, जिसे मिटिगेशन ऑर्डर $M$ के विरुद्ध प्लॉट किया गया था। ऑर्डर $M=0$ कोई मिटिगेशन नहीं दर्शाता था। दो शोर शक्ति मापदंडों का परीक्षण किया गया: $\xi = 0.02$ के साथ एक कमजोर शोर परिदृश्य (चित्र 1a) और $\xi = 0.2$ के साथ एक मजबूत शोर परिदृश्य (चित्र 1b)। आदर्श अपेक्षा मान लगभग $0.025$ पर सेट किया गया था। इस तुलना में "पीड़ित" GKIK (जिसे "1 लेयर (GKIK)" के रूप में दर्शाया गया है) और विभिन्न परतों की संख्या (2, 4, 10, 20 परतें) के साथ LKIK थे। इस सेटअप ने विभिन्न शोर स्थितियों के तहत LKIK में परतों की संख्या बढ़ाने से मिटिगेशन प्रदर्शन पर कैसे प्रभाव पड़ा, इसकी सीधी तुलना की अनुमति दी।

अवशिष्ट त्रुटि के स्केलिंग को विशेष रूप से प्रदर्शित करने के लिए, चित्र 3 ने चित्र 1a में समान चार-क्यूबिट सर्किट के लिए एक संख्यात्मक प्रयोग प्रस्तुत किया, लेकिन इस बार सात के मिटिगेशन ऑर्डर के लिए त्रुटि को परतों की संख्या $L$ के फलन के रूप में प्लॉट किया गया। यह पतली परतों के लिए $1/L^2$ त्रुटि निर्भरता की सैद्धांतिक भविष्यवाणी को सत्यापित करने के लिए महत्वपूर्ण था।

इसके अलावा, पत्र ने डायनामिक सर्किट के साथ LKIK की संगतता को संबोधित किया, जो एक प्रमुख लाभ है। चित्र 4 ने डायनामिक सर्किट (मिड-सर्किट मापन और फीडफॉरवर्ड को शामिल करते हुए) के लिए LKIK मिटिगेशन की तुलना एक गैर-डायनामिक, यूनिटरी विकास सर्किट के साथ एक संख्यात्मक सिमुलेशन को दर्शाया। दोनों परिदृश्यों में 10 परतें और $\xi = 0.1$ का शोर पैरामीटर उपयोग किया गया था। इस प्रयोग का उद्देश्य निश्चित रूप से दिखाना था कि LKIK जटिल डायनामिक सेटिंग्स में समान रूप से अच्छा प्रदर्शन करता है, जहां GKIK पहले मिड-सर्किट मापन के साथ असंगति के कारण विफल रहा था।

जबकि यह पत्र मुख्य रूप से LKIK के लिए संख्यात्मक साक्ष्य और विश्लेषणात्मक व्युत्पत्तियों पर केंद्रित है, यह अपने "तरीके" अनुभाग में अंतर्निहित KIK सिद्धांतों के दो प्रयोगात्मक प्रदर्शनों का संदर्भ देता है। पूरक नोट 1 एक फंसे हुए आयन क्वांटम कंप्यूटर (IBEX - AQT) पर एक प्रयोग का वर्णन करता है जिसने KIK विधि के बहाव लचीलेपन का प्रदर्शन किया, कृत्रिम रूप से एक $R_{xx}(\pi/2)$ गेट सर्किट में लौकिक ओवर-रोटेशन प्रेरित करके। पूरक नोट 2 ने IBM सुपरकंडक्टिंग डिवाइस (ibm_jakarta) पर एक प्रयोग का विवरण दिया जिसने गेट प्रविष्टि से उत्पन्न गलत शोर प्रवर्धन के मुद्दों को सत्यापित किया, एक समस्या जिसे LKIK हल करने का लक्ष्य रखता है। डायनामिक क्वांटम सर्किट में त्रुटियों को कम करने में LKIK की प्रभावशीलता का प्रयोगात्मक सत्यापन स्पष्ट रूप से एक साथी पत्र [62] में प्रस्तुत किया जाना है।

साक्ष्य क्या साबित करता है

इस पत्र में प्रस्तुत संख्यात्मक साक्ष्य ग्लोबल KIK (GKIK) और अन्य महत्वपूर्ण क्वांटम एरर मिटिगेशन (QEM) योजनाओं की कई महत्वपूर्ण सीमाओं को संबोधित करते हुए, लेयर्ड KIK (LKIK) के लाभों के लिए सम्मोहक प्रमाण प्रदान करते हैं।

सबसे पहले, चित्र 1 में सिमुलेशन निर्विवाद रूप से प्रदर्शित करते हैं कि LKIK कम किए गए अपेक्षा मान के विचलन को कम करने में GKIK से काफी बेहतर प्रदर्शन करता है। कमजोर ($\xi = 0.02$) और मजबूत ($\xi = 0.2$) दोनों शोर परिदृश्यों में, LKIK में परतों की संख्या बढ़ाने से कम किए गए अपेक्षा मान के विचलन में काफी कमी आती है। उदाहरण के लिए, चित्र 1a में, $\xi = 0.02$ के साथ, GKIK (1 परत) $10^{-3}$ के आसपास एक त्रुटि पर स्थिर हो जाता है, जबकि 20 परतों के साथ LKIK उच्च मिटिगेशन ऑर्डर पर $10^{-5}$ से नीचे की त्रुटि प्राप्त करता है। यह निश्चित प्रमाण है कि परत-आधारित शोर प्रवर्धन तंत्र प्रभावी ढंग से उन त्रुटियों को दबाता है जिन्हें GKIK कम नहीं कर सका। चित्र 1 में धराशायी रेखाएं, लेयर्ड KIK सूत्र (समीकरण 30) की भविष्यवाणी का प्रतिनिधित्व करती हैं, सिमुलेशन परिणामों के साथ अच्छी तरह से संरेखित होती हैं, जिससे अंतर्निहित गणितीय मॉडल और मान्य होता है।

दूसरे, पत्र पर्याप्त परतों के साथ LKIK के पूर्वाग्रह-मुक्त प्रकृति के लिए मजबूत सबूत प्रदान करता है। चित्र 3, जो सात के मिटिगेशन ऑर्डर के लिए त्रुटि को परतों की संख्या $L$ के फलन के रूप में प्लॉट करता है, स्पष्ट रूप से दिखाता है कि त्रुटि $1/L^2$ के रूप में स्केल करती है। लाल डॉट्स (सिमुलेशन परिणाम) को ग्रे $1/L^2$ वक्र में फिट करने की उत्कृष्ट गुणवत्ता सैद्धांतिक भविष्यवाणी (समीकरण 34) की पुष्टि करती है। यह स्केलिंग एक महत्वपूर्ण गणितीय दावा है, जो साबित करता है कि जैसे-जैसे सर्किट को अधिक परतों में विभाजित किया जाता है, उच्च-क्रम मैग्नस शोर शब्दों से अवशिष्ट पूर्वाग्रह तेजी से कम होता जाता है, जिससे LKIK व्यवहार में पूर्वाग्रह-मुक्त हो जाता है। यह सीधे GKIK की एक प्रमुख सीमा को संबोधित करता है, जो उच्च-क्रम मैग्नस शब्दों की उपेक्षा के कारण छोटे अवशिष्ट त्रुटियों से ग्रस्त था।

तीसरे, मिड-सर्किट मापन (MCM) और फीडफॉरवर्ड सहित डायनामिक सर्किट के साथ LKIK की संगतता एक महत्वपूर्ण सफलता है। चित्र 4 दर्शाता है कि LKIK डायनामिक सर्किट (नीला वक्र) और एक गैर-डायनामिक, यूनिटरी विकास सर्किट (हरा वक्र) के लिए समान रूप से अच्छा प्रदर्शन करता है। दोनों मामलों में, त्रुटि $\Delta(A)$ मिटिगेशन ऑर्डर बढ़ने के साथ शून्य के करीब पहुंचती है। यह एक कठिन प्रमाण है कि LKIK MCMs के साथ GKIK की असंगति को दूर करता है, जो क्वांटम एरर करेक्शन (QEC) प्रोटोकॉल के लिए आवश्यक हैं। यह LKIK को जटिल, वास्तविक दुनिया की क्वांटम गणनाओं के लिए एक व्यवहार्य QEM विधि बनाता है।

अंत में, जबकि इस पत्र में नए प्रयोगात्मक परिणामों में सीधे तौर पर नहीं दिखाया गया है, पाठ इस बात पर जोर देता है कि LKIK मूल KIK प्रोटोकॉल के बहाव लचीलेपन को विरासत में मिला है, जैसा कि पूरक नोट 1 में प्रदर्शित किया गया है। इसका मतलब है कि विधि का प्रदर्शन लौकिक शोर पैरामीटर में भिन्नताओं के प्रति मजबूत है, जो लंबे समय तक चलने वाले क्वांटम प्रयोगों के लिए एक महत्वपूर्ण विशेषता है। पूर्वाग्रह-मुक्त संचालन, डायनामिक सर्किट संगतता और बहाव लचीलेपन का संयोजन LKIK को NISQ युग और उससे आगे के लिए विश्वसनीय क्वांटम कंप्यूटिंग को एकीकृत करने के लिए एक शक्तिशाली और बहुमुखी QEM दृष्टिकोण बनाता है।

सीमाएं और भविष्य की दिशाएं

जबकि लेयर्ड KIK (LKIK) प्रोटोकॉल क्वांटम एरर मिटिगेशन में एक महत्वपूर्ण प्रगति प्रस्तुत करता है, इसकी वर्तमान सीमाओं को स्वीकार करना और भविष्य के विकास के लिए दिशाओं पर विचार करना महत्वपूर्ण है।

एक तत्काल सीमा यह है कि यह पांडुलिपि एक "ARTICLE IN PRESS" है, जिसका अर्थ है कि यह एक अन संपादित संस्करण है और इसमें त्रुटियां हो सकती हैं। तकनीकी दृष्टिकोण से, जबकि LKIK को बहाव-लचीला और पूर्वाग्रह-मुक्त होने के लिए डिज़ाइन किया गया है, पल्स-आधारित व्युत्क्रम प्रोटोकॉल (KIK घटक) पर इसकी निर्भरता सभी क्वांटम कंप्यूटिंग प्लेटफार्मों और गेट प्रकारों में सार्वभौमिक रूप से सीधी नहीं हो सकती है। विशेष रूप से, पत्र नोट करता है कि निश्चित या ट्यून करने योग्य कपलर चरण गेट्स [72] के लिए पल्स-व्युत्क्रम को लागू करना "कम सीधा" है। यह बताता है कि हार्डवेयर-स्तरीय नियंत्रण और अंशांकन व्यापक प्रयोज्यता के लिए एक व्यावहारिक चुनौती बने हुए हैं।

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

इसके अलावा, LKIK के लिए $1/L^2$ की सैद्धांतिक त्रुटि स्केलिंग "पर्याप्त पतली, समान रूप से दूरी वाली परतों" की धारणा पर निर्भर करती है। जबकि पत्र दिखाता है कि एकरूपता से विचलन मोटे $1/L$ बाउंड को थोड़ा प्रभावित करते हैं, इष्टतम $1/L^2$ स्केलिंग को व्यवहार में प्राप्त करने के लिए सावधानीपूर्वक सर्किट अपघटन और पल्स-स्तरीय नियंत्रण की आवश्यकता हो सकती है। डायनामिक सर्किट के लिए LKIK के प्रयोगात्मक सत्यापन, जैसा कि उल्लेख किया गया है, मुख्य रूप से एक साथी पत्र [62] में है, जिसका अर्थ है कि इस पत्र के भीतर सभी दावों के लिए प्रत्यक्ष प्रयोगात्मक साक्ष्य पूरी तरह से विस्तृत नहीं हैं।

आगे देखते हुए, कई रोमांचक चर्चा विषय और अनुसंधान दिशाएं उभरती हैं:

  1. गहरा QEC-QEM एकीकरण: मिड-सर्किट मापन के साथ LKIK की निर्बाध संगतता वास्तव में मजबूत हाइब्रिड QEC-QEM प्रोटोकॉल के लिए द्वार खोलती है। भविष्य के काम में ऐसे एकीकृत प्रणालियों को डिजाइन करने और प्रयोगात्मक रूप से प्रदर्शित करने पर ध्यान केंद्रित किया जा सकता है जहां QEC प्रमुख, स्थानीय, असंबद्ध त्रुटियों को संभालता है, और LKIK फिर अवशिष्ट, ठीक होने में कठिन त्रुटियों जैसे रिसाव, सहसंबद्ध और सुसंगत त्रुटियों को कम करता है। यह क्वांटम कंप्यूटिंग की फॉल्ट-टॉलरेंस की सीमाओं को काफी आगे बढ़ा सकता है।

  2. परत अपघटन और अनुकूली गुणांकों का अनुकूलन: किसी दिए गए क्वांटम सर्किट और शोर प्रोफाइल के लिए परतों की संख्या और संरचना ($L$) को इष्टतम रूप से कैसे निर्धारित किया जा सकता है? शोध में लक्ष्य सटीकता को पूरा करते हुए कुल ओवरहेड को कम करने के लिए गतिशील रूप से $L$ को समायोजित करने वाले परत अपघटन के लिए अनुकूली एल्गोरिदम का पता लगाया जा सकता है। अनुकूली पोस्ट-प्रोसेसिंग तकनीकों का और विकास, जिसे इस कार्य में स्थगित कर दिया गया था, कम शॉट्स और सर्किट के साथ मजबूत मिटिगेशन प्राप्त करने के लिए आवश्यक है।

  3. हार्डवेयर-विशिष्ट कार्यान्वयन और पल्स इंजीनियरिंग: विभिन्न क्वांटम हार्डवेयर आर्किटेक्चर (जैसे, सुपरकंडक्टिंग, फंसे हुए आयन, फोटोनिक) पर विभिन्न गेट सेट के लिए पल्स-व्युत्क्रम संचालन को लागू करने के लिए विशिष्ट चुनौतियों और समाधानों की जांच करना। इसमें पतली परतों में रिसाव शोर और उत्तेजना को कम करने के लिए उन्नत पल्स शेपिंग तकनीकों को शामिल किया जा सकता है, जिससे विभिन्न प्लेटफार्मों पर विधि की व्यावहारिकता सुनिश्चित हो सके।

  4. गैर-मार्कोवियन प्रभावों का मिटिगेशन: जबकि पाउली ट्वर्लिंग और स्यूडो-ट्वर्लिंग KIK लागू करने से पहले गैर-मार्कोवियन शोर को संबोधित कर सकते हैं, गैर-मार्कोवियन शोर मॉडल को सीधे LKIK ढांचे में शामिल करने के तरीकों की खोज से और भी शक्तिशाली और सामान्य मिटिगेशन रणनीतियां हो सकती हैं। इसके लिए यह समझने की गहरी समझ की आवश्यकता होगी कि गैर-मार्कोवियन गतिशीलता लेयर्ड सर्किट के माध्यम से कैसे फैलती है।

  5. अन्य QEM विधियों के साथ तालमेल: पत्र "थोक" शोर से निपटने के लिए कैरेक्टराइजेशन-आधारित विधियों (PEC, PEA, मशीन लर्निंग) के साथ LKIK को संयोजित करने का सुझाव देता है, जिससे LKIK बहाव और अन्य त्रुटियों पर ध्यान केंद्रित कर सके जो विरल शोर मॉडल के बाहर हैं। भविष्य के शोध इन हाइब्रिड दृष्टिकोणों को व्यवस्थित रूप से तलाश सकते हैं, नमूना ओवरहेड, बहाव लचीलेपन और समग्र प्रदर्शन में ट्रेड-ऑफ को मात्रात्मक बना सकते हैं। उदाहरण के लिए, टेंसर एरर मिटिगेशन (TEM) के साथ LKIK को संयोजित करने से संभावित रूप से LKIK अकेले की तुलना में छोटे नमूना ओवरहेड के साथ एक शोर-बहाव लचीला समाधान प्राप्त हो सकता है।

  6. रनटाइम ओवरहेड और स्केलेबिलिटी: अन्य उन्नत QEM विधियों जैसे MVE की तुलना में, विशेष रूप से, LKIK के रनटाइम ओवरहेड का एक विस्तृत विश्लेषण और प्रयोगात्मक सत्यापन, इसकी व्यावहारिक स्केलेबिलिटी का आकलन करने के लिए महत्वपूर्ण है। कई क्वांटम प्रोसेसर पर शॉट संग्रह के लिए समानांतरकरण रणनीतियों का पता लगाने से दीवार-घड़ी का समय और कम हो सकता है, जिससे उच्च नमूना ओवरहेड अधिक प्रबंधनीय हो जाता है।

इन सीमाओं को संबोधित करके और इन भविष्य की दिशाओं का पता लगाकर, LKIK ढांचे में शोरगुल वाले मध्यवर्ती-स्केल क्वांटम (NISQ) युग और उससे आगे के लिए विश्वसनीय क्वांटम कंप्यूटेशन के लिए एक आधारशिला बनने की क्षमता है।

Figure 1. A four-qubit simulation demonstrating the advantage of using the layered-based KIK (LKIK) amplification over the global KIK amplification (GKIK - single layer). In (a) & (b) the y axis is the difference ∆⟨A⟩be- tween the mitigated expectation value (see main text) and the ideal value, and the x axis is the mitigation order M with M = 0 indicating no mitigation. The ideal expectation value is ⟨A⟩≃0.025. In (a) the noise strength parameter is ξ = 0.02 and in (b) it is ξ = 0.2. Fig. (a) shows that LKIK is essential for achiev- ing high accuracy even when the noise is weak, while Fig. (b) shows that LKIK is important when the noise is strong even when the requested target accuracy is modest. The dashed lines show the prediction of the Layered KIK formula (30). (c) An illustration of a three-layer circuit (top) being noise amplified with GKIK (middle) and LKIK (bottom). The amplification factor is three for both cases. Squares below the black horizontal line represent pulse-inverse operation Figure 3. For the same example as in Fig. 1a, the error with respect to the ideal expectation value (red dots) is plotted for order seven as a function of number of layers. The good fit to the 1/L2 curve confirms the prediction of Eq. (34)