Analyticity of the correlation length in subcritical FK-percolation and Potts models

सांख्यिकीय भौतिकी (statistical physics) की सूक्ष्म दुनिया में, वैज्ञानिक इस बात का अध्ययन करते हैं कि कैसे कणों या स्पिन के विशाल संग्रह एक-दूसरे के साथ परस्पर क्रिया करके उन बड़े पैमाने के गुणों को बनाते हैं जिन्हें हम रोजमर्रा की सामग्रियों में देखते हैं, जैसे कि कोई चुंबक अपनी शक्ति बनाए रखता है या कोई तरल बर्फ में जम जाता है। इस क्षेत्र की एक केंद्रीय अवधारणा "सहसंबंध लंबाई" (correlation length) है, जो यह मापती है कि एक कण का प्रभाव मिटने से पहले कितनी दूर तक पहुँचता है। कल्पना कीजिए कि एक शांत तालाब में पत्थर गिराने पर लहरें फैलती हैं, लेकिन अंततः पानी फिर से स्थिर हो जाता है। लहरें मिटने से पहले जितनी दूरी तय करती हैं, वह सहसंबंध लंबाई के समान है। इन प्रणालियों के "उप-क्रांतिक" (subcritical) चरण में—एक ऐसी अवस्था जहाँ सामग्री स्थिर होती है और अपने मौलिक स्वरूप को बदलने की कगार पर नहीं होती—ये प्रभाव तेजी से समाप्त हो जाते हैं, जो एक अनुमानित घातीय क्षय (exponential decay) का पालन करते हैं। दशकों से, भौतिकविदों ने यह जानने की जिज्ञासा की है कि तापमान में बदलाव होने पर इस क्षय दर की गणितीय सुगमता (smoothness) कैसी होती है। उन्हें संदेह था कि यदि आप तापमान को थोड़ा सा बदलते हैं, तो इन प्रभावों के मिटने की दर एक पूरी तरह से सुचारू और अनुमानित तरीके से बदलेगी, बिना किसी अचानक उछाल या ऊबड़-खाबड़ किनारों के। "अनन्यता" (analyticity) का यह प्रश्न महत्वपूर्ण है क्योंकि यह हमें बताता है कि क्या कोई प्रणाली एक सुसंगत, अंतर्निहित व्यवस्था के साथ व्यवहार करती है या क्या यह स्थिर दिखने के बावजूद भी अचानक, अप्रत्याशित परिवर्तनों को छिपाए रखती है।

शोधकर्ताओं की एक टीम ने अब FK-परकोलेशन (FK-percolation) और पॉट्स मॉडल (Potts models) के रूप में ज्ञात मॉडलों के एक व्यापक वर्ग के लिए इस लंबे समय से चले आ रहे प्रश्न का एक निश्चित उत्तर प्रदान किया है, जो यह वर्णन करते हैं कि एक ग्रिड जैसी संरचना में संबंध कैसे बनते और टूटते हैं। ये मॉडल केवल अमूर्त गणितीय खिलौने नहीं हैं; ये वास्तविक दुनिया की घटनाओं को समझने के लिए शक्तिशाली उपकरण हैं, जिसमें चुंबकों का व्यवहार और छिद्रपूर्ण चट्टान के माध्यम से तरल पदार्थों का प्रवाह शामिल है। शोधकर्ताओं ने सिद्ध किया कि उप-क्रांतिक चरण में, सहसंबंध लंबाई वास्तव में पूरी तरह से सुचारू है। यह इस तरह बदलती है कि यह गणितीय रूप से "अनन्य" (analytic) है, जिसका अर्थ है कि इसे एक एकल, निरंतर सूत्र द्वारा वर्णित किया जा सकता है जो तापमान या दिशा में किसी भी छोटे परिवर्तन के लिए काम करता है। यह परिणाम पुष्टि करता है कि यह प्रणाली इस स्थिर चरण में गुजरते समय किसी छिपे हुए, अचानक बदलावों से ग्रस्त नहीं होती है। यह एक कठोर प्रमाण है कि इन जटिल नेटवर्कों का व्यवहार उतना ही व्यवस्थित और अनुमानित है जितना कि भौतिकविदों ने आशा की थी, जो उन अजीब, अनियमित परिवर्तनों की संभावना को खारिज करता है जो विशिष्ट, अलग तापमानों पर हो सकते थे।

इस निष्कर्ष तक पहुँचने के लिए, टीम को जटिल गणित के एक परिदृश्य से गुजरना पड़ा जो संभाव्यता सिद्धांत (probability theory) को ऑपरेटरों के अध्ययन से जोड़ता है, जो अनिवार्य रूप से ऐसी मशीनें हैं जो संख्याओं के एक सेट को दूसरे में बदल देती हैं। उन्होंने एक विशिष्ट मात्रा पर ध्यान केंद्रित किया जिसे "द्रव्यमान" (mass) कहा जाता है, जो सहसंबंध लंबाई का व्युत्क्रम है; एक बड़ा द्रव्यमान अर्थ है कि प्रभाव तेजी से मिट जाता है। चुनौती यह थी कि द्रव्यमान एक सीमा (limit) द्वारा परिभाषित है जिसमें लघुगणक (logarithm) शामिल है; एक ऐसी गणितीय प्रक्रिया जो क्षय की सुगमता को सिद्ध करने के लिए अत्यंत कठिन होती है। कनेक्शन की संभावनाओं के लघुगणक का सीधा विश्लेषण करना अक्सर विफलताओं की ओर ले जाता है क्योंकि लॉग के भीतर की संख्याएं शून्य हो सकती हैं या जब तापमान को एक जटिल चर (complex variable) के रूप रूप में माना जाता है तो अनियंत्रित व्यवहार कर सकती हैं। इस कठिनाई का सीधे सामना करने के बजाय, शोधकर्ताओं ने एक अलग रास्ता अपनाया। वे "अपरिमेय क्लस्टर्स" (irreducible clusters) से जुड़ी एक विधि की ओर मुड़े, जो मॉडल में कनेक्शन के सबसे छोटे, अविभाज्य निर्माण खंड हैं। कनेक्शनों के जटिल नेटवर्क को इन मौलिक टुकड़ों में तोड़कर, वे सिस्टम को एक विशेष ऑपरेटर का उपयोग करके वर्णित कर सके, जिसे अक्सर र्यूल ऑपरेटर (Ruelle operator) कहा जाता है, जो इन क्लस्टर्स के लिए एक परिष्कृत गिनती मशीन की तरह कार्य करता है।

महत्वपूर्ण मोड़ तब आया जब शोधकर्ताओं ने महसूस किया कि वे तापमान पैरामीटर को न केवल एक वास्तविक संख्या के रूप में, बल्कि एक जटिल संख्या (complex number) के रूप में भी मान सकते हैं, जिससे उन्हें ऑपरेटरों के इस सिद्धांत से शक्तिशाली उपकरण प्राप्त हुए कि उनके इनपुट में थोड़े बदलाव होने पर वे कैसे बदलते हैं। उन्होंने दिखाया कि सिस्टम का वर्णन करने वाला ऑपरेटर बहुत ही स्थिर और सुचारू तरीके से व्यवहार करता है, भले ही तापमान को इस जटिल क्षेत्र में धकेला जाए। क्योंकि इस ऑपरेटर की सबसे महत्वपूर्ण विशेषता—जो सिस्टम की क्षय दर को निर्धारित करती है—बाकी गणितीय शोर से अलग और विशिष्ट रहती है, शोधकर्ता यह सिद्ध करने में सक्षम हुए कि क्षय दर स्वयं सुचारू रूप से बदलती है। यह इस तरह है जैसे कि वायलिन पर बजाया गया एक एकल, स्पष्ट स्वर कमरे के तापमान में मामूली बदलाव के बावजूद स्पष्ट और अपरिवर्तित रहता है, जबकि एक अराजक शोर उसे विकृत कर सकता है। यह सिद्ध करके कि ऑपरेटर की मुख्य विशेषता सुचारू रूप से चलती है, उन्होंने सिद्ध किया कि सहसंबंध लंबाई सुचारू रूप से चलती है। इस दृष्टिकोण ने लघुगणक की कठिनाइयों को दरकिनार करने और पूरे स्थिर चरण में सहसंबंध लंबाई की सुगमता को स्थापित करने में मदद की।

इस निष्कर्ष के निहितार्थ केवल एक गणितीय गुण की पुष्टि करने से कहीं अधिक हैं। शोधकर्ताओं ने अपने परिणाम का उपयोग "वुल्फ शेप" (Wulff shape) के आकार के बारे में प्रश्न को संबोधित करने के लिए किया, जो एक ज्यामितीय वस्तु है जो यह बताती है कि एक विशिष्ट दिशा में जुड़े कणों के क्लस्टर के लिए सबसे कुशल तरीका क्या है। एक पूरी तरह से गोल, घूर्णी सममित (rotationally symmetric) दुनिया में, यह आकार एक गोले के समान होगा। हालाँकि, क्योंकि ये मॉडल एक ग्रिड पर रहते हैं, उनसे उम्मीद की जाती है कि वे उस ग्रिड की अंतर्निहित संरचना को महसूस करेंगे, जिससे आकार पूर्णतः गोल होने के बजाय थोड़ा वर्गाकार या हीरे जैसा हो सकता है। टीम ने सिद्ध किया कि सहसंबंध लंबाई एक निश्चित संख्या में अलग-अलग तापमान बिंदुओं को छोड़कर पूरी तरह से घूर्णी सममित नहीं हो सकती है। दूसरे शब्दों में, सिस्टम लगभग हमेशा उस ग्रिड को "महसूस" करता है जिस पर वह स्थित है, और इसके गुण ग्रिड की ज्यामिति का सम्मान करते हुए बदलते हैं। उन्होंने दिखाया कि यदि आकार एक पूर्ण गोले में बदल जाता, तो इसे केवल बहुत विशिष्ट, अलग तापमानों पर ही होना पड़ता, और संभवतः कभी नहीं होता। यह हमारे इन प्रणालियों की समझ में दृढ़ता की एक परत जोड़ता है, जो दिखाता है कि उनका व्यवहार उनकी संरचना के गणित द्वारा कसकर नियंत्रित है।

यह कार्य दो आयामों में इन मॉडलों के व्यवहार को भी स्पष्ट करता है, जहाँ सिस्टम और उसके दर्पण प्रतिबिंब के बीच एक विशेष संबंध जिसे द्वैतता (duality) कहा जाता है, मौजूद होता है। शोधकर्ताओं ने दिखाया कि यह द्वैतता सहसंबंध लंबाई की सुगमता को बनाए रखती है, जिसका अर्थ है कि एक क्रांतिक तापमान के ऊपर सिस्टम के गुण उतने ही सुचारू हैं जितने कि नीचे के। इसने एक ऐसी धारणा को सुलझा दिया जो काफी समय से खुली पड़ी थी, विशेष रूप से आइसिंग मॉडल (Ising model) के लिए, जो चुंबकत्व का एक प्रसिद्ध मॉडल है। सहसंबंध लंबाई को अनन्य (analytic) सिद्ध करके, शोधकर्ताओं ने "संतृप्ति" (saturation) की घटनाओं के द्वार बंद कर दिए हैं, जहाँ क्षय दर अचानक रुक सकती है या एक विशिष्ट तापमान सीमा में अलग व्यवहार कर सकती है। उनके परिणाम संकेत देते हैं कि इन निकटतम-पड़ोसी मॉडलों के लिए, क्षय दर सबसे ठंडे तापमान से लेकर चरण संक्रमण (phase transition) के बिंदु तक निरंतर और अनुमानित रूप से बदलती है। यह भविष्य के अध्ययनों के लिए एक ठोस आधार प्रदान करता है, जो सुझाव देता है कि यहाँ उपयोग किए गए उपकरणों को उन अधिक जटिल प्रणालियों में भी लागू किया जा सकता है जहाँ कणों के बीच की परस्पर क्रिया केवल तत्काल पड़ोसियों तक सीमित नहीं है।

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