Spectral Certificates and Non-commutative Sum-of-Squares Lower Bounds for Hamiltonians

क्वांटम भौतिकी के विशाल परिदृश्य में, वैज्ञानिक कई सूक्ष्म कणों, जैसे कि परमाणुओं या इलेक्ट्रॉनों से बनी प्रणालियों का अध्ययन करते हैं, जो एक-दूसरे के साथ परस्पर क्रिया करते हैं। जब ये कण आपस में एक जटिल जाल की तरह जुड़े होते हैं, तो वे जिसे भौतिक विज्ञानी 'मेनी-बॉडी सिस्टम' (many-body system) कहते हैं, उसे बनाते हैं। इन प्रणालियों को समझने में एक केंद्रीय चुनौती उनकी सबसे कम संभव ऊर्जा अवस्था को निर्धारित करना है, जिसे अक्सर 'ग्राउंड स्टेट' (ground state) कहा जाता है। यह ऊर्जा स्तर अत्यंत महत्वपूर्ण है क्योंकि यह निर्धारित करता है कि प्रणाली कैसे व्यवहार करेगी, ठीक वैसे ही जैसे घाटी का सबसे निचला बिंदु यह तय करता है कि पानी कहाँ जाकर स्थिर होगा। दशकों से, शोधकर्ता इन जटिल प्रणालियों के लिए इस ऊर्जा की भविष्यवाणी करने के लिए संघर्ष कर रहे हैं, विशेष रूप से तब जब कणों के बीच की अंतःक्रियाएं यादृच्छिक (random) या विस्कळीत (disordered) होती हैं। कठिनाई संभावनाओं की विशाल संख्या में निहित है; जैसे-जैसे प्रणाली बढ़ती है, कणों के व्यवस्थित होने के तरीके विस्फोट की तरह बढ़ते जाते हैं, जिससे यहाँ तक कि सबसे शक्तिशाली कंप्यूटरों के लिए भी हर विकल्प की जाँच करना लगभग असंभव हो जाता है।

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

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

शोधकर्ताओं ने "औसत" मामले से शुरुआत की, जहाँ यादृच्छिक अंतःक्रियाएं सामान्य होती हैं। इस परिदृश्य में, सिस्टम का एक अनुमानित ऊर्जा स्तर होता है जिसे आसानी से पहचाना जा सकता है। हालाँकि, केवल अनुमान लगाना पर्याप्त नहीं है; एक कठोर वैज्ञानिक प्रमाण के लिए एक 'सर्टिफिकेट' (certificate) की आवश्यकता होती है, जो एक गणितीय गारंटी हो कि ऊर्जा एक निश्चित मान से कम नहीं हो सकती। टीम ने इन सर्टिफिकेट्स को उत्पन्न करने के लिए एक नया उपकरण बनाया। उन्होंने तर्क पहेलियों (logic puzzles) को हल करने के लिए मूल रूप से उपयोग की जाने वाली एक तकनीक, जिसे 'किकुची मैट्रिक्स मेथड' (Kikuchi matrix method) कहा जाता है, को अपनाया और उसे क्वांटम दुनिया के लिए संशोधित किया। सिस्टम की अंतःक्रियाओं के आधार पर संख्याओं की एक बड़ी, जटिल तालिका बनाकर, वे एक एकल मान की गणना कर सके जो सिस्टम की अधिकतम ऊर्जा पर एक विश्वसनीय ऊपरी सीमा (upper bound) के रूप में कार्य करता है। चूंकि किसी हैमिल्टनियन (Hamiltonian) की अधिकतम ऊर्जा उसके ग्राउंड एनर्जी के ऋणात्मक के बराबर होती है, इसलिए अधिकतम ऊर्जा पर ऊपरी सीमा प्रदान करना, ऋणात्मक हैमिल्टनियन के ग्राउंड एनर्जी पर निचली सीमा (lower bound) को प्रमाणित करने के गणितीय रूप से समकक्ष है।

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

हालाँकि, कहानी तब बदल जाती है जब शोधकर्ता यह पूछते हैं कि क्या यह विधि प्रत्येक संभावित सिस्टम के लिए काम करती है, जिसमें वे सिस्टम भी शामिल हैं जिन्हें विशेष रूप से कठिन होने के लिए डिज़ाइन किया गया है। उन्होंने क्वांटम सिस्टम के एक विशेष परिवार का निर्माण किया जो ज्ञात रूप से कठिन समाधान वाले हैं। ये सिस्टम एक विशिष्ट प्रकार के त्रुटि-सुधार कोड (error-correcting code) का उपयोग करके बनाए गए हैं, जो यह सुनिश्चित करता है कि निम्नतम ऊर्जा अवस्थाएं अत्यधिक जटिल हैं और उन्हें सरल, कम-गहराई वाले क्वांटम सर्किटों द्वारा वर्णित नहीं किया जा सकता है। शोधकर्ताओं ने फिर इन कठिन सिस्टमों के विरुद्ध अपनी नई सर्टिफिकेट विधि का परीक्षण किया।

उन्होंने पाया कि जबकि यह विधि औसत रूप से अच्छा काम करती है, यह इन 'वर्स्ट-केस' (worst-case) उदाहरणों पर बुरी तरह विफल हो जाती है। यहाँ तक कि जब शोधकर्ताओं ने अपने एल्गोरिदम को भारी मात्रा में कम्प्यूटेशनल शक्ति का उपयोग करने की अनुमति दी, तब भी, जो सर्टिफिकेट इसने तैयार किया वह वास्तविक ऊर्जा से बहुत दूर था। सर्टिफिकेट और वास्तविक ऊर्जा के बीच का अंतर, गणना में कितना भी प्रयास किया जाए, बड़ा बना रहा। यह परिणाम गहरा है क्योंकि यह दिखाता है कि यह विधि, हालांकि यादृच्छिक प्रणालियों के लिए शक्तिशाली है, सभी क्वांटम सिस्टम के लिए ग्राउंड एनर्जी खोजने की सामान्य समस्या को हल नहीं कर सकती। यह सिद्ध करता है कि इस प्रकार के गणितीय रिलैक्सेशन (relaxation) की क्वांटम वास्तविकता का सन्निकटन करने की मौलिक सीमाएँ हैं।

शोधकर्ताओं ने इस विधि और 'नॉन-कम्यूटेटिव सम-ऑफ-स्क्वेयर्स' (non-commutative Sum-of-Squares) पदानुक्रम (hierarchy) के रूप में ज्ञात एक व्यापक ढांचे के बीच संबंध की भी खोज की। यह ढांचा गणितीय प्रमाणों को व्यवस्थित करने का एक तरीका है ताकि यह निर्धारित किया जा सके कि क्या कोई सिस्टम एक निश्चित ऊर्जा स्तर तक पहुँच सकता है। उन्होंने पाया कि उनका स्पेक्ट्रल सर्टिफिकेट अनिवार्य रूप से इस व्यापक पदानुक्रम का एक विशिष्ट, कुशल संस्करण है। इस लिंक को समझकर, वे यह सिद्ध करने में सक्षम हुए कि उनकी विधि उन यादृच्छिक प्रणालियों के लिए उतनी ही अच्छी है जितनी कि वह हो सकती है जिनका उन्होंने अध्ययन किया। लेकिन इससे भी महत्वपूर्ण बात यह है कि उन्होंने इस संबंध का उपयोग करके दिखाया कि कठिन, वर्स्ट-केस सिस्टम के लिए, इस पदानुक्रम के सबसे शक्तिशाली संस्करण भी एक अच्छा सन्निकटन प्रदान करने में विफल रहते हैं।

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

यह कार्य क्वांटम यांत्रिकी की एक सूक्ष्म लेकिन महत्वपूर्ण विशेषता पर भी प्रकाश डालता है: जिस तरह से एक प्रणाली के विभिन्न हिस्से परस्पर क्रिया करते हैं, वे या तो हमारी पहेली को सुलझाने में मदद कर सकते हैं या बाधा डाल सकते हैं। यादृच्छिक प्रणालियों में, अंतःक्रियाएं कुछ हद तक समान होती हैं, जिससे नई विधि काम कर पाती है। कठिन प्रणालियों में, अंतःक्रियाएं इस तरह से संरचित होती हैं जो 'फ्रस्ट्रेशन' (frustration) पैदा करती हैं, जिससे सिस्टम को एक सरल अवस्था में स्थिर होने से रोका जाता है। शोधकर्ताओं ने दिखाया कि उनकी विधि कुछ मामलों में इस फ्रस्ट्रेशन का पता लगा सकती है, लेकिन अन्य मामलों में नहीं, यह इस पर निर्भर करता है कि सिस्टम कैसे बनाया गया है।

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

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

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