Composable logical gate error in approximate quantum error correction: reexamining gate implementations in Gottesman-Kitaev-Preskill codes

आज की मशीनों की पहुंच से परे समस्याओं को हल करने वाले कंप्यूटर बनाने की खोज में, वैज्ञानिक क्वांटम मैकेनिक्स के विचित्र नियमों की ओर मुड़ रहे हैं। ये मशीनें सूचना की नाजुक इकाइयों पर निर्भर करती हैं जिन्हें 'क्यूबिट्स' (qubits) कहा जाता है, जो एक ही समय में कई अवस्थाओं में मौजूद हो सकते हैं। हालाँकि, यह शक्ति एक नाजुकता के साथ आती है; पर्यावरण से होने वाली मामूली सी हलचल भी डेटा को दूषित कर सकती है, जिससे गणना विफल हो सकती है। इससे बचने के लिए, शोधकर्ता 'क्वांटम एरर करेक्शन' (quantum error correction) नामक रणनीति का उपयोग करते हैं। कल्पना कीजिए कि आप किसी रहस्य को सुरक्षित रखने की कोशिश कर रहे हैं, लेकिन उसे एक एकल बॉक्स में छिपाने के बजाय, एक विशाल और जटिल संरचना में फैला देते हैं जहाँ कुछ टुकड़ों के खो जाने से भी पूरी तस्वीर उजागर नहीं होती। यह संरचना "कोड" है, और इसके भीतर छिपी सूचना "लॉजिकल" (logical) डेटा है।

एक क्वांटम कंप्यूटर के उपयोगी होने के लिए, इसे केवल इस संरक्षित सूचना को संग्रहीत ही नहीं करना चाहिए; इसे इस पर संचालन भी करना चाहिए, जैसे बिट्स को पलटना या उनके मान बदलना। इन ऑपरेशनों को "गेट्स" (gates) कहा जाता है। एक आदर्श दुनिया में, ये गेट पूरी तरह से काम करेंगे, डेटा को ठीक वैसे ही रूपांतरित करेंगे जैसा इरादा किया गया है, बिना सूचना को इसकी सुरक्षात्मक संरचना से बाहर लीक किए। हालाँकि, वास्तविक दुनिया में, इन कंप्यूटरों को बनाने के लिए उपयोग किए जाने वाले भौतिक उपकरण दोषपूर्ण होते हैं। वे सर्वोत्तम सैद्धांतिक कोडों के लिए आवश्यक पूर्ण, अनंत रूप से सटीक अवस्थाओं का निर्माण नहीं कर सकते। इसके बजाय, उन्हें इन कोडों के "अनुमानित" (approximate) संस्करणों का उपयोग करना पड़ता है, जो निर्माण के लिए पर्याप्त तो हैं लेकिन स्वभाव से धुंधले हैं। भौतिकविदों के लिए मुख्य चुनौती यह समझना है कि एक गेट लागू करने पर ये खामियां कितनी त्रुटि पैदा करती हैं, और क्या इस त्रुटि को इतना छोटा रखा जा सकता है कि विश्वसनीय, बड़े पैमाने पर कंप्यूटिंग संभव हो सके।

म्यूनिख तकनीकी विश्वविद्यालय के शोधकर्ताओं की एक टीम ने इस समस्या पर एक नया दृष्टिकोण अपनाया है, जिसमें उन्होंने 'गोट्समैन-किटाएव-प्रेस्किल' (Gottesman-Kitaev-Preskill) या GKP कोड के रूप में जाने जाने वाले एक विशिष्ट प्रकार के क्वांटम कोड पर ध्यान केंद्रित किया है। यह कोड विशेष रूप से आशाजनक है क्योंकि यह सूचना को कणों के बजाय प्रकाश या ध्वनि की निरंतर तरंगों में एनकोड करता है, और इसकी एक अनूठी विशेषता है: सैद्धांतिक रूप से, यह सरल, रैखिक ऑप्टिकल उपकरणों (linear optical tools) का उपयोग करके जटिल लॉजिकल ऑपरेशन करने की अनुमति देता है, ठीक वैसे ही जैसे एक मानक कैमरे में पाए जाने वाले लेंस और दर्पण। शोधकर्ता जानना चाहते थे कि क्या यह सैद्धांतिक लाभ तब भी बना रहता है जब कोड को वास्तविक, अपूर्ण सामग्रियों के साथ बनाया जाता है। ऐसा करने के लिए, उन्होंने "लॉजिकल गेट एरर" (logical gate error) को मापने का एक नया तरीका विकसित किया। पिछले तरीकों के विपरीत, जो केवल यह देखते थे कि अंतिम उत्तर गलत है या नहीं, उनका नया पैमाना दो विशिष्ट समस्याओं को एक साथ ट्रैक करता है: ऑपरेशन अपने निर्धारित कार्य को करने में कितना विफल होता है, और सूचना सुरक्षा क्षेत्र से कितनी बाहर लीक होती है। महत्वपूर्ण रूप से, उन्होंने दिखाया कि यह त्रुटि माप गेट्स को एक श्रृंखला में जोड़ने पर पूर्वानुमानित व्यवहार करता है, जिससे वे व्यक्तिगत चरणों की त्रुटियों को जोड़कर लंबी संचालन श्रृंखला की कुल त्रुटि की गणना कर सकते हैं।

जब उन्होंने इस नए मापन को GKP कोड पर लागू किया, तो उन्हें दो बहुत अलग परिणामों की कहानी मिली। सबसे पहले, उन्होंने सबसे बुनियादी ऑपरेशनों को देखा, जो साधारण बिट फ्लिप के लॉजिकल समकक्ष हैं। उन्होंने पाया कि इन ऑपरेशनों के लिए, त्रुटि लगातार और पूर्वानुमानित रूप से घटती है जैसे-जैसे भौतिक प्रणाली को अधिक सटीक बनाया जाता है। विशेष रूप से, त्रुटि एक पैरामीटर के सीधे आनुपातिक है जिसे 'स्क्वीजिंग पैरामीटर' (squeezing parameter) कहा जाता है, जो यह बताता है कि तरंग-रूप अवस्थाएं कितनी मजबूती से सीमित हैं। इसका अर्थ है कि यदि इंजीनियर बेहतर, अधिक स्क्वीज्ड अवस्थाएं बना सकते हैं, तो इन बुनियादी गेट्स की सटीकता एक सीधी, विश्वसनीय रेखा में सुधरेगी। यह एक उत्साहजनक परिणाम है, जो सुझाव देता है कि कंप्यूटर के मौलिक निर्माण खंडों के लिए, पूर्णता का मार्ग स्पष्ट और प्राप्त करने योग्य है।

हालाँकि, कहानी नाटकीय रूप से बदल जाती है जब शोधकर्ताओं ने अधिक जटिल ऑपरेशनों की जांच की, विशेष रूप से 'क्लिफोर्ड्स' (Cliffords) नामक गेट्स का एक वर्ग, जो उन्नत गणना करने के लिए आवश्यक हैं। उन्होंने एक मानक विधि का परीक्षण किया जिसका उपयोग एक 'फेज़ गेट' (phase gate) करने के लिए किया जाता है, जो उन्हीं सरल रैखिक ऑप्टिकल उपकरणों का उपयोग करता है जो कोड के आदर्श, सैद्धांतिक संस्करण में पूरी तरह से काम करते हैं। उनके विश्लेषण ने एक कठोर सीमा प्रकट की: भले ही भौतिक प्रणाली को अनंत रूप से सटीक बनाया जाए, और स्क्वीजिंग पैरामीटर को उसके पूर्णतम स्तर तक धकेला जाए, फिर भी इस विशिष्ट गेट के लिए त्रुटि शून्य नहीं होती है। इसके बजाय, यह एक स्थिर, गैर-शून्य मान पर टिक जाती है। इसका अर्थ है कि हार्डवेयर को कितनी भी अच्छी तरह से बनाया जाए, यह विशेष गेट कार्य को सही ढंग से करने में हमेशा विफल रहेगा। शोधकर्ताओं ने सिद्ध किया कि यह विफलता एक मामूली गड़बड़ी या अस्थायी बाधा नहीं है, बल्कि एक अनुमानित कोड में इस विशिष्ट गेट के लिए सरल रैखिक प्रकाशिकी (linear optics) का उपयोग करने की एक मौलिक सीमा है।

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