🔢 mathematics

The Lee-Yang property of isotropic vector ferromagnets and lattice fields

यह शोध पत्र सिद्ध करता है कि एक-आयामी पूर्णांक जालक $\mathds{Z}$ पर आइसोट्रोपिक स्पिन और क्षेत्र मॉडल सभी सम आयामों $D$ के लिए सामान्यीकृत ली-यांग गुण (generalized Lee-Yang property) का पालन करते हैं, जो कि पूर्व में केवल द्वि-आयामी आइसोट्रोपिक मॉडलों के लिए ज्ञात परिणाम का विस्तार है।

मूल लेखक: Yuri Kozitsky

प्रकाशित 2026-03-20

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

CC BY 4.0

मूल लेखक: Yuri Kozitsky

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

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

भौतिकी में, एक प्रसिद्ध नियम है जिसे ली-यैंग प्रमेय (Lee-Yang Theorem) कहा जाता है। यह एक क्रिस्टल बॉल की तरह है जो हमें इस प्रणाली के बारे में बहुत विशिष्ट बात बताती है: यदि आप पूरे शहर के व्यवहार का वर्णन करने वाले गणितीय सूत्र (जिसे पार्टीशन फंक्शन कहा जाता है) को देखते हैं, तो इसके सभी "खतरनाक स्थान" (शून्य/जीरो) एक बहुत ही विशिष्ट, सुरक्षित स्थान पर छिपे होते हैं—वे पूरी तरह से काल्पनिक संख्याएं (imaginary numbers) हैं।

द दशकों तक, भौतिकविदों को पता था कि यह नियम उन सरल प्रणालियों के लिए पूरी तरह से काम करता है जहाँ सेंसर केवल बाएँ या दाएँ (1-आयामी) इशारा करते थे। बाद में, उन्होंने पाया कि यह नियम उन प्रणालियों के लिए भी काम करता है जहाँ सेंसर एक सपाट तल (2-आयामी, जैसे मानचित्र पर दिशा सूचक सुई) में इशारा करते हैं।

लेकिन क्या होगा यदि सेंसर 3D, 4D, या यहाँ तक कि उच्च आयामों (higher dimensions) में इशारा कर सकें? जैसे कि एक घूमता हुआ लट्टू (spinning top) जो हर दिशा में डगमगा सकता है? लंबे समय तक, किसी को नहीं पता था कि क्या यह "क्रिस्टल बॉल" इन जटिल, बहु-आयामी प्रणालियों के लिए भी काम करेगी? विशेष रूप से 4 या उससे अधिक आयामों के लिए।

बड़ी सफलता

यूरी कोज़िट्स्की (Yuri Kozitsky) का यह शोध पत्र एक विशाल जिग्सॉ पहेली के खोए हुए टुकड़े को खोजने जैसा है। लेखक सिद्ध करते हैं कि एक विशिष्ट प्रकार के "पूरी तरह से गोल" (आइसोट्रोपिक) घूमने वाले प्रणालियों के लिए, ली-यैंग नियम सच में काम करता है, लेकिन एक शर्त के साथ: यह सभी सम-आयामी (even dimensions) (2, 4, 6, 8, आदि) के लिए काम करता है।

लेखक ने इसे निम्नलिखित रचनात्मक उपमाओं का उपयोग करके हल किया है:

1. "जादुई दर्पण" (Isotropy)

एक ऐसे घूमते हुए लट्टू की कल्पना करें जो बिल्कुल वैसा ही दिखता है चाहे आप उसे किसी भी दिशा में घुमाएं। गणित में, इसे आइसोट्रॉपी (isotropy) कहा जाता है। लेखक इन पूरी तरह से सममित (symmetrical) लट्टुओं पर ध्यान केंद्रित करते हैं। क्योंकि वे इतने सममित हैं, उनके वर्णन करने वाला गणित बहुत सरल हो जाता है, लगभग एक जादुई दर्पण में अपने प्रतिबिंब को देखने जैसा।

2. "आयामी लिफ्ट" (Dimensional Elevator)

लेखक ने आयामों के बीच जाने के लिए एक चतुर तरकीब खोजी है। आयामों को एक इमारत के फर्श के रूप में सोचें।

हम पहले से जानते थे कि यह नियम दूसरे तल (2D) पर काम करता है।
लेखक ने एक "लिफ्ट" बनाई है जो आपको दूसरे तल से समाधान लेकर तुरंत उसे 4वें, 6ठें, या 8वें तल तक अपग्रेड करने की अनुमति देती है, बिना गणित को तोड़े।
यह लिफ्ट इसलिए काम करती है क्योंकि "सिंगल-स्पिन मेजर" (एक व्यक्तिगत सेंसर कैसे व्यवहार करता है, इसके नियम) का एक विशेष गुण है। यदि एकल सेंसर एक विशिष्ट "सुरक्षित" पैटर्न (गणितीय रूप से जिसे लैगुएर एंटायर फंक्शन कहा जाता है) का पालन करता है, तो पूरा भवन सुरक्षित रहता है।

3. "डोमिनो प्रभाव" (Induction)

यह प्रमाण इंडक्शन (induction) की एक विधि का उपयोग करता है, जो डोमिनो की एक पंक्ति को गिराने जैसा है।

चरण 1: एक बहुत छोटी प्रणाली (केवल 2 सेंसर) के लिए नियम को सिद्ध करें।
चरण 2: यह दिखाएं कि यदि नियम $N$ सेंसरों वाली प्रणाली के लिए काम करता है, तो यह $N+1$ सेंसरों वाली प्रणाली के लिए भी काम करना चाहिए।
चरण 3: चूंकि "लिफ्ट" 2D दुनिया को 4D, 6D, आदि दुनिया से जोड़ती है, इसलिए 2D मामले के लिए सिद्ध करना अपने आप में सभी सम-संख्या वाले उच्च आयामों के लिए सिद्ध हो जाता है।

यह क्यों मायने रखता है?

आप पूछ सकते हैं, "एक गणितीय सूत्र में काल्पनिक शून्य (imaginary zeros) से किसे फर्क पड़ता है?"

वास्तविक दुनिया में, ये शून्य फेज ट्रांजिशन (phase transitions) के बारे में बताते हैं। यह वह क्षण है जब कोई पदार्थ अपनी अवस्था बदलता है, जैसे बर्फ का पानी में बदलना या चुंबक का गर्म होने पर अपना चुंबकत्व खो देना।

यदि शून्य "सुरक्षित" काल्पनिक स्थान में हैं, तो प्रणाली अनुमानित (predictable) व्यवहार करती है।
यदि शून्य खतरनाक क्षेत्र में भटक जाते हैं, तो प्रणाली अराजक या अप्रत्याशित व्यवहार कर सकती है।

इन "रोटर्स" (घूमते हुए लट्टू) के लिए भले आयामों में इन शून्यों के सुरक्षित क्षेत्र में रहने को सिद्ध करके, लेखक भौतिकविदों और गणितज्ञों को एक शक्तिशाली उपकरण प्रदान करते हैं। इसका अर्थ है कि वे जटिल क्वांटम सामग्रियों और क्षेत्रों का अध्ययन करने के लिए उन्नत, उच्च-गति वाली गणितीय तकनीकों का उपयोग कर सकते हैं, यह जानते हुए कि अंतर्निहित गणित स्थिर और विश्वसनीय है।

निष्कर्ष

इस शोध पत्र को एक मास्टर की (master key) के रूप में देखें। लंबे समय तक, हमारे पास 1D और 2D प्रणालियों के दरवाजे खोलने वाली एक चाबी थी। यह शोध पत्र सभी सम-आयामी प्रणालियों के दरवाजे खोलने के लिए एक नई चाबी बनाता है। यह पुष्टि करता है कि इन जटिल, बहु-दिशात्मक घूमने वाले प्रणालियों में प्रकृति की समरूपता (symmetry) मजबूत है, जिससे गणितीय "खतरे के क्षेत्रों" को व्यवस्थित रूप से वहीं रखा गया है जहाँ उन्हें होना चाहिए।

यहाँ यूरी कोज़िट्स्की के शोध पत्र "The Lee-Yang Property of Isotropic Vector Ferromagnets and Lattice Fields" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण और संदर्भ

मुख्य समस्या:
यह शोध पत्र $D \geq 4$ आयामों में आइसोट्रोपिक वेक्टर स्पिन मॉडल्स (रोटर्स) के लिए ली-यांग गुण (Lee-Yang property) से संबंधित गणितीय भौतिकी की एक दीर्घकालिक खुली समस्या को संबोधित करता है।

ली-यांग गुण: मूल रूप से ली और यांग (1952) द्वारा आइसिंग मॉडल ( $D=1$ ) के लिए सिद्ध किया गया था, यह गुण बताता है कि बाहरी चुंबकीय क्षेत्र $h$ के फलन के रूप में देखे जाने पर विभाजन फलन (partition function) $Z(h)$ के शून्य (zeros) विशुद्ध रूप से काल्पनिक अक्ष (imaginary axis) पर स्थित होते हैं।
सामान्यीकरण: उन वेक्टर मॉडल्स के लिए जहाँ स्पिन $D$ -आयामी वेक्टर हैं ( $D \geq 2$ ), यह गुण इंगित करता है कि विभाजन फलन को केवल $z^2$ (जहाँ $z$ जटिल चुंबकीय क्षेत्र वेक्टर है) के साथ धनात्मक गुणांकों वाले एक अनंत गुणनफल के रूप में दर्शाया जा सकता है। विशेष रूप से, $Z_N(z) = Z_N(0) \prod (1 + \gamma_j z^2)$ ।
अंतराल (The Gap): जबकि $D=2$ के लिए यह गुण लिब और सोकल (Lieb and Sokal) द्वारा स्थापित किया गया था, $D \geq 4$ के लिए यह अप्रामाणिक रहा। बैरी साइमन (2019) ने स्पष्ट रूप से $D \geq 4$ के लिए आइसोट्रोपिक क्लासिकल $D$ -रोटर्स के लिए ली-यांग प्रमेय सिद्ध करने को एक प्रमुख अनसुलझे अनुमान के रूप में सूचीबद्ध किया था।

विशिष्ट मॉडल:
लेखक एक आयामी जालक $\mathbb{Z}$ (एक श्रृंखला) पर एक मॉडल का अध्ययन करते हैं जिसमें निकटतम पड़ोसी फेरोमैग्नेटिक इंटरैक्शन ( $J > 0$ ) है। स्पिन $\sigma_l$ $D$ -आयामी वेक्टर हैं, और एकल-स्पिन माप $\chi$ आइसोट्रोपिक (ऑर्थोगोनल रूपांतरणों $O(D)$ के तहत अपरिवर्तित) है।

2. कार्यप्रणाली

प्रमाण सांख्यिकीय यांत्रिकी, जटिल विश्लेषण (complex analysis), और संपूर्ण फलनों (entire functions) के सिद्धांत के एक परिष्कृत संयोजन पर आधारित है।

A. स्ट्रॉन्गली आइसोट्रोपिक मेजर्स और लाप्लास ट्रांसफॉर्म

लेखक स्ट्रॉन्गली आइसोट्रोपिक मेजर्स की अवधारणा पेश करते हैं। एक माप $\chi$ स्ट्रॉन्गली आइसोट्रोपिक है यदि इसे $\chi(d\sigma) = \tau(\sigma^2)d\sigma$ के रूप में व्यक्त किया जा सकता है, जहाँ $\tau$ , $\mathbb{R}_+$ पर एक वितरण है।
मुख्य धारणा यह है कि एकल-स्पिन माप का लाप्लास ट्रांसफॉर्म $\hat{\chi}(z)$ , वर्ग $\mathcal{L}$ के अंतर्गत आता है जो प्रथम प्रकार के लैगुएर एंटायर फंक्शन्स (Laguerre entire functions of the first kind) हैं। ये फलन $C \prod (1 + \gamma_j z^2)$ के रूप में होते हैं जहाँ $\gamma_j > 0$ ।
लेखक इस गुण का उपयोग करते हैं कि अवकलन (differentiation) वर्ग $\mathcal{L}$ को संरक्षित करता है (अर्थात, यदि $f \in \mathcal{L}$ , तो $f' \in \mathcal{L}$ )।

B. आयाम $D$ से $D=2$ तक न्यूनीकरण (Reduction)

एक महत्वपूर्ण तकनीकी नवाचार आयाम $D$ से दो-आयामी मामले ( $D=2$ ) में समस्या का न्यूनीकरण है।
लेखक विभेदक ऑपरेटरों (differential operators) $\Delta_{k,D}$ को परिभाषित करते हैं जो आयाम $D$ में विभाजन फलनों को आयाम $D-2$ में फलनों से जोड़ते हैं।
पहचान $\partial_1 \Delta_{k,D} = \Delta_{k,D} \partial_1$ का उपयोग करके, लेखक दिखाते हैं कि यदि ली-यांग गुण $D=2$ के लिए मान्य है, तो इसे बार-बार अवकलन के माध्यम से $D = 2 + 2m$ तक विस्तारित किया जा सकता है। यह उच्च आयामों के लिए गुण को सीधे सिद्ध करने की आवश्यकता को समाप्त कर देता है।

C. लिब-सोकल प्रमेय के माध्यम से आगमन (Induction) द्वारा प्रमाण

प्रमाण स्पिन की संख्या $N$ पर आगमन (induction) के माध्यम से आगे बढ़ता है।
यह लिब और सोकल (1979) के एक प्रमेय पर निर्भर करता, जो यह स्थापित करता है कि यदि शून्य इंटरैक्शन ( $J=0$ ) वाला विभाजन फलन एक विशिष्ट डोमेन $L \subset \mathbb{C}^2$ में कोई शून्य नहीं रखता है, तो फेरोमैग्नेटिक इंटरैक्शन ( $J>0$ ) वाला विभाजन फलन भी उस डोमेन में कोई शून्य नहीं रखेगा।
लेखक $\mathbb{C}^2$ से $\mathbb{C}^3$ (वर्ग नॉर्म्स और डॉट प्रोडक्ट्स का प्रतिनिधित्व करने वाले) में एक मैपिंग $\ell_{2,2}$ को परिभाषित करते हैं। वे सिद्ध करते हैं कि इस मैपिंग के तहत वह डोमेन जहाँ फलन गैर-शून्य है, ठीक वही डोमेन $L$ है जो लिब और सोकल द्वारा आवश्यक है।

D. ग्राम मैप और समरूपता (Symmetry)

स्पिन की आइसोट्रोपिक प्रकृति के कारण, विभाजन फलन $F_N(z_1, z_2)$ केवल अदिश उत्पादों (scalar products) $z_i \cdot z_j$ पर निर्भर करता है।
लेखक चरों को $\mathbb{C}^D$ में वेक्टर्स से अदिश इनवेरियंट्स (scalar invariants) में बदलने के लिए ग्राम मैप्स (Gram maps) का उपयोग करते हैं। $D \geq 2$ के लिए, यह मैप $\mathbb{C}^3$ पर सर्जेक्टिव है, जिससे समस्या को अदिश चरों $\zeta_1, \zeta_2, \zeta_{12}$ के संदर्भ में माना जा सकता है।

3. मुख्य योगदान

साइमन के अनुमान का समाधान: यह शोध पत्र सभी सम आयामों $D$ के लिए आइसोट्रोपिक क्लासिकल $D$ -रोटर्स और यूक्लिडियन क्वांटम लैटिस फील्ड्स के लिए ली-यांग प्रमेय को सिद्ध करता है। यह बैरी साइमन की अनसुलझे समस्याओं की सूची से अनुमान 9.2.27 को हल करता है।
लिब-सोकल का सामान्यीकरण: यह कार्य विभेदक ऑपरेटरों और लैगुएर एंटायर फंक्शन्स के गुणों का उपयोग करके एक कठोर न्यूनीकरण तंत्र का निर्माण करके लिब-सोकल प्रमेय को सभी सम $D$ के लिए विस्तारित करता है।
स्ट्रॉन्ग आइसोट्रोपी का परिचय: शोध पत्र "स्ट्रॉन्गली आइसोट्रोपिक" मेजर्स के वर्ग को औपचारिक रूप देता है, जो विभिन्न आयामों के मेजर्स को एक एकल जनरेटिंग डिस्ट्रीब्यूशन $\tau$ के माध्यम से संभालने के लिए एक एकीकृत ढांचा प्रदान करता है।
क्वांटम फील्ड्स का प्रबंधन: परिणाम न केवल क्लासिकल रोटर्स बल्कि विशिष्ट यूक्लिडियन क्वांटम लैटिस फील्ड्स (जैसे $\phi^4$ थ्योरी और उच्च-क्रम बहुपद इंटरैक्शन) के मॉडल्स पर भी लागू होते, बशर्ते कि एकल-स्पिन माप लैगुएर स्थिति (Laguerre condition) को पूरा करता हो।

4. मुख्य परिणाम

प्रमेय 2.4 (मुख्य परिणाम):
मान लीजिए $\chi$ , $\mathbb{R}^D$ पर एक स्ट्रॉन्गली आइसोट्रोपिक मेजर है जिसमें ली-यांग गुण है (अर्थात, इसका लाप्लास ट्रांसफॉर्म वर्ग $\mathcal{L}$ में है)। तो, प्रत्येक फेरोमैग्नेटिक कपलिंग $J > 0$ और प्रत्येक सम पूर्णांक $D$ के लिए, जालक $\mathbb{Z}$ पर मॉडल का विभाजन फलन:
$Z_N(z) = \int \exp\left( \sum_{l=1}^N z \cdot \sigma_l + J \sum_{l=1}^{N-1} \sigma_l \cdot \sigma_{l+1} \right) \prod_{l=1}^N \chi(d\sigma_l)$
को इस प्रकार दर्शाया जा सकता है:
$Z_N(z) = Z_N(0) \prod_{j=1}^\infty (1 + \gamma_{j,N} z^2)$
जहाँ $\gamma_{j,N} > 0$ और $\sum \gamma_{j,N} < \infty$ ।

निहितार्थ:

विभाजन फलन के शून्य विशुद्ध रूप से काल्पनिक हैं (चूंकि पद को शून्य करने के लिए $z^2$ को ऋणात्मक वास्तविक होना चाहिए)।
यह परिणाम उन मेजर्स के लिए मान्य है जैसे कि गोले (sphere) पर यूनिफॉर्म डिस्ट्रीब्यूशन (क्लासिकल रोटर्स) और $e^{-a\sigma^2 - b(\sigma^2)^2}$ जैसे पोटेंशियल वाले मेजर्स (क्वांटम फील्ड्स)।

5. महत्व

गणितीय भौतिकी: ली-यांग गुण फेज ट्रांजिशन, स्थिरता और थर्मोडायनामिक फलनों की विश्लेषणात्मकता (analyticity) को समझने के लिए एक आधारशिला है। $D \geq 4$ के लिए इसे सिद्ध करना उच्च-आयामी वेक्टर मॉडल्स के कठोर विश्लेषण में एक महत्वपूर्ण बाधा को हटा देता है।
क्वांटम फील्ड थ्योरी: परिणाम उच्च आयामों में यूक्लिडियन क्वांटम लैटिस फील्ड्स के अध्ययन के लिए कठोर आधार प्रदान करते, यह सुनिश्चित करते हुए कि इन विशिष्ट आइसोट्रोपिक मॉडल्स के लिए कुछ पैथोलॉजिकल व्यवहार (जैसे भौतिक क्षेत्र में शून्य) उत्पन्न नहीं होंगे।
विश्लेषणात्मक विधियाँ: यह शोध पत्र लिब-सोकल की ज़ीरो-फ्री डोमेन तकनीकों को लैगुएर-पोल्या क्लास फलनों के सिद्धांत के साथ संयोजित करने की शक्ति को प्रदर्शित करता है। न्यूनीकरण तकनीक (आयामों के बीच जाने के लिए डेरिवेटिव का उपयोग करना) सांख्यिकीय यांत्रिकी में समान समस्याओं से निपटने के लिए एक नया उपकरण प्रदान करती है जहाँ आयामीता (dimensionality) एक बाधा होती है।

सीमाएँ:
प्रमाण वर्तमान में रिकरेंस संबंधों और ग्राम मैट्रिसेस के रैंक प्रतिबंधों को प्रबंधित करने के लिए एक-आयामी जालक ( $\mathbb{Z}$ ) पर निर्भर करता है। उच्च-आयामी जालक (जैसे $\mathbb{Z}^d$ ) में इस परिणाम को विस्तारित करना एक खुला प्रश्न बना हुआ है, जैसा कि निष्कर्ष में उल्लेख किया गया है। इसके अतिरिक्त, परिणाम सम आयामों $D$ तक ही सीमित है; विषम $D$ के मामले को इस विशिष्ट न्यूनीकरण विधि द्वारा कवर नहीं किया गया है।