Improved Quantum Codes with Transversal T Gates

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

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

इस कार्य में, मैसाचुसेट्स इंस्टीट्यूट ऑफ टेक्नोलॉजी (MIT) और IBM रिसर्च के एक शोधकर्ता ने एक नया ढांचा विकसित किया है जो इन कोडों की संभावनाओं का विस्तार करता है। यह अध्ययन क्वांटम कोडों के निर्माण के लिए एक विधि पेश करता है जो ऐसे मापदंडों के साथ ट्रांसवर्सल T गेट का समर्थन करते हैं जो पहले अप्राप्य माने जाते थे। शोधकर्ता ने 'डिक्रीजिंग मोनोमियल कोड्स' (decreasing monomial codes) नामक गणितीय संरचनाओं के एक वर्ग को अनुकूलित करके यह उपलब्धि हासिल की। ये कोड बिंदुओं के एक ग्रिड पर मूल्यांकित बहुपदों (polynomials) से बने होते हैं, और शोधकर्ता का नवाचार यह था कि उन्होंने सावधानीपूर्वक यह चुना कि किन बिंदुओं को रखना है और किन्हें हटाना है, जिसे 'पंक्चरिंग' (puncturing) कहा जाता है। एक विशिष्ट, संरचित पैटर्न में बिंदुओं को हटाने का विकल्प चुनकर, शोधकर्ता एक ऐसे लॉजिकल क्वबिट का निर्माण करने में सक्षम हुए जो शेष संरचना द्वारा सुरक्षित है। महत्वपूर्ण रूप से, अध्ययन यह सिद्ध करता है कि एक विशिष्ट प्रकार के 'वेटेड पॉलीनोमियल कोड' का उपयोग करके और सावधानीपूर्वक चुने गए बिंदुओं पर पंक्चरिंग करके, ऐसे क्वांटम कोड बनाए जा सकते हैं जो न केवल T गेट का समर्थन करते हैं, बल्कि निरंतर सूचना भंडारण दर भी प्राप्त करते हैं जबकि उनका त्रुटि-सुधार अंतर (error-correcting distance) सिस्टम के बढ़ने के साथ बढ़ता जाता है। यह पहली बार है जब T गेट का समर्थन करने वाले कोडों के लिए बिना किसी अतिरिक्त सुधार चरणों के ऐसी संयोजन प्राप्त की गई है।

यह शोध पत्र इन कोडों के निर्माण के दो मुख्य दृष्टिकोणों का विवरण देता है। पहला एक स्पष्ट निर्माण (explicit construction) है, जिसका अर्थ है कि कोड बनाने के चरण स्पष्ट रूप से परिभाषित हैं और उन्हें एक कंप्यूटर एल्गोरिदम द्वारा पालन किया जा सकता है। यह विधि 'रीड-मुलर कोड' (Reed-Muller code) नामक एक प्रसिद्ध गणितीय वस्तु के रूपांतर का उपयोग करती है, लेकिन एक मोड़ के साथ: शोधकर्ता बहुपद में चरों (variables) को विभिन्न "भार" (weights) प्रदान करते हैं, प्रभावी रूप से कोड के कुछ हिस्सों को दूसरे हिस्सों की तुलना में अधिक भारी या महत्वपूर्ण बनाते हैं। इन भारों और हटाए गए बिंदुओं के पैटर्न को ट्यून करके, शोधकर्ता ने प्रदर्शित किया कि स्थिर दर पर सूचना संग्रहीत करने वाले कोड बनाना संभव है जबकि उनकी त्रुटियों का पता लगाने और सुधारने की क्षमता सिस्टम के बड़े होने के साथ बेहतर होती जाती है। यह परिणाम महत्वपूर्ण है क्योंकि यह एक लंबे समय से चले आ रहे अवरोध को तोड़ता है जहाँ पिछले कोड केवल भंडारण दर की कीमत पर ही इस वृद्धि को प्राप्त कर सकते थे। दूसरा दृष्टिकोण एक यादृच्छिक निर्माण (randomized construction) है, जो संभाव्यता का उपयोग यह दिखाने के लिए करता है कि और भी बेहतर पैरामीटर संभव हैं, भले ही उन्हें सीधे लिखना उतना सरल न हो। इस पद्धति में एक 'हाइपरग्राफ' (hypergraph) के समान संरचना का उपयोग करके कुछ बिंदुओं को हटाए जाने से बचाना शामिल है, जो कोड के विशिष्ट हिस्सों के लिए एक ढाल के रूप la काम करता है, यह सुनिश्चित करते हुए कि सबसे महत्वपूर्ण जानकारी सुरक्षित रहे।

इन निष्कर्षों के सबसे गहन प्रभावों में से एक 'मैजिक स्टेट डिस्टिलेशन' (magic state distillation) की दक्षता से संबंधित है, जो शोर वाले क्वांटम ऑपरेशन्स को गणना के लिए आवश्यक उच्च-सटीकता वाले T गेट्स में बदलने के लिए आवश्यक प्रक्रिया है। पिछले कार्यों में, इस प्रक्रिया की दक्षता एक विशिष्ट घातांक (exponent) द्वारा सीमित थी जो यह निर्धारित करता था कि एक एकल उच्च-गुणवत्ता वाले लॉजिकल गेट को बनाने के लिए कितने भौतिक संसाधनों की आवश्यकता होगी। इस अध्ययन में निर्मित नए कोड इस घातांक को शून्य के करीब पहुंचने की अनुमति देते हैं, जिसका अर्थ है कि इन आवश्यक गेटों को बनाने के लिए आवश्यक ओवरहेड सिस्टम के बढ़ने के साथ नगण्य हो जाता है। यह पिछले सर्वोत्तम परिणामों की तुलना में एक नाटकीय सुधार है, जहाँ ओवरहेड कुल संसाधनों का एक महत्वपूर्ण हिस्सा बना रहता था। शोधकर्ता यह भी उल्लेख करते हैं कि हालांकि ये कोड अनिवार्य रूप से 'लो-डेंसिटी पैरिटी-चेक कोड' (low-density parity-check codes) नहीं हैं, जो हार्डवेयर कार्यान्वयन के लिए एक लोकप्रिय लक्ष्य हैं, फिर भी वे अन्य कोडों के ऊपर एक शक्तिशाली लॉजिकल लेयर के रूप में कार्य कर सकते हैं या उन आर्किटेक्चर में सीधे उपयोग किए जा सकते हैं जहाँ भौतिक बाधाएं कम कठोर हैं। यह कार्य इन 'पंक्चर कोड्स' के 'डिस्टेंस' के लिए एक क्लोज्ड-फॉर्म गणितीय अभिव्यक्ति प्रदान करता है, जो शास्त्रीय और क्वांटम संचार सिद्धांत के अन्य क्षेत्रों में भी उपयोगी हो सकता है।

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

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