Unconditionally successful quantum Time-Marching algorithm via LCU for nonlinear Burgers equation

कल्पना कीजिए कि आप किसी अराजक प्रणाली (chaotic system) के भविष्य की भविष्यवाणी करने की कोशिश कर रहे हैं, जैसे कि किसी शहर के ऊपर घूमता हुआ तूफान या राजमार्ग पर ट्रैफिक जाम। वैज्ञानिक इन चीजों का मॉडल बनाने के लिए गणित का उपयोग करते हैं, लेकिन जब गणित बहुत अधिक जटिल और "गैर-रैखिक" (non-linear) हो जाता है (जिसका अर्थ है कि स्थितियाँ बदलने के साथ नियम भी बदल जाते हैं), तो इसे हल करना अविश्वसनीय रूप से कठिन हो जाता है। यह आंशिक अवकल समीकरणों (Partial Differential Equations - PDEs) की दुनिया है, जो भौतिकी की भाषा है। हाल ही में, वैज्ञानिक इन समीकरणों को पहले से कहीं अधिक तेज़ी से हल करने के लिए क्वांटम कंप्यूटरों का उपयोग करने को लेकर उत्साहित हैं। हालाँकि, इसमें एक पेंच है: क्वांटम कंप्यूटर "यूनिटैरिटी" (unitarity) के सख्त नियमों पर बने होते हैं, जिसका अर्थ है कि वे इन जटिल समस्याओं के लिए आवश्यक अस्त-व्यस्त, अप्रत्याशित चरणों को बिना विफल हुए संभालने में आमतौर पर सक्षम नहीं होते हैं। यह शतरंज का एक ऐसा खेल खेलने जैसा है जहाँ नियम कहते हैं कि आप केवल मोहरों को सटीक, प्रतिवर्ती लूप (reversible loops) में ही चल सकते हैं, लेकिन आप जो खेल खेलने की कोशिश कर रहे हैं उसमें आपको कभी-कभी एक जोखिम भरा, एकतरफा कदम उठाना पड़ता है जो विफल हो सकता है। यदि आपको लगातार एक हज़ार बार वह जोखिम भरा कदम उठाना पड़े, तो सफल होने की संभावना लगभग शून्य हो जाती है।

यह शोध पत्र ठीक इसी समस्या को संबोधित करता है। फ्रांस के विश्वविद्यालयों में काम करने वाले लेखकों ने एक चतुर तरीका खोजा है जिससे एक क्वांटम कंप्यूटर इन "जोखिम भरे" चरणों को बिना विफल हुए संभाल सके, विशेष रूप से 'बर्गर्स समीकरण' (Burgers' equation) के लिए, जो तरल पदार्थों में शॉकवेव्स (shockwaves) जैसी चीजों को दर्शाता है। उन्होंने पाया कि एक शास्त्रीय कंप्यूटर पद्धति जिसे "लैटिस गैस एल्गोरिदम" (lattice gas algorithm) कहा जाता है—जो अनिवार्य रूप से कणों का एक ग्रिड है जो यादृच्छिक रूप से इधर-उधर घूमते और टकराते हैं—से एक तरकीब उधार लेकर, वे क्वांटम कंप्यूटर की स्वाभाविक "जुआ" (quantum bit को मापने की प्रक्रिया) को एक खामी के बजाय एक विशेषता में बदल सकते हैं। यह दिखाने के बजाय कि क्वांटम कंप्यूटर विफल हो जाएगा और उसे फिर से शुरू करने की आवश्यकता होगी, वे दिखाते हैं कि आप इन चरणों को लेगो ब्रिक्स (Lego bricks) की तरह आपस में जोड़कर, सिग्नल खोए बिना जटिल, गैर-रैखिक भौतिकी का अनुकरण कर सकते हैं।

द क्वांटम गैंबल: एक खामी को विशेषता में बदलना

आइए इस पहेली को हल करने की कहानी में गहराई से उतरें। उनके द्वारा किए गए इस क्रांतिकारी बदलाव को समझने के लिए, हमें पहले उस समस्या को देखना होगा जिसका उन्होंने सामना किया। क्वांटम कंप्यूटिंग की दुनिया में, समीकरणों को हल करने के लिए अधिकांश एल्गोरिदम "लीनियर कॉम्बिनेशन ऑफ यूनिटरीज" (Linear Combination of Unitaries - LCU) नामक एक तकनीक पर निर्भर करते हैं। LCU को विभिन्न क्वांटम ऑपरेशनों को आपस में मिलाने के एक शानदार तरीके के रूप में समझें। समस्या यह है कि जब आप गैर-रैखिक समीकरणों (वास्तविक दुनिया के जटिल प्रकार) को हल करने का प्रयास करते हैं, तो गणित के लिए "गैर-यूनिटरी" (non-unitary) चरणों की आवश्यकता होती है। ये ऐसे चरण हैं जो क्वांटम अवस्था को पूरी तरह से संरक्षित नहीं करते हैं, जिसका अर्थ है कि क्वांटम कंप्यूटर को एक जुआ खेलना पड़ता है: वह चरण निष्पादित करता है, परिणाम को मापता है, और यदि उसे "गलत" परिणाम मिलता है, तो सब कुछ ढह जाता है, और आपको फिर से शुरू करना पड़ता है।

यदि आपको केवल एक कदम उठाना है, तो यह ठीक है। लेकिन यदि आपको समय में आगे बढ़ना है—चरण 1, चरण 2, चरण 3, पूरे 1,000 चरणों तक—तो बिना किसी विफलता के उन सभी चरणों को सफलतापूर्वक पूरा करने की संभावना अत्यंत कम हो जाती है। यह 1,000 बार सिक्का उछालने और हर बार 'हेड्स' आने की उम्मीद करने जैसा है। वर्तमान क्वांटम विधियाँ इसे "एम्प्लीट्यूड एम्प्लीफिकेशन" (amplitude amplification) का उपयोग करके ठीक करने की कोशिश करती हैं, जो सिक्के को जबरदस्ती 'हेड्स' लाने की कोशिश करने जैसा है, लेकिन यह कंप्यूटर सर्किट को अविश्वसनीय रूप से गहरा और जटिल बना देता है, जिससे संसाधन खर्च होते हैं।

लेखकों ने एक अलग सवाल पूछा: क्या होगा अगर हम सिक्के को 'हेड्स' लाने के लिए मजबूर न करें? क्या होगा अगर हम खेल को ही ऐसा बना दें कि दोनों परिणाम (हेड्स और टेल्स) वास्तव में सही अगला कदम हों, बस अलग-अलग तरीकों से?

द लैटिस गैस: नाचते कणों का एक ग्रिड

उत्तर खोजने के लिए, लेखकों ने "लैटिस गैस सेलुलर ऑटोमेटा" (Lattice Gas Cellular Automaton - LGCA) नामक एक शास्त्रीय पद्धति को देखा। एक विशाल चेकरबोर्ड की कल्पना करें जहाँ प्रत्येक वर्ग में एक छोटा कण हो सकता है। इन कणों के पास एक सरल नियम है: वे बाएं या दाएं चल सकते हैं। जब दो कण आपस में टकराते हैं, तो वे टकराकर वापस उछल सकते हैं, या वे एक-दूसरे के पार जा सकते हैं, जो पासे के एक यादृच्छिक रोल पर निर्भर करता है। यह यादृच्छिकता (randomness) सिस्टम में अंतर्निहित है। समय के साथ, यदि आप इन लाखों कणों को देखते हैं, तो उनका सामूहिक व्यवहार बिल्कुल एक तरल पदार्थ के बहने या एक शॉकवेव के आगे बढ़ने जैसा दिखने लगता है। यह "बर्गर्स समीकरण" का क्रियान्वयन है।

जादू तब होता है जब लेखकों को एहसास हुआ कि यह शास्त्रीय यादृच्छिकता वास्तव में क्वांटम दुनिया के लिए एक आदर्श मिलान है। क्वांटम कंप्यूटर में, जब आप एक क्यूबिट (qubit) को मापते हैं, तो परिणाम यादृच्छिक होता है। आमतौर पर, वैज्ञानिक इस यादृच्छिकता से बचने की कोशिश करते हैं क्योंकि यह नाजुक क्वांटम अवस्था को नष्ट कर देती है। लेकिन लेखकों ने देखा कि लैटिस गैस एल्गोरिदम में, "यादृच्छिकता" ही मुख्य बिंदु है। एल्गोरिदम हर चरण पर एक यादृच्छिक विकल्प लेने की अपेक्षा करता है।

"अनकंडीशनल" (बिना शर्त) सफलता

यहाँ उनकी खोज का मूल है: उन्होंने दिखाया कि आप इस यादृच्छिक लैटिस गैस खेल के नियमों को LCU फ्रेमवर्क का उपयोग करके सीधे एक क्वांटम सर्किट में अनुवादित कर सकते हैं।

उनके सेटअप में, क्वांटम कंप्यूटर के पास एक "एनसिला" (ancilla - एक अतिरिक्त सहायक क्यूबिट) होता है जो सिक्के उछालने वाले के रूप में कार्य करता है।

1. सेटअप: कंप्यूटर ग्रिड पर कणों की अवस्था तैयार करता है।
2. फ्लिप: यह सहायक सिक्के को उछालता है।
3. मूव: सिक्के के "हेड्स" या "टेल्स" आने के आधार पर, कंप्यूटर कणों पर नियमों का एक अलग सेट लागू करता है (जैसे उन्हें बाएं या दाएं उछालना)।
4. परिणाम: महत्वपूर्ण बात यह है कि चूंकि लैटिस गैस एल्गोरिदम किसी भी परिणाम के साथ काम करने के लिए डिज़ाइन किया गया है, इसलिए क्वांटम कंप्यूटर को यह जांचने की आवश्यकता नहीं है कि उसे "सही" सिक्का मिला या नहीं। चाहे सिक्का 'हेड्स' आए या 'टेल्स', सिस्टम सही ढंग से विकसित होता है।

यही "अनकंडीशनली सक्सेसफुल" (बिना शर्त सफल) वाला हिस्सा है। पिछली विधियों में, यदि आपको "गलत" सिक्का मिलता था, तो आपको परिणाम को फेंकना पड़ता था और फिर से प्रयास करना पड़ता था। यहाँ, हर परिणाम एक सफलता है। आप चरण 1, फिर चरण 2, फिर चरण 3, और इसी तरह को बिना किसी विफलता के जोड़ सकते हैं। हालाँकि, इस "परफेक्ट" चेनिंग की एक विशिष्ट सीमा है: यह विधि तभी सहजता से काम करती है जब विभिन्न परिणामों (हेड्स बनाम टेल्स) की संभावनाएँ बराबर हों, विशेष रूप से 50/50। लेखकों ने सिद्ध किया कि यदि आप इस एल्गोरिदम को अनकंडीशनली सफल बनाए रखते हुए मनमाने, असमान संभावनाओं (जैसे 70% हेड्स और 30% टेल्स) का उपयोग करने के लिए मजबूर करते हैं, तो गणित विफल हो जाता है। इसलिए, हालांकि आप बिना विफलता के आगे बढ़ सकते हैं, आप वर्तमान में एक विशिष्ट प्रकार की यादृच्छिकता में बंधे हुए हैं जहाँ सिक्का निष्पक्ष (fair) है।

यह एक भूलभुलैया में चलने जैसा है जहाँ आप जो भी रास्ता चुनते हैं, वह आपको अगले चेकपॉइंट तक ले जाता है, बजाय इसके कि रास्ते में डेड एंड (बंद रास्ते) आएं जो आपको शुरुआत से शुरू करने के लिए मजबूर करें—लेकिन केवल तभी जब आप बिल्कुल समान आवृत्ति के साथ बाएं और दाएं मुड़ने के लिए सहमत हों।

उन्होंने गणितीय रूप से सिद्ध किया कि बर्गर्स समीकरण के लिए, लैटिस गैस टकराव (जहाँ कण टकराते हैं) के विशिष्ट नियमों को "LCU-कंजुगेटेड ऑपरेटर्स" के रूप में फिर से लिखा जा सकता है। यह कहने का एक तकनीकी तरीका है कि वे क्वांटम माप ढांचे में पूरी तरह फिट बैठते हैं। उन्होंने यह भी दिखाया कि कणों के "फेज़" (एक सूक्ष्म क्वांटम गुण) में एक छोटा सा बदलाव करके, वे गणित को क्वांटम कंप्यूटर के लिए एकदम सही बना सकते हैं, भले ही शास्त्रीय संस्करण को इसकी आवश्यकता नहीं थी।

क्या काम नहीं करता (और यह क्यों महत्वपूर्ण है)

यह शोध पत्र इस बारे में भी बहुत ईमानदार है कि क्या काम नहीं करता, जो कि काम करने वाली चीज़ों जितना ही महत्वपूर्ण है। लेखकों ने इस समान "रैंडम कॉइन फ्लिप" ट्रिक को एक अन्य पद्धति "फाइनाइट डिफरेंस मेथड" (FDM) पर लागू करने की कोशिश की, जो बिंदुओं के बीच छोटे अंतर को देखकर समीकरणों को हल करने का एक मानक तरीका है। उन्होंने एक साधारण "एडवेक्शन इक्वेशन" (जो बताता है कि कोई चीज़ कैसे चलती है, जैसे हवा में धुआं) के लिए यादृच्छिक FDM बनाने की कोशिश की।

उन्होंने पाया कि यह काम नहीं किया। गणित ने दिखाया कि आप FDM चरणों को केवल एक ऐसी क्वांटम खेल में नहीं बदल सकते जो हर बार सफल हो। इस मामले में, "सिक्के उछालने" के परिणाम डेड एंड की ओर ले जाएंगे, और आपको फिर से शुरू करने के लिए मजबूर होना पड़ेगा। यह एक महत्वपूर्ण निष्कर्ष है क्योंकि यह भविष्य के शोधकर्ताओं को बताता है: "किसी भी पुराने शास्त्रीय एल्गोरिदम को जबरदस्ती क्वांटम संभाव्यता बॉक्स में डालने की कोशिश न करें। आपको उन एल्गोरिदम को चुनना होगा जो स्वाभाविक रूप से यादृच्छिकता के अनुकूल हों, जैसे लैटिस गैस।"

बड़ी तस्वीर

तो, इसका क्या अर्थ है? लेखकों ने एक नए प्रकार का क्वांटम एल्गोरिदम बनाया है जो जटिल, गैर-रैखिक भौतिकी समस्याओं को हल करने के लिए बिना विफलता के डर के समय में आगे बढ़ सकता है। उन्होंने केवल यह नहीं कहा कि "यह संभव है"; उन्होंने विशिष्ट सर्किट बनाया और गणित को सिद्ध किया।

हालाв, एक पेंच है। जबकि एल्गोरिदम का लॉजिक (तर्क) पूर्ण और बिना शर्त सफल है (बशर्ते सिक्का निष्पक्ष हो), जिस तरह से वे वर्तमान में डेटा स्टोर करते हैं (एन्कोडिंग), उसके लिए बहुत अधिक क्वांटम मेमोरी की आवश्यकता होती है। उन्हें अपने ग्रिड के प्रत्येक बिंदु के लिए लगभग दो क्यूबिट की आवश्यकता होती है। एक बड़े सिमुलेशन के लिए, इसके लिए एक विशाल क्वांटम कंप्यूटर की आवश्यकता होगी जो अभी अस्तित्व में नहीं है। लेखक स्वीकार करते हैं कि यह एक सीमा है। वे सुझाव देते हैं कि जबकि उनकी विधि क्वांटम टाइम-मार्चिंग के लॉजिक के लिए एक मौलिक कदम है, अगला बड़ा लक्ष्य डेटा को अधिक कुशलता से पैक करने का तरीका खोजना है ताकि हम वास्तव में वास्तविक हार्डवेयर पर इन सिमुलेशन को चला सकें।

संक्षेप में, यह शोध पत्र एक कार के लिए एक नए, पूर्ण इंजन की खोज करने जैसा है। यह इंजन बिना रुके चलता है, चाहे आप कितनी भी बार एक्सीलेटर दबाएं, जब तक कि आप एक स्थिर, संतुलित लय में गाड़ी चला रहे हैं। लेकिन अभी, कार इतनी भारी है कि उसे सामान्य सड़कों पर चलाना मुश्किल है। लेखकों ने हमें दिखाया है कि इस इंजन को कैसे बनाया जाए; अब चुनौती इसे रखने के लिए एक हल्का कार बनाने की है। यह भविष्य के क्वांटम एल्गोरिदम के लिए दरवाजे खोलता है जो मौसम के पूर्वानुमान से लेकर तरल गतिकी (fluid dynamics) तक, हमारे ब्रह्मांड की जटिल, गैर-रैखिक समस्याओं से निपटने में सक्षम होंगे, बिना विफलताओं के चक्र में फंसे।