نموذج Z N

الZشمال{\displaystyle Z_{N}}يُعدّ نموذج (المعروف أيضًا باسم نموذج الساعة ) نموذجًا إحصائيًا ميكانيكيًا مبسطًا للدوران المغزلي . وهو تعميم لنموذج إيزينغ . على الرغم من إمكانية تعريفه على أي رسم بياني ، إلا أنه قابل للتكامل فقط على الشبكات أحادية وثنائية الأبعاد ، في حالات خاصة قليلة.

تعريف

الZشمال{\displaystyle Z_{N}}يتم تعريف النموذج عن طريق تعيين قيمة دوران عند كل عقدةر{\displaystyle r}على رسم بياني، حيث تأخذ الدورات قيمًاsر=خبرة2πأناqشمال{\displaystyle s_{r}=\exp {\frac {2\pi iq}{N}}}، أينq{0،1،...،شمال-1}{\displaystyle q\in \{0,1,\ldots ,N-1\}}وبالتالي، تأخذ اللفات قيمًا على شكل جذور مركبة للوحدة . وبشكل تقريبي، يمكننا اعتبار اللفات المخصصة لكل عقدة من العقدةZشمال{\displaystyle Z_{N}}النموذج يشير إلى أي منشمال{\displaystyle N}اتجاهات متساوية البعد. أوزان بولتزمان لحافة عامةرر{\displaystyle rr'}نكون:

w(ر،ر)=ك=0شمال-1xك(رر)(sرsر*)ك{\displaystyle w\left(r,r'\right)=\sum _{k=0}^{N-1}x_{k}^{\left(rr'\right)}\left(s_{r}s_{r'}^{*}\right)^{k}}

أين*{\displaystyle *}يشير إلى الاقتران المعقد وxك(رر){\displaystyle x_{k}^{\left(rr'\right)}}ترتبط بقوة التفاعل على طول الحافةرر{\displaystyle rr'}. لاحظ أنxك(رر)=xشمال-ك(رر){\displaystyle x_{k}^{\left(rr'\right)}=x_{Nk}^{\left(rr'\right)}}وx0{\displaystyle x_{0}}غالباً ما يتم ضبطها على 1. أوزان بولتزمان (ذات القيم الحقيقية) ثابتة تحت التحويلات.sرωكsر{\displaystyle s_{r}\rightarrow \omega ^{k}s_{r}}وsرsر*{\displaystyle s_{r}\rightarrow s_{r}^{*}}، على غرار الدوران والانعكاس العالميين على التوالي.

حل حرج ذاتي مزدوج

هناك فئة من الحلول لـZشمال{\displaystyle Z_{N}}نموذج مُعرَّف على شبكة مربعة غير متجانسة بشكل عام . إذا كان النموذج ذاتي التناظر بمعنى كرامرز-وانييه ، وبالتالي حرجًا ، وكانت الشبكة بحيث يوجد وزنان محتملان.xك1{\displaystyle x_{k}^{1}}وxك2{\displaystyle x_{k}^{2}}بالنسبة لاتجاهي الحافة المحتملين، يمكننا إدخال المعلمة التالية فيα{\displaystyle \alpha }:

xن1=xن(α){\displaystyle x_{n}^{1}=x_{n}\left(\alpha \right)}
xن2=xن(π-α){\displaystyle x_{n}^{2}=x_{n}\left(\pi -\alpha \right)}

باشتراط تحقق علاقة الازدواجية وعلاقة النجمة والمثلث ، التي تضمن التكامل ، يصبح من الممكن إيجاد الحل:

xن(α)=ك=0ن-1الخطيئة(πك/شمال+α/2شمال)الخطيئة[π(ك+1)/شمال-α/2شمال]{\displaystyle x_{n}\left(\alpha \right)=\prod _{k=0}^{n-1}{\frac {\sin \left(\pi k/N+\alpha /2N\right)}{\sin \left[\pi \left(k+1\right)/N-\alpha /2N\right]}}}

معx0=1{\displaystyle x_{0}=1}هذه الحالة بالذات منZشمال{\displaystyle Z_{N}}يُطلق على هذا النموذج غالبًا اسم نموذج FZ، نسبةً إلى ف. أ. فاتيف وأ. ب. زامولودتشيكوف اللذين قاما بحساب هذا الحل لأول مرة. يقترب نموذج FZ من نموذج XY في النهاية عندماشمال{\displaystyle N\rightarrow \infty }كما أنها حالة خاصة من نموذج بوتس الكيرالي ونموذج كاشيوارا-ميوا .

حالات خاصة قابلة للحل

كما هو الحال بالنسبة لمعظم نماذج الشبكة في الميكانيكا الإحصائية ، لا توجد حلول دقيقة معروفة لـZشمال{\displaystyle Z_{N}}النموذج في ثلاثة أبعاد. أما في بعدين، فيمكن حله بدقة على شبكة مربعة لقيم معينة منشمال{\displaystyle N}و/أو "الأوزان"xك{\displaystyle x_{k}}ولعلّ أشهر مثال على ذلك هو نموذج إيزينغ ، الذي يسمح بوجود دوران في اتجاهين متعاكسين (أيsر=±1{\displaystyle s_{r}=\pm 1}هذا هو بالضبطZشمال{\displaystyle Z_{N}}نموذج لـشمال=2{\displaystyle N=2}وبالتاليZشمال{\displaystyle Z_{N}}يمكن اعتبار هذا النموذج تعميمًا لنموذج إيزينغ . وهناك نماذج أخرى قابلة للحل بدقة، تُقابل حالات خاصة من هذا النموذج.Zشمال{\displaystyle Z_{N}}يتضمن النموذج نموذج بوتس ثلاثي الحالات ، معشمال=3{\displaystyle N=3}وx1=x2=xج{\displaystyle x_{1}=x_{2}=x_{c}}، أينxج{\displaystyle x_{c}}هي قيمة حرجة معينة (FZ)، ونموذج أسكين-تيلر الحرج حيثشمال=4{\displaystyle N=4}.

النسخة الكمومية

نسخة كمومية منZشمال{\displaystyle Z_{N}}يمكن بناء نموذج الساعة بطريقة مماثلة لنموذج إيزينغ ذي المجال المستعرض . ويكون الهاميلتوني لهذا النموذج كما يلي:

ح=-ج[أنا،ج(ZأناZج+ZأناZج)+زج(Xج+Xج)]{\displaystyle H=-J\left[\sum _{\langle i,j\rangle }(Z_{i}^{\dagger }Z_{j}+Z_{i}Z_{j}^{\dagger })+g\sum _{j}(X_{j}+X_{j}^{\dagger })\right]}

هنا، تشير الرموز السفلية إلى مواقع الشبكة، والمجموعأنا،ج{\displaystyle \sum _{\langle i,j\rangle }}يتم ذلك على أزواج من مواقع الجوار الأقربأنا{\displaystyle i}وج{\displaystyle j}مصفوفات الساعةXج{\displaystyle X_{j}}وZج{\displaystyle Z_{j}}هي تعميمات لمصفوفات باولي التي تحقق

ZجXك=هـ2πأناشمالدلتاج،كXكZج{\displaystyle Z_{j}X_{k}=e^{{\frac {2\pi i}{N}}\delta _{j,k}}X_{k}Z_{j}}

و

Xجشمال=Zجشمال=1{\displaystyle X_{j}^{N}=Z_{j}^{N}=1}

أيندلتاج،ك{\displaystyle \delta _{j,k}}يساوي 1 إذاج{\displaystyle j}وك{\displaystyle k}هي نفس الموقع، وصفر في غير ذلك.ج{\displaystyle J}هو عامل أولي ذو أبعاد طاقة، وز{\displaystyle g}وهو معامل اقتران آخر يحدد القوة النسبية للمجال الخارجي مقارنة بتفاعل الجوار الأقرب.

مراجع