When Equivalent Quantum Circuits Lose Synthesis Choices
यह शोध पत्र यह प्रदर्शित करता है कि ओपनक्यूएसएम (OpenQASM) जैसे मध्यवर्ती प्रारूपों के माध्यम से क्वांटम सर्किट को परिवर्तित करने से अक्सर उच्च-स्तरीय संरचनात्मक जानकारी नष्ट हो जाती है, जिससे कंपाइलर के लिए इष्टतम संश्लेषण विधियों (synthesis methods) को लागू करना बाधित होता है, और यह इन ऑपरेशनों को रिकॉर्ड और पुनर्निर्मित करने के लिए एक "वेरिफ़ाइड" (Verified) ढांचे का प्रस्ताव करता है ताकि संश्लेषण क्षमताओं को बहाल किया जा सके।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
क्वांटम कंप्यूटर उन समस्याओं को हल करने का वादा करते हैं जिन्हें सुलझाने में आज की मशीनों को सहस्राब्दियों लग सकते हैं, लेकिन वे अविश्वसनीय रूप से नाजुक होते हैं। एक प्रोग्राम चलाने के लिए, वैज्ञानिकों को अपने जटिल विचारों को सरल निर्देशों के एक क्रम में अनुवादित करना होता है जिसे हार्डवेयर वास्तव में निष्पादित कर सके। यह अनुवाद एक कंपाइलर द्वारा किया जाता है, जो एक मास्टर आर्किटेक्ट की तरह कार्य करने वाला सॉफ्टवेयर है। कंपाइलर उच्च-स्तरीय अवधारणाओं को लेता है—जैसे कि डेटा में पैटर्न खोजने के लिए उपयोग किया जाने वाला एक गणितीय रूपांतरण—और यह निर्णय लेता है कि क्वांटम चिप पर उपलब्ध विशिष्ट, सीमित उपकरणों का उपयोग करके उन्हें वास्तव में कैसे बनाया जाए। महत्वपूर्ण बात यह है कि इन संरचनाओं को बनाने के एक से अधिक तरीके अक्सर मौजूद होते हैं। कुछ डिज़ाइन कम संसाधनों का उपयोग करते हैं और उनके विफल होने की संभावना कम होती है, जबकि अन्य अधिक मजबूत लेकिन महंगे होते हैं। कंपाइलर का काम उस विशिष्ट मशीन के आधार पर सबसे अच्छा डिज़ाइन चुनना है जिस पर वह काम कर रहा है।
हालाँकि, इन कार्यक्रमों को विभिन्न सॉफ्टवेयर टूल्स के बीच साझा करने और स्थानांतरित करने के तरीके में एक शांत समस्या का पता चला है। जब एक क्वांटम प्रोग्राम को पढ़ने के लिए टेक्स्ट के रूप में सहेजा जाता है या जब इसे एक प्रारूप से दूसरे प्रारूप में परिवर्तित किया जाता है, तो प्रोग्राम के एक विशिष्ट भाग को बनाने के कैसे संबंधी विस्तृत निर्देश गायब हो सकते हैं। प्रोग्राम गणितीय अर्थ में सही ढंग से काम करता है, लेकिन प्राप्त करने वाला सॉफ्टवेयर सबसे कुशल डिज़ाइन चुनने की क्षमता खो देता है। वह एक डिफ़ॉल्ट, अक्सर अधिक बोझिल निर्माण विधि का उपयोग करने के लिए मजबूर हो जाता है। यह बिना किसी चेतावनी संकेत के होता है; सॉफ्टवेयर कोई त्रुटि रिपोर्ट नहीं करता है, और अंतिम परिणाम भी समान दिखता है, फिर भी अंतर्निहित सर्किट काफी बड़ा और विफलता के प्रति अधिक संवेदनशील हो जाता है।
शोधकर्ता बोशुई ये, पेंग लियांग और आरिफ अली खान ने यह मापने के लिए प्रयास किया कि यह कितनी बार होता है और इसकी लागत क्या है। उन्होंने आज के वैज्ञानिकों द्वारा उपयोग किए जाने वाले तीन प्रमुख सॉफ्टवेयर फ्रेमवर्क पर ध्यान केंद्रित किया: Qiskit, TKET, और Cirq। उन्होंने परीक्षण किया कि क्या होता है जब एक क्वांटम सर्किट को एक "राउंड ट्रिप" के माध्यम से भेजा जाता है, जहाँ इसे टेक्स्ट के रूप में निर्यात किया जाता है और तुरंत वापस आयात किया जाता है, या जब इसे विभिन्न कंपाइलरों के बीच पारित किया जाता है। उनके प्रयोगों से पता चला कि कई सामान्य परिदृश्यों में, उच्च-स्तरीय निर्देश हटा दिए जाते हैं। उदाहरण के लिए, जब एक विशिष्ट प्रकार के गेट को सीधे टेक्स्ट-आधारित आदान-प्रदान के माध्यम से भेजा गया, तो प्राप्त करने वाला सॉफ्टवेयर अपने विशेष, कुशल निर्माण तरीकों को लागू करने में असमर्थ था। प्रोग्राम अभी भी चला, लेकिन उसे एक जेनेरिक, कम कुशल निर्माण का उपयोग करने के लिए मजबूर किया गया।
इस नुकसान के परिणाम केवल सैद्धांतिक नहीं हैं; वे मापने योग्य और महत्वपूर्ण हैं। डेटाबेस में वस्तुओं को खोजने के लिए डिज़ाइन किए गए एक सर्किट से जुड़े एक परीक्षण में, सर्वोत्तम निर्माण विधि चुनने की क्षमता के नुकसान के कारण टू-क्विबिट (two-qubit) गेट्स की संख्या 37.2 प्रतिशत बढ़ गई। क्वांटम कंप्यूटिंग में, टू-क्विबिट गेट्स सबसे त्रुटि-प्रवण ऑपरेशन हैं, और अधिक गेट जोड़ने से सही उत्तर प्राप्त करने की संभावना नाटकीय रूप से कम हो जाती है। परीक्षणों के एक अन्य सेट में, शोधकर्ताओं ने पाया कि जब एक प्रोग्राम को टेक्स्ट एक्सचेंज के माध्यम से भेजा गया, तो इन महत्वपूर्ण गेट्स की संख्या कुछ मामलों में 164 प्रतिशत तक बढ़ गई। शोधकर्ताओं ने नोट किया कि दक्षता का यह नुकसान चुपचाप होता है। सॉफ्टवेयर क्रैश नहीं होता है, और मानक जाँच जो प्रोग्राम के तर्क को सत्यापित करती है, वे भी पास हो जाती हैं, क्योंकि प्रोग्राम सही उत्तर की गणना करता है, बस एक बहुत अधिक महंगी विधि से।
इसे हल करने के लिए, टीम ने 'वेरिफाइड' (Verified) नामक एक टूल विकसित किया। प्राप्त करने वाले सॉफ्टवेयर पर मूल डिज़ाइन को जादुई रूप से याद रखने के लिए निर्भर रहने के बजाय, 'वेरिफाइड' भेजे जाने से पहले उच्च-स्तरीय ऑपरेशन का एक अलग रिकॉर्ड रखता है। जब प्रोग्राम वापस आता है, तो यह टूल जाँचता है कि क्या प्राप्त किया गया सर्किट अभी भी मूल रिकॉर्ड से मेल खाता है। यदि सर्किट अन्य प्रक्रियाओं द्वारा इस तरह से बदल दिया गया है कि रिकॉर्ड पुराना हो गया है, तो यह टूल उच्च-स्तरीय ऑपरेशन को फिर से बनाने से इनकार कर देता है, जिससे त्रुटियों को रोका जा सके। यदि रिकॉर्ड अभी भी वैध है, तो यह उच्च-स्तरीय ऑपरेशन को पुनर्गठित करता है, जिससे सबसे कुशल डिज़ाइन चुनने की क्षमता बहाल हो जाती है। अपने परीक्षणों में, इस पद्धति ने हर उस मामले में अनुरोधित कुशल डिज़ाइनों को सफलतापूर्वक बहाल किया जहाँ यह संभव था, जबकि उन रिकॉर्डों को सही ढंग से खारिज किया जो पुराने हो चुके थे।
अध्ययन यह निष्कर्ष निकालता है कि गणना को सुरक्षित रखना पर्याप्त नहीं है; क्वांटम प्रोग्रामों को साझा करने और कंपाइल करने के लिए उपयोग किए जाने वाले सॉफ्टवेयर टूल्स को कंपाइलर के लिए उपलब्ध विकल्पों को भी सुरक्षित रखना चाहिए। शोधकर्ताओं ने पाया कि केवल एक प्रोग्राम को टेक्स्ट के रूप में सहेजने से अक्सर ये विकल्प नष्ट हो जाते हैं। वे प्रस्ताव देते हैं कि भविष्य के टूल्स को स्पष्ट रूप से रिपोर्ट करना चाहिए कि कब एक विशिष्ट, कुशल डिज़ाइन के अनुरोध को अनदेखा किया गया है, और उन्हें उच्च-स्तरीय ऑपरेशन्स को पुनर्गठित करने के लिए उपयोग किए जाने वाले किसी भी रिकॉर्ड को करने से पहले सत्यापित करना चाहिए। इन सुरक्षा उपायों के बिना, क्वांटम कंप्यूटरों की क्लासिकल मशीनों से बेहतर प्रदर्शन करने की क्षमता को उनके प्रोग्रामों को साझा करने और कंपाइल करने की प्रक्रिया के दौरान उत्पन्न होने वाली अनावश्यक अक्षमताओं द्वारा कमजोर किया जा सकता है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।