What Output-Equivalence Oracles Miss: An Empirical Study of Equivalence-Invisible Bug Fixes in Quantum Transpilers (Qiskit, tket, Cirq)
यह अनुभवजन्य अध्ययन प्रदर्शित करता है कि क्वांटम कंपाइलर को मान्य करने के लिए उपयोग किए जाने वाले मानक आउटपुट-तुल्यता ओरेकल (output-equivalence oracles), Qiskit, tket और Cirq में वास्तविक दुनिया के बग सुधारों के एक महत्वपूर्ण हिस्से (लगभग 28%) का पता लगाने में विफल रहते हैं, विशेष रूप से वे जो सर्किट लेआउट, क्रमपरिवर्तन रिकॉर्ड (permutation records) या नियतत्ववाद (determinism) में अदृश्य दोषों से संबंधित हैं जो संगणित यूनिटरी (computed unitary) को परिवर्तित नहीं करते हैं।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
क्वांटम कंप्यूटर उन समस्याओं को हल करने का वादा करते हैं जिन्हें सुलझाने में आज की मशीनों को सहस्राब्दियों लग सकते हैं, लेकिन उन्हें बनाना और प्रोग्राम करना बेहद कठिन है। उन्हें उपयोगी बनाने के लिए, वैज्ञानिक 'ट्रांसपाइलर' नामक विशेष सॉफ़्टवेयर का उपयोग करते हैं। एक ट्रांसपाइलर को एक अनुवादक के रूप में सोचें जो एक सैद्धांतिक क्वांटम मशीन के लिए लिखे गए जटिल, अमूर्त निर्देश को एक विशिष्ट सेट कमांड में फिर से लिखता है जिसे एक वास्तविक, भौतिक उपकरण वास्तव में निष्पादित कर सके। इस प्रक्रिया में ऑपरेशन्स के क्रम को पुनर्व्यवस्थित करना और उन्हें चिप पर उपलब्ध सीमित कनेक्शनों पर मैप करना शामिल है। इस अनुवाद को उपयोगी होने के लिए, अंतिम परिणाम मूल निर्देश के समान ही गणना (compute) करना चाहिए। यदि अनुवाद गणित को बदल देता है, तो कंप्यूटर बेकार है।
वर्षों से, यह जाँचने का मानक तरीका कि क्या एक ट्रांसपाइलर सही ढंग से काम कर रहा है, मूल निर्देश के विरुद्ध अंतिम उत्तर की तुलना करना रहा है। यदि उत्तर मेल खाते हैं, तो अनुवाद को सफल माना जाता है। यह विधि, जिसे 'आउटपुट-इक्विवेलेंस चेक' कहा जाता है, कुशल और प्रमुख त्रुटियों को पकड़ने के लिए विश्वसनीय है। हालाँकि, इसकी एक कमी है। यह केवल अंतिम परिणाम को देखता है, इस बात को अनदेखा करता है कि डेटा ने वहाँ तक पहुँचने के लिए कौन सा रास्ता अपनाया। ठीक वैसे ही जैसे एक यात्री सही गंतव्य पर तो पहुँच सकता है लेकिन उसने गलत मोड़ लिया हो, अपना सामान खो दिया हो, या गलत दिन पर पहुँचा हो, एक क्वांटम सर्किट सही उत्तर दे सकता है जबकि उसके आंतरिक ढांचे में छिपी हुई त्रुटियाँ मौजूद हों। इन छिपी हुई त्रुटियों में डेटा की विशिष्ट व्यवस्था, ऑपरेशन्स की टाइमिंग, या डेटा की स्थिति (state) की सटीक ट्रैकिंग जैसी चीजें शामिल हैं। यदि अंतिम उत्तर सही है, तो ये आंतरिक खामियां अक्सर अनसुनी रह जाती हैं, जिससे भविष्य में जब सर्किट का उपयोग अधिक जटिल सेटिंग में किया जाता है, तो कंप्यूटर विफल हो सकता है।
शोधकर्ताओं की एक टीम ने यह मापने के लिए काम किया कि वास्तविक दुनिया में यह कितनी बार होता है। उन्होंने उन सॉफ़्टवेयर पर ध्यान केंद्रित किया जो कुछ सबसे व्यापक रूप से उपयोग किए जाने वाले क्वांटम कंप्यूटिंग प्लेटफॉर्म को संचालित करते हैं। नए परीक्षण बनाने या काल्पनिक त्रुटियों का अनुकरण करने के बजाय, वे सीधे स्रोत की ओर गए: उन इंजीनियरों द्वारा किए गए सुधारों (fixes) के वास्तविक इतिहास की ओर जिन्होंने इन उपकरणों को बनाया है। उन्होंने एक प्रमुख क्वांटम सॉफ़्टवेयर पैकेज के मुख्य कोड में मर्ज किए गए 68 बग फिक्स के सावधानीपूर्वक चयनित संग्रह का परीक्षण किया। प्रत्येक सुधार के लिए, उन्होंने एक सरल प्रश्न पूछा: यदि इंजीनियरों ने केवल मानक "अंतिम उत्तर की जाँच करें" परीक्षण का उपयोग किया होता, तो क्या वे उस समस्या को देख पाते जिसे यह सुधार ठीक करने के लिए बनाया गया था?
परिणाम चौंकाने वाले थे। शोधकर्ताओं ने पाया कि लगभग 28 प्रतिशत मामलों में, मानक परीक्षण उस दोष को पूरी तरह से मिस कर देता। इन उदाहरणों में, सॉफ़्टवेयर इस तरह से टूटा हुआ था जो मायने रखता था—शायद वह डेटा के गलत लेआउट को रिकॉर्ड कर रहा था या कई बार चलाने पर अप्रत्याशित व्यवहार कर रहा था—लेकिन अंतिम गणितीय उत्तर सही बना रहा। क्योंकि मानक परीक्षण केवल उत्तर की परवाह करता है, इसलिए वह इन टूटे हुए संस्करणों को पूर्ण मानकर पास कर देता। टीम ने एक अन्य स्वतंत्र क्वांटम सॉफ़्टवेयर पैकेज में सुधारों को देखकर इस निष्कर्ष की पुष्टि की। उनमें से एक में, इन अदृश्य त्रुटियों की दर और भी अधिक, 33 प्रतिशत थी। तीसरे में, नमूना छोटा था लेकिन उसी दिशा में संकेत दे रहा था। यह सुझाव देता है कि समस्या केवल एक सॉफ़्टवेयर तक सीमित नहीं है, बल्कि यह हमारे वर्तमान क्वांटम कंप्यूटरों को सत्यापित करने के तरीके में एक मौलिक अंतर है।
शोधकर्ताओं ने यह भी जांचा कि क्या ये अदृश्य बग्स अन्य बग्स की तुलना में पकड़ में आने में आसान थे। शायद वे बड़े, अधिक जटिल या ठीक करने में अधिक समय लेने वाले थे, जिससे इंजीनियरों को नए प्रकार के परीक्षण की आवश्यकता के बिना उन्हें चिह्नित करने का अवसर मिलता। उन्होंने अदृश्य सुधारों की तुलना पांच अलग-अलग सतही संकेतों का उपयोग करके दृश्य (visible) सुधारों से की, जैसे कि बदले गए कोड की लाइनों की संख्या या सुधार को मर्ज करने में लगा समय। उन्होंने पाया कि इनमें कोई अंतर नहीं था। अदृश्य बग्स बिल्कुल सामान्य बग्स की तरह ही दिखते थे। इसका अर्थ है कि इंजीनियर कोड की एक त्वरित नज़र या परिवर्तन के आकार पर भरोसा करके इन त्रुटियों को नहीं पकड़ सकते; मानक परीक्षण वास्तव में इनके प्रति अंधे हैं।
इन अदृश्य त्रुटियों की प्रकृति की गहराई में जाते हुए, टीम ने एक विशिष्ट पैटर्न की खोज की। कई बग्स उन सीमाओं पर होते हैं जहाँ सॉफ़्टवेयर डेटा के विभिन्न आंतरिक स्वरूपों (representations) के बीच स्विच करता है। उदाहरण के लिए, जब सॉफ़्टवेयर जानकारी के एक टुकड़े को एक सामान्य प्रारूप से एक विशिष्ट हार्डवेयर चरण के लिए विशेष प्रारूप में स्थानांतरित करता है, तो गणितीय परिणाम सही रहता है, लेकिन मेटाडेटा—डेटा कहाँ है या इसे कैसे व्यवस्थित किया गया है इसका रिकॉर्ड—भ्रष्ट हो जाता है। यह भ्रष्टाचार अंतिम उत्तर की जाँच के लिए अदृश्य है लेकिन यह कंप्यूटर को विफल कर सकता है जब वह बाद में उस डेटा का उपयोग करने का प्रयास करता है। शोधकर्ताओं ने नोट किया कि यह अक्सर तब होता है जब सॉफ़्टवेयर को एक नई प्रोग्रामिंग भाषा में पोर्ट किया जाता है या जब सिस्टम के विभिन्न हिस्सों को जोड़ा जाता है।
अध्ययन यह दावा नहीं करता कि वर्तमान परीक्षण विधियाँ बेकार हैं। अंतिम उत्तर की जाँच करना अभी भी आवश्यक और कुशल है। हालाँकि, निष्कर्षों से पता चलता है कि केवल इस पर निर्भर रहना सुरक्षा में एक बड़ा अंतराल छोड़ देता है। उनके नमूने में प्रत्येक तीन में से एक सुधार उस समस्या को संबोधित करता था जिसे मानक स्क्रीन नहीं देख सकती थी। शोधकर्ता तर्क देते हैं कि क्वांटम कंप्यूटरों को वास्तव में विश्वसनीय बनाने के लिए, परीक्षण प्रक्रिया को केवल अंतिम उत्तर से आगे बढ़ना होगा। इसे आंतरिक रिकॉर्ड, डेटा की व्यवस्था और प्रक्रिया की निरंतरता की भी जाँच करनी चाहिए। इन अदृश्य त्रुटियों के सटीक स्थान की पहचान करके, यह अध्ययन परीक्षण के अगले पीढ़ी के उपकरणों के लिए एक स्पष्ट लक्ष्य प्रदान करता है, यह सुनिश्चित करता है कि भविष्य के क्वांटम कंप्यूटर न केवल गणितीय रूप से सही हों, बल्कि संरचनात्मक रूप से भी सुदृढ़ हों।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।