Você está na página 1de 89

Universidade Federal do Rio de Janeiro

Instituto de Fsica
Departamento de Fsica Teorica
Tese apresentada como requisito parcial para obten cao do ttulo
de Doutor em Ciencias
Vidro de Spins com Simetria SO(3):
Uma Abordagem de Teoria
Quantica de Campos
Carlos Magno Silva da Conceicao
Orientador:
Eduardo Cantera Marino
Rio de Janeiro, 09 agosto de 2007.
C744
da Concei cao, Carlos Magno Silva
Vidro de Spins com Simetria SO(3): Uma Abordagem de Teoria
Quantica de Campos / Carlos Magno Silva da Concei cao. Rio de
Janeiro: UFRJ / IF, 2007.
x, 75f.: il.: 28,5cm.
Orientador: Eduardo Cantera Marino
Disserta cao (Doutorado) - UFRJ / Instituto de Fsica / Pro-
grama de Pos-Gradua cao em Fsica, 2007.
Referencias Bibliogracas: f. 73-75.
1. Hamiltoniano de Heisenberg 2. Desordem temperada 3.
Estados coerentes de spins 4. Teoria quantica de Campos 5. Campo
medio. I. Marino, Eduardo Cantera . II. Universidade Federal do
Rio de Janeiro, Instituto de Fsica, Programa de Pos-gradua cao em
Fsica. III. Vidro de Spins com Simetria SO(3): Uma Abordagem
de Teoria Quantica de Campos.
Aos meus pais.
i
Agradecimentos
Por todos esses anos ricos de aprendizado em fsica quero deixar aqui toda a minha
gratidao ao professor Eduardo Marino, que com paciencia e muita dedica cao me guiou
por essa selva densa, que e a fsica teorica, sempre mostrando que a perseveran ca e a
dedica cao sao tudo para trafegar de forma segura nessa selva.
Agrade co a todos aqueles que, com muita gentileza, me ajudaram todos esses anos,
desde a gradua cao, passando pelo mestrado, ate o doutorado. Quero agradecer em parti-
cular aos amigos, os quais sempre estiveram presentes em todos os momentos, sendo bons
ou ruins. Em especial quero agradecer ao Paulo Wells por toda a ajuda e pelas belas
discussoes de fsica.
Agrade co o auxlio da CAPES, sem o qual nao poderia jamais ter me dedicado com
anco ao presente trabalho.
E, nalmente, quero agradecer `a minha famlia por todo o incentivo, amor e por tudo
que ela representa pra mim.
ii
iii
Resumo
A presente tese situa-se na area de aplica coes de metodos de Teoria Quantica de Campos
( TQC ) no estudo de sistemas magneticos quanticos desordenados do tipo vidros de
spins em 2 + 1 dimensoes. Estudamos, em particular, o caso de um sistema de spins do
tipo Heisenberg quantico, com simetria SO(3) em duas dimensoes espaciais e intera cao de
primeiros vizinhos, em que a desordeme introduzida atraves de uma distribui cao gaussiana
dos parametros de troca. Por razoes tecnicas, consideramos o caso em que o centro da
gaussiana encontra-se em um valor correspondente a um acoplamento antiferromagnetico.
A metodologia utilizada consiste no emprego de estados coerentes de spins para mapear
o problema em um modelo de teoria quantica de campos que e uma generaliza cao do
modelo sigma nao linear com simetria SO(3), contendo um termo de intera cao quartica.
Tal termo de intera cao aparece como conseq uencia da desordem e e proporcional `a largura
da gaussiana.
Apos uma transforma cao de Hubbard-Stratonovitch, e integra cao funcional sobre os
graus de liberdade transversos do campo correspondente `a magnetiza cao de subrede, es-
tudamos o diagrama de fases na aproxima cao de campo medio.
Como resultados apresentamos um tratamento analtico em campo medio de um vidro
de spins com simetria contnua e intera cao de primeiros vizinhos. Obtemos analiticamente,
o diagrama de fases T J, onde J e o centro da distribui cao gaussiana de acoplamen-
tos de troca. Tal diagrama mostra a existencia de uma fase paramagnetica quantica e
uma fase de vidro de spins, separadas por uma curva crtica que e determinada explicita-
mente. Obtemos expressoes analticas para a susceptibilidade magnetica estatica e para
o parametro de Edwards-Anderson, respectivamente nas fases paramagnetica e vidro de
spins. Mostramos que a primeira satisfaz a lei de Curie a altas temperaturas.
Descobrimos a existencia de um ponto crtico quantico a T = 0, separando uma
fase paramagnetica quantica da fase de vidro de spins. A posi cao de tal ponto crtico e
dependente da desordem atraves dos parametros da distribui cao gaussiana. Mostramos a
inexistencia de uma fase ordenada do tipo Neel, como ocorre no sistema puro a T = 0.
iv
Abstract
This thesis is in the area of applications of Quantum Field Theory (QFT) methods to dis-
ordered quantum magnetic systems of the spin glass type in 2+1 dimensions. We explore,
specically, the case of a Heisenberg quantum spin system with SO(3) symmetry in two
spatial dimensions and nearest neighbors interaction. The disorder is introduced through
a gaussian distribution of exchange parameters. For technical reasons, we consider the
case in which the gaussian center has a value which corresponds to an antiferromagnetic
coupling.
The methodology of coherent spin states was used to map the problem into a model
of quantum eld theory that is a generalization of a nonlinear sigma model with SO(3)
symmetry containing a quartic interaction. This interaction term is a consequence of
the disorder and is proportional to the gaussian width. After a Hubbard-Stratonovitch
transformation and functional integration on the transverse degrees of freedom of the
nonlinear sigma eld, we explore the phase diagram of the system within the mean eld
approximation.
The T J phase diagram ( where J is the center of the gaussian distribution of
exchange couplings ) is obtained analytically for dierent values of the gaussian width.
This diagram shows the existence of a quantum paramagnetic phase and a spin glass
phase, which are separated by a critical curve that is explicitly determined. We also
obtain analytic expressions for the static magnetic susceptibility and for the Edwards-
Anderson parameter, respectively, in the paramagnetic and spin glass phases. We show
that the former satises Curies law at high temperatures.
We have discovered a quantum critical point, which separates the quantum paramag-
netic phase from the spin glass phase at T = 0. The position of this quantum critical point
depends on the disorder through the parameters of the gaussian distribution. Finally, we
show that no ordered Neel-type phase occurs as in the pure system at T = 0.
Sumario
Agradecimentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . i
Resumo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii
Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iv
Sumario . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v
Lista de Figuras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vi
Lista de Tabelas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ix
Introducao 1
1 O Hamiltoniano de Heisenberg com Desordem 7
1.1 Variaveis estatsticas e o metodo de replicas . . . . . . . . . . . . . . . . . 7
1.2 Estados coerentes de spin: das variaveis quanticas para as variaveis classicas 12
1.3 Media sobre a desordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.4 Tratamento do termo quartico . . . . . . . . . . . . . . . . . . . . . . . . . 19
2 O Limite Contnuo: desordem com predominancia AF e F. 23
2.1 O limite do Contnuo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.1.1 O Limite do Contnuo: Caso Antiferromagnetico . . . . . . . . . . . 24
2.1.2 O Limite do Contnuo: Caso Ferromagnetico . . . . . . . . . . . . . 29
2.2 O tratamento da fase geometrica . . . . . . . . . . . . . . . . . . . . . . . 30
3 Um Modelo de Teoria Quantica de Campos para Vidros de Spins 35
3.1 Simetrias de Replicas e Isotropia nas Componentes SO(3) . . . . . . . . . . 37
3.2 Aproxima cao De Fase Estacionaria . . . . . . . . . . . . . . . . . . . . . . 41
3.3 A Energia Livre no Contnuo . . . . . . . . . . . . . . . . . . . . . . . . . . 42
4 Diagrama de fases 45
4.1 Signicado Fsico dos Parametros q e . . . . . . . . . . . . . . . . . . . . 45
4.2 As Fases termodinamicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
4.2.1 A Fase Paramagnetica . . . . . . . . . . . . . . . . . . . . . . . . . 53
4.2.2 A Fase Vidro de Spins . . . . . . . . . . . . . . . . . . . . . . . . . 57
v
vi Sumario
5 Conclusoes e consideracoes nais. 59
Apendices 61
A Propriedades dos estados coerentes. 61
A.1 Estados Coerentes de Spin e Suas Propriedades . . . . . . . . . . . . . . . 61
A.2 Simetria SU(2) manifesta . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
B Calculos dos tracos. 65
C Calculo da soma de freq uencias. 69
Bibliograa 73
Lista de Figuras
1.1 Representa cao pictorica mostrando as variaveis de spin S
i
e as variaveis de intera cao de
troca J
ij
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2 Representa cao pictorica do estado fundamental (a) do antiferromagnetismo e (b) do
ferromagnetismo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3 Representa cao pictorica da proje cao do vetor de estado, [), sobre a esfera de Bloch. . 14
1.4 Particionamento do intervalo [0, ]. . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.5 Algumas das innitas historias do vetor unitario () na esfera unitaria durante a
evolu cao em tempo euclidiano . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.1 A rede em duas dimensoes espaciais junto com a decomposi cao do campo nos campos
n e L. Nota-se a perpendicularidade entre os campos n e L. . . . . . . . . . . . . . 25
2.2 Geometria dos estados coerentes de spins. Os estados coerentes de spin mapeiam a
esfera bidimensional sobre o plano complexo. . . . . . . . . . . . . . . . . . . . . 31
2.3 Interpreta cao geometrica da expressao de S
B
. A evolu cao temporal fun cao (, u),
dene o mapeamento do retangulo 0 , 0 u 1 sobre a esfera unitaria, logo
S
B
e o angulo solido. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.1 A rela cao do parametro A com a frustra cao e a desordem para alguns valores de
s
e
mantendo D xo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
4.2 A rela cao do parametro A com a frustra cao e a desordem mantendo
s
xo e tomando
diferentes valores para D. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
4.3 Graco da massa m
2
em fun c ao da susceptibilidade estatica
0
. . . . . . . . . . . 54
4.4 Graco descrevendo a rela cao entre os dois lados da equa cao (4.42). . . . . . . . . . 54
4.5 Graco da temperatura em fun cao da rigidez de spin (spin stiness) em escala normal. 56
4.6 Graco da temperatura em fun cao da rigidez de spin em escala logartmica. . . . . . 56
vii
viii Lista de Figuras
Lista de Tabelas
1.1 As varias formas de tratar o termo quartico usando uma variavel auxiliar . 20
ix
x Lista de Tabelas
Introducao
Os sistemas sem desordem
1
, tais como cristais ideais ou perfeitos, materiais antiferro-
magneticos e ferromagneticos uniformes, apresentam simetrias espaciais que simplicam
bastante a sua analise teorica. No entanto, na natureza n ao existem tais tipos de sistemas
apresentando um perfeito ordenamento em suas estruturas microscopicas. Todo sistema
real contem um certo grau de desordem que destroi as simetrias existentes levando ao sur-
gimento de novas simetrias ou a uma completa falta de simetria em nvel microscopico.
Isto leva `a existencia de falhas do limite termodinamico para certas quantidades [ Ander-
son & Stein (1985) ], quebra de ergodicidade [ Palmer (1982) ], competi cao entre estados
fundamentais [ Sachdev et al (1999) ] e uma gama de outros comportamentos fsicos
interessantes.
Esta tese de doutorado aborda um tipo particular de comportamento fsico de sis-
temas com desordem denominado, de maneira geral, vidro de spins. Este nome foi cunhado
nos anos 70 para especicar um novo estado do magnetismo que, diferentemente das fases
ferromagnetica e antiferromagnetica, apresentava uma total ausencia de ordenamento em
seu estado fundamental e diferentemente da fase paramagnetica apresentava quebra de
ergodicidade [ Mydosh (1993) ].
Por vidros de spins entendemos sistemas com momentos magneticos localizados
( spins ), nos quais os estados sao caracterizados por uma desordem xa no tempo,
onde cada par de spins vizinhos tem uma probabilidade a priori de ter uma intera cao
ferromagnetica ou uma antiferromagnetica. Portanto, nenhuma ordem convencional (
do tipo antiferromagnetica ou ferromagnetica ) de longo alcance pode ser estabelecida.
Isto faz com que um sistema tipo vidro de spins, constitua-se realmente em um novo
estado do magnetismo. Como conseq uencia estes sistemas sofrem um tipo de transi cao (
freezing transition ) para um estado com um novo tipo de ordem na qual existe correla cao
temporal mas nao existe correla cao espacial entre os spins, da o nome vidro de spins,
onde a desordem magnetica apresenta uma semelhan ca com a desordem translacional nos
1
Neste sentido desordem se refere a impurezas, que leva a uma falta de correla cao espacial no estado
fundamental do sistema. No sentido mais amplo a palavra desordem esta relacionada, dentro de um certo
nvel de escala, com a falta de correla coes tanto espaciais quanto temporais. Nao confundir desordem
com caos, este ultimo conceito se referindo somente aos aspectos dinamicos de um determinado sistema.
1
2 Introdu cao
arranjos atomicos de vidros ordinarios.
A tentativa de compreender a fsica desses sistemas tem levado ao surgimento de
novas tecnicas analticas, experimentais e de simula c ao computacional, as quais tem pro-
porcionado um maior entendimento a respeito de problemas envolvendo arranjos de com-
ponentes fortemente interagentes em que a competi cao entre as intera coes leva a com-
portamentos complexos interessantes. Tais problemas nao pertencem somente ao amplo
campo da fsica da materia condensada, mas tem ramica coes em diversas areas do co-
nhecimento; como alguns exemplos podemos citar a biologia, a teoria da evolu cao, fsica
de altas energias e estruturas ambientais e sociais [ Rokhsar et al (1986); Kirkpatrick et al
(1983); Anderson & Stein (1985); M. Mezard et al (1987)]. Em conseq uencia, a expressao
vidro de spins tomou uma interpreta cao muito mais ampla de forma a abarcar os sistemas
em materia condensada apresentando comportamentos vtreos complexos, que surgem da
combina cao de desordem congelada e frustra cao
2
, e os sistemas em outras areas exibindo
comportamentos similares.
Como exemplos de vidros de spins em materia condensada podemos citar algumas
ligas metalicas com impurezas magneticas tais como CuMn ou AuFe, outros exemplos
sao encontrados em materiais amorfos com intera cao de troca antiferromagnetica mas
sem possibilidade de uma subrede, em materiais isolantes tais como Eu
x
Sr
1x
S com
0.1 < x < 0.5 e sistemas onde a desordem congelada e devida `a nao-cristalinidade, como
o aluminosilicato de cobalto CoO Al
2
O
3
SiO
2
. Ao contrario dos vidros ordinarios, os
quais sao resfriados rapidamente de forma a evitar a fase cristalina que esta sempre com-
petindo, os vidros de spins nao possuem tal fase ordenada, sendo assim, se uma transi cao
de fase termodinamica realmente existe, entao a baixa temperatura a fase poderia ser
verdadeiramente uma fase desordenada, condensada e em equilbrio. Para com-
preender melhor o que diferencia um vidro comum de um vidro de spins e necessario que
a diferen ca entre metaestabilidade e nao-ergodicidade seja entendida.
Por metaestabilidade entendamos como sendo uma relaxa cao ao equilbrio que se
estabelece de forma muito lenta. Nos vidros comuns ( Dioxido de silcio amorfo ) a
desordem e estabelecida atraves de perturba coes em seu arranjo molecular que o arranca
de seu estado termodinamico
3
de energia livre mnima, e que corresponde a um unico
estado macroscopico, que e a fase estavel do dioxido de silcio ( SiO
2
), mais conhecido
como cristal de quartzo. Portanto, tais sistemas nao estao em seu estado de equilbrio
termodinamico, porem se encontram em uma fase instavel, caracterizando um estado
termodinamico metaestavel, cujo tempo de relaxa cao para o equilbrio e muito longo, no
entanto, nito [ Binder & Stauer (1976) ]. Quanto aos sistemas nao-ergodicos, tipo vidro
de spins, nao tem sentido falar em tempo de relaxa cao para o equilbrio, uma vez que o
equilbrio termodinamico ja se encontra atingido. Portanto, no equilbrio termodinamico
o sistema apresenta um grande n umero de fases estaveis cujo tempo de relaxa cao de uma
2
Refere-se ao conito entre diferentes termos de intera coes de um Hamiltoniano, tal que n ao existe
uma congura cao que minimize a energia de cada termo.
3
Estado caracterizado por um conjunto de parametros macroscopicos representando valores medios
tomados sobre microestados acessveis `as variaveis que descrevem os graus de liberdade do sistema
3
fase para outra e innito, ou seja, existe uma degenerescencia no estado termodinamico
do sistema, onde diferentes microestados levam a diferentes estados termodinamicos e que
apresentam a mesma energia livre mnima. Isto caracteriza uma certa dependencia do
sistema com respeito `a sua prepara cao experimental.
Experimentalmente nao e possvel distinguir um estado metaestavel de um sistema
nao-ergodico. O motivo reside no fato de que, na mecanica estatstica, a taxa na qual
as utua coes das variaveis que descrevem os graus de liberdade do sistema ocorrem, de-
pende do espectro dos tempos de relaxa cao do problema. Se o tempo de observa cao,

exp
, for muito maior do que o tempo de relaxa cao maximo,
max
, entao pode-se ar-
mar, num contexto classico, que o sistema explora todas as regioes do espa co de fase.
Dito de outra forma, a media temporal tomada sobre a observa cao dessas variaveis sera
equivalente a uma media da mecanica estatstica em equilbrio, chamada media de Gibbs
ou tambem media sobre ensembles, onde todos os estados microscopicos sao includos de
acordo com uma certa distribui cao, e neste caso dizemos que o sistema esta em equilbrio
termodinamico completo. Entretanto, existem muitos exemplos onde estas medias nao
sao as mesmas. Considere, novamente, os vidros comuns ( Di oxido de silcio amorfo ), os
quais poderao, de acordo com a media de Gibbs, existir na forma cristalina e cuja energia
livre e a mnima possvel ( Dioxido de silcio na forma cristalina ) [ Palmer (1982) ]. A
estrutura amorfa observada e um estado metaestavel, cuja energia livre e maior do que
a energia livre da forma cristalina, e este estado decaira em um tempo nito, apesar de
enorme, ao estado cristalino. Este decaimento, geralmente ocorre atraves da forma cao
de pequenas regioes apresentando fase cristalina, que crescem e cobrem todo o material
amorfo.
Existem alguns sistemas, onde se acredita que o tempo de relaxa cao maximo,
max
,
realmente tende ao innito, ao tomarmos o limite termodinamico
4
, neste caso dizemos
que estes sistemas sao verdadeiramente nao-ergodicos, e existem regioes do espa co de fase
que jamais serao exploradas pelo sistema.
Dependendo de como a desordem e imposta ao sistema, varios tipos de vidros de
spins podem surgir. No entanto, estes varios tipos se encaixam em duas grandes classes:
podemos ter vidro de spins cuja desordem e incorporada atraves de uma aleatoriedade na
ocupa cao dos stios, cujo nome vamos convencionar, vidro de spins aleatorios nos stios,
e vidro de spins produzidos por uma aleatoriedade nas intera coes magneticas, os quais
chamaremos vidro de spins aleatorios nas liga coes e que sera estudado nesta tese.
Na cria cao de vidros de spins aleatorios por stios, a desordem nos stios decorre da
substitui cao de solutos
5
magneticos em solventes nao magneticos de forma completamente
aleatoria, isto permite tratar o sistema como estatstico e usar distribui cao de probabili-
dades gaussiana, sem qualquer perda de generalidade. Como exemplos de vidros de spins
4
Em um sistema de rede discreta corresponde ao limite N , aqui N representando o n umero de
stios, em um sistema contnuo corresponde ao limite do a 0, estando a representando o par ametro de
rede.
5
Numa solu cao, componente cuja fra cao e muito pequena ou menor do que a do outro componente,
conhecido como solvente
4 Introdu cao
aleatorios por stio, podemos citar o Eu
x
Sr
1x
S (um semicondutor), o La
1x
Gd
x
Al
2
(um
metal) e diversas ligas metalicas, tais como Cu
1x
Mn
x
e Au
1x
Fe
x
, conhecidas como
vidros de spins canonicos [Mydosh (1993)].
Com o intuito de demonstrar teoricamente a possvel existencia de uma fase vidro
de spins, Edwards e Anderson [ Edwards & Anderson (1975) ] introduziram um modelo
simples onde a desordem era imposta atraves da intera cao de troca. E dentro de uma
teoria de campo medio
6
, esses autores foram capazes de demonstrar algumas propriedades
da possvel fase. O modelo de Edwards & Anderson consiste de um conjunto de spins

S
i
sobre uma rede periodica interagindo atraves de uma intera cao de troca J
ij
, cujo
hamiltoniano e descrito por:
H =

(ij)
J
ij

S
i


S
j
, (1)
onde a soma e sobre todos os stios e as variaveis J
ij
sao independentemente distribudas
atraves de um distribui cao de probabilidade P[J
ij
]. Outro modelo importante e extrema-
mente estudado para vidros de spins e o modelo de Sherrington e Kirkpatrick [ Sherrington
& Kirkpatrick (1975) ] com intera cao de alcance innito. Tais modelos, ate hoje so foram
resolvidos analiticamente, na aproxima cao de campo medio, no caso Ising, com simetria
discreta e para intera cao de longo alcance, envolvendo todos os spins da rede [ Parisi
(1979); Binder & Young (1986) ]. No caso de intera cao de curto alcance (primeiros vizi-
nhos) so existem resultados de simula cao numerica [ Marinari et al (2000); Arrachea &
Rozenberg (2001); Camjayi & Rozenberg (2003) ].
O presente trabalho visa a elabora cao de um modelo de teoria quantica de campos
para vidros de spins que seja capaz de incorporar a desordem congelada e a frustra cao
na descri cao de um modelo do tipo Heisenberg com simetria SO(3) em duas dimensoes,
com uma distribui cao gaussiana para o acoplamento de troca e considerando intera coes
de curto alcance, ou seja, intera coes entre primeiros vizinhos, analisar as propriedades
decorrentes deste modelo e estabelecer o diagrama de fases. Portanto, de forma a clarear
a compreensao em linhas gerais do presente trabalho, faz-se necessario discutir alguns
conceitos importantes e gerais relacionados ao tratamento de sistemas desordenados.
No captulo 1 sera discutido o papel das variaveis estatsticas e como elas se rela-
cionam com a estrutura macroscopica do sistema. Sera mostrado como incorporar a
desordem e como estabelecer as medias estatsticas sobre as variaveis que a representa.
Discutiremos a energia livre em sistemas desordenados e dentro dessa discussao intro-
duziremos o metodo de replicas, muito importante na mecanica estatstica desses sistemas.
Nesta parte, tambem sera visto o importante papel que os estados coerentes irao desem-
penhar, tanto para a possibilidade de se estabelecer a media sobre a desordem
7
quanto
para o mapeamento da teoria microscopica discreta em uma teoria quantica de cam-
6
A principal ideia da teoria de campo medio e refazer todas as intera coes sobre um corpo por uma
intera cao media ou efetiva que decorre dos demais corpos. Isto reduz qualquer problema de muitos corpos
em um problema efetivo de um corpo.
7
Esta media e denominada tambem de media conguracional e diferentemente da media qu antico-
termica se aplica somente a sistemas desordenados.
pos, objetivo principal da presente tese. Estudaremos a questao da falta de invariancia
translacional no hamiltoniano em questao e sera mostrado que o calculo da media so-
bre a desordem da fun cao de parti cao do sistema, na formula cao do metodo de replicas,
recuperara a invariancia translacional ao custo de incorporar uma intera cao quartica.
Utilizando um campo auxiliar de Hubbard-Stratonovitch, nos sera possvel eliminar essa
intera cao quartica, transformando-a em trilinear.
O limite do contnuo e feito no captulo 2. Veremos que o mapeamento no contnuo
depende do valor do centro da gaussiana e, conseq uentemente, tal dependencia ira levar
a uma teoria quantica para um sistema antiferromagnetico efetivo que difere de uma
teoria quantica para o caso ferromagnetico efetivo. Veremos tambem como a topologia
da fase geometrica, fruto da interferencia quantica entre os estados coerentes, no caso
antiferromagnetico dara origem ao termo cinetico.
No captulo 3 e feita a integra cao funcional sobre os graus de liberdade transversos
do campo correspondente `a magnetiza cao e, de forma a calcular o determinante multi-
funcional que decorre dessa integra cao funcional, introduzimos um ansatz que possibilita
calcular exatamente o determinante funcional no espa co de replicas. Neste captulo obte-
mos a densidade de energia livre.
A termodinamica do sistema e analisada no captulo 4, onde e explicado o signicado
fsico dos parametros envolvidos e e feito um estudo do diagrama de fases, atraves das
equa coes que minimizam a energia livre.
As conclusoes, os resultados obtidos e as perspectivas futuras sao apresentadas no
captulo 5.
6 Introdu cao
Captulo
1
O Hamiltoniano de Heisenberg com
Desordem
As transi coes de fase que ocorrem em diversos sistemas da natureza consistem em um dos
mais fascinantes campos de estudo da fsica, tanto do ponto de vista experimental quanto
teorico. Existem transi coes de fase que surgem de utua coes devidas exclusivamente `as
varia coes na temperatura, as quais sao conhecidas como transi coes de fase termicas ou
classicas, no entanto, existem transi coes de fase, chamadas de transi coes de fase quanticas,
que ocorrem a temperatura zero e que surgem exclusivamente de utua coes quanticas
decorrentes do princpio da incerteza de Heisenberg. Nessas transi coes quanticas, o cruza-
mento atraves de um contorno de fase
1
signica que o estado quantico fundamental do
sistema sofreu alguma mudan ca profunda em sua natureza. Esta mudan ca e resultado
de uma varia cao em algum parametro do hamiltoniano do sistema, tal como a constante
de acoplamento, dopagem, campo magnetico, desordem entre outros e nao devido a uma
varia cao na temperatura.
1.1 Variaveis estatsticas e o metodo de replicas
Na mecanica estatstica e necessario distinguir as variaveis estatsticas intrnsecas, que
descrevem os graus de liberdade intrnsecos do sistema, tais como as variaveis de spin

S
i
,
das variaveis estatsticas extrnsecas, que medem o grau de desordem imposta de fora
ao sistema, como exemplo de tais variaveis podemos citar as variaveis J
ij
, associadas `as
intera coes de troca em sistemas magneticos [ Binder & Young (1986); Goldenfeld (1992) ].
A gura (1.1) mostra uma representa cao pictorica dessas variaveis. No caso de um sistema
sem desordem, tambem chamado de sistema puro, J
ij
e uma constante que independe dos
1
linha que separa duas regioes do diagrama de fase que possuem comportamentos termodin amicos
distintos. Considere como exemplo a linha que marca a transi cao solido-lquido que ocorre na agua.
7
8 1 O Hamiltoniano de Heisenberg com Desordem
stios, entretanto em sistemas sujeitos a uma desordem, essas variaveis deixam de ser xas
e passam a variar de stio para stio. Enquanto as variaveis extrnsecas se referem somente
aos sistemas desordenados por imposi cao externa de impurezas, as variaveis estatsticas
intrnsecas sao inerentes a todos os sistemas de mecanica estatstica.
X
X X
X
X
X
X
X
X X
X
X
J
ij
S
i j
S
X
J
ij
S
i
Figura 1.1: Representa cao pictorica mostrando as variaveis de spin S
i
e as variaveis de
intera cao de troca J
ij
.
Em geral as variaveis estatsticas intrnsecas utuam muito rapidamente durante o
tempo de observa cao sobre o sistema. Isto esta relacionado com a ergodicidade. Esta
propriedade consiste no fato de que, dada uma condi cao de vnculo macroscopico, ou que
uma condi cao de equilbrio termodinamico seja satisfeita, o sistema durante um certo
tempo ( tempo de observa cao ), passa por todos os estados microscopicos acessveis a
esses graus de liberdade intrnsecos [ Palmer (1982) ].
Quanto `as variaveis estatsticas extrnsecas, estas podem ter um tempo de utua cao
diferente, dessa forma e necessario comparar o tempo de utua cao tpico dessas variaveis,
representado aqui por
des
, com o tempo de observa cao sobre o sistema, o qual vamos de-
nominar
exp
. Se
des

exp
, entao as variaveis estatsticas extrnsecas atingem o equilbrio
termico e podem ser tratadas de forma semelhante `as variaveis estatsticas intrnsecas,
mencionadas anteriormente, neste caso nenhuma quebra de ergodicidade ocorre. Este
processo e conhecido na literatura como media recozida
2
(annealed average). Para este
caso a energia livre do sistema, tomando-se a media sobre a desordem, ca dada por:
F = k
B
T ln[ZJ
ij
]
av
, (1.1)
onde notamos que as medias sobre as variaveis intrnsecas e sobre as variaveis extrnsecas
sao feitas em pe de igualdade. ZJ
ij
e a fun cao de parti cao do sistema, a qual e descrita
2
Expressao decorrente da ind ustria de produ cao de vidros. Durante a sua fabrica cao, o vidro e sujeito a
um arrefecimento lento (recozimento) que liberta o vidro de tensoes internas e permite que as opera c oes
de corte e manufatura sejam feitas de forma extremamente maleavel.
1.1. Variaveis estatsticas e o metodo de replicas 9
pela equa cao abaixo
ZJ
ij
= Tr

S
i

exp[

HJ
ij
,

S
i
/k
B
T], (1.2)
sendo o acento circunexo usado para representar os operadores quanticos e conseq uen-
temente diferencia-los das variaveis classicas.
Note que estamos admitindo a desordem, aqui representada por J
ij
, como sendo uma
grandeza classica, por conseguinte, descrita por variaveis classicas, porem, e importante
enfatizar a possibilidade dessas variaveis serem descritas por operadores quanticos [ Vajk
et al (2002) ].
No caso oposto, quando o tempo de utua cao das variaveis relacionadas `a desordem,
for muito maior do que o tempo de observa cao do sistema, ou seja,
des

exp
, e devido ao
fato de nao mais poder diferenciar metaestabilidade da quebra de ergodicidade [ Palmer
(1982) ], o processo de mediar sobre a desordem tem de ser agora estabelecido sobre um
observavel fsico, neste caso sobre a energia livre F e nao sobre a fun cao de parti cao como
descrito anteriormente [ Brout (1959) ].
Dessa forma a energia livre mediada sobre a desordem ca dada pela expressao
F = k
B
T[ln ZJ
ij
]
av
. (1.3)
Este processo de mediar sobre a desordem e conhecido na literatura como media tem-
perada
3
( quenched average ), na qual as variaveis aleatorias extrnsecas tomam valores
unicos e xos enquanto as variaveis estatsticas intrnsecas utuam.
Existe uma grande diculdade em se calcular diretamente a media temperada, o
motivo reside no fato de nao ser possvel calcular uma integral funcional ( soma sobre
todas as congura coes possveis da variavel em questao ) de um logaritmo de variaveis
aleatorias. Entretanto, esta diculdade de calcular a media temperada e contornada uti-
lizando um metodo padrao em mecanica estatstica conhecido como metodo das replicas,
o qual repousa no uso da rela cao exata x
n
= e
nln x
[ Edwards (1970,1971); Edwards &
Anderson (1975); Lin (1970); Binder & Young (1986) ],
ln Z = lim
n0
Z
n
1
n
. (1.4)
Com isso a energia livre mediada sobre a desordem, toma a seguinte forma:
F = k
B
T lim
n0
1
n
([Z
n
]
av
1). (1.5)
Sendo a fun cao de parti cao, Z
n
, escrita como um produto de replicas
Z
n
J
ij
=
n

=1
Z

J
ij
= Tr

i

exp
_

=1

HJ
ij
,

S

i

_
, (1.6)
3
Termo vindo da ind ustria e esta relacionado ao fato de que na produ cao de vidros, estes s ao sujeitos
a tratamentos qumicos ou termicos de refor co ( tempera ), que aumentam signicativamente a sua
resistencia mecanica e a sua resistencia ao choque termico; e atraves desse processo industrial que s ao
fabricados os vidros de alta rigidez.
10 1 O Hamiltoniano de Heisenberg com Desordem
onde = 1/k
B
T e e o ndice que representa as replicas. No que se segue vamos
considerar, por questao de conveniencia, o sistema de unidades em que k
B
= 1.
Em um sistema desordenado Z

e a fun cao de parti cao de uma unica replica do


sistema e apresenta dependencia com a desordem.

E importante mencionar que todas
as n-replicas possuem o mesmo tipo de desordem, porem nao existe nenhuma intera cao
entre elas. O surgimento da intera cao entre essas n-replicas, somente ocorre apos efetuar
a media sobre a desordem.
Nesta tese considera-se o hamiltoniano de Heisenberg isotropico com simetria SO(3)
sobre uma rede quadrada em duas dimensoes espaciais, descrevendo sistemas magneticos
gerais na ausencia de campos magneticos externos, cuja expressao e:

H =

ij)
J
ij

S
i

S
j
, (1.7)
onde ij) signica soma sobre os primeiros vizinhos. No que segue, estara subentendido
que os smbolos em negrito representam grandezas vetoriais. O estado fundamental do
sistema descrito pelo hamiltoniano (1.7) possui ordenamento ferromagnetico se J
ij
> 0
ou ordenamento antiferromagnetico se J
ij
< 0.
Embora o hamiltoniano no caso ferromagnetico dira do hamiltoniano no caso an-
tiferromagnetico por apenas uma mudan ca global na constante de acoplamento J
ij
, as
diferen cas existentes em suas propriedades fsicas sao bem acentuadas. Por exemplo, a
fenomenologia apresentada pelo hamiltoniano,

H, antiferromagnetico depende fortemente
da morfologia da rede subjacente, onde neste caso tem-se uma rede bipartite, isto e, uma
rede que pode ser segmentada em duas redes que se interpenetram A e B ( Figura 1.2a
). Dentro dessa morfologia os estados fundamentais do hamiltoniano de Heisenberg an-
tiferromagnetico adotam, na ausencia de desordem, uma congura cao de spin, conhecida
como estado de Neel, onde todos os spins vizinhos sao antiparalelos.
Do ponto de vista classico os estados fundamentais de um sistema ferromagnetico (
antiferromagnetico ), varrem um variedade de degenerescencia contnua
4
, na qual os spins
estao alinhados paralelamente ( antiparalelamente ), ao longo de dire coes arbitrarias e
qualquer particular congura cao de spins denindo um estado fundamental tem uma sime-
tria mais baixa do que o hamiltoniano. Dentro deste contexto classico a quebra espontanea
de uma simetria contnua e acompanhada pelo aparecimento de graus de liberdade de
baixa energia conhecidos como modos de Goldstone. Sao essas excita coes, conhecidas
como ondas de spin, que governam a estabilidade do estado fundamental classico e que
podem ser quantizadas [ Tsvelik (2003) ] .
Nos sistemas desordenados, a desordem e imposta ao sistema, independentemente
em cada par de stios, atraves de uma distribui cao gaussiana centrada em torno de um
valor medio

J
ij
[ Edwards & Anderson (1975); Sherrington & Kirkpatrick (1975); Binder
4
Uma innidade de congura coes de spins apresentando a mesma energia em T = 0 ( temperatura
nula ).
1.1. Variaveis estatsticas e o metodo de replicas 11
Antiferromagnetismo Ferromagnetismo
(a) (b)
Figura 1.2: Representa cao pictorica do estado fundamental (a) do antiferromagnetismo
e (b) do ferromagnetismo.
& Young (1986) ]
P[J
ij
] =
1
_
2(J
ij
)
2
exp
_

(J
ij


J
ij
)
2
2(J
ij
)
2
_
. (1.8)
No entanto, deve-se ter muito cuidado no processo de mediar sobre as variaveis J
ij
. O
motivo da cautela reside no fato de que sendo as variaveis J
ij
variaveis classicas, bastaria
tomar a media de forma padrao, ou seja,
[Z
n
]
av
=
_
_
_

(ij)
dJ
ij
P[J
ij
]
_
_
Z
n
J
ij
. (1.9)
A equa cao (1.9) e correta, no entanto, nao conseguimos calcula-la, pois no hamiltoniano
existe uma soma de operadores de spin, os quais nao sao fatorados de forma simples na
exponencial. Dito de outra forma nao e possvel escrever
exp

O
p
=

p
exp

O
p
, (1.10)
a nao ser que todos os operadores comutem entre si, o que nao e o caso do hamiltoniano
descrito pela equa cao (1.7). Portanto, para que a media sobre a desordem seja estabele-
cida, e necessario utilizar estados coerentes de spin a m de substituir os operadores por
variaveis classicas.
12 1 O Hamiltoniano de Heisenberg com Desordem
1.2 Estados coerentes de spin: das variaveis quanticas
para as variaveis classicas
De forma a explorar o espectro de excita coes de baixa energia
5
do sistema, e necessario
que implementemos uma forma de tratar com os operadores quanticos na equa cao (1.7).
Antes de efetuar a media sobre as variaveis J
ij
e conveniente que os operadores
quanticos, ou seja, os operadores de spin,

S, sejam substitudos por variaveis classicas (
n umeros classicos ). Este procedimento e feito atraves de uma tecnica que faz uso dos
estados coerentes de spins e suas propriedades [ Radclie (1971); Arecchi et al (1972) ],
ver tambem apendice A para maiores detalhes.
De forma a justicar o uso desses estados coerentes, vamos considerar o princpio
da incerteza de Heisenberg para analisar o papel das utua coes dos spins em cada stio.
Seja S
a
i
o desvio padrao que mede a utua cao media das componentes dos spins em
torno do valor esperado de spin em um stio i. Ele e denido como,
S
a
i
=
_
(

S
a
i

S
a
i
))
2
). (1.11)
Em mecanica quantica, esse desvio padrao e referido como a incerteza na orienta cao da
componente a do spin no stio i. Da forma geral que dene o princpio da incerteza de
Heisenberg, temos
S
a
i
S
b
j

1
2
[[

S
a
i
,

S
b
i
])[ =
1
2

abc
[

S
c
i
)[, (1.12)
logo, do fato de que [

S
a
i
)[ S, nos e possvel encontrar a incerteza relativa, dada por
S
a
i
S
S
b
i
S

S
S
2
S1
0, (1.13)
isto e, para S 1 as utua coes quanticas das componentes de spin em torno de seus
valores esperados, se tornam extremamente pequenas, de tal forma que podemos trata-las
como componentes do momento magnetico classico. No entanto, existem fortes indcios
que suportam a armativa de que essa aproxima cao permane ca valida para S = 1/2 [
Chakravarty et al (1989); Manousakis (1991); Sachdev (1999) ].

E necessario mencionar que o sistema fsico consiste de N-stios e n-replicas, por-


tanto, admitindo um espa co de Hilbert para cada stio e para cada replica, vistos como
graus de liberdade independentes, tem-se que o espa co de Hilbert do sistema e descrito
pelo produto direto:
H
sistema
H
s
= H
n
H
N
5
As excita coes sao de baixa energia pelo motivo de toda a analise ser feita sobre utua coes decorrentes
de pequenas perturba coes do sistema em torno do seu estado fundamental. Esta ideia e analoga a que
ocorre no estudo do pendulo, em que so e possvel descrever o sistema de forma adequada e simples, isto
e, sem se preocupar com efeitos caoticos, se considerarmos que os valores do angulo de deslocamento da
posi cao de equilbrio sejam muito pequenos, de tal maneira que seja valida a aproxima cao sin .
1.2. Estados coerentes de spin: das variaveis quanticas para as variaveis classicas 13
onde H
n
descreve o espa co de Hilbert das n-replicas e e dado pelo produto direto do
espa co de Hilbert de cada replica do sistema, ou seja,
H
n
=
n

=1
H

= H
1
H
2
. . . H
n
.
H
N
descreve o espa co de Hilbert dos N-stios e e descrito pelo seguinte produto direto
H
N
=
N

i=1
H
i
= H
1
H
2
. . . H
N
.
Uma vez que, o tra co em (1.6) independe da base sobre a qual e calculado, e possvel
denir um conjunto de estados quanticos supercompletos
6
[), conhecidos na literatura
como estados coerentes de spin, os quais sao denidos da seguinte maneira:
[)
N

i=1
n

=1
[

i
).
onde [

i
) representa o estado coerente de spin em uma unica replica () e em um unico
stio (i); a medida de integra cao e dada pela expressao
d() =
N

i=1
n

=1
__
2S + 1
4
_
d

i
_

i=1
n

=1
d

i
().
Os vetores se encontram localizados em uma esfera de raio unitario, a qual surge
do mapeamento estereograco do espa co de Hilbert sobre a esfera de Bloch, conforme
representado na gura (1.3) ( veja tambem o apendice A para maiores detalhes).
Entre as muitas propriedades destes estados coerentes, duas sao de extrema relevancia
para este trabalho:
completeza:
_
d()[)[ = 1
quantico-classico: [

S
i

S
j
[) = S
2

i

j
, com i ,= j.
(1.14)
Pode-se, com o uso dessas propriedades, escrever a fun cao de parti cao, equa cao
(1.6), na forma
Z
n
J
ij
= Tr

i

e

n
=1

1J
ij
,

i

=
_
d()[ exp
_
_

=1

ij)

J
ij
,

S

i

_
_
[), (1.15)
6
Um conjunto de estados e dito supercompleto se possuir um subconjunto completo, logo um tal
conjunto nao pode possuir todos os seus elementos ortogonais entre si.
14 1 O Hamiltoniano de Heisenberg com Desordem
EspaodeHilbert
|
W
W
W
W
W
W
W
x
z
y
EsferadeBloch
Figura 1.3: Representa cao pictorica da proje cao do vetor de estado, [), sobre a esfera
de Bloch.
onde

J
ij
,

S

i
= J
ij

j
. (1.16)
Ao tratar de exponenciais cujos expoentes consistem de um soma de operadores,
como descrito na expressao (1.15) anterior, faz-se necessario o uso da formula de Trotter
[ Trotter (1959); Suzuki (1976) ]. De acordo com a mesma, para um operador

A,
e

p
k=1

A
k
= lim
m
_
e

A
1
/m
e

A
2
/m
e

Ap/m
_
m
lim
m
_
p

k=1
e

A
k
/m
_
m
. (1.17)
Levando em considera cao tanto a soma nas replicas quanto a soma sobre os stios primeiros
vizinhos, pode-se escrever a equa cao (1.15), da seguinte maneira
Z
n
J
ij
= lim
m
_
d()[
_
_
n

=1

ij)
e

J
ij
,

i

_
_
m
[). (1.18)
Relembrando que os operadores

S atuam em cada stio e em cada replica de forma
independente, ou seja, existe um espa co de Hilbert para o sistema que consiste de um pro-
duto direto de espa cos de Hilbert para cada grau de liberdade, logo tem-se rigorosamente
que a expressao (1.18) pode ser escrita como:
Z
n
J
ij
=
n

=1

ij)
_
lim
m
_
d

i
()

i
[
_
e

J
ij
,

i

_
m
[

i
)
_
. (1.19)
1.2. Estados coerentes de spin: das variaveis quanticas para as variaveis classicas 15
Por questao de conveniencia e simplicidade algebrica fa camos a seguinte deni cao,
Z
n
J
ij
=
n

=1

ij)
[z

J
ij
] (1.20)
onde
z

J
ij
= lim
m
_
d

i
()

i
[
_
e

J
ij
,

i

_
m
[

i
). (1.21)
Ao utilizar a formula de Trotter, observa-se o surgimento de um particionamento no
intervalo de [0, ], com uma parti cao mnima dada por /m, que tende a zero quando
m tende ao innito, a gura (1.4) mostra um esbo co desse particionamento.
t b = 0
0
t
m
=
e
Figura 1.4: Particionamento do intervalo [0, ].
Reescrevendo a equa cao (1.21) de outra maneira, tem-se
z

J
ij
= lim
m
_
d

i,0
()

i,0
[
_
e

J
ij
,

i

_

_
e

J
ij
,

i

_
. .
m-vezes
[

i,m
), (1.22)
onde, por questao de conveniencia, fez-se d

i
() = d

i,0
() = d

i
((
0
= 0)), junto
com as deni coes
[

i,0
) [

i
(
0
= 0))
e
[

i,m
) [

i
(
m
= )).
Veja que estes vetores de estado satisfazem a seguinte condi cao de contorno:
[

i
(
0
= 0)) [

i
(
m
= )) (1.23)
Intercalando a rela cao de completeza em cada um dos termos na equa cao (1.22),
obtem-se
z

J
ij
= lim
m
_
m1

k=0
_
d

i,k
__
m1

k=0

i,k
[
_
e

J
ij
,

i

_
[

i,k+1
)
_
, (1.24)
tendo em mente que d

i,k
d

i
((
k
= k)) e que [

i,k
) [

i
(
k
= k)).
16 1 O Hamiltoniano de Heisenberg com Desordem
Levando em considera cao o fato de que e um comprimento innitesimal, observa-se
que o termo no segundo parenteses da expressao anterior pode ser escrito como:

i,k
[
_
e

_
[

i,k+1
) =

i,k
[
_
1

+O(
2
)
_
[

i,k+1
)

i,k
[

i,k+1
)

i,k
[

i,k+1
)
=

i,k
[

i,k+1
)
_
1

i,k
[

i,k+1
)

i,k
[

i,k+1
)
_
, (1.25)
onde, por simplicidade, estamos usando a seguinte nota cao:

J
ij
,

S

i
= J
ij

j
. (1.26)
Seja agora a identidade

i,k
[

i,k+1
) = 1 +

i,k
[
_
[

i,k+1
) [

i,k
)

_
. (1.27)
Fazendo uso da deni cao

i,k
) =
[

i,k+1
) [

i,k
)

i
(
k+1
)) [

i
(
k
))

k+1

k
, (1.28)
e possvel escrever a identidade como sendo

i,k
[

i,k+1
) = 1 +

i,k
[

i,k
). (1.29)
Sendo um comprimento innitesimal, pode-se, sem perda de generalidade, escrever a
identidade acima como

i,k
[

i,k+1
) = exp
_

i,k
[

i,k
)

. (1.30)
A partir da deni cao (1.28) estabelece-se que

i,k
[

i,k+1
)

i,k
[

i,k
) +O(
2
). (1.31)
Finalmente tem-se, fazendo a substitui cao dos resultados expressos nas equa coes (1.30) e
(1.31) na expressao (1.25), o seguinte resultado:

i,k
[
_
e

_
[

i,k+1
) e
[

i,k
[[

i,k
)

i,k
[

i,k
)]
(1.32)
A partir do resultado acima, obtem-se que a fun cao de parti cao, considerando uma
unica replica e um unico stio, e dada por:
z

J
ij
= lim
m
_
m1

k=0
_
d

i,k
_
exp
_

m1

k=0
_

i,k
[

i,k
)

i,k
[

i,k
)
_
_
(1.33)
1.3. Media sobre a desordem 17
Substituindo a equa cao (1.33) na expressao (1.20), e tomando o limite (m )
resulta que a fun cao de parti cao passa a ser descrita por:
Z
n
J
ij
=
_
T[d()]e
S
B

0
dH()
(1.34)
onde
H() =
n

=1

ij)

i
()[

J
ij
,

S

i
[

i
()), (1.35)
e
_
T[d()] lim
m
_
n

=1

i
m1

k=0
_
d

i,k
_
(1.36)
O termo S
B
e dado pela formula
S
B
=
n

=1

i
_

0
d

i
()[
d
d
[

i
()), (1.37)
este termo e chamado de fase geometrica [ Berry (1984) ] e esta relacionado `a interferencia
quantica dos estados coerentes e e responsavel pelos aspectos cineticos e topologicos do
sistema.
Tendo em mente a deni cao (1.26) e fazendo uso da segunda propriedade em (1.14)
a qual relaciona valores esperados de operadores quanticos com vetores na esfera de Bloch,
tem-se
H() = S
2
n

=1

ij)
J
ij

i
()

j
(). (1.38)
Logo, com o uso dos estados coerentes foi possvel substituir os operadores quanticos
em variaveis classicas, porem e importante notar que todo o tratamento envolvido na des-
cri cao do sistema e ainda quantico, pois todos os aspectos quanticos estao agora contidos
na integra cao funcional, que se estende sobre todas as possveis historias e nao apenas
sobre a historia dada pelas equa coes classicas do movimento.
1.3 Media sobre a desordem
Na maior parte de nossos estudos de termodinamica, consideramos sistemas espacialmente
uniformes. Em nvel microscopico todos os sistemas reais sao nao uniformes. Porem, suas
propriedades macroscopicas sao dadas pelos valores medios de fun coes operatoriais

A(

S)
dos graus de liberdade

S =

S
i
e estas quantidades mediadas estatsticamente sao geral-
mente independentes de um particular stio i. Entao dizemos que o sistema termodinamico
e espacialmente uniforme e os valores medios das quantidades termodinamicas tem a pro-
priedade de invariancia translacional. Uma vez que as variaveis J
ij
no hamiltoniano dado
18 1 O Hamiltoniano de Heisenberg com Desordem
x
y
z
W(t=0)
Figura 1.5: Algumas das innitas historias do vetor unitario () na esfera unit aria
durante a evolu cao em tempo euclidiano
pela equa cao (1.7) alternam aleatoriamente seus valores entre J
ij
> 0 e J
ij
< 0, vemos
que existe uma total falta de simetria translacional e o hamiltoniano passa a depender do
stio i. No que se segue veremos como e feita a media estatstica sobre estas variaveis e o
que muda na estrutura do hamiltoniano apos esta media ser estabelecida.
Com a substitui cao dos operadores quanticos por variaveis classicas, estabelecido
anteriormente, torna-se possvel calcular a media sobre a desordem da equa cao (1.6), ou
seja, a media sobre as congura coes da variavel J
ij
dada pela equa cao (1.9). Entretanto,
e importante ter em mente que a distribui cao e valida em cada par de stios independen-
temente dos outros pares, ou seja, para cada par de stios existe uma distribui cao P[J
ij
].
Portanto, com a expressao de Z
n
J
ij
dada pela equa cao (1.34) e (1.38), fazendo uso da
distribui cao gaussiana (1.8) na equa cao (1.9)
[Z
n
]
av
=
_
T[d()]e
S
B

ij)
__
dJ
ij
P[J
ij
]e
S
2

n
=1
_

0
dJ
ij

i
()

j
()
_
=
_
T[d()]e
S
B

ij)
_
_
_
e

J
2
ij
2(J
ij
)
2
_
2(J
ij
)
2
_
dJ
ij
e
a
ij
J
2
ij
+b
ij
J
ij
_
_
_
(1.39)
onde
a
ij
=
1
2(J
ij
)
2
(1.40)
e
b
ij
=

J
ij
(J
ij
)
2
+ S
2
n

=1
_

0
d

i
()

j
(). (1.41)
1.4. Tratamento do termo quartico 19
Efetuando a integra cao sobre J
ij
, obtem-se o seguinte resultado
[Z
n
]
av
=
_
T[d()]e
S
B
1
ef
(n,)
, (1.42)
onde a dinamica do sistema passa a ser descrita pelo hamiltoniano efetivo
H
ef
(n, ) = S
2
n

=1

ij)
_

0
d

J
ij

i
()

j
()

S
4
2

ij)
(J
ij
)
2
_
n

=1
_

0
d

i
()

j
()
_
2
, (1.43)
junto com a fase geometrica (1.37). Note que H
ef
(n, ) formalmente nao contem mais
qualquer tipo de desordem sendo, portanto, translacionalmente invariante
7
[ Sherring-
ton & Kirkpatrick (1975); Binder & Young (1986) ]. Entretanto observa-se que a nao-
trivialidade associada `a desordem e representada pelo termo quartico. Veja que este termo
se anula para J
ij
0, o que equivale a remover a desordem.
1.4 Tratamento do termo quartico

E possvel eliminar o termo quartico introduzindo uma variavel auxiliar, atraves de uma
transforma cao de Hubbard-Stratonovitch [ Hubbard (1959) ]. No entanto, de forma que tal
procedimento possa ser efetuado e necessario transformar a soma restrita aos primeiros
stios vizinhos em uma soma sobre todos os stios. O motivo, reside na aplica cao da
seguinte expressao formal de integra cao
exp
_
_
1
2

(ij)
b
i
A
ij
b
j
_
_
=
_
Tx
i
exp
_
_

1
2

(ij)
x
i
(A
1
)
ij
x
j
+

i
b
i
x
i
_
_
, (1.44)
ou
exp
_
_
1
2

(ij)
b
i
A
ij
b
j
_
_
=
_
Tx
i
exp
_
_

1
2

(ij)
x
i
A
ij
x
j
+

(ij)
b
i
A
ij
x
j
_
_
. (1.45)
onde (ij) signica soma sobre todos os stios da rede.

E possvel transformar a soma
restrita aos primeiros vizinhos ij), em uma soma sobre todos os stios, atraves da matriz
de conectividade, cuja deni cao e:
K
ij
=
_
1; se i e j sao primeiros vizinhos
0; se i e j diferentes de primeiros vizinhos.
(1.46)
7
A constante de acoplamento efetiva

J
ij
, que descreve o valor medio que as constantes de acoplamento
podem assumir em cada par de stios, nao pode alternar aleatoriamente entre valores negativos e positivos.
20 1 O Hamiltoniano de Heisenberg com Desordem
Tabela 1.1: As varias formas de tratar o termo quartico usando uma variavel auxiliar
Variavel auxiliar Espa co Tempo Replicas Componentes SO(3)
Q
ij
nao local constante nao acopladas independentes
Q

i,ab
(,

) local nao local acopladas dependentes


Q

ij,ab
(,

) nao local nao local acopladas dependentes


Com isso temos
exp
_
_
1
2

ij)
b
i
b
j
_
_
= exp
_
_
1
2

(ij)
b
i
K
ij
b
j
_
_
, (1.47)
Por questao de simplicidade vamos admitir a constancia no desvio padrao da dis-
tribui cao de probabilidade para a variavel de acoplamento J
ij
em cada stio, logo, J
ij
=
J = constante.
Existem tres possibilidades para fazer o desacoplamento do termo quartico, as quais
estao relacionadas com a introdu cao de variaveis auxiliares. Na tabela (1.4) estao dis-
postas todas essas possibilidades. No estudo de sistemas vidro de spins a correla cao
temporal de spins no mesmo ponto do espa co, representada pelo parametro de ordem
de Edwards-Anderson (EA) [ Edwards & Anderson, (1975) ] e que desempenha um pa-
pel relevante. Uma vez que Q

i,ab
(,

) e uma variavel local no espa co e nao local no


tempo, esse desacoplamento parece ser o mais adequado ao surgimento do parametro de
Edwards-Anderson (EA) o qual e o parametro de ordem para um sistema vidro de spin.
q
EA
= lim
t
[

S
i
(0)

S
i
(t))
T
]
av
(1.48)
A partir da expressao (1.45) podemos escrever a identidade
exp
_
_
S
4
(J)
2
2

(ij)
K
ij
_
n

=1
_

0
d

i
()

j
()
_
2
_
_
=
_
TQexp
_
_

S
4
(J)
2
2
_
d
_
d

(ij)
_
Q

i,ab
(,

)K
ij
Q

j,ab
(,

) (1.49)
2

i,a
()

i,b
(

)K
ij
Q

j,ab
(,

)
__
.
Por conseguinte
[Z
n
]
av
=
_
T[d()]TQe
S
B
1
ef
(n,,Q)
, (1.50)
1.4. Tratamento do termo quartico 21
sendo o hamiltoniano efetivo agora dado por:
H
ef
(n, , Q) = S
2
n

=1

ij)
_

0
d

J
ij

i
()

j
()
+
S
4
(J)
2
2
_
d
_
d

ij)
Q

i,ab
(,

)Q

j,ab
(,

) (1.51)
S
4
(J)
2
_
d
_
d

ij)

i,a
()Q

j,ab
(,

i,b
(

).
A fase geometrica S
B
na equa cao (1.50) e um termo topologico e, conforme mencionado
anteriormente, no captulo 2 fazemos uma analise geral desse termo.
De acordo com o sinal de

J
ij
, teremos caractersticas fsicas diferentes e tal como
ocorre em sistemas antiferromagneticos e ferromagneticos sem desordem, isto inuenciara
no mapeamento do contnuo.

E uma tarefa difcil, mesmo em casos extremamente simples, partir de uma descri cao
microscopica realista de um determinado sistema considerando intera coes reais e posteri-
ormente, dentro dessa descri cao realista, tomar a media sobre a desordem. No entanto,
a experiencia geral mostra que em quase todos os tipos de an alise de fenomenos coope-
rativos, e mais interessante e util iniciar com modelos fornecendo um tipo de descri cao
grosseira mas que capture os pontos essenciais da fsica em questao.
22 1 O Hamiltoniano de Heisenberg com Desordem
Captulo
2
O Limite Contnuo: desordem com
predominancia AF e F.
No estudo de transi coes de fase, a distin cao entre fases e expressa por uma ou mais quan-
tidades termodinamicas, que denominamos parametros de ordem. Desta forma, podemos
caracterizar, por exemplo, fases ferromagneticas ( F ), antiferromagneticas ( AF ), para-
magneticas ( PM ) e vidro de spins ( VS ). O valor medio da distribui cao dos parametros
de troca,

J
ij
, ira denir a natureza do modelo efetivo, obtido apos fazer a media sobre
J
ij
.
2.1 O limite do Contnuo
Esta se cao esta organizada em duas partes. Na primeira, analisamos o limite do contnuo
do caso antiferromagnetico (

J
ij
< 0). Na segunda parte, e feito o limite do contnuo para
o caso ferromagnetico (

J
ij
> 0). Esta organiza cao e feita de maneira a evitar qualquer
confusao com respeito ao mapeamento do discreto no contnuo, que e diferente para cada
caso.
A fun cao de parti cao para o sistema e dada por
[Z
n
]
av
=
_
T[d()]TQe
S
B
1
ef
(n,,Q)
, (2.1)
onde S
B
e a fase geometrica e que sera discutida posteriormente, e quanto ao hamiltoniano
efetivo, este e dado pela expressao
H
ef
(n, , Q) = H
1
(n, ) +H
2
(n, Q) +H
3
(n, , Q) (2.2)
Com o seguinte vnculo

i
()

i
() = 1, (2.3)
23
24 2 O Limite Contnuo: desordem com predominancia AF e F.
no qual nao se esta somando sobre os ndices i e . Quanto aos hamiltonianos na equa cao
(2.2), temos H
1
dado por
H
1
(n, ) = S
2
n

=1

ij)
_

0
d

J
ij

i
()

j
(). (2.4)
Note que esse termo e do tipo Heisenberg com uma constante de troca dada pelo valor
medio conguracional de J
ij
. Conforme vimos anteriormente, o desacoplamento do termo
quartico leva ao surgimento dos termos H
2
e H
3
, onde
H
2
(n, Q) =
S
4
(J)
2
2
_
d
_
d

ij)

()

(ab)
Q

i,ab
(,

)Q

j,ab
(,

), (2.5)
e o termo H
3
que descreve a intera cao entre o campo e o campo Q e dado por
H
3
(n, , Q) = S
4
(J)
2
_
d
_
d

ij)

()

(ab)

i,a
()Q

j,ab
(,

i,b
(

). (2.6)
Note que os termos H
2
e H
3
se anulam ao retirarmos a desordem do sistema, o que equivale
a fazer J = 0. No que se segue, vamos tratar cada termo separadamente, analisando
como o valor de

J
ij
ira levar a comportamentos fsicos distintos.
2.1.1 O Limite do Contnuo: Caso Antiferromagnetico
Neste caso, a media da intera cao de troca satisfaz a desigualdade

J
ij
< 0, ou seja, esta-
mos em face de um sistema antiferromagnetico efetivo com termos de intera cao. Vamos
admitir, a exemplo do que zemos com J
ij
, que

J
ij
[

J
ij
[ =

J.
Observando a equa cao (2.4) e fazendo uso do vnculo (2.3), podemos escrever essa
equa cao como
H
AF
1
(n, ) =

JS
2
2
n

=1

ij)
_

0
d
_
_

i
() +

j
()
_
2
2
_
. (2.7)
Do fato de estarmos construindo um vidro de spin, atraves da frustra cao de um
sistema antiferromagnetico, podemos admitir, sem perda de generalidade e de forma a
incorporar os atributos referentes `a alternancia dos spins em cada subrede, que e possvel
fazer a seguinte decomposi cao do campo na esfera de Bloch [ Manousakis (1991);
Sachdev (1999)]:

i
() = (1)
i
n

i
()
_
1 a
2d
[L

i
()[
2
+ a
d
L

i
(), (2.8)
2.1. O limite do Contnuo 25
onde n

i
() corresponde ao valor esperado local do operador da magnetiza cao de subrede
(staggered magnetization) em cada stio e em cada replica. As constantes envolvidas
sao o parametro de rede (a) e a dimensao espacial do sistema (d). L

i
(), por sua vez,
corresponde ao valor esperado do spin total em um pequena regiao do espa co contendo um
grande n umero de graus de liberdade microscopicos, contudo e esperado, no modelo efetivo
descrito por H
AF
1
, que spins em stios proximos sejam predominantemente antiparalelos,
isto estabelece que o valor da magnetiza cao total seja pequena, isto e, a
2d
[L

i
()[
2
1, o
prefator a
d
e associado a L

i
() de forma que a integral espacial de L

i
() sobre qualquer
regiao seja precisamente a magnetiza cao dentro dela.

E importante salientar que L

i
()
esta relacionado com o gerador das rota coes no espa co de spin [ Manousakis (1991) ] e
satisfaz o seguinte vnculo
L

i
() n

i
() = 0, (2.9)
novamente, enfatizando que nao existe a, uma soma nos ndices i e , ou seja, essa
rela cao vale em cada stio e em cada replica independentemente. Perceba que o vnculo
(2.3) continua satisfeito, porem, agora e dado por
n

i
() n

i
() = 1. (2.10)
j i
a
r
i
j
r
i
j
O a
W
n
L a
x
y
z
Figura 2.1: A rede em duas dimensoes espaciais junto com a decomposi cao do campo
nos campos n e L. Nota-se a perpendicularidade entre os campos n e L.
Vamos fazer as seguintes deni coes abaixo para os campos, descrevendo os parametros
de ordem do sistema:
n

i
() n

(r
i
, ) (2.11)
L

i
() L

(r
i
, ).
26 2 O Limite Contnuo: desordem com predominancia AF e F.
Os valores dos campos n

(r
i
, ) e L

(r
i
, ) sao denidos em uma celula microscopica i de
volume a
d
. No limite em que o volume desta celula microscopica e muito menor que as
dimensoes volumetricas totais do sistema, ou seja, a
d
V , sendo V o volume do sistema,
temos

1
a
d
_
d
d
r. (2.12)
Logo, em virtude de estarmos tratando com uma soma sobre primeiros vizinhos, e
possvel fazer uma expansao em serie de Taylor em torno do stio localizado em r
i
. Com
isso, temos
n

(r
j
, ) = n

(r
i
, ) +
_
(r
j
r
i
)

_
n

(r
j
, )

r
j
=r
i
+O
_
(r
j
r
i
)
2

. (2.13)

E importante enfatizar que se nao estivessemos tratando com stios primeiro vizinhos, nao
nos seria possvel estabelecer a expansao em serie de Taylor feita acima.
Seja a seguinte deni cao do vetor parametro de rede a
ij
= r
j
r
i
.

E atraves
da rela cao entre este parametro e a varia cao espacial nos stios, dado pelo operador

,
que se estabelece a natureza geometrica da rede, isto e, se se esta considerando uma
rede quadrada ou uma rede triangular ou uma rede hexagonal, entre outras. Nesta tese,
estamos considerando uma rede quadrada bidimensional, logo, temos
a
x
ij
= a
y
ij
= a = constante e a
z
ij
= 0.
Portanto, podemos escrever a equa cao (2.13) na forma
n

(r
j
, ) = n

(r
i
, ) + a
j
n

(r
j
, )[
r
j
=r
i
+O(a
2
), (2.14)
onde
j
e agora uma derivada direcional e e denida por

j
n

(r
j
, )[
r
j
=r
i
( a
ij


)n

(r
j
, )[
r
j
=r
i
, (2.15)
onde a
ij
=
a
ij
[a
ij
[
e o vetor unitario na dire cao r
j
r
i
.
Uma vez que o L

(r
i
, ) corresponde ao valor esperado do spin total em uma pequena
regiao do espa co, entao formalmente temos, sem qualquer perda de generalidade
L

(r
j
, ) L

(r
i
, ). (2.16)
Vamos considerar isoladamente o seguinte termo da equa cao (2.31)

i
() +

j
() =

(r
i
, ) +

(r
j
, ). (2.17)
Substituindo a decomposi cao descrita na equa cao (2.8) na equa cao (2.17), tendo em mente
as rela coes (2.14) e (2.16) e o fato de que se i e mpar entao j e par, obtemos o seguinte
resultado:

(r
i
, ) +

(r
j
, ) = a
j
n

(r
j
, )[
r
j
=r
i
_
1 a
2d
[L

(r
i
, )[
2
+ 2a
d
L

(r
i
, ) (2.18)
2.1. O limite do Contnuo 27
Logo, fazendo a substitui cao do termo acima na expressao para H
AF
1
, obtemos
H
AF
1
(n, ) =

JS
2
2
n

=1

ij)
_

0
d
_
a
2

j
n

(r
i
, )
j
n

(r
i
, )(1 a
2d
[L

(r
i
, )[
2
)
+4a
d+1
L

(r
i
, )
j
n

(r
i
, )
_
1 a
2d
[L

(r
i
, )[
2
(2.19)
+4a
2d
L

(r
i
, ) L

(r
i
, ) 2

,
onde por questao de conveniencia fez-se uso da seguinte nota cao:

j
n

(r
j
, )[
r
j
=r
i

j
n

(r
i
, ).
O segundo termo na equa cao (2.19) e eliminado devido a argumentos de simetria,
isto e, considere a seguinte expressao

ij)
L

(r
i
, )
j
n

(r
i
, ) (2.20)
como para cada stio, devemos somar sobre 4 vizinhos, a contribui cao de opostos se anula,
logo

ij)
L

(r
i
) (
j
)n

(r
i
) =

ij)
L

(r
i
)
j
n

(r
i
) = 0. (2.21)
Do argumento de simetria acima e desconsiderando termos de ordem superior a a
2d
, temos
nalmente para a equa cao (2.4) o resultado
H
AF
1
(n, ) =

JS
2
2
n

=1

ij)
_

0
d
_
a
2
[
j
n

(r
i
, )[
2
+ 4a
2d
[L

(r
i
, )[
2
2

. (2.22)
No limite a 0 vemos que a expressao acima torna-se
H
AF
1
=
1
2
n

=1
_
d
d
r
_

0
d
_

s
[n

(r, )[
2
+

S
2
[L

(r, )[
2
2a
2

s

. (2.23)
A constante
s
=

JS
2
a
2d
e a constante de rigidez de spin ( spin stiness ). Em T = 0,
e ela que fornece a escala de energia necessaria para caracterizar o estado fundamental
ordenado e sua distancia do ponto crtico quantico
1
. Como o proprio nome indica, esta
quantidade mede a diculdade de se fazer mudan cas suaves na orienta cao do parametro de
ordem, logo, esta rigidez de spin e denida por mudan cas na energia do estado fundamen-
tal. A constante

= 4

Ja
d
e a susceptibilidade perpendicular estatica. Esta quantidade
e a resposta do sistema a aplica cao de um campo estatico que varia muito lentamente.
1
Ponto de instabilidade entre duas fases estaveis da materia, em temperatura nula.
28 2 O Limite Contnuo: desordem com predominancia AF e F.
Note que, ao contrario de um vidro de spin do tipo Ising, no qual o desacoplamento
dos stios se da admitindo uma intera cao de alcance innito [ Sherrington & Kirkpatrick
(1975); Binder & Young (1986) ], em um vidro de spin do tipo Heisenberg e a intera cao
entre primeiros vizinhos que nos leva a um desacoplamento entre os stios e isto e feito de
forma muito conveniente dentro de uma teoria de campos.
Vamos agora considerar o termo descrito pela equa cao (2.5). Seja a seguinte deni cao:
Q

i,ab
(,

) Q

ab
(r
i
, ,

). (2.24)
Novamente, uma vez que estamos considerando intera coes de curto alcance, ou seja, in-
tera coes entre spins localizados em stios primeiros vizinhos, podemos estabelecer a ex-
pansao em serie de Taylor do campo Q

ab
(r
j
, ,

) da mesma forma que foi feito para o


campo n

(r
j
, ), isto e,
Q

ab
(r
j
, ,

) = Q

ab
(r
i
, ,

) + a
j
Q

ab
(r
i
, ,

)[
r
j
=r
i
+O(a
2
), (2.25)
logo, temos para o termo H
2
, fazendo a substitui cao na equa cao (2.5) da rela cao (2.25),
o resultado
H
AF
2
(n, Q) =
S
4
(J)
2
2
_
d
_
d

()

(ab)
Q

ab
(r
i
, ,

)Q

ab
(r
i
, ,

), (2.26)
onde pelos mesmos argumentos de (2.21) e eliminado o termo QQ. E no limite do
contnuo, temos para este termo a seguinte expressao
H
AF
2
(n, Q) =
D
2

()

(ab)
_
dr
_
d
_
d

ab
(r, ,

)Q

ab
(r, ,

), (2.27)
onde a constante D = S
4
(J)a
d
esta relacionada com a desordem.
Consideremos agora o termo H
AF
3
, novamente com a expansao em serie de Taylor
do campo Q, equa cao (2.25), e a decomposi cao do campo n, equa cao (2.14), temos para
a equa cao (2.6)
H
AF
3
(n, , Q) = S
4
(J)
2
_
d
_
d

i
_
n

a
(r
i
, )Q

ab
(r
i
, ,

)n

b
(r
i
,

) +
a
2d
L

a
(r
i
, )Q

ab
(r
i
, ,

)L

b
(r
i
,

)
_
, (2.28)
onde esta implcito a soma sobre as componentes SO(3) representadas aqui por (a, b),
e sobre as replicas representadas pelos ndices (, ) (conven cao de somatorio). No de-
senvolvimento nota-se a existencia de termos oscilantes, porem, uma vez que estamos
considerando congura coes suaves, esses termos sao eliminados no processo de somar so-
bre todos os stios da rede. Quanto ao termo do tipo QQ, ele e eliminado conforme
argumentos de simetria. Fazendo a compara cao entre os termos da equa cao (2.28), vemos
2.1. O limite do Contnuo 29
que o segundo termo da equa cao anterior no limite de a
d
muito pequeno, sera desprezvel
com respeito ao primeiro termo, logo
H
AF
3
(n, , Q) = S
4
(J)
2
_
d
_
d

i
n

a
(r
i
, )Q

ab
(r
i
, ,

)n

b
(r
i
,

). (2.29)
E no limite do contnuo temos
H
AF
3
(n, , Q) = D
_
dr
_
d
_
d

a
(r, )Q

ab
(r, ,

)n

b
(r,

). (2.30)
2.1.2 O Limite do Contnuo: Caso Ferromagnetico
Quando

J
ij
> 0, somos levados a um sistema ferromagnetico efetivo com termos de
intera cao provenientes da desordem imposta ao sistema. Novamente vamos considerar a
rela cao

J
ij
[

J
ij
[ =

J.
Da observa cao do termo H
F
1
, equa cao (2.4), e fazendo uso do vnculo (2.3), podemos
escrever
H
F
1
(n, ) =

JS
2
2
n

=1

ij)
_

0
d
_
_

j
()

i
()
_
2
2
_
. (2.31)
O campo representa a magnetiza cao da rede, neste caso, vamos fazer a seguinte
deni cao:

i
() = n

(r
i
, ), (2.32)
com o vnculo dado por n n = 1.
Novamente considerando congura coes suaves e intera c ao de curto alcance, nos e
possvel estabelecer uma conexao entre

j
() e

i
() atraves de uma expansao em serie
de Taylor em torno do stio i, conforme equa cao (2.13). Logo, temos
H
F
1
(n, ) =

JS
2
2
n

=1

ij)
_

0
d
_
a
2
[
j
n

(r
i
, )[
2
2

. (2.33)
No limite do contnuo temos
H
F
1
(n, ) =
1
2
n

=1
_
d
d
r
_

0
d
_

s
[n

(r, )[
2
2a
2

s

. (2.34)
Quanto aos termos envolvendo a desordem, temos no limite do contnuo
H
F
2
(n, Q) =
D
2

()

(ab)
_
dr
_
d
_
d

ab
(r, ,

)Q

ab
(r, ,

), (2.35)
e
H
F
3
(n, , Q) = D
_
dr
_
d
_
d

a
(r, )Q

ab
(r, ,

)n

b
(r,

). (2.36)
30 2 O Limite Contnuo: desordem com predominancia AF e F.
2.2 O tratamento da fase geometrica
Nesta se cao serao tratados os aspectos relacionados `a fase geometrica e sua relevancia
para a dinamica do sistema. Esta fase geometrica surge da natureza quantica dos spins e
dependendo da dimensao do sistema, ela pode alterar de forma profunda o comportamento
de baixa energia do sistema, estabelecendo comportamentos fsicos distintos para spins
inteiros e spins semi-inteiros [ Haldane (1983a, 1983b, 1985, 1988); Aeck (1985a, 1985b)
]
Inicialmente de forma a simplicar o tratamento algebrico, considera-se um unico
stio e uma unica replica, neste caso a fase geometrica ca escrita como
S

B,i
=
_

0
d

i
()[
d
d
[

i
()). (2.37)
Por conseguinte, a fase geometrica para o sistema inteiro consistira na soma sobre todos
os stios da rede e sobre todas as replicas do sistema, ou seja,
S
B
=
n

=1

i
S

B,i
. (2.38)
Um passo seguinte consiste em determinar qual o papel que a fase geometrica desempenha
na evolu cao temporal do sistema.
Sabemos que os operadores de spin,

S
x
,

S
y
e

S
z
sao os geradores das rota coes
nas dire coes x, y e z respectivamente. No espa co de Hilbert do sistema, analisando os
efeitos dessas rota coes sobre o estado fundamental
2
[

i
( = 0)), vemos que essas rota coes
causam uma evolu cao temporal a partir desse estado. Em termos quantitativos vamos
considerar o operador de rota cao innitesimal de um angulo em torno de um eixo de
rota cao em uma dire cao qualquer, descrita pelo vetor unitario n,

U[1()] = e
in

S
. (2.39)
Introduzindo os operadores escada

S

=

S
x
i

S
y
, considerando coordenadas esfericas,
onde neste caso o vetor unitario n ca descrito como
n = (sin cos , sin sin , cos ),
podemos escrever a equa cao (2.39) como

U[1(, ,
z
)] = e
z

S
+
z

S

iz

Sz
. (2.40)
onde
z = z() =

2
e
i
(0 , 0 2). (2.41)
2
Na esfera de Bloch, o estado fundamental aponta na dire cao z.
2.2. O tratamento da fase geometrica 31
Essa dinamica, que ocorre no espa co de Hilbert, e mapeada na esfera de Bloch. A
evolu cao em tempo euclidiano na esfera de Bloch e descrita atraves de um operador de
evolu cao, ou seja, um estado coerente em um tempo qualquer e o estado coerente no
tempo = 0 se relacionam da seguinte maneira:
[

i
()) = U[1(, ,
z
)][

i
(0)) (2.42)
X
Y
Z
Plano-t
X
Y
j
q
q 2
t
j
q
*=exp(i
)tg(
/2)
Figura 2.2: Geometria dos estados coerentes de spins. Os estados coerentes de spin
mapeiam a esfera bidimensional sobre o plano complexo.
[

i
()) =

U
i,
()[

i
(0)) = e

A
i,
()
[

i
(0)), (2.43)
onde

A
i,
() = z
i,
()

S
+
z

i,
()

, (2.44)
sendo

S

=

S
x
i

S
y
. Ha uma fase constante que surge do fato do estado [( = 0))
ser um autoestado do operador

S
z
e que nao e considerada pelo fato de nao inuenciar
em nada a dinamica do sistema. Os ndices i e indicam que estamos considerando um
unico stio e uma unica replica do sistema, conforme dito anteriormente. Estabelecendo
a derivada da expressao anterior com respeito ao tempo, resulta
d
d
[

i
()) =
d
d
_
e

A
i,
()
[

i
(0))
_
=
_
d
d
e

A
i,
()
_
[

i
(0)). (2.45)

E importante notar que se


_
d

A
i,
()
d
, e

A
i,
()
_
,= 0, entao
d
d
e

A
i,
()
,=
d

A
i,
()
d
e

A
i,
()
. No
entanto, em um caso geral, foi demonstrado por Feynman [Feynman (1951)] que
d
d
e

A
i,
()
=
_
1
0
e

A
i,
()(1u)
d

A
i,
()
d
e

A
i,
()u
du, (2.46)
32 2 O Limite Contnuo: desordem com predominancia AF e F.
logo a equa cao (2.45) pode ser escrita na forma
d
d
[

i
()) =
_
_
1
0
e

A
i,
()(1u)
d

A
i,
()
d
e

A
i,
()u
du
_
[

i
(0)). (2.47)
Finalmente da expressao anterior resulta

i
()[
d
d
[

i
()) =

i
()[
_
_
1
0
e

A
i,
()(1u)
d

A
i,
()
d
e

A
i,
()u
du
_
[

i
(0)). (2.48)
Novamente usando a equa cao que estabelece a evolu cao temporal do vetor de estado,
equa cao (2.43), e tendo em mente que

A

i,
() = z

i,
()

z
i,
()

S
+
=

A
i,
(), obtemos

i
()[
d
d
[

i
()) =
_
1
0
du

i
(0)[e


A
i,
()u
d

A
i,
()
d
e

A
i,
()u
[

i
(0)). (2.49)
Faz-se necessario a seguinte deni cao
[

i
(, u)) = e

A
i,
()u
[

i
(0)), (2.50)
onde nota-se a dependencia do estado com a variavel u, logo a equa cao (2.49) torna-se

i
()[
d
d
[

i
()) =
_
1
0
du

i
(, u)[
_
z
i,
()

S
+

i,
()

_
[

i
(, u)). (2.51)
Introduzindo uma matriz 2 2 de operadores

S, dada por

S =
_

S
z

S

S
+

S
z
_
, (2.52)
e possvel explicitar a simetria SU(2) envolvida no sistema, e dessa forma obter a fase
geometrica em um unico stio e em uma unica replica, este procedimento e visto em
detalhes no Apendice A, logo
S

B,i
= iS
_

0
d
_
1
0
du
abc

i,a

i,b
u

i,c

= iS
_

0
d
_
1
0
du

i

_

i
u

_
. (2.53)
Para obter a fase geometrica para todo o sistema, basta fazer a substitui cao do
resultado acima na equa cao (2.38)
S
B
= iS
n

=1

i
_

0
d
_
1
0
du

i

_

i
u

_
. (2.54)
No que se segue vamos considerar a fase geometrica separadamente para a intera cao
antiferromagnetica, uma vez que, nesta tese, e o caso de particular interesse.
2.2. O tratamento da fase geometrica 33
x
y
z
t=b
u=1 u=1
u
t
Figura 2.3: Interpreta cao geometrica da expressao de S
B
. A evolu cao temporal fun c ao
(, u), dene o mapeamento do retangulo 0 , 0 u 1 sobre a esfera unit aria,
logo S
B
e o angulo solido.
Novamente, considere a decomposi cao descrita pela equa cao (2.8), substituindo essa
expressao na equa cao (2.54) obtemos
S
B
= + iSa
d
n

=1

i
_

0
d
_
1
0
du
_

u
_
n

(r
i
, , u)
_
L

(r
i
, , u)
n

(r
i
, , u)

__
+

_
n

(r
i
, , u)
_
n

(r
i
, , u)
u
L

(r
i
, , u)
___
, (2.55)
sendo o termo de Hopf [Haldane (1988)], cuja expressao e
= iS
n

=1

i
_

0
d
_
1
0
du(1)
i
n

(r
i
, , u)
_
n

(r
i
, , u)
u

n

(r
i
, , u)

_
. (2.56)
Tendo em mente a condi cao de periodicidade do com respeito a variavel , a mesma
condi cao tem de ser satisfeita ao fazer a decomposi cao nos campos n e L, logo, conclumos
que ao fazermos a integra cao na variavel no segundo termo da equa cao (2.55) nos leva a
um resultado nulo. Da evolu cao temporal do campo , dada pela equa cao (2.50), resulta
n

u=0
= 0,
logo o integrando so tera contribui cao em u = 1. Portanto, no limite de a 0, o resultado
para a fase geometrica no caso do antiferromagnetismo ca dado pela expressao [ Sachdev
(1999)]
S
B
= iS
n

=1
_
dr
_

0
dL

(r, )
_
n

(r, )
n

(r, )

_
. (2.57)
34 2 O Limite Contnuo: desordem com predominancia AF e F.
Captulo
3
Um Modelo de Teoria Quantica de
Campos para Vidros de Spins
Com os resultados obtidos no captulo anterior, a fun cao de parti cao do sistema, no limite
do contnuo, pode ser escrita na forma dada por:
[Z
n
]
av
=
_
TnTLTQe
S[n,L,Q]
, (3.1)
onde S[n, L, Q] e estabelecida como a a cao do sistema e e expressa da seguinte maneira:
S[n, L, Q] = +S
1
[n, L] + S
2
[n, Q]. (3.2)
O funcional S
1
e uma parte da a cao, que a menos de alguns fatores constantes, e muito
parecida `a versao no limite do contnuo de um sistema antiferromagnetico sem desordem
[ Haldane (1983a) ], ou seja,
S
1
[n, L] = +
1
2

_
d
2
r
_

0
d
_

s
[n

(r, )[
2
+

S
2
[L

(r, )[
2
2iL

(r, )
_
n

(r, )
n

(r, )

_
2
s
a
2
_
(3.3)
e S
2
e a parte da a cao que descreve os aspectos relacionados `a desordem imposta,
S
2
[n, Q] =
D
2

()

(ab)
_
d
2
r
_

0
d
_

0
d

_
Q

ab
(r, ,

)Q

ab
(r, ,

)
2n

a
(r, )Q

ab
(r, ,

)n

b
(r,

)
_
, (3.4)
lembrando que
s
=

JS
2
a
2d
,

= 4

Ja
d
e D = S
4
(J)a
d
. Veja que este funcional se
anula ao fazer D = 0, o que equivale a retirar a desordem do sistema. Novamente estamos
35
36 3 Um Modelo de Teoria Quantica de Campos para Vidros de Spins
considerando os seguintes vnculos:
n

(r, ) n

(r, ) = 1,
n

(r, ) L

(r, ) = 0, (3.5)
onde e importante notar que nao se esta somando sobre os ndices de replicas.
O termo e o termo de Hopf e em duas dimensoes considerando congura coes
suaves, mostra-se que este termo se anula [ Haldane (1988); Manousakis (1991); Sachdev
(1999) ]. Apesar do sistema original ser desordenado, a teoria efetiva nao e. A desordem
e representada pela intera cao quartica.
Observa-se a partir da equa cao (3.3) que a a cao S
1
e quadratica no campo L, dessa
forma, reescrevendo a fun cao de parti cao, equa cao (3.1), como
[Z
n
]
av
=
_
TnTQe
S
2
[n,Q]
_
TLe
S
1
[n,L]
, (3.6)
considerando o vnculo nL = 0 e a equa cao (3.3), e possvel efetuar a integra cao funcional
sobre este campo L, o que nos leva ao resultado
[Z
n
]
av
=
_
TnTQ
f
[n

1]e
S[n,Q]
, (3.7)
estando agora a a cao descrita por
S[n, Q] =
1
2

_
d
2
r
_

0
d
_

s
[n

(r, )[
2
+
1
c
2
[

(r, )[
2
2
s
a
2
_
+
D
2

()

(ab)
_
d
2
r
_

0
d
_

0
d

_
Q

ab
(r, ,

)Q

ab
(r, ,

)
2n

a
(r, )Q

ab
(r, ,

)n

b
(r,

)
_
, (3.8)
onde c
2
=
s

representa a velocidade das excita coes em baixa energia dos spins.



E
importante salientar que na equa cao (3.7), o vnculo n

(r, ) n

(r, ) = 1 foi incorpo-


rado na integra cao funcional atraves de um multiplicador de Lagrange, representado pelo
funcional
f
.
Considere o seguinte reescalonamento do campo n,
n

(r, )
1


s
n

(r, ), (3.9)
isto e feito unicamente para colocar a a cao S[n, Q] em uma forma que ressalte a parte nao
interagente do campo n. Com este reescalonamento o vnculo sobre o campo n torna-se
agora
n

(r, ) n

(r, ) =
s
. (3.10)
3.1. Simetrias de Replicas e Isotropia nas Componentes SO(3) 37
Introduzimos agora o campo multiplicador de Lagrange,

(r, ), na equa cao (3.7) atraves


da identidade

f
[n


s
] =
_
T exp
_
i
_
d
2
r
_

0
d

(n


s
)
_
. (3.11)
Isto resulta na seguinte expressao para a fun cao de parti cao,
[Z
n
]
av
=
_
TnTQTe
S[n,Q,]
(3.12)
com a a cao sendo escrita como
S[n, Q, ] =
1
2

_
d
d
r
_

0
d
_
[n

(r, )[
2
+
1
c
2
[

(r, )[
2
+ 2i

([n

(r, )[
2

s
)
_
+
D
2

()

(ab)
_
d
d
r
_

0
d
_

0
d

_
Q

ab
(r, ,

)Q

ab
(r, ,

) (3.13)

2

s
n

a
(r, )Q

ab
(r, ,

)n

b
(r,

)
_
.
Onde estamos desprezando o termo constante 2
s
a
2
que pode ser assimilado na medida
de integra cao funcional. Note que o campo n, que descreve a magnetiza cao da subrede, e
um campo vetorial cujas componentes no espa co de spins sao n

= (

).
3.1 Simetrias de Replicas e Isotropia nas Compo-
nentes SO(3)
Nesta tese esta-se considerando o estudo de um vidro de spins isotropico em que todas
as dire coes no espa co de spins sao equivalentes. Portanto, para este caso adotamos a
seguinte expressao para o campo Q

ab
:
Q

ab
(r, ,

) = Q

(r, ,

)
ab
. (3.14)
Fazendo a substitui cao desta rela cao na equa cao (3.13) acima e levando em conta a de-
composi cao do campo n em suas componentes e , a a cao torna-se
S[, , Q, ] = S

[, Q, ] + S

[, Q, ], (3.15)
onde
S

[, Q, ] =
1
2

_
d
2
r
_

0
d
_
[

(r, )[
2
+
1
c
2
[

(r, )[
2
+ 2i

([

(r, )[
2

s
)
_
38 3 Um Modelo de Teoria Quantica de Campos para Vidros de Spins
+
D
2

()
_
d
2
r
_

0
d
_

0
d

_
3Q

(r, ,

)Q

(r, ,

) (3.16)

2

s

(r, )Q

(r, ,

(r,

)
_
.
e
S

[, Q, ] =
1
2

_
d
2
r
_

0
d
_
[

(r, )[
2
+
1
c
2
[

(r, )[
2
+ 2i

(r, )[
2
_

D

s

()
_
d
2
r
_

0
d
_

0
d

(r, ) Q

(r, ,

(r,

. (3.17)
Podemos escrever a fun cao de parti cao na forma
[Z
n
]
av
=
_
TTQTe
S[,Q,]
_
Te
S[,Q,]
(3.18)
Faremos agora a integra cao funcional sobre o campo , considerando assim as utua coes
quanticas do spin. Para isso, vamos reescrever a a cao S

na seguinte forma
S

[, Q, ] =
1
2

()
_
d
2
r
_

0
d
_
d
2
r

_

0
d

(r, ) M

(r, [r

(r

) (3.19)
onde M(r, [r

) e dado por
M

(r, [r

) = (2
2
+ 2i

(r r

)(

)
2D

s
Q

(r, ,

) (3.20)
onde 2
2
=
2
+
1
c
2

2
. Portanto seja o funcional,
I[, Q] =
_
T exp
_
_
_

1
2

(,)
_
dx
_
dx

(x) M

(x, x

(x

)
_
_
_
(3.21)
onde faz-se uso de uma nota cao ainda mais compacta em que x = (r, ). Note que a a cao
S

e quadratica em , logo efetuando a integral funcional sobre este campo na equa cao
(3.21), obtemos
I[, Q] = [det M]
1
(3.22)
Substituindo este resultado na equa cao (3.18), obtemos
[Z
n
]
av
=
_
TTQTe
S[,Q,]
[det M]
1
, (3.23)
3.1. Simetrias de Replicas e Isotropia nas Componentes SO(3) 39
onde Me uma matriz cujas componentes no espa co de congura cao sao dadas pela equa cao
(3.20) em que e uma variavel que depende localmente das coordenadas espa co-temporais
e e diagonal no espa co das replicas Q e uma variavel multifuncional (coordenadas espa co-
temporais + espa co de replicas). O determinante multifuncional pode ser escrito da
seguinte maneira:
det M = det
c
[det
r
M], (3.24)
onde os ndices c e r signicam o espa co de congura cao ( espa co-tempo ) e de replicas
respectivamente.
A m de calcular o determinante funcional no espa co de replicas escrevemos a
variavel multifuncional Q, da forma
Q = ( q)I + qC, (3.25)
ou equivalentemente
Q

= ( q)

+ qC

, (3.26)
onde e q sao fun coes das coordenadas espa co-temporais, I e a identidade no espa co de
replicas e C e uma matriz no espa co de replicas onde todos os elementos sao iguais a 1,
isto e,
C =
_
_
_
1 1
.
.
.
.
.
.
.
.
.
1 1
_
_
_
. (3.27)
A motiva cao para esta decomposi cao de Q

, tem por objetivo introduzir o parametro de


ordem de Edwards-Anderson para a fase vidro de spins [ Edward & Anderson (1975); Bray
& Moore (1980); Binder & Young (1986); Georges et al (2000) ]. Esta envolve medias
de operadores de spin de replicas distintas ,= e, como veremos, esta relacionada
com q. A parte correspondente a = , que denominamos , esta relacionada com a
susceptibilidade estatica.
Com esta expressao podemos reescrever M em termos de suas componentes no
espa co de replicas e no espa co de congura cao, ou seja,
M

(r, [r

) = M

(x, x

) = M
0
(x, x

M
1
(x, x

)C

(3.28)
onde temos
M
0
(x, x

) =
_
[2
2
+ 2i(r, )](

)
2D

s
[(r, ,

) q(r, ,

)]
_
(r r

) (3.29)
e
M
1
(x, x

) =
2D

s
q(r, ,

)(r r

). (3.30)
40 3 Um Modelo de Teoria Quantica de Campos para Vidros de Spins
Perceba nas equa coes (3.29) e (3.30), a localidade espacial de todos os campos reetida
na fun cao (r r

) e a nao localidade temporal dos campos e q. Este fato decorre de


nossa escolha para a variavel Q

i
(,

), tabela (1.1).
Calculando o determinante de M no espa co de replicas utilizando a decomposi cao
(3.28) e (3.27), obtemos de forma exata que
det
r
M = M
n1
0
[M
0
nM
1
] M (3.31)
Substituindo a equa cao (3.31) na equa cao (3.24), obtem-se
det M = det
c
M = det
c
_
M
n1
0
[M
0
nM
1
]
_
. (3.32)
Considere a identidade
det
c
M = exp[tr lnM], (3.33)
com isso temos a expressao nal para o calculo do determinante funcional na equa cao
(3.24), ou seja,
det M = e
(n1)tr ln(M
0
)+tr ln(M
0
nM
1
)
. (3.34)
Fazendo a substitui cao deste resultado na equa cao (3.22), obtemos a seguinte expressao
para o funcional I[Q, ],
I[Q, ] I[, q, ] = [det M]
1
= e
(n1)tr ln(M
0
)tr ln(M
0
nM
1
)
(3.35)
A m de obtermos uma expressao conveniente para a equa cao (3.23), vamos intro-
duzir (3.26) naquela equa cao. Introduziremos esta expressao na a cao S

dada por (3.16),


obtemos
S

[, Q, ] =
1
2

_
d
2
r
_

0
d
_
[

[
2
+
1
c
2
[

[
2
+ i

([

[
2

s
)
_
+
D
2
_
d
2
r
_

0
d
_

0
d

_
3n(
2
(,

) q
2
(,

)) + 3n
2
q
2
(,

) (3.36)

2

s
_
(,

) q(,

)
_

()

)
2

s
q(,

()

()

)
_
_
.
Nesta tese vamos admitir simetria nas replicas, logo

para todo e .
Portanto, valem as seguintes rela coes

()

) = n()(

) (3.37)
e

()

()

) = n
2
()(

). (3.38)
3.2. Aproxima cao De Fase Estacionaria 41
Isto nos leva nalmente, desprezando os termos de ordem n
2
os quais nao irao contribuir
no limite n 0, `a expressao
S

[, q, , ] =
1
2
n
_
d
2
r
_

0
d
_
[[
2
+
1
c
2
[

[
2
+ i(
2

s
)
_
+
D
2
_
d
2
r
_

0
d
_

0
d

_
3n(
2
(,

) q
2
(,

))

2n

s
() [(,

) q(,

)] (

)
_
. (3.39)
Substituindo os resultados expressos nas equa coes (3.34) e (3.39) na expressao para
a fun cao de parti cao, equa cao (3.23), obtem-se para a fun cao de parti cao o seguinte
resultado:
[Z
n
]
av
=
_
TTqTTe
S[,q,,]
, (3.40)
onde a a cao e expressa agora na forma
S[, q, , ] = n[S
0
+ tr ln M
0
] + tr ln(M
0
nM
1
) tr ln M
0
, (3.41)
em que M
0
e M
1
sao dados pelas equa coes (3.29) e (3.30) e S
0
corresponde `a expressao
S
0
=
1
2
_
d
2
r
_

0
d
_
[[
2
+
1
c
2
[

[
2
+ 2i(
2

s
)
_
+
D
2
_
d
2
r
_

0
d
_

0
d

_
3(
2
(,

) q
2
(,

))

2

s
()
_
(,

) q(,

)
_
(

)
_
.
(3.42)
A a cao S[, q, , ] descreve a dinamica das n-replicas do sistemas acopladas em con-
seq uencia da media sobre a desordem. Perceba que ao retiramos o efeito da desordem,
representadas por D, a expressao acima, recai na equa cao que descreve o modelo sigma
nao linear proveniente do mapeamento no contnuo de um sistema antiferromagnetico
puro [ Haldane (1983) ].

E importante notar o fato de que ao fazermos o limite do contnuo da expressao


[Z
n
]
av
, descrevendo a estatstica quantica de um sistema desordenado em 2-dimensoes,
fomos levados a uma teoria quantica de campos em (2 +1)-dimensoes, dada pela equa cao
(3.40), onde [Z
n
]
av
toma a forma de uma integral funcional sobre os campos , q, e .
3.2 Aproximacao De Fase Estacionaria
No que segue, vamos considerar as aproxima coes de ponto de sela para todos os campos
envolvidos na equa cao (3.40). Nessa aproxima cao, temos
[Z
n
]
av
= e
S
cl
[,q,,]
1[, q, , ], (3.43)
42 3 Um Modelo de Teoria Quantica de Campos para Vidros de Spins
onde a a cao estacionaria S
cl
e tomada sobre a congura cao em que os campos , , q e
satisfazem as equa coes classicas provenientes da extremiza cao da a cao S, isto e, S = 0.
O funcional 1[, q, , ] descreve os efeitos decorrentes das utua coes termico-quanticas
1
sobre sistema.
As solu coes classicas podem ser categorizadas da seguinte maneira: solu coes cons-
tantes (independentes do espa co e do tempo), solu coes estaticas (independentes do tempo,
porem dependentes do espa co), solu coes que nao tem dependencia no espa co, porem sao
dependentes do tempo. Nesta tese se consideram as solu coes classicas constantes nos
campos e . Da nao localidade temporal dos campos q e , considera-se para estes
campos solu coes dependentes do tempo e independentes do espa co. As solu coes constan-
tes nos campos e representam a primeira aproxima cao ao valor esperado do vacuo
dos respectivos campos quanticos. A a cao classica tomada nessa congura cao ca escrita
na forma
S
cl
[, q, , ] = n[S
cl
0
+ tr ln M
cl
0
] + tr ln(M
cl
0
nM
cl
1
) tr ln M
cl
0
(3.44)
onde S
0
e agora dado por
S
cl
0
=
1
2
V
_
2i
cl
(
2
cl

s
)

+
D
2
V
_

0
d
_

0
d

_
3
_

2
cl
(,

) q
2
cl
(,

)
_
(3.45)

2

s

2
cl
_

cl
(,

) q
cl
(,

)
_
_
onde o ndice (cl) designa as congura coes classicas dos campos e V e o volume espacial.
Logo, podemos escrever a fun cao de parti cao, equa cao (3.43), como
[Z
n
]
av
e
S
cl
[,q,,]
. (3.46)
3.3 A Energia Livre no Contnuo
Vamos agora considerar a energia livre do sistema, que conforme vimos no captulo 1, e
dada por:
F =
1

lim
n0
1
n
([Z
n
]
av
1) = T lim
n0
[Z
n
]
av
n
. (3.47)
Fazendo a substitui cao da equa cao (3.46) na equa cao que representa a energia livre
do sistema, equa cao (3.47), obtemos
F =
1

lim
n0
1
n
(e
S
cl
(n)
1) =
1

lim
n0

_
e
S
cl
(n)

n
. (3.48)
1
Ao fazermos a aproxima cao semiclassica em 0, estamos considerando tambem que as utua c oes
termicas estao sendo levadas em conta, pois uma vez que estamos tratando de uma teoria estatstica
quantica, nao tem sentido a separa cao entre efeitos qu anticos e efeitos termicos.
3.3. A Energia Livre no Contnuo 43
Tendo em mente a equa cao (3.45) e expandindo a fun cao exponencial na expressao anterior
em serie, e tomando o limite n 0, vemos que a energia livre do sistema e dada por
F =
V
2
_
m
2
(
2
cl

s
)

+
DV
2
_

0
d
_

0
d

_
3(
2
cl
(,

) q
2
cl
(,

))
2

s

2
cl
_

cl
(,

) q
cl
(,

)
_
_
+
1

tr ln(M
0
)
1

tr
_
M
1
M
1
0
_
, (3.49)
onde denimos como de costume [Polyakov (1987); Marino (2002)] m
2
= 2i
cl
. Os ope-
radores M
0
e M
1
sao agora representados, no espa co de congura cao, por
M
0
(x, x

) =
_
[2
2
+ m
2
](

)
2D

s
[(,

) q(,

)]
_
(r r

) (3.50)
e
M
1
(x, x

) =
2D

s
q(,

)(r r

). (3.51)
Os tra cos na equa cao (3.49) independem do espa co em que sao tomados, porem
quando tomados no espa co de congura cao, vemos que as expressoes envolvidas nao sao
diagonais nas bases desse espa co (r, ). No entanto, e possvel escrever M
0
e M
1
em
termos das coordenadas no espa co recproco (k,
n
), onde os tra cos cam sendo dados
por
tr ln M
0
= V

n
_
d
2
k
(2)
2
ln
_
k
2
+
2
n
+ m
2

2D

s
[(
n
) q(
n
)]
_
(3.52)
e
tr
_
M
1
M
1
0
_
=
2D

s
V

n
_
d
2
k
(2)
2
_
q(
n
)
k
2
+
2
n
+ m
2

2D
s
((
n
) q(
n
))
_
. (3.53)
Os detalhes desta passagem do espa co de congura cao para o espa co recproco estao dados
no apendice B.

E importante perceber a dependencia dos campos q e com respeito as freq uencias


de Matsubara bosonicas
2
,
n
= 2nT ( n Z ). Esta dependencia reete a nao-localidade
temporal no espa co de congura cao dos campos q
cl
e
cl
. No proximo captulo veremos
qual o signicado fsico desses campos.
Seguindo o mesmo procedimento feito na determina cao dos tra cos, vamos estabelecer
a transformada de Fourier dos campos na a cao S
0
. Do fato de que os campos q
cl
(,

) e
2
Os campos e sao bosonicos.
44 3 Um Modelo de Teoria Quantica de Campos para Vidros de Spins

cl
(,

) serem constantes no espa co, vamos considerar a transformada de Fourier desses


campos apenas nas variaveis temporais. Portanto, temos
q
cl
(,

) =
1

n
e
in(

)
q(
n
), (3.54)
e

cl
(,

) =
1

n
e
in(

)
(
n
). (3.55)
Isto, junto com as equa coes (3.52) e (3.53), nos permite obter da equa cao (3.49), a den-
sidade de energia livre mediada sobre a desordem

f = F/V , como

f =
1
2
_
m
2
(
2

s
)

D
2

s
((
0
) q(
0
))
+
3DT
2

n
_
(
n
)(
n
) q(
n
)q(
n
)
_
(3.56)
+ T

n
_
d
2
k
(2)
2
ln
_
k
2
+
2
n
+ m
2

2D

s
((
n
) q(
n
))
_

2D

s
T

n
_
d
2
k
(2)
2
_
q(
n
)
k
2
+
2
n
+ m
2

2D
s
((
n
) q(
n
))
_
,
onde, por questao de conveniencia, foi omitido o ndice (cl) designando a congura cao
classica do campo e foi feita a substitui cao = 1/T.
A densidade de energia livre

f fornece as propriedades termodinamicas do sistema,
reetidas nos parametros de ordem , m
2
, q(
n
) e (
n
). No proximo captulo veremos
os signicados fsicos desses parametros e discutiremos as propriedades macroscopicas,
analisando a densidade de energia

f.
Captulo
4
Diagrama de fases
No captulo anterior obtivemos uma teoria quantica de campos para um sistema vidro
de spins, cuja distribui cao gaussiana de parametro de troca e centrada em um valor que
privilegia a intera cao antiferromagnetica em face da intera cao ferromagnetica
1
. Fazendo
teoria de campo medio, nos foi possvel obter a densidade de energia livre. Neste captulo
vamos analisar as propriedades termodinamicas que decorrem dessa densidade de energia
livre

f.
Antes de analisarmos as equa coes decorrentes da densidade de energia livre

f, e
necessario estabelecermos o signicado fsico dos parametros q e .
4.1 Signicado Fsico dos Parametros q e
Por deni cao vamos considerar, admitindo invariancia de transla cao em , o seguinte
parametro

i
()

i
(

))
,=
q(,

) = q(

), (4.1)
onde a seta acima signica o limite do contnuo e os ndices e foram suprimidos em
virtude da hipotese de simetria de replicas.

E importante mencionar que neste ponto o
sistema nal nao mais apresenta qualquer desordem. Esta manifesta-se atraves da nao
trivialidade que surge com a introdu cao das replicas e do termo de intera cao quartica.
Com essa deni cao nos e possvel estabelecer o parametro de ordem para a fase vidro
de spins. O parametro de ordem para um sistema vidro de spins, tambem conhecido como
parametro de Edwards-Anderson [Edwards & Anderson (1975)], e denido pelo seguinte
1
Existe um vies na distribui cao gaussiana dos valores de J
ij
.
45
46 4 Diagrama de fases
limite
q
EA
= lim

q(

). (4.2)
Vamos considerar este limite no espa co de freq uencias, ou seja, consideremos a
seguinte transformada de Fourier
q(

) = T

n
e
in(

)
q(
n
) (4.3)
e sua inversa
q(
n
) =
_

0
d
_

0
d

e
in(

)
q(

). (4.4)
No limite de

, notamos da equa cao (4.3) que, devido ao lema de Riemann-


Lebesgue, somente o modo de freq uencia nula contribui neste limite. Logo conclui-se
que o parametro de Edward-Anderson, no espa co recproco esta relacionado ao valor de
q(
n
= 0) q
0
, atraves da expressao.
q
EA
= Tq
0
. (4.5)
Na situa cao em que =

, a equa cao (4.3) fornece


q(

= 0) = T

n
q(
n
). (4.6)
No entanto, considere o seguinte vetor de estado, o qual consiste de um produto tensorial
de vetores de estados em cada replica
[) =

[) = [
1
) [
2
) [
n
). (4.7)
Portanto, tendo em mente que ,= , temos

i
()

i
())
,=
= [

i
()

i
()[)
= [

i
(0)

i
(0)[) =

,
[

i
(0)

i
(0)[) (4.8)
=
_

i
(0)[)
__

i
(0)[)
_
(4.9)
q(

= 0)
Na ausencia de uma fase ordenada teramos
[

i
(0)[) = 0, (4.10)
4.1. Signicado Fsico dos Parametros q e 47
fazendo com que, neste caso
q(

= 0) = T

n
q(
n
) = 0. (4.11)
Vamos ver agora o que acontece quando ,=

. Para este caso, temos

i
()

i
(

))
,=
= [

i
()

i
(

)[)
= [e
i

H

S

i
(0)e
i

H(

)

S

i
(0)e
i

H

[) (4.12)
q(

,= 0)
Conforme vimos no captulo 1, apos a media sobre a desordem ter sido estabelecida,
nao nos e possvel fatorar o operador

H, na forma

H

, logo conclumos que em geral


q(

,= 0) ,= 0. (4.13)
Os resultados obtidos nas equa coes (4.11) e (4.13) serao extremamente uteis ao analisar-
mos as equa coes que denem as fases termodinamicas do sistema.
Quanto ao parametro (), notamos que este parametro reete a seguinte correla c ao
temporal da dire cao de magnetiza cao tomada no mesmo ponto do espa co e na mesma
replica, ou seja,

i
()

i
(

)) (

), (4.14)
onde na expressao acima nao esta subentendida a soma sobre i e . Considerando para
o mesmo procedimento feito acima para q, temos para

= 0,

i
()

i
()) = [

i
()

i
()[) = [

i
(0)

i
(0)[) (

= 0). (4.15)
Tendo em mente que

S
i
n
i
= (,
x
,
y
) e do fato de que [n[
2
= 1, temos devido `a
simetria SO(3)

2
+
2
x
+
2
y
) = 1
2
) =
2
x
) =
2
y
) =
1
3
. (4.16)
Dessa forma conclumos que

i
(0)

i
(0)) = (

i
(0))
2
) (

= 0) =
1
3
. (4.17)
Observe que apesar de nao haver magnetiza cao
2
, ou seja, ) = 0, tem-se
2
) , = 0.
Pelo fato de q(

) e (

), serem reais, vemos que necessariamente q(


n
) =
q

(
n
) e (
n
) =

(
n
).
2
Este resultado e semelhante a uma situa cao na qual para um dado estado [l, m) = [1, 0), tem-se
1, 0[L
x
[1, 0) = 1, 0[L
y
[1, 0) = 1, 0[L
z
[1, 0) = 0, porem 1, 0[L
2
[1, 0) = 1, 0[L
2
x
+L
2
y
+L
2
y
[1, 0) = 2
2
,= 0.
48 4 Diagrama de fases
4.2 As Fases termodinamicas
Ao analisarmos a termodinamica de um sistema, e necessario termos de forma bem clara,
as deni coes das variaveis envolvidas. Primeiramente, temos as variaveis que controlam
as mudan cas estruturais do sistema; como exemplo de tais variaveis, podemos citar a
temperatura, a rigidez de spin (
s
) e a desordem (D), entre outras. O segundo conjunto
de variaveis consiste dos parametros de ordem que caracterizam a termodinamica do
sistema, indicando suas fases termodinamicas. Como exemplos de tais parametros temos
a magnetiza cao da subrede (representada, no presente modelo, pelo campo ), a massa
das excita coes de spin (m
2
) e o parametro de Edwards-Anderson (q).
Do captulo anterior, vimos que a densidade de energia livre do sistema, calculada
na aproxima cao de campo medio, e expressa como

f(, m
2
, q(
n
), (
n
)) =
1
2
_
m
2
(
2

s
)

D
2

s
(
0
q
0
)
+
3DT
2

n
_

(
n
)(
n
) q

(
n
)q(
n
)
_
(4.18)
+T

n
_
d
2
k
(2)
2
ln
_
k
2
+
2
n
+ m
2

2D

s
((
n
) q(
n
))
_

2D

s
T

n
_
d
2
k
(2)
2
_
q(
n
)
k
2
+
2
n
+ m
2

2D
s
((
n
) q(
n
))
_
,
A m de obter as fases do sistema, devemos minimizar a energia livre com rela cao aos
parametros , m
2
, q(
n
) e (
n
). Assim, obtemos as seguintes equa coes:
(i )


f

= 0 =
_
m
2

2D

s
[
0
q
0
]
_
= 0
(ii )


f
m
2
= 0 =
2
=
s
2T

n
_
d
2
k
(2)
2
1
k
2
+
2
n
+ m
2

2D
s
[(
n
) q(
n
)]
2
_
2D

s
_
T

n
_
d
2
k
(2)
2
q(
n
)
_
k
2
+
2
n
+ m
2

2D
s
[(
n
) q(
n
)]
_
2
(iii )


f
(
n
)
= 0 =T
_
3D

(
n
)
2D

s
_
d
2
k
(2)
2
1
k
2
+
2
n
+ m
2

2D
s
[(
n
) q(
n
)]
_
=
D
2

s

n,0
+
_
2D

s
_
2
T
_
d
2
k
(2)
2
q(
n
)
_
k
2
+
2
n
+ m
2

2D
s
[(
n
) q(
n
)]
_
2
4.2. As Fases termodinamicas 49
(iv)


f
q(
n
)
= 0 =3DTq

(
n
) =
D
2

s

n,0
+
_
2D

s
_
2
T
_
d
2
k
(2)
2
q(
n
)
_
k
2
+
2
n
+ m
2

2D
s
[(
n
) q(
n
)]
_
2
,
Perceba que no limite de desordem nula, ou seja, D = 0, as equa coes (iii ) e (iv) sao
identicamente nulas e as equa coes (i ) e (ii ) recaem nas equa coes que descrevem um
sistema antiferromagnetico sem frustra cao [ Marino (2002) ].
Efetuando a integra cao sobre a variavel k nas equa coes anteriores, tem-se
(i ) M
0
= 0
(ii )
2
=
s

T
2

n
ln
_

2
+M
n
M
n
_
+ A
T
2

n
q(
n
)
_
1

2
+M
n

1
M
n
_
(iii ) 3DT

(
n
) A
T
4
ln
_

2
+M
n
M
n
_
=
D
2

s

n,0
A
2
T
4
q(
n
)
_
1

2
+M
n

1
M
n
_
(iv) 3DTq

(
n
) =
D
2

s

n,0
A
2
T
4
q(
n
)
_
1

2
+M
n

1
M
n
_
onde, M
n
e dado pela expressao
M
n
M(
n
) =
2
n
+ m
2
A[(
n
) q(
n
)] (4.19)
e M
0
= M(
n
= 0). e um corte ultravioleta introduzido para efetuar as integrais em
k. O parametro A e denido como uma razao entre a largura da gaussiana e o centro
da gaussiana, a primeira representando a intensidade da desordem ( D ) e o segundo
representando a rigidez de spin media (
s
), ou seja,
A =
2D

s
. (4.20)
O parametro A e uma medida da frustra cao do sistema. Conforme podemos ver na gura
(4.1), a parte sombreada provoca frustra cao. Se
s
for sucientemente grande, a frustra cao
sera desprezvel, apesar da desordem D ,= 0. Por outro lado, em uma rede quadrada sem
desordem (D = 0) nao havera frustra cao como representado na gura (4.2). Vamos agora
discutir as equa coes (i), (ii), (iii) e (iv) expostas acima.
Observando a equa cao (i ), vemos que ,= 0 implica necessariamente M
0
= 0,
porem, esta condi cao submetida `a equa cao (ii ) leva no limite M
0
0 a uma magnetiza cao
imaginaria innita, o que nao tem sentido fsico. Conclumos que poderia ser nao nulo
somente em T = 0. No entanto, das equa coes (iii ) e (iv), vericamos que para T = 0
obtemos a seguinte rela cao
D

s

n,0
= 0. (4.21)
50 4 Diagrama de fases
0
r
P
( )
S
r
S
r
S
r
S
Figura 4.1: A rela cao do parametro A com a frustra cao e a desordem para alguns
valores de
s
e mantendo D xo.
r
0
r
P
( )
S
r
S
S
Figura 4.2: A rela cao do parametro A com a frustra cao e a desordem mantendo
s
xo
e tomando diferentes valores para D.
Esta rela cao nos diz necessariamente que = 0. Portanto, conclumos que nao existe uma
fase ordenada, tipo Neel, com magnetiza cao nao nula quando D ,= 0. Daqui pra frente,
portanto, admitiremos sempre que = 0. Na ausencia de desordem, D = 0, sabe-se que
existe uma fase ordenada de Neel a T = 0 (de acordo com o teorema de Mermim-Wagner)
para
s
> /4.
De forma a colocar as equa coes acima numa forma mais adequada ao tratamento
algebrico, vamos denir a seguinte fun cao
g
n
=
A
2
4
_
1

2
+M
n

1
M
n
_
, (4.22)
logo temos
(ii ) 0 =
s

T
2

n
ln
_

2
+M
n
M
n
_
+
2
A
T

n
q
n
g
n
4.2. As Fases termodinamicas 51
(iii ) 3D

n
A
1
4
ln
_

2
+M
n
M
n
_
= q
n
g
n
(4.23)
(iv) 3Dq

n
= q
n
g
n
onde
n
(
n
) e q
n
q(
n
).
Substituindo a equa cao (iii ) na equa cao (ii ), obtemos a seguinte expressao
T

n
(
n
) =
1
3
. (4.24)
Esta rela cao esta de acordo com o resultado obtido na equa cao (4.17).
Substituindo a equa cao (iv) na equa cao (iii ), obtemos
[(
n
) q(
n
)] =
1
6
s
ln
_
1 +

2

2
n
+ m
2
A[(
n
) q(
n
)]
_
. (4.25)
Fazendo a substitui cao da equa cao (iv) na equa cao (ii ), obtemos
0 =
s

T
2

n
ln
_

2
+M
n
M
n
_
3
s
T

n
q

(
n
). (4.26)
No entanto da equa cao (4.11), temos a anula cao da soma do termo q

(
n
) na equa cao
(4.26), com isso obtemos
0 =
s

T
2

n
ln
_

2
+M
n
M
n
_
. (4.27)
De maneira a efetuar a soma na equa cao (4.27), vamos considerar a condi cao em
que 0 < A 1, a qual corresponde a
s
0 ou D 1. Para efetuar a soma acima,
necessitamos [(
n
) q(
n
)] em M
n
. Como estamos admitindo A pequeno (frustra cao
fraca), podemos utilizar o termo de ordem mais baixa em (4.25), logo
[(
n
) q(
n
)]
1
6
s
ln
_
1 +

2

2
n
+ m
2
_
+O(A). (4.28)
A (4.27) possui duas somas, ambas dominadas por valores grandes de
2
n
. Com base nesta
observa cao, fazemos a aproxima cao seguinte para (4.28)
[(
n
) q(
n
)]

2
6
s
_
1

2
n
+ m
2
_
. (4.29)
Fazendo a substitui cao da equa cao (4.29) na equa cao (4.27) podemos efetuar a soma,
obtemos como resultado
2
s
T
= ln
_

2
+ m
2
A(
0
q
0
)
m
2
A(
0
q
0
)
_
+ ln, (4.30)
52 4 Diagrama de fases
sendo uma fun cao de (T,
s
, D, ), cuja expressao e
=
sinh
2
_

2T
_

X
+

2
_
sinh
2
_

2T
_

2
_
sinh
2
_

m
2
+
2

Y
0
2T
_
sinh
2
_

m
2

Y
0
2T
_
_
m
2
+
2

Y
0
_ _
m
2

Y
0
_
X
+
X

, (4.31)
onde
X

= (
2
+ 2m
2
)
_

1
2

1
2


4
(
2
+ 2m
2
)
2
+ 4Y (m)
_
, (4.32)
com
Y (m)
D
2
3
2
s
(
2
+ 2m
2
)
2
, (4.33)
o valor Y
0
na equa cao (4.31) corresponde ao valor Y (m = 0), ou seja,
Y (m = 0) = Y
0
=
D
3
2
s

2
, (4.34)
os detalhes deste calculo estao dispostos no apendice C.
Resolvendo a equa cao (4.30) para m
2
A(
0
q
0
), temos
m
2
A(
0
q
0
) =

2

1
e
2 s
T
1
. (4.35)
No entanto da equa cao (4.25), calculada em freq uencia nula, temos
m
2
A(
0
q
0
) =

2
e
6 s(
0
q
0
)
1
. (4.36)
Comparando as equa coes (4.35) e (4.36), obtemos

0
q
0
=
1
3T

1
6
s
ln (m, T). (4.37)
No grupo de equa coes (4.23), a equa cao (iv), tomada no modo de freq uencia nula,
implica que quando q
0
,= 0, entao necessariamente deve ser satisfeita a seguinte rela cao
m
2
A(
0
q
0
) = C
0
=
_

_
D
3
2
s
;

2
+
D
3
2
s
_
;
(4.38)
ou seja,

0
q
0
=
m
2
C
0
A
. (4.39)
4.2. As Fases termodinamicas 53
Veremos na se cao seguinte (4.2.2) que a solu cao fsica e a positiva. Note que a equa cao
(4.39) e incompatvel com a equa cao (4.37). Logo, conclumos que a equa cao (4.37) so
e valida quando q
0
= 0, ou seja, na fase paramagnetica ja que q
EA
= Tq
0
. Quanto `a
equa cao (4.39), esta so e valida quando nao houver solu cao para
0
na equa cao (iii ) em
(4.23), neste caso estamos na fase vidro de spins e necessariamente q
0
,= 0.
Vamos analisar separadamente cada uma dessas possveis solu coes e suas implica coes
no estabelecimento das fases termodinamicas do sistema.
4.2.1 A Fase Paramagnetica
Esta fase e caracterizada, no ambito de um sistema vidro de spin, pelo parametro de
Edwards-Anderson nulo (q
EA
Tq
0
= 0) (Alem de = 0, que sempre ocorre, como
vimos). Neste caso

0
=
1
3T

1
6
s
ln (m, T). (4.40)
No limite de temperaturas altas comparadas ao corte ultravioleta, , ve-se que de
(4.31) 1, com isso a equa cao (4.37) torna-se

0
T

1
3T
. (4.41)
Este e o comportamento esperado para a susceptibilidade estatica na fase paramagnetica
( lei de Curie ).
A equa cao (4.36) dara a seguinte expressao para a massa m
2
em fun cao da suscep-
tibilidade
0
, ou seja,
m
2
(
0
)
2D

s

0
=

2
e
6 s
0
1
. (4.42)
A equa cao (4.42) permite obter uma solu cao para
0
, desde que conhe camos m
2
(T, ,
s
, D).
Este resultado pode se obtido inserindo a equa cao (4.40) na equa cao (4.35), ou seja,
m
2
(T, ,
s
, D) =
2D

s
_
1
3T

1
6
s

_
+

2

1
e
2 s
T
1
. (4.43)
A solu cao para
0
pode ser obtida da equa cao (4.42) gracamente. Analisando
a equa cao (4.42) e os gracos correspondentes (4.3) e (4.4), vemos que esta equa cao
so tem solu cao para m
2
> 0. Neste caso sempre temos uma solu cao
0
> 0 para a
susceptibilidade estatica, dada por (4.42) e q
0
= 0. Como vimos,
0
satisfaz a lei de Curie
a altas temperaturas. Isto caracteriza uma fase paramagnetica. Para m
2
< 0 nao existe
solu cao
0
para (4.42) e portanto, (4.37) e (4.41) nao valem mais. Neste caso, a solu cao
das equa coes de campo medio (4.23) sera dada por q
0
,= 0 e (4.39).
Conclumos que a linha crtica separando a fase paramagnetica da fase vidro de
spins e dada por m
2
= 0 e
0
(m
2
= 0) = 0. Isto leva a
2
s
T
= ln (0, T), (4.44)
54 4 Diagrama de fases
-6
-4
-2
0
2
4
-10 -5 0 5 10
m
2

(

0

)

0
= 1
D = 0.01

s
= 0.08923
Figura 4.3: Graco da massa m
2
em fun cao da susceptibilidade estatica
0
m
2

0
Figura 4.4: Graco descrevendo a rela cao entre os dois lados da equa cao (4.42).
onde (0, T) e, de acordo com a equa cao (4.31), dado por:
(0, T) =
sinh
2
_

2T

1 + Y
0
_
_

2T
_
2
(1 + Y
0
)
. (4.45)
Inserindo (4.45) na equa cao (4.44), resulta a expressao
2
s
T
= 2 ln
_
sinh
_

2T
_
1 + Y
0
__
2 ln
_

2T
_
ln(1 +Y
0
). (4.46)
De forma que a consistencia das aproxima coes em A 1, feitas anteriormente na equa cao
(4.29) para calcular a soma sobre as freq uencias da equa cao (4.27), seja mantida, faz-se
4.2. As Fases termodinamicas 55
necessario expandir o resultado anterior, equa cao (4.46), em serie de Taylor em torno de
Y
0
, com isso, temos
2
s
T
= 2 ln
_
sinh
_

2T
_
_

2T
_
_
+ Y
0
__

2T
_
coth
2
_

2T
1
__
. (4.47)
Tendo em mente o valor de Y
0
dado na equa cao (4.34), temos nalmente a expressao que
fornece a linha crtica e que descreve a dependencia da rigidez de spin (
s
) em fun cao da
temperatura (T), da desordem (D) e do corte ultravioleta (), ou seja,

s
= a +
b

2
s

3
s
a
2
s
b = 0, (4.48)
onde denimos
a = a(T, ) =
T

ln
_
sinh
_

2T
_
_

2T
_
_
(4.49)
e
b = b(T, D, ) =
D
3
2
_

2
coth
_

2T
_
T
_
. (4.50)
A equa cao (4.48) possui 3 razes, duas imaginarias e que sao desprezadas por nao
corresponderem a situa cao fsica, e uma raz real dada por

s
(T, D, ) =
a
3
+
a
3
_
(1 + ) +
_
(2 + )
_
1/3
+
a
3
_
(1 + )
_
(2 + )
_
1/3
, (4.51)
onde a fun cao e dada por
(T, D, ) =
b
2
_
3
a
_
3
. (4.52)
A equa cao (4.51) e a expressao nal para a curva crtica
s
(T) separando as fases para-
magnetica e vidro de spins, representadas nas guras (4.5) e (4.6) para diferentes valores
de D. Note que o nosso modelo nao esta denido para
s
= 0, porque neste caso o termo
de Heisenberg desaparece do hamiltoniano efetivo (1.51).
Para valores pequenos de desordem ( D 1 ), a equa cao (4.51), torna-se

s
(T, D, ) = a +
b
a
2
+O(D
2
), (4.53)
onde a e b sao dadas pelas equa coes (4.49) e (4.50). No limite de temperatura nula, T = 0,
obtemos o ponto crtico quantico

c
s
(T = 0, D, ) =

2
+
2D
3
3
. (4.54)
Este resultado mostra a dependencia do ponto crtico quantico com a desordem. Note
que o valor de
c
s
aumenta com a desordem. Como o aumento de
s
tende a diminuir
56 4 Diagrama de fases
0
5
10
15
20
25
30
0.02 0.04 0.06 0.08 0.1 0.12 0.14 0.16 0.18 0.2
T

s
= 1.0
D = 0.005
D = 0.01
D = 0.015
D = 0.02
D = 0.025
Figura 4.5: Graco da temperatura em fun cao da rigidez de spin (spin stiness) em
escala normal.
0.01
0.1
1
10
100
0.1
T

s
= 1.0
P M
V S
D = 0.005
D = 0.01
D = 0.015
D = 0.02
D = 0.025
Figura 4.6: Graco da temperatura em fun cao da rigidez de spin em escala logartmica.
a frustra cao e portanto a fase vidro de spins (A diminui), vemos que um aumento na
desordem faz com que a fase vidro de spins persista com um
c
s
maior.

E notavel o fato de que, mesmo com uma desordem innitesimal, D 0 ( mas


D ,= 0 ), temos um ponto crtico quantico em
c
s
= /2, como podemos ver claramente
da equa cao (4.54).
4.2. As Fases termodinamicas 57
4.2.2 A Fase Vidro de Spins
Esta fase se caracteriza (alem de = 0) pelo fato do parametro de Edwards-Anderson
ser nulo, q
EA
,= 0. Conforme vimos anteriormente, abaixo da linha crtica nao ha solu cao
para a equa cao (4.42) e conseq uentemente nao vale a expressao (4.37). Portanto, nesta
fase devemos usar a equa cao (4.39), ou seja,
q
0
=
0
+
1
6
2
s

m
2

s
2D
. (4.55)
Nesta expressao escolhemos a solu cao positiva de (4.38), que levara a q
0
> 0 para m
2
0
e
0
0.
A equa cao (4.30) e geral, uma vez que ela resulta da equa cao (ii ) em (4.23). Por-
tanto, com o intuito de determinar uma expressao para a massa (m
2
) nesta fase, vamos
igualar a equa cao (4.30) com a equa cao (4.38), disso resulta

1
e
2s
T
1
=
D
3
2
s
, (4.56)
a qual, pode ser reescrita na forma
=
Y
0
e
2 s
T
Y
0
+ 1
, (4.57)
onde Y
0
e dado pela equa cao (4.45).
Considerando a aproxima cao de baixa desordem, temos
Y
0
e
2 s
T
. (4.58)
Uma vez que = (m
2
, T), esta equa cao determina a massa m na fase vidro de spins,
em fun cao das variaveis T,
s
, e D, ou seja,
m
2
= m
2
(T, D,
s
, ). (4.59)
Portanto, da observa cao acima e da equa cao (4.55), obtemos uma expressao para o
parametro q
0
, isto e,
q
0
=
0
+
1
6
s
_
1
m
2

2
Y
0
_
. (4.60)
A massa m
2
que aparece nesta expressao pode ser determinada numericamente a partir
de (4.58) e (4.31).
58 4 Diagrama de fases
Captulo
5
Conclusoes e consideracoes nais.
Obtivemos o diagrama de fases T
s
, onde
s
esta relacionado com

J, o centro da
distribui cao gaussiana de acoplamentos de troca. Tal diagrama mostra a existencia de
uma fase paramagnetica quantica e uma fase de vidro de spins, separadas por uma curva
crtica que e determinada explicitamente de forma analtica. Mostramos a inexistencia de
uma fase ordenada do tipo Neel, como ocorre no sistema puro a T = 0.
Expressoes analticas foram encontradas para a susceptibilidade magnetica estatica
e para o parametro de Edwards-Anderson, respectivamente nas fases paramagneticas e
vidro de spins. Mostramos que a primeira satisfaz a lei de Curie a altas temperaturas.
Descobrimos a existencia de um ponto crtico quantico a T = 0, separando a fase
paramagnetica quantica da fase vidro de spins, cuja posi cao e dependente da desordem
atraves dos parametros da distribui cao gaussiana.
Conclumos que a abordagem de Teoria Quantica de Campos e extremamente con-
veniente para o tratamento analtico em campo medio de um vidro de spins com simetria
contnua e intera cao de primeiros vizinhos, ja que assume uma forma particularmente
simples. Este tipo de intera cao e de grande importancia, ja que corresponde `a situa cao
encontrada em diversos sistemas realsticos. O modelo com simetria SO(3) em duas di-
mensoes espaciais estudado nesta tese poderia ser aplicado, por exemplo na descri cao dos
cupratos supercondutores de alta de temperatura.

E bem conhecido o fato de que a solu cao em campo medio, com simetria de replicas,
para modelos com intera cao de alcance innito, tais como o modelo de Sherrington e
Kirkpatrick [ Sherrington & Kirkpatrick (1975) ], sao instaveis [ de Almeida & Thouless
(1978) ]. A estabilidade de tais solu coes em modelos com intera cao de curto alcance,
entretanto, e um problema aberto. Portanto, pretendemos analisar na continua cao deste
trabalho, a estabilidade da solu cao que encontramos para a fase vidros de spins. Caso tal
solu cao seja instavel, pretendemos generalizar nossa solu cao de modo a quebrar a simetria
59
60 5 Conclusoes e consideracoes nais.
de replicas e dessa forma reavaliar o diagrama de fase.
Pretendemos tambem, na seq uencia deste trabalho aplicar a mesma metodologia
aqui empregada para descrever um sistema de vidro de spins com vies ferromagnetico.
Apendice
A
Propriedades dos estados coerentes.
A.1 Estados Coerentes de Spin e Suas Propriedades
Logo apos o nascimento da mecanica quantica, Schrodinger por volta de 1926 [ Zhang et
al (1990); Klauder et al (1985) ], propos o conceito de um estado coerente relacionado
com os estados classicos do oscilador harmonico quantico. Entretanto, somente por volta
da decada de 60 foi que uma intensa atividade de pesquisa nesse campo se estabeleceu,
em parte gra cas aos trabalhos de Glauber e Sudarshan [ Glauber (1963a, 1963b, 1963c);
Sudarshan (1963) ]. O nomeestado coerentefoi cunhado por Glauber que, de maneira
a estudar fun coes de correla cao na eletrodinamica qu antica, construiu os autoestados
do operador de aniquila cao do oscilador harmonico e estabeleceu um assunto de vital
importancia na otica quantica.
Posteriormente Klauder [ Klauder (1963a, 1963b) ] conseguiu estabelecer um con-
junto de estados contnuos na qual as ideias basicas dos estados coerentes para grupos
de Lie arbitrarios estavam contidas, e somente com os trabalhos de Perelomov [ Perelo-
mov (1972)] e Gilmore [ Gilmore (1974, 1975) ] que uma completa constru cao de estados
coerentes para grupos de Lie, com varias propriedades similares aos estados coerentes do
oscilador harmonico, foi estabelecido.
O hamiltoniano de Heisenberg tem sua simetria interna descrita pelo grupo SO(3),
os estados coerentes associados a esse hamiltoniano sao conhecidos na literatura como
estados coerentes atomicos ou estados coerentes de spin [ Radclie (1971); Arecchi et al
(1972) ].

E bem conhecido na literatura de estados coerentes de spin, que no caso de ndices


distintos, e valida a seguinte propriedade [ Lieb (1973) ]
[

S
i

S
j
[) = S
2

i

j
, (i ,= j). (A.1)
61
62 A Propriedades dos estados coerentes.
Uma outra propriedade dos estados coerentes de extrema importancia e a supercompleteza
_
d()[)[ = 1. (A.2)
A.2 Simetria SU(2) manifesta
De forma a tornar manifesta a simetria SU(2) envolvida no sistema, denamos uma matriz
2 2 de operadores por

S =
_

S
z

S

S
+

S
z
_
, (A.3)
logo, podemos reescrever a equa cao

i
()[

S[

i
()) = S

i
(), (A.4)
como

i
()[

S[

i
()) = S

P

i
(), (A.5)
onde

i
() =
_
P

i,11
() P

i,12
()
P

i,21
() P

i,22
()
_
=
_

i,z
()

i,x
() i

i,y
()

i,x
() + i

i,y
()

i,z
()
_
(A.6)
Da observa cao da equa cao acima, percebe-se que ela pode ser escrita em uma forma
simples como

i
() =

i
() , (A.7)
onde =
x

i +
y

j +
z

k, sendo os s as matrizes de Pauli. Na representa cao spin-1/2


temos explicitamente para as matrizes de Pauli

x
=
_
0 1
1 0
_
,
y
=
_
0 i
i 0
_
,
z
=
_
1 0
0 1
_
.
A partir dessas matrizes obtemos

S
+
=
_
0 1
0 0
_
(A.8)
e

=
_
0 0
1 0
_
, (A.9)
logo, fazendo a substitui cao desses resultados na equa cao (2.44) tem-se

A
i,
() =
_
0 z
i,
()
z

i,
() 0
_
. (A.10)
A.2. Simetria SU(2) manifesta 63
Conseq uentemente temos que

i
() =

U

i,
()
z

U
i,
(). (A.11)
De forma semelhante ao que foi estabelecido acima, seja a seguinte deni cao

i
(, u) =

U

i,
(, u)
z

U
i,
(, u) =

i
(, u) (A.12)
onde

U
i,
(, u) = e
u

A
i,
()
, (A.13)
esse resultado nos permite escrever a equa cao(2.51) como

i
()[
d
d
[

i
()) = S
_
1
0
du
_
z
i,
()

i,21

i,
()

i,12
_
. (A.14)
logo conclumos que

i
()[
d
d
[

i
()) = S
_
1
0
duTr
_


A
i,

i
(, u)
_
. (A.15)
Ao fazer a substitui cao do resultado anterior, equa cao (A.15), na equa cao que descreve a
fase geometrica em um unico stio e em uma replica, equa cao (2.37), obtemos
S

B,i
= S
_

0
d
_
1
0
duTr
_


A
i,
()

i
(, u)
_
. (A.16)
Integrando por partes a expressao acima com respeito a e levando em considera cao
as condi coes de periodicidade dos operadores envolvidos, ou seja,

A
i,
( = ) =

A
i,
( =
0) e

P

i
( = , u) =

P

i
( = 0, u), temos
S

B,i
= S
_

0
d
_
1
0
duTr
_

A
i,
()

i
(, u)

_
. (A.17)
Agora o proximo passo consiste em estabelecer uma rela cao entre o operador

A
i,
() e o
operador

P

i
(, u).
Uma vez que [

A
i,
(),

U
i,
(, u)] = 0 e que

P

i
(, u)

P

i
(, u) =

1, e importante
perceber a seguinte identidade:

U
i,
(, u)
u
=

A
i,
()

U
i,
(, u). (A.18)
Essa identidade nos permite escrever o seguinte resultado

i
(, u)

i
(, u)
u
=

U
i,
(, u)
z

A
i,
()
z

U

i,
(, u)

A
i,
(). (A.19)
64 A Propriedades dos estados coerentes.
Agora utilizando a representa cao 1/2 dos operadores envolvidos na equa cao(A.19), temos

z

A
i,
()
z
=
_
1 0
0 1
__
0 z
i,
()
z

i,
() 0
__
1 0
0 1
_
=

A
i,
(). (A.20)
Portanto, fazendo a substitui cao do resultado acima na equa cao (A.19), obtemos
uma expressao para o operador

A
i,
() em fun cao do operador

P

i
(, u), ou seja,

A
i,
() =
1
2

i
(, u)

i
(, u)
u
. (A.21)
Conseq uentemente a fase geometrica em um unico stio e em uma unica replica ca
escrito como
S

B,i
=
S
2
_

0
d
_
1
0
duTr
_

i
(, u)

i
(, u)
u

i
(, u)

_
. (A.22)
Fazendo uso da equa cao (A.12), logo temos
S

B,i
=
S
2
_

0
d
_
1
0
du

i,a

i,b
u

i,c

Tr (
a

b

c
) . (A.23)
Seja agora a seguinte identidade, satisfeita pelas matrizes de Pauli

a

b
=
ab

1 + i
abc

c
, (A.24)
esta identidade permite escrever o tra co na equa cao (A.23), como sendo
Tr (
a

b

c
) = 2i
abc
, (A.25)
logo a fase geometrica, nalmente, ca escrito como
S

B,i
= iS
_

0
d
_
1
0
du
abc

i,a

i,b
u

i,c

= iS
_

0
d
_
1
0
du

i

_

i
u

_
. (A.26)
Apendice
B
Calculos dos tracos.
Neste apendice e descrito como e feita a passagem do tra co no espa co de congura cao
para o tra co no espa co recproco, isto e, as passagens feitas nas equa coes (3.52) e (3.53).
Considere a seguinte identidade

_
dx

(x, x

)G

(x

, x

) = (x x

(B.1)
sendo G

(x

, x

) = [M
1
]

(x

, x

). Com a decomposi cao feita no captulo 3, equa cao


(3.26), temos a seguinte expressao para o kernel M

(x, x

)
M

(x, x

) M

(r, [r

) = M
0
(r, [r

M
1
(r, [r

)C

(B.2)
onde
M
0
(r, [r

) =
_
[2
2
+ m
2
](

)
2D

s
[(,

) q(,

)]
_
(r r

) (B.3)
e
M
1
(r, [r

) =
2D

s
q(,

)(r r

). (B.4)
Inserindo as equa coes (B.3) e (B.4) na expressao (B.2) e substituindo na equa cao (B.1)
temos
_
d
2
r

_

0
d

_
M
0
(r, [r

)G

(r

[r

) M
1
(r, [r

(r

[r

)
_
=

(r r

)(

). (B.5)
65
66 B Calculos dos tra cos.
Uma vez que estamos admitindo simetria de replicas, temos
G

(r

[r

) = G(r

[r

) (B.6)
e

(r

[r

) = nG(r

[r

) (B.7)
onde n e o n umero de replicas. Dessa forma, inserindo as equa c oes (B.6) e (B.7) na
equa cao (B.5), obtemos
_
d
2
r

_

0
d

[M
0
(r, [r

) nM
1
(r, [r

)] G(r

[r

) = (r r

)(

)
(B.8)

E esta equa cao que nos permite encontrar o inverso da matriz M

(r, [r

) na equa cao
(B.1). No limite n 0, temos
_
d
2
r

_

0
d

M
0
(r, [r

)G(r

[r

) = (r r

)(

). (B.9)
Portanto, no limite n 0, o inverso de M
0
esta relacionado com G.
Do captulo 3, consideremos os seguintes tra cos
T
1
= tr ln(M
0
) (B.10)
e
T
2
= tr
_
M
1
M
1
0
_
. (B.11)
A m de obter os tra cos tomados no espa co recproco, e necessario conhecermos as ex-
pressoes de M
0
e M
1
M
1
0
em fun cao das coordenadas (k,
n
). Assim, vamos considerar
as seguintes transformadas de Fourier
M
0
(k,
n
) =
_
d
2
r
_

0
d
_
d
2
r

_

0
d

M
0
(r, [r

)e
i[k(rr

)+n(

)]
(B.12)
e
M
1
(k,
n
) =
_
d
2
r
_

0
d
_
d
2
r

_

0
d

M
1
(r, [r

)e
i[k(rr

)+n(

)]
. (B.13)
O termo M
0
em (B.10) e obtido de forma direta, inserindo a equa cao (B.3) na
expressao (B.12), o que leva ao resultado
M
0
(k,
n
) = V [k
2
+
2
n
+ m
2
]

2D

s
V
_

0
d
_

0
d

[(

) q(

)] e
in(

)
. (B.14)
67
Do fato de e q dependerem da diferen ca de e

, temos nalmente [ Courant & John


(1989) ]
M
0
(k,
n
) = V
_
_
k
2
+
2
n
+ m
2
_

2D

s
((
n
) q(
n
))
_
. (B.15)
Assim, obtemos
T
1
=

n
_
d
2
k
(2)
2
ln (M
0
(k,
n
))
= V

n
_
d
2
k
(2)
2
ln
_
_
k
2
+
2
n
+ m
2
_

2D

s
((
n
) q(
n
))
_
(B.16)
O termo M
1
M
1
0
na equa cao (B.11) tem uma complica cao que reside no fato da
necessidade de se conhecer o inverso de M
0
. No entanto, conforme vimos anteriormente,
a equa cao (B.9) fornece o inverso da matriz M
0
.
Seja a seguinte deni cao
[M
1
M
1
0
](r, [r

) =
_
d
2
r

_

0
d

M
1
(r, [r

)M
1
0
(r

[r

). (B.17)
Inserindo a equa cao (B.4) na expressao acima, equa cao (B.17), obtemos
[M
1
M
1
0
](r, [r

) =
2D

s
_

0
d

q(,

)M
1
0
(r,

[r

). (B.18)
A transformada de Fourier da equa cao (B.18) e dada pela expressao
[M
1
M
1
0
](k,
n
) =
_
d
2
r
_

0
d
_
d
2
r

_

0
d

[M
1
G(r, [r

)e
i[k(rr

)+n(

)]
, (B.19)
onde estamos considerando da equa cao (B.9) que M
1
0
G.
Considerando as transformadas de Fourier
q(,

) =
1

n
q(
n
)e
in(

)
(B.20)
e
G(r,

[r

) =
1

n
_
d
2
k
(2)
2
G(k,
n
)e
i[k(rr

)+n(

)]
, (B.21)
temos que, inserindo (B.18) na equa cao (B.19) e efetuando as integrais envolvidas, resulta
[M
1
M
1
0
](k,
n
) =
2D

s
q(
n
)G(k,
n
)(2)
2
(0). (B.22)
68 B Calculos dos tra cos.
Note da deni cao da fun cao (k), isto e,
(k) =
1
(2)
2
_
d
2
re
ikr
, (B.23)
que (2)
2
(0) = V . Portanto, temos
[M
1
M
1
0
](k,
n
) =
2D

s
V q(
n
)G(k,
n
). (B.24)
A expressao para G(k,
n
) e obtida fazendo uso da rela cao (B.9). Inserindo a
equa cao (B.3) na expressao (B.9), obtemos
[2
2
+ m
2
]G(r, [r

)
2D

s
_

0
d

[(,

) q(,

)] G(r,

[r

)
= (r r

)(

) (B.25)
Fazendo uso das transformadas de Fourier para (,

), q(,

) e G(r, [r

) na expressao
(B.25), resulta
G(k,
n
) =
1
k
2
+
n

2D
s
[(
n
) q(
n
)]
. (B.26)
Inserindo (B.26) na equa cao (B.24), chegamos ao resultado
[M
1
M
1
0
](k,
n
) =
2D

s
V
q(
n
)
k
2
+
n

2D
s
[(
n
) q(
n
)]
. (B.27)
Com isso fazendo a substitui cao da equa cao (B.27) na equa cao (B.11) resulta
T
2
=
1

n
_
d
2
k
(2)
2
[M
1
M
1
0
](k,
n
), (B.28)
ou seja,
T
2
= V
2D

s

n
_
d
2
k
(2)
2
q(
n
)
k
2
+
n

2D
s
[(
n
) q(
n
)]
. (B.29)
Apendice
C
Calculo da soma de freq uencias.
Este apendice descreve o procedimento feito para efetuar as somas nas freq uencias de
Matsubara. Dessa forma, seja a soma
o
TOT
=

n
ln
_

2
n
+
2
+ m
2
A[(
n
) q(
n
)]

2
n
+ m
2
A[(
n
) q(
n
)]
_
. (C.1)
Separando na equa cao acima o modo de freq uencia nula dos demais modos e fazendo
a substitui cao da expressao para [(
n
) q(
n
)], dada por (4.29), temos
o
TOT
= ln
_

2
+ m
2
0
m
2
0
_
+o
PAR
, (C.2)
onde
o
PAR
=

n,=0
ln
_

2
n
+
2
+ m
2

A/
s

2
n
+ m
2
_

n,=0
ln
_

2
n
+ m
2

A/
s

2
n
+ m
2
_
, (C.3)
e com o intuito de facilitar a algebra, zemos as seguintes deni coes
m
2
0
= m
2
A[(
0
) q(
0
)] , (C.4)
e

A = A

2
6
. (C.5)
69
70 C Calculo da soma de freq uencias.
Reescrevendo a equa cao (C.3), temos
o
PAR
=

n,=0
ln
_
_

2
n
+
2
+ m
2
_ _

2
n
+ m
2
_

A

s
_

n,=0
ln
_
_

2
n
+ m
2
_
2

A

s
_
o
1
o
2
. (C.6)
Vamos primeiro tratar a soma o
1
, ou seja,
o
1
=

n,=0
ln
_
_

2
n
+
2
+ m
2
_ _

2
n
+ m
2
_

A

s
_
. (C.7)
Observando a equa cao (C.7), vemos que este consiste de uma soma sobre o polinomio
P
1
(
2
n
) =
_

2
n
+
2
+ m
2
_ _

2
n
+ m
2
_

A

s
. (C.8)
Portanto, de forma a fatorar o polinomio (C.8), e necessario obtermos suas razes, assim
_
X +
2
+ m
2
_ _
X + m
2
_

A

s
= 0 (C.9)
ou
X
2
+ (
2
+ 2m
2
)X + m
2
(m
2
+
2
)

A

s
= 0. (C.10)
onde zemos
2
n
X.
Resolvendo a equa cao (C.10) para a variavel X, obtemos as duas razes do polinomio
(C.8), ou seja,
X

= (
2
+ 2m
2
)
_

1
2

1
2


4
(
2
+ 2m
2
)
2
+ 4Y (m)
_
, (C.11)
com
Y (m)

s
(
2
+ 2m
2
)
2
, (C.12)
O resultado (C.11) permite reescrever o polinomio (C.8) da seguinte maneira
P
1
(
2
n
) = (
2
n
X
+
)(
2
n
X

). (C.13)
Inserindo (C.13) na equa cao para o
1
, equa cao (C.7), obtemos
o
1
=

n,=0
_
ln(
2
n
X
+
) + ln(
2
n
X

n
_
ln(
2
n
X
+
) + ln(
2
n
X

ln(X
+
) + ln(X

). (C.14)
71
Agora e possvel efetuar a soma sobre as freq uencias de Matsubara para o
1
, a qual resulta
o
1
= 2 ln
_
sinh
_
X
+
2T
__
+ 2 ln
_
sinh
_
X

2T
__
ln(X
+
) + ln(X

), (C.15)
onde usamos a expressao bem conhecida na literatura

n
ln(
2
n
X

) = 2 ln
_
sinh
_
X

2T
__
. (C.16)
Vamos agora calcular a soma o
2
, ou seja,
o
2
=

n,=0
ln
_
_

2
n
+ m
2
_
2

A

s
_
. (C.17)
Esta expressao pode ser reescrita em uma forma fatorada da seguinte maneira
o
2
=

n,=0
ln
_

2
n
+ m
2
+
_

A/
s
_
1/2
_
+

n,=0
ln
_

2
n
+ m
2

A/
s
_
1/2
_
=

n
ln
_

2
n
+ m
2
+
_

A/
s
_
1/2
_
+

n
ln
_

2
n
+ m
2

A/
s
_
1/2
_
(C.18)
ln
_
m
2
+
_

A/
s
_
1/2
_
ln
_
m
2

A/
s
_
1/2
_
.
Assim, efetuando a soma sobre as freq uencias de Matsubara na equa cao (C.18), obtemos
o
2
= 2 ln
_
_
sinh
_
_
_
m
2
+
2
Y
1/2
0
2T
_
_
_
_
+ 2 ln
_
_
sinh
_
_
_
m
2

2
Y
1/2
0
2T
_
_
_
_
ln
_
m
2
+
2
Y
1/2
0
_
ln
_
m
2

2
Y
1/2
0
_
, (C.19)
onde
Y
0
= Y (m = 0) =

A

s

4
. (C.20)
Assim, temos
o
TOT
= ln
_

2
+ m
2
0
m
2
0
_
+ ln , (C.21)
em que zemos a seguinte deni cao
ln = o
1
o
2
, (C.22)
72 C Calculo da soma de freq uencias.
ou seja, inserindo (C.15) e (C.19) na expressao (C.22) e tomando a exponencial, temos
nalmente
=
sinh
2
_

2T
_

X
+

2
_
sinh
2
_

2T
_

2
_
sinh
2
_

m
2
+
2

Y
0
2T
_
sinh
2
_

m
2

Y
0
2T
_
_
m
2
+
2

Y
0
_ _
m
2

Y
0
_
X
+
X

. (C.23)
Bibliograa
[1] Aeck, I., 1985a, Nucl. Phys. B257, 397.
[2] Aeck, I., 1985b, Nucl. Phys. B265, 409.
[3] Anderson, P. W. & Stein, D. L.: Broken Symmetries, Dissipative Sructures,
Emergent Properties, and Life. Em Self-Organizing Systems. ed. por F. Yates
(Plenum, NY, 1985)
[4] Arrachea, L. & Rozenberg, M. J., 2001, Phys. Rev. Letters 86, 5172.
[5] Arecchi, F. T., Courtens, E., Gilmore, R. & Thomas, H, 1972, Phys. Rev. A 6, 2211.
[6] Bray, A. J. & Moore, M. A., 1980, J. Phys. C 13, L655.
[7] Berry, M., 1984, Proc. R. Soc. Lond., A392, 45.
[8] Binder, K.& Young, A. P., 1986, Rev. Mod. Phys 58, 801.
[9] Binder, K.& Stauer, D., 1976, Adv. Phys. 25, 343.
[10] Brout, R., 1959, Phys. Rev. 115, 824.
[11] Camjayi, A. & Rozenberg, M. J., 2003, Phys. Rev. Letters 90, 217202.
[12] Chakravarty, S., Halperin, B. I. & Nelson, R. D., 1989, Phys. Rev. B39, 2344.
[13] Concei cao, C. M. S. & Marino, E. C., 2005, Phys. Letters A346, 121.
[14] Concei cao, C. M. S. & Marino, E. C., Short Range SO(3) Quantum Heisenberg
Spin-Glasses in 2D: A Field Theory Approach (em reda cao)
[15] Courant, R. & John, F.: Introduction to Calculus and Analysis 2(Springer-
Verlag, New York, Inc, 1989).
[16] de Almeida, J. R. L. & Thouless, D. J., 1978, J. Phys. A 11, 983.
73
74 Bibliograa
[17] Edwards, S. F. & P. W. Anderson, 1975, J. Phys. F 5, 965.
[18] Feynman, R. P., 1951, Phys. Rev. 84, 108.
[19] Georges, A., Parcollet, O. & Sachdev, S., 2000, Phys. Rev. Lett. 85, 840.
[20] Gilmore, J. R., 1963a, J. Math. Phys. 4, 1055.
[21] Glauber, R., J., 1963a, Phys. Rev. Lett. 10, 84.
[22] Glauber, R., J., 1963b, Phys. Rev. 130, 2529.
[23] Glauber, R., J., 1963c, Phys. Rev. 131, 2766.
[24] Goldenfeld, N.: Lectures on Phase Transitions and the Renormalization
Group(Addison-Wesley, Reading, MA, 1992).
[25] Haldane, F. D. M., 1983a, Phys. Lett. A93, 464.
[26] Haldane, F. D. M., 1983b, Phys. Rev. Lett. 50, 1153.
[27] Haldane, F. D. M., 1985, J. Appl. Phys. 57, 3359.
[28] Haldane, F. D. M., 1988, Phys. Rev. Lett. 61, 1029.
[29] Hubbard, J., 1959, Phys. Rev. Lett. 3, 77.
[30] Kirkpatrick, S., Gelatt Jr., C. D., Vecchi, M. P., 1983, Science 220, 671.
[31] Klauder, J. R., 1963a, J. Math. Phys. 4, 1055.
[32] Klauder, J. R., 1963b, J. Math. Phys. 4, 1058.
[33] Klauder, J. R. & Skagerstam, B. S., 1985, Coherent States, Applications in
Physics and Mathematical Physics (World Scientic, Singapore).
[34] Lieb, E. H., 1973, Commun. Math. Phys. 31, 615.
[35] Lin, T. F., 1970, J. Math. Phys. 11, 1584.
[36] Manousakis, E., 1991, Rev. Mod. Phys 63, 1.
[37] Marinari, E., Parisi, G., Ricci-Tersenghi, F., Ruiz-Lorenzo, J. J. & Zuliani, F. 2000,
J. of Stat. Phys. 98, 973.
[38] Marino, E. C., 2002, Phys. Rev. B 65, 054418.
[39] Mezard, M., Parisi, G. & Virasoro, M. A.: Spin Glass Theory and Beyond(World
Scientic, 1987)
BIBLIOGRAFIA 75
[40] Mydosh, J. A.: Spin Glasses: an experimental introduction(Taylor & Francis,
1993)
[41] Palmer, R. G., 1982, Adv. Phys. 31, 669.
[42] Parisi, G., 1979, Phys. Rev. Lett. 43, 1754.
[43] Polyakov, A.M.: Field Theories and Strings (Harwood Academic, New York.
1987)
[44] Radclie, J. M., 1971, J. Phys. A4, 313.
[45] Rokhsar, D. S., Stein, D. L. & P. W. Anderson, 1986, J. Mol. Evol. 23, 119.
[46] Sachdev, S.: Quantum Phase Transitions (Cambridge university press, 1999)
[47] Sachdev, S., Buragohain, C. & Vojta, M., 1999, Science 286, 2479.
[48] Sherrington, D., & Kirkpatrick, S., 1975, Phys. Rev. Lett. 35, 1792.
[49] Sudarshan, E. C. G., 1963, Phys. Rev. Lett. 10, 277.
[50] Suzuki, M., 1976, Commun. Math. Phys. 51, 183.
[51] Tsvelik, A. M.: Quantum Field Theory in Condensed Matter Physics (Cam-
bridge university press, 2003)
[52] Trotter, H. F., 1959, Proc. Amer. Math. Soc. 10, 545.
[53] Vajk, O. P., Mang, P. K., Greven, M., Gehring, P. M., Lynn, J. W., 2002, Science
295, 1691.