A Compiler for Fault Tolerant Quantum Computing
यह शोध पत्र FTQC को प्रस्तुत करता है, जो फॉल्ट-टोलरेंट क्वांटम कंप्यूटिंग के लिए डिज़ाइन किया गया एक ओपन-सोर्स MLIR डायलैक्ट है, जो एक मल्टी-लेवल कंपाइलेशन पाइपलाइन के माध्यम से महत्वपूर्ण एरर-करेक्शन मेटाडेटा को सुरक्षित रखता है, जिससे सत्यापन योग्य कोड-विशिष्ट निर्णय सक्षम होते हैं और विविध हार्डवेयर लक्ष्यों में छिपी हुई आर्किटेक्चरल लागतों का अनावरण होता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखक ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
क्वांटम कंप्यूटर उन समस्याओं को हल करने का वादा करते हैं जिन्हें हल करने में क्लासिकल मशीनों को हजारों साल लग सकते हैं, लेकिन वे अविश्वसनीय रूप से नाजुक होते हैं। गर्मी या कंपन से होने वाला सबसे छोटा व्यवधान भी उनके द्वारा रखे गए डेटा को बिखेर सकता है, जिससे गणना विफल हो सकती है। इसे दूर करने के लिए, वैज्ञानिक दोष-सहनशील (fault-tolerant) क्वांटम कंप्यूटर बना रहे हैं, जो दोषरहित हिस्सों पर निर्भर नहीं करते हैं। इसके बजाय, वे एक एकल, स्थिर "लॉजिकल" सूचना इकाई बनाने के लिए कई भौतिक कणों को एक साथ समूहबद्ध करते हैं। यदि समूह में एक कण गड़बड़ी करता है, तो अन्य कण उस गलती का पता लगा सकते हैं और डेटा खोए बिना उसे ठीक कर सकते हैं। यह प्रक्रिया, जिसे क्वांटम एरर करेक्शन (quantum error correction) कहा जाता है, भविष्य की मशीन की नींव है, लेकिन इसकी एक भारी कीमत है: एक एकल उपयोगी गणना के लिए लाखों भौतिक कणों को एक साथ काम करने की आवश्यकता हो सकती है।
चुनौती केवल हार्डवेयर बनाने की नहीं है, बल्कि उसे नियंत्रित करने के लिए सॉफ्टवेयर लिखने की भी है। क्वांटम कंप्यूटर को प्रोग्राम करने के उपकरण आज के शोर वाले, छोटे पैमाने के उपकरणों के लिए डिज़ाइन किए गए हैं। वे त्रुटि सुधार (error correction) को प्रबंधित करने के लिए आवश्यक जटिल नियमों को नहीं समझते हैं, जैसे कि उन "सिंड्रोमों" को कैसे ट्रैक किया जाए जो त्रुटि का संकेत देते हैं या कठिन गणनाओं के लिए आवश्यक विशेष संसाधनों को कैसे तैयार किया जाए। एक सॉफ्टवेयर सिस्टम के बिना जो एरर करेक्शन की भाषा बोल सके, इंजीनियर यह भरोसा नहीं दिला सकते कि एक उच्च-स्तरीय विचार को एक भौतिक सर्किट में सफलतापूर्वक बदला जा सके जिसे वास्तविक मशीन निष्पादित कर सके। ओक रिज नेशनल लेबोरेटरी के शोधकर्ताओं की एक टीम ने एक नया कंपाइलर बनाकर इस अंतर को संबोधित किया है, जो एक ऐसा सॉफ्टवेयर है जो मानव तर्क और भविष्य के क्वांटम कंप्यूटर की कठोर, त्रुटि-सुधार वाली दुनिया के बीच एक अनुवादक के रूप में कार्य करता है।
शोधकर्ताओं ने FTQC नामक एक प्रणाली बनाई है, जिसका अर्थ है फॉल्ट-टोलरेंट क्वांटम कंप्यूटिंग। एक कंपाइलर को एक ऐसे अनुवादक के रूप में समझें जो एक उच्च-स्तरीय भाषा में लिखे गए प्रोग्राम को लेता है और उसे उन विशिष्ट निर्देशों में बदल देता है जिन्हें मशीन समझती है। क्वांटम दुनिया में, यह कठिन है क्योंकि मशीन केवल एक प्रोग्राम नहीं चलाती है; उसे लगातार खुद की निगरानी करनी होती है और त्रुटियों को सुधारना होता है। नई प्रणाली इन त्रुटि-सुधारित इकाइयों को सीधे कोड में वर्णित करने का एक तरीका पेश करती है। एक लॉजिकल क्यूबिट को एक साधारण वेरिएबल मानने के बजाय, सॉफ्टवेयर इसे एक विशिष्ट पहचान देता है जिसमें इसके त्रुटि-सुधार के नियम शामिल होते हैं। यह कंपाइलर को हर चरण में यह जांचने की अनुमति देता है कि किए जा रहे ऑपरेशन उस विशिष्ट प्रकार के त्रुटि संरक्षण के लिए वैध हैं या नहीं। यदि कोई प्रोग्रामर दो अलग-अलग प्रकार के त्रुटि सुधारों को मिलाने की कोशिश करता है जो एक साथ काम नहीं करते हैं, तो कंपाइलर मशीन तक पहुँचने से पहले ही रुक जाता है और त्रुटि को चिह्नित कर देता है।
जटिलता को प्रबंधित करने के लिए, शोधकर्ताओं ने सिस्टम को दो अलग-अलग स्तरों के साथ डिज़ाइन किया है। ऊपरी स्तर तार्किक निर्देशों (logical instructions) को संभालता है, जो वह उच्च-स्तरीय गणित और तर्क है जिसे एक वैज्ञानिक निष्पादित करना चाहता है। निचला स्तर भौतिक वास्तविकता को संभालता है, यानी व्यक्तिगत कण और वे विशिष्ट गेट जो उन्हें नियंत्रित करते हैं। बीच में एक विशेष प्रक्रिया तार्किक निर्देशों को भौतिक निर्देशों में अनुवादित करती है, जो एक एकल लॉजिकल कमांड को भौतिक ऑपरेशन्स के एक बड़े ब्लॉक में विस्तारित करती है। यह डिज़ाइन सुनिश्चित करता है कि एक ही लॉजिकल प्रोग्राम को बिना दोबारा लिखे विभिन्न प्रकार के हार्डवेयर पर भेजा जा सके। सिस्टम में एक अंतर्निहित कैलकुलेटर भी शामिल है जो अनुमान लगाता है कि किसी दिए गए कार्य के लिए कितने भौतिक कणों की आवश्यकता होगी। यह महत्वपूर्ण है क्योंकि त्रुटि सुधार की लागत बहुत अधिक है; एक साधारण गणना को मुख्य डेटा को सुरक्षित रखने के लिए अतिरिक्त कणों के एक कारखाने की आवश्यकता हो सकती है।
टीम ने डेटा खोजने की एक विधि और अणुओं के गुणों का विश्लेषण करने की एक तकनीक सहित कई मानक क्वांटम एल्गोरिदम का उपयोग करके अपने सिस्टम का परीक्षण किया। उन्होंने यह देखने के लिए कि सॉफ्टवेयर अनुवाद और संसाधन गणना को कैसे संभालता है, इन परीक्षणों को एक सिम्युलेटर पर चलाया। परिणामों ने दिखाया कि कंपाइलर स्टेन्स कोड (Steane code) और सरफेस कोड (surface code) सहित विभिन्न प्रकार के एरर-करेक्टिंग कोड के लिए लॉजिकल प्रोग्राम को फिजिकल सर्किट्स में सफलतापूर्वक परिवर्तित कर सकता है। सबसे स्पष्ट निष्कर्षों में से एक तीन-क्यूबिट गणना से आया जिसे क्वांटम फूरियर ट्रांसफॉर्म (Quantum Fourier Transform) कहा जाता है। कंपाइलर ने निर्धारित किया कि इस गणना को एरर करेक्शन के साथ चलाने के लिए, सिस्टम को एक "मैजिक स्टेट फैक्ट्री" की आवश्यकता होगी—यानी विशेष अवस्थाओं को तैयार करने के लिए समर्पित संसाधनों का एक ब्लॉक। इस फैक्ट्री को पूरे एनकोडेड सर्किट की तुलना में पांच गुना अधिक भौतिक कणों की आवश्यकता थी। यह फॉल्ट-टोलरेंट कंप्यूटिंग की एक छिपी हुई लागत को उजागर करता है: सिस्टम को बनाए रखने के लिए आवश्यक संसाधन अक्सर गणना के लिए आवश्यक संसाधनों से कहीं अधिक होते हैं।
सिमुलेशन से परे, शोधकर्ताओं ने अपने काम को वास्तविक हार्डवेयर तक पहुँचाया। उन्होंने ओक रिज नेशनल लेबोरेटरी के एक 20-क्यूबिट सुपरकंडक्टिंग क्वांटम कंप्यूटर को लक्षित किया। उन्होंने एक सरल लॉजिकल सर्किट को मशीन के नेटिव निर्देशों में बदलने के लिए अपने कंपाइलर का उपयोग किया। चूंकि मशीन एक पूर्ण एरर-करेक्टेड गणना चलाने के लिए बहुत छोटी है, इसलिए उन्होंने कंपाइलर का उपयोग फिजिकल सर्किट उत्पन्न करने के लिए किया और फिर रन के बाद परिणामों पर एक क्लासिकल डिकोडिंग प्रक्रिया लागू की। परिणाम उत्साहजनक थे: कंपाइलर द्वारा उत्पन्न त्रुटि-सुधार जानकारी का उपयोग करके, वे लॉजिकल रीडआउट त्रुटि को 3.3 के कारक से कम करने में सक्षम रहे। इसका मतलब है कि अंतिम उत्तर मशीन के कच्चे डेटा की तुलना में काफी अधिक सटीक था, जो साबित करता है कि कंपाइलर का आउटपुट सफलतापूर्वक भौतिक हार्डवेयर तक पहुँच सकता था और परिणामों की गुणवत्ता में सुधार कर सकता था।
यह कार्य एक फॉल्ट-टोरेंट कंप्यूटर बनाने की समस्या को हल करने का दावा नहीं करता है। प्रयोग आकार में सीमित थे और उन्होंने पूर्ण क्षमता का प्रदर्शन नहीं किया जहाँ त्रुटि सुधार पूरी तरह से प्रभावी हो जाता है। सिमुलेशन ने कुछ जटिल ऑपरेशन्स के लिए सरलीकृत मॉडलों का उपयोग किया, और हार्डवेयर परीक्षण पूर्ण-पैमाने के प्रदर्शन के बजाय प्रूफ-ऑफ-कॉन्सेप्ट रन थे। हालाँकि, यह प्रणाली विकास के अगले चरण के लिए एक व्यावहारिक आधार प्रदान करती है। सॉफ्टवेयर के भीतर त्रुटि सुधार के नियमों को दृश्यमान और प्रबंधनीय बनाकर, शोधकर्ताओं ने एक ऐसा उपकरण बनाया है जो इंजीनियरों को उनके डिज़ाइन बनाने से पहले उनका निरीक्षण, सत्यापन और अनुकूलन करने की अनुमति देता है। अगली पीढ़ी के क्वांटम कंप्यूटिंग के लिए आवश्यक विशाल और जटिल प्रणालियों की ओर बढ़ने के लिए यह स्पष्टता आवश्यक है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।