Hybrid Lattice Surgery between Smooth Boundaries

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

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

शोधकर्ता, ग्रेस डिंग, यानझू चेन और शेंग-जी हुआंग ने एक मानक सरफेस कोड के सामान्यीकरण (generalization) पर ध्यान केंद्रित किया जो डेटा को व्यवस्थित करने के लिए गणितीय समूहों (mathematical groups) का उपयोग करता है। जबकि साधारण सरफेस कोड एक सरल द्वि-अवस्था प्रणाली (two-state system) पर निर्भर करता है, ये ग्रुप सरफेस कोड अधिक जटिल संरचनाओं को संभाल सकते हैं, जिनमें वे भी शामिल हैं जो क्रमविनिमेयता (commutativity) के सामान्य नियमों का पालन नहीं करते जहाँ संचालन का क्रम महत्वपूर्ण होता है। टीम की केंद्रीय उपलब्धि इन जटिल कोड पैच को उनके चिकने सीमाओं के साथ जोड़ने और विभाजित करने का एक नया प्रोटोकॉल है। उन्होंने प्रदर्शित किया कि जब दो ऐसे पैच को जोड़ा जाता है, तो यह ऑपरेशन केवल यह नहीं जाँचता कि डेटा मेल खाता है या नहीं; बल्कि यह एक विशिष्ट प्रकार का मापन करता है जो दोनों समूहों के बीच गणितीय संबंध के आधार पर संयुक्त जानकारी को विशिष्ट श्रेणियों, या 'कोसेट्स' (cosets) में वर्गीकृत करता है।

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

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

इस नई सर्जरी की वास्तविक शक्ति तब स्पष्ट होती है जब हम देखते हैं कि यह क्या बना सकती है। टीम ने इन प्रोटोकॉल को "मैजिक स्टेट्स" बनाने के लिए डिज़ाइन करके अपने ढांचे का प्रदर्शन किया, जो वे विशेष संसाधन हैं जिनकी आवश्यकता उन सबसे कठिन गणनाओं को करने के लिए होती है जिन्हें मानक त्रुटि-सुधार कोड अकेले नहीं संभाल सकते। उन्होंने दिखाया कि कैसे T गेट, कंट्रोल्ड-जेड (controlled-Z) गेट, टोफली (Toffoli) गेट और CS गेट के लिए आवश्यक संसाधनों को उत्पन्न किया जा सकता है। ये गेट सार्वभौमिक क्वांटम कंप्यूटेशन (universal quantum computation) प्राप्त करने के लिए आवश्यक हैं, जिसका अर्थ है किसी भी एल्गोरिदम को चलाने की क्षमता। उल्लेखनीय रूप से, उनके प्रोटोकॉल इन उन्नत संसाधनों को मानक, सरल सरफेस कोड पैच में एनकोड कर सकते हैं, जिसमें जटिल ग्रुप कोड का उपयोग केवल अस्थायी सहायक के रूप में किया जाता है।

यह कार्य क्वांटम कंप्यूटिंग के लिए उपलब्ध टूलकिट के एक महत्वपूर्ण विस्तार का सुझाव देता है। लैटिस सर्जरी के माध्यम से किए जा सकने वाले तार्किक ऑपरेशनों की सीमा को बढ़ाकर, शोधकर्ताओं ने एनकोड की गई जानकारी को अधिक स्वतंत्र रूप से संचालित करने का मार्ग प्रशस्त किया है। उनके निष्कर्ष संकेत देते हैं कि विभिन्न प्रकार के कोड पैच को सावधानीपूर्वक जोड़कर, वैज्ञानिक प्रबंधनीय ओवरहेड के साथ जटिल लॉजिकल गेट बना सकते हैं और आवश्यक संसाधन तैयार कर सकते हैं। हालांकि यह शोध पत्र इन प्रोटोकॉल के सैद्धांतिक निर्माण और तार्किक व्युत्पत्ति पर केंद्रित है, यह भविष्य के संख्यात्मक सिमुलेशन (numerical simulations) के लिए आधार तैयार करता है ताकि यह परीक्षण किया जा सके कि ये विधियाँ वास्तविक दुनिया की स्थितियों में शोर (noise) के विरुद्ध कितनी प्रभावी हैं। चिकनी सीमाओं (smooth boundaries) पर ये ऑपरेशन करने की क्षमता, न कि केवल खुरदरी (rough) सीमाओं तक सीमित रहना, दोष-सहिष्णु (fault-tolerant) क्वांटम कंप्यूटरों को डिजाइन करने में एक नया सामर्थ्य प्रदान करता है, जो उपयोगी क्वांटम मशीनों के मार्ग को अधिक स्पष्ट और सीधा बना सकता है।