The Onsager solution of the 2d Ising model (continued)
description
Transcript of The Onsager solution of the 2d Ising model (continued)
The Onsager solution of the 2d Ising model (continued)
,Ising on NxN square latticei j
adjacent i j
H Js s
2Ising
1,1 1,2 ,
.N N
HFN
s s s
Z e e
Notation:K J
, , 1 , 1,1, 1, 11 2 1 2 ,
, ,
|
largest eigenvalue ( in thermodynamic limit)of transfer matrix
( , ,..., ) ( , ,
is defined on two neighbourin
|
g rows and
..., )
+
k k k k
Nmax max
NJs s Js s
N Nk
s s s
Z N
V e es s s
1.
Summary of first part
1
Fourier, of course
a second-quantization operator with the structure of an exponential. This fictitious system will contain an unspecified number of interacting particles and we must seek the largest eigenvalue.
By fermionization V becomes an infinite interacting 1d periodic Fermi system.
†† † † †1 11 1
12 ( )( )( ) ( )( )22 2 2
2
[2sinh(2 )]
Recall: K= J, tanh( ) .
m mm m m m m mm mm
N K KC CC C C C C C C C
K
V K e e e
e
/4/4
( , )
† † †
(0, )
(the will be useful later)
We prefer to have q>0 and write ( ). Then,
iimq i
m qq
N
m m q q q qm q
eC e eN
C C
Jean Baptiste Joseph Fourier
2
3
† † † †
† †† † † †
(0, )
cos( )( ) sin( )( )
2 ( 1)cos( )( ) sin( )( )
*
q q q q q q q q
q q q qq q q q q q q qq
K q qq
K q q
e
e
V
e
different q are decoupled and the problem reduces to diagonalizing
† †( ) pair creation and annihilationq q q q
† †( ) total fermion numberq q q q
We shall find simultaneous eigenvectors of
Simultanous eigenstates of those operators are eigenstates of Vq.
2where tanh( ) .Ke
In states labelled by q one finds either 0 or 1 particles, and one can create in both q and –q but only once. The dimension of the Hilbert space is just 4.
End of summary of first part
3
4
Diagonalization of Vq
What is the Hilbert space? 4 basis vectors per q † † †0 0 0vacuu ,m, .q q qq q q
† † † †
† † 2 cos
†0
eigenare already one-Fermion vectors :
0 0
( )q q q q q q
K q
q
q q q
q q q qq q q q qV e
† †
† † † † † † † †(0, )
2 ( 1)cos( )( ) sin( )( ) cos( )( ) sin( )( )q q q q
q q q q q q q q q q q q q q q qqK q q K q qqV ee e
The average over the pair state is obtained by setting occupation numbers =1.† †
(0, )
2 ( 1)2
1 0 0
2
1 2
| | | | .
00
q q q qq
q q qq
q
q V e e
eV
e
† †
(0, )
† †
(0, )
2 ( 1)
1
2 ( 1)2
0 1 0 0 0
Start with . It depends on number operators only.
The vacuum average is immedi | | |at | .e:
q q q qq
q q q qq
q
q
V e
V e e
In states labelled by q one finds either 0 or 1 particles, and one can create in both q and –q but only once.
0
We must seek more eigenvectors so we must construct the matrix of V
in pair space ( ,
two
). q
5
1
† † † †2
0
2
Next, we need the matrix
e
in pair
xp cos( )( ) sin( )
space ( , )
( ) .q q q q q
q
q
q
q q q
of
V K q q
† † 2 00 0 0
In pair space ( , )) ( 1 ., q q q qqq z
† †
†
† † †
† † †
0
†
0
†
creates the pair and k
s
ills it.
,
the pair operin( )( ) involves ,
where
sin( )( ) sin( )( ) ,
0 1 0 0
at
, .
ors
0 0
and
1 0 q q x
q q q q
q q
q q q q q
qq qq
q
q q q q
q q
q q
q
b b
q q b
b b
b
b b b b
1
† †22 exp cos( )( 1) sin( )( ) .q z q q q qV K q q
2
12
2
0
12 in pair space ( , ) is:Therefore, the matrix of
exp cos( )( 1) sin( ) .
qqq
q z x
V
V K q q
6
1
cos( )22
cos( )
exp cos( )( 1) sin( ) exp c
One can evaluate the exp
os( ) sin( )
, wherecos( ) sin( )
cos( ) sin( )
on
sin( ) cos( )
ential.
K qq z x z x
K q K M
z x
V K q q e K q q
e eq q
M q qq q
�;
1 0 cos( ) sin( ) cos( ) sin( ) 1 0M is a root of unity: since .
0 1 sin( ) cos( ) sin( ) cos( ) 0 1
One can do the exponential by resumming the Taylor series.
q q q qM
q q q q
osh(K) M inh(K)! !
m mKM
m even m odd
K Ke M c sm m
� � �
6
7
1cos( )2
2
cosh( ) sinh( )cos( ) sinh( )sin( )we get .
sinh( )sin( ) cosh( ) sinh( )cos( )K q
q
K K q K qV e
K q K K q
2 cos( )
2
2
We must perform the matrix product; let
cosh( ) sinh( )cos( ) sinh( )sin( )sinh( )sin( ) cosh( ) sinh( )cos( )
cosh( ) sinh( )cos( ) sinh( )sin( )0s0
q qK qq
q q
q q
q q
A CV e
C B
A CC B
K K q K qK q K K q
K K q K qee
inh( )sin( ) cosh( ) sinh( )cos( )K q K K q
1cos( )2
2
cos( ) sin( )Inserting into the result Cosh(K)+M Sinh(K), ,
sin( ) cos( )K q KM KM
q
q qV e e e M
q q
� � �
21 12 2
2 1 2 1 2using previous result
0Finally, compute: .
0 q q q q q
eV V V V V
e
8
2 cos( ) q qK qq
q q
A CV e
C B
By hand this product is tedious.Fullsimplify on Mathematica yelds:
22 2 2
22 2 2
cosh( ) sinh( )cos( ) (sinh( )sin( ))
(sinh( )sin( )) cosh( ) sinh( )cos( )
2sinh( )sin( )(cosh(2 )cosh( ) sinh(2 )sinh( )cos( ).
q
q
q
A e K K q e K q
B e K q e K K q
C K q K K q
0
2
2 cos( )
Recall: K= J, tanh( ) .
is a known function of .
Getting the eigenvalues of a 2X2 matrix is
in
t
pa
rivial, but we need to find the simplest expressi
ir space
o
,
n
( ), q
K
q qK qq
q qq
eA C
V e qC B
.
We show that det 1 and use T .rq q q qq q
q q q q
A C A CA B
C B C B
9
From
22 2 2
22 2 2
cosh( ) sinh( )cos( ) (sinh( )sin( ))
(sinh( )sin( )) cosh( ) sinh( )cos( )
2sinh( )sin( )(cosh(2 )cosh( ) sinh(2 )sinh( )cos( )
q
q
q
A e K K q e K q
B e K q e K K q
C K q K K q
2
2 2
, , expanding the and collecting,Using theabove expressions for
2((cosh( ) sinh( ) )cosh(2 ) 2sinh(2 )cosh( )sinh( ) cos( );
q q
q qq q
q q
A B
A CTr A B K K K K q
C B
2 product of eigenvalues 1.
it is expedient to write the eigenvalues in the form , 0
The
1 det 1,
2cosh .)n (
q
q q
q qq q q
q q
q qq q
q
qq q
A CA
e
e e
B CC B
A Cr A BC B
T
one can work out, recalling that V is hermitean and eigenvalues must be real:
9
10
2 2
Simplify using the identities:
2cosh( )sinh( ) sinh(2 ), cosh( ) sinh( ) cosh(2 )q qA B
K K K K K K
cosh( ) cos
is know
h(2 )
n! It is the p
cosh(2 ) sinh(2 )sinh(2 )cos( )
ositive root ofq
q K K q
2[cosh(2 )cosh(2 ) sinh(2 )sinh(2 )cos( )].
This must be 2cosh( )
q
q q
q
qA CTr K K q
C B
2 22((cosh( ) sinh( ) )cosh(2 ) 2sinh(2 )cosh( )sinh( ) cos( );q q
q q
A CTr K K K K q
C B
2 cos( )0
2 cos( )
Summarizing, in pair space ( , ), .
This has eigenvalues , 0.q
q qK qqq q
q q
K qq
A CV e
C B
e e
2 cosare already one-Fermion vectorRecall: s :e e ;ig n K qqq q qV e
2 cos( ) 2 cos( )
0 the m
that has eigenvalues
atrix of V in pair space (
, 0
i :
.
,
) s
qq qK q
q
K q
qqq
q
A CeV e e
C B
The 4 eigenvalues of Vq
2
(0, )
2
2 cos( )
2
largest eigenvalue of
The transfer matrix is [2sinh(2 )] and so we want
[2sinh(2 )] .
The largest eigenvalue of largest exponent choose
[2sinh(2 )]
q
N
N
max qq
q
K qq
N
max
V K V
K V
V
K
ee
2 co 2
0
s( ) [2sinh(2 )] e 2 cxp os( ].)[q
NK
q
qqe K K qe
( , )
q
2
122
(- , )
[2sinh(2 )] co
Extend to q (- , ) and divide by 2 exponent:
exp [ ].
We
s( )2
cos can clean up since ( ) 0. Therefore,
[2sinh(2 )] .q
q
Nq
max
N
max
q
K K q
q
K e
ò
11
( , )
122[2sinh(2 )] .
N
max K e
ò
12
422 , In the thermodynamic lim [2sinh(2 )] .it qNN dq
maxdq K eN
ò
The free energy per spin is1 1[ ln(2sinh(2 ) ].2 4 qF KT K dq
ò
2
qTheeigenvalues
cosh( ) cosh(2 )cosh(2 ) sinh(2 )sinh
ε are k
(2 )cos( )
where tanh( )
nown. Reca l
.
l
K
q K K q
e
The solution is a bit implicit, but complete !
13
2critical temperature .ln(1 2)B C
Jk T
Temperature dependence of energy per spin Temperature dependence
of specific heat
Actually, one can obtain (see Huang page 386) the slightly more explicit expression
2 220
1 1 2sinh(2 )ln[2cosh(2 )] ln{ (1 1 sin( ) } where .2 2 cosh(2 )
KF K dK
1 1[ ln(2sinh(2 ) ].2 4 qF KT K dq
ò
14
2critical temperature .ln(1 2)B C
Jk T
Temperature dependence of spontaneous magnetization (Yang’s calculation, not Onsager’s, where H=0),see Huang page 391
Phase transition
18
4
1[1 ](sinh(2 ))
mJ
14
Monte Carlo simulations
The exact solution offers a unique benchmark for computer simulations by a Metropolis algorithm. Lattices of up and down spins are produced by random number generation using an algorithm based on importance sampling. Given a lattice one spin is turned and the new energy evaluated. The new lattice is accepted if the energy is not too high. Then averages are computed.
Average:
r
r
Er
rE
r
A eA
e
22
22
in this way one estimates (fluctuation-Dissipation theorem),
Magnetic susceptibility , etc.
vC E ET
M M
15
(from Lectures by Lisa Larrimore)16
17
Temperature dependence of specific heat
18
19
20
(Weiss theory)
(Weiss theory)
20
21
d ferromagnetic Ising ModelThe Ising model including H is soluble if we assume N>>1 nearest neighbours (many dimensions or very long-range interaction): we must divide interaction by N to have a finite answer for large N. So we take:
,
Hamilto nian 02 n n
mm
n nNJJ s s H s
2,
,
2 2
{ } { }
2
,sum over all confi
Since the total spin is :
gurati s.
,
onm n
n
i
nm n
i
m
H s
n nn m n
J JsN
s
HSN
s
Ss
S Ss s s
Z e e
We calculate Z exactly via the Hubbard-Stratonovich transformation
0
Non-interacting case J=0
( ) ( ) [2cosh( )]
log(2cosh( )).
kk
i
k
k
H sHs H H N
s sk k
Z H e e e e H
F KTN H
22
22
22Why exp[ ] ?2
02
,J Sx Na N J N Je dx x JSxdxe a
a
21 exp[ ]2 2N J N Jdx x
2By a shift of coordinate 1= exp[ ( ) ].2 2N J N J Sdx x
N
2 2 222 2 2Multiply both sides by : exp[ ( ) ].
2 2
J J JS S SN N N N J N J Se e e dx x
N
2
2 2 2
2 22
22
2At the exponent: ( ) 22 2 2 2
exp[ ], qed2 2 2
2 2
J SN
J N J SJ N J S N J N J SS x x xN N N
N J N J N Jx JSx e dx
SN N
x JSx
The Hubbard-Stratonovich transformation
2
1 , with a=2
axa N Jdxe
23
2 2
( )( )
0
2
(
( ) 2
)
0
( )( , ) ( ) [2cosh( ( ))] .
( , )2 2
kk
i
i
k
k
H Jx sH Jx s H Jx H N
s sk k
N J N Jx H x x
Jx
J S
s
Z x H e e e e H Jx
N J N JZ dxe e dxe Z x H
22
{ } }
2
{
becomes exp[ .]2 2
i is s
J S HSN HS N JZ e Z eN Je dx x JSx
2
)
2 ( )
0(
Next, exchange with .2
weighted average of ( , ) (noninteracting spins in field H+Jx);i i
i
N JH Jx S
H Jx
x
s s
s
S
N Jdx Z dxe e
Z Z x H e
2
2
20
}
22
{ } {
Noninteracting case: . .
Substi
( )
etute xp[ ]2 2
i i
HSHS
s
J
s
SN
J SN
e
N J N Je dx x JSx
H eZ e Z
The Hubbard-Stratonovich transformation
24
0 tanh( ) tanh( )N Jx NJ H Jx NJx NJ H Jx
2
20 0
the optimum x is tanh( ),effective magn
( , ) ( , ).2
etic fieldN J xN JZ dxe Z x H Z x H
x H J xJ x
Evaluation of Z by the steepest descent method
( , , ...) ( , , ...) ( , , ,...)const. , such that 0.f x a b f x a b
x x
df x a bdxe e xdx
20ln( ( , ))
2
2
N J x Z x HN JZ dxe
the minimum condition isWith
20 [ ln(cosh( ))] { tanh( )}2
d N J x N H Jx NJ x H Jxdx
2
20 0( , ), ( , ) [2cosh( )] .
2
N J x NN JZ dxe Z x H Z x H H Jx
25
PIERRE-ERNEST WEISS born March 25, 1865, Mulhouse, France. died Oct. 24, 1940, Lyon, France.
Recall the Weiss mean field theory (1907)
effH H M
1 , 2 tanh2
BB
B
HNJ g MV K T
( )tanh BB
B
H MNMV K T
The behavior of an Ising model on a fully connected graph may be completely understood by mean field theory,because each site has a very large number of neighbors. Each spin interacts with all the others, Only the average number of + spins and − spins is important, since the fluctuations about this mean will be very small. Mean field = exact in infinite d
Exchange field
Mermin-Wagner theorem in Statistical Mechanics, = (Coleman theorem (1973) in QFT)In d=1 and d=2 continuous symmetries cannot be spontaneously broken at finite T in systems with sufficiently short ranged interactions. This does not apply to discrete symmetries (2d Ising model)
Thin films do show phase transitions experimentally, so perhaps they are not really 2d.
X-Y model and Kosterlitz-Thouless topological transitionVortices canot occur in 1d. Since KT deal with vortices we digress a little about fluids. For a 2d fluid moving with velocity u(x,y,t) in 2d the vorticity is
. ( ) ( )yxzS S
C
uuk dl u dS rot u dS
y x
k>0
In addition topological transitions (no broken symmetry) can occur in 2d.
26
In polar coordinates with basis vectorsˆ( , ), =z ( , )x y y x
r r r r
( , ) (0, )2rku u ur
consider a circular vortex
If the density is , the kinetic energy of the vortex is finite if we introduce two cutoff lengths: size R of the fluid, and intermolecular distance r0
0
2 22
20
1 1 2 ln( ).2 2 (2 ) 4
R
r
k k RE dSu drrr r
In a similar way one can compute the energy of two vortices of opposite vorticity at a distance d and find that they attract each other. One finds that the interaction energy grows with the distance as
2
0
( ) log( )2 2k dU d
r
Vortex and antivortex attract each other and annihilate.
27
,
cos( ), J>0j jj
H J
X-Y model and the KT transition Classical spins confined in (x,y) plane in a 2d lattice; the one at site j makes an angle j with the x axis. The Hamiltonian is:
In the ground states all spins are aligned in some direction, and every cos =1
Excitations are vortices and monopoles. They are topological, that is, they are like holes in the system.I take figures from Mahan’s Nutshell book
28
29
2
Entropy of vortex (or monopole) =K log(number of sites)=K log( )
Energy of vortex-antivortex (or monopole-antimonopole) interaction
estimated by Kosterlitz-Thouless =2 J log( ).
Same story for vortic
B BRa
Ra
es and monopoles. Both are topological excitations.
JTransition temperature T=BK
Above, the system creates free vorticesBelow, excitations consist of vortex-antivortex pairs.No symmetry is broken in the transition.
30