🔢 mathematics

Comparing the Lee-Yang gap with the mass gap in the sub-critical planar Ising model

यह शोध पत्र यह स्थापित करता है कि प्लेनर आइसिंग मॉडल में सबक्रिटिकल मास गैप, ली-यैंग उत्पाद संबंधों और क्रिटिकल मैग्नेटाइजेशन का उपयोग करके निचले स्तर के अनुमान (lower bound) के लिए और रैंडम-करंट मोमेंट बाउंड्स, कोरिलेशन इनइक्वेलिटीज और ऊपरी स्तर के अनुमान (upper bound) के लिए फाइनाइट ब्लॉक एक्सपेंशन का उपयोग करके, ली-यैंग गैप के $8/15$ की घात के तुल्य है, जबकि साथ ही दबाव के फील्ड डेरिवेटिव्स पर यूनिफॉर्म फैक्टोरियल बाउंड्स भी प्राप्त करता है।

मूल लेखक: Noam Borgnia, Jui-Hui Chung, Jacob Shapiro

प्रकाशित 2026-09-23

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Noam Borgnia, Jui-Hui Chung, Jacob Shapiro

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

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

गणितज्ञों की एक टीम ने अब इस विशिष्ट, द्वि-आयामी चुंबकीय मॉडल के लिए इस प्रश्न को सुलझा लिया है। उन्होंने सिद्ध किया है कि चुंबकीय प्रभाव के फीके पड़ने की दर सीधे तौर पर निकटतम गणितीय अस्थिरता तक की दूरी से जुड़ी हुई है, लेकिन इसमें एक आश्चर्यजनक मोड़ है: संबंध एक साधारण एक-से-एक मिलान नहीं है। इसके बजाय, अस्थिरता तक की दूरी को एक विशिष्ट घात (power) द्वारा दर्शाया गया है, जो आठ-पंद्रह (8/15) का एक सटीक गणितीय घातांक है। इसका अर्थ यह है कि यदि आप जानते हैं कि चुंबकीय प्रभाव कितनी तेजी से समाप्त होता है, तो आप गणना कर सकते हैं कि प्रणाली अपने गणितीय टूटने के बिंदु से कितनी दूर है, और इसके विपरीत भी, बशर्ते आप इस विशिष्ट स्केलिंग कारक को लागू करें। शोधकर्ताओं ने केवल इस संबंध का अनुमान नहीं लगाया; उन्होंने एक कठोर प्रमाण (rigorous proof) तैयार किया जो तब भी सत्य रहता है जब प्रणाली अपने क्रांतिक तापमान (critical temperature) के करीब पहुँचती है, वह सटीक बिंदु जहाँ यह अव्यवस्था से व्यवस्था की ओर बदलने वाली होती है।

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

समीकरण के दूसरे पक्ष पर, उन्हें यह दिखाने की आवश्यकता थी कि प्रणाली बहुत अधिक स्थिर नहीं हो सकती। यहाँ, उन्होंने प्रणाली के ज्ञात गुणों पर भरोसा किया जो इसके क्रांतिक बिंदु पर होते हैं, जहाँ चुंबकीय प्रभाव बहुत धीरे-धीरे फीका पड़ता है, जो एक विशिष्ट पैटर्न का पालन करता है। इस टिपिंग पॉइंट पर प्रणाली के व्यवहार को समझकर, वे यह अनुमान लगा सके कि तापमान बदलने के साथ 'गैप' अस्थिरता की ओर कितनी तेजी से सिकुड़ता है। उन्होंने पाया कि इस गैप के सिकुड़ने की दर उसी पावर लॉ (power law) द्वारा नियंत्रित होती है जो प्रणाली के उतार-चढ़ाव का वर्णन करती है। इन दोनों तर्क रेखाओं को एक साथ बुनकर, उन्होंने प्रदर्शित किया कि दोनों गैप तुलनीय हैं, जो उस विशिष्ट घातांक द्वारा एक साथ बंधे हुए हैं: आठ-पंद्रह। यह परिणाम सैद्धांतिक भौतिकी की एक लंबे समय से चली आ रही अंतर्दृष्टि की पुष्टि करता है, जिसने इस आधार पर इस संबंध की भविष्यवाणी की थी कि क्रांतिक बिंदु के पास प्रणाली एक निरंतर तरल (continuous fluid) की तरह व्यवहार करती है, लेकिन इस शोध पत्र ने इस असतत ग्रिड मॉडल (discrete grid model) के लिए पहला कठोर, चरण-दर-चरण प्रमाण प्रदान किया है।

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

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

तकनीकी सारांश: उप-क्रांतिक (sub-critical) प्लानर आइसिंग मॉडल में ली-यंग अंतराल (Lee–Yang Gap) की द्रव्यमान अंतराल (Mass Gap) के साथ तुलना

समस्या विवरण
यह शोध पत्र उप-क्रांतिक (विक्षुब्ध/disordered) चरण में प्लानर आइसिंग मॉडल के दो मौलिक स्पेक्ट्रल परिमाणों के बीच मात्रात्मक संबंध की जांच करता है: द्रव्यमान अंतराल ( $m_\beta$ ) और ली-यंग अंतराल ( $L_\beta$ )।

द्रव्यमान अंतराल ( $m_\beta$ ) चुंबकीय क्षेत्र की अनुपस्थिति में द्वि-बिंदु सहसंबंध फलन (two-point correlation function) के घातांकीय क्षय दर (exponential decay rate) यानी सहसंबंध लंबाई के व्युत्क्रम को दर्शाता है।
ली-यंग अंतराल ( $L_\beta$ ) को जटिल चुंबकीय क्षेत्र तल (complex magnetic field plane) में विभाजन फलन (partition function) के निकटतम शून्य से मूल बिंदु (origin) की दूरी के रूप में परिभाषित किया गया है (विशेष रूप से, निकटतम शुद्ध काल्पनिक शून्य का परिमाण)।

यद्यपि श्रोडिंगर ऑपरेटरों के लिए कोम्ब्स-थॉमस अनुमान (Combes–Thomas estimate) ग्रीन फलन के स्थानिक क्षय दर को स्पेक्ट्रम से दूरी से जोड़ता है, आइसिंग मॉडल के लिए एक कठोर मात्रात्मक समानांतर का अभाव था। पिछले कार्यों ने गुणात्मक संबंध स्थापित किए थे (घातांकीय क्षय शून्य-मुक्त क्षेत्र की उपस्थिति सूचित करता है), लेकिन $\beta_c$ के पास क्रांतिक बिंदु पर $m_\beta$ और $L_\beta$ के बीच सटीक स्केलिंग संबंध एक खुला प्रश्न बना हुआ था। लेखक यह सिद्ध करने का लक्ष्य रखते हैं कि ये दोनों अंतराल तुलनीय हैं, विशेष रूप से यह स्थापित करते हुए कि $\beta \uparrow \beta_c$ होने पर $m_\beta$ , $L_\beta^{8/15}$ के रूप में स्केल करता है (या इसके विपरीत $L_\beta \sim m_\beta^{15/8}$ )।

कार्यप्रणाली
प्रमाण को द्रव्यमान अंतराल के लिए ली-यंग अंतराल के संदर्भ में एक निचली सीमा (lower bound) और एक ऊपरी सीमा (upper bound) स्थापित करने में विभाजित किया गया है।

निचली सीमा ( $m_\beta \gtrsim L_\beta^{8/15}$ ):
- लेखक ली-यंग उत्पाद सूत्र (Lee–Yang product formula/Hadamard factorization) का उपयोग करते हैं ताकि दबाव (pressure/log-partition function) के डेरिवेटिव को ली-यंग शून्यों से जोड़ा जा सके।
- वे मानक अनुमानों का उपयोग करते हैं, विशेष रूप से ससेप्टिबिलिटी ( $\chi_\beta \sim m_\beta^{-7/4}$ ) का एसिम्प्टोटिक व्यवहार और क्रांतिक चुंबकन ( $E_{\beta_c, h}[\sigma_0] \sim h^{1/15}$ )।
- चुंबकन के विचरण (ससेप्टिबिलिटी से जुड़ा हुआ) को चुंबकन की क्षेत्र में एकदिष्टता (monotonicity) के साथ जोड़कर, वे असमानता $L_\beta^{14/15} \lesssim m_\beta^{7/4}$ प्राप्त करते हैं, जो वांछित पावर लॉ प्रदान करती है।
ऊपरी सीमा ( $m_\beta \lesssim L_\beta^{8/15}$ ):
- यह दिशा अधिक तकनीकी रूप से जटिल है और एक फाइनाइट ब्लॉक एक्सपेंशन (finite block expansion) को रैंडम-करंट मोमेंट बाउंड्स (random-current moment bounds) और एक विशिष्ट सहसंबंध असमानता (correlation inequality) के साथ जोड़ती है।
- रैंडम-करंट मोमेंट बाउंड्स: लेखक सहसंबंध असमानताओं (विशेष रूप से एइज़मैन (Aizenman) असमानता और ग्रिफिथ्स-केली-शेरमैन (Griffiths-Kelly-Sherman) असमानताओं) का उपयोग करके परिमित ब्लॉकों के चुंबकन पर गाऊसी (Gaussian) सीमाएं स्थापित करते हैं।
- सहसंबंध असमानता: वे डिंग, सॉन्ग और सन (DSS) के एक परिणाम का उपयोग करते हैं जो किसी भी वास्तविक क्षेत्रों में स्पिन के कोवेरिएंस (covariance) को उनके शून्य-क्षेत्र सहसंबंध द्वारा सीमित करता है। यह उन्हें विभिन्न सीमा स्थितियों (विशेष रूप से, मनमाने विन्यास बनाम सभी-प्लस विन्यास) के तहत ब्लॉकों में स्पिन के सशर्त वितरणों की तुलना करने की अनुमति देता है।
- फाइनाइट ब्लॉक एक्सपेंशन: DSS असमानता का उपयोग करते हुए, लेखक एक "शून्य-मुक्त मानदंड" (zero-free criterion) का निर्माण करते हैं। वे एक ब्लॉक $T_\ell$ और एक परिवेशी शेल (surrounding shell) $S_\ell$ को परिभाषित करते हैं। यदि इन संकुचित सेटों के बीच शून्य-क्षेत्र सहसंबंध ( $q_\beta(\ell)$ ) पर्याप्त रूप से छोटा है, तो विभाजन फलन एक विशिष्ट जटिल पड़ोस में गैर-शून्य होगा।
- प्लानर क्रॉसिंग बाउंड्स: यह सत्यापित करने के लिए कि सहसंबंध $q_\beta(\ell)$ सहसंबंध लंबाई ( $\ell \sim 1/m_\beta$ ) के पैमाने पर घातांकीय रूप से घटता है, लेखक पर्कोलेशन थ्योरी (डूमिनिल-कोपिन और मानोलेसकु; कोहलर-शैंडलर और टेशियन) की विधियों को अनुकूलित करते हैं। वे यह दिखाने के लिए FK-आइसिंग मॉडल के लिए RSW (Russo-Seymour-Welsh) प्रकार के क्रॉसिंग अनुमानों का उपयोग करते हैं कि उप-क्रांतिक चरण में अलग किए गए वायर्ड सेटों (wired sets) में कनेक्शन की प्रायिकता घातांकीय रूप से कम होती है।
- ब्लॉक आकार $\ell \sim 1/m_\beta$ और ससेप्टिबिलिटी बाउंड ( $\chi_\beta \sim m_\beta^{-7/4}$ ) के साथ शून्य-मुक्त मानदंड को जोड़कर, वे $m_\beta$ के संदर्भ में $L_\beta$ पर निचली सीमा प्राप्त करते हैं।

मुख्य योगदान और परिणाम

मुख्य प्रमेय (Theorem 1.1): लेखक सिद्ध करते हैं कि वर्गाकार बक्सों पर मुक्त सीमा स्थितियों (free boundary conditions) के साथ प्लानर आइसिंग मॉडल के लिए, $\beta$ के $\beta_c$ के पर्याप्त निकट होने पर, स्थिरांक $c, C > 0$ विद्यमान हैं:
$c L_\beta^{8/15} \leq m_\beta \leq C L_\beta^{8/15}$
यह निरंतर क्षेत्र सिद्धांत (continuum field theory - Fonseca and Zamolodochikov) से प्राप्त स्केलिंग भविष्यवाणी की पुष्टि करता है, जहाँ ली-यंग एज $h_{cont}/|m_{cont}|^{15/8}$ के एक निश्चित मान पर होता है।
यूनिफॉर्म फैक्टोरियल बाउंड्स: शोध पत्र दबाव (log-partition function) के क्षेत्र डेरिवेटिव पर यूनिफॉर्म बाउंड स्थापित करता है। विशेष रूप से, किसी भी $k \geq 1$ के लिए:
$\frac{1}{|\Lambda_L|} \left| \partial_h^{2k} \log Z_{\beta, L}(h) \bigg|_{h=0} \right| \leq (2k)! C^{2k} m_\beta^{2 - 15k/4}$
यह परिणाम सीधे ली-यंग उत्पाद और स्थापित गैप बाउंड्स से प्राप्त होता है।
रैंडम-फील्ड आइसिंग मॉडल (RFIM) पर अनुमान: लेखक RFIM पर चर्चा करते हैं, जिसमें स्थानिक क्षय और जटिल-क्षेत्र अंतराल के बीच अंतर स्पष्ट किया गया है। वे अनुमान लगाते हैं कि RFIM के लिए, जबकि द्रव्यमान अंतराल धनात्मक रहता है, ली-यंग अंतराल लगभग निश्चित रूप से ( $L_\beta^\eta = 0$ ) शून्य हो सकता है, क्योंकि वहां बड़े क्षेत्र मौजूद हो सकते हैं जहाँ रैंडम फील्ड लगभग शून्य हो जाता है, जो क्रमित चरण (ordered phase) की नकल करता है।
लघु प्रमाणों के लिए बाधा: परिशिष्ट में, लेखक CJN के एक हालिया पेपर द्वारा समर्थित उर्सल फलन (Ursell function) की एकदिष्टता पर आधारित एक संभावित छोटे प्रमाण का विश्लेषण करते हैं। वे उपयोग किए गए एक विशिष्ट सहायक असमानता के लिए एक प्रति-उदाहरण (counterexample) प्रदान करते हैं, जिससे यह स्पष्ट होता है कि वर्तमान प्रमाण के लिए ब्लॉक विस्तार और प्लानर क्रॉसिंग तर्क क्यों आवश्यक हैं।

महत्व
यह शोध पत्र उप-क्रांतिक प्लानर आइसिंग मॉडल में ली-यंग अंतराल और द्रव्यमान अंतराल के बीच पहला कठोर मात्रात्मक तुलना प्रदान करता है। हालांकि गुणात्मक लिंक (घातांकीय क्षय $\iff$ शून्य-मुक्त क्षेत्र) ज्ञात था, यह कार्य दोनों को जोड़ने वाले सटीक महत्वपूर्ण घातांक (critical exponent $15/8$ ) को स्थापित करता है।
लेखक उल्लेख करते हैं कि इस तुलना से श्रोडिंगर ऑपरेटरों में कोम्ब्स-थॉमस अनुमान प्रेरित है, जो क्वांटम ऑपरेटरों के स्पेक्ट्रल गैप और सांख्यिकीय यांत्रिक मॉडलों के ली-यंग शून्यों के बीच एक गहरे संरचनात्मक समानांतर का सुझाव देता है। यह परिणाम यांग-ली एज (Yang-Lee edge) के लिए लैटिस मॉडल में निरंतर स्केलिंग भविष्यवाणी को मान्य करता है। यह कार्य यह भी रेखांकित करता है कि बाउंड्स स्थापित करने के लिए प्लानर क्रॉसिंग अनुमानों और रैंडम-करंट तकनीकों की आवश्यकता है, क्योंकि उर्सल फलन की एकदिष्टता पर आधारित सरल तर्क बाधाओं का सामना करते प्रतीत होते हैं।

इसी तरह के और पेपर