2.

3 El metodo de matriz de transferencia: modelo de Ising en d = 1

Este es un metodo para resolver sistemas denidos en redes con variables discretas,
el cual se utiliza fundamentalmente para resolver problemas unidimensionales, aunque
puede en algunos casos extenderse a dimensiones mayores.
Supongamos un sistema denido en una red unidimensional de N sitios con condi-
ciones de contorno periodicas y variables dicretas
i
, i = 1, 2, . . . , N, las cuales pueden
tomar M valores diferentes y satisfacen:

i+N
=
i
Supongamos ademas interacciones solo entre primeros vecinos, con lo cual el Hamil-
toniano del sistema puede ser escrito de manera generica como
H() =
N

i=1
[U(
i
) +V (
i
,
i+1
)] (61)
donde, por las condiciones periodicas,
N+1
=
1
. La funcion de particion viene dada
por
Z =

{
i
}
exp
_

i=1
U(
i
) +V (
i
,
i+1
)
_
=

{
i
}
N

i=1
T(
i
,
i+1
) (62)
con
T(,

) = exp
_

_
U()/2 +V (,

) +U(

)/2
_
donde hemos simetrizado el exponente, por motivos que quedaran claros inmediata-
mente. Las funciones T(,

) pueden ser pensadas como los elementos de una matriz

MM, que llamaremos T, la cual se conoce como matriz de transferencia. Tenemos
entonces
68
Z
N
=

{
1
}

{
3
}

{
N
}
_
_

{
2
}
T(
1
,
2
)T(
2
,
3
)
_
_
T(
3
,
4
) . . . T(
N
,
1
) (63)
=

{
1
}

{
4
}

{
N
}
_
_

{
3
}
T
2
(
1
,
3
)T(
3
,
4
)
_
_
T(
4
,
5
) . . . T(
N
,
1
) (64)
.
.
. (65)
=

{
1
}
T
N
(
1
,
1
) (66)
= Tr
_
T
N
_
(67)
La matriz T es simetrica por construccion y por lo tanto sus autovalores son reales. Si
llamamos
j
, j = 1, 2, . . . , M a los autovalores de T entonces
Z =
M

j=1

N
j
(68)
Teorema de Perron-Frobenius: Dada un matriz MM (M < ) A, con elementos
de matriz A
ij
> 0 para todo i, j, el mayor autovalor es:
1. real y positivo,
2. no-degenerado,
3. una funcion analtica de los elementos de matriz A
ij
.
Podemos entonces ordenar los autovalores de T de manera que

1
>
2

3

M
donde
1
por el teorema anterior es una funcion analtica de (T > 0) y otros
parametros incluidos en el Hamiltoniano, ya que asumimos M nito. De esta man-
era, la energa libre resulta
69
f = lim
N
1
N
lnZ
= lim
N
1
N
ln
_

N
1
_
1 +
M

i=2
(
i
/
1
)
N
__
= ln
1
+ lim
N
1
N
ln
_
1 +
M

i=2
(
i
/
1
)
N
_
= ln
1
(69)
Dado que
1
es una funcion analtica de todos sus parametros, esto constituye una
demostracion alternativa de que en un sistema unidimensional con interacciones de
primeros vecinos no existe transicion de fase a temperatura nita.
Vamos analizar ahora la solucion del modelo de Ising unidimensional con interaccion
a primeros vecinos. Antes de aplicar el metodo anterior, vamos a resolver el problema
con condiciones de contorno libres a campo nulo, para el cual
H = K
N1

i=1
S
i
S
i+1
Z(N, T) =

S
1
=1

S
N
=1
N1

i=1
exp(KS
i
S
i+1
)
Sumemos primero sobre S
N
:

S
N
=1
exp(KS
N1
S
N
) = exp(KS
N1
) +exp(KS
N1
)
= 2 cosh(KS
N1
)
= 2 cosh(K) (70)
ya que cosh(x) es una funcion par. Tenemos entonces
Z(N, T) = 2 cosh(K)Z(N 1, T)
Iterando esta ecuacion obtenemos
70
Z(N, T) =

S
1
=1
[2 cosh(K)]
N1
= 2 [2 cosh(K)]
N1
de donde la energa libre resulta
f(T) = lim
N
1
N
lnZ(N, T) = ln(2 coshK) (71)
La derivacion anterior se basa en el hecho de que el resultado de la suma sobre S
N
es
independiente de S
N1
. En presencia de campo externo esto ya no se cumple. Vamos
a entonces a calcular la funcion particion a campo no nulo, pero usando condiciones
de contorno periodicas mediante el metodo de matriz de transferencia. En este caso
podemos escribir
Z(N, B, T) =

S
1
=1

S
N
=1
exp
_
K
N

i=1
S
i
S
i+1
+
h
2
N

i=1
(S
i
+S
i+1
)
_
(72)
con h B y S
N+1
= S
1
. La matriz de transferencia en este caso es 2 2 y sus
elemetos tienen la forma
T(S, S

) = exp
_
KSS

+
h
2
(S +S

)
_
(73)
con S, S

= 1, esto es
T =
_
_
_
T(+1, +1) T(+1, 1)
T(1, +1) T(1, 1)
_
_
_ =
_
_
_
e
K+h
e
K
e
K
e
Kh
_
_
_ (74)
Los autovalores resultan

1,2
= e
K
_
cosh(h)
_
cosh
2
(h) 2 e
2K
senh(2K)
_
(75)
A campo nulo h = 0 tenemos

1
= 2 cosh(K) >
2
= 2 senh(K) > 0
y en general
1
>
2
0. La energa libre por partcula resulta entonces
71
B
m
(
B
,
T
)
-1
0
1
T = 0
T = 0
T > 0
0
Figura 16: Magnetizacion vs. campo para el modelo de Ising en d = 1.
f(T, B) = J k
B
T ln
_
cosh(B) +
_
cosh
2
(B) 2 e
2J
senh(2J)
_
(76)
que es una funcion analtica de T y B. Notemos que a campo nulo esta expresion se
reduce a la Ec.(71), tal como esperado. La magnetizacion por spin esta dada por
m(T, B) =
_
f
B
_
T
=
senh(B)
_
cosh
2
(B) 2 e
2J
senh(2J)
(77)
Vemos que m 0 cuando B 0, para toda T ,= 0, y por lo tanto este sistema
no presenta transicion de fase a temperatura nita, esto es, se comporta como un
paramagneto a toda temperatura. Para T 0 ( ) tenemos que
senh(B) sgn(B)
1
2
e
|B|
cosh(B)
1
2
e
|B|
con lo cual m(T, B) sgn(B) (ver Fig.16).
Podemos calcular tambien la susceptibilidad a campo nulo
72
=
m
B

B=0
=
e
2J/k
B
T
k
B
T
Para T 1 tenemos que 1/k
B
T, lo cual se conoce como ley de Curie (com-
portamiento tpico de paramagnetos). Podemos calcular tambien la entropa por spin
s(T, B) = (f/T)
B
, y mediante esta el calor especco a campo constante
C
B=0
= T
_
s
T
_
B=0
= T
_

2
f
T
2
_
B=0
=
J
2
k
B
T
2
1
cosh
2
_
J
k
B
T
_ (78)
que es tambien una funcion analtica para toda T > 0. Notemos que tanto como C
divergen cuando T 0.
Podemos utilizar la matriz de transferencia para calcular tambien funciones de
correlacion. Para ello calculemos primero
S
i
) =
1
Z

S
1

S
N
T(S
1
, S
2
) T(S
i1
, S
i
) S
i
T(S
i
, S
i+1
) T(S
N
, S
1
)
Analicemos primero la suma en S
i
:

S
i
=1
T(S
i1
, S
i
) S
i
T(S
i
, S
i+1
)
es simple vericar que la misma es igual al elemento de matriz A(S
i1
, S
i+1
) de la
matriz
A = T
z
T
donde

z
=
_
_
_
1 0
0 1
_
_
_
es una de las matrices de Pauli. Usando la propiedad cclica de la traza de un producto
de matrices tenemos que
S
i
) =
1
Z
Tr
_
T
i

z
T
Ni
_
=
1
Z
Tr
_

z
T
N
_
73
Sea ahora C la matriz de la transformacion unitaria que diagonaliza T, esto es
C
1
TC = T

=
_
_
_

1
0
0
2
_
_
_
y llamemos
C
1

z
C =
_
_
_
e g
f k
_
_
_
Los elementos de matriz (e, f, g, k) son funciones analticas de (B, T, J) y pueden cal-
cualrse sin esfuerzo. Tenemos entonces que
S
i
) =
1
Z
Tr
_
C
1

z
CT
N
_
=
e
N
1
+k
N
2

N
1
+
N
2
de donde S
i
) = e en el lmite N . Calculemos ahora la funcion de correlacion:
S
i
S
i+r
) =
1
Z
Tr
_
T
i

z
T
r

z
T
Nri
_
=
1
Z
Tr
_

z
T
r

z
T
Nr
_
=
1
Z
Tr
_
(C
1

z
C)T
r
(C
1

z
C)T
Nr
_
(79)
Puede verse entonces que en el lmite N :
S
i
S
i+r
) = e
2
+f g
_

1
_
r
La funcion de correlacion conectada resulta entonces
C
(2)
c
(r) = f g
_

1
_
r
= fg e
r/
donde la longitud de correlacion
=
1
ln(
1
/
2
)
se mide en unidades del parametro de red. A campo nulo tenemos que
=
1
ln(cothK)
74
Vemos que las correlaciones decaen exponencialmente para toda T > 0. Notemos
que diverge para T 0. Esta divergencia, al igual que la del calor especco y
de la susceptibilidad nos muestran que el modelo presenta una transicion de fase a
temperatura cero.
2.4 El modelo n-vectorial unidimensional
Consideremos el modelo n-vectorial con [

S
i
[ = 1 a campo nulo, en una dimension y con
condiciones de contorno libres. La funcion de particion tiene la forma
Z(N, T) =
_
exp
_
K
N1

i=1

S
i
.

S
i+1
_
d

S
1
d

S
N
donde cada una de las integrales esta restringida a una hiperesfera de radio unidad
[

S
i
[ = 1. Al igual que en el modelo de Ising con condiciones de contorno libres, vamos a
ir resolviendo las integrales de a una, comenzando por la integral en

S
N
. Esta integral
tiene la forma
_
|

S|=1
e
.

S
d

S
donde es un vector n-dimensional. Para resolver esta integral consideremos una
funcion de la forma
F
n
(r) =
_
|

S|=r
e
.

S
d
r
donde d
r
es el elemento de area sobre una hiperesfera n dimensional de radio r, esto
es, d
r
= r
n1
d
n
. Tenemos que
_

0
e
sr
2
F
n
(r)dr =
_

exp
_
s
n

i=1
S
2
i
+
n

i=1

i
S
i
_
dS
1
dS
n
=
_

s
_
n/2
exp(
2
/4s) (80)
donde hemos usado que
_

dx e
ax
2
+bx
=
_

a
exp(b
2
/4a)
75
y [ [ =
_

n
i=1

2
i
. Haciendo el cambio de variable r
2
= x en la integral del
lado izquierdo de la Ec.(80) tenemos que la misma resulta igual a la transformada de
Laplace de la funcion F
n
(x
1/2
)/2x
1/2
:
_

0
e
sr
2
F
n
(r)dr =
_

0
e
sx
F
n
(x
1/2
)dx/2x
1/2
De tablas obtenemos que
L
_
_
x
k
_1
2
I
1
_
2

k x
_
_
=
1
s

e
k/s
> 0
donde I

es una funcion de Bessel modicada de primer tipo de orden , la cual posee

la representacion integral:
I

(y) = (y/2)

1
2i
_
c+i
ci
exp(p +y
2
/4p)p
(+1)
dp
donde c es una constante real arbitraria c > 0. Haciendo todos los reemplazos apropi-
ados obtenemos nalmente
F
n
(r) = (2)
n/2

1n/2
r
n/2
I
n
2
1
(r)
y asi
_
|

S|=1
e
.

S
d

S = F
n
(1) = (2)
n/2

1n/2
I
n
2
1
()
En nuestro caso = K

donde

S

es un vector unitario, la integral es independiente

de

S

y por lo tanto
Z(N, T) = Z(N 1, T)
_
(2)
n/2
K
1n/2
I
n
2
1
(K)
_
Iterando esta ecuacion N 1 veces obtenemos
Z(N, T) =
_
(2)
n/2
K
1n/2
I
n
2
1
(K)
_
N1
_
|

S
1
|=1
dS
1
=
2
n/2
(n/2)
_
(2)
n/2
K
1n/2
I
n
2
1
(K)
_
N1
Esta es una funcion analtica para K nito y por lo tanto el modelo no presenta
transicion de fase con orden de largo alcance a temperatura nita, tal como esperado.
76