An edge-bicolored graph approach to the Ising model on random regular graphs

एक विशाल, अराजक पार्टी की कल्पना करें जहाँ हजारों मेहमान (इन्हें "स्पिन्स" कहें) एक घेरे में खड़े हैं। प्रत्येक मेहमान के पास एक साइन है जिस पर या तो "Up" (ऊपर) या "Down" (नीचे) लिखा है। पार्टी का नियम सरल है: हर कोई अपने पड़ोसियों के साथ सहमत होना चाहता है। यदि दो पड़ोसी एक ही साइन रखते हैं, तो वे खुश महसूस करते हैं (कम ऊर्जा); यदि वे असहमत होते हैं, तो वे चिड़चिड़े महसूस करते हैं (उच्च ऊर्जा)। यह आइसिंग मॉडल (Ising model) है, जो भौतिकविदों द्वारा चुंबकों के काम करने के तरीके को समझने का एक प्रसिद्ध तरीका है।

आमतौर पर, इस बात का सटीक पता लगाना कि यह पार्टी वास्तव में कैसे व्यवहार करती है, एक दुस्वप्न जैसा है। यदि मेहमान एक आदर्श ग्रिड (जैसे शतरंज की बिसात) में व्यवस्थित हैं, तो हम इसे हल कर सकते हैं। यदि वे एक साधारण, अनंत पेड़ (tree) के रूप में व्यवस्थित हैं, तो भी हम इसे हल कर सकते हैं। लेकिन क्या होगा यदि मेहमान पूरी तरह से यादृच्छिक (random) तरीके से जुड़े हुए हों, जैसे कि दोस्ती का एक उलझा हुआ जाल जहाँ प्रत्येक व्यक्ति के दोस्तों की संख्या बिल्कुल समान हो? यह एक रैंडम रेगुलर ग्राफ (random regular graph) है।

इस शोध पत्र में, माइकल बोरिन्सकी, शियुए रेन और मैक्सिमिलियन वीसमैन इस समस्या के लिए एक नया और रोमांचक तरीका लेकर आते हैं। इस समस्या के लिए सामान्य भारी गणितीय उपकरणों (जैसे संभाव्यता सिद्धांत) के बजाय, वे एनालिटिक कॉम्बिनेटरिक्स (analytic combinatorics) का उपयोग करते हैं—गणित की एक ऐसी शाखा जो गणना की समस्याओं को 'लेगो ब्रिक्स' (LEGO bricks) के साथ खेलने जैसा मानती है।

जादु적인 तरकीब: किनारों को रंगना (Coloring the Edges)

यहाँ लेखक द्वारा खोजा गया असली रहस्य है। मेहमानों के संकेतों को गिनने के लिए, उन्होंने संकेतों को सीधे नहीं देखा। इसके बजाय, उन्होंने मेहमानों के बीच के संबंधों (हाथ मिलाने/handshakes) की कल्पना की। उन्होंने तय किया कि वे हर हाथ मिलाने (handshake) को या तो लाल (Red) या नीला (Blue) रंग देंगे।

उन्होंने एक जादुई नियम पाया: यदि आप इन विशिष्ट नियमों के साथ इन हैंडशेक्स को रंगने के सभी संभावित तरीकों को गिनते हैं, तो आपको पार्टी की "खुशी" (जिसे भौतिक विज्ञानी पार्टीशन फंक्शन कहते हैं) का सटीक उत्तर मिल जाता है। यह टुकड़ों के बजाय टुकड़ों के रंगों को गिनकर पहेली सुलझाने जैसा है।

इस "एज-बाइकलर्ड" (edge-bicolored) गिनती की तकनीक का उपयोग करके, वे फ्री एनर्जी (free energy) के लिए एक सटीक, क्लोज्ड-फॉर्म फॉर्मूला लिखने में सक्षम हुए। फ्री एनर्जी को पार्टी के समग्र मूड के "तापमान" के रूप में सोचें। उन्होंने ठीक से गणना की कि जब मेहमानों की संख्या अनंत हो जाती है, तो यह मूड क्या होता है।

बड़ी घोषणा: एक फेज ट्रांजिशन (Phase Transition)

उनकी खोज का सबसे रोमांचक हिस्सा यह है कि जब आप तापमान बदलते हैं तो क्या होता है।

कल्पना करें कि आप एक बहुत गर्म पार्टी के साथ शुरुआत करते हैं। हर कोई बेचैन है, अपने संकेतों को बेतरतीब ढंग से बदल रहा है। कोई किसी से सहमत नहीं है। यह "विक्षुब्ध" (disordered) अवस्था है। जैसे-जैसे आप कमरे को धीरे-धीरे ठंडा करते हैं, एक बहुत ही विशिष्ट तापमान पर कुछ जादुई होता है। अचानक, मेहमान एक पैटर्न में बंधने लगते हैं। वे सभी सहमत होने का निर्णय लेते हैं कि या तो "Up" रखेंगे या "Down" (या एक ऐसा मिश्रण जो एक तरफ झुका हुआ हो)। यह "क्रमबद्ध" (ordered) अवस्था है, जहाँ चुंबकत्व (magnetism) सक्रिय होता है।

लेखकों ने सिद्ध किया कि यह बदलाव एक सटीक क्रिटिकल तापमान पर होता है, $T_c = 2J / (k_B \log(k / (k-2)))$।

• $J$ यह है कि मेहमान एक-दूसरे के साथ सहमत होने के प्रति कितने गंभीर हैं।
• $k$ प्रत्येक मेहमान के दोस्तों की संख्या है।
• $k_B$ केवल इकाइयों (units) को व्यवस्थित करने के लिए एक स्थिरांक है।

यदि कमरा $T_c$ से अधिक गर्म है, तो पार्टी अराजक है। यदि यह ठंडा है, तो पार्टी खुद को व्यवस्थित करती है। यह शोध पत्र सिद्ध करता है कि यह एक सेकंड-ऑर्डर फेज ट्रांजिशन (second-order phase transition) है। सरल शब्दों में, इसका अर्थ है कि परिवर्तन सहज लेकिन नाटकीय है: जैसे-जैसे कमरा ठंडा होता है, "चुंबकत्व" (संकेतों की औसत दिशा) शून्य से धीरे-धीरे बढ़ता है, न कि अचानक उछलकर।

उन्होंने क्या खारिज किया

लेखक बहुत स्पष्ट हैं कि क्या नहीं होता है।

• रैंडम फील्ड्स के लिए कोई जादू नहीं: यदि आप एक मजबूत बाहरी चुंबकीय क्षेत्र जोड़ते हैं (सबको "Up" चुनने के लिए मजबूर करते हैं), तो पार्टी में कभी भी अचानक फेज ट्रांजिशन नहीं होता। मेहमान बस आदेशों का पालन करते हैं। "उछाल" केवल तभी होता है जब कमरा बाहरी आदेशों से खाली होता है (शून्य चुंबकीय क्षेत्र)।
• कोई अजीब घातांक (exponents) नहीं: चुंबकों के कुछ मॉडल अजीब व्यवहार करते हैं, जिनमें "क्रिटिकल एक्सपोनेंट्स" (वे संख्याएँ जो बताते हैं कि चीजें कितनी तेजी से बदलती हैं) बहुत जटिल और ग्राफ के आकार के अनुसार अद्वितीय होते हैं। लेखकों ने पाया कि इन रैंडम ग्राफ्स के लिए, एक्सपोनेंट्स बिल्कुल "मीन-फील्ड" (mean-field) मॉडल के समान हैं। यह पुष्टि करता है कि रैंडम ग्राफ ऐसे व्यवहार करते हैं जैसे वे "अनंत आयामों" (infinite dimensions) में हों क्योंकि, स्थानीय स्तर पर, वे पेड़ों (बिना लूप के) की तरह दिखते हैं। गणित यह सिद्ध करता है कि व्यवहार मानक और अनुमानित है, अजीब नहीं।

वे कितने आश्वस्त हैं?

लेखकों ने केवल अनुमान नहीं लगाया या कंप्यूटर सिमुलेशन नहीं चलाया। उन्होंने इसे सिद्ध किया।

• उन्होंने फ्री एनर्जी के लिए एक सटीक फॉर्मूला निकाला (Theorem 1.1)।
• उन्होंने कठोर गणित का उपयोग करके यह दिखाया कि इस फॉर्मूले में एक विशिष्ट बिंदु है जहाँ यह चिकना (smooth) होना बंद कर देता है (फेज ट्रांजिशन)।
• उन्होंने ठीक उसी बिंदु के पास चुंबकत्व के बढ़ने और सिस्टम की "संवेदनशीलता" के बदलने के लिए सटीक संख्याएँ भी गिनीं।

उन्होंने पाया कि "क्रिटिकल एक्सपोनेंट्स" (वे संख्याएँ जो बदलाव की तीव्रता का वर्णन करती हैं) हैं:

• $\alpha = 0$ (विशिष्ट ऊष्मा/Specific heat)
• $\beta_{mag} = 1/2$ (चुंबकत्व कैसे बढ़ता है)
• $\gamma = 1$ (चुंबकीय सुग्राह्यता/Magnetic susceptibility)
• $\delta = 3$ (क्रिटिकल पॉइंट पर चुंबकीय क्षेत्र के प्रति प्रतिक्रिया)

ये संख्याएँ "मीन-फील्ड" थ्योरी से पूरी तरह मेल खाती हैं। पेपर इस बात की पुष्टि करता है कि भले ही ग्राफ रैंडम है, भौतिक विज्ञान का व्यवहार एक चुंबक के सबसे सरल, आदर्श संस्करण जैसा ही है।

निचोड़

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