तकनीकी सारांश: क्वांटम कोड सर्जरी के माध्यम से समानांतर तार्किक माप (Parallel Logical Measurements via Quantum Code Surgery)

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

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

सामान्यीकृत कोड सर्जरी (Generalized code surgery) किसी भी LDPC कोड पर तार्किक पाउली मेजरमेंट (logical Pauli measurements) के लिए कोड को विकृत (deforming/gauge-fixing) करके तार्किक ऑपरेटरों को स्टेबलाइजर्स में विघटित करने की अनुमति देती है। हालाँकि, एक निरंतर चुनौती समानांतरकरण (parallelization) रही है। मौजूदा सर्जरी स्कीमें कई तार्किक ऑपरेटरों को एक साथ मापने में संघर्ष करती हैं, विशेष रूप से जब तार्किक ऑपरेटरों का भौतिक डेटा क्वबिट्स पर ओवरलैप होता है—जो उच्च-दर वाले LDPC कोडों में एक सामान्य परिदृश्य है। समानांतर माप के पिछले प्रयास, जैसे कि झांग और ली [46] द्वारा किए गए, CKBB योजना [28] पर निर्भर थे, जिसके परिणामस्वरूप कोड दूरी $d$ में कम से कम द्विघाती (quadratic) ओवरहेड (जैसे, $O(t^2 \omega d)$ या $O(t \omega (\log t + d))$) होता है। इसके अलावा, इन योजनाओं को अक्सर सहायक तार्किक अवस्थाओं (जैसे, $|Y\rangle$ अवस्थाओं) की आवश्यकता होती थी या वे CSS कोड तक ही सीमित थीं, जो उनकी प्रयोज्यता और दक्षता को सीमित करती हैं।

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

लेखक एक ऐसी कोड सर्जरी योजना प्रस्तावित करते हैं जो किसी भी क्वबिट स्टेबलाइजर LDPC कोड के लिए लागू होती है और जो तार्किक रूप से विलगित (logically disjoint) पाउली प्रोडक्ट ऑपरेटरों के एक संग्रह को समानांतर में फॉल्ट-टोलरेंट तरीके से मापती है। यह योजना हाल के साहित्य के तीन प्रमुख तत्वों को जोड़ती है:

1. ब्रूट-फोर्स ब्रांचिंग (Brute-Force Branching): ओवरलैपिंग तार्किक ऑपरेटरों को संभालने के लिए, यह योजना "ब्रूट-फोर्स ब्रांचिंग" [46] का उपयोग करती है। यह प्रक्रिया हाइपरग्राफ प्रोडक्ट पैचेस (ब्रांचिंग स्टिकर्स) के एक ट्री का उपयोग करती है ताकि ओवरलैपिंग सपोर्ट वाले तार्किक ऑपरेटरों को विलगित लीव्स (disjoint leaves) पर अलग किया जा सके। यह सुनिश्चित करता है कि मापे जाने वाले ऑपरेटरों का भौतिक सपोर्ट विलगित हो, जो कुशल समानांतर माप के लिए एक पूर्व शर्त है।
2. गेजिंग लॉजिकल मेजरमेंट्स (Gauging Logical Measurements): CKBB योजना के बजाय, लेखक गेजिंग मेजरमेंट फ्रेमवर्क [39, 40] का उपयोग करते हैं। इसमें ब्रांचिंग ट्री के लीव्स (leaves) के साथ एक्सपैंडर ग्राफ जोड़ना शामिल है। यह दृष्टिकोण गारंटी देता है कि विकृत कोड LDPC बना रहता है और बिना किसी सबसिस्टम कोड की आवश्यकता के कठोर फॉल्ट-टोलरेंस गारंटी प्रदान करता है।
3. यूनिवर्सल एडेप्टर्स (Universal Adapters): तार्किक ऑपरेटरों के उत्पादों (जैसे, $\bar{X}_1 \otimes \bar{Z}_2$) को मापने के लिए, यह योजना विलगित तार्किक ऑपरेटरों के सहायक प्रणालियों को जोड़ने के लिए यूनिवर्सल एडेप्टर्स [45] का उपयोग करती है। यह LDPC गुण और फॉल्ट-डिस्टेंस बनाए रखते हुए पाउली उत्पादों के मापन की अनुमति देता है।

गैर-CSS और मिश्रित आधारों (Non-CSS and Mixed Bases) को संभालना:
एक महत्वपूर्ण नवाचार गैर-CSS स्टेबलाइजर कोडों पर बिना किसी सहायक तार्किक क्वबिट के मिश्रित-प्रकार के ऑपरेटरों (जिसमें $\bar{Y}$ शामिल है) को मापने की क्षमता है। लेखक एक विशिष्ट तार्किक आधार (स्टैंडर्ड फॉर्म [49]) का उपयोग करते हैं जहाँ $\bar{X}$ और $\bar{Z}$ प्रतिनिधि नियंत्रित ओवरलैप गुणों के होते हैं। आधार को संरेखित करने के लिए स्थानीय क्लिफोर्ड रूपांतरण (सैद्धांतिक रूप से, भौतिक रूप से नहीं) लागू करके, वे मनमाने पाउली ऑपरेटरों ( $\bar{Y}$ सहित) को समानांतर में ब्रांच कर सकते हैं। ब्रांचिंग प्रक्रिया सभी प्रतिनिधियों को लीव्स पर $Z$ पाउली के उत्पादों में बदल देती है, जिन्हें फिर गेजिंग के माध्यम से मापा जाता है।

मनमाने कम्यूटिंग सेट (Arbitrary Commuting Sets):
पाउली उत्पादों के मनमाने कम्यूटिंग सेट के लिए (जहाँ ऑपरेटर तार्किक क्वबिट्स पर ओवरलैप हो सकते हैं), यह योजना "ट्विस्ट-फ्री सर्जरी" तकनीकों [48, 46] का उपयोग करके प्रक्रिया का विस्तार करती है। इसमें $X$ और $Z$ घटकों में उत्पादों को विघटित करना शामिल है, जिसके लिए संभावित रूप से सहायक तार्किक $|0\rangle$ और $|Y\rangle$ अवस्थाओं की आवश्यकता होती है। हालाँकि, लेखक नोट करते हैं कि $\bar{Y}$ ऑपरेटरों को सीधे समानांतर में मापने की उनकी क्षमता इन सहायक अवस्थाओं को तैयार करने के लिए ओवरहेड को काफी कम कर देती है।

मुख्य योगदान और परिणाम (Key Contributions and Results)

1. स्पेस और टाइम कॉम्प्लेक्सिटी (Space and Time Complexity)

$t$ तार्किक रूप से विलगित पाउली प्रोडक्ट मेजरमेंट के संग्रह के लिए, जो $t$ तार्किक क्वबिट्स पर समर्थित हैं, जिसमें अधिकतम एकल तार्किक पाउली प्रतिनिधि वेट $\omega$ (जहाँ $\omega \ge d$) है:

• स्पेस ओवरहेड (Space Overhead): यह योजना $O(t\omega(\log t + \log^3 \omega))$ सहायक क्वबिट्स का उपयोग करती है।
  • $O(t\omega \log t)$ पद ब्रूट-फोर्स ब्रांचिंग से आता है।
  • $O(t\omega \log^3 \omega)$ पद गेजिंग मेजरमेंट (विशेष रूप से, एक्सपैंडर ग्राफ के डीकंजेशन) से आता है।
• टाइम ओवरहेड (Time Overhead): मापन $O(d)$ समय में किया जाता है, जो $t$ के स्वतंत्र है। यह $d$ राउंड का सिंड्रोम एक्सट्रैक्शन करने से प्राप्त किया जाता है, जो समानांतर ऑपरेशनों की संख्या से स्वतंत्र है।

2. कोड गुणों का संरक्षण (Preservation of Code Properties)

• LDPC गुण: यह योजना मूल कोड के LDPC गुण को बनाए रखती है। कुछ पिछली समानांतर योजनाओं के विपरीत, जिन्हें सबसिस्टम कोड में जाने या स्पर्सिटी खोने की आवश्यकता थी, यह विधि निरंतर चेक वेट और क्वबिट डिग्री को बनाए रखती है।
• फॉल्ट-डिस्टेंस (Fault-Distance): यह कोड दूरी $d$ को सुरक्षित रखता है। यह $d$ की फॉल्ट-डिस्टेंस के साथ फॉल्ट-टोलरेंट है, बशर्ते कि ब्रांचिंग और मेजरमेंट चरणों के दौरान कम से कम $d$ राउंड के स्टेबलाइजर मेजरमेंट किए जाएं।
• कोई सहायक तार्किक ब्लॉक नहीं (No Ancillary Logical Blocks): इस योजना के लिए (भौतिक सहायक क्वबिट्स के अलावा) पूर्व-तैयार तार्किक कोडब्लॉक्स की आवश्यकता नहीं है, जो उन योजनाओं की लागत संबंधी समस्या को संबोधित करता है जो तार्किक अवस्थाओं के डिस्टिलेशन पर निर्भर करती हैं।

3. सामान्य प्रयोज्यता (General Applicability)

• स्टेबलाइजर कोड: यह विधि केवल CSS कोड ही नहीं, बल्कि सामान्य स्टेबलाइजर कोड पर भी लागू होती है।
• मिश्रित ऑपरेटर: यह मिश्रित-प्रकार के ऑपरेटरों (जिसमें $\bar{X}, \bar{Y}, \text{ और } \bar{Z}$ शामिल हैं) को बिना ट्रांसवर्सल $S$ गेट्स या $|Y\rangle$ स्टेट डिस्टिलेशन के समानांतर में माप सकती है, जो पिछले समानांतर स्कीम्स [46] की एक सीमा थी।

महत्व और दावे (Significance and Claims)

यह पेपर क्वांटम LDPC कोड को स्केल करने में एक महत्वपूर्ण बाधा को दूर करने का दावा करता है: तार्किक ऑपरेटरों का कुशल समानांतर मापन। ब्रूट-फोर्स ब्रांचिंग को गेजिंग मेजरमेंट और एडेप्टर्स के साथ जोड़कर, लेखक प्राप्त करते हैं:

• एसिम्प्टोटिक दक्षता (Asymptotic Efficiency): यह योजना CKBB-आधारित समानांतर स्कीम्स की तुलना में काफी कम स्पेस ओवरहेड का उपयोग करती है, विशेष रूप से $d$ पर द्विघाती निर्भरता ($O(d^2)$) से बचती है जो पिछले कार्यों में पाई गई थी।
• मजबूती (Robustness): यह योजना LDPC संरचना से समझौता किए बिना कठोर फॉल्ट-टोलरेंस गारंटी प्रदान करती है, जो उच्च-दर क्वांटम मेमोरी के व्यावहारिक कार्यान्वयन के लिए आवश्यक है।
• लचीलापन (Flexibility): सामान्य स्टेबलाइजर कोड पर मनमाने विलगित पाउली उत्पादों ( $\bar{Y}$ सहित) को मापने की क्षमता इसे पाउली-आधारित कंप्यूटेशन के लिए एक बहुमुखी उपकरण बनाती है, जो ट्रांसवर्सल मैजिक गेट्स या स्टेट प्रिपरेशन के साथ मिलकर, सार्वभौमिक फॉल्ट-टोलरेंट क्वांटम कंप्यूटेशन को सक्षम बनाती है।

लेखक स्वीकार करते हैं कि हालांकि एसिम्प्टोटिक बाउंड्स मजबूत हैं, ब्रूट-फोर्स ब्रांचिंग के लिए कांस्टेंट फैक्टर्स कम-ब्लॉक लेंथ कोड के लिए बड़े हो सकते हैं। वे सुझाव देते हैं कि परिमित-आकार (finite-size) के कोड के लिए, ओवरहेड एसिम्प्टोटिक ऊपरी सीमा की तुलना में काफी कम हो सकता है, क्योंकि व्यवहार में डीकंजेशन की अक्सर आवश्यकता नहीं होती है। वे यह भी नोट करते हैं कि न्यूनतम प्रतिनिधि वेट वाले इष्टतम तार्किक आधार खोजना NP-hard है, इसलिए लागत को चुने गए प्रतिनिधि वेट $\omega$ के संदर्भ में गणना की जाती है, जो कोड दूरी $d$ से अधिक हो सकता है।

संक्षेप में, यह कार्य क्वांटम LDPC कोड पर समानांतर तार्किक मापन के लिए एक स्केलेबल, फॉल्ट-टोलरेंट फ्रेमवर्क प्रस्तुत करता है, जो स्पेस ओवरहेड, कोड प्रकार प्रतिबंधों और जटिल सहायक अवस्था तैयारी की आवश्यकता संबंधी पिछली सीमाओं को पार करता है।