द्वि-आयामी क्रिटिकल आइसिंग मॉडल

द्वि-आयामी क्रिटिकल आइसिंग मॉडल दो आयामों में आइसिंग मॉडल का महत्वपूर्ण बिंदु (ऊष्मप्रवैगिकी)  है। यह एक द्वि-आयामी अनुरूप क्षेत्र सिद्धांत है जिसका समरूपता बीजगणित केंद्रीय प्रभार के साथ विरासोरो बीजगणित है $$c=\tfrac12$$. स्पिन और ऊर्जा ऑपरेटरों के सहसंबंध कार्य का वर्णन किया गया है $$(4, 3)$$ न्यूनतम मॉडल (भौतिकी)। जबकि न्यूनतम मॉडल बिल्कुल हल कर लिया गया है, यह भी देखें, उदाहरण के लिए, आलोचनात्मक प्रतिपादकों को प्रस्तुत करना पर आलेख, समाधान क्लस्टर की कनेक्टिविटी जैसे अन्य अवलोकनों को कवर नहीं करता है।

राज्यों का स्थान और अनुरूप आयाम
न्यूनतम मॉडल (भौतिकी)#का प्रतिनिधित्व $$(4, 3)$$ न्यूनतम मॉडल है:

\begin{array}{c|ccc} 2 & \frac{1}{2} & \frac{1}{16} & 0 \\ 1 & 0 & \frac{1}{16} & \frac{1}{2} \\ \hline & 1 & 2 & 3 \end{array} $$ इसका मतलब यह है कि द्वि-आयामी_अनुरूप_फ़ील्ड_सिद्धांत#स्पेस_ऑफ_स्टेट्स तीन विरासोरो_बीजगणित#उच्चतम_वजन_प्रतिनिधित्व द्वारा उत्पन्न होता है, जो तीन प्राथमिक क्षेत्रों या ऑपरेटरों के अनुरूप होता है: :$$ \begin{array}{cccc} \hline \text{Kac table indices} & \text{Dimension} & \text{Primary field} & \text{Name} \\ \hline (1,1) \text{ or } (3,2) & 0 & \mathbf{1} & \text{Identity} \\ (2,1) \text{ or } (2,2) & \frac{1}{16} & \sigma & \text{Spin} \\ (1,2) \text{ or } (3,1) & \frac12  & \epsilon  & \text{Energy} \\ \hline \end{array} $$ बाएँ और दाएँ गतिमान विरासोरो बीजगणित के उत्पाद के अपरिवर्तनीय प्रतिनिधित्व में राज्यों के स्थान का अपघटन है

\mathcal{S} = \mathcal{R}_{0} \otimes \bar{\mathcal{R}}_0 \oplus \mathcal{R}_{\frac{1}{16}} \otimes \bar{\mathcal{R}}_\frac{1}{16} \oplus \mathcal{R}_\frac12 \otimes \bar{\mathcal{R}}_\frac12 $$ कहाँ $$\mathcal{R}_\Delta$$ विरासोरो बीजगणित के साथ विरासोरो बीजगणित का अघुलनशील उच्चतम-वजन प्रतिनिधित्व है#उच्चतम_वजन_प्रतिनिधित्व $$\Delta$$. विशेष रूप से, आइसिंग मॉडल विकर्ण और एकात्मक है।

वर्ण और विभाजन फ़ंक्शन
विरसोरो_बीजगणित#विरासोरो बीजगणित के तीन अभ्यावेदन के वर्ण जो राज्यों के स्थान में दिखाई देते हैं

\begin{align} \chi_0(q) &= \frac{1}{\eta(q)} \sum_{k\in\mathbb{Z}}\left( q^\frac{(24k+1)^2}{48} -q^\frac{(24k+7)^2}{48}\right) = \frac{1}{2\sqrt{\eta(q)}}\left(\sqrt{\theta_3(0|q)} + \sqrt{\theta_4(0|q)}\right) \\ \chi_{\frac{1}{16}}(q) &= \frac{1}{\eta(q)} \sum_{k\in\mathbb{Z}}\left( q^\frac{(24k+2)^2}{48} -q^\frac{(24k+10)^2}{48}\right) = \frac{1}{2\sqrt{\eta(q)}}\left(\sqrt{\theta_3(0|q)} - \sqrt{\theta_4(0|q)}\right) \\ \chi_{\frac12}(q) &= \frac{1}{\eta(q)} \sum_{k\in\mathbb{Z}}\left( q^\frac{(24k+5)^2}{48} -q^\frac{(24k+11)^2}{48}\right) = \frac{1}{\sqrt{2\eta(q)}}\sqrt{\theta_2(0|q)} \end{align} $$ कहाँ $$\eta(q)$$ डेडेकाइंड और फ़ंक्शन है, और $$\theta_i(0|q)$$ नोम के थीटा फ़ंक्शन हैं $$q=e^{2\pi i\tau}$$, उदाहरण के लिए $$\theta_3(0|q)=\sum_{n\in\mathbb{Z}} q^{\frac{n^2}{2}}$$. Virasoro_conformal_block#Zero-point_blocks_on_the_torus|मॉड्यूलर एस-मैट्रिक्स, यानी मैट्रिक्स $$\mathcal{S}$$ ऐसा है कि $$\chi_i(-\tfrac{1}{\tau}) = \sum_j \mathcal{S}_{ij}\chi_j(\tau)$$, है :$$ \mathcal{S} = \frac12 \left(\begin{array}{ccc} 1 & 1 & \sqrt{2}\\ 1  & 1 & -\sqrt{2} \\ \sqrt{2} & -\sqrt{2} & 0 \end{array}\right) $$ जहां फ़ील्ड को इस प्रकार क्रमबद्ध किया गया है $$1,\epsilon, \sigma$$. द्वि-आयामी_conformal_field_theory#Conformal_bootstrap_eqations विभाजन फ़ंक्शन है

Z(q) = \left|\chi_0(q)\right|^2 + \left|\chi_{\frac{1}{16}}(q)\right|^2 + \left|\chi_\frac12(q)\right|^2 = \frac{|\theta_2(0|q)|+ |\theta_3(0|q)|+|\theta_4(0|q)|}{2|\eta(q)|} $$

फ़्यूज़न नियम और ऑपरेटर उत्पाद विस्तार
मॉडल के द्वि-आयामी_अनुरूप_फ़ील्ड_सिद्धांत#फ़्यूज़न_नियम हैं

\begin{align} \mathbf{1}\times \mathbf{1} &= \mathbf{1} \\ \mathbf{1}\times \sigma &= \sigma \\ \mathbf{1}\times \epsilon &= \epsilon \\ \sigma \times \sigma &= \mathbf{1} + \epsilon \\ \sigma \times \epsilon &= \sigma \\ \epsilon \times \epsilon &= \mathbf{1} \end{align} $$ के अंतर्गत संलयन नियम अपरिवर्तनीय हैं $$\mathbb{Z}_2$$ समरूपता $$\sigma \to -\sigma$$. तीन-बिंदु संरचना स्थिरांक हैं

C_{\mathbf{1}\mathbf{1}\mathbf{1}} = C_{\mathbf{1}\epsilon\epsilon} = C_{\mathbf{1}\sigma\sigma} = 1 \quad, \quad C_{\sigma\sigma\epsilon} = \frac12 $$ उदाहरण के लिए, फ़्यूज़न नियमों और तीन-बिंदु संरचना स्थिरांक को जानने के बाद, ऑपरेटर उत्पाद विस्तार लिखना संभव है

\begin{align} \sigma(z)\sigma(0) &= |z|^{2\Delta_\mathbf{1} - 4\Delta_\sigma} C_{\mathbf{1}\sigma\sigma}\Big(\mathbf{1}(0) + O(z)\Big) + |z|^{2\Delta_\epsilon -4\Delta_\sigma} C_{\sigma\sigma\epsilon} \Big(\epsilon(0) + O(z)\Big) \\ &= |z|^{-\frac14} \Big(\mathbf{1}(0) + O(z)\Big) +\frac12 |z|^\frac34 \Big(\epsilon(0) + O(z)\Big) \end{align} $$ कहाँ $$\Delta_\mathbf{1},\Delta_\sigma,\Delta_\epsilon$$ प्राथमिक क्षेत्रों के अनुरूप आयाम और छोड़े गए पद हैं $$O(z)$$ द्वि-आयामी_अनुरूप_क्षेत्र_सिद्धांत#राज्य-क्षेत्र_पत्राचार के योगदान हैं।

गोले पर सहसंबंध कार्य
प्राथमिक क्षेत्रों का कोई भी एक-, दो- और तीन-बिंदु कार्य गुणात्मक स्थिरांक तक अनुरूप समरूपता द्वारा निर्धारित किया जाता है। फ़ील्ड सामान्यीकरण के विकल्प द्वारा यह स्थिरांक एक- और दो-बिंदु कार्यों के लिए एक निर्धारित किया गया है। एकमात्र गैर-तुच्छ गतिशील मात्राएँ तीन-बिंदु संरचना स्थिरांक हैं, जो ऑपरेटर उत्पाद विस्तार के संदर्भ में ऊपर दिए गए थे।

\left\langle \mathbf{1}(z_1)\right\rangle = 1 \, \ \left\langle\sigma(z_1)\right\rangle = 0 \, \ \left\langle\epsilon(z_1)\right\rangle = 0 $$

\left\langle \mathbf{1}(z_1)\mathbf{1}(z_2)\right\rangle = 1 \, \ \left\langle\sigma(z_1)\sigma(z_2)\right\rangle = |z_{12}|^{-\frac14} \ , \ \left\langle\epsilon(z_1)\epsilon(z_2)\right\rangle = |z_{12}|^{-2} $$ साथ $$ z_{ij} = z_i-z_j$$.



\langle \mathbf{1}\sigma \rangle = \langle \mathbf{1}\epsilon\rangle = \langle \sigma \epsilon \rangle = 0 $$

\left\langle \mathbf{1}(z_1)\mathbf{1}(z_2)\mathbf{1}(z_3)\right\rangle = 1 \, \ \left\langle\sigma(z_1)\sigma(z_2)\mathbf{1}(z_3)\right\rangle = |z_{12}|^{-\frac14} \, \ \left\langle\epsilon(z_1)\epsilon(z_2)\mathbf{1}(z_3)\right\rangle = |z_{12}|^{-2} $$

\left\langle \sigma(z_1)\sigma(z_2)\epsilon(z_3)\right\rangle = \frac12 |z_{12}|^{\frac34} |z_{13}|^{-1} |z_{23}|^{-1} $$

\langle \mathbf{1}\mathbf{1}\sigma \rangle = \langle \mathbf{1}\mathbf{1}\epsilon \rangle = \langle \mathbf{1}\sigma\epsilon \rangle = \langle \sigma\epsilon\epsilon \rangle = \langle \sigma \sigma \sigma \rangle = \langle \epsilon \epsilon\epsilon \rangle = 0 $$ तीन गैर-तुच्छ चार-बिंदु फ़ंक्शन प्रकार के हैं $$\langle \sigma^4\rangle, \langle \sigma^2\epsilon^2\rangle, \langle \epsilon^4\rangle$$. चार-बिंदु फ़ंक्शन के लिए $$ \left\langle\prod_{i=1}^4 V_i(z_i)\right\rangle$$, होने देना $$\mathcal{F}^{(s)}_j$$ और $$\mathcal{F}^{(t)}_j$$ एस- और टी-चैनल अनुरूप ब्लॉक बनें, जो क्रमशः के योगदान के अनुरूप हैं $$V_j(z_2)$$ (और उसके वंशज) ऑपरेटर उत्पाद विस्तार में $$V_1(z_1)V_2(z_2)$$, और का $$V_j(z_4)$$ (और उसके वंशज) ऑपरेटर उत्पाद विस्तार में $$V_1(z_1)V_4(z_4)$$. होने देना $$ x=\frac{z_{12}z_{34}}{z_{13}z_{24}}$$ क्रॉस-अनुपात हो.

के मामले में $$\langle \epsilon^4\rangle$$, फ़्यूज़न नियम सभी चैनलों में केवल एक प्राथमिक फ़ील्ड, अर्थात् पहचान फ़ील्ड की अनुमति देते हैं।



\begin{align} & \langle \epsilon^4\rangle = \left|\mathcal{F}^{(s)}_\textbf{1}\right|^2 = \left|\mathcal{F}^{(t)}_\textbf{1}\right|^2 \\ & \mathcal{F}^{(s)}_\textbf{1} = \mathcal{F}^{(t)}_\textbf{1} = \left[\prod_{1\leq i<j\leq 4} z_{ij}^{-\frac13}\right] \frac{1-x+x^2}{x^\frac23(1-x)^\frac23} \ \underset{(z_i)=(x, 0,\infty, 1)}{=}\ \frac{1}{x(1-x)} -1 \end{align} $$ के मामले में $$\langle \sigma^2\epsilon^2\rangle$$, फ़्यूज़न नियम केवल एस-चैनल में पहचान फ़ील्ड और टी-चैनल में स्पिन फ़ील्ड की अनुमति देते हैं।



\begin{align} & \langle \sigma^2\epsilon^2\rangle = \left|\mathcal{F}^{(s)}_\textbf{1}\right|^2 = C_{\sigma\sigma\epsilon}^2\left|\mathcal{F}^{(t)}_\sigma\right|^2 = \frac14\left|\mathcal{F}^{(t)}_\sigma\right|^2 \\ & \mathcal{F}^{(s)}_\textbf{1} = \frac12 \mathcal{F}^{(t)}_\sigma =\left[z_{12}^\frac14 z_{34}^{-\frac58}\left(z_{13}z_{24}z_{14}z_{23}\right)^{-\frac{3}{16}} \right]\frac{1-\frac{x}{2}}{x^\frac38(1-x)^\frac{5}{16}} \ \underset{(z_i)=(x, 0,\infty, 1)}{=}\ \frac{1-\frac{x}{2}}{x^\frac18(1-x)^\frac12} \end{align} $$ के मामले में $$\langle \sigma^4\rangle$$, संलयन नियम सभी चैनलों में दो प्राथमिक क्षेत्रों की अनुमति देते हैं: पहचान क्षेत्र और ऊर्जा क्षेत्र। इस मामले में हम मामले में अनुरूप ब्लॉक लिखते हैं $$(z_1,z_2,z_3,z_4)=(x,0,\infty,1)$$ केवल: सामान्य मामला प्रीफैक्टर सम्मिलित करके प्राप्त किया जाता है $$x^\frac{1}{24}(1-x)^\frac{1}{24}\prod_{1\leq i<j\leq 4} z_{ij}^{-\frac{1}{24}}$$, और पहचानना $$x$$ क्रॉस-अनुपात के साथ.



\begin{align} \langle \sigma^4\rangle &= \left|\mathcal{F}_\textbf{1}^{(s)}\right|^2 + \frac14 \left|\mathcal{F}_{\epsilon}^{(s)}\right|^2 = \left|\mathcal{F}_\textbf{1}^{(t)}\right|^2 + \frac14 \left|\mathcal{F}_{\epsilon}^{(t)}\right|^2 \\ &= \frac{|1+\sqrt{x}|+|1-\sqrt{x}|}{2|x|^\frac14 |1-x|^\frac14} \ \underset{x\in (0, 1)}{=}\ \frac{1}{|x|^\frac14 |1-x|^\frac14} \end{align} $$ के मामले में $$\langle \sigma^4\rangle$$, अनुरूप ब्लॉक हैं:



\begin{align} & \mathcal{F}_\textbf{1}^{(s)} = \frac{\sqrt{\frac{1+\sqrt{1-x}}{2}}}{x^\frac18(1-x)^\frac18} \ ,\;\; \mathcal{F}_{\epsilon}^{(s)} = \frac{\sqrt{2-2\sqrt{1-x}}}{x^\frac18(1-x)^\frac18} \\ & \mathcal{F}_\textbf{1}^{(t)} = \frac{\mathcal{F}^{(s)}_\textbf{1}}{\sqrt{2}} + \frac{\mathcal{F}^{(s)}_\epsilon}{2\sqrt{2}} = \frac{\sqrt{\frac{1+\sqrt{x}}{2}}}{x^\frac18(1-x)^\frac18} \ ,\;\; \mathcal{F}_{\epsilon}^{(t)} = \sqrt{2}\mathcal{F}^{(s)}_\textbf{1} - \frac{\mathcal{F}^{(s)}_\epsilon}{\sqrt{2}} = \frac{\sqrt{2-2\sqrt{x}}}{x^\frac18(1-x)^\frac18} \end{align} $$ डिराक फर्मियन के संदर्भ में मॉडल के प्रतिनिधित्व से, किसी भी संख्या में स्पिन या ऊर्जा ऑपरेटरों के सहसंबंध कार्यों की गणना करना संभव है: :$$ \left\langle \prod_{i=1}^{2n} \epsilon(z_i)\right\rangle^2 = \left| \det\left(\frac{1}{z_{ij}}\right)_{1\leq i\neq j\leq 2n} \right|^2 $$

\left\langle \prod_{i=1}^{2n} \sigma(z_i)\right\rangle^2 = \frac{1}{2^n}\sum_{\begin{array}{c}\epsilon_i=\pm 1 \\ \sum_{i=1}^{2n}\epsilon_i=0\end{array}} \prod_{1\leq i<j\leq 2n} |z_{ij}|^{\frac{\epsilon_i\epsilon_j}{2}} $$ इन सूत्रों में टोरस पर सहसंबंध कार्यों का सामान्यीकरण है, जिसमें थीटा फ़ंक्शन शामिल हैं।

विकार संचालिका
द्वि-आयामी आइसिंग मॉडल को उच्च-निम्न तापमान द्वंद्व द्वारा स्वयं मैप किया जाता है। स्पिन ऑपरेटर की छवि $$\sigma$$ इस द्वैत के अंतर्गत विकार संचालिका है $$\mu$$, जिसके बाएँ और दाएँ अनुरूप आयाम समान हैं $$(\Delta_\mu,\bar\Delta_\mu) = (\Delta_\sigma,\bar \Delta_\sigma)=(\tfrac{1}{16},\tfrac{1}{16})$$. यद्यपि विकार संचालक न्यूनतम मॉडल से संबंधित नहीं है, उदाहरण के लिए, विकार संचालक से जुड़े सहसंबंध कार्यों की सटीक गणना की जा सकती है

\left\langle \sigma(z_1)\mu(z_2)\sigma(z_3)\mu(z_4)\right\rangle^2 = \frac12 \sqrt{\frac{|z_{13}z_{24}|}{|z_{12}z_{34}z_{23}z_{14}|}} \Big( |x|+|1-x|-1 \Big) $$ जबकि

\left\langle \prod_{i=1}^4\mu(z_i)\right\rangle^2 = \left\langle \prod_{i=1}^4\sigma(z_i)\right\rangle^2 = \frac12 \sqrt{\frac{|z_{13}z_{24}|}{|z_{12}z_{34}z_{23}z_{14}|}} \Big( |x|+|1-x|+1 \Big) $$

समूहों की कनेक्टिविटी
फोर्टुइन और कस्टेलिन के कारण इज़िंग मॉडल का वर्णन एक यादृच्छिक क्लस्टर मॉडल के रूप में किया गया है। इस विवरण में, प्राकृतिक अवलोकन क्लस्टरों की कनेक्टिविटी हैं, यानी संभावनाएँ कि कई बिंदु एक ही क्लस्टर से संबंधित हैं। आइसिंग मॉडल को तब मामले के रूप में देखा जा सकता है $$q=2$$ की $$q$$-स्टेट पॉट्स मॉडल, जिसका पैरामीटर $$q$$ लगातार भिन्न हो सकता है, और विरासोरो बीजगणित के केंद्रीय प्रभार से संबंधित है।

महत्वपूर्ण सीमा में, समूहों की कनेक्टिविटी का व्यवहार स्पिन ऑपरेटर के सहसंबंध कार्यों के अनुरूप परिवर्तनों के तहत समान होता है। फिर भी, कनेक्टिविटी स्पिन सहसंबंध कार्यों के साथ मेल नहीं खाती है: उदाहरण के लिए, तीन-बिंदु कनेक्टिविटी गायब नहीं होती है $$\langle\sigma\sigma\sigma\rangle=0$$. चार स्वतंत्र चार-बिंदु कनेक्टिविटी हैं, और उनका योग मेल खाता है $$\langle\sigma\sigma\sigma\sigma\rangle$$. चार-बिंदु कनेक्टिविटी के अन्य संयोजन विश्लेषणात्मक रूप से ज्ञात नहीं हैं। विशेष रूप से वे न्यूनतम मॉडल के सहसंबंध कार्यों से संबंधित नहीं हैं, हालाँकि वे इससे संबंधित हैं $$ q\to 2$$ में स्पिन सहसंबंधकों की सीमा $$q$$-स्टेट पॉट्स मॉडल.