Succinct Infinite-Horizon Lyapunov and LQR Value Problems Are BQP-Complete

इंजीनियरिंग और भौतिकी की दुनिया में, प्रणालियों के समय के साथ व्यवहार को समझने की निरंतर आवश्यकता होती है। चाहे वह एक स्थिर पुल का डिजाइन तैयार करना हो, किसी अंतरिक्ष यान का मार्गदर्शन करना हो, या इलेक्ट्रिकल ग्रिड को नियंत्रित करना हो, इंजीनियर यह गणना करने के लिए गणितीय मॉडलों पर भरोसा करते हैं कि एक प्रणाली कुल कितनी ऊर्जा का उपयोग करेगी या उसे सही पथ पर बनाए रखने की लागत क्या होगी। सरल प्रणालियों के लिए, ये गणनाएँ सीधी और सरल होती हैं। हालाँकि, जब प्रणालियाँ विशाल हो जाती हैं—जो लाखों परस्पर क्रिया करने वाले भागों से बनी होती हैं—तो गणित इतना सघन हो जाता है कि सबसे शक्तिशाली सुपरकंप्यूटर भी उचित समय में उत्तर खोजने के लिए संघर्ष करते हैं। यहीं से वह सीमा शुरू होती है जहाँ कंप्यूटर क्या कर सकते हैं और क्या नहीं कर सकते, उनके बीच का अंतर धुंधला होने लगता है। वैज्ञानिकों को लंबे समय से संदेह था कि क्वांटम कंप्यूटर, जो उप-परमाणु कणों के विचित्र नियमों पर काम करते हैं, इन विशिष्ट प्रकार की विशाल गणना समस्याओं को किसी भी क्लासिकल मशीन की तुलना में बहुत तेज़ी से हल कर सकते हैं। लेकिन इस विश्वास को केवल एक आशा से अधिक होने के लिए, इस बात के प्रमाण की आवश्यकता थी कि ये समस्याएँ स्वाभाविक रूप से क्लासिकल कंप्यूटरों के लिए कठिन हैं, न कि केवल इसलिए कि क्वांटम वाले तेज़ हैं।

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

टीम ने फिर एक मौलिक प्रश्न पूछा: क्या एक मानक कंप्यूटर, भले ही वह चीज़ों को तेज़ करने के लिए यादृच्छिक अवसर (random chance) का उपयोग करता हो, इन संक्षेप में वर्णित समस्याओं को तेज़ी से हल कर सकता है? उनका उत्तर एक निश्चित 'नहीं' था। उन्होंने सिद्ध किया कि इन विशिष्ट ऊर्जा और नियंत्रण समस्याओं को हल करना किसी भी संभावित क्वांटम कंप्यूटर को सिम्युलेट करने जितना ही कठिन है। कंप्यूटर विज्ञान की भाषा में, उन्होंने दिखाया कि ये समस्याएँ "BQP-complete" हैं। इसका अर्थ यह है कि यदि एक क्लासिकल कंप्यूटर इन नियंत्रण समस्याओं को कुशलतापूर्वक हल कर सकता है, तो वह उन सभी समस्याओं को भी हल कर सकेगा जिन्हें एक क्वांटम कंप्यूटर हल कर सकता है। चूंकि अधिकांश विशेषज्ञ मानते हैं कि क्लासिकल कंप्यूटर ऐसा नहीं कर सकते, इसलिए शोधकर्ताओं ने निष्कर्ष निकाला कि कोई भी क्लासिकल एल्गोरिदम, चाहे वह कितना भी चतुर या रैंडमाइज्ड क्यों न हो, इन विशिष्ट नियंत्रण समस्याओं को इनपुट के आकार के साथ उचित रूप से बढ़ते समय में हल नहीं कर सकता।

इस निष्कर्ष तक पहुँचने के लिए, शोधकर्ताओं ने केवल अनुमान नहीं लगाया; उन्होंने एक गणितीय सेतु बनाया। उन्होंने प्रदर्शित किया कि एक क्वांटम कंप्यूटर द्वारा की जाने वाली किसी भी गणना को सीधे इन नियंत्रण समस्याओं में अनुवादित किया जा सकता है। यदि आप एक जटिल क्वांटम प्रयोग का परिणाम जानना चाहते हैं, तो आप उस प्रयोग को एक प्रणाली की ऊर्जा या नियंत्रण लागत के विवरण में एनकोड कर सकते हैं। यदि एक क्लासिकल कंप्यूटर तेज़ी से उस ऊर्जा प्रश्न का उत्तर दे सकता है, तो वह प्रभावी रूप से आपके लिए क्वांटम प्रयोग चला रहा होगा। क्योंकि शोधकर्ताओं ने दिखाया कि यह अनुवाद प्रत्येक संभावित क्वांटम कार्य के लिए काम करता है, उन्होंने सिद्ध किया कि नियंत्रण समस्या की कठिनाई क्वांटम कंप्यूटिंग की कठिनाई के बिल्कुल समान है।

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

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

निष्कर्षों ने कठिनाई की प्रकृति को भी स्पष्ट किया। समस्याएँ इसलिए कठिन नहीं हैं क्योंकि संख्याएँ अव्यवस्थित हैं या प्रणालियाँ अराजक हैं। वे इसलिए कठिन हैं क्योंकि जिस तरह से जानकारी को विवरण में पैक किया गया है, वह एक ऐसी जटिलता को छिपाता है जिसे क्लासिक कंप्यूटर पूरे क्वांटम प्रक्रिया को सिम्युलेट किए बिना निकाल नहीं सकते। शोधकर्ताओं ने दिखाया कि भले ही प्रणालियाँ पूरी तरह से स्थिर और सुव्यवस्थित हों, फिर भी छिपी हुई जानकारी का विशाल पैमाना एक बाधा उत्पन्न करता है। यह बाधा बेहतर एल्गोरिदम की अस्थायी कमी नहीं है; यह क्लासिकल कंप्यूटेशन की एक संरचनात्मक सीमा है।

अंत में, यह पेपर रेत पर एक स्पष्ट रेखा खींचता है। यह हमें बताता है कि अनंत-क्षितिज (infinite-horizon) नियंत्रण समस्याओं के एक विशिष्ट, महत्वपूर्ण वर्ग के लिए, कुशल गणना का भविष्य विशेष रूप से क्वांटम तकनीक के पास है। यदि इंजीनियरों को ऐसी विशाल पैमाने की प्रणालियों को अनुकूलित करने की आवश्यकता होती है जिन्हें केवल संक्षिप्त तार्किक नियमों द्वारा वर्णित किया जा सकता है, तो उन्हें क्वांटम मशीनों पर निर्भर रहना होगा। क्लासिकल दृष्टिकोण, अपने सभी संभाव्य (probabilistic) तरीकों के साथ भी, बस एक दीवार से टकरा जाएगा। यह परिणाम केवल क्वांटम लाभों की सूची में एक नया प्रविष्टि नहीं जोड़ता है; यह समस्याओं की एक नई श्रेणी को परिभाषित करता है जहाँ क्वांटम दुनिया केवल एक विकल्प नहीं, बल्कि एकमात्र मार्ग है।