Lee-Yang theorems for $q$-deformed oscillators and doubly-scaled SYK

सैद्धांतिक भौतिकी के विशाल परिदृश्य में, विस्केंद्रित प्रणालियों (disordered systems) की एक श्रेणी मौजूद है, जहाँ कणों के बीच परस्पर क्रिया के नियम स्थिर नहीं होते, बल्कि एक यादृच्छिक वितरण (random distribution) से लिए जाते हैं। एक ऐसे कमरे की कल्पना करें जो लोगों से भरा हुआ है जहाँ प्रत्येक अजनबियों के जोड़े के बीच हाथ मिलाने का एक अलग, यादृच्छिक रूप से निर्धारित नियम है; कमरे का समग्र व्यवहार उन कनेक्शनों के इस अराजक जाल से उभरता है। ऐसे प्रणालियों का एक सबसे प्रसिद्ध उदाहरण सचेव-ये-कितायव (Sachdev-Ye-Kitaev) मॉडल है, जो एक गणितीय संरचना है जिसका उपयोग भौतिकविदों द्वारा यह अध्ययन करने के लिए किया जाता है कि जटिल क्वांटम सिस्टम कैसे व्यवहार करते हैं जब उनमें कई परस्पर क्रिया करने वाले भाग होते हैं। इन प्रणालियों को समझना इसलिए महत्वपूर्ण है क्योंकि वे ब्लैक होल की प्रकृति, स्ट्रेंज मेटल्स के व्यवहार और क्वांटम सूचना को संसाधित करने की मौलिक सीमाओं का पता लगाने के लिए सरलीकृत प्रयोगशालाओं के रूप में कार्य करते हैं। इन प्रणालियों के अध्ययन में एक केंद्रीय प्रश्न यह है कि क्या वे एक चरण संक्रमण (phase transition) से गुजरते हैं, जो उनकी अवस्था में एक अचानक और नाटकीय परिवर्तन है, ठीक वैसे ही जैसे पानी बर्फ में जम जाता है। इस उत्तर को खोजने के लिए, वैज्ञानिक एक विशिष्ट गणितीय वस्तु की ओर देखते हैं जिसे विभाजन फलन (partition function) कहा जाता है, जो प्रणाली के ऊष्मागतिक गुणों के लिए एक मास्टर कुंजी के रूप में कार्य करता है। यदि इस फलन के शून्य—वे बिंदु जहाँ मान शून्य हो जाता है—गणितीय तल में विशिष्ट क्षेत्रों में स्थित हैं, तो यह प्रकट करता है कि क्या प्रणाली स्थिर है या वह चरण परिवर्तन की कगार पर है।

दशकों से, ली-यांग (Lee-Yang) गुण नामक एक शक्तिशाली विचार भौतिकविदों को इस खोज में मार्गदर्शन कर रहा है। यह अवधारणा बताती है कि कुछ प्रकार की भौतिक प्रणालियों के लिए, विभाजन फलन के शून्य बिखरे हुए नहीं होते, बल्कि जटिल तल (complex plane) में एक एकल, सीधी रेखा में सीमित होते हैं। जब ऐसा होता है, तो यह गारंटी देता है कि प्रणाली किसी भी परिमित तापमान पर चरण संक्रमण का अनुभव नहीं करती है, जिसका अर्थ है कि इसका व्यवहार सुचारू और पूर्वानुमानित रहता है। जबकि यह गुण कई क्रमबद्ध प्रणालियों (ordered systems) के लिए सिद्ध किया जा चुका है, जैसे कि चुंबक जहाँ प्रत्येक परमाणु अपने पड़ोसियों के साथ संरेखित होता है, सचेव-ये-कितायव मॉडल जैसी विस्केंद्रित प्रणालियों के लिए यह एक रहस्य बना हुआ है। अंतःक्रियाओं की यादृच्छिकता गणित को अविश्वसनीय रूप से कठिन बना देती है, और इस मॉडल के विभाजन फलन के शून्यों को समझने के पिछले प्रयासों ने अनुमानों या सिमुलेशन पर भरोसा किया जो कठोर प्रमाण प्रदान नहीं कर सके।

हाल ही में एक अध्ययन में, प्रिंसटन विश्वविद्यालय के शोधकर्ता अर्पोन बसु और सिद्धांत मिधा ने 'डबली-स्केल्ड लिमिट' (doubly-scaled limit) के रूप में ज्ञात एक विशिष्ट शासन में सचेव-ये-कितायव मॉडल के लिए इस लंबे समय से चले आ रहे पहेली को हल कर दिया है। उन्होंने सिद्ध किया कि इस विस्केंद्रित प्रणाली के लिए विभाजन फलन उसी सुरुचिपूर्ण व्यवस्था के साथ व्यवहार करता है जैसा कि सरल, क्रमबद्ध प्रणालियों का होता है, लेकिन विशेष रूप से उस ऊष्मागतिक सीमा (thermodynamic limit) में जहाँ सिस्टम का आकार अनंत रूप से बढ़ता है। विशेष रूप से, उन्होंने प्रदर्शित किया कि इस सीमा में विभाजन फंक्शन के सभी शून्य बिल्कुल काल्पनिक अक्ष (imaginary axis) पर स्थित हैं, जो एक परिणाम है जो पुष्टि करता है कि यह प्रणाली अनंत आकार की ओर बढ़ते समय किसी भी परिमित तापमान पर चरण संक्रमण से मुक्त है। यह निष्कर्ष केवल एक गणितीय जिज्ञासा नहीं है; यह कठोरता से समझाता है कि ये जटिल क्वांटम सिस्टम इतने गणनात्मक रूप से सुलभ क्यों हैं, यह स्पष्ट करता है कि एल्गोरिदम उनकी अंतर्निहित यादृच्छिकता के बावजूद उन्हें कुशलतापूर्वक सिम्युलेट क्यों कर सकते हैं।

इस निष्कर्ष तक पहुँचने के लिए, लेखकों ने सीधे सचेव-ये-कितायव मॉडल पर प्रहार नहीं किया। इसके बजाय, वे एक सरल, संबंधित गणितीय वस्तु की ओर मुड़े जिसे q-विकृत ऑसिलेटर (q-deformed oscillator) कहा जाता है। यह ऑसिलेटर एक सरल क्वांटित प्रणाली का एक सरलीकृत संस्करण है जहाँ कणों के निर्माण और विनाश के नियम एक पैरामीटर द्वारा थोड़े संशोधित होते हैं, जिसे 'q' द्वारा दर्शाया जाता है, जो विकृति की डिग्री को नियंत्रित करता है। जब इस पैरामीटर को एक पर सेट किया जाता है, तो यह एक मानक बोसॉन (boson) की तरह व्यवहार करता है; जब इसे माइनस एक पर सेट किया जाता है, तो यह एक फर्मियन (fermion) की तरह व्यवहार करता है; और इनके बीच के मानों के लिए, यह एक मध्य मार्ग घेरता है जो विस्केंद्रित प्रणाली की आवश्यक विशेषताओं को पकड़ता है। शोधकर्ताओं ने इस ऑसिलेटर के "वैक्यूम पार्टीशन फंक्शन" (vacuum partition function) पर ध्यान केंद्रित किया, जो एक विशिष्ट गणितीय अभिव्यक्ति है जो प्रणाली के खाली होने की स्थिति का वर्णन करती है। उन्होंने यह सिद्ध करने का लक्ष्य रखा कि इस अभिव्यक्ति में भी ली-यांग गुण मौजूद है, जिसका अर्थ है कि इसके शून्य पूरी तरह से काल्पनिक हैं।

इस प्रमाण के मार्ग के लिए टीम को अमूर्त बीजगणित (abstract algebra) और कॉम्बिनेटरिक्स (combinatorics - गणना और व्यवस्था का अध्ययन) के बीच के अंतर को पाटने की आवश्यकता थी। उन्होंने पाया कि वैक्यूम पार्टीशन फंक्शन को बहुपदों (polynomials) के एक अनुक्रम की सीमा के रूप में समझा जा सकता है, जो विभिन्न घातों वाली चरों से बनी अभिव्यक्तियाँ हैं। इन बहुपदों को, जिन्हें उन्होंने q-विकृत मिलान बहुपद (q-deformed matching polynomials) कहा, एक सेट में तत्वों को जोड़े बनाने के तरीकों को गिनकर बनाया गया है, लेकिन एक मोड़ के साथ: हर बार जब दो जोड़े एक विशिष्ट आरेखीय प्रतिनिधित्व में एक-दूसरे को काटते हैं, तो गणना को विकृति पैरामीटर द्वारा भारित (weighted) किया जाता है। शोधकर्ताओं ने सिद्ध किया कि पैरामीटर के किसी भी मान के लिए जो माइनस एक और एक के बीच है, इन बहुपदों में एक उल्लेखनीय गुण है: उनके सभी मूल (roots) वास्तविक संख्याएँ हैं। यह अपने आप में एक महत्वपूर्ण परिणाम है, क्योंकि यह इन आरेखों के यादृच्छिक क्रॉसिंग को इन समीकरणों के एक बहुत ही संरचित ज्यामितीय गुण से जोड़ता है।

इन बहुपदों के "वास्तविक-मूल" (real-rooted) होने की स्थापना करके, टीम एक जटिल विश्लेषण (complex analysis) के शक्तिशाली प्रमेय का उपयोग कर सकी जिससे यह दिखाया जा सके कि इन बहुपदों की सीमा—स्वयं वैक्यूम पार्टीशन फंक्शन—का भी उसके शून्य एक विशिष्ट रेखा पर सीमित होंगे। इस मामले में, क्योंकि इन बहुपदों का निर्माण जिस तरह से किया गया था, विभाजन फलन के शून्य काल्पनिक रेखा पर स्थित हैं। इसने एक लंबे समय से चली आ रही धारणा की पुष्टि की कि q-विकृत ऑसिलेटर के विभाजन फलन के शून्य काल्पनिक अक्ष के बाहर नहीं हैं। इसके अलावा, वे वास्तविक अक्ष के सबसे निकटतम शून्य का सटीक स्थान निर्धारित करने में सक्षम थे, यह दिखाते हुए कि यह एक सुरक्षित दूरी बनाए रखता है, जो प्रणाली की स्थिरता को समझने के लिए महत्वपूर्ण है।

इस कठोर प्रमाण के साथ, शोधकर्ताओं ने अपने निष्कर्षों को मूल सचेव-ये-कितायव मॉडल से जोड़ा। उन्होंने दिखाया कि डबली-स्केल्ड लिमिट में, जहाँ कणों की संख्या और उनकी अंतःक्रियाओं की जटिलता एक विशिष्ट तरीके से एक साथ बढ़ती है, विस्केंद्रित प्रणाली का व्यवहार q-विकृत ऑसिलेटर के समान ही होता है। इसने उन्हें अपने परिणामों को सीधे स्थानांतरित करने की अनुमति दी: चूंकि ऑसिलेटर के विभाजन फलन के सभी शून्य काल्पनिक अक्ष पर हैं, इसलिए सचेव-ये-कितायव मॉडल का विभाजन फलन भी ऊष्मागतिक सीमा में वही करेगा। इसका अर्थ यह है कि जैसे-जैसे प्रणाली अनंत रूप से बड़ी होती जाती है, यह वास्तविक अक्ष के चारों ओर एक "शून्य-मुक्त पट्टी" (zero-free strip) बनाए रखती है जहाँ विभाजन फलन कभी शून्य नहीं होता है।

इस शून्य-मुक्त पट्टी के निहितार्थ भौतिकी और कंप्यूटर विज्ञान दोनों के लिए गहरे हैं। सचेव-ये-कितायव मॉडल के संदर्भ में, यह कठोरता से सिद्ध करता है कि ऊष्मागतिक सीमा में कोई भी परिमित तापमान पर यह प्रणाली चरण संक्रमण से नहीं गुजरती है, जो पिछले संख्यात्मक अवलोकनों और बड़े पैमाने की गणनाओं की पुष्टि करता है। यह ध्यान देना महत्वपूर्ण है कि यह एक स्पर्शोन्मुखी (asymptotic) गुण है; परिमित सिस्टम आकार के लिए, जैसे कि n=8 और k=4, विभाजन फलन वास्तव में गैर-शून्य वास्तविक भागों वाले शून्य रख सकता है, जो यह दर्शाता है कि ली-यांग गुण केवल तभी उभरता है जब सिस्टम अनंत रूप से बड़ा हो जाता है। व्यापक रूप से, यह परिणाम समझाता है कि ये विस्केंद्रित क्वांटम सिस्टम इतने कुशल सिमुलेशन के लिए क्यों अनुकूल हैं। ऊष्मागतिक सीमा में वास्तविक अक्ष के आसपास एक विस्तृत क्षेत्र में शून्यों की अनुपस्थिति यह बताती है कि सिस्टम के गुणों को मानक गणितीय तकनीकों का उपयोग करके संगणना किया जा सकता है, बिना उन सिंगुलैरिटीज़ (singularities) से टकराए जो आमतौर पर ऐसी समस्याओं को कठिन बना देते हैं। यह एक एकीकृत गणितीय सिद्धांत प्रदान करता है जो इन अराजक क्वांटम प्रणालियों के सिमुलेशन के लिए हाल के वर्षों में देखी गई एल्गोरिद्मिक सफलता की व्याख्या करता है।

शोधकर्ताओं ने अपने निष्कर्षों के कॉम्बिनेटरियल परिणामों का भी अन्वेषण किया। यह तथ्य कि बहुपद "वास्तविक-मूल" हैं, संख्याओं के उस अनुक्रम में एक विशिष्ट प्रकार की सुगमता (smoothness) को दर्शाता है जो आरेखों के क्रॉसिंग पैटर्न को गिनते हैं। यह सुगमता, जिसे लॉग-कॉन्कैविटी (log-concavity) कहा जाता है, एक ऐसा गुण है जो अक्सर प्रकृति और गणित में तब दिखाई देता है जब प्रणालियाँ स्थिर और सुव्यवस्थित होती हैं। q-विकृत मोमेंट्स के लिए इस गुण को सिद्ध करके, टीम ने क्वांटम भौतिकी के अंतर्निहित कॉम्बिनेटरियल संरचनाओं को समझने में एक नया स्तर जोड़ा। उन्होंने यह भी दिखाया कि यह सुंदर व्यवहार विकृति पैरामीटर के बीच की सीमा (-1 और 1 के बीच) के लिए सख्ती से सीमित है; इस सीमा के बाहर, गणितीय संरचना टूट जाती है, और शून्य रेखा से भटक सकते हैं, जो स्थिरता के नुकसान का संकेत देते हैं।

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