Separability does not certify zero-noise extrapolation: Factorial diagnostics in dynamic quantum circuits
यह शोध पत्र यह प्रदर्शित करता है कि जबकि डायनेमिक क्वांटम सर्किटों में सेपरेबल एरर एम्प्लीफिकेशन (separable error amplification) ज़ीरो-नॉइज़ एक्सट्रैपोलेशन (zero-noise extrapolation) को सरल बना सकता है, फिर भी यह सटीक नॉइज़-फ्री लिमिट की गारंटी नहीं देता है, जैसा कि IBM हार्डवेयर पर एक फैक्टोरियल प्रयोग से स्पष्ट होता है जो महत्वपूर्ण पूर्वाग्रहों (biases), छिपे हुए समझौतों (trade-offs) और शमन रणनीतियों (mitigation strategies) को मान्य करने के लिए स्पष्ट रिस्पॉन्स-मॉडल धारणाओं की आवश्यकता को प्रकट करता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
शांत, अति-शीतित (supercooled) प्रयोगशालाओं में जहाँ क्वांटम कंप्यूटर संचालित होते हैं, वैज्ञानिक एक मौलिक समस्या को हल करने का प्रयास कर रहे हैं: ये मशीनें अविश्वसनीय रूप से नाजुक होती हैं। गर्मी, कंपन या भटकने वाली विद्युत चुम्बकीय तरंगों से होने वाली मामूली सी हलचल भी उनकी गणनाओं को गलत कर देती है। एक उपयोगी उत्तर प्राप्त करने के लिए, शोधकर्ताओं को यह समझना होगा कि इस शोर (noise) को कैसे हटाया जाए और उस स्वच्छ, पूर्ण परिणाम को कैसे देखा जाए जो कंप्यूटर को वास्तव में उत्पन्न करना चाहिए था। एक लोकप्रिय रणनीति है जिसे 'जीरो-नॉइज़ एक्सट्रपलेशन' (zero-noise extrapolation) कहा जाता है। कल्पना कीजिए कि आप कमरे का तापमान मापने की कोशिश कर रहे हैं, जबकि हीटर को लो, मीडियम और हाई सेटिंग्स पर चालू किया गया है। यदि आप जानते हैं कि डायल घुमाने पर गर्मी ठीक कितनी बढ़ती है, तो आप गणितीय रूप से पीछे की ओर काम करके यह अनुमान लगा सकते हैं कि यदि हीटर को पूरी तरह से बंद कर दिया जाता, तो तापमान क्या होता। क्वांटम कंप्यूटिंग में, वैज्ञानिक जानबूझकर मशीन को अधिक शोर वाला बनाते हैं, जैसे कि ऑपरेशन्स को करने में लगने वाले समय को बढ़ाकर या कुछ चरणों को दोहराकर, और फिर वे यह गणना करने की कोशिश करते हैं कि यदि वे त्रुटियाँ शून्य होतीं, तो परिणाम क्या होता।
चुनौती यह है कि क्वांटम कंप्यूटर, विशेष रूप से नए "डायनामिक" कंप्यूटर जो गणना के दौरान निर्णय लेते हैं, एक साथ कई प्रकार के शोर (noise) से ग्रस्त होते हैं। त्रुटियाँ लॉजिक गेट्स (logic gates) में होती हैं, त्रुटियाँ तब होती हैं जब मशीन किसी क्लासिकल कंप्यूटर के अगले निर्णय का इंतज़ार करती है, और त्रुटियाँ गणना के बीच में सिस्टम को मापने की प्रक्रिया से उत्पन्न होती हैं। एक स्वाभाविक प्रश्न उठा: यदि आप इस सभी शोर को हटाना चाहते हैं, तो क्या आपको प्रत्येक प्रकार की त्रुटि के साथ अलग से व्यवहार करना होगा, या आप बस उन सभी के वॉल्यूम को एक साथ बढ़ा सकते हैं और एक ही सुधार लागू कर सकते हैं? यह प्रश्न केवल अकादमिक नहीं है; यदि त्रुटियाँ जटिल तरीकों से एक-दूसरे के साथ परस्पर क्रिया (interact) करती हैं, तो एक सरल सुधार विफल हो सकता है, जिससे गणित करने के बाद भी अंतिम उत्तर गलत रह जाएगा।
अमिटी इंटरनेशनल स्कूल, गुरुग्राम, भारत के एक शोधकर्ता ने IBM के वास्तविक हार्डवेयर का उपयोग करके इसे सीधे परखने का लक्ष्य रखा। लक्ष्य यह देखना था कि क्या ये विभिन्न प्रकार के शोर स्वतंत्र रूप से कार्य करते हैं, जैसे पानी की अलग-अलग धाराएं जिन्हें एक-एक करके सुखाया जा सकता है, या वे आपस में उलझ जाते हैं, जहाँ एक नॉब घुमाने से दूसरे का प्रभाव अप्रत्याशित रूप से बदल जाता है। ऐसा करने के लिए, शोधकर्ता ने तीन छोटे, विशिष्ट सर्किट बनाए जहाँ सही उत्तर पहले से ही पूर्ण निश्चितता के साथ ज्ञात था। इन सर्किट्स को एक नियंत्रित प्रयोगशाला वातावरण की तरह डिज़ाइन किया गया था, जो गेट एरर्स (gate errors), प्रतीक्षा समय (waiting times) और मेजरमेंट एरर्स (measurement errors) के प्रभावों को अलग करता था। शोधकर्ता ने मशीन पर व्यवस्थित रूप से तीन "नॉब्स" (knobs) को समायोजित किया। एक नॉब ने लॉजिक गेट्स को दोहराकर उन्हें अधिक शोर वाला बनाया; दूसरे ने निर्णय लेने से पहले प्रतीक्षा समय को बढ़ाया; और तीसरे ने मशीन को अपने मापन (measurements) को कई बार दोहराने के लिए मजबूर किया। इन तीनों नॉब्स की प्रत्येक संभावित सेटिंग (लो और हाई) के हर संयोजन में सर्किट चलाकर, शोधकर्ता ने एक पूर्ण मानचित्र तैयार किया कि मशीन विभिन्न शोर स्थितियों के तहत कैसे व्यवहार करती है।
परिणामों ने स्पष्टता और सावधानी का एक आश्चर्यजनक मिश्रण पेश किया। जब शोधकर्ता ने प्रतीक्षा अवधियों में एक विशिष्ट तकनीक जिसे "इको" (echo) कहा जाता है—एक ऐसी विधि जो कुछ अवांछित रोटेशन को रद्द करती है—को जोड़ा, तो विभिन्न प्रकार के शोर स्वतंत्र रूप से कार्य करते हुए दिखाई दिए। डेटा ने दिखाया कि प्रतीक्षा समय और मेजरमेंट एरर्स के बीच की परस्पर क्रिया इतनी कम थी कि वह प्रभावी रूप से शून्य थी। इससे पता चला कि, इन विशिष्ट परिस्थितियों में, शोर के स्रोतों को अलग-अलग मानने की सरल रणनीति वैध थी। शोधकर्ता ने सिस्टम में कृत्रिम, ज्ञात त्रुटियों को भी इंजेक्ट किया ताकि यह सत्यापित किया जा सके कि उनके उपकरण उन्हें पहचान सकते हैं, और उपकरण पूरी तरह से काम कर रहे थे, उन्होंने इंजेक्ट की गई त्रुटियों के सटीक आकार को भी सफलतापूर्वक रिकवर किया। इसने पुष्टि की कि प्रयोगात्मक सेटअप इतना संवेदनशील था कि यदि वास्तविक अंतःक्रियाएँ मौजूद होतीं, तो वह उन्हें ढूंढ पाता।
हालाँकि, कहानी केवल सरल पद्धति की जीत के साथ समाप्त नहीं हुई। भले ही शोर के स्रोत स्पष्ट रूप से अलग दिख रहे थे, फिर भी कंप्यूटर द्वारा दिए गए अंतिम उत्तर अभी भी पूर्ण नहीं थे। सर्वोत्तम गणितीय सुधार लागू करने के बाद भी, परीक्षण किए गए आधे सर्किट्स के परिणाम ज्ञात आदर्श मान से चूक गए। शोधकर्ता ने पाया कि समस्या यह नहीं थी कि शोर के स्रोत आपस में उलझे हुए थे, बल्कि यह थी कि शोर को बढ़ाने के लिए उपयोग किए जाने वाले "नॉब्स" ठीक वैसा व्यवहार नहीं कर रहे थे जैसा गणित मानता है। उदाहरण के लिए, प्रतीक्षा समय को बढ़ाने से शोर बिल्कुल सहज और अनुमानित तरीके से नहीं बढ़ा; मशीन का व्यवहार इस बात पर थोड़ा बदल जाता था कि प्रतीक्षा कितनी लंबी थी। इसके अलावा, विभिन्न सेटिंग्स के बीच समय को सुसंगत रखने के लिए उपयोग किए गए 'पैडिंग' (padding) ने अपने स्वयं के छिपे हुए एरर्स भी पेश किए। मशीन केवल शोर को बढ़ा नहीं रही थी; वह नए, अनमापे एरर्स भी पेश कर रही थी जिन्हें सुधार सूत्र देख नहीं पा रहे थे।
अध्ययन यह निष्कर्ष निकालता है कि हालांकि इन डायनामिक सर्किट्स में विभिन्न प्रकार के शोर को अक्सर अलग माना जा सकता है, लेकिन यह अलगाव एक सटीक अंतिम उत्तर की गारंटी नहीं देता है। शोर के स्रोतों को अलग करना केवल पहला कदम है। वास्तविक बाधा यह सुनिश्चित करना है कि शोर को बढ़ाने के लिए उपयोग की जाने वाली विधि वास्तविकता का एक सच्चा प्रतिनिधित्व है। यदि शोर बढ़ाने की प्रक्रिया स्वयं त्रुटियों की प्रकृति को बदल देती है या नई त्रुटियाँ जोड़ देती है, तो कोई भी गणितीय एक्सट्रपलेशन पूर्ण परिणाम को पुनः प्राप्त नहीं कर सकता। यह शोध एक नैदानिक उपकरण (diagnostic tool) प्रदान करता है जो वैज्ञानिकों को यह जाँचने की अनुमति देता है कि उनके शोर-प्रवर्धन (noise-amplification) के तरीके सही ढंग से काम कर रहे हैं या नहीं, यह प्रकट करते हुए कि क्वांटम हार्डवेयर की जटिल दुनिया में, पूर्ण उत्तर का मार्ग न केवल शोर से, बल्कि उन सूक्ष्म तरीकों से भी बाधित है जिनसे हमारे शोर को मापने और सुधारने के प्रयास गलत हो सकते हैं। यह कार्य जीरो-नॉइज़ एक्सट्रपलेशन को बेकार घोषित नहीं करता है, बल्कि इस बात पर जोर देता है कि इस पर आँख मूंदकर भरोसा नहीं किया जा सकता; प्रत्येक नए सर्किट और प्रत्येक नई मशीन को अपने स्वयं के सावधानीपूर्वक सत्यापन की आवश्यकता होती है ताकि यह सुनिश्चित किया जा सके कि सुधार वास्तव में काम कर रहे हैं।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।