2

1次元格子モデルの分配関数と転送行列

1467
0
$$\newcommand{A}[0]{\mathbb{A}} \newcommand{abs}[1]{\lvert#1\rvert} \newcommand{Algs}[0]{{\rm Algs}} \newcommand{Art}[0]{{\rm Art}} \newcommand{Aut}[0]{Aut} \newcommand{B}[0]{\mathbb{B}} \newcommand{bB}[0]{\mathbf{B}} \newcommand{bH}[0]{\mathbf{H}} \newcommand{Br}[0]{\mathrm{Br}} \newcommand{C}[0]{\mathbb{C}} \newcommand{cF}[0]{\mathcal{F}} \newcommand{cG}[0]{\mathcal{G}} \newcommand{cH}[0]{\mathcal{H}} \newcommand{cI}[0]{\mathcal{I}} \newcommand{cJ}[0]{\mathcal{J}} \newcommand{colim}[0]{colim} \newcommand{Cone}[0]{{\rm Cone}} \newcommand{Conj}[0]{{\rm Conj}} \newcommand{dimtot}[0]{{\rm dimtot}} \newcommand{End}[0]{End} \newcommand{Ext}[0]{{\rm Ext}} \newcommand{F}[0]{\mathbb{F}} \newcommand{fa}[0]{\mathfrak{a}} \newcommand{fb}[0]{\mathfrak{b}} \newcommand{fg}[0]{\mathfrak{g}} \newcommand{fh}[0]{\mathfrak{h}} \newcommand{Frob}[0]{\mathrm{Frob}} \newcommand{Fun}[0]{Fun} \newcommand{fZ}[0]{\mathfrak{Z}} \newcommand{G}[0]{\mathbb{G}} \newcommand{Gal}[0]{{\rm Gal}} \newcommand{GL}[0]{GL} \newcommand{Gm}[0]{\mathbb{G}m} \newcommand{grad}[0]{grad} \newcommand{Hom}[0]{Hom} \newcommand{id}[0]{\mathrm{id}} \newcommand{im}[0]{im} \newcommand{Ind}[0]{Ind} \newcommand{inpr}[1]{\langle #1 \rangle} \newcommand{inv}[0]{\mathrm{inv}} \newcommand{leng}[0]{{\rm leng}} \newcommand{li}[0]{{\rm li}} \newcommand{Monoids}[0]{{\rm Monoids}} \newcommand{N}[0]{\mathbb{N}} \newcommand{norm}[1]{\lvert\lvert#1\rvert\rvert} \newcommand{Ob}[0]{{\rm Ob}} \newcommand{ord}[0]{{\rm ord}} \newcommand{p}[0]{\mathfrak{p}} \newcommand{Posets}[0]{{\rm Posets}} \newcommand{pr}[0]{{\rm pr}} \newcommand{Prim}[0]{{\rm Prim}} \newcommand{Proj}[0]{\mathbb{P}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{quat}[3]{\left(\frac{#1,#2}{#3}\right)} \newcommand{R}[0]{\mathbb{R}} \newcommand{rank}[0]{\mathrm{rank}} \newcommand{rec}[0]{\mathrm{rec}} \newcommand{Res}[0]{Res} \newcommand{res}[0]{\mathrm{res}} \newcommand{sB}[0]{\mathscr{B}} \newcommand{Sch}[0]{Sch} \newcommand{Set}[0]{{\rm Set}} \newcommand{Sets}[0]{{\rm Set}} \newcommand{SL}[0]{SL} \newcommand{SO}[0]{SO} \newcommand{spa}[1]{{\rm Spa}(#1)} \newcommand{Spec}[0]{\mathrm{Spec}} \newcommand{spf}[1]{{\rm Spf}(#1)} \newcommand{Sw}[0]{{\rm Sw}} \newcommand{Tr}[0]{Tr} \newcommand{tr}[0]{\mathrm{tr}} \newcommand{trace}[0]{trace} \newcommand{vect}[1]{\overrightarrow{#1}} \newcommand{Vect}[0]{{\rm Vect}} \newcommand{Vir}[0]{Vir} \newcommand{vol}[0]{\mathrm{vol}} \newcommand{Xb}[0]{\overline{X}} \newcommand{Z}[0]{\mathbb{Z}} $$

この記事は 数理物理 Advent Calendar 2020 20日目の記事です。

この記事では$1$次元周期的な格子モデルの分配関数とその転送行列について、その物理的背景には一切触れずに説明します。予備知識は行列の掛け算です。

本題である格子モデルの話に入る前に、比較的馴染みがあるであろう確率的な状態遷移を記述する確率漸化式と遷移行列についての こちらの記事 をお読みいただくと良いかもしれません。上の記事と以下の話は、格子の頂点が時刻、辺の重みが状態遷移の確率と考えることで対応がつきます。

もちろん、この記事単体で読んでいただいても差し支えありません。

格子モデルと分配関数

ここでは$1$次元の格子モデルを考える。整数で番号づけられた頂点の集合$V$があり、$i,j\in V$に対して$\abs{i-j}=1$の場合のみ辺で結んだ図形を考える。要するに頂点が一列に並んでおり、隣り合った頂点が辺で結ばれている。
$$\begin{eqnarray} \xymatrix@R=2pt{ ~ \ar[r] & *++[o][F-]{-1} \ar[r] & *++[o][F-]{0} \ar[r] & *++[o][F-]{1} \ar[r] & *++[o][F-]{2} \ar[r] & ~ }\end{eqnarray}$$各頂点には状態を定める。取りうる状態の集合を$S$とし、各頂点に状態を割り当てるものを配置と呼ぶ。状態を$1,2$のいずれかとすると$S=\{1,2\}$であり、例えば以下のように各頂点に状態$1,2$を割り当てたものが配置である。
$$\begin{eqnarray} \xymatrix@R=2pt{ ~ & 1 & 2 & 1 & 1 & ~\\ ~ \ar[r] & *++[o][F-]{-1} \ar[r] & *++[o][F-]{0} \ar[r] & *++[o][F-]{1} \ar[r] & *++[o][F-]{2} \ar[r] & ~ }\end{eqnarray}$$特にここでは周期的な配置のみを考えよう。周期を$N$とすると、頂点$i$の状態と$i+N$の状態が一致する。これが任意の$i$について成り立つとき、配置の周期が$N$であることとする。このような条件を満たす最小の$N$であることは仮定しない。周期$N$の配置を決めるには頂点$1,2,\ldots,N$の状態を決めればよく、配置は写像$\lambda:\{1,2,\ldots,N\}\to S$であると考えることができる。周期$N$の格子を考える場合には、初めから正$N$角形の頂点とその辺からなる図を考えても良い。

周期が$N=2$であれば、偶数番目の頂点の状態と奇数番目の頂点の状態をそれぞれ指定することで配置が定まる。

つまり$\lambda(1), \lambda(2)\in S$を指定することで配置が定まる。

$S=\{1,2\}$であれば配置は以下の$4$通りが考えられる。 $$\begin{eqnarray} \xymatrix@R=2pt{ ~ & 1 & 1 & 1 & 1 & ~\\ ~ \ar[r] & *++[o][F-]{-1} \ar[r] & *++[o][F-]{0} \ar[r] & *++[o][F-]{1} \ar[r] & *++[o][F-]{2} \ar[r] & ~ }\\ \\ \xymatrix@R=2pt{ ~ & 1 & 2 & 1 & 2 & ~\\ ~ \ar[r] & *++[o][F-]{-1} \ar[r] & *++[o][F-]{0} \ar[r] & *++[o][F-]{1} \ar[r] & *++[o][F-]{2} \ar[r] & ~ }\\ \\ \xymatrix@R=2pt{ ~ & 2 & 1 & 2 & 1 & ~\\ ~ \ar[r] & *++[o][F-]{-1} \ar[r] & *++[o][F-]{0} \ar[r] & *++[o][F-]{1} \ar[r] & *++[o][F-]{2} \ar[r] & ~ }\\ \\ \xymatrix@R=2pt{ ~ & 2 & 2 & 2 & 2 & ~\\ ~ \ar[r] & *++[o][F-]{-1} \ar[r] & *++[o][F-]{0} \ar[r] & *++[o][F-]{1} \ar[r] & *++[o][F-]{2} \ar[r] & ~ }\end{eqnarray}$$

各辺にその辺の両端の状態のみに依存して重みが定まる。両端の状態が$i,j\in S$であるとき、$T_{ij}$がその辺の重みとする。これは配置には依存せず、辺の両端の状態のみによって定まるものである。例えば以下の配置に対して、各辺には重みが図のように定まる。
$$\begin{eqnarray} \xymatrix@R=2pt{ ~ & 1 & 1 & 2 & 1 & ~\\ ~ \ar[r] & *++[o][F-]{-1} \ar[r]^{T_{11}} & *++[o][F-]{0} \ar[r]^{T_{12}} & *++[o][F-]{1} \ar[r]^{T_{21}}& *++[o][F-]{2} \ar[r] & ~ }\end{eqnarray}$$

エネルギー

周期$N$の配置$\lambda$に対してそのエネルギーを、配置の各辺の重みの積
$$\begin{eqnarray} \sum_{i=1}^NT_{\lambda(1)\lambda(2)}T_{\lambda(2)\lambda(3)}\cdots T_{\lambda(N)\lambda(1)}\end{eqnarray}$$で定める。

$N=2$のとき、配置を$\lambda(1)=a, \lambda(2)=b$とする辺に割り当てられた重みは$T_{ab}, T_{ba}$であり、この配置のエネルギーは $$\begin{eqnarray} T_{ab}T_{ba}\end{eqnarray}$$ である。 $$\begin{eqnarray} \xymatrix@R=2pt{ ~ & a & b & a & b & ~\\ ~ \ar[r]^{T_{ba}} & *++[o][F-]{-1} \ar[r]^{T_{ab}} & *++[o][F-]{0} \ar[r]^{T_{ba}} & *++[o][F-]{1} \ar[r]^{T_{ab}}& *++[o][F-]{2} \ar[r]^{T_{ba}} & ~ }\end{eqnarray}$$ $N=3$のとき、配置を$\lambda(1)=a, \lambda(2)=b, \lambda(3)=c$とすると辺に割り当てられた重みは$T_{ab}, T_{bc}, T_{ca}$であり、この配置のエネルギーは $$\begin{eqnarray} T_{ab}T_{bc}T_{ca}\end{eqnarray}$$ である。 $$\begin{eqnarray} \xymatrix@R=2pt{ ~ & b & c & a & b & ~\\ ~ \ar[r]^{T_{ab}} & *++[o][F-]{-1} \ar[r]^{T_{bc}} & *++[o][F-]{0} \ar[r]^{T_{ca}} & *++[o][F-]{1} \ar[r]^{T_{ab}}& *++[o][F-]{2} \ar[r]^{T_{bc}} & ~ }\end{eqnarray}$$

配置の実現する確率をエネルギーに比例させたモデルを考えよう。そのための正規化定数を$Z$とし、これを分配関数と呼ぶ。

分配関数

周期$N$で状態の集合$S$の格子モデルに対し、その分配関数$Z$は全ての配置$\lambda$に渡ったエネルギーの和
$$\begin{eqnarray} Z=\sum_{\lambda}\sum_{i=1}^NT_{\lambda(1)\lambda(2)}T_{\lambda(2)\lambda(3)}\cdots T_{\lambda(N)\lambda(1)}\end{eqnarray}$$である。

$N=2$で状態の集合が$S=\{1,2\}$のとき、考えうる配置は$4$通りあり、分配関数は $$\begin{eqnarray} Z=T_{11}T_{11}+T_{12}T_{21}+T_{21}T_{12}+T_{22}T_{22}\end{eqnarray}$$である。 $$\begin{eqnarray} \xymatrix@R=2pt{ ~ & 1 & 1 & 1 & 1 & ~\\ ~ \ar[r]^{T_{11}} & *++[o][F-]{-1} \ar[r]^{T_{11}} & *++[o][F-]{0} \ar[r]^{T_{11}} & *++[o][F-]{1} \ar[r]^{T_{11}} & *++[o][F-]{2} \ar[r]^{T_{11}} & ~ }\\ \\ \xymatrix@R=2pt{ ~ & 1 & 2 & 1 & 2 & ~\\ ~ \ar[r]^{T_{21}} & *++[o][F-]{-1} \ar[r]^{T_{12}} & *++[o][F-]{0} \ar[r]^{T_{21}} & *++[o][F-]{1} \ar[r]^{T_{12}} & *++[o][F-]{2} \ar[r]^{T_{21}} & ~ }\\ \\ \xymatrix@R=2pt{ ~ & 2 & 1 & 2 & 1 & ~\\ ~ \ar[r]^{T_{12}} & *++[o][F-]{-1} \ar[r]^{T_{21}} & *++[o][F-]{0} \ar[r]^{T_{12}} & *++[o][F-]{1} \ar[r]^{T_{21}} & *++[o][F-]{2} \ar[r]^{T_{12}} & ~ }\\ \\ \xymatrix@R=2pt{ ~ & 2 & 2 & 2 & 2 & ~\\ ~ \ar[r]^{T_{22}} & *++[o][F-]{-1} \ar[r]^{T_{22}} & *++[o][F-]{0} \ar[r]^{T_{22}} & *++[o][F-]{1} \ar[r]^{T_{22}} & *++[o][F-]{2} \ar[r]^{T_{22}} & ~ }\end{eqnarray}$$

転送行列

以下では状態は有限通りで$S=\{1,2,\ldots,n\}$と名前をつける。

ここでは上で定めた分配関数$Z$転送行列と呼ばれる行列$T$によって表示する。目的の式は、

$N$を周期として分配関数$Z$が行列$T$を用いて
$$\begin{eqnarray} Z=\tr(T^N)\end{eqnarray}$$と表される

ことである。

ここで転送行列とは格子モデルの重み$T_{ij}$を用いて $$\begin{eqnarray} T= \begin{pmatrix} T_{11}&\cdots&T_{1n}\\ \vdots&~&\vdots\\ T_{n1}&\cdots&T_{nn} \end{pmatrix}\end{eqnarray}$$で定まる行列のこと。この行列の成分である$T_{ij}$は、辺の左の状態が$i\in S$で右の状態が$j\in S$である場合の重みであった。この行列は配置に依存せず、状態とそれらの重みのみで定まっていることに注意しよう。

まずは周期や状態数が小さい場合に様子を見てみよう。

$2$状態で$N=2$の場合をまずは考える。 転送行列$T$$$\begin{eqnarray} T= \begin{pmatrix} T_{11}&T_{12}\\ T_{21}&T_{22} \end{pmatrix}\end{eqnarray}$$ である。 この行列$T$に対し、$$\begin{eqnarray} T^2&=& \begin{pmatrix} T_{11}&T_{12}\\ T_{21}&T_{22} \end{pmatrix} \begin{pmatrix} T_{11}&T_{12}\\ T_{21}&T_{22} \end{pmatrix}\\ &=& \begin{pmatrix} T_{11}T_{11}+T_{12}T_{21}&T_{11}T_{12}+T_{12}T_{22}\\ T_{21}T_{11}+T_{22}T_{21}&T_{21}T_{12}+T_{22}T_{22}\\ \end{pmatrix}\end{eqnarray}$$ だから、 $$\begin{eqnarray} \tr(T^2)=T_{11}T_{11}+T_{12}T_{21}+T_{21}T_{12}+T_{22}T_{22}\end{eqnarray}$$である。

これが$4$種類の配置$(\lambda(1),\lambda(2))=(1,1), (1,2), (2,1), (2,2)$のエネルギーの総和となり、分配関数 $$\begin{eqnarray} Z=T_{11}T_{11}+T_{12}T_{21}+T_{21}T_{12}+T_{22}T_{22}\end{eqnarray}$$と一致する。 上の計算を一般化を見据えて書き直すと、 $$\begin{eqnarray} \tr(T^2) &=& \sum_{i=1}^2(T^2)_{ii}\\ &=& \sum_{i=1}^2(\sum_{j=1}^2T_{ij}T_{ji})\\ &=& \sum_{1\leq i,j\leq2}T_{ij}T_{ji}\\ &=& T_{11}T_{11}+T_{12}T_{21}+T_{21}T_{12}+T_{22}T_{22}\\ &=& Z\end{eqnarray}$$ となる。

上の計算は状態数や周期をより大きくしても同様にできる。まずは状態数を増やしてみる。

$N=2$で状態数$n$をふやす。 配置$V\to S$$n^2$通りある。

配置$(\lambda(1),\lambda(2))$のエネルギーは $$\begin{eqnarray} T_{\lambda(1)\lambda(2)}T_{\lambda(1)\lambda(2)}\end{eqnarray}$$ であり、その総和は $$\begin{eqnarray} Z&=& \sum_\lambda T_{\lambda(1)\lambda(2)}T_{\lambda(2)\lambda(1)}\\ &=& T_{11}T_{11}+T_{12}T_{21}+\cdots+T_{1n}T_{n1}+\cdots+T_{n1}T_{1n}+\cdots+T_{nn}T_{nn}\end{eqnarray}$$である。 転送行列 $$\begin{eqnarray} T= \begin{pmatrix} T_{11}&\cdots&T_{1n}\\ \vdots&~&\vdots\\ T_{n1}&\cdots&T_{nn} \end{pmatrix}\end{eqnarray}$$ に対して、 $$\begin{eqnarray} T^2&=& \begin{pmatrix} T_{11}&\cdots&T_{1n}\\ \vdots&~&\vdots\\ T_{n1}&\cdots&T_{nn} \end{pmatrix} \begin{pmatrix} T_{11}&\cdots&T_{1n}\\ \vdots&~&\vdots\\ T_{n1}&\cdots&T_{nn} \end{pmatrix}\\ &=& \begin{pmatrix} T_{11}T_{11}+\cdots+T_{1n}T_{n1}&\cdots&~\\ \vdots&~&\vdots\\ ~&\cdots&T_{n1}T_{1n}+\cdots+T_{nn}T_{nn} \end{pmatrix}\end{eqnarray}$$ となる。 そのトレースは $$\begin{eqnarray} \tr(T^2) &=& \sum_{i=1}^n(T^2)_{ii}\\ &=& \sum_{i=1}^n(\sum_{j=1}^nT_{ij}T_{ji})\end{eqnarray}$$となり、全ての配置についてのエネルギーの総和 $$\begin{eqnarray} Z=T_{11}T_{11}+T_{12}T_{21}+\cdots+T_{1n}T_{n1}+\cdots+T_{n1}T_{1n}+\cdots+T_{nn}T_{nn}\end{eqnarray}$$と一致する。

次に状態数は$2$のままで周期$N$をふやそう。配置は$2^N$通りある。

もう一度$N=2$のときを復習すると、転送行列$T$に対して$T^N=T^2$の成分は
$$\begin{eqnarray} (T^2)_{ij} &= \sum_{k=1}^nT_{ik}T_{kj}\end{eqnarray}$$であり、そのトレースは
$$\begin{eqnarray} \tr(T^2) &=& (T^2)_{11}+(T^2)_{22}\\ &=& T_{11}T_{11}+T_{12}T_{21}+T_{21}T_{12}+T_{22}T_{22}\end{eqnarray}$$となって、分配関数と転送行列のベキのトレースが一致する。

$N=3$の場合、$8$通りの配置 $$\begin{eqnarray} (\lambda(1),\lambda(2),\lambda(3))=(1,1,1),(1,1,2),(1,2,1),(1,2,2),(2,1,1),(2,1,2),(2,2,1),(2,2,2)\end{eqnarray}$$に対し、それらのエネルギーを順番に足すことで $$\begin{eqnarray} Z=T_{11}T_{11}T_{11}+T_{11}T_{12}T_{21}+T_{12}T_{21}T_{11}+T_{12}T_{22}T_{21}+ T_{21}T_{11}T_{12}+T_{21}T_{12}T_{22}+T_{22}T_{21}T_{12}+T_{22}T_{22}T_{22}\end{eqnarray}$$となる。 転送行列$T$について、$T^N=T^3$$$\begin{eqnarray} T^3&=& T^2T\\ &=& \begin{pmatrix} T_{11}T_{11}+\cdots+T_{1n}T_{n1}&\cdots&~\\ \vdots&~&\vdots\\ ~&\cdots&T_{n1}T_{1n}+\cdots+T_{nn}T_{nn} \end{pmatrix} \begin{pmatrix} T_{11}&\cdots&T_{1n}\\ \vdots&~&\vdots\\ T_{n1}&\cdots&T_{nn} \end{pmatrix}\end{eqnarray}$$ であり、これの$i,j$成分を整理して書くと
$$\begin{eqnarray} (T^3)_{ij} &=& \sum_{k=1}^n(T^2)_{ik}T_{kj}\\ &=& \sum_{k=1}^n(\sum_{l=1}^nT_{il}T_{lk})T_{kj}\\ &=& \sum_{k,l}T_{il}T_{lk}T_{kj}\end{eqnarray}$$ となる。

したがって、トレースは $$\begin{eqnarray} \tr(T^3) &=& (T^3)_{11}+(T^3)_{22}\\ &=& \sum_{k,l}T_{1l}T_{lk}T_{k1}+ \sum_{k,l}T_{2l}T_{lk}T_{k2}\\ &=& (T_{11}T_{11}T_{11}+T_{12}T_{21}T_{11}+T_{11}T_{12}T_{21}+T_{12}T_{22}T_{21})+ (T_{21}T_{11}T_{12}+T_{22}T_{21}T_{12}+T_{21}T_{12}T_{22}+T_{22}T_{22}T_{22})\end{eqnarray}$$となり、$Z$と一致する。

周期$N$と状態数$n$を一般にしても同様に考えることができる。例えば配置$(\lambda(1),\lambda(2),\lambda(3),\lambda(4),\lambda(5),\ldots,\lambda(N-1),\lambda(N))=(1,2,1,1,2,\ldots,2,1)$に対し、そのエネルギーは
$$\begin{eqnarray} T_{12}T_{21}T_{11}T_{12}\cdots T_{21}T_{11}\end{eqnarray}$$となる。$T$$N$乗の$(i,j)$成分は $$\begin{eqnarray} (T^N)_{ij} &= \sum_{1\leq k_1,k_2,\ldots,k_{N-1}\leq n}T_{ik_1}T_{k_1k_2}\cdots T_{k_{N-1}j}\end{eqnarray}$$となり、周期条件付きなので$i=j$の場合のみを考えることになる。それらの合計が行列のトレースなので、結局

$$\begin{eqnarray} \tr(T^N) &=& \sum_{i=1}^n(T^N)_{ii}\\ &=& \sum_{i=1}^n\sum_{1\leq k_1,k_2,\ldots,k_{N-1}\leq n}T_{ik_1}T_{k_1k_2}\cdots T_{k_{N-1}i}\\ &=&Z\end{eqnarray}$$

である。

投稿日:20201221
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

数学が好きです。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中