نموذج إيزينغ

نموذج إيزينغ ثنائي الأبعاد معروض على شكل شبكة من اللفات المتفاعلة.

نموذج إيزينغ (أو نموذج لينز-إيزينغ )، نسبةً إلى الفيزيائيين إرنست إيزينغ وويلهلم لينز ، هو نموذج رياضي للمغناطيسية الحديدية في الميكانيكا الإحصائية . يتكون النموذج من متغيرات منفصلة تُمثل العزوم المغناطيسية ثنائية القطب لذرات "اللف المغزلي" التي يمكن أن تكون في إحدى حالتين (+1 أو -1). تُرتّب اللفات المغزلية في رسم بياني ، عادةً ما يكون شبكة (حيث يتكرر التركيب المحلي دوريًا في جميع الاتجاهات)، مما يسمح لكل لفة مغزلية بالتفاعل مع جيرانها. اللفات المغزلية المتجاورة المتوافقة لها طاقة أقل من تلك غير المتوافقة؛ يميل النظام إلى أدنى طاقة، لكن الحرارة تُخلّ بهذا الميل، مما يُتيح إمكانية وجود أطوار هيكلية مختلفة. يُعد نموذج إيزينغ ثنائي الأبعاد ذو الشبكة المربعة أحد أبسط النماذج الإحصائية التي تُظهر انتقالًا طوريًا . [ 1 ] على الرغم من أنه نموذج مبسط للغاية لمادة مغناطيسية، إلا أن نموذج Ising لا يزال بإمكانه تقديم نتائج نوعية وأحيانًا كمية قابلة للتطبيق على الأنظمة الفيزيائية الحقيقية، وبشكل عام، يمكن اعتباره تخصصًا لنموذج ستانلي المتجه n لـ n = 1 .

ابتكر الفيزيائي فيلهلم لينز ( 1920 ) نموذج إيزينغ ، وقدّمه كمسألة لطالبه إرنست إيزينغ. حلّ إيزينغ (1925) نموذج إيزينغ أحادي البعد بمفرده في أطروحته عام 1924؛ [ 2 ] وهو لا يتضمن انتقالًا طوريًا. أما نموذج إيزينغ ثنائي الأبعاد ذو الشبكة المربعة فهو أكثر تعقيدًا، ولم يُقدّم وصف تحليلي له إلا لاحقًا، على يد لارس أونساغر ( 1944 ) . يُحلّ هذا النموذج عادةً باستخدام طريقة مصفوفة النقل ، على الرغم من وجود طريقة بسيطة جدًا تربط النموذج بنظرية المجال الكمومي الفرميوني غير المتفاعل . [ 3 ]  

في الأبعاد التي تزيد عن أربعة، يُوصف الانتقال الطوري لنموذج إيزينغ بنظرية المجال المتوسط . كما دُرِسَ نموذج إيزينغ للأبعاد الأكبر فيما يتعلق بطوبولوجيات شجرية متنوعة في أواخر سبعينيات القرن الماضي، وبلغت هذه الدراسات ذروتها في إيجاد حل دقيق لنموذج بارث (1981) ذي المجال الصفري والمستقل عن الزمن لأشجار كايلي المغلقة ذات نسبة تفرع عشوائية، وبالتالي، ذات أبعاد كبيرة عشوائية داخل فروع الشجرة. وقد أظهر حل هذا النموذج سلوكًا جديدًا وغير مألوف للانتقال الطوري، إلى جانب ارتباطات غير معدومة بين اللف المغزلي بعيدة المدى وبين أقرب الجيران، وهو ما يُعتبر ذا صلة بالشبكات العصبية الكبيرة كأحد تطبيقاته المحتملة .

يمكن صياغة مشكلة إيزينغ بدون مجال خارجي بشكل مكافئ كمشكلة قطع الرسم البياني الأقصى (Max-Cut) التي يمكن حلها عن طريق التحسين التوافقي .

تعريف

لنفترض مجموعةΛ{\displaystyle \Lambda }من مواقع الشبكة، كل منها يحتوي على مجموعة من المواقع المجاورة (مثل الرسم البياني ) التي تشكلد{\displaystyle d}شبكة ذات أبعاد. لكل موقع من مواقع الشبكةكΛ{\displaystyle k\in \Lambda }يوجد متغير منفصلσك{\displaystyle \sigma _{k}}بحيثσك{-1،+1}{\displaystyle \sigma _{k}\in \{-1,+1\}}، وهو ما يمثل دوران الموقع. تكوين الدوران ،σ={σك}كΛ{\displaystyle {\sigma }=\{\sigma _{k}\}_{k\in \Lambda }}هو عبارة عن تعيين قيمة الدوران لكل موقع في الشبكة.

لأي موقعين متجاورينأنا،جΛ{\displaystyle i,j\in \Lambda }هناك تفاعلجأناج{\displaystyle J_{ij}}موقع أيضًاجΛ{\displaystyle j\in \Lambda }يحتوي على مجال مغناطيسي خارجيحج{\displaystyle h_{j}}التفاعل معها. طاقة التكوينσ{\displaystyle {\sigma }}يتم تحديدها بواسطة دالة هاميلتونيان

ح(σ)=-أناججأناجσأناσج-μجحجσج،{\displaystyle H(\sigma )=-\sum _{\langle ij\rangle}J_{ij}\sigma _{i}\sigma _{j}-\mu \sum _{j}h_{j}\sigma _{j},}

حيث يكون المجموع الأول على أزواج من اللفات المتجاورة (يتم احتساب كل زوج مرة واحدة).أناج{\displaystyle \langle ij\rangle }يشير ذلك إلى أن المواقعأنا{\displaystyle i}وج{\displaystyle j}أقرب الجيران. يُعطى العزم المغناطيسي بواسطةμ{\displaystyle \mu }لاحظ أن إشارة الحد الثاني من الهاميلتوني أعلاه يجب أن تكون موجبة لأن العزم المغناطيسي للإلكترون معاكس لدورانه، ولكن يُستخدم الحد السالب اصطلاحًا. [ 4 ] يُعد هاميلتوني إيزينغ مثالًا على دالة شبه منطقية ؛ ويمكن تطبيق أدوات تحليل الدوال المنطقية لوصفه ودراسته.

يتم تحديد احتمالية التكوين بواسطة توزيع بولتزمان مع درجة حرارة معكوسةβ0{\displaystyle \beta \geq 0}:

Pβ(σ)=هـ-βح(σ)Zβ،{\displaystyle P_{\beta }(\sigma )={\frac {e^{-\beta H(\sigma )}}{Z_{\beta }}},}

أينβ=1/(كبتي){\displaystyle \beta =1/(k_{\text{B}}T)}، وثابت التطبيع

Zβ=σهـ-βح(σ){\displaystyle Z_{\beta }=\sum _{\sigma }e^{-\beta H(\sigma )}}

هي دالة التقسيم . بالنسبة لدالةو{\displaystyle f}من اللفات ("القابلة للملاحظة")، يُشار إليها بـ

وβ=σو(σ)Pβ(σ){\displaystyle \langle f\rangle _{\beta }=\sum _{\sigma }f(\sigma )P_{\beta }(\sigma )}

القيمة المتوقعة (المتوسطة) لـو{\displaystyle f}.

احتمالات التكوينPβ(σ){\displaystyle P_{\beta }(\sigma )}يمثل احتمال أن يكون النظام (في حالة التوازن) في حالة ذات تكوينσ{\displaystyle \sigma }.

مناقشة

الإشارة السالبة على كل حد من حدود دالة هاميلتونح(σ){\displaystyle H(\sigma )}هذا اصطلاح تقليدي. باستخدام هذا الاصطلاح، يمكن تصنيف نماذج إيزينغ وفقًا لإشارة التفاعل: إذا كان، بالنسبة للزوج i ، j 

يُطلق على النظام اسم النظام المغناطيسي الحديدي أو النظام المغناطيسي المضاد للحديد إذا كانت جميع التفاعلات مغناطيسية حديدية أو جميعها مضادة للحديد. كانت نماذج إيزينغ الأصلية مغناطيسية حديدية، ولا يزال يُفترض غالبًا أن "نموذج إيزينغ" يعني نموذج إيزينغ مغناطيسي حديدي.

في نموذج إيزينغ المغناطيسي الحديدي، تميل اللفات المغزلية إلى الاصطفاف: وتكون احتمالية التكوينات التي تكون فيها اللفات المغزلية المتجاورة من نفس الإشارة أعلى. أما في النموذج المغناطيسي المضاد للحديد، فتميل اللفات المغزلية المتجاورة إلى أن تكون لها إشارات متعاكسة.

يوضح اصطلاح الإشارة لـ H (σ) أيضًا كيفية تفاعل موقع الدوران j مع المجال الخارجي. أي أن موقع الدوران يسعى إلى التوافق مع المجال الخارجي. إذا:

  • حج>0{\displaystyle h_{j}>0}، يرغب موقع الدوران j في الاصطفاف في الاتجاه الموجب،
  • حج<0{\displaystyle h_{j}<0}، يرغب موقع الدوران j في الاصطفاف في الاتجاه السالب،
  • حج=0{\displaystyle h_{j}=0}لا يوجد تأثير خارجي على موقع الدوران.

التبسيطات

غالبًا ما تُدرس نماذج إيزينغ دون وجود مجال خارجي يتفاعل مع الشبكة، أي أن h  =  0 لجميع قيم j في الشبكة Λ. باستخدام هذا التبسيط، يصبح الهاميلتوني كما يلي:

ح(σ)=-أنا ججأناجσأناσج.{\displaystyle H(\sigma )=-\sum _{\langle i~j\rangle }J_{ij}\sigma _{i}\sigma _{j}.}

عندما يكون المجال الخارجي صفراً في كل مكان، h  =  0، يكون نموذج Ising متناظراً تحت تبديل قيمة الدوران في جميع مواقع الشبكة؛ المجال غير الصفري يكسر هذا التناظر.

من التبسيطات الشائعة الأخرى افتراض أن جميع الجيران الأقرب ⟨ij⟩ لهم نفس قوة التفاعل. عندئذٍ، يمكننا وضع Jij = J لجميع الأزواج i و j في Λ. في هذه الحالة ، يتم تبسيط الهاميلتوني بشكل أكبر إلى 

ح(σ)=-جأنا جσأناσج.{\displaystyle H(\sigma )=-J\sum _{\langle i~j\rangle }\sigma _{i}\sigma _{j}.}

تُحدد مجموعة جزئية S من مجموعة رؤوس V(G) لرسم بياني غير موجه وموزون G قطعًا للرسم البياني G إلى S ومجموعتها الجزئية المكملة G\S. حجم القطع هو مجموع أوزان الحواف بين S و G\S. الحد الأقصى لحجم القطع هو على الأقل حجم أي قطع آخر، مع تغيير S.

بالنسبة لنموذج إيزينغ بدون مجال خارجي على الرسم البياني G، يصبح الهاميلتوني هو المجموع التالي على حواف الرسم البياني E(G).

ح(σ)=-أناجهـ(جي)جأناجσأناσج{\displaystyle H(\sigma )=-\sum _{ij\in E(G)}J_{ij}\sigma _{i}\sigma _{j}}.

هنا، كل رأس i من الرسم البياني هو موقع دوران يأخذ قيمة دورانσأنا=±1{\displaystyle \sigma _{i}=\pm 1}تكوين دوران معينσ{\displaystyle \sigma }يقسم مجموعة الرؤوسV(جي){\displaystyle V(G)}إلى اثنينσ{\displaystyle \sigma }المجموعات الفرعية المعتمدة، تلك التي تبدأ بالدورانV+{\displaystyle V^{+}}وتلك التي تخضع لعملية التخفيض التدريجيV-{\displaystyle V^{-}}نرمز بـدلتا(V+){\displaystyle \delta (V^{+})}الσ{\displaystyle \sigma }مجموعة من الحواف التي تربط مجموعتي الرؤوس المتكاملتين، وتعتمد على نوع الحافة.V+{\displaystyle V^{+}}وV-{\displaystyle V^{-}}الحجم|دلتا(V+)|{\displaystyle \left|\delta (V^{+})\right|}من القطعدلتا(V+){\displaystyle \delta (V^{+})}يمكن تعريف تقسيم الرسم البياني غير الموجه الموزون G إلى جزأين على النحو التالي:

|دلتا(V+)|=12أناجدلتا(V+)دبليوأناج،{\displaystyle \left|\delta (V^{+})\right|={\frac {1}{2}}\sum _{ij\in \delta (V^{+})}W_{ij},}

أيندبليوأناج{\displaystyle W_{ij}}يشير إلى وزن الحافةأناج{\displaystyle ij}وتم إدخال عامل القياس 1/2 للتعويض عن احتساب نفس الأوزان مرتين.دبليوأناج=دبليوجأنا{\displaystyle W_{ij}=W_{ji}}.

الهويات

ح(σ)=-أناجهـ(V+)جأناج-أناجهـ(V-)جأناج+أناجدلتا(V+)جأناج=-أناجهـ(جي)جأناج+2أناجدلتا(V+)جأناج،{\displaystyle {\begin{aligned}H(\sigma )&=-\sum _{ij\in E(V^{+})}J_{ij}-\sum _{ij\in E(V^{-})}J_{ij}+\sum _{ij\in \delta (V^{+})}J_{ij}\\&=-\sum _{ij\in E(G)}J_{ij}+2\sum _{ij\in \delta (V^{+})}J_{ij},\end{aligned}}}

حيث لا يعتمد المجموع الكلي في الحد الأول علىσ{\displaystyle \sigma }، مما يعني أن التقليلح(σ){\displaystyle H(\sigma )}فيσ{\displaystyle \sigma }يعادل تقليلأناجدلتا(V+)جأناج{\displaystyle \sum _{ij\in \delta (V^{+})}J_{ij}}تحديد وزن الحافةدبليوأناج=-جأناج{\displaystyle W_{ij}=-J_{ij}}وبذلك تتحول مسألة إيزينغ بدون مجال خارجي إلى مسألة قطع قصوى للرسم البياني [ 5 ] التي تعمل على تعظيم حجم القطع|دلتا(V+)|{\displaystyle \left|\delta (V^{+})\right|}والتي ترتبط بهاملتونيان إيزينغ على النحو التالي،

ح(σ)=أناجهـ(جي)دبليوأناج-4|دلتا(V+)|.{\displaystyle H(\sigma )=\sum _{ij\in E(G)}W_{ij}-4\left|\delta (V^{+})\right|.}

أسئلة

يوجد عدد كبير من الأسئلة الإحصائية التي يجب طرحها حول هذا النموذج في حالة وجود عدد كبير من الدورات:

  • في التكوين النموذجي، هل تكون معظم اللفات +1 أو -1، أم أنها منقسمة بالتساوي؟
  • إذا كانت قيمة الدوران عند أي موضع معين i تساوي 1، فما هو احتمال أن تكون قيمة الدوران عند الموضع j تساوي 1 أيضًا؟
  • إذا تغيرت قيمة β ، فهل يحدث تحول طوري؟
  • على شبكة Λ، ما هو البعد الكسري لشكل مجموعة كبيرة من اللفات +1؟

الخصائص الأساسية والتاريخ

تصوير مقياس الاحتمالية الثابت تحت الإزاحة لنموذج إيزينغ أحادي البعد

إن أكثر حالات نموذج إيزينغ دراسة هي نموذج المجال الصفري المغناطيسي الحديدي غير المتغير مع الإزاحة على شبكة ذات أبعاد d ، أي Λ  = Z d ، J ij = 1 ، h = 0.     

لا يوجد انتقال طوري في بُعد واحد

في أطروحته للدكتوراه عام 1924، حلّ إيزينغ النموذج لحالة البعد d  =  1، والتي يمكن اعتبارها شبكة أفقية خطية حيث يتفاعل كل موقع فقط مع جاريه الأيمن والأيسر. في بُعد واحد، لا يسمح الحل بأي انتقال طوري . [ 6 ] أي، لأي قيمة موجبة لـ β، تتلاشى الارتباطات ⟨σ i σ j ⟩ أُسّيًا في | i j |:  σأناσجβجخبرة(-ج(β)|أنا-ج|)،{\displaystyle \langle \sigma _{i}\sigma _{j}\rangle _{\beta }\leq C\exp \left(-c(\beta )|i-j|\right),}

والنظام غير منظم. وبناءً على هذه النتيجة، استنتج خطأً أن هذا النموذج لا يُظهر سلوكًا طوريًا في أي بُعد.

التحول الطوري والحل الدقيق في بعدين

يخضع نموذج إيزينغ لانتقال طوري بين طور منظم وطور غير منظم في بعدين أو أكثر. أي أن النظام يكون غير منظم عند قيم β الصغيرة، بينما عند قيم β الكبيرة يُظهر النظام ترتيبًا مغناطيسيًا حديديًا.

σأناσجβج(β)>0.{\displaystyle \langle \sigma _{i}\sigma _{j}\rangle _{\beta }\geq c(\beta )>0.}

وقد تم إثبات ذلك لأول مرة بواسطة رودولف بيرلز في عام 1936، [ 7 ] باستخدام ما يسمى الآن بحجة بيرلز .

قام لارس أونساغر ( 1944 ) بحل نموذج إيزينغ على شبكة مربعة ثنائية الأبعاد بدون مجال مغناطيسي تحليليًا . وقد حصل أونساغر على دوال الارتباط والطاقة الحرة لنموذج إيزينغ، وأعلن عن صيغة التمغنط التلقائي للنموذج ثنائي الأبعاد في عام 1949، لكنه لم يقدم اشتقاقًا لها. وقدّم يانغ (1952) أول برهان منشور لهذه الصيغة، باستخدام صيغة حدية لمحددات فريدهولم ، والتي أثبتها سيغو في عام 1951 ردًا مباشرًا على عمل أونساغر. [ 8 ] 

عدم المساواة في الارتباط

تم اشتقاق عدد من متباينات الارتباط بشكل دقيق لارتباطات دوران إيزينغ (للهياكل الشبكية العامة)، مما مكن علماء الرياضيات من دراسة نموذج إيزينغ سواء في حالة الحرج أو خارجها.

عدم المساواة في غريفيث

بالنظر إلى أي مجموعة فرعية من اللفاتσأ{\displaystyle \sigma _{A}}وσب{\displaystyle \sigma _{B}}على الشبكة، تتحقق المتباينة التالية،

σأσبσأσب،{\displaystyle \langle \sigma _{A}\sigma _{B}\rangle \geq \langle \sigma _{A}\rangle \langle \sigma _{B}\rangle ,}

أينσأ=جأσج{\displaystyle \langle \sigma _{A}\rangle =\langle \prod _{j\in A}\sigma _{j}\rangle }.

معب={\displaystyle B=\emptyset }الحالة الخاصةσأ0{\displaystyle \langle \sigma _{A}\rangle \geq 0}نتائج.

هذا يعني أن اللف المغزلي مرتبط ارتباطًا إيجابيًا في مغناطيس إيزينغ الحديدي. ومن التطبيقات المباشرة لذلك أن مغنطة أي مجموعة من اللف المغزليσأ{\displaystyle \langle \sigma _{A}\rangle }تزداد بالنسبة لأي مجموعة من ثوابت الاقترانجب{\displaystyle J_{B}}.

عدم المساواة بين سيمون وليب

تنص متباينة سيمون-ليب [ 9 ] على أنه لأي مجموعةS{\displaystyle S}قطع الاتصالx{\displaystyle x}منy{\displaystyle y}(على سبيل المثال، حدود صندوق معx{\displaystyle x}التواجد داخل الصندوق وy{\displaystyle y}(التواجد في الخارج)،

σxσyzSσxσzσzσy.{\displaystyle \langle \sigma _{x}\sigma _{y}\rangle \leq \sum _{z\in S}\langle \sigma _{x}\sigma _{z}\rangle \langle \sigma _{z}\sigma _{y}\rangle .}

يمكن استخدام هذه المتباينة لتحديد مدى حدة الانتقال الطوري لنموذج إيزينغ. [ 10 ]

عدم المساواة في FKG

تم إثبات هذه المتباينة أولاً لنوع من نماذج الترشيح ذات الارتباط الإيجابي ، والتي تتضمن تمثيلاً لنموذج إيزينغ. وتُستخدم لتحديد درجات الحرارة الحرجة لنموذج بوتس المستوي باستخدام حجج الترشيح (والتي تشمل نموذج إيزينغ كحالة خاصة). [ 11 ]

الأهمية التاريخية

بينما أوضحت قوانين الروابط الكيميائية للكيميائيين في القرن التاسع عشر أن الذرات حقيقية، استمر الجدل بين الفيزيائيين حتى أوائل القرن العشرين. طبق علماء الذرة، ولا سيما جيمس كلارك ماكسويل ولودفيج بولتزمان ، صياغة هاميلتون لقوانين نيوتن على الأنظمة الكبيرة، ووجدوا أن السلوك الإحصائي للذرات يصف بدقة الغازات في درجة حرارة الغرفة. لكن الميكانيكا الإحصائية الكلاسيكية لم تأخذ في الحسبان جميع خصائص السوائل والمواد الصلبة، ولا الغازات في درجات الحرارة المنخفضة.

بمجرد صياغة ميكانيكا الكم الحديثة، لم يعد المذهب الذري يتعارض مع التجربة، لكن هذا لم يُفضِ إلى قبول عالمي للميكانيكا الإحصائية، التي تجاوزت المذهب الذري. فقد وضع جوزيا ويلارد جيبس ​​صيغةً كاملةً لإعادة إنتاج قوانين الديناميكا الحرارية من قوانين الميكانيكا. إلا أن العديد من الحجج المغلوطة بقيت من القرن التاسع عشر، حين كانت الميكانيكا الإحصائية موضع شك. ويعود السبب في قصور الحدس في الغالب إلى أن نهاية نظام إحصائي لانهائي تحتوي على العديد من القوانين الثنائية (صفر-واحد) الغائبة في الأنظمة المحدودة: إذ يمكن لتغيير طفيف في أحد المعاملات أن يُحدث اختلافات كبيرة في السلوك الكلي الإجمالي.

لا توجد تحولات طورية في حجم محدود

في أوائل القرن العشرين، اعتقد البعض أن دالة التوزيع لا يمكنها أبدًا وصف الانتقال الطوري، استنادًا إلى الحجة التالية:

  1. دالة التقسيم هي مجموع e −β E على جميع التكوينات.
  2. الدالة الأسية تحليلية في كل مكان كدالة لـ β.
  3. مجموع الدوال التحليلية هو دالة تحليلية.

تصلح هذه الحجة لمجموع محدود من الدوال الأسية، وتثبت بشكل صحيح عدم وجود نقاط شاذة في الطاقة الحرة لنظام ذي حجم محدود. أما بالنسبة للأنظمة التي تقع في الحد الديناميكي الحراري (أي الأنظمة اللانهائية)، فقد يؤدي المجموع اللانهائي إلى ظهور نقاط شاذة. يكون التقارب نحو الحد الديناميكي الحراري سريعًا، بحيث يظهر سلوك الطور بوضوح حتى على شبكة صغيرة نسبيًا، على الرغم من أن الحجم المحدود للنظام يُخفف من حدة النقاط الشاذة.

وقد تم إثبات ذلك لأول مرة بواسطة رودولف بيرلز في نموذج إيزينغ.

قطرات بايرلز

بعد فترة وجيزة من قيام لينز وإيزينغ ببناء نموذج إيزينغ، تمكن بيرلز من إظهار أن الانتقال الطوري يحدث في بعدين بشكل صريح.

لتحقيق ذلك، قارن بين حدود درجات الحرارة العالية والمنخفضة. عند درجة حرارة لانهائية (β  = 0)، تتساوى احتمالية جميع التكوينات. كل دورة مستقلة تمامًا عن الأخرى، وإذا رُسمت التكوينات النموذجية عند درجة حرارة لانهائية بحيث يُمثل اللونان الأسود والأبيض علامتي الجمع والطرح، فإنها تبدو كتشويش شاشة التلفاز . أما عند درجات حرارة عالية، ولكن ليست لانهائية، فتوجد ارتباطات طفيفة بين المواضع المتجاورة، ويميل التشويش إلى التكتل قليلًا، لكن الشاشة تبقى عشوائية المظهر، ولا يوجد فائض صافٍ من اللون الأسود أو الأبيض.

المقياس الكمي للفائض هو المغنطة ، وهي القيمة المتوسطة للدوران:

م=1شمالأنا=1شمالσأنا.{\displaystyle M={\frac {1}{N}}\sum _{i=1}^{N}\sigma _{i}.}

إن الحجة الزائفة المشابهة للحجة الواردة في القسم الأخير تثبت الآن أن متوسط ​​التمغنط في نموذج إيزينغ يساوي صفرًا دائمًا.

  1. كل تكوين من الدوران له طاقة مساوية للتكوين الذي تم فيه قلب جميع الدورانات.
  2. لذلك لكل تكوين ذي مغنطة M يوجد تكوين ذو مغنطة − M باحتمالية متساوية.
  3. لذلك ينبغي أن يقضي النظام فترات زمنية متساوية في التكوين مع المغنطة M كما هو الحال مع المغنطة - M.
  4. لذا فإن متوسط ​​المغنطة (على مدار الزمن) يساوي صفرًا.

كما في السابق، يثبت هذا فقط أن متوسط ​​المغنطة يساوي صفرًا عند أي حجم محدود. أما بالنسبة لنظام لانهائي، فقد لا تتمكن التقلبات من دفع النظام من حالة موجبة في الغالب إلى حالة سالبة في الغالب باحتمالية غير صفرية.

عند درجات الحرارة العالية جدًا، ينعدم التمغنط، كما هو الحال عند درجة حرارة لانهائية. ولتوضيح ذلك، لاحظ أنه إذا كان للدوران A ارتباط ضعيف ε مع الدوران B، وكان B مرتبطًا ارتباطًا ضعيفًا فقط مع C، ولكن C مستقل عن A فيما عدا ذلك، فإن مقدار ارتباط A وC يتناسب مع ε² . بالنسبة لدوران يفصل بينهما مسافة L ، يتناسب مقدار الارتباط مع εL ، ولكن إذا كان هناك أكثر من مسار واحد يمكن أن تنتقل عبره الارتباطات، فإن هذا المقدار يزداد بعدد المسارات.

عدد المسارات التي طولها L على شبكة مربعة في d أبعاد هو شمال(ل)=(2د)ل،{\displaystyle N(L)=(2d)^{L},} بما أن هناك خيارين لمكان الذهاب في كل خطوة.

يُعطى حدٌّ أقصى للارتباط الكلي من خلال مساهمة كل مسار في الارتباط عن طريق الجمع على جميع المسارات التي تربط نقطتين، وهو محدود من الأعلى بالمجموع على جميع المسارات التي طولها L مقسومًا على ل(2د)لεل،{\displaystyle \sum _{L}(2d)^{L}\varepsilon ^{L},} والتي تؤول إلى الصفر عندما تكون قيمة ε صغيرة.

عند درجات الحرارة المنخفضة (β ≫ 1)، تكون التكوينات قريبة من التكوين ذي الطاقة الأدنى، وهو التكوين الذي تكون فيه جميع اللفات موجبة أو سالبة. تساءل بيرلز عما إذا كان من الممكن إحصائيًا، عند درجات الحرارة المنخفضة، بدءًا من اللفات السالبة، أن تتقلب الحالة إلى حالة تكون فيها معظم اللفات موجبة. ولكي يحدث هذا، يجب أن تكون قطرات اللف الموجب قادرة على التماسك لتكوين الحالة الموجبة.

تتناسب طاقة قطرة ذات دوران موجب في خلفية ذات دوران سالب مع محيط القطرة L، حيث تتجاور الدورانات الموجبة والسالبة. بالنسبة لقطرة محيطها L ، تقع مساحتها بين ( L  -  2)/2 (الخط المستقيم) و( L /4) ² (المربع). تتضمن تكلفة احتمالية إدخال قطرة العامل e⁻βL ، ولكن هذا يُساهم في دالة التوزيع مضروبًا في العدد الإجمالي للقطرات ذات المحيط L ، وهو أقل من العدد الإجمالي للمسارات ذات الطول L.شمال(ل)<42ل.{\displaystyle N(L)<4^{2L}.} وبالتالي فإن إجمالي مساهمة الدوران من القطرات، حتى مع احتساب القطرات بشكل زائد من خلال السماح لكل موقع بوجود قطرة منفصلة، ​​يكون محدودًا من الأعلى بـ لل242لهـ-4βل،{\displaystyle \sum _{L}L^{2}4^{2L}e^{-4\beta L},}

والذي يؤول إلى الصفر عند قيم β الكبيرة. بالنسبة لقيم β الكبيرة بما فيه الكفاية، فإن هذا يثبط الحلقات الطويلة بشكل أسي، بحيث لا يمكن أن تحدث، ولا يتقلب التمغنط بعيدًا عن  -1.

وهكذا أثبت بيرلز أن المغنطة في نموذج إيزينغ تحدد في النهاية قطاعات الاختيار الفائق ، وهي مجالات منفصلة غير مرتبطة بتقلبات محدودة.

ازدواجية كرامرز-وانييه

تمكن كرامرز ووانييه من إثبات أن تمدد النموذج عند درجات الحرارة العالية وتمدده عند درجات الحرارة المنخفضة متساويان حتى إعادة قياس الطاقة الحرة بشكل عام. وقد سمح هذا بتحديد نقطة التحول الطوري في النموذج ثنائي الأبعاد بدقة (بافتراض وجود نقطة حرجة فريدة).

أصفار يانغ-لي

بعد حل أونساغر، قام يانغ ولي بالتحقيق في الطريقة التي تصبح بها دالة التوزيع منفردة عندما تقترب درجة الحرارة من درجة الحرارة الحرجة.

التطبيقات

المغناطيسية

كان الدافع الأصلي وراء هذا النموذج هو ظاهرة المغناطيسية الحديدية . فالحديد مغناطيسي؛ وبمجرد أن يتمغنط، فإنه يبقى ممغنطًا لفترة طويلة مقارنة بأي زمن ذري.

في القرن التاسع عشر، كان يُعتقد أن المجالات المغناطيسية ناتجة عن تيارات في المادة، وافترض أمبير أن المغناطيس الدائم ناتج عن تيارات ذرية دائمة. إلا أن حركة الجسيمات المشحونة التقليدية لم تستطع تفسير التيارات الدائمة، كما أوضح لارمور . ولكي تتحقق المغناطيسية الحديدية، يجب أن تمتلك الذرات عزومًا مغناطيسية دائمة لا تنتج عن حركة الشحنات التقليدية.

بمجرد اكتشاف دوران الإلكترون، اتضح أن المغناطيسية ناتجة عن عدد كبير من دورانات الإلكترونات الموجهة جميعها في الاتجاه نفسه. وكان من الطبيعي التساؤل عن كيفية معرفة دورانات الإلكترونات بالاتجاه الذي يجب أن تشير إليه، لأن الإلكترونات على أحد جانبي المغناطيس لا تتفاعل مباشرة مع الإلكترونات على الجانب الآخر، بل تؤثر فقط على الإلكترونات المجاورة لها. وقد صُمم نموذج إيزينغ لدراسة إمكانية توجيه نسبة كبيرة من دورانات الإلكترونات في الاتجاه نفسه باستخدام قوى موضعية فقط.

غاز الشبكة

يمكن إعادة تفسير نموذج إيزينغ كنموذج إحصائي لحركة الذرات. وبما أن الطاقة الحركية تعتمد فقط على الزخم وليس على الموقع، بينما تعتمد إحصائيات المواقع فقط على طاقة الوضع، فإن الديناميكا الحرارية للغاز تعتمد فقط على طاقة الوضع لكل تكوين من الذرات.

يتمثل النموذج التقريبي في اعتبار الزمكان شبكةً، وتخيل أن كل موضع إما يحتوي على ذرة أو لا يحتوي عليها. فضاء التكوين هو فضاء البتات المستقلة B<sub> i</sub> ، حيث تكون قيمة كل بت إما 0 أو 1 اعتمادًا على ما إذا كان الموضع مشغولًا أم لا. يقلل التفاعل الجاذب من طاقة ذرتين متجاورتين. إذا كان التجاذب بين أقرب الجيران فقط، فإن الطاقة تنخفض بمقدار -4 JB<sub> i</sub> B <sub> j</sub> لكل زوج من الذرات المتجاورة المشغولة.

يمكن التحكم في كثافة الذرات بإضافة جهد كيميائي ، وهو عبارة عن تكلفة احتمالية مضاعفة لإضافة ذرة أخرى. يمكن إعادة تفسير العامل المضاعف في الاحتمالية كحد إضافي في اللوغاريتم - الطاقة. تتغير الطاقة الإضافية لتكوين يحتوي على N ذرة بمقدار μN . تكلفة احتمالية إضافة ذرة أخرى هي عامل من عوامل exp(− βμ ).

إذن، طاقة غاز الشبكة هي: هـ=-12أنا،ج4جبأنابج+أناμبأنا.{\displaystyle E=-{\frac {1}{2}}\sum _{\langle i,j\rangle }4JB_{i}B_{j}+\sum _{i}\mu B_{i}.}

إعادة كتابة البتات بدلالة الدورات،بأنا=(Sأنا+1)/2.{\displaystyle B_{i}=(S_{i}+1)/2.}هـ=-12أنا،ججSأناSج-12أنا(4ج-μ)Sأنا.{\displaystyle E=-{\frac {1}{2}}\sum _{\langle i,j\rangle }JS_{i}S_{j}-{\frac {1}{2}}\sum _{i}(4J-\mu )S_{i}.}

بالنسبة للشبكات التي يكون لكل موقع فيها عدد متساوٍ من الجيران، فإن هذا هو نموذج إيزينغ مع مجال مغناطيسي h = ( zJ μ )/2، حيث z هو عدد الجيران. 

في الأنظمة البيولوجية، استُخدمت نسخ معدلة من نموذج الغاز الشبكي لفهم مجموعة من سلوكيات الارتباط. وتشمل هذه السلوكيات ارتباط الليجاندات بالمستقبلات على سطح الخلية، [ 12 ] وارتباط بروتينات الانجذاب الكيميائي بمحرك السوط، [ 13 ] وتكثيف الحمض النووي. [ 14 ]

علم الأعصاب

يمكن نمذجة نشاط الخلايا العصبية في الدماغ إحصائياً. كل خلية عصبية في أي وقت تكون إما نشطة (+) أو غير نشطة  (-). الخلايا العصبية النشطة هي تلك التي ترسل جهد فعل عبر المحور العصبي في أي فترة زمنية محددة، أما الخلايا غير النشطة فهي تلك التي لا ترسل جهد فعل.

استنادًا إلى المنهج العام لجاينز، [ 15 ] [ 16 فإن التفسير اللاحق لشنايدمان، وبيري، وسيجيف، وبياليك، [ 17 ] هو أن نموذج إيزينغ مفيد لأي نموذج للوظيفة العصبية، لأنه ينبغي اختيار نموذج إحصائي للنشاط العصبي باستخدام مبدأ أقصى إنتروبيا . وبالنظر إلى مجموعة من الخلايا العصبية، فإن النموذج الإحصائي القادر على إعادة إنتاج متوسط ​​معدل إطلاق النار لكل خلية عصبية يُدخل مُضاعِف لاغرانج لكل خلية عصبية. هـ=-أناحأناSأنا{\displaystyle E=-\sum _{i}h_{i}S_{i}} لكن نشاط كل عصبون في هذا النموذج مستقل إحصائيًا. وللسماح بالارتباطات الثنائية، عندما يميل عصبون ما إلى إطلاق إشارة (أو عدم إطلاقها) بالتزامن مع عصبون آخر، يتم إدخال معاملات لاغرانج الثنائية. هـ=-12أناججأناجSأناSج-أناحأناSأنا{\displaystyle E=-{\tfrac {1}{2}}\sum _{ij}J_{ij}S_{i}S_{j}-\sum _{i}h_{i}S_{i}} أينجأناج{\displaystyle J_{ij}}لا تقتصر هذه النماذج على الجيران. تجدر الإشارة إلى أن هذا التعميم لنموذج إيزينغ يُسمى أحيانًا في الإحصاء بالتوزيع الثنائي الأسي التربيعي. تُدخل دالة الطاقة هذه تحيزات احتمالية فقط للدوران ذي القيمة، ولزوج من الدورانات لهما القيمة نفسها. أما الارتباطات من الرتب العليا فلا تخضع لقيود المضاعفات. يتطلب نمط النشاط المأخوذ من هذا التوزيع أكبر عدد من البتات للتخزين في الحاسوب، في أكثر أنظمة الترميز كفاءةً، مقارنةً بأي توزيع آخر له نفس متوسط ​​النشاط والارتباطات الثنائية. هذا يعني أن نماذج إيزينغ مناسبة لأي نظام يُوصف ببتات عشوائية قدر الإمكان، مع قيود على الارتباطات الثنائية ومتوسط ​​عدد الآحاد، وهو ما يحدث بكثرة في كل من العلوم الفيزيائية والاجتماعية.

نظارات دوارة

باستخدام نموذج إيزينغ، يمكن أيضًا وصف ما يسمى بالزجاج المغزلي بواسطة الهاميلتوني المعتادح=-12جأنا،كSأناSك،{\textstyle H=-{\frac {1}{2}}\,\sum J_{i,k}\,S_{i}\,S_{k},}حيث تصف المتغيرات S دورانات إيزينغ، بينما تُختار J <sub>i,k</sub> من توزيع عشوائي. بالنسبة للزجاج الدوراني، يختار التوزيع النموذجي روابط مضادة للمغناطيسية باحتمالية p وروابط مغناطيسية حديدية باحتمالية 1  p (المعروف أيضًا بنموذج إيزينغ ذي الروابط العشوائية). تبقى هذه الروابط ثابتة أو "مُخمدة" حتى في وجود تقلبات حرارية. عندما p = 0، نحصل على نموذج إيزينغ الأصلي. يستحق هذا النظام اهتمامًا خاصًا؛ لا سيما أنه يتمتع بخصائص "غير إرجودية" تؤدي إلى سلوك استرخاء غريب. كما حظي نموذج إيزينغ ذو الروابط والمواقع المخففة باهتمام كبير، خاصة في بعدين، مما يؤدي إلى سلوك حرج مثير للاهتمام. [ 18 ]   

الشبكة العصبية الاصطناعية

كان نموذج إيزينغ أساسيًا في تطوير شبكة هوبفيلد . يُعدّ نموذج إيزينغ الأصلي نموذجًا للتوازن. درس روي ج. غلاوبر في عام 1963 نموذج إيزينغ المتطور مع الزمن، كعملية نحو التوازن الحراري ( ديناميكيات غلاوبر )، مضيفًا عنصر الزمن. [ 19 ] اقترح كلٌّ من كاورو ناكانو (1971) [ 20 ] [ 21 ] وشون إيتشي أماري (1972) [ 22 ] تعديل أوزان نموذج إيزينغ باستخدام قاعدة التعلم الهيبية كنموذج للذاكرة الترابطية. نُشرت الفكرة نفسها بواسطة ويليام أ. ليتل (1974) [ 23 ] ، الذي استشهد به هوبفيلد في بحثه المنشور عام 1982.

يُعدّ نموذج شيرينغتون -كيركباتريك للزجاج المغزلي، الذي نُشر عام 1975، [ 24 ] شبكة هوبفيلد ذات التهيئة العشوائية. وقد وجد شيرينغتون وكيركباتريك أن دالة الطاقة في نموذج شيرينغتون-كيركباتريك من المرجح جدًا أن تحتوي على العديد من القيم الدنيا المحلية. في ورقة بحثية نُشرت عام 1982، طبّق هوبفيلد هذه النظرية المُطوّرة حديثًا لدراسة شبكة هوبفيلد ذات دوال التنشيط الثنائية. [ 25 ] وفي ورقة بحثية أخرى نُشرت عام 1984، وسّع نطاق هذا النموذج ليشمل دوال التنشيط المستمرة. [ 26 ] وأصبح نموذجًا قياسيًا لدراسة الشبكات العصبية من خلال الميكانيكا الإحصائية. [ 27 ] [ 28 ]

الجليد البحري

يمكن نمذجة بركة الذوبان باستخدام نموذج إيزينغ؛ وتؤثر بيانات تضاريس الجليد البحري بشكل كبير على النتائج. يكون متغير الحالة ثنائيًا لتقريب ثنائي الأبعاد بسيط، إما ماء أو جليد. [ 29 ]

طوبولوجيات شجرة كايلي والشبكات العصبية الكبيرة

شجرة كايلي مفتوحة أو فرع بنسبة تفرع = 2 وعدد الأجيال k

بهدف دراسة نموذج إيزينغ ذي الصلة المحتملة بالأحجام الكبيرة (على سبيل المثال مع104{\displaystyle 10^{4}}أو105{\displaystyle 10^{5}}التفاعلات لكل عقدة) الشبكات العصبية، بناءً على اقتراح كريزان في عام 1979، حصل بارث (1981) على التعبير التحليلي الدقيق للطاقة الحرة لنموذج إيزينغ على شجرة كايلي المغلقة (مع نسبة تفرع كبيرة بشكل تعسفي) لحقل مغناطيسي خارجي صفري (في الحد الديناميكي الحراري) من خلال تطبيق منهجيات جلاسر (1970) وجيليتو (1979).

-βو=ln2+2γ(γ+1)ln(ضرب بالعصاج)+γ(γ-1)(γ+1)أنا=2z1γأناlnجأنا(τ){\displaystyle -\beta f=\ln 2+{\frac {2\gamma }{(\gamma +1)}}\ln(\cosh J)+{\frac {\gamma (\gamma -1)}{(\gamma +1)}}\sum _{i=2}^{z}{\frac {1}{\gamma ^{i}}}\ln J_{i}(\tau )}

شجرة كايلي مغلقة بنسبة تفرع = 4. (يتم عرض المواقع الخاصة بالأجيال k و k-1 و k=1 فقط (متداخلة كصف واحد) للأشجار المتصلة)

أينγ{\displaystyle \gamma }نسبة تفرع عشوائية (أكبر من أو تساوي 2)،تtanhج{\displaystyle t\equiv \tanh J}،τت2{\displaystyle \tau \equiv t^{2}}،جβϵ{\displaystyle J\equiv \beta \epsilon }(معϵ{\displaystyle \epsilon }تمثل طاقة التفاعل بين أقرب الجيران، ويوجد k جيلًا (يؤول إلى اللانهاية في الحد الديناميكي الحراري) في كل فرع من فروع الشجرة (مكونةً بنية الشجرة المغلقة كما هو موضح في مخطط شجرة كايلي المغلقة المعطى). يمكن إثبات أن المجموع في الحد الأخير يتقارب بانتظام وسرعة (أي أنه يظل محدودًا عندما يؤول z إلى اللانهاية)، مما ينتج عنه دالة متصلة ورتيبة، مما يثبت أنه بالنسبة لـγ{\displaystyle \gamma }عندما تكون قيمة الطاقة الحرة أكبر من أو تساوي 2، فإنها تكون دالة مستمرة لدرجة الحرارة T. ويشير المزيد من التحليل للطاقة الحرة إلى أنها تُظهر مشتقة أولى غير متصلة بشكل غير عادي عند درجة الحرارة الحرجة ( Krizan, Barth & Glasser (1983 , Glasser & Goldberg (1983) ) .)

وُجد أن الارتباط الدوراني بين المواقع (بشكل عام، m و n) على الشجرة له نقطة تحول عند النظر إلى الرؤوس (مثل A و Ā، وانعكاسها)، والمواقع المجاورة لها (مثل B وانعكاسها)، وبين المواقع المجاورة للرؤوس القصوى العلوية والسفلية للشجرتين (مثل A و B)، كما يمكن تحديده من sمsن=Zشمال-1(0،تي)[ضرب بالعصاج]شمالب2شمالل=1zزمن(ل)تل{\displaystyle \langle s_{m}s_{n}\rangle ={Z_{N}}^{-1}(0,T)[\cosh J]^{N_{b}}2^{N}\sum _{l=1}^{z}g_{mn}(l)t^{l}} أينشمالب{\displaystyle N_{b}}يساوي عدد الروابط،زمن(ل)تل{\displaystyle g_{mn}(l)t^{l}}يمثل عدد الرسوم البيانية المحسوبة للرؤوس الفردية ذات المواقع الوسيطة الزوجية (انظر المنهجيات والمراجع المذكورة للحصول على حسابات مفصلة).2شمال{\displaystyle 2^{N}}التعددية الناتجة عن احتمالات الدوران ثنائية القيمة ودالة التقسيمZشمال{\displaystyle {Z_{N}}}مشتق من{s}هـ-βح{\displaystyle \sum _{\{s\}}e^{-\beta H}}. (ملحوظة:sأنا{\displaystyle s_{i}}يتوافق مع المراجع المذكورة في هذا القسم، وهو مكافئ لـSأنا{\displaystyle S_{i}}أوσأنا{\displaystyle \sigma _{i}}تم استخدامه أعلاه وفي الأقسام السابقة؛ وتبلغ قيمته±1{\displaystyle \pm 1}.) درجة الحرارة الحرجةتيج{\displaystyle T_{C}}يُعطى بواسطة تيج=2ϵكب[ln(γ+1)-ln(γ-1)].{\displaystyle T_{C}={\frac {2\epsilon }{k_{\text{B}}[\ln({\sqrt {\gamma }}+1)-\ln({\sqrt {\gamma }}-1)]}}.}

لا تتحدد درجة الحرارة الحرجة لهذا النموذج إلا بنسبة التفرع.γ{\displaystyle \gamma }وطاقة التفاعل بين المواقعϵ{\displaystyle \epsilon }وهي حقيقة قد يكون لها آثار مباشرة مرتبطة بالبنية العصبية مقابل وظيفتها (حيث إنها تربط طاقات التفاعل ونسبة التفرع بسلوكها الانتقالي). على سبيل المثال، العلاقة بين السلوك الانتقالي لأنشطة الشبكات العصبية بين حالتي النوم واليقظة (والتي قد ترتبط بنوع من الانتقال الطوري الدوراني) من حيث التغيرات في الترابط العصبي (γ{\displaystyle \gamma }) و/أو التفاعلات بين الجيران (ϵ{\displaystyle \epsilon }يُعدّ هذا، بمرور الوقت، أحد السبل الممكنة المقترحة لإجراء المزيد من الأبحاث التجريبية حول هذه الظاهرة. على أي حال، بالنسبة لنموذج إيزينغ هذا، فقد ثبت أن "استقرار الارتباط بعيد المدى يزداد مع زيادةγ{\displaystyle \gamma }أو زيادةϵ{\displaystyle \epsilon }"

بالنسبة لهذه البنية، وُجد أن ارتباط الدوران-الدوران يساوي صفرًا بين الرؤوس الطرفية والمواقع المركزية التي تتصل عندها الشجرتان (أو الفرعان) (أي بين A وكل من C أو D أو E على حدة). يُعزى هذا السلوك إلى حقيقة أنه مع ازدياد قيمة k، يزداد عدد الروابط بشكل أُسّي (بين الرؤوس الطرفية)، وبالتالي، على الرغم من أن مساهمة ارتباطات الدوران تتناقص أُسّيًا، فإن الارتباط بين مواقع مثل الرأس الطرفي (A) في إحدى الشجرتين والرأس الطرفي في الشجرة المتصلة (Ā) يظل محدودًا (فوق درجة الحرارة الحرجة). إضافةً إلى ذلك، يُظهر كل من A وB ارتباطًا غير معدوم (كما هو الحال مع انعكاساتهما)، مما يجعل مواقع المستوى B (مع المستوى A) تُعتبر "تجمعات" تميل إلى إظهار تزامن في الإطلاق.

استنادًا إلى مراجعة نماذج الشبكات الكلاسيكية الأخرى للمقارنة، تبيّن أن نموذج إيزينغ على شجرة كايلي المغلقة هو أول نموذج ميكانيكي إحصائي كلاسيكي يُظهر مواقع محلية وبعيدة المدى ذات ارتباطات مغزلية غير معدومة، مع إظهار مواقع وسيطة ذات ارتباط صفري، وهو ما كان بالفعل أمرًا بالغ الأهمية للشبكات العصبية الكبيرة في ذلك الوقت. كما أن سلوك النموذج ذو صلة بأي نظام فيزيائي (أو بيولوجي) آخر ذي شجرة متقاربة-متباعدة يُظهر بنية شجرة كايلي مغلقة مع تفاعل من نوع إيزينغ. لا ينبغي تجاهل هذه البنية نظرًا لأن سلوكها في نماذج إيزينغ قد تم حله بدقة، ومن المفترض أن الطبيعة قد وجدت طريقة للاستفادة من هذه التناظرات البسيطة على مستويات عديدة من تصميماتها.

أشار بارث (1981) في وقت مبكر إلى إمكانية وجود علاقات متبادلة بين (1) نموذج الشبكة العصبية الكبيرة الكلاسيكي (مع طوبولوجيات متقاربة متباعدة متشابهة) مع (2) نموذج ميكانيكي كمي إحصائي أساسي (مستقل عن الطوبولوجيا ومع استمرارية في الحالات الكمية الأساسية):

تتمثل أهم نتيجة تم التوصل إليها من نموذج شجرة كايلي المغلقة في حدوث ترابط بعيد المدى في غياب الترابط متوسط ​​المدى. لم تُثبت هذه النتيجة بواسطة النماذج الكلاسيكية الأخرى. وقد أشار العديد من الباحثين (ريتشياردي وأوميزاوا، 1967؛ هوكيو، 1972؛ ستيوارت، تاكاهاشي وأوميزاوا، 1978، 1979) إلى أن قصور النظرة الكلاسيكية لانتقال النبضات في تفسير هذه الظاهرة يُعدّ كافيًا لتبرير افتراضات جديدة جذريًا على مستوى أساسي للغاية، واقترحوا وجود أنماط تعاونية كمومية داخل الدماغ. إضافةً إلى ذلك، من المثير للاهتمام ملاحظة أن نمذجة جسيمات غولدستون أو البوزونات (كما ورد في دراسة أوميزاوا وآخرون) داخل الدماغ تُظهر الترابط بعيد المدى للأعداد الكمومية المحفوظة في الحالة الأرضية. في نموذج شجرة كايلي المغلقة، يمكن أن تُظهر الحالات الأرضية لأزواج المواقع، وكذلك متغير حالة المواقع الفردية، ترابطًا بعيد المدى.

كان من المعتقدات الطبيعية والشائعة بين علماء الفيزياء العصبية الأوائل (مثل أوميزاوا، وكريزان، وبارث، وما إلى ذلك) أن النماذج العصبية الكلاسيكية (بما في ذلك تلك التي لها جوانب ميكانيكية إحصائية) سيتعين دمجها يومًا ما مع الفيزياء الكمية (مع الجوانب الإحصائية الكمية)، على غرار الطريقة التي دمج بها مجال الكيمياء نفسه تاريخيًا في الفيزياء الكمية من خلال الكيمياء الكمية.

لا تزال هناك العديد من المشكلات الميكانيكية الإحصائية الإضافية ذات الأهمية التي يتعين حلها لشجرة كايلي المغلقة، بما في ذلك الحالة المعتمدة على الوقت وحالة المجال الخارجي، بالإضافة إلى الجهود النظرية التي تهدف إلى فهم العلاقات المتبادلة مع المكونات الكمومية الأساسية وفيزيائها.

المحاكاة العددية

إخماد نظام إيزينغ على شبكة مربعة ثنائية الأبعاد (500  ×  500) بدرجة حرارة عكسية β  =  10، بدءًا من تكوين عشوائي

قد يكون من الصعب تقييم نموذج إيزينغ عدديًا في حال وجود العديد من الحالات في النظام. لنفترض نموذج إيزينغ مع

L = |Λ|: العدد الإجمالي للمواقع على الشبكة،
σ j ∈ {−1, +1}: موقع دوران فردي على الشبكة، j  =  1, ..., L ،
S ∈ {−1, +1} L : حالة النظام.

بما أن لكل موقع دوران قيمة دوران ±1، فهناك 2L حالة مختلفة ممكنة. [ 30 ] وهذا ما يبرر محاكاة نموذج إيزينغ باستخدام طرق مونت كارلو . [ 30 ]

الهاميلتوني الذي يُستخدم عادةً لتمثيل طاقة النموذج عند استخدام طرق مونت كارلو هو :

ح(σ)=-جأنا جσأناσج-حجσج.{\displaystyle H(\sigma )=-J\sum _{\langle i~j\rangle }\sigma _{i}\sigma _{j}-h\sum _{j}\sigma _{j}.}

علاوة على ذلك، يُبسط الهاميلتوني أكثر بافتراض انعدام المجال الخارجي h ، إذ يمكن الإجابة عن العديد من الأسئلة المطروحة للحل باستخدام النموذج في غياب المجال الخارجي. وهذا يقودنا إلى معادلة الطاقة التالية للحالة σ:

ح(σ)=-جأنا جσأناσج.{\displaystyle H(\sigma )=-J\sum _{\langle i~j\rangle }\sigma _{i}\sigma _{j}.}

وباستخدام هذه الدالة الهاميلتونية، يمكن حساب كميات مهمة مثل الحرارة النوعية أو مغنطة المغناطيس عند درجة حرارة معينة. [ 30 ]

خوارزمية المدينة الكبرى

تُعدّ خوارزمية متروبوليس -هاستينغز أكثر خوارزميات مونت كارلو استخدامًا لحساب تقديرات نموذج إيزينغ. [ 30 ] تبدأ الخوارزمية باختيار احتمالات الاختيار g (μ, ν)، والتي تُمثّل احتمال اختيار الخوارزمية للحالة ν من بين جميع الحالات، علمًا بأنّ الخوارزمية موجودة في الحالة μ. ثمّ تستخدم احتمالات القبول A (μ, ν) لتحقيق التوازن التفصيلي . إذا قُبلت الحالة الجديدة ν، ننتقل إليها ونُكرّر عملية اختيار حالة جديدة وقبولها. إذا لم تُقبل ν، نبقى في الحالة μ. تُكرّر هذه العملية حتى يتمّ استيفاء معيار التوقّف، والذي غالبًا ما يكون في نموذج إيزينغ عندما تُصبح الشبكة مغناطيسية حديدية ، أي عندما تُشير جميع المواقع في الاتجاه نفسه. [ 30 ]

عند تطبيق الخوارزمية، يجب التأكد من اختيار الدالة g (μ, ν) بحيث تتحقق خاصية الإرجودية . في حالة التوازن الحراري، لا تتذبذب طاقة النظام إلا ضمن نطاق ضيق. [ 30 ] هذا هو الدافع وراء مفهوم ديناميكيات قلب اللف المغزلي الأحادي ، [ 31 ] الذي ينص على أنه في كل انتقال، سنغير موقع لف مغزلي واحد فقط على الشبكة. [ 30 ] علاوة على ذلك، باستخدام ديناميكيات قلب اللف المغزلي الأحادي، يمكن الانتقال من أي حالة إلى أي حالة أخرى عن طريق قلب كل موقع يختلف بين الحالتين واحدًا تلو الآخر. الحد الأقصى للتغير بين طاقة الحالة الحالية، ، وطاقة أي حالة جديدة محتملة، ( باستخدام ديناميكيات قلب اللف المغزلي الأحادي) هو 2 جول بين اللف المغزلي الذي نختاره "لقلبه" للانتقال إلى الحالة الجديدة وجاره. [ 30 ] بالتالي، في نموذج إيزينغ أحادي البعد، حيث يمتلك كل موقع جارين (يسارًا ويمينًا)، يكون الحد الأقصى لفرق الطاقة 4 جول . لنفترض أن c يمثل عدد التنسيق الشبكي ؛ أي عدد أقرب الجيران لأي موقع شبكي. نفترض أن جميع المواقع لها نفس عدد الجيران نظرًا لشروط الحدود الدورية . [ 30 ] من المهم ملاحظة أن خوارزمية متروبوليس-هاستينغز لا تعمل بكفاءة حول النقطة الحرجة بسبب التباطؤ الحرج. لذا، يلزم استخدام تقنيات أخرى مثل طرق الشبكة المتعددة، وخوارزمية نيدرماير، وخوارزمية سويندسن-وانغ ، أو خوارزمية وولف لحل النموذج بالقرب من النقطة الحرجة؛ وهو شرط أساسي لتحديد الأسس الحرجة للنظام.

بالنسبة لنموذج إيزينغ تحديدًا، وباستخدام ديناميكيات قلب اللف المغزلي الأحادي، يمكننا إثبات ما يلي: بما أن هناك L موقعًا إجماليًا على الشبكة، وباستخدام قلب اللف المغزلي الأحادي كوسيلة وحيدة للانتقال إلى حالة أخرى، نلاحظ وجود L حالة جديدة ν انطلاقًا من حالتنا الحالية μ. تفترض الخوارزمية أن احتمالات الاختيار تساوي عدد الحالات L : g (μ, ν) = 1/ L . ويوضح لنا التوازن التفصيلي أن المعادلة التالية يجب أن تتحقق:

P(μ،ν)P(ν،μ)=ز(μ،ν)أ(μ،ν)ز(ν،μ)أ(ν،μ)=أ(μ،ν)أ(ν،μ)=Pβ(ν)Pβ(μ)=1Zهـ-β(حν)1Zهـ-β(حμ)=هـ-β(حν-حμ).{\displaystyle {\frac {P(\mu ,\nu )}{P(\nu ,\mu )}}={\frac {g(\mu ,\nu )A(\mu ,\nu )}{g(\nu ,\mu )A(\nu ,\mu )}}={\frac {A(\mu ,\nu )}{A(\nu ,\mu )}}={\frac {P_{\beta }(\nu )}{P_{\beta }(\mu )}}={\frac {{\frac {1}{Z}}e^{-\beta (H_{\nu })}}{{\frac {1}{Z}}e^{-\beta (H_{\mu })}}}=e^{-\beta (H_{\nu }-H_{\mu })}.}

لذا، نريد تحديد احتمالية القبول لخوارزميتنا بحيث تحقق الشروط المطلوبة

أ(μ،ν)أ(ν،μ)=هـ-β(حν-حμ).{\displaystyle {\frac {A(\mu ,\nu )}{A(\nu ,\mu )}}=e^{-\beta (H_{\nu }-H_{\mu })}.}

إذا كان H ν > H μ ، ثم A (ν، μ) > A (μ، ν). تحدد متروبوليس الرقم الأكبر لـ A (μ,  ν) أو A (ν,  μ) ليكون 1. وبهذا المنطق تكون خوارزمية القبول هي: [ 30 ]

أ(μ،ν)={هـ-β(حν-حμ)،لو حν-حμ>0،1خلاف ذلك.{\displaystyle A(\mu ,\nu )={\begin{cases}e^{-\beta (H_{\nu }-H_{\mu })},&{\text{if }}H_{\nu }-H_{\mu }>0,\\1&{\text{otherwise}}.\end{cases}}}

الشكل الأساسي للخوارزمية هو كما يلي:

  1. اختر موقع الدوران باستخدام احتمال الاختيار g (μ,  ν) واحسب المساهمة في الطاقة التي تتضمن هذا الدوران.
  2. اعكس قيمة الدوران واحسب المساهمة الجديدة.
  3. إذا كانت الطاقة الجديدة أقل، فاحتفظ بالقيمة المعكوسة.
  4. إذا كانت الطاقة الجديدة أكبر، فاحتفظ بها فقط باحتماليةهـ-β(حν-حμ).{\displaystyle e^{-\beta (H_{\nu }-H_{\mu })}.}
  5. يكرر.

يعتمد التغير في الطاقة فقط على قيمة اللف المغزلي وأقرب جيرانها في الرسم البياني. لذا، إذا لم يكن الرسم البياني شديد الترابط، تكون الخوارزمية سريعة. ستؤدي هذه العملية في النهاية إلى اختيار قيمة من التوزيع .  

كسلسلة ماركوف

يمكن اعتبار نموذج إيزينغ سلسلة ماركوف ، حيث أن الاحتمالية المباشرة ( ν) للانتقال إلى حالة مستقبلية ν تعتمد فقط على الحالة الحالية μ. خوارزمية متروبوليس هي في الواقع نسخة من محاكاة مونت كارلو لسلسلة ماركوف ، وبما أننا نستخدم ديناميكيات قلب اللف المغزلي الأحادي في خوارزمية متروبوليس، يمكن اعتبار كل حالة مرتبطة بـ L حالة أخرى بالضبط ، حيث يتوافق كل انتقال مع قلب موقع لف مغزلي واحد إلى القيمة المعاكسة. [ 32 ] علاوة على ذلك، بما أن تغير معادلة الطاقة يعتمد فقط على قوة تفاعل الجوار الأقرب J ، يمكن اعتبار نموذج إيزينغ ومتغيراته مثل نموذج شنايد شكلاً من أشكال نموذج التصويت لديناميكيات الرأي.

الحلول

بُعد واحد

يوجد الحد الديناميكي الحراري طالما أن اضمحلال التفاعلجأناج|أنا-ج|-α{\displaystyle J_{ij}\sim |i-j|^{-\alpha }}مع α > 1. [ 33 ]

  • في حالة التفاعل المغناطيسي الحديديجأناج|أنا-ج|-α{\displaystyle J_{ij}\sim |i-j|^{-\alpha }}مع 1 < α < 2، أثبت دايسون، بالمقارنة مع الحالة الهرمية، أن هناك انتقالًا طوريًا عند درجة حرارة منخفضة بما فيه الكفاية. [ 34 ]
  • في حالة التفاعل المغناطيسي الحديديجأناج|أنا-ج|-2{\displaystyle J_{ij}\sim |i-j|^{-2}}أثبت فروليش وسبنسر وجود انتقال طوري عند درجة حرارة منخفضة بما فيه الكفاية (على عكس الحالة الهرمية). [ 35 ]
  • في حالة التفاعلجأناج|أنا-ج|-α{\displaystyle J_{ij}\sim |i-j|^{-\alpha }}عندما تكون قيمة α أكبر من 2 (بما في ذلك حالة التفاعلات ذات المدى المحدود)، لا يوجد انتقال طوري عند أي درجة حرارة موجبة (أي قيمة β محدودة)، لأن الطاقة الحرة تحليلية في المعاملات الديناميكية الحرارية. [ 33 ]
  • في حالة تفاعلات الجوار الأقرب ، قدّم إيزينغ حلاً دقيقاً للنموذج. عند أي درجة حرارة موجبة (أي قيمة β محدودة)، تكون الطاقة الحرة تحليلية في معاملات الديناميكا الحرارية، ويتلاشى ارتباط الدوران ثنائي النقاط المقتطع بسرعة أسية. عند درجة حرارة الصفر المطلق (أي قيمة β لانهائية)، يحدث انتقال طور من الدرجة الثانية: الطاقة الحرة لانهائية، ولا يتلاشى ارتباط الدوران ثنائي النقاط المقتطع (يبقى ثابتاً). لذلك، فإن T = 0 هي درجة الحرارة الحرجة في هذه الحالة. وتتحقق معادلات القياس. [ 36 ]

الحل الدقيق لإيزينغ

في حالة الجوار الأقرب (مع شروط حدودية دورية أو حرة)، يتوفر حل دقيق. هاميلتونيان نموذج إيزينغ أحادي البعد على شبكة من L موقعًا مع شروط حدودية حرة هو ح(σ)=-جأنا=1،...،ل-1σأناσأنا+1-حأناσأنا،{\displaystyle H(\sigma )=-J\sum _{i=1,\ldots ,L-1}\sigma _{i}\sigma _{i+1}-h\sum _{i}\sigma _{i},} حيث يمكن أن تكون J و h أي عددين، ففي هذه الحالة المبسطة، J ثابت يمثل قوة التفاعل بين أقرب الجيران، و h هو المجال المغناطيسي الخارجي الثابت المطبق على مواقع الشبكة. عندئذٍ تكون الطاقة الحرة هي و(β،ح)=-ليمل1βلlnZ(β)=-1βln(هـβجضرب بالعصاβح+هـ2βج(سينهβح)2+هـ-2βج)،{\displaystyle f(\beta ,h)=-\lim _{L\to \infty }{\frac {1}{\beta L}}\ln Z(\beta )=-{\frac {1}{\beta }}\ln \left(e^{\beta J}\cosh \beta h+{\sqrt {e^{2\beta J}(\sinh \beta h)^{2}+e^{-2\beta J}}}\right),} والارتباط بين اللف المغزلي (أي التغاير) هو σأناσج-σأناσج=ج(β)هـ-ج(β)|أنا-ج|،{\displaystyle \langle \sigma _{i}\sigma _{j}\rangle -\langle \sigma _{i}\rangle \langle \sigma _{j}\rangle =C(\beta )e^{-c(\beta )|i-j|},} حيث أن C (β) و c (β) دالتان موجبتان لـ T > 0. أما بالنسبة لـ T → 0، فإن طول الارتباط العكسي c (β) يتلاشى.

دليل

إن إثبات هذه النتيجة هو عملية حسابية بسيطة.

إذا كانت h = 0، فمن السهل جدًا الحصول على الطاقة الحرة في حالة شرط الحدود الحرة، أي عندما ح(σ)=-ج(σ1σ2++σل-1σل).{\displaystyle H(\sigma )=-J\left(\sigma _{1}\sigma _{2}+\cdots +\sigma _{L-1}\sigma _{L}\right).} ثم يتم تحليل النموذج تحت تغيير المتغيرات σج=σجσج-1،ج2.{\displaystyle \sigma '_{j}=\sigma _{j}\sigma _{j-1},\quad j\geq 2.}

هذا يعطي Z(β)=σ1،...،σلهـβجσ1σ2هـβجσ2σ3هـβجσل-1σل=2ج=2لσجهـβجσج=2[هـβج+هـ-βج]ل-1.{\displaystyle Z(\beta )=\sum _{\sigma _{1},\ldots ,\sigma _{L}}e^{\beta J\sigma _{1}\sigma _{2}}e^{\beta J\sigma _{2}\sigma _{3}}\cdots e^{\beta J\sigma _{L-1}\sigma _{L}}=2\prod _{j=2}^{L}\sum _{\sigma '_{j}}e^{\beta J\sigma '_{j}}=2\left[e^{\beta J}+e^{-\beta J}\right]^{L-1}.}

لذلك، فإن الطاقة الحرة هي

و(β،0)=-1βln[هـβج+هـ-βج].{\displaystyle f(\beta ,0)=-{\frac {1}{\beta }}\ln \left[e^{\beta J}+e^{-\beta J}\right].}

مع نفس تغيير المتغيرات

σجσج+شمال=[هـβج-هـ-βجهـβج+هـ-βج]شمال،{\displaystyle \langle \sigma _{j}\sigma _{j+N}\rangle =\left[{\frac {e^{\beta J}-e^{-\beta J}}{e^{\beta J}+e^{-\beta J}}}\right]^{N},}

وبالتالي يتلاشى بشكل أسي بمجرد أن T ≠ 0؛ ولكن بالنسبة لـ T = 0، أي في حالة β → ∞ لا يوجد تلاشي.

إذا كانت h ≠ 0، فنحن بحاجة إلى طريقة مصفوفة النقل. أما في حالة شروط الحدود الدورية، فتكون دالة التقسيم كما يلي: Z(β)=σ1،...،σلهـβحσ1هـβجσ1σ2هـβحσ2هـβجσ2σ3هـβحσلهـβجσلσ1=σ1،...،σلVσ1،σ2Vσ2،σ3Vσل،σ1.{\displaystyle Z(\beta )=\sum _{\sigma _{1},\ldots ,\sigma _{L}}e^{\beta h\sigma _{1}}e^{\beta J\sigma _{1}\sigma _{2}}e^{\beta h\sigma _{2}}e^{\beta J\sigma _{2}\sigma _{3}}\cdots e^{\beta h\sigma _{L}}e^{\beta J\sigma _{L}\sigma _{1}}=\sum _{\sigma _{1},\ldots ,\sigma _{L}}V_{\sigma _{1},\sigma _{2}}V_{\sigma _{2},\sigma _{3}}\cdots V_{\sigma _{L},\sigma _{1}}.} المعاملاتVσ،σ{\displaystyle V_{\sigma ,\sigma '}}يمكن اعتبارها عناصر مصفوفة. هناك خيارات مختلفة ممكنة: أحدها مناسب (لأن المصفوفة متناظرة) وهو Vσ،σ=هـβح2σهـβجσσهـβح2σ{\displaystyle V_{\sigma ,\sigma '}=e^{{\frac {\beta h}{2}}\sigma }e^{\beta J\sigma \sigma '}e^{{\frac {\beta h}{2}}\sigma '}} أو V=[هـβ(ح+ج)هـ-βجهـ-βجهـ-β(ح-ج)].{\displaystyle V={\begin{bmatrix}e^{\beta (h+J)}&e^{-\beta J}\\e^{-\beta J}&e^{-\beta (h-J)}\end{bmatrix}}.} في شكل المصفوفة Z(β)=Tr(Vل)=λ1ل+λ2ل=λ1ل[1+(λ2λ1)ل]،{\displaystyle Z(\beta )=\operatorname {Tr} \left(V^{L}\right)=\lambda _{1}^{L}+\lambda _{2}^{L}=\lambda _{1}^{L}\left[1+\left({\frac {\lambda _{2}}{\lambda _{1}}}\right)^{L}\right],} حيث λ 1 هي أعلى قيمة ذاتية لـ V ، بينما λ 2 هي القيمة الذاتية الأخرى: λ1=هـβجضرب بالعصاβح+هـ2βج(ضرب بالعصاβح)2-2سينه2βج=هـβجضرب بالعصاβح+هـ2βج(سينهβح)2+هـ-2βج،{\displaystyle \lambda _{1}=e^{\beta J}\cosh \beta h+{\sqrt {e^{2\beta J}(\cosh \beta h)^{2}-2\sinh 2\beta J}}=e^{\beta J}\cosh \beta h+{\sqrt {e^{2\beta J}(\sinh \beta h)^{2}+e^{-2\beta J}}},} و λ 2 < λ 1. وهذا يعطينا صيغة الطاقة الحرة المذكورة أعلاه. في الحد الديناميكي الحراري لحالة عدم التفاعل (J = 0)، نحصل على Zشمال(λ1)شمال=(2ضرب بالعصاβح)شمال،{\displaystyle Z_{N}\to (\lambda _{1})^{N}=(2\cosh \beta h)^{N},} كإجابة لنموذج إيزينغ ذي الحدود المفتوحة.

تعليقات

طاقة الحالة الأدنى هي − JL ، عندما تكون جميع اللفات متماثلة. أما في أي تكوين آخر، فإن الطاقة الإضافية تساوي 2 J مضروبة في عدد تغيرات الإشارة التي تحدث عند مسح التكوين من اليسار إلى اليمين.

إذا رمزنا لعدد تغيرات الإشارة في تكوين ما بالرمز k ، فإن فرق الطاقة عن أدنى حالة طاقة هو 2k . وبما أن الطاقة تتراكم مع عدد الانقلابات، فإن احتمال حدوث انقلاب مغزلي في كل موضع هو p ، وهو احتمال مستقل. ونسبة احتمال حدوث انقلاب إلى احتمال عدم حدوثه هي عامل بولتزمان.

ص1-ص=هـ-2βج.{\displaystyle {\frac {p}{1-p}}=e^{-2\beta J}.}

تُختزل المشكلة إلى رميات عملة معدنية مستقلة ومنحازة . وهذا يُكمل الوصف الرياضي بشكل أساسي.

من خلال الوصف القائم على الرميات المستقلة، يمكن فهم إحصائيات النموذج للخطوط الطويلة. ينقسم الخط إلى نطاقات. يبلغ متوسط ​​طول كل نطاق exp(2β). يتوزع طول النطاق توزيعًا أُسّيًا، نظرًا لوجود احتمال ثابت في أي خطوة لمواجهة انقلاب. لا تصبح النطاقات لانهائية أبدًا، لذا لا يكون النظام الطويل ممغنطًا. تقلل كل خطوة من الارتباط بين اللف المغزلي وجاره بمقدار يتناسب مع p ، وبالتالي تتناقص الارتباطات أُسّيًا.

SأناSجهـ-ص|أنا-ج|.{\displaystyle \langle S_{i}S_{j}\rangle \propto e^{-p|i-j|}.}

دالة التوزيع هي حجم التكوينات، حيث يُوزن كل تكوين بوزن بولتزمان الخاص به. وبما أن كل تكوين يُوصف بتغيرات الإشارة، فإن دالة التوزيع تُحلل إلى عوامل:

Z=التكويناتهـكSك=ك(1+ص)=(1+ص)ل.{\displaystyle Z=\sum _{\text{configs}}e^{\sum _{k}S_{k}}=\prod _{k}(1+p)=(1+p)^{L}.}

اللوغاريتم مقسومًا على L هو كثافة الطاقة الحرة:

βو=سجل(1+ص)=سجل(1+هـ-2βج1+هـ-2βج)،{\displaystyle \beta f=\log(1+p)=\log \left(1+{\frac {e^{-2\beta J}}{1+e^{-2\beta J}}}\right),}

وهو تحليلي بعيدًا عن β = ∞. من علامات الانتقال الطوري الطاقة الحرة غير التحليلية، لذلك فإن النموذج أحادي البعد لا يحتوي على انتقال طوري.

حل أحادي البعد مع مجال عرضي

للتعبير عن هاميلتوني إيزينغ باستخدام وصف ميكانيكي كمي للدوران، نستبدل متغيرات الدوران بمصفوفات باولي الخاصة بها . مع ذلك، اعتمادًا على اتجاه المجال المغناطيسي، يمكننا إنشاء هاميلتوني للمجال المستعرض أو المجال الطولي. يُعطى هاميلتوني المجال المستعرض بالصيغة التالية:

ح(σ)=-جأنا=1،...،لσأناzσأنا+1z-حأناσأناx.{\displaystyle H(\sigma )=-J\sum _{i=1,\ldots ,L}\sigma _{i}^{z}\sigma _{i+1}^{z}-h\sum _{i}\sigma _{i}^{x}.}

يشهد نموذج المجال المستعرض انتقالًا طوريًا بين نظام منظم ونظام غير منظم عند J  ~ h . ويمكن إثبات ذلك من خلال رسم خرائط لمصفوفات باولي. 

σنz=أنا=1نتيأناx،{\displaystyle \sigma _{n}^{z}=\prod _{i=1}^{n}T_{i}^{x},}

σنx=تينzتين+1z.{\displaystyle \sigma _{n}^{x}=T_{n}^{z}T_{n+1}^{z}.}

بإعادة كتابة الهاميلتوني بدلالة مصفوفات تغيير الأساس هذه، نحصل على

ح(σ)=-حأنا=1،...،لتيأناzتيأنا+1z-جأناتيأناx.{\displaystyle H(\sigma )=-h\sum _{i=1,\ldots ,L}T_{i}^{z}T_{i+1}^{z}-J\sum _{i}T_{i}^{x}.}

بما أن أدوار h و J قد تم تبديلها، فإن الهاميلتوني يخضع لانتقال عند J = h . [ 37 ]

إعادة التطبيع

عندما لا يوجد مجال خارجي، يمكننا اشتقاق معادلة وظيفيةو(β،0)=و(β){\displaystyle f(\beta ,0)=f(\beta )}يُحقق ذلك باستخدام إعادة التطبيع. [ 38 ] تحديدًا، ليكنZشمال(β،ج){\displaystyle Z_{N}(\beta ,J)}لتكن دالة التقسيم معشمال{\displaystyle N}المواقع. الآن لدينا:Zشمال(β،ج)=σهـكσ2(σ1+σ3)هـكσ4(σ3+σ5){\displaystyle Z_{N}(\beta ,J)=\sum _{\sigma }e^{K\sigma _{2}(\sigma _{1}+\sigma _{3})}e^{K\sigma _{4}(\sigma _{3}+\sigma _{5})}\cdots }أينك:=βج{\displaystyle K:=\beta J}نجمع على كل منσ2،σ4،{\displaystyle \sigma _{2},\sigma _{4},\cdots }للحصول علىZشمال(β،ج)=σ(2ضرب بالعصا(ك(σ1+σ3)))(2ضرب بالعصا(ك(σ3+σ5))){\displaystyle Z_{N}(\beta ,J)=\sum _{\sigma }(2\cosh(K(\sigma _{1}+\sigma _{3})))\cdot (2\cosh(K(\sigma _{3}+\sigma _{5})))\cdots }الآن، بما أن دالة cosh زوجية، يمكننا حلهاأهـكσ1σ3=2ضرب بالعصا(ك(σ1+σ3)){\displaystyle Ae^{K'\sigma _{1}\sigma _{3}}=2\cosh(K(\sigma _{1}+\sigma _{3}))}مثلأ=2ضرب بالعصا(2ك)،ك=12lnضرب بالعصا(2ك){\textstyle A=2{\sqrt {\cosh(2K)}},K'={\frac {1}{2}}\ln \cosh(2K)}والآن لدينا علاقة تشابه ذاتي:1شمالlnZشمال(ك)=12ln(2ضرب بالعصا(2ك))+121شمال/2lnZشمال/2(ك){\displaystyle {\frac {1}{N}}\ln Z_{N}(K)={\frac {1}{2}}\ln \left(2{\sqrt {\cosh(2K)}}\right)+{\frac {1}{2}}{\frac {1}{N/2}}\ln Z_{N/2}(K')}بأخذ النهاية، نحصل علىو(β)=12ln(2ضرب بالعصا(2ك))+12و(β){\displaystyle f(\beta )={\frac {1}{2}}\ln \left(2{\sqrt {\cosh(2K)}}\right)+{\frac {1}{2}}f(\beta ')}أينβج=12lnضرب بالعصا(2βج){\displaystyle \beta 'J={\frac {1}{2}}\ln \cosh(2\beta J)}.

متىβ{\displaystyle \beta }صغير، لديناو(β)ln2{\displaystyle f(\beta )\approx \ln 2}لذلك يمكننا التقييم العدديو(β){\displaystyle f(\beta )}عن طريق تكرار المعادلة الوظيفية حتىك{\displaystyle K}صغير.

بعدين

في حالة المواد المغناطيسية الحديدية، يحدث انتقال طوري. عند درجات الحرارة المنخفضة، تُثبت حجة بايرلز وجود مغنطة موجبة في حالة الجوار الأقرب، ثم، باستخدام متباينة غريفيث ، حتى عند إضافة تفاعلات أطول مدى. في المقابل، عند درجات الحرارة المرتفعة، يُعطي توسيع التكتل خاصية التحليلية للدوال الديناميكية الحرارية. في حالة الجوار الأقرب، تم حساب الطاقة الحرة بدقة بواسطة أونساغر. أما دوال ارتباط اللف المغزلي فقد تم حسابها بواسطة مكوي وو.

الحل الدقيق لأونساغر

حصل أونساغر (1944) على التعبير التحليلي التالي للطاقة الحرة لنموذج إيزينغ على الشبكة المربعة غير المتناحية عندما يكون المجال المغناطيسيح=0{\displaystyle h=0}في الحد الديناميكي الحراري كدالة لدرجة الحرارة وطاقات التفاعل الأفقية والرأسيةج1{\displaystyle J_{1}}وج2{\displaystyle J_{2}}، على التوالى

-βو=ln2+18π202πدθ102πدθ2ln[ضرب بالعصا(2βج1)ضرب بالعصا(2βج2)-سينه(2βج1)كوس(θ1)-سينه(2βج2)كوس(θ2)].{\displaystyle -\beta f=\ln 2+{\frac {1}{8\pi ^{2}}}\int _{0}^{2\pi }d\theta _{1}\int _{0}^{2\pi }d\theta _{2}\ln[\cosh(2\beta J_{1})\cosh(2\beta J_{2})-\sinh(2\beta J_{1})\cos(\theta _{1})-\sinh(2\beta J_{2})\cos(\theta _{2})].}

انطلاقًا من هذا التعبير عن الطاقة الحرة، يمكن حساب جميع الدوال الديناميكية الحرارية للنموذج باستخدام مشتق مناسب. كان نموذج إيزينغ ثنائي الأبعاد أول نموذج يُظهر انتقالًا طوريًا مستمرًا عند درجة حرارة موجبة. ويحدث هذا الانتقال عند درجة الحرارةتيج{\displaystyle T_{c}}وهو ما يحل المعادلة

سينه(2ج1كتيج)سينه(2ج2كتيج)=1.{\displaystyle \sinh \left({\frac {2J_{1}}{kT_{c}}}\right)\sinh \left({\frac {2J_{2}}{kT_{c}}}\right)=1.}

في الحالة المتناحية عندما تكون طاقات التفاعل الأفقية والرأسية متساويةج1=ج2=ج{\displaystyle J_{1}=J_{2}=J}درجة الحرارة الحرجةتيج{\displaystyle T_{c}}يحدث ذلك عند النقطة التالية

تيج=2جكln(1+2)=(2.269185)جك{\displaystyle T_{c}={\frac {2J}{k\ln(1+{\sqrt {2}})}}=(2.269185\cdots ){\frac {J}{k}}}

عندما تكون طاقات التفاعلج1{\displaystyle J_{1}}،ج2{\displaystyle J_{2}}إذا كانت كلتا القيمتين سالبتين، يصبح نموذج إيزينغ مضادًا للمغناطيسية. وبما أن الشبكة المربعة ثنائية الأجزاء، فإنها تظل ثابتة تحت هذا التغيير عندما يكون المجال المغناطيسيح=0{\displaystyle h=0}لذا، فإن الطاقة الحرة ودرجة الحرارة الحرجة متماثلتان في حالة المادة المضادة للمغناطيسية. أما بالنسبة للشبكة المثلثية، غير ثنائية الأجزاء، فإن نموذج إيزينغ المغناطيسي الحديدي ونموذج إيزينغ المضاد للمغناطيسية يتصرفان بشكل مختلف تمامًا. تحديدًا، حول المثلث، يستحيل جعل أزواج اللف المغزلي الثلاثة متوازية عكسيًا، وبالتالي لا يمكن لنموذج إيزينغ المضاد للمغناطيسية الوصول إلى حالة الطاقة الدنيا. وهذا مثال على الإحباط الهندسي .

صيغة أونساغر للتمغنط التلقائي

أعلن أونساغر بشكل مشهور عن التعبير التالي للمغناطيسية التلقائية M لمغناطيس حديدي ثنائي الأبعاد من نوع إيزينغ على الشبكة المربعة في مؤتمرين مختلفين في عام 1948، ولكن بدون برهان [ 8 ].

م=(1-[سينه2βج1سينه2βج2]-2)18{\displaystyle M=\left(1-\left[\sinh 2\beta J_{1}\sinh 2\beta J_{2}\right]^{-2}\right)^{\frac {1}{8}}}

أينج1{\displaystyle J_{1}}وج2{\displaystyle J_{2}}هي طاقات التفاعل الأفقية والرأسية.

لم يُقدّم اشتقاق كامل إلا في عام 1951 بواسطة يانغ (1952) باستخدام عملية تقريبية لقيم المصفوفة الذاتية. ثم بُسّط البرهان بشكل كبير في عام 1963 بواسطة مونترول، بوتس، وورد [ 8 ] باستخدام صيغة سيغو الحدية لمحددات توبليتز ، وذلك بمعاملة المغنطة كحد لدوال الارتباط.

النموذج المصغر

عند النقطة الحرجة، يصبح نموذج إيزينغ ثنائي الأبعاد نظرية حقل توافقي ثنائية الأبعاد . ويتم وصف دوال ارتباط الدوران والطاقة بنموذج مصغر ، تم حله بدقة.

ثلاثة أبعاد

في ثلاثة أبعاد كما في بعدين، تُعدّ حالة نموذج إيزينغ الثابتة تحت الإزاحة على شبكة مكعبة ذات اقتران الجوار الأقرب في غياب المجال المغناطيسي، الأكثر دراسةً. وقد سعى العديد من المنظرين لعقودٍ طويلةٍ إلى إيجاد حلٍّ تحليليٍّ ثلاثي الأبعاد، يُشابه حل أونساغر في الحالة ثنائية الأبعاد. [ 39 ] [ 40 ] لم يُعثر على مثل هذا الحل حتى الآن، مع أنه لا يوجد دليلٌ قاطعٌ على عدم وجوده. في ثلاثة أبعاد، بيّن ألكسندر بولياكوف وفلاديمير دوتسينكو أن نموذج إيزينغ يُمكن تمثيله بدلالة سلاسل فرميونية غير متفاعلة . وقد طُبّق هذا البناء على الشبكة، ولا تزال النهاية المتصلة ، التي يُفترض أنها تصف النقطة الحرجة، مجهولة.

في ثلاثة أبعاد كما في بعدين، تُظهر حجة بيرلز وجود انتقال طوري. من المعروف بدقة أن هذا الانتقال الطوري مستمر (بمعنى أن طول الترابط يتباعد والمغنطة تؤول إلى الصفر)، ويُسمى النقطة الحرجة . يُعتقد أن النقطة الحرجة يُمكن وصفها بنقطة ثابتة لمجموعة إعادة التطبيع لتحويل ويلسون-كادانوف. كما يُعتقد أيضًا أن الانتقال الطوري يُمكن وصفه بنظرية حقل توافقي وحدوي ثلاثي الأبعاد، كما يتضح من محاكاة مونت كارلو [ 41 ] [ 42 ] ، ونتائج القطرية الدقيقة في النماذج الكمومية [ 43 ] ، والحجج النظرية للحقل الكمومي [ 44 ] . على الرغم من أن تحديد صورة مجموعة إعادة التطبيع أو صورة نظرية الحقل التوافقي بدقة لا يزال يُمثل مشكلة مفتوحة، فقد استخدم الفيزيائيون النظريون هاتين الطريقتين لحساب الأسس الحرجة للانتقال الطوري، والتي تتوافق مع التجارب ومحاكاة مونت كارلو. تخضع نظرية المجال المطابق هذه، التي تصف النقطة الحرجة ثلاثية الأبعاد لـ Ising، لدراسة نشطة باستخدام طريقة التمهيد المطابق . [ 45 ] [ 46 ] [ 47 ] [ 48 ] توفر هذه الطريقة حاليًا أدق المعلومات حول بنية النظرية الحرجة (انظر أسس Ising الحرجة ).

في عام 2000، أثبت سورين إسترايل من مختبرات سانديا الوطنية أن نموذج إيزينغ للزجاج المغزلي على شبكة غير مستوية هو مسألة كاملة من فئة NP . أي، بافتراض أن PNP، فإن نموذج إيزينغ العام للزجاج المغزلي قابل للحل بدقة فقط في الحالات المستوية ، وبالتالي فإن الحلول للأبعاد الأعلى من اثنين غير قابلة للحل أيضًا. [ 49 ] تقتصر نتيجة إسترايل على نموذج الزجاج المغزلي ذي الاقترانات المتغيرة مكانيًا، ولا تُقدم أي معلومات عن نموذج إيزينغ الأصلي للمغناطيسية الحديدية ذي الاقترانات المتساوية.

أربعة أبعاد وما فوق

في أي بُعد، يمكن وصف نموذج إيزينغ بكفاءة باستخدام مجال متوسط ​​متغير محليًا . يُعرَّف هذا المجال بأنه متوسط ​​قيمة الدوران على منطقة واسعة، ولكن ليس واسعة لدرجة أن تشمل النظام بأكمله. مع ذلك، يظل المجال يشهد تغيرات بطيئة من نقطة إلى أخرى، مع تحرك حجم المتوسط. تُوصف هذه التقلبات في المجال بنظرية المجال المتصل في حالة النظام اللانهائي. تتحسن دقة هذا التقريب مع ازدياد البُعد. ويمكن تحقيق فهم أعمق لسلوك نموذج إيزينغ، يتجاوز تقريبات المجال المتوسط، باستخدام طرق مجموعة إعادة التطبيع .

انظر أيضاً

الحواشي

  1. انظر غالافوتي (1999) ، الفصول السادس والسابع.
  2. إرنست إيزينغ، مساهمة في نظرية المغناطيسية الحديدية
  3. صموئيل، ستيوارت (1980). "استخدام تكاملات المتغيرات المضادة للتبادل في الميكانيكا الإحصائية. الجزء الأول: حساب دوال التقسيم". مجلة الفيزياء الرياضية . 21 (12): 2806-2814 . Bibcode : 1980JMP....21.2806S . doi : 10.1063/1.524404 .
  4. انظر بايرلين (1999) ، الفصل 16.
  5. باراهونا، فرانسيسكو؛ غروتشل، مارتن ؛ يونغر، مايكل؛ راينيلت، غيرهارد (1988). "تطبيق التحسين التوافقي على الفيزياء الإحصائية وتصميم تخطيط الدوائر". بحوث العمليات . 36 (3): 493-513 . doi : 10.1287/opre.36.3.493 . ISSN 0030-364X . JSTOR 170992 .  
  6. الشوك، شير؛ باولوس، ميغيل ف.؛ بولاند، ديفيد؛ ريتشكوف، سلافا؛ سيمونز-دوفين، ديفيد؛ فيتشي، أليساندرو (2014). "حل نموذج إيزينغ ثلاثي الأبعاد باستخدام التمهيد المطابق II. تقليل C والأسس الحرجة الدقيقة" (ملف PDF) . مجلة الفيزياء الإحصائية . 157 ( 4-5 ): 869-914 . arXiv : 1403.4545 . Bibcode : 2014JSP ...157..869E . doi : 10.1007/s10955-014-1042-7 . S2CID 119627708. مؤرشف من الأصل (ملف PDF) بتاريخ 2014-04-07 . تم الاطلاع عليه بتاريخ 21-04-2013 . 
  7. بيرلز، ر. (1936). "حول نموذج إيزينغ للمغناطيسية الحديدية". وقائع الجمعية الفلسفية في كامبريدج الرياضية . 32 (3): 477-481 . Bibcode : 1936PCPS...32..477P . doi : 10.1017/S0305004100019174 . S2CID 122630492 . 
  8. 1 2 3 مونترول، بوتس وورد 1963 ، الصفحات 308-309 
  9. سيمون، باري (1980-10-01). "متباينات الارتباط وتلاشي الارتباطات في المواد المغناطيسية الحديدية". مجلة الاتصالات في الفيزياء الرياضية . 77 (2): 111-126 . Bibcode : 1980CMaPh..77..111S . doi : 10.1007/BF01982711 . ISSN 1432-0916 . S2CID 17543488 .  
  10. دومينيل-كوبين، هوغو؛ تاسيون، فنسنت (2016-04-01). "برهان جديد على حدة الانتقال الطوري لترشيح برنولي ونموذج إيزينغ". مجلة الاتصالات في الفيزياء الرياضية . 343 (2): 725-745 . arXiv : 1502.03050 . Bibcode : 2016CMaPh.343..725D . doi : 10.1007/s00220-015-2480-z . ISSN 1432-0916 . S2CID 119330137 .  
  11. بيفارا، فينسنت؛ دومينيل-كوبين، هوغو (2012-08-01). "النقطة المزدوجة الذاتية لنموذج التجميع العشوائي ثنائي الأبعاد حاسمة لـ q ≥ 1" . نظرية الاحتمالات والمجالات ذات الصلة . 153 (3): 511-542 . doi : 10.1007/s00440-011-0353-8 . ISSN 1432-2064 . S2CID 55391558 .  
  12. شي، ي.؛ ديوك، ت. (1998-11-01). "نموذج تعاوني لاستشعار البكتيريا". مجلة Physical Review E. 58 ( 5): 6399–6406 . arXiv : physics/9901052 . Bibcode : 1998PhRvE..58.6399S . doi : 10.1103/PhysRevE.58.6399 . S2CID 18854281 . 
  13. باي، فان؛ برانش، ريتشارد دبليو؛ نيكولاو، دان في؛ بيليزوتا، توتا؛ ستيل، برادلي سي؛ مايني، فيليب ك؛ بيري، ريتشارد إم. (2010-02-05). "الانتشار التوافقي كآلية للتعاون في مفتاح السوط البكتيري". مجلة ساينس . 327 (5966): 685-689 . Bibcode : 2010Sci...327..685B . doi : 10.1126/science.1182105 . ISSN 0036-8075 . PMID 20133571. S2CID 206523521 .   
  14. فيتيورينا، ناتاليا ن.؛ دولين، ديفيد؛ دوكتر، مارغريت و.؛ ماير، آن س.؛ ديكر، نينكه هـ.؛ أبوندانزيري، إليو أ. (18 أبريل 2016). "وصف التخلف في تكثيف الحمض النووي بواسطة Dps بنموذج إيزينغ" . وقائع الأكاديمية الوطنية للعلوم . 113 (18): 4982-4987 . Bibcode : 2016PNAS..113.4982V . doi : 10.1073 / pnas.1521241113 . ISSN 0027-8424 . PMC 4983820. PMID 27091987 .   
  15. جاينز، إي تي (1957)، "نظرية المعلومات والميكانيكا الإحصائية"، المراجعة الفيزيائية ، 106 (4): 620-630 ، Bibcode : 1957PhRv..106..620J ، doi : 10.1103/PhysRev.106.620 ، S2CID 17870175 . 
  16. جاينز، إدوين ت. (1957)، "نظرية المعلومات والميكانيكا الإحصائية II"، المراجعة الفيزيائية ، 108 (2): 171-190 ، Bibcode : 1957PhRv..108..171J ، doi : 10.1103/PhysRev.108.171 .
  17. إيلاد شنايدمان؛ مايكل جيه. بيري؛ رونين سيجيف؛ ويليام بياليك (2006)، "الارتباطات الزوجية الضعيفة تشير إلى حالات الشبكة المرتبطة بقوة في مجموعة عصبية" ، Nature ، 440 (7087): 1007-1012 ، arXiv : q-bio/0512013 ، Bibcode : 2006Natur.440.1007S ، doi : 10.1038/nature04701 ، PMC 1785327 ، PMID 16625187 .  
  18. جيه إس وانغ، دبليو سيلك ، في بي أندريتشينكو، وفي إس دوتسينكو (1990)، "السلوك الحرج للنموذج المخفف ثنائي الأبعاد"، فيزيكا أ ، 164 (2): 221-239 ، Bibcode : 1990PhyA..164..221W ، doi : 10.1016/0378-4371(90)90196-Y{{citation}}: صيانة CS1: أسماء متعددة: قائمة المؤلفين ( رابط )
  19. غلاوبر، روي ج. (فبراير 1963). "روي ج. غلاوبر "الإحصاءات المعتمدة على الزمن لنموذج إيزينغ"" . مجلة الفيزياء الرياضية . 4 (2): 294–307 . doi : 10.1063/1.1703954 . تاريخ الاسترجاع: 21-03-2021 .
  20. ناكانو، كاورو (1971). "عملية التعلم في نموذج للذاكرة الترابطية". التعرف على الأنماط والتعلم الآلي . ص 172-186 . doi : 10.1007/978-1-4615-7566-5_15 . ISBN  978-1-4615-7568-9.
  21. ناكانو، كاورو (1972). "أسوسياترون - نموذج للذاكرة الترابطية". معاملات IEEE في الأنظمة والإنسان وعلم التحكم الآلي . SMC-2 (3): 380-388 . Bibcode : 1972ITSMC...2..380N . doi : 10.1109/TSMC.1972.4309133 .
  22. أماري، شون-إيتشي (1972). "تعلم الأنماط وتسلسلات الأنماط بواسطة الشبكات ذاتية التنظيم لعناصر العتبة". معاملات IEEE . ج (21): 1197-1206 .
  23. ليتل، دبليو إيه (1974). "وجود حالات مستمرة في الدماغ". العلوم البيولوجية الرياضية . 19 ( 1-2 ): 101-120 . doi : 10.1016/0025-5564(74)90031-5 .
  24. شيرينغتون، ديفيد؛ كيركباتريك، سكوت (29-12-1975). "نموذج قابل للحل لزجاج الدوران" . رسائل المراجعة الفيزيائية . 35 (26): 1792-1796 . Bibcode : 1975PhRvL..35.1792S . doi : 10.1103/PhysRevLett.35.1792 . ISSN 0031-9007 . 
  25. هوبفيلد، ج. ج. (1982). "الشبكات العصبية والأنظمة الفيزيائية ذات القدرات الحسابية الجماعية الناشئة" . وقائع الأكاديمية الوطنية للعلوم . 79 (8): 2554-2558 . Bibcode : 1982PNAS...79.2554H . doi : 10.1073 / pnas.79.8.2554 . PMC 346238. PMID 6953413 .  
  26. هوبفيلد، جيه جيه (1984). "الخلايا العصبية ذات الاستجابة المتدرجة لها خصائص حسابية جماعية مشابهة لتلك الخاصة بالخلايا العصبية ثنائية الحالة" . وقائع الأكاديمية الوطنية للعلوم . 81 (10): 3088-3092 . Bibcode : 1984PNAS...81.3088H . doi : 10.1073/pnas.81.10.3088 . PMC 345226. PMID 6587342 .  
  27. إنجل، أ.؛ بروك، س. فان دن (2001). الميكانيكا الإحصائية للتعلم . كامبريدج، المملكة المتحدة؛ نيويورك، نيويورك: مطبعة جامعة كامبريدج. ISBN 978-0-521-77307-2.
  28. سيونغ، إتش إس؛ سومبولينسكي، إتش؛ تيشبي، إن. (1992-04-01). "الميكانيكا الإحصائية للتعلم من الأمثلة" . مجلة Physical Review A. 45 ( 8): 6056–6091 . Bibcode : 1992PhRvA..45.6056S . doi : 10.1103/PhysRevA.45.6056 . PMID 9907706 . 
  29. يي-بينغ ما؛ إيفان سوداكوف؛ كورتيناي سترونغ؛ كينيث غولدن (2017). "نموذج إيزينغ لبرك الذوبان على الجليد البحري في القطب الشمالي". arXiv : 1408.2487v3 [ physics.ao-ph ].
  30. 1 2 3 4 5 6 7 8 9 10 نيومان، إم إي جيه؛ باركيما، جي تي (1999). طرق مونت كارلو في الفيزياء الإحصائية . مطبعة كلارندون. ISBN 978-0-19-851797-9.
  31. سوزين، محمد (29 سبتمبر 2014). "م. سوزين "الفعالية الإرجودية في ديناميكيات قلب اللف المغزلي الأحادي"" . Physical Review E. 90 ( 3) 032141. arXiv : 1405.4497 . Bibcode : 2014PhRvE..90c2141S . doi : 10.1103/PhysRevE.90.032141 . PMID 25314429. S2CID 118355454. تاريخ الاسترجاع : 9 أغسطس 2022. "  
  32. تيف، فلاديمير ب. (2007). "صيغة مصفوفة النقل العامة لحساب ارتباط الحمض النووي-البروتين-الدواء في تنظيم الجينات" . أبحاث الأحماض النووية . 35 (11): e80. doi : 10.1093/nar/gkm268 . PMC 1920246. PMID 17526526 .  
  33. 1 2 رويل، ديفيد (1999) [1969]. الميكانيكا الإحصائية: نتائج دقيقة . وورلد ساينتيفيك. ISBN 978-981-4495-00-4.
  34. دايسون، إف جيه (1969). "وجود انتقال طوري في مغناطيس حديدي أحادي البعد من نوع إيزينغ" . مجلة الاتصالات في الفيزياء الرياضية . 12 (2): 91-107 . رمز Bibcode : 1969CMaPh..12...91D . doi : 10.1007/BF01645907 . S2CID 122117175 . 
  35. فروليش، ج.؛ سبنسر ، ت. (1982). "الانتقال الطوري في نموذج إيزينغ أحادي البعد مع طاقة تفاعل 1/ " . مجلة الاتصالات في الفيزياء الرياضية . 84 (1): 87-101 . Bibcode : 1982CMaPh..84...87F . doi : 10.1007/BF01208373 . S2CID 122722140 . 
  36. باكستر، رودني ج. (1982)، نماذج محلولة بدقة في الميكانيكا الإحصائية ، لندن: أكاديميك برس إنك. [هاركورت بريس جوفانوفيتش للنشر]، رقم ISBN 978-0-12-083180-7، MR 0690578 ، مؤرشف من الأصل بتاريخ 20-03-2012 ، تم استرجاعه بتاريخ 25-10-2009 
  37. سوزوكي، سي؛ إينوي، جون-إيتشي؛ تشاكرابارتي، بيكاس ك. (2012). أطوار وانتقالات إيزينغ الكمومية في نماذج إيزينغ المستعرضة . سبرينغر. doi : 10.1007/978-3-642-33039-1 . ISBN 978-3-642-33038-4.
  38. ماريس، همفري جيه؛ كادانوف، ليو بي. (يونيو 1978). "تدريس مجموعة إعادة التطبيع" . المجلة الأمريكية للفيزياء . 46 (6): 652-657 . Bibcode : 1978AmJPh..46..652M . doi : 10.1119/1.11224 . ISSN 0002-9505 . 
  39. وود، تشارلي (24 يونيو 2020). "الصورة الكرتونية للمغناطيس التي غيرت مسار العلم" . مجلة كوانتا . تاريخ الاسترجاع: 26 يونيو 2020 .
  40. "يتذكر كين ويلسون كيف اقترح موراي جيل مان عليه حل نموذج إيزينغ ثلاثي الأبعاد" .
  41. ^ بيلو، م. كاسيل، م. جايوتو، د.؛ جليوزي، ف. مينيري، م.؛ أخرى (2013). “عيوب الخط في نموذج Ising ثلاثي الأبعاد”. جيهيب . 1307 (7): 055. أرخايف : 1304.4110 . بيب كود : 2013JHEP...07..055B . دوى : 10.1007/JHEP07(2013)055 . S2CID 119226610 . 
  42. كوسمي، كاتارينا؛ لوبيز، جيه إم فيانا بارينتي؛ بينيدونيس، جواو (2015). "التناظر المطابق لنموذج إيزينغ ثلاثي الأبعاد الحرج داخل كرة". مجلة فيزياء الطاقة العالية . 2015 (8): 22. arXiv : 1503.02011 . Bibcode : 2015JHEP...08..022C . doi : 10.1007/JHEP08(2015)022 . S2CID 53710971 . 
  43. تشو، وي؛ هان، تشاو؛ هوفمان، إميلي؛ هوفمان، يوهانس س.؛ هي، ين-تشين (2023). "الكشف عن التناظر المطابق في انتقال إيزينغ ثلاثي الأبعاد: تطابق الحالة-المؤثر من خلال تنظيم كرة ضبابية كمومية". مجلة Physical Review X. 13 ( 2) 021009. arXiv : 2210.13482 . Bibcode : 2023PhRvX..13b1009Z . doi : 10.1103/PhysRevX.13.021009 . S2CID 253107625 . 
  44. ديلاموت، بيرتراند؛ تيسييه، ماثيو؛ ووشيبور، نيكولاس (2016). "ثبات المقياس يستلزم ثباتًا توافقيًا لنموذج إيزينغ ثلاثي الأبعاد". مجلة Physical Review E. 93 ( 12144) 012144. arXiv : 1501.01776 . Bibcode : 2016PhRvE..93a2144D . doi : 10.1103/PhysRevE.93.012144 . PMID 26871060. S2CID 14538564 .  
  45. الشوك، شير؛ باولوس، ميغيل ف.؛ بولاند، ديفيد؛ ريتشكوف، سلافا؛ سيمونز-دوفين، ديفيد؛ فيتشي، أليساندرو (2012). "حل نموذج إيزينغ ثلاثي الأبعاد باستخدام التمهيد المطابق". مجلة الفيزياء D86 (2) 025022. arXiv : 1203.6064 . Bibcode : 2012PhRvD..86b5022E . doi : 10.1103/PhysRevD.86.025022 . S2CID 39692193 . 
  46. الشوك، شير؛ باولوس، ميغيل ف.؛ بولاند، ديفيد؛ ريتشكوف، سلافا؛ سيمونز-دوفين، ديفيد؛ فيتشي، أليساندرو (2014). "حل نموذج إيزينغ ثلاثي الأبعاد باستخدام التمهيد المطابق II. تقليل c والأسس الحرجة الدقيقة". مجلة الفيزياء الإحصائية . 157 ( 4-5 ): 869-914 . arXiv : 1403.4545 . Bibcode : 2014JSP...157..869E . doi : 10.1007/s10955-014-1042-7 . S2CID 119627708 . 
  47. سيمونز-دافين، ديفيد (2015). "حلّ برنامج شبه محدد لتقنية التمهيد المطابق". مجلة فيزياء الطاقة العالية . 2015 (6) 174. arXiv : 1502.02033 . Bibcode : 2015JHEP...06..174S . doi : 10.1007/JHEP06(2015)174 . ISSN 1029-8479 . S2CID 35625559 .  
  48. كادانوف، ليو ب. (30 أبريل 2014). "تحقيق فهم عميق لنموذج إيزينغ ثلاثي الأبعاد" . مجلة نادي فيزياء المادة المكثفة . مؤرشف من الأصل في 22 يوليو 2015. تم الاطلاع عليه في 19 يوليو 2015 .
  49. سيبرا، باري أ. (2000). "نموذج إيزينغ كامل من فئة NP" (ملف PDF) . أخبار SIAM . 33 (6).

مراجع