Improving initial-state-dependent quantum circuit optimization by introducing state labels
यह शोध पत्र AQCEL क्वांटम-स्टेट-डिपेंडेंट सर्किट ऑप्टिमाइज़र में दो संवर्द्धन—स्टेट लेबल मैनेजर और CX-पेयर रिमूवल प्रोसेस—को प्रस्तुत करता है, जो IBM क्वांटम हार्डवेयर पर क्वांटम पार्टन शॉवर जैसे एल्गोरिदम के लिए टू-क्विबिट गेट काउंट को काफी कम करते हैं और फिडेलिटी में सुधार करते हैं।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
कल्पना कीजिए कि आप एक पहेली को हल करने के लिए लेगो ब्रिक्स (LEGO bricks) से एक मशीन बनाने की कोशिश कर रहे हैं। क्वांटम भौतिकी की दुनिया में, इन ईंटों को "क्यूबिट्स" (qubits) कहा जाता है, और उन्हें आपस में जोड़ने के निर्देशों को "क्वांटम सर्किट" (quantum circuits) कहा जाता है। वर्षों से, वैज्ञानिक इन मशीनों को बनाने की कोशिश कर रहे हैं ताकि वे ब्रह्मांड के सबसे शक्तिशाली त्वरकों (accelerators) में कणों के टकराने जैसी चीजों का अनुकरण (simulate) कर सकें। लेकिन यहाँ एक पेंच है: ये क्वांटम मशीनें अविश्वसनीय रूप से नाजुक होती हैं। हर बार जब आप एक ईंट को जोड़ते हैं (एक "गेट ऑपरेशन"), तो "शोर" (noise) या त्रुटियों के कारण उसके डगमगाने या गिर जाने की सूक्ष्म संभावना होती है। यदि आपका निर्देश मैनुअल बहुत लंबा है, तो काम पूरा होने से पहले ही मशीन बिखर सकती है।
इसे काम करने योग्य बनाने के लिए, वैज्ञानिक आमतौर पर निर्देश मैनुअल को जितना संभव हो सके उतना छोटा रखने की कोशिश करते हैं, लेकिन उन्हें सावधान रहना पड़ता है। अधिकांश मानक ऑप्टिमाइज़र एक सख्त लाइब्रेरियन की तरह कार्य करते हैं जो कहता है, "यह निर्देश किसी भी संभावित शुरुआती पहेली के लिए काम करना चाहिए, इसलिए हम कुछ भी हटाने की हिम्मत नहीं कर सकते क्योंकि कहीं इसकी ज़रूरत पड़ जाए।" लेकिन क्या होगा अगर आप पहले से ही जानते हैं कि पहेली कैसे शुरू होती है? क्या होगा अगर आप निश्चित रूप से जानते हैं कि पहली ईंट हमेशा लाल होगी? इस स्थिति में, आपको मशीन को यह बताने वाले निर्देशों की आवश्यकता नहीं है कि क्या करना है यदि ईंट नीली हो, क्योंकि वह कभी नीली नहीं होगी। यह शोध पत्र विशेष रूप से एक ज्ञात शुरुआती बिंदु के लिए निर्देशों को फिर से लिखने का एक चतुर तरीका तलाशता है, जिससे आपकी क्वांटम मशीन तेज़, छोटी और टूटने की संभावना कम हो जाती है।
स्मार्ट ऑप्टिमाइज़र की कहानी
मिलिए Aqcel से, एक विशेष उपकरण जिसे टोक्यो विश्वविद्यालय के शोधकर्ताओं द्वारा विकसित किया गया है। Aqcel को क्वांटम निर्देश मैनुअल के एक सुपर-स्मार्ट संपादक के रूप में समझें। इसका काम एक लंबी, जटिल चरणों की सूची को देखना और कहना है, "हे, चूंकि हम जानते हैं कि मशीन इस विशिष्ट अवस्था (state) में शुरू होती है, इसलिए हम इन चरणों को छोड़ सकते हैं!"
अतीत में, Aqcel पहले से ही इस काम में काफी अच्छा था। यह "कंट्रोल क्यूबिट्स" (वे छोटे स्विच जो तय करते हैं कि कोई चरण होगा या नहीं) की जांच करता था और उनकी अवस्था को मापता था। यदि कोई स्विच निश्चित रूप से "बंद" (off) था, तो Aqcel उस निर्देश को हटा देता था जो कहता था "यदि स्विच चालू है तो चालू करें।" हालांकि, Aqcel के मूल संस्करण में कुछ खामियां थीं। यह एक ऐसे जासूस की तरह था जो, हर बार जब उसे किसी सुराग की जांच करनी होती थी, तो वह अपराध स्थल तक दौड़कर जाता था, भले ही उसने पाँच मिनट पहले ही वहां देखा हो। इससे समय और ऊर्जा बर्बाद होती थी। साथ ही, कभी-कभी एक बड़ा निर्देश हटाने के बाद, यह अपने पीछे दो छोटे, बेकार चरणों की जोड़ी छोड़ देता था जो एक-दूसरे को रद्द कर देते थे, जैसे कि एक ही सांस में "दरवाजा खोलें" और फिर तुरंत "दरवाजा बंद करें" लिखना।
नए अपग्रेड: लेबल मैनेजर और पेयर-रिमूवर
इस नए शोध पत्र में, टीम ने Aqcel में दो प्रमुख अपग्रेड पेश किए हैं, जिससे यह Aqcel-v2 बन गया है।
1. स्टेट लेबल मैनेजर (मेमोरी ट्रिक)
कल्पना कीजिए कि आप एक खेल खेल रहे हैं जहाँ आपको याद रखना है कि लाइट स्विच चालू है या बंद। पुराना Aqcel हर बार स्विच को चेक करने के लिए दौड़कर जाता था। नया स्टेट लेबल मैनेजर एक स्टिकी नोट की तरह है जिसे आप स्विच पर लगाते हैं। एक बार जब आप स्विच की जांच कर लेते हैं और देखते हैं कि वह "बंद" है, तो आप स्विच पर "OFF" लिख देते हैं और उसे चिपका देते हैं। अब, जब भी आपको जानने की आवश्यकता होगी, आप बस नोट पढ़ लेंगे। आपको दोबारा स्विच तक दौड़ने की आवश्यकता नहीं है जब तक कि कुछ ऐसा न हो जाए जिससे वह बदल जाए।
क्वांटम दुनिया में, इसका अर्थ है कि Aqcel-v2 क्यूबिट्स के "लेबल" (कि वे 0 हैं, 1 हैं, या मिश्रण हैं) को याद रखता है। यदि लेबल "0" कहता है, तो ऑप्टिमाइज़र जानता है कि उसे इसे फिर से मापने में समय बर्बाद करने की आवश्यकता नहीं है। यह बहुत सारा "ऑप्टिमाइज़ेशन समय" बचाता है। परीक्षण किए गए सर्किटों के लिए, इसने क्यूबिट्स को जांचने की संख्या को छोटे सर्किटों के लिए 22 से घटाकर केवल 3 या 4 कर दिया, और बड़े सर्किटों के लिए 61 से घटाकर लगभग 15-22 कर दिया। यह आपके द्वारा पहले किए गए काम को याद रखकर आपके होमवर्क के समय को 75% कम करने जैसा है।
2. CX-पेयर रिमूवल (सफाई दल)
कभी-कभी, जब Aqcel एक जटिल निर्देश को सरल बनाता है, तो यह एक "घोस्ट" (ghost) जोड़ी के चरण पीछे छोड़ देता है। कल्पना कीजिए कि आपके पास एक जटिल मशीन है जो एक विचार को रखने के लिए एक अस्थायी सहायक ("एन्सिला" क्यूबिट) का उपयोग करती है। एक बार जब विचार का उपयोग हो जाता है, तो सहायक को वापस सो जाना चाहिए (0 अवस्था में लौटना चाहिए)। लेकिन पुराना Aqcel कभी-कभी सहायक को वहीं खड़ा छोड़ देता था, जो कुछ भी नहीं कर रहा था।
नया CX-pair removal फीचर एक सफाई दल (cleanup crew) की तरह कार्य करता है। यह उन चरणों की जोड़ी को देखता है जो कुछ भी नहीं करते बल्कि एक-दूसरे को रद्द कर देते हैं। यदि यह चरणों की एक ऐसी जोड़ी देखता है जहाँ एक सहायक का उपयोग किया जाता है और फिर तुरंत उसे "अन-यूज" (शुरुआती अवस्था में वापस) किया जाता है, तो यह पूरी जोड़ी को हटा देता है। यह बहुत महत्वपूर्ण है क्योंकि ये "टू-क्यूबिट गेट्स" क्वांटम कंप्यूटर के सबसे अधिक त्रुटि-प्रवण (error-prone) हिस्से होते हैं। उन्हें हटाकर, सर्किट छोटा हो जाता है और गलतियाँ करने की संभावना कम हो जाती है।
टेस्ट ड्राइव: पार्टिकल शावर का अनुकरण
यह देखने के लिए कि क्या ये अपग्रेड वास्तव में काम कर रहे हैं, टीम ने क्वांटम पार्टोन शावर (QPS) नामक एक विशिष्ट समस्या पर Aqcel-v2 का परीक्षण किया। इसे एक उच्च-ऊर्जा कण टकराव का सिमुलेशन समझें, जहाँ एक कण टूटता है और छोटे कणों के फुहार (shower) में विभाजित हो जाता है, जैसे कि एक बर्फ का गोला (snowball) टूटकर बर्फ के टुकड़ों के बादल में बदल जाता है।
उन्होंने इन सिमुलेशन को IBM द्वारा बनाए गए एक वास्तविक क्वांटम कंप्यूटर (ibm_fez प्रोसेसर) पर चलाया। उन्होंने तीन चीजों की तुलना की:
- मूल, अन-ऑप्टिमाइज़्ड सर्किट।
- पुराने Aqcel (v1) द्वारा अनुकूलित सर्किट।
- नए Aqcel (v2) द्वारा अनुकूलित सर्किट।
परिणाम:
परिणाम उत्साहजनक थे। छोटे परीक्षण सर्किट के लिए, नए Aqcel ने टू-क्यूबिट गेट्स (कठिन, त्रुटि-प्रवण चरण) की संख्या को 115 से घटाकर केवल 11 कर दिया। यह एक विशाल कमी है! बड़े, 2-स्टेप सर्किट के लिए, नए तरीके ने पुराने तरीके की तुलना में गेट काउंट को काफी अधिक कम किया, विशेष रूप से जब उन्होंने "नॉइज़ थ्रेशोल्ड" सेटिंग 0.15 का उपयोग किया।
जब उन्होंने वास्तविक IBM कंप्यूटर पर इन अनुकूलित सर्किटों को चलाया, तो नए Aqcel-v2 ने ऐसे परिणाम दिए जो पुराने संस्करण की तुलना में आदर्श, शोर-रहित (noiseless) स्थिति के बहुत करीब थे। "फिडेलिटी" (परिणाम सत्यता के कितने करीब है, इसका स्कोर) में सुधार हुआ। 2-स्टेप सर्किट के लिए, उन्होंने 0.83 की फिडेलिटी प्राप्त की, जो एक शोर वाले मशीन के लिए एक मजबूत परिणाम है। उन्होंने "एमिशन की संख्या" (कितने कण उत्पन्न हुए) को भी देखा। पुराने तरीके ने कभी-कभी "अनफिजिकल" (अभौतिक) परिणाम दिए (जैसे शून्य कण जब कुछ होने चाहिए थे), लेकिन Aqcel-v2 ने परिणामों को लगभग पूरी तरह से भौतिकी के दायरे में रखा।
इसका क्या अर्थ है (और क्या नहीं है)
यह शोध पत्र दिखाता है कि यदि आप जानते हैं कि आपका क्वांटम कंप्यूटर कैसे शुरू होता है, तो आप निर्देशों को बहुत छोटा और अधिक सटीक बनाने के लिए उन्हें फिर से लिख सकते हैं। नया "स्टेट लेबल मैनेजर" चीजों को दोबारा चेक न करके समय बचाता है, और "CX-pair removal" सरलीकरण के बाद छोड़े गए कचरे की सफाई करता है।
हालाँकि, लेखक यह स्पष्ट करने में सावधानी बरतते हैं कि यह हर समस्या के लिए जादू की छड़ी नहीं है। यह तरीका केवल तभी अच्छी तरह से काम करता है जब आप शुरुआती अवस्था (starting state) को जानते हैं। यदि आपके पास एक ऐसा सर्किट है जिसे किसी भी संभावित शुरुआती अवस्था के लिए काम करने की आवश्यकता है (जैसे कि किसी भी फोन पर चलने वाला एक यूनिवर्सल ऐप), तो यह तरीका मदद नहीं करेगा। इसके अलावा, शोध पत्र नोट करता है कि बहुत गहरे, जटिल सर्किटों के लिए जहाँ क्वांटम अवस्थाएँ इतनी जटिल हो जाती हैं कि उन्हें सरल लेबल के साथ ट्रैक करना मुश्किल होता है, ऑप्टिमाइज़र अधिक रूढ़िवादी (conservative) हो जाता है और कम गेट हटाता है।
संक्षेप में, Aqcel-v2 उन वैज्ञानिकों के लिए एक शक्तिशाली नया उपकरण है जो विशिष्ट, ज्ञात परिदृश्यों के लिए क्वांटम सिमुलेशन बना रहे हैं। यह सिद्ध करता है कि जो हम पहले से जानते हैं उसके बारे में स्मार्ट होकर, हम अपनी क्वांटम मशीनों को तेज़ और अधिक विश्वसनीय बना सकते हैं, जो हमें ब्रह्मांड की सबसे बड़ी पहेलियों को सुलझाने के एक कदम और करीब लाता है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।