易辛模型

(重定向自Ising model

易辛模型(英語:Ising model/ˈsɪŋ/德语:[ˈiːzɪŋ]),是一個以物理學家恩斯特·伊辛為名的數學模型,用於描述物質的鐵磁性。該模型中包含了可以用來描述單個原子磁矩的參數 ,其值只能為+1或-1,分別代表自旋向上或向下,這些磁矩通常會按照某種規則排列,形成晶格,並且在模型中會引入特定交互作用的參數,使得相鄰的自旋互相影響。雖然該模型相對於物理現實是一個相當簡化的模型,但它卻和鐵磁性物質一樣會產生相變。事實上,一個二維的方晶格易辛模型英语square-lattice Ising model是已知最簡單而會產生相變的物理系統。[1]

易辛模型最早是由物理學家威廉·楞次在1920年發明的,他把該模型當成是一個給他學生恩斯特·易辛的問題。易辛在他一篇1924年的論文中求得了一維易辛模型的解析解,並且證明它不會產生相變。[2] 二維方晶格易辛模型相對於一維的難出許多,因此其解析的描述在一段時間之後才在1943年由拉斯·昂薩格給出。一般來說,二維易辛模型的解析解可由傳遞矩陣法求得,不過也有幾個和量子場論有關的解法。對於大於三維的易辛模型目前還沒有找到解析解,但其近似解可由諸多方法求得,例如平均場論

定義

令Λ為所有晶格點的集合,其中每個晶格點都有一個所有和它相鄰的晶格點的集合(在數學上稱之為)並使這些晶格點形成一個d維的晶格。對於每個晶格點 k ∈ Λ 都有一個離散變數 σk ,其中 σk  ∈ {+1, −1},代表一個晶格點的自旋。而所有變數的集合σ = (σk)k∈Λ則稱作 自旋組態

對於兩個相鄰的晶格點ij ∈ Λ ,我們可以引入一個交互作用參數Jij,此外,我們可以假設每個自旋j ∈ Λ都和外加的磁場 hj 作用。則整個系統的哈密頓量可寫成:

 

其中 <ij> 代表晶格點 i 和晶格點 j 是相鄰的晶格點。因此哈密頓量的第一項為對每一對相鄰晶格點的總和(每一對只算一次),代表所有自旋之間交互作用的能量,而第二項則是磁場和自旋交互作用的能量。µ是晶格點磁矩的值,值得注意的是,電子磁矩和他的自旋方向相反,所以哈密頓量的第二項應該要是正號比較合理,但在習慣上,還是會令第二項為負號。[3]

該系統的組態機率 P(σ)為在熱平衡下某個特定自旋組態 σ 的機率,為波茲曼分布:

 

其中 β = (kBT)−1,而:

 

是該機率分布的歸一化常數,在統計力學中又稱做配分函數。對於有為自旋組態函數物理量 f(σ) ,其期望值可表示為:

 

參數

H(σ) 中兩項前的負號是約定俗成的。因為第一項為負號,因此參數 Jij 的正負號決定了該系統的性質,對於每一對 ij :

  ,則該系統為鐵磁性
  ,則該系統為反鐵磁性
  表示自旋間無交互作用。

除此之外該系統為 非鐵磁性

在鐵磁性的易辛模型中,相鄰自旋同方向時能量較低,因此自旋會傾向於同向排列,反之,在反鐵磁性的易辛模型中,相鄰自旋反向的能量較低,因此自旋會頃向於反向排列。

H(σ) 中的第二項為負號,表示自旋頃向於和外加磁場同向,因此 hj 的正負也決定自旋頃向排列的方向。對於所有的j ,如果:

 , 則晶格點 j 頃向於朝向正向。
 , 則晶格點 j 頃向於朝向負向。
 , 表示沒有外加力場作用在自旋上 。

簡化

一個常見的簡化是假設沒有外加的磁場作用在易辛模型上,也就是說,對於所有的 j∈Λ,hj = 0 。利用這項簡化,其哈密頓量可以寫成:

 

此時易辛模型在反轉所有自旋之下是對稱的:一個外加的力場會破壞這種對稱。

另一個常見的簡化是假設所有相鄰晶格點的交互作用都是相等的,因此可以設 Jij = J 對於所有相鄰的 i, j ∈Λ,而其哈密頓量可以寫:  

特性

 
一維平移不變鐵磁性在無外加場下的易辛模型的所有組態之機率密度投射在二維平面上。

被研究的最透徹易辛模型是在 d 晶格上,平移不變、鐵磁性並且無外加場的模型。也就是 :Λ = Zd, Jij = 1, h = 0。

易辛在他1924年的博士論文中,解決了在 d=1 時的情況 ,這個一維的模型可以想像成一排的自旋 ,而每個自旋都只和它左右兩邊的自旋交互作用。這個一模型不會產生相變[4] ,換句話說,對於所有正值的β,任意兩自旋的相關係數iσj> 都對 |ij| 呈指數衰減:

 

其中c(β)是一個只和β有關的函數。

由此可知。這個系統是無序的。根據一維模型的結論,易辛錯誤的認為任何維度的易辛模型都不會有相變。但事實上,在二維或二維以上的模型中,該系統可以歷經從無序相轉變成有序相相變。基本上在β值小(高溫)時,系統處在無序相,而β值大(低溫)時,系統處在有序相中。換句話說,當系統在有序相時:

 

其中c'(β)也是一個只和β有關的函數。

這個性質是首先被魯道夫·佩爾斯(Rudolf Peierls)在1936年證明的[5] ,他的證法後來被稱為佩爾斯論述(Peierls argument)。

在零磁下的二維方晶格易辛模型的解析解後來在1943年被昂薩格解出,他證明了該模型的相關函數自由能可由一個無交互作用的格點費米子場(noninteracting lattice fermion)來界定。昂薩格在1949年發表了一個決定了自發磁化現象的公式,但卻沒有給出推導過程。後來是楊振寧在1951年發表了第一個正式的推導過程,其中裡面用到了包括塞格極限定理英语Szegő limit theorems弗雷德霍姆行列式英语Fredholm determinant等數學工具[6]

楊李定理

數值模擬

蒙特卡洛方法

易辛模型一般來說很難直接進行數值計算,因為他的自旋組態非常之多。考慮一個擁有 L 個晶格點的模型,每個晶格點 σj 有 ±1 兩種可能,因此所有的自旋組態共有 2L 種可能[7],這個數字會隨著 L 的增加而進行指數增長。這也是為什麼一般在做易辛模型的數值模擬時,都會採用蒙地卡羅方法(Monte Carlo method)[7]

用蒙特卡洛方法來模擬易辛模型所用的哈密頓量為:

 

此外,可以假設外加磁場 (h) 為零以簡化模型,因為大部分的問題都只需要用到零磁下的模型。因此,近一步簡化的哈密頓量

 

可以從這個模型計算出的物理量包括該系統在定溫下的比熱磁化強度等等。[7]

Metropolis 演算法

Metropolis–Hastings演算法是在數值模擬易辛模型時最常用的一種蒙地卡羅方法。[7]這種方法首先要選定一個選擇機率 g(μ, ν),代表系統在狀態μ下,在所有可能狀態中選到狀態ν的機率。另外還需定義出一個接受機率 A(μ, ν) ,也就是說當系統在狀態μ下,接受系統跳到態ν的機率。如此的設計是為了讓系統達到細緻平衡。如果狀態ν被接受了,則整個系統就會跳到狀態ν,並且選擇和決定下一個要跳到的狀態。如果狀態ν被沒被接受,系統則留在狀態μ,一樣重新選擇下一個要跳到的狀態。這樣的步驟一直重複直到某些條件達成為止,譬如說整個易辛模型完全被磁化,也就是所有的自旋都只到同一個方向。[7]另外在實行這種演算法,有一點需要注意的是需要選到適當 g(μ, ν) 以保證整個過程的遍歷性(ergodicity)。

熱平衡時,整個系統的能量只會有小幅度的擾動[7],這點促成了在演算時採用單一自旋反轉法進行計算,也就是說每次系統轉換其狀態時,只改變其中一個自旋的方向。對自旋數很多的一易辛模型來說,系統在不同的狀態之間跳躍時,其能量改變的幅度都很小。事實上,對於每個晶格點都和 c 個晶格點相鄰的模型來說,每次能量改變的最大幅度為 2cJ。此外,採用這種單一自旋反轉法可以保證演算過程的遍歷性,因為任意一個狀態都可以藉由逐次的反轉相異的自旋,而變成任意其他狀態[7]

在下面的演算過程我們會採用周期性边界条件使的每個晶格點的相鄰數 c 都相等。[7]

演算過程

整個用於數值模擬易辛模型的演算過程,可由下列的方法建立。

因為共有 L 個晶格點,而且單一自旋反轉法是唯一系統可以從一個狀態跳到另一個狀態的方法,所對於任何一個狀態 μ,有 L 個新狀態 ν 它可以跳去。可以假設 μ 跳到這 L 個新狀態的機率是相等的,因此 g(μ, ν) = 1/L。 為了滿足細緻平衡英语detailed balance,所以下面的等式要成立:

 

因此我們希望接受機率滿足:

 

如果 Hν > HμA(ν, μ) > A(μ, ν),因此 Metropolis 另 A(μ, ν) 和 A(ν, μ) 中較大的為 1。按照這樣的定可以得到 A(μ, ν) 的值為: [7]

 

最後,整個演算法最基本的形式為:

  1. g(μ, ν) 選出一個自旋,並且計算所有和其自旋相關的能量貢獻。(也就是所有和它相鄰自旋交互作用的能量貢獻。)
  2. 反轉其自旋,再計算一次所有和它相關的能量貢獻。
  3. 如果其能量貢獻下降,保持自旋反轉。
  4. 如果貢獻能量上升,則令自旋有   的機率保持反轉。
  5. 重複步驟一。

整個系統能量的改變量 HνHμ 只和反轉的自旋和和它相鄰的自旋有關,所以只要相鄰的自旋數不要太多,計算的速度算是相當快的。而整個系統會逐漸的趨近於某個平衡。

將易辛模型視為馬可夫鏈

將易辛模型比擬為馬可夫鏈是一件很容易的事情,因為下一刻狀態 ν 的轉移機率 Pβ(ν) 只和目前狀態 μ有關 。事實上,Metropolis 演算法就是馬可夫蒙地卡羅(Markov Chain Monte Carlo)的一個版本。而且因為演算時採用的是單一自旋反轉法,每個狀態可視為和另外 L 個狀態相連,而每一個狀態轉移則是將其中一個自旋反轉。[8] 此外,因為不同狀態之間 Hσ 變化只和相鄰自旋的交互作用 J 有關,所以易辛模型也可視為選民模型英语Voter model的一種。

一維易辛模型

在一維易辛模型系統中,假設每個带有自旋的原子分布在一維的圓圈中,且原子仅和鄰居發生交互作用,交互作用均為 ,能量可表示為

 

其中h为外加磁场的强度,J为相邻原子的耦合强度。该系统的自由能为:

 

相邻自旋的相关函数英语Correlation function (statistical mechanics)为:

 

其中,C(β)和c(β)是关于温度的函数,当温度T > 0时取正值。当T → 0时,c(β)趋于零。

证明

易辛自己的论文中已给出了一维易辛模型配分函数精确解。[2]无外加磁场,即h = 0时,计算是很简单的。

此时能量简化为:

 

对于相邻两原子自旋朝向的四种情况,之间的能量只有两种状态:同向和反向。应用变量替换,

 

代入配分函数定义式,得:

 

因此,系统的自由能为

 

同样的变量替换法,得间隔N-1个自旋间的相关函数:

 

T ≠ 0时相关性呈指数衰减。而仅仅在绝对零度时T = 0下,换句话说,β → ∞ 时,系统保持长程相关性。

如果外磁场h ≠ 0,配分函数的计算需要引入传递矩阵法周期性边界条件的近似下,配分函数为

 

系数 可视为2x2矩阵的元素。相邻两自旋各有四种可能状态,其玻尔兹曼因子分别为:

 

或写作传递矩阵的四个元素:

 

配分函数的展开式恰好和传递矩阵自乘后对角元素之和(矩阵的迹)一致。而矩阵的迹可通过求解传递矩阵的特征值得出,因而:

 

其中λ1V最大的特征值,λ2是该矩阵另一个特征值。因而

 

由于|λ2| < λ1,当N很大时对配分函数的贡献可忽略。

结论

系统最低能量为−N,此时所有自旋朝向相同。而其它构型相较基态的能量增量等于一维序列中自旋转向的次数k。例如,能量次低的状态相较基态,能量差为2k。由于能量与转向数之间是线性关系,则两个相邻自旋方向相反的概率符合玻尔兹曼分布:

 

藉由統計力學配分函數可以計算再給定溫度下  ( )的每個原子的磁矩期望值為

 .

所以一維易辛模型並沒有居里温度、不會發生相變,即沒有自发磁化英语spontaneous magnetization的現象。

 .

二維易辛模型

设二维方晶格易辛模型横纵两方向的交互作用能分别为  and  拉斯·昂萨格求得无外磁矩,即 时自由能的解析解:

 

从自由能的偏导数可得到各种热力学函数。

特别地,二维易辛模型有一个相变点,临界温度 满足以下方程:

 .

 ,则 ,或  .

参见

延伸閱讀

  • Kerson Huang, Introduction to Statistical Physics.
  • I. A. Stepanov. Exact Solutions of the One-Dimensional, Two-Dimensional, and Three-Dimensional Ising Models. - Nano Science and Nano Technology: An Indian Journal. 2012. Vol. 6. No 3. 118 - 122.(這篇文章可在該期刊的網站免費閱讀)
  • Barry A. Cipra, "The Ising model is NP-complete", SIAM News, Vol. 33, No. 6; online edition (.pdf)(一篇文章闡述為何任意的易辛模型無法有一般性的精確解,因為非平面的易辛模型是NP完全的。)

相關連結

註解

  1. ^ See Gallavotti (1999), Chapters VI-VII.
  2. ^ 2.0 2.1 Ernst Ising, Contribution to the Theory of Ferromagnetism. [2014-08-14]. (原始内容存档于2020-11-22). 
  3. ^ See Baierlein (1999), Chapter 16.
  4. ^ 存档副本 (PDF). [2014-09-07]. (原始内容 (PDF)存档于2014-04-07). 
  5. ^ 存档副本. [2014-09-07]. (原始内容存档于2015-04-03). 
  6. ^ Montroll, Potts & Ward 1963,第308–309頁
  7. ^ 7.0 7.1 7.2 7.3 7.4 7.5 7.6 7.7 7.8 Newman MEJ, Barkema GT, "Monte Carlo Methods in Statistical Physics, Clarendon Press, 1999
  8. ^ Teif V.B. General transfer matrix formalism to calculate DNA-protein-drug binding in gene regulation. Nucleic Acids Res. 2007, 35: e80. doi:10.1093/nar/gkm268.