WalneyReisFernandes Dissertacao

Universidade de So Paulo
Instituto de Fsica
Modelos de Emparelhamento Integrveis

Walney Reis Fernandes
Orientador: Prof. Dr. Valerio Kurak
Dissertao de Mestrado apresentada ao Instituto de Fsica

para a obteno do ttulo de Mestre em Cincias
Comisso Examinadora: Prof. Dr. Valerio Kurak (IFUSP)

Prof. Dr. Antnio Lima Santos (UFSCar)
Prof. Dr. Paulo Teotnio Sobrinho (IFUSP)
So Paulo
2010
iii
.
Aos meus pais Ione Reis Fernandes e Alberto dos Santos Fernandes.
iv
.
v
.
Daqui em diante, no peo mais boa-sorte, boa-sorte sou eu.

Daqui em diante no lamento mais, no transro, no careo de nada;
nada de queixas atrs das portas, de bibliotecas, de tristonhas crticas;
forte e contente vou eu pela estrada aberta.
Walt Whitman
vi
Agradecimentos
Ao meu orientador, Prof. Dr. Valerio Kurak, pela oportunidade.
Aos membros da banca examinadora profs. Drs. Antonio Lima Santos e Paulo Teotonio Sobrinho.
s secretrias do Departamento de Fsica-Matemtica, Amlia Aparecida Ferrari Genova e Simone
Toyoko Shinomiya, pela ajuda fundamental.
Aos amigos e companheiros de jornada Dallessandro Bence de Santana Rodrigues, Fernando Massa
Fernandes, Liner de Souza Santos, Marco Antonio Camilo Faria e Simo Pedro.
Aos amigos Elisa Gouvea Maurcio Ferreira, Fleury Jos de Oliveira Filho, Roberto Lopes Parra e
Rone Peterson Galvo de Andrade pela ateno e pelo apoio dispensados nos momentos mais necessrios.
Aos meus pais, pelo carinho e pela formao que me deram e pelo incentivo em todos os passos de
minha vida.
Esta dissertao de mestrado teve o suporte nanceiro da Capes.
vii
viii
AGRADECIMENTOS
Resumo
O objetivo deste trabalho foi o estudo do Ansatz de Bethe Algbrico (ABA), que uma tcnica utilizada
na obteno dos auto-estados do hamiltoniano de inmeros modelos da Mecnica Estatstica e da Teoria
Quntica de Campos. Aplicamos este procedimento na diagonalizao de trs modelos de spins: o modelo
de Heisenberg, o modelo de Heisenberg-Sklyanin e o modelo de Heisenberg-Cherednik. Na diagonalizao
do primeiro modelo, no foi possvel encontrar todos os auto-estados do hamiltoniano atravs do ABA
e, durante o procedimento de obteno das expresses analticas, nos deparamos com um conjunto de
identidades indito na literatura. A matriz de borda do modelo de Heisenberg-Sklyanin acopla o ltimo
e o primeiro stios, generalizando o modelo anterior, e permite estabelecer uma relao limite com outros
modelos integrveis. Neste caso tambm no conseguimos obter todos os auto-estados utilizando a tcnica
do ABA. Diferentemente do que ocorreu para os primeiros modelos, o de Heisenberg-Cherednik, com
acoplamentos que alternam a intensidade ao longo da cadeia de spin, apresentou um conjunto completo
de auto-estados quando diagonalizado pelo ABA.
ix
RESUMO
Abstract
The goal of this work was to study the Algebraic Bethe ansatz (ABA), which is a technique used to obtain
the eigenstates of Hamiltonian of many models of Statistical Mechanics and Quantum Field Theory. We
apply this procedure to diagonalize three types of spin models: the Heisenberg model, the HeisenbergSklyanin model and the Heisenberg-Cherednik model. On diagonalization of the rst model, we could
not nd all the eigenstates of Hamiltonian through ABA, and during the procedure for obtaining the
analytical expressions, we face an unprecedented set of identities in literature. The Sklyanins boundary
matrix couples the rst and last sites, generalizing the previous model, and provides a limit for other
integrable models. In this case also did not get all eigenstates using the technique of ABA. Unlike what
happened with the rst models, the Heisenberg-Cherednik model, with alternating couplings the intensity
along the spin chain, presented a complete set of eigenstates when diagonalized by ABA.
xi
xii
ABSTRACT
Sumrio
Agradecimentos
vii
Resumo
ix
Abstract
xi
Ansatz de Bethe Algbrico
1 Matriz de Transferncia
1.1
Matriz de Transferncia do Modelo de Lenz-Ising . . . . . . . . . . . . . . . . . . . . . . .
1.2
Modelo do Gelo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3
Modelo de 6-Vrtices e seus Pesos de Boltzmann . . . . . . . . . . . . . . . . . . . . . . .
2 Ansatz de Bethe Algbrico
II
2.1
Operador de Lax e Matriz de Monodromia . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2
Equao de Yang-Baxter e Relaes Fundamentais de Comutao . . . . . . . . . . . . . .
11
2.3
Diagonalizao da Matriz de Transferncia e Identidades
. . . . . . . . . . . . . . . . . .
15
2.4
Equaes de Bethe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
28
2.5
Obteno dos Hamiltonianos e dos Autovalores . . . . . . . . . . . . . . . . . . . . . . . .
32
Modelos de Spins
33
3 Modelo de Heisenberg
35
3.1
Hamiltoniano do Modelo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
35
3.2
ABA e Diagonalizao do Hamiltoniano . . . . . . . . . . . . . . . . . . . . . . . . . . . .
37
3.3
Construo dos Autovetores do Hamiltoniano . . . . . . . . . . . . . . . . . . . . . . . . .
43
4 Modelo de Heisenberg-Sklyanin
47
4.1
Hamiltoniano e Diagonalizao do Modelo . . . . . . . . . . . . . . . . . . . . . . . . . . .
47
4.2
Caso No-Homogneo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
53
4.2.1
54
Relao com Aproximao BCS e Modelo de Richardson-Gaudin . . . . . . . . . .

xiii
xiv
SUMRIO
5 Modelo de Heisenberg-Cherednik
59
5.1
Hamiltoniano do Modelo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
59
5.2
Diagonalizao do Hamiltoniano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
61
6 Concluses
65
Parte I
Captulo 1
Matriz de Transferncia
Um dos principais objetivos deste captulo recordar a denio da matriz de transferncia na Mecnica
Estatstica Clssica. Veremos no prximo captulo que este conceito desempenha um papel fundamental
na formulao do Ansatz de Bethe Algbrico.
1.1
Matriz de Transferncia do Modelo de Lenz-Ising
Escolhemos um exemplo bastante simples: o modelo de Lenz-Ising ou modelo de Ising unidimensional

para iniciarmos a recordao. O modelo de Ising desperta tanto interesse por parte dos fsicos por ser um
prottipo para o estudo de transies de fase e tambm do ferromagnetismo.
Partindo-se de uma rede ou retculo cristalino, que so um conjunto de pontos igualmente espaados
com ligaes entre os seus vizinhos mais prximos, pretende-se estudar como as interaes de curto alcance
produzem fenmenos macroscpicos. Cada um deste pontos da rede, que chamaremos de stio e, no caso
de um ferromagneto, ser ocupado por um tomo, est associado a uma varivel clssica de spin
pode assumir dois valores:
que
1, dependendo do stio i em que estamos interessados.
Temos assim dois estados possveis para cada stio que, dependendo do modelo, podem ser interpretados como para cimae para baixoou ocupadoe vazio. O conjunto dos valores de
atribudos a
cada stio constitui uma congurao do sistema. Se quisermos estudar as propriedades termodinmicas
deste modelo, precisaremos somar sobre todas as possveis conguraes, cujo total 2N .
Vamos considerar a hiptese de que somente interaes de curto alcance contribuem para os nveis de
energia do sistema, isto , as interaes entre os vizinhos prximos de uma dada congurao
2;
:::;
N)
=(
1;
sero responsveis pelo primeiro somatrio no hamiltoniano do modelo de Ising [1]

H(
1;
2; : : : ;
N) =
i;j
i j
i;
(1.1)
sendo E a intensidade destas interaes. Se E for positivo, temos um ferromagneto cuja congurao de
menor energia aquela com os spins de vizinhos prximos paralelos:
j.
O segundo somatrio em
(1.1) corresponde interao dos spins da cadeia com um campo externo de intensidade J.
Este hamiltoniano deve ser exponenciado e somado sobre todas as conguraes admitidas pelo sistema
3
CAPTULO 1. MATRIZ DE TRANSFERNCIA
para que obtenhamos a funo de partio

Z( ; E; J; N ) =
H( )
(1.2)
em que
1
kB T ,
com kB sendo a constante de Boltzmann e T , a temperatura absoluta. Num estudo
mais aprofundado deste modelo, algo que no faremos nesta dissertao, nos interessaramos pelo limite
termodinmico (N ! 1), em que a energia livre por stio do retculo
f ( ; E; J) = lim
N !1 N
log Z( ; E; J; N );
(1.3)
tentando obter uma forma analtica para esta energia livre f . As transies de fase apresentar-se-o como
descontinuidades em f ou em suas derivadas.
A condio de contorno que usaremos peridica, ou seja, faremos com que
N +1
seja igual a
1,
que equivale a construirmos uma cadeia com N stios fechada, como ilustrado na gura 1.1. O modelo
denido levando-se em conta apenas interaes entre vizinhos prximos.
N 1 N 1
Figura 1.1: Modelo de Ising unidimensional com condio de contorno peridica:
N +1
1.
As grandezas termodinmicas deste sistema, como energia interna, presso, magnetizao etc., podem
ser calculadas a partir da funo de partio Z. portanto muito importante conhecermos esta funo
que, para o modelo ilustrado na gura 1.1 com campo externo nulo (J = 0), pode ser reeescrita a partir
de (1.2) como
ZN =
exp
N
X
i i+1
i=1
em que K = E=kB T e o somatrio realizado sobre a varivel
i,
(1.4)
que pode assumir os valores
1 em um
i-simo stio arbitrrio.

Podemos reescrever a expresso (1.4) utilizando as propriedades da funo exponencial
ZN =
N
X Y
exp (K
i i+1 )
i=1
em que
temos
i i+1
= exp (K
i i+1 ).
N
Y
N
X Y
i i+1
i=1
(1.5)
Escrevendo explicitamente somente o produtrio da equao (1.5),
i i+1
1 2
2 3
3 4
1 N
(1.6)
i=1
em que notamos a estrutura de um produto matricial entre os diferentes fatores . Este fato, permite que
1.1. MATRIZ DE TRANSFERNCIA DO MODELO DE LENZ-ISING
possamos reescrever cada fator na equao (1.6) como uma matriz

eK
eK
(1.7)
que chamaremos de matriz de transferncia, devido propriedade observada em (1.6) de que as matrizes
i i+1
transferem a interao do stio de rtulo i para o stio seguinte, rotulado como i + 1.
Deste modo, podemos expressar a funo de partio (eq. (1.5)) como o trao do produtrio da
expresso (1.6)
N
ZN = trao(
);
(1.8)
e agora possvel obtermos as propriedades do modelo, como as grandezas termodinmicas, simplesmente

diagonalizando a matriz de transferncia
=
em que
(1.9)
corresponde ao maior autovalor da matriz.
Para ilustrar a relevncia do conhecimento do maior autovalor, vamos calcular a energia livre por stio
f (eq. (1.3)) do modelo de Lenz-Ising. Esta energia livre obtida a partir da funo de partio da
equao (1.8)
fN =
log (ZN )
:
N
(1.10)
Substituindo a expresso (1.9) em (1.8), obtemos a funo de partio ZN =
N
1
N
2
que, inserida
na equao (1.10), resulta em

log
fN =
N
1
1+
N
2
N
1
log 1 +
= log (
1)
N
2
N
1
(1.11)
O resultado nal para a energia livre por stio f de uma cadeia com um nmero muito grande de stios
pode ser obtido tomando-se o limite termodinmico de (1.11), como mostrado abaixo
f = lim fN = log (
N !1
1) :
(1.12)
Este resultado exemplica uma utilidade do maior autovalor da matriz de transferncia. Nesta dissertao no abordaremos as conseqncias termodinmicas da matriz de transferncia e de seus autovalores.
Nossa nfase ser em como calcular os autovalores desta matriz, na verdade, vamos nos limitar aos chamados modelos de 6-vrtices racionais e ao clculo dos autovalores de suas matrizes de transferncia. Com
este propsito em mente, para motivar nosso estudo, dedicaremos as prximas sees deste captulo a este
assunto.
1.2
Modelo do Gelo
Vamos introduzir agora uma verso simplicada do que seria uma cristal de gelo [2]. Este modelo
simplicado porque trata-se de uma estrutura bidimensional quando, na verdade, o retculo cristalino do
gelo possui uma simetria hexagonal tridimensional que, inclusive, o torna menos denso do que a gua,
possibilitando que lagos e rios no congelem completamente, somente as suas superfcies. Consideraremos
os dipolos permanentes da molcula de gua e a interao entre estes dipolos, chamada de ponte de
hidrognio, responsvel pelo elevado ponto de ebulio desta substncia.
Cada tomo de oxignio do cristal, cuja posio chamaremos de vrtice, est rodeado por quatro tomos
de hidrognio, dois prximos e dois afastados, conforme pode ser visto na gura 1.2. Esta disposio
garante a neutralidade local dos vrtices, chamada de regra do gelo, pois consideramos que os tomos de
oxignio so nions bivalentes e os de hidrognio, ctions monovalentes.
Figura 1.2: Os crculos escuros representam os tomos de hidrognio e os crculos claros, os tomos de
oxignio.
Uma outra maneira de representarmos as pontes de hidrognio do gelo seria por meio de dipolos
eltricos, substituindo os crculos da gura 1.2 por setas, que representam os vetores momento de dipolo
eltrico, conforme ilustrado na gura 1.3. Esses vetores ligaro os ons mais prximos em cada vrtice,
seguindo a conveno tradicional para o momento de dipolo eltrico de apontar da carga positiva (on
hidrognio) para a carga negativa (on oxignio).
Uma outra propriedade pode ser extrada da gura 1.3: ao observarmos um nico vrtice, o nmero
de setas que entram igual ao de setas que saem. Esta regra foi chamada por Slater, o inventor
do modelo, de regra da neutralidade local do gelo [2]. Esta regra conduz ao fato de que apenas seis
possibilidades de vrtices so admitidas, sendo o modelo correspondente chamado de modelo de 6-vrtices,
o qual exploraremos na prxima seo.
1.3. MODELO DE 6-VRTICES E SEUS PESOS DE BOLTZMANN
Figura 1.3: Retculo cristalino do gelo em que substituimos os crculos pelos momentos de dipolo eltrico
entre os ons.
1.3
Modelo de 6-Vrtices e seus Pesos de Boltzmann
Cada vrtice da gura 1.3 apresenta uma congurao de setas diferentes que obedece regra de neutralidade local (seo 1.2). A cada um dos seis vrtices possveis apresentados na gura 1.4 atribumos
uma energia diferente e um peso de Boltzmann associado xi , com i = 1; : : : ; 6, que lhe confere uma
probabilidade especca [2, 3].
Os pesos de Boltzmann so funes do parmetro espectral u, cuja razo est longe de estar clara neste
estgio. Vamos adiantar, por enquanto, que este tipo de parametrizao foi introduzido por Baxter [2],
motivado pela existncia de certa relao entre os diferentes vrtices, atualmente conhecida como equao
de Yang-Baxter.
No modelo do gelo, os vrtices que correspondem a inverses de todas as setas horizontais e verticais
em relao aos trs primeiros vrtices da gura 1.4 possuem as mesmas energias e, conseqentemente, os
mesmos pesos de Boltzmann. No h nenhuma perda de generalidade ao considerarmos estas simetrias
no modelo [3].
A funo de partio ser um somatrio sobre todas as conguraes em que cada congurao corresponde a um produto dos pesos de Boltzmann para cada vrtice. A matriz de transferncia, introduzida
na seo 1, transforma o problema do clculo da funo de partio em um problema de autovalor.
Com o propsito de escrever a matriz de transferncia, vamos introduzir uma notao matricial con-
x1(u) x2(u) x3(u) x3(u) x2(u) x1(u)
Figura 1.4: Vrtices possveis para o modelo de 6-vrtices, cada um deles associado ao seu respectivo peso
de Boltzmann xi (u).
veniente para um vrtice elementar, representado por uma matriz 4

0
B
B
B
B
B
B
B
B
B
B
B
B
@
0
0
0
0
C
C 0
1
C
x1 (u)
0
0
0
C
C
C B
C
C B 0
x
(u)
x
(u)
0
2
3
C = L(u):
C=B
C B 0
x3 (u) x2 (u)
0 C
C @
A
C
C
0
0
0
x1 (u)
C
A
(1.13)
A m de obter a funo de partio, Baxter explora a estrutura de um produto tensorial da matriz

L(u), reescrevendo-a em termos das suas submatrizes 2 2 nos ndices horizontais, denindo outras quatro
matrizes
L(u) =
!
L11 (u) L12 (u)
L21 (u) L22 (u)
(1.14)
em que os ndices em Lij esto associados s conguraes das setas horizontais. Isto , em L11 tanto
a seta horizontal que entra no vrtice quanto a seta horizontal que sai do vrtice apontam para a
direita. Em L22 o contrrio, todas as setas horizontais apontam para a esquerda. Da mesma forma, em
L12 , a seta horizontal que entra aponta para a direita e a que sai, para a esquerda enquanto, em L21 , a
seta entrando aponta para a esquerda e a que sai, para a direita.
A mesma estrutura que associa conguraes de setas com ndices 1 e 2 pode ser feita para as setas
verticais em cada uma das submatrizes Lij . Neste caso, a correspondncia a mesma que a horizontal,
por exemplo, a seta para cima sendo associada ao ndice 1 e a seta para baixo, ao ndice 2. Estes
ndices verticais sero os ndices da matriz de transferncia que transfere linhas para linhas na rede
bidimensional.
Podemos escrever a matriz de transferncia, usando a conveno de soma sobre os ndices repetidos,
como
T(1;2) =
(N ) (N 1)
L1;a La;b
(1)
L(2)
y;z Lz;2
A B
C D
(1.15)
em que o produto matricial refere-se aos ndices horizontais e o rtulo n em L(n) (n = 1; : : : ; N ), a ambos
os ndices verticais do n-simo vrtice. Com condies peridicas de contorno, a matriz de transferncia
o trao no espao horizontal da matriz T [4], isto , A + D:
= trao(T ):
(1.16)
Adiantamos que, no contexto do Ansatz de Bethe Algbrico, o espao no qual esto denidos os ndices
horizontais chamado de espao auxiliar, enquanto aquele que se refere aos ndices verticais, ou seja,
o espao no qual atua a matriz de transferncia, o chamado espao quntico. A razo para esta
nomenclatura ser explicada no prximo captulo.
Captulo 2

Neste captulo, desenvolveremos o instrumental da principal tcnica matemtica utilizada para resolver os
nossos modelos de spin apresentados na segunda parte desta dissertao. Todas as denies e conceitos
partiro do contedo apresentado no captulo anterior sobre o modelo de seis vrtices. O nosso foco
principal ser apresentar o ansatz de Bethe algbrico [5, 6] que utilizaremos na explorao das propriedades
fsicas dos modelos de spins. Expandiremos os conceitos e as relaes apresentadas para estudarmos
modelos qunticos, que o caso dos modelos de Heisenberg, de Sklyanin e de Cherednik.
2.1
Operador de Lax e Matriz de Monodromia
Na seo 1.3 do captulo anterior, mencionamos um operador, proposto por Baxter para o modelo de seis
vrtices, construdo a partir dos vrtices apresentados na gura 1.4 que, posteriormente, foram substitudos
pelos pesos de Boltzmann, conforme observamos na equao (1.13). Este operador ser chamado, a partir
de agora, de operador de Lax que atua nos espaos quntico e auxiliar [7].
Tambm reescremos o operador de Lax em termos de suas submatrizes, resultando num operador que
atua no espao auxiliar, com seus elementos atuando no espao quntico, conforme repetimos abaixo
!
L11 (u) L12 (u)
L(u) =
tratando-se, portanto, de uma matriz 2
L21 (u) L22 (u)
(2.1)
2.
Usaremos outras matrizes com a mesma dimenso como base
I=
em que s = sx
1 0
0 1
s =
1
2
0
1
2
s =
0 1
0 0
s =
0 0
1 0
(2.2)
isy e sx , sy e sz so as matrizes usuais de spin que satisfazem a lgebra de momento
angular e podem ser escritas em termos das matrizes de Pauli

1
!
s = !;
2
(2.3)
destacando que estamos considerando ~ = 1. Os operadores de spin satisfazem as relaes de comutao

9
10
CAPTULO 2. ANSATZ DE BETHE ALGBRICO
abaixo
= 2sz ;
s+ ; s
sz ; s
s ;
(2.4)
que corresponde algebra usual de momento angular.

Estes operadores tambm podem atuar num stio arbitrrio i, de uma cadeia com um total de N stios,
atravs do produto tensorial de todos os operadores que atuam em cada stio
(z; )
si
= I1
I2
Ii
s(z;
Ii+1
IN ;
(2.5)
em que cada uma das matrizes identidades Ii atua num i-simo stio dos N
1 stios restantes, no
alterando as propriedades destes stios. Neste caso, a lgebra satisfeita por eles a mesma
h
s+
i ; sj
=2
z
ij sj ;
szi ; sj
ij sj
(2.6)
acrescentando-se o fato de que, para stios distintos, todos os operadores de spin comutam.
Agora de posse de todas estas informaes, podemos escrever o operador de Lax que atua num stio
arbitrrio i como
Li (u) =
1
2
(x1 (u) + x2 (u)) Ii + (x1 (u)
x2 (u)) szi
x3 (u)s+
i
x3 (u)si
1
2
(x1 (u) + x2 (u)) Ii
(x1 (u)
x2 (u)) szi
(2.7)
em que x1 (u), x2 (u) e x3 (u) so os pesos de Boltzmann que foram apresentados na seo anterior (g.
1.4).
Os operadores de Lax so fundamentais para o nosso propsito maior de estudar os modelos de
spin. Primeiramente porque a possibilidade de constru-los demonstra a integrabilidade dos modelos e,
posteriormente, porque eles sero utilizados na obteno dos hamiltonianos dos sistemas estudados.
Antes de chegarmos nos hamiltonianos dos modelos, precisamos obter uma construo bastante til,
a matriz de monodromia TN (u) [8], obtida a partir do produto de operadores de Lax, estes, por sua vez,
aplicados em cada um dos N stios da cadeia
TN (u) = LN (u)LN
1 (u)
L3 (u)L2 (u)L1 (u)
(2.8)
sendo o produto feito a partir do operador de Lax que atua no ltimo stio at o primeiro stio da cadeia.
Podemos escrever a matriz de monodromia na forma de uma matriz quadrada de ordem 2, exatamente
como zemos para o operador de Lax
TN (u) =
A(u) B(u)
C(u) D(u)
(2.9)
em que as entradas so novos operadores qunticos.

Vamos ilustrar este ltimo resultado com um exemplo didtico para dois stios. Partimos dos operadores de Lax aplicados cada um em cada stio, conforme ilustrado na gura 2.1.
O ndices a que aparece nesta gura so mudos, ou seja, sero somados quando o produto matricial
2.2. EQUAO DE YANG-BAXTER E RELAES FUNDAMENTAIS DE COMUTAO
11
a a
Figura 2.1: Representao grca da matriz de monodromia TN (u) para dois stios.
for realizado. A representao grca da gura 2.1 ilustra o produto de dois operadores de Lax
(1;2)
T2
(1;a)
(u) = L2
(a;2)
(u) L1
(u);
(2.10)
que, neste exemplo, corresponde ao elemento (1; 2) da matriz T (u). Substituindo agora a expresso (2.7)
(calculada em seu respectivo stio) em (2.8), chegamos na forma explcita da matriz de monodromia TN (u)
para dois stios.
Como cada entrada desta matriz um operador (eq. (2.9)), podemos escrev-los separadamente para
uma melhor visualizao de suas estruturas
A(u) =
B(u) =
C(u) =
D(u) =
1
1
(x1 + x2 )2 I + (x21
4
2
1
(x1 + x2 )x3 s1 + s2
2
1
+
(x1 + x2 )x3 s+
1 + s2
2
1
1 2
(x1 + x2 )2 I
(x
4
2 1
x22 ) (sz1 + sz2 ) + (x1 + x2 )2 sz1 sz2 + x23 s+

1 s2 ;
+ (x1
x2 )x3 s1 sz2
sz1 s2 ;
+ (x1
x2 )x3 sz1 s+
2
z
s+
1 s2 ;
x22 ) (sz1 + sz2 ) + (x1 + x2 )2 sz1 sz2 + x23 s1 s+

2;
em que os xi so funes do parmetro espectral u e I representa a matriz identidade de ordem 2, ambos

escritos desta forma para simplicar a notao.
Nota-se que, mesmo para este caso com poucos stios, os operadores que formam a matriz de monodromia T2 (u) possuem uma estrutura complexa envolvendo somas e produtos matriciais.
Todos estes resultados so importantes, inclusive a visualizao explcita destes objetos matemticos que zemos para N = 2, pois sero o ponto de partida para obtermos a matriz de transferncia,
mencionada no primeiro captulo.
2.2
Equao de Yang-Baxter e Relaes Fundamentais de Comutao
O operador de Lax comear a ganhar importncia nesta seo quando veremos que ele satisfaz igualdades
muito teis e fundamentais. Inicialmente, vamos introduzir uma matriz auxiliar R(u) [7], de dimenso
4
4, que atua num espao auxiliar
B
B
R(u) = B
B
@
a(u)
c(u) b(u)
b(u) c(u)
a(u)
C
C
C;
C
A
(2.11)
12
n
c1
a2
c1
c2
b2
n
b1
c2
b2
a1
b1
a2
a1
Figura 2.2: Representao grca da equao de Yang-Baxter.
em que a(u) = u + , b(u) = u e c(u) =
sero chamadas de amplitudes e dependem do parmetro
espectral u e de , que um outro parmetro complexo.

Vamos denir tambm os operadores de Lax que atuam em um espao e, no outro, atuam como a
identidade
0
L11 (u)
B
B
0
L1 (u) = L(u) I2 = B
B L (u)
@ 21
0
0
L11 (u)
B
B L21 (u)
L2 (u) = I1 L(u) = B
B
0
@
0
L12 (u)
C
L12 (u) C
C;
C
0
L22 (u)
0
A
L21 (u)
0
L22 (u)
1
L12 (u)
0
0
C
C
L22 (u)
0
0
C;
0
L11 (u) L12 (u) C
A
0
L21 (u) L22 (u)
L11 (u)
(2.12a)
(2.12b)
em que utilizamos o operador de Lax da equao (2.1) e a matriz identidade da equao (2.2).
Estes operadores satisfazem uma relao necessria para que os modelos de teoria de campo sejam
integrveis: a equao de Yang-Baxter [2],
R(u
v)L1 (u)L2 (v) = L2 (v)L1 (u)R(u
v)
(2.13)
em que v tambm um parmetro espectral.

Podemos representar gracamente esta equao, assim como zemos para a matriz de monodromia na
gura 2.1. Vemos na gura 2.2 seis retas, representando cada uma delas um espao diferente: as duas retas
em negrito na vertical, rotuladas por n, simbolizam o espao quntico e as outras quatro retas inclinadas,
rotuladas por letras com ndices 1 e 2, representam os espaos auxiliares 1 e 2, respectivamente.
As trs retas esquerda representam o primeiro membro da equao (2.13) enquanto as outras trs
retas representam o segundo membro da mesma equao. O primeiro vrtice esquerda a matriz auxiliar
atuando nos espaos auxiliares, em seguida, temos o encontro do espao quntico n com o espao auxiliar
1 que corresponde ao operador de Lax L1 (u) da equao (2.12a) e, nalmente, a interseco dos espaos
2.2. EQUAO DE YANG-BAXTER E RELAES FUNDAMENTAIS DE COMUTAO
N N-1
c1
a2
d2
...
c2
b2
b1
d1
c1
N N-1
d1
=
...
a1 a2
13
...
...
b1
c2
b2
a1
d2
Figura 2.3: Representao grca da equao de Yang-Baxter para a matriz de monodromia.
quntico e auxiliar 2, que ilustra o operador de Lax L2 (v) (eq. (2.12b)).
Uma informao importante a respeito da leitura da gura 2.2 que, quando temos dois vrtices
alinhados com a reta vertical n, primeiro lemos o vrtice inferior e, posteriormente, o vrtice mais acima.
Por esta razo que o operador L1 (u) que atua no espao auxiliar 1 aparece esquerda do operador
que atua no espao auxiliar 2, L2 (v), na equao (2.13). Por esta mesma razo, ao fazermos a leitura
das trs retas direita na gura 2.2, primeiramente identicamos o operador L2 (v), em seguida L1 (u) e,
nalmente, a matriz auxiliar R constituindo a seqncia do produto de matrizes no segundo membro da

equao de Yang-Baxter (eq. (2.13)).
Portanto, podemos enxergar a equao (2.13) como uma translao para a esquerda da reta do espao
quntico n, passando pelo vrtice que representa a matriz auxiliar, conforme ilustrado na gura 2.2.
A equao de Yang-Baxter uma maneira compacta de escrevermos dezesseis relaes para os quatro
operadores que compoem o operador de Lax na forma matricial 2
2 da equao (2.1).
Esta equao fundamental no estudo de modelos integrveis pode ser generalizada para o caso de
N espaos de Hilbert (ou N stios especicamente para os nossos modelos de spins) em que teremos o
produto de N operadores de Lax. Ou seja, podemos escrever uma equao anloga equao (2.13) para
a matriz de monodromia (eq. (2.9))
R(u
v)T1 (u)T2 (v) = T2 (v)T1 (u)R(u
v);
(2.14)
em que T (u) dado pela equao (2.8). Assim como zemos para o operador de Lax, vamos denir as
matrizes de monodromia atuando em diferentes espaos como
T1 (u) = T (u)
I2 ;
T2 (u) = I1
T (u);
(2.15)
em que utilizamos novamente a matriz identidade da denio (2.2). E, assim como zemos para a equao
(2.13), podemos interpretar gracamente a equao (2.14) adotando as mesmas convenes da gura 2.2
e, utilizando um argumento chamado argumento do trempor Faddeev [7], transladamos todas as retas
verticais (espaos qunticos), uma a uma, para a esquerda do vrtice que representa a matriz auxiliar R,
obtendo ento o segundo membro da equao (2.14), conforme observamos na gura 2.3.
14

Ser a partir das relaes obtidas com a equao (2.14) que formularemos, na prxima seo, o ansatz
de Bethe algbrico. Tanto a equao (2.13) quanto a equao (2.14) so relaes de comutao especiais
entre os operadores de Lax e a matriz de monodromia, respectivamente, pois so mediadas pela matriz
auxiliar R. Esta inuncia da matriz R aparecer sobre a forma de coecientes nas relaes de comutao,
que correspondem s amplitudes das entradas desta matriz.
Alm de possuir a propriedade de comutao apresentada na equao (2.14), a matriz de monodromia

T (u) utilizada na construo de outra importante matriz, introduzida no captulo 1: a matriz de
transferncia. Repetindo a equao (1.16) da seo 1.3 que nos mostra sua relao com a matriz de
monodromia temos
(u) = trao(T (u)) = A(u) + D(u)
(2.16)
em que A(u) e D(u) so os operadores que formam a matriz T (u) (eq. (2.9)). Esta a denio da matriz
de transferncia para os nossos propsitos.
Para que possamos vericar algumas propriedades de (u), vamos obter explicitamente as dezesseis
relaes fundamentais de comutao (RFCs) sintetizadas pela equao de Yang-Baxter para T (u) (eq.
(2.14)), na qual substituimos as equaes (2.11) e (2.15) resultando em
a(u
v)A(u)A(v) = a(u
v)A(v)A(u);
a(u
v)A(u)B(v) = c(u
v)A(v)B(u) + b(u
v)B(v)A(u);
(2.17b)
a(u
v)B(u)A(v) = b(u
v)A(v)B(u) + c(u
v)B(v)A(u);
(2.17c)
a(u
v)B(u)B(v) = a(u
v)B(v)B(u);
(2.17d)
c(u
v)A(u)C(v) + b(u
v)C(u)A(v) = a(u
v)A(v)C(u);
(2.17e)
c(u
v)A(u)D(v) + b(u
v)C(u)B(v) = c(u
v)A(v)D(u) + b(u
v)B(v)C(u);
(2.17f)
c(u
v)B(u)C(v) + b(u
v)D(u)A(v) = c(u
v)B(v)C(u) + b(u
v)A(v)D(u);
(2.17g)
c(u
v)B(u)D(v) + b(u
v)D(u)B(v) = a(u
v)B(v)D(u);
(2.17h)
b(u
v)A(u)C(v) + c(u
v)C(u)A(v) = a(u
v)C(v)A(u);
(2.17i)
b(u
v)A(u)D(v) + c(u
v)C(u)B(v) = b(u
v)D(v)A(u) + c(u
v)C(v)B(u);
(2.17j)
b(u
v)B(u)C(v) + c(u
v)D(u)A(v) = b(u
v)C(v)B(u) + c(u
v)D(v)A(u);
(2.17k)
b(u
v)B(u)D(v) + c(u
v)D(u)B(v) = a(u
v)D(v)B(u);
(2.17l)
a(u
v)C(u)C(v) = a(u
v)C(v)C(u);
(2.17m)
a(u
v)C(u)D(v) = c(u
v)C(v)D(u) + b(u
v)D(v)C(u);
(2.17n)
v)D(u); C(v) = b(u
v)C(v)D(u) + c(u
v)D(v)C(u);
(2.17o)
a(u
a(u
v)D(u)D(v) = a(u
(2.17a)
v)D(v)D(u);
(2.17p)
das quais quatro so nulas, pois correspondem aos comutadores do mesmo operador
[A(u); A(v)] = 0;
[B(u); B(v)] = 0;
[C(u); C(v)] = 0;
[D(u); D(v)] = 0;
(2.18)
restando doze RFCs no-nulas que sero utilizadas exaustivamente quando aplicarmos o ansatz de Bethe
na diagonalizao dos modelos de spin da Parte II da dissertao. Estas equaes tambm sero teis
2.3. DIAGONALIZAO DA MATRIZ DE TRANSFERNCIA E IDENTIDADES
15
para obtermos, durante esta diagonalizao, identidades generalizadas para os coecientes a(u), b(u) e
c(u), assunto que ser estudado na prxima seo.
Uma outra implicao das equaes (2.17) se refere propriedade de comutao da matriz de transferncia
[ (u); (v)] = 0;
(2.19)
que permite obtermos cargasque comutam entre si e, portanto, se conservam. A partir destas geramos
as integrais de movimento que, no caso de seu nmero coincidir com os graus de liberdade do sistema,
estaremos diante de um problema integrvel.
2.3
Diagonalizao da Matriz de Transferncia e Identidades
J possuimos dezesseis relaes de comutao para os operadores que constituem a matriz de monodromia
(eq. (2.9)), chamadas relaes fundamentais de comutao (eq. (2.17)). Nos interessa neste momento
aplicar estas relaes para comutar os operadores que formam a matriz de transferncia
(eq. (2.16))
com os operadores de criao B(u). Antes disto, vamos denir o estado de referncia para N stios no
qual estes operadores atuaro
0
1
0
1
0
1
0
1
0
N 1
(2.20)
composto pelo produto direto dos espaos de Hilbert para cada stio, que correspondem a espaos C2 ,
resultando num espao total de dimenso 2N . Os estados de Bethe so criados pela ao dos Bs neste
vcuo fundamental, produzindo as M partculas distribudas pelos N stios
B
= B1 (u)B2 (u)
BM
1 (u)BM (u)
Precisamos estudar o que acontecer quando a matriz
0:
(2.21)
encontrar este estado mas, para isto, preci-
saremos comutar os operadores A(u) e D(u) com B(u) quantas vezes for necessrio at que encontrem o
estado de referncia
0.
Sabemos que tanto A(u) quanto D(u) atuam neste estado da seguinte forma
A(u)
em que
1 (u)
2 (u)
1 (u) 0 ;
D(u)
2 (u) 0 ;
(2.22)
so os autovalores de A(u) e D(u), respectivamente, que tambm dependem do
parmetro espectral u.
A matriz de transferncia atuando nos estados de Bethe, colocar os M operadores B(u) entre o
estado de referncia
e os operadores A(u) e D(u), exigindo que comutemos estes com os operadores
de criao B com o objetivo de encontrar os autovalores de .

Para prosseguirmos na diagonalizao, precisaremos das relaes fundamentais de comutao (equaes
(2.17)), mais especicamente, utilizaremos as relaes (2.17c) e (2.17h), que esto reescritas abaixo, desta-
16
cando o produto dos operadores que nos interessam

A(u)B(v) =
D(u)B(v) =
a(v
b(v
a(u
b(u
u)
c(u
B(v)A(u) +
u)
b(u
v)
c(v
B(v)D(u) +
v)
b(v
v)
B(u)A(v);
v)
u)
B(u)D(v):
u)
(2.23a)
(2.23b)
Fizemos tambm uma pequena mudana no argumento das amplitudes no segundo termo do lado
direito de ambas as expresses a m de manter todos os termos positivos, facilitando os clculos que
viro. Lembrando que estas amplitudes so dadas por a(u) = u + , b(u) = u e c(u) = , sendo assim, a
troca do argumento de b(u) altera o sinal do termo, conforme desejamos.
Notamos que estas relaes destacadas a pouco seriam comutadores usuais da mecnica quntica,
a menos de um fator multiplicativo introduzido pelas amplitudes, caso no ocorresse uma troca nos
argumentos dos operadores envolvidos, como podemos notar em ambos os segundos termos do segundo
membro das expresses. Esta propriedade destas relaes tornaro nossos clculos mais complexos e
trabalhosos mas tambm acrescentaro um ingrediente muito importante do ABA: as equaes de Bethe,
que sero estudadas na prxima seo.
A partir deste ponto, realizaremos explicitamente os clculos de comutao para os casos M = 1,
M = 2 e M = 3, com o auxlio das identidades (2.23a) e (2.23b). Este mtodo que faz uso da matriz de
transferncia e seus operadores A(u) e D(u) conhecido na literatura como o ansatz de Bethe algbrico
(ABA) [6, 7, 8] e corresponde ao cerne desta dissertao, uma vez que a tcnica matemtica que
aplicaremos em todos os modelos de spins estudados nos captulos seguintes.
Ao trmino desta tarefa, proporemos uma generalizao para qualquer valor M de excitaes do
vcuo tanto para os autovalores, quanto para as identidades que surgiro durante o procedimento de
diagonalizao. Dividiremos o texto em itens para cada caso visando uma melhor estruturao da seo,
facilitando a sua leitura.
M =1
A(u)
Iniciamos reescrevendo a equao (2.23a) com os argumentos convenientes u e v1
A(u)B(v1 ) =
a(v1
b(v1
u)
c(u
B(v1 )A(u) +
u)
b(u
v1 )
B(u)A(v1 );
v1 )
(2.24)
em que v1 se refere criao de uma partcula por B(v1 ) quando ele provocar a primeira excitao de
0
e, uma vez conhecida a atuao de A(u) em
(equao (2.22)), permite-nos escrever a relao de
comutao para este operador da seguinte forma

A(u)B(v1 )
a(v1 u) 1 (u)
B(v1 )
b(v1 u)
c(u v1 ) 1 (v1 )
B(u)
b(u v1 )
0;
(2.25)
chegando ento numa expresso em que o primeiro termo corresponde a uma equao de autovalores para
A(u) e B(v1 ) e o segundo, um termo indesejado.
17
D(u)
Fazendo a mesma troca de argumentos com a equao (2.23b) temos
D(u)B(v1 ) =
a(u
b(u
que, ao atuar no estado de referncia
0,
v1 )
c(v1
B(v1 )D(u) +
v1 )
b(v1
u)
B(u)D(v1 );
u)
(2.26)
obtemos o mesmo tipo de expresso para o comutador de D(u)
com B(v1 )
D(u)B(v1 )
a(u v1 ) 2 (u)
B(v1 )
b(u v1 )
c(v1 u) 2 (v1 )
B(u)
b(v1 u)
0;
(2.27)
0;
(2.28)
em que o autovalor de D j foi substitudo.

(u) = A(u) + D(u)
Escrevendo agora a matriz de transferncia a partir dos resultados obtidos
(u)B(v1 )
= (A(u) + D(u)) B(v1 ) 0

a(v1 u) 1 (u) a(u v1 ) 2 (u)
=
+
B(v1 ) 0
b(v1 u)
b(u v1 )
c(u v1 ) 1 (v1 ) c(v1 u) 2 (v1 )
+
B(u)
+
b(u v1 )
b(v1 u)
podemos reparar que essa expresso s ser uma equao de autovalores se o segundo termo do segundo
membro se anular.
Agora vamos calcular a matriz de transferncia para duas excitaes do estado fundamental.
M =2
A(u)
Usaremos a equao (2.24), j substituda na expresso abaixo
A(u)B(v1 )B(v2 ) =
a(v1
b(v1
c(u
u)
B(v1 )A(u)B(v2 ) +
u)
b(u
v1 )
B(u)A(v1 )B(v2 );
v1 )
(2.29)
em que percebemos que precisaremos repetir o procedimento de comutao em ambos os termos mais
uma vez. Colocando os argumentos adequados na equao (2.23a) e substituindo em (2.29), obtemos
A(u)B(v1 )B(v2 ) =
a(v1 u)a(v2 u)
c(u v1 )a(v2 v1 )
B(v1 )B(v2 )A(u) +
B(u)B(v2 )A(v1 )
b(v1 u)b(v2 u)
b(u v1 )b(v2 v1 )
a(v1 u)c(u v2 ) c(u v1 )c(v1 v2 )
+
+
B(u)B(v1 )A(v2 );
(2.30)
b(v1 u)b(u v2 ) b(u v1 )b(v1 v2 )
em que conseguimos por todos os operadores A direita dos operadores B, podendo assim atuar no estado
de referncia
termo
0.
Antes disto, vamos utilizar a seguinte identidade para simplicar o coeciente do ltimo
a(v1
b(v1
u)c(u
u)b(u
v2 ) c(u
+
v2 ) b(u
v1 )c(v1
v1 )b(v1
v2 )
a(v1
=
v2 )
b(v1
v2 )c(u
v2 )b(u
v2 )
;
v2 )
(2.31)
18
resultando na forma nal para a comutao de A com dois operadores B
A(u)B(v1 )B(v2 ) =
Atuando em
a(v1
b(v1
c(u
+
b(u
a(v1
+
b(v1
u)a(v2 u)
B(v1 )B(v2 )A(u)
u)b(v2 u)
v1 )a(v2 v1 )
B(u)B(v2 )A(v1 )
v1 )b(v2 v1 )
v2 )c(u v2 )
B(u)B(v1 )A(v2 ):
v2 )b(u v2 )
(2.32)
com esta expresso no estado de referncia
A(u)B(v1 )B(v2 )
a(v1 u)a(v2 u) 1 (u)

B(v1 )B(v2 ) 0
b(v1 u)b(v2 u)
c(u v1 )a(v2 v1 ) 1 (v1 )
B(u)B(v2 )
+
b(u v1 )b(v2 v1 )
a(v1 v2 )c(u v2 ) 1 (v2 )
+
B(u)B(v1 )
b(v1 v2 )b(u v2 )
0
0;
(2.33)
chegamos numa expresso em que o primeiro termo corresponde a uma equao de autovalores para A(u)
e o segundo e o terceiro termos so indesejados.
D(u)
Repetindo a mesma seqncia de operaes para D temos

D(u)B(v1 )B(v2 ) =
a(u
b(u
v1 )
c(v1
B(v1 )D(u)B(v2 ) +
v1 )
b(v1
u)
B(u)D(v1 )B(v2 );
u)
(2.34)
aps a substituio da equao (2.26), obtida no caso anterior. Vamos reutiliz-la novamente, com
argumentos adequados, para substitu-la em (2.34), obtendo-se
D(u)B(v1 )B(v2 ) =
a(u
b(u
+
v1 )a(u v2 )
a(v1 v2 )c(v1 u)
B(v1 )B(v2 )D(u) +
B(u)B(v2 )D(v1 )
v1 )b(u v2 )
b(v1 v2 )b(v1 u)
a(u v1 )c(v2 u) c(v1 u)c(v2 v1 )
+
B(u)B(v1 )D(v2 );
(2.35)
b(u v1 )b(v2 u) b(v1 u)b(v2 v1 )
em que atingimos o nosso objetivo de comutar D com todos Bs para que atinjam o estado de referncia.
Precisamos tambm simplicar o ltimo termo de (2.35) atravs da mesma identidade utilizada para A
(equao (2.31)), trocando-se alguns argumentos
a(u
b(u
v1 )c(v2
v1 )b(v2
u) c(v1
+
u) b(v1
u)c(v2
u)b(v2
v1 )
a(v2
=
v1 )
b(v2
v1 )c(v2
v1 )b(v2
u)
;
u)
(2.36)
19
que, ao ser substituda em (2.35), resulta no comutador de D com dois operadores B

D(u)B(v1 )B(v2 ) =
a(u v1 )a(u v2 )
B(v1 )B(v2 )D(u)
b(u v1 )b(u v2 )
a(v1 v2 )c(v1 u)
+
B(u)B(v2 )D(v1 )
b(v1 v2 )b(v1 u)
a(v2 v1 )c(v2 u)
B(u)B(v1 )D(v2 ):
+
b(v2 v1 )b(v2 u)
Outra vez podemos atuar com este resultado no estado de referncia

D(u)B(v1 )B(v2 )
0,
(2.37)
obtendo a seguinte expresso
a(u v1 )a(u v2 ) 2 (u)

B(v1 )B(v2 ) 0
b(u v1 )b(u v2 )
a(v1 v2 )c(v1 u) 2 (v1 )
+
B(u)B(v2 )
b(v1 v2 )b(v1 u)
a(v2 v1 )c(v2 u) 2 (v2 )
+
B(u)B(v1 )
b(v2 v1 )b(v2 u)
0
0;
(2.38)
que tambm uma equao de autovalor para D(u), a menos dos dois ltimos termos no desejados.
(u) = A(u) + D(u)
Unindo os resultados obtidos, encontramos a expresso para a matriz de transferncia atuando no
estado de Bethe com duas excitaes do vcuo
(u)B(v1 )B(v2 )
= (A(u) + D(u)) B(v1 )B(v2 ) 0

a(v1 u)a(v2 u) 1 (u) a(u v1 )a(u v2 ) 2 (u)
=
+
B(v1 )B(v2 ) 0
b(v1 u)b(v2 u)
b(u v1 )b(u v2 )
a(v2 v1 )c(u v1 ) 1 (v1 ) a(v1 v2 )c(v1 u) 2 (v1 )
+
B(u)B(v2 ) 0
+
b(u v1 )b(v2 v1 )
b(v1 v2 )b(v1 u)
a(v1 v2 )c(u v2 ) 1 (v2 ) a(v2 v1 )c(v2 u) 2 (v2 )
+
+
B(u)B(v1 ) (2.39)
0;
b(v1 v2 )b(u v2 )
b(v2 v1 )b(v2 u)
que tambm ser uma equao de autovalores para
desde que os dois ltimos termos se anulem simul-
taneamente.
Finalmente, o nosso ltimo exemplo com trs operadores de criao B.
M =3
A(u)
Usando novamente a relao fundamental (2.24) para substitu-la na expresso abaixo
A(u)B(v1 )B(v2 )B(v3 ) =
a(v1
b(v1
c(u
u)
B(v1 )A(u)B(v2 )B(v3 ) +
u)
b(u
v1 )
B(u)A(v1 )B(v2 )B(v3 ):
v1 )
(2.40)
Assim como zemos o reaproveitamento dos resultados obtidos em M = 1 para simplicar os clculos
feitos em M = 2, vamos utilizar o resultado encontrado para M = 2 em ambos os termos do segundo
20
membro para minimizar o nosso trabalho, caso contrrio, teramos de realizar mais duas comutaes de A
com B, reescrevendo a equao (2.23a) mais duas vezes para diferentes argumentos das amplitudes. Este
o truque simplicador desta deduo e que ser a chave para encontrarmos uma generalizao para um
valor de M arbitrrio.
Ento, reescrevendo a equao (2.32) com os argumentos adequados, substituindo nos dois termos de
(2.40) e agrupando os termos semelhantes, obtemos
A(u)B(v1 )B(v2 )B(v3 ) =
a(v1 u)a(v2 u)a(v3 u)

B(v1 )B(v2 )B(v3 )A(u)
b(v1 u)b(v2 u)b(v3 u)
a(v2 v1 )a(v3 v1 )c(u v1 )
+
B(u)B(v2 )B(v3 )A(v1 )
b(v2 v1 )b(v3 v1 )b(u v1 )
a(v3 v2 ) a(v1 u)c(u v2 )
B(u)B(v1 )B(v3 )A(v2 )
+
b(v3 v2 ) b(v1 u)b(u v2 )
a(v3 v2 ) c(u v1 )c(v1 v2 )
B(u)B(v1 )B(v3 )A(v2 )
+
b(v3 v2 ) b(u v1 )b(v1 v2 )
a(v2 v3 ) a(v1 u)c(u v3 )
+
B(u)B(v1 )B(v2 )A(v3 )
b(v2 v3 ) b(v1 u)b(u v3 )
a(v2 v3 ) c(u v1 )c(v1 v3 )
+
B(u)B(v1 )B(v2 )A(v3 );
b(v2 v3 ) b(u v1 )b(v1 v3 )
(2.41)
em que temos todos os operadores A esto direita dos Bs, prontos para atuar no estado de referncia
0,
produzindo seus autovalores dados pela primeira das equaes (2.22).
Vamos utilizar a mesma identidade usada em M = 2 (eq. (2.31)) para simplicar os coecientes
dos ltimos dois termos de (2.41). Para isto, reescremo-la explicitamente com as trocas adequadas dos
argumentos
a(v1
b(v1
a(v1
b(v1
u)c(u
u)b(u
u)c(u
u)b(u
v2 ) c(u
+
v2 ) b(u
v3 ) c(u
+
v3 ) b(u
v1 )c(v1
v1 )b(v1
v1 )c(v1
v1 )b(v1
v2 )
a(v1
=
v2 )
b(v1
v3 )
a(v1
=
v3 )
b(v1
v2 )c(u
v2 )b(u
v3 )c(u
v3 )b(u
v2 )
;
v2 )
v3 )
:
v3 )
(2.42a)
(2.42b)
Substituindo-as na expresso (2.41), encontramos

A(u)B(v1 )B(v2 )B(v3 ) =
a(v1 u)a(v2 u)a(v3 u)

B(v1 )B(v2 )B(v3 )A(u)
a(v2 v1 )a(v3 v1 )c(u v1 )
+
B(u)B(v2 )B(v3 )A(v1 )
b(v2 v1 )b(v3 v1 )b(u v1 )
a(v3 v2 )a(v1 v2 )c(u v2 )
+
B(u)B(v1 )B(v3 )A(v2 )
b(v3 v2 )b(v1 v2 )b(u v2 )
a(v2 v3 )a(v1 v3 )c(u v3 )
+
B(u)B(v1 )B(v2 )A(v3 );
b(v2 v3 )b(v1 v3 )b(u v3 )
(2.43)

que, aps atuar
0,
21
chegamos em
A(u)B(v1 )B(v2 )B(v3 )
a(v1 u)a(v2 u)a(v3 u) 1 (u)

B(v1 )B(v2 )B(v3 ) 0
a(v2 v1 )a(v3 v1 )c(u v1 ) 1 (v1 )
+
B(u)B(v2 )B(v3 )
b(v2 v1 )b(v3 v1 )b(u v1 )
a(v3 v2 )a(v1 v2 )c(u v2 ) 1 (v2 )
+
B(u)B(v1 )B(v3 )
b(v3 v2 )b(v1 v2 )b(u v2 )
a(v2 v3 )a(v1 v3 )c(u v3 ) 1 (v3 )
+
B(u)B(v1 )B(v2 )
b(v2 v3 )b(v1 v3 )b(u v3 )
0
0;
(2.44)
em que aparece o autovalor de A(u) no coeciente do primeiro termo juntamente com outros trs termos
indesejados.
D(u)
Procederemos da mesma forma para este ltimo operador deste caso. A relao (2.26) foi substituda
abaixo
D(u)B(v1 )B(v2 )B(v3 ) =
a(u v1 )
B(v1 )D(u)B(v2 )B(v3 )
b(u v1 )
c(v1 u)
+
B(u)D(v1 )B(v2 )B(v3 );
b(v1 u)
(2.45)
em que percebemos a necessidade de comutar D mais duas vezes com B utilizando a equao (2.23b) ou,
aproveitando o resultado obtido para M = 2, colocando argumentos convenientes na expresso (2.37) e
substitu-las em ambos os termos de (2.45), como zemos abaixo por uma questo de praticidade
D(u)B(v1 )B(v2 )B(v3 ) =
a(u v1 )a(u v2 )a(u v3 )

B(v1 )B(v2 )B(v3 )D(u)
b(u v1 )b(u v2 )b(u v3 )
c(v1 u)a(v1 v2 )a(v1 v3 )
+
B(u)B(v2 )B(v3 )D(v1 )
b(v1 u)b(v1 v2 )b(v1 v3 )
a(v2 v3 ) a(u v1 )c(v2 u)
+
B(u)B(v1 )B(v3 )D(v2 )
b(v2 v3 ) b(u v1 )b(v2 u)
a(v2 v3 ) c(v1 u)c(v2 v1 )
+
B(u)B(v1 )B(v3 )D(v2 )
b(v2 v3 ) b(v1 u)b(v2 v1 )
a(v3 v2 ) a(u v1 )c(v3 u)
+
B(u)B(v1 )B(v2 )D(v3 )
b(v3 v2 ) b(u v1 )b(v3 u)
a(v3 v2 ) c(v1 u)c(v3 v1 )
+
B(u)B(v1 )B(v2 )D(v3 );
b(v3 v2 ) b(v1 u)b(v3 v1 )
(2.46)
em que notamos no precisar de mais nenhuma comutao entre os operadores. S vamos simplicar os
coecientes dos quatro timos termos com a mesma identidade usada anteriormente para M = 2 (eq.
22
(2.36)), reescrita com novos argumentos

a(u
b(u
a(u
b(u
v1 )c(v2
v1 )b(v2
v1 )c(v3
v1 )b(v3
u) c(v1
+
u) b(v1
u) c(v1
+
u) b(v1
u)c(v2
u)b(v2
u)c(v3
u)b(v3
v1 )
v1 )
v1 )
v1 )
=
=
a(v2
b(v2
a(v3
b(v3
v1 )c(v2
v1 )b(v2
v1 )c(v3
v1 )b(v3
u)
;
u)
u)
;
u)
(2.47a)
(2.47b)
e que sero substitudas em (2.46), simplicando os quatro ltimos termos desta equao em dois novos
termos
D(u)B(v1 )B(v2 )B(v3 ) =
a(u v1 )a(u v2 )a(u v3 )

B(v1 )B(v2 )B(v3 )D(u)
b(u v1 )b(u v2 )b(u v3 )
c(v1 u)a(v1 v2 )a(v1 v3 )
+
B(u)B(v2 )B(v3 )D(v1 )
b(v1 u)b(v1 v2 )b(v1 v3 )
a(v2 v3 )a(v2 v1 )c(v2 u)
+
B(u)B(v1 )B(v3 )D(v2 )
b(v2 v3 )b(v2 v1 )b(v2 u)
a(v3 v2 )a(v3 v1 )c(v3 u)
+
B(u)B(v1 )B(v2 )D(v3 ):
b(v3 v2 )b(v3 v1 )b(v3 u)
Obtemos, com atuao desta no estado de referncia
0,
(2.48)
a expresso para D(u), anloga quela obtida
para A(u)
D(u)B(v1 )B(v2 )B(v3 )
a(u v1 )a(u v2 )a(u v3 ) 2 (u)

B(v1 )B(v2 )B(v3 ) 0
b(u v1 )b(u v2 )b(u v3 )
c(v1 u)a(v1 v2 )a(v1 v3 ) 2 (v1 )
+
B(u)B(v2 )B(v3 )
b(v1 u)b(v1 v2 )b(v1 v3 )
a(v2 v3 )a(v2 v1 )c(v2 u) 2 (v2 )
+
B(u)B(v1 )B(v3 )
b(v2 v3 )b(v2 v1 )b(v2 u)
a(v3 v2 )a(v3 v1 )c(v3 u) 2 (v3 )
+
B(u)B(v1 )B(v2 )
b(v3 v2 )b(v3 v1 )b(v3 u)
0
0:
(2.49)
(u) = A(u) + D(u)

Com as expresses obtidas para os operadores que formam o trao da matriz de monodromia (equaes
(2.44) e (2.49)), obtemos a matriz de transferncia para o caso M = 3
(u)B(v1 )B(v2 )B(v3 )
= (A(u) + D(u)) B(v1 )B(v2 )B(v3 )
a(v1 u)a(v2 u)a(v3 u) 1 (u) a(u v1 )a(u v2 )a(u v3 ) 2 (u)

+
B(v1 )B(v2 )B(v3 ) 0
b(u v1 )b(u v2 )b(u v3 )
a(v2 v1 )a(v3 v1 )c(u v1 ) 1 (v1 ) c(v1 u)a(v1 v2 )a(v1 v3 ) 2 (v1 )
+
+
B(u)B(v2 )B(v3 ) 0
b(v2 v1 )b(v3 v1 )b(u v1 )
b(v1 u)b(v1 v2 )b(v1 v3 )
a(v3 v2 )a(v1 v2 )c(u v2 ) 1 (v2 ) a(v2 v3 )a(v2 v1 )c(v2 u) 2 (v2 )
+
+
B(u)B(v1 )B(v3 ) 0
b(v3 v2 )b(v1 v2 )b(u v2 )
b(v2 v3 )b(v2 v1 )b(v2 u)
a(v2 v3 )a(v1 v3 )c(u v3 ) 1 (v3 ) a(v3 v2 )a(v3 v1 )c(v3 u) 2 (v3 )
+
+
B(u)B(v1 )B(v2 ) 0 ;
b(v2 v3 )b(v1 v3 )b(u v3 )
b(v3 v2 )b(v3 v1 )b(v3 u)
(2.50)
=
com estrutura similar s matrizes
obtidas para os casos anteriores M = 1 e M = 2, ou seja, uma equao
23
de autovalores desde que haja o cancelamento dos trs ltimos termos de (2.50).
Proporemos neste momento uma generalizao para o ansatz de Bethe algbrico com base em todas
as expresses obtidas at agora para, em seguida, vericar a sua validade atravs do mtodo de induo
nita. A generalizao proposta da equao de quase-autovalores para a matriz de transferncia
(u)
M
Y
B(vi )
= (A(u) + D(u))
i=1
M
Y
B(vi )
i=1
M
Y
a(vi
i=1
u)
u)
b(vi
2
Y a(vj
vi ) B
B
vi ) @
b(vj
M
X
6 c(u
6
4 b(u
Y a(vi
vi ) B
B
@
vi )
b(vi
j=1
j6=i
i=1
que suporemos vlida para M
j=1
j6=i
vi )
vi )
b(u
i=1
M
X
6 c(u
6
4 b(u
i=1
1 (u) +
M
Y
a(u
2 (u)
M
Y
B(vi )
i=1
0;
M
Y
C
7
C
(v
)
B(u)
B(vj )7
i
1
A
5
vi )
vi )
j=1
j6=i
M
Y
C
7
C
(v
)
B(u)
B(vj )7
2 i A
5
vj )
vj )
(2.51)
j=1
j6=i
1 e a reescreveremos com os operadores A e D explicitados a m de
provarmos nossa hiptese de generalizao

(u)
M
Y1
B(vi )
= (A(u) + D(u))
i=1
M
Y1
i=1
a(vi
b(vi
2
M
X1
6 c(u
6
4 b(u
M
X1
6 c(vi
6
4 b(vi
i=1
u)
u)
i=1
Excluiremos o estado de referncia
M
Y1
B(vi )
i=1
M
Y1
B(vi ) A(u)
i=1
vi )
vi )
M
Y1
j=1
j6=i
a(vj
b(vj
M 1
u) Y a(vi
u)
b(vi
j=1
j6=i
M
Y1
vi ) B
BB(u)
vi ) @
0
i=1
a(u
b(u
M
Y1
j=1
j6=i
vi )
vi )
1
M
Y1
B(vi ) D(u)
i=1
0:
C
7
7
B(vj )C
A A(vi )5
1
M
Y1
C
7
vj ) B
BB(u)
B(vj )C
D(vi )7
@
A
5
vj )
(2.52)
j=1
j6=i
em (2.52) para que possamos manipul-la mais a vontade,
24
inicialmente multiplicando direita esta expresso pelo operador B(vM )

(u)
M
Y1
B(vi )B(vM ) = (A(u) + D(u))
i=1
M
Y1
a(vi
b(vi
i=1
M
Y1
i=1
M
X1
i=1
M
X1
i=1
u)
u)
a(u
b(u
2
6 c(vi
6
4 b(vi
B(vi )B(vM )
i=1
M
Y1
vi )
vi )
6 c(u
6
4 b(u
2
M
Y1
B(vi ) A(u)B(vM )
i=1
M
Y1
vi )
vi )
u)
u)
B(vi ) D(u)B(vM )
i=1
M
Y1
j=1
j6=i
M
Y1
j=1
j6=i
a(vj
b(vj
a(vi
b(vi
vi ) B
BB(u)
vi ) @
M
Y1
C
7
7 B(vM )
B(vj )C
A(v
)
i
A
5
vj ) B
BB(u)
vj ) @
M
Y1
C
7
7
B(vj )C
(2.53)
A D(vi )5 B(vM );
j=1
j6=i
j=1
j6=i
nota-se que os operadores A e D no esto direita do operador B(vM ), fato que nos obrigar novamente
a comutar os operadores A e D com B(vM ) para que aqueles atuem no estado de referncia
0.
Como sempre, vamos utilizar as relaes fundamentais de comutao (2.23a) e (2.23b), reescritas
abaixo explicitamente em termos dos parmetros convenientes para prosseguirmos nossa generalizao
A(u)B(vM ) =
A(vi )B(vM ) =
D(u)B(vM ) =
D(vi )B(vM ) =
a(vM
b(vM
a(vM
b(vM
a(u
b(u
a(vi
b(vi
c(u vM )
u)
B(vM )A(u) +
B(u)A(vM );
u)
b(u vM )
vi )
c(vi vM )
B(vM )A(vi ) +
B(vi )A(vM );
vi )
b(vi vM )
vM )
c(vM u)
B(vM )D(u) +
B(u)D(vM );
vM )
b(vM u)
vM )
c(vM vi )
B(vM )D(vi ) +
B(vi )D(vM );
vM )
b(vM vi )
(2.54a)
(2.54b)
(2.54c)
(2.54d)
25
que, substitudas em (2.53), resultam em

(u)
M
Y
M
Y
B(vi ) = (A(u) + D(u))
i=1
M
Y
a(vi
b(vi
i=1
M
Y
u)
u)
a(u
+
b(u
i=1
2
M
X1
i=1
M
X1
i=1
M
X1
i=1
M
X1
i=1
vi )
vi )
6 c(u
6
4 b(u
2
6 c(u
6
4 b(u
2
B(vi )
i=1
M
Y
B(vi ) A(u) +
i=1
M
Y
vi )
vi )
M
Y
j=1
j6=i
a(vj
b(vj
M
Y1
j=1
j6=i
a(vj
b(vj
6 c(vi
6
4 b(vi
M
u) Y a(vi
u)
b(vi
6 c(vi
6
4 b(vi
M 1
u) Y a(vi
u)
b(vi
j=1
j6=i
j=1
j6=i
u) c(u
u) b(u
a(vi
b(vi
i=1
M
Y1
B(vi ) D(u) +
i=1
vi )
vi )
M
Y1
i=1
a(u
b(u
vM )
B(u)
vM )
vi ) c(vM u)
B(u)
vi ) b(vM u)
1
3
M
Y
C
7
vi ) B
BB(u)
C A(vi )7
B(v
)
j
A
5
vi ) @
j=1
j6=i
vi ) c(vi
vi ) b(vi
0
vM ) @
B(u)
vM )
1
M
Y1
j=1
B(vi ) A(vM )
i=1
M
Y1
B(vi ) D(vM )
i=1
M
Y1
7
vi ) @
B(u)
B(vj )A D(vM )7
5 :
vi )
j=1
j=1
j6=i
vj ) c(vM
vj ) b(vM
7
B(vj )A A(vM )7
5
M
Y
C
7
vj ) B
BB(u)
B(vj )C
D(vi )7
@
5
A
vj )
M
Y1
(2.55)
26
Editando esta tima expresso com agrupamento de alguns termos e troca de ndices mudos temos
(u)
M
Y
M
Y
B(vi ) = (A(u) + D(u))
i=1
M
Y
a(vi
u)
u)
b(vi
i=1
M
Y
a(u
+
b(u
i=1
2
M
X1
i=1
6
+6
4
i=1
i=1
6
+6
4
i=1
B(u)
k=1
j=1
j6=i
M
Y
C
7
vi ) B
BB(u)
C A(vi )7
B(v
)
j
A
5
vi ) @
j=1
j6=i
a(vj
b(vj
vM ) C
C + c(u
vM ) A b(u
vi ) c(vi
vi ) b(vi
vM )
vM )
M
Y1
i=1
u) 7
7
u) 5
a(vi
b(vi
B(vk ) A(vM )
M
u) Y a(vi
u)
b(vi
j=1
j6=i
B c(vi
B
@ b(vi
M
Y1
M
Y1
k=1
B(vi ) D(u)
i=1
vi )
vi )
6 c(vi
6
4 b(vi
M
X1
B(vi ) A(u)
i=1
M
Y
j=1
j6=i
B c(u
B
@ b(u
M
Y1
M
vi ) Y a(vj
vi )
b(vj
B(u)
M
X1
vi )
vi )
6 c(u
6
4 b(u
M
X1
B(vi )
i=1
M
Y
u)
u)
M
Y1
j=1
j6=i
M
Y
C
7
vj ) B
BB(u)
C D(vi )7
B(v
)
j
A
5
vj ) @
a(vi
b(vi
j=1
j6=i
vj ) c(vM
vj ) b(vM
vi ) C
C + c(vM
vi ) A b(vM
u)
u)
M
Y1
i=1
a(u
b(u
vi ) 7
7
vi ) 5
B(vk ) D(vM );
(2.56)
que precisa ser simplicada e colocada numa forma adequada para fazermos a comparao com a equao
(2.51), que a nossa sugesto de generalizao para a ao da matriz de monodromia num estado de
Bethe geral, constitudo por M operadores de criao B atuando no estado de referncia
0.
Para darmos seqncia, vamos usar um outro resultado encontrado por ns: a generalizao das
identidades que temos utilizado constantemente nas simplicaes realizadas em M = 2 e M = 3, quando
editamos os coecientes dos termos indesejados. Essa generalizao das identidades no so encontradas
na literatura, muito menos a demonstrao de sua validade. Para nos certicarmos de que estas expresses
inditas eram vlidas, zemos testes exaustivos no programa Maple para diversos valores de M .
27
Apresentamos a seguir as duas identidades generalizadas para os operadores A e D, respectivamente,

M
X1
i=1
M
X1
i=1
6 c(u
6
4 b(u
2
6 c(vi
6
4 b(vi
vi ) B
B
vi ) @
M
Y
j=1
j6=i
vi ) C
C c(vi
vi ) A b(vi
a(vj
b(vj
Y a(vi
u) B
B
@
u)
b(vi
M 1
vM ) Y a(vj
vM )
b(vj
u)
c(u
=
u)
b(u
j=1
vM )
;
vM )
j=1
(2.57a)
vj ) C
C c(vM
vj ) A b(vM
j=1
j6=i
M 1
vM ) Y a(vj
vM )
b(vj
vM ) 7
7 + c(u
vM ) 5 b(u
vi ) 7
7 + c(vM
vi ) 5 b(vM
M 1
u) Y a(u
u)
b(u
vj )
c(vM
=
vj )
b(vM
j=1
M 1
u) Y a(vM
u)
b(vM
j=1
vj )
;
vj )
(2.57b)
sendo que nota-se facilmente que a identidade para o operador D (2.57b) pode ser obtida a partir da
primeira identidade para o operador A (2.57a) invertendo-se simplesmente os argumentos de todas as
amplitudes.
Aps a substituio das identidades (2.57) no quarto e sexto termos do segundo membro da equao
(2.56), obtemos
(u)
M
Y
B(vi ) = (A(u) + D(u))
i=1
M
Y
a(vi
i=1
b(vi
2
M
X1
i=1
c(u
+
b(u
M
X1
i=1
u)
u)
6 c(u
6
4 b(u
vM )
vM )
2
6 c(vi
6
4 b(vi
c(vM
+
b(vM
u)
u)
M
Y
B(vi )
i=1
M
Y
B(vi ) A(u) +
vi )
vi )
M
Y
i=1
j=1
j6=i
M
Y1
i=1
u)
u)
a(vi
b(vi
M
Y
j=1
j6=i
M
Y1
i=1
a(vj
b(vj
a(vi
b(vi
a(vM
b(vM
M
Y
a(u
i=1
b(u
vi ) B
BB(u)
vi ) @
vM )
vM )
j=1
j6=i
B(u)
M
Y1
M
Y
j=1
j6=i
B(u)
M
Y
i=1
B(vi ) D(u)
3
C
7
7
B(vj )C
A A(vi )5
k=1
vj ) B
BB(u)
vj ) @
vi )
vi )
M
Y
vi )
vi )
B(vk ) A(vM )
1
C
7
7
B(vj )C
D(v
)
i
A
5
M
Y1
k=1
B(vk ) D(vM );
(2.58)
cando agora evidente que o quarto termo o M -simo termo do somatrio do terceiro termo, o mesmo
28
ocorrendo para o sexto e quinto termos, logo, vamos agrup-los

(u)
M
Y
B(vi ) = (A(u) + D(u))
i=1
M
Y
a(vi
i=1
B(vi )
!
B(vi ) A(u) +
i=1
M
X
6 c(u
6
4 b(u
M
vi ) Y a(vj
vi )
b(vj
M
X
6 c(vi
6
4 b(vi
M
u) Y a(vi
u)
b(vi
i=1
i=1
M
Y
u)
u)
b(vi
2
M
Y
i=1
M
Y
a(u
i=1
vi )
vi )
b(u
M
Y
i=1
B(vi ) D(u)
M
Y
C
7
vi ) B
BB(u)
B(vj )C
A(vi )7
@
A
5
vi )
j=1
j6=i
j=1
j6=i
M
Y
C
7
vj ) B
BB(u)
B(vj )C
D(vi )7
@
A
5;
vj )
j=1
j6=i
(2.59)
j=1
j6=i
resultado este que conrma a nossa expresso geral proposta (2.51). Atuando no estado de referncia
temos
(u)
M
Y
B(vi )
M
Y
a(vi
i=1
i=1
b(vi
2
1 (u)
M
Y
a(u
i=1
b(u
M
X
6 c(u
6
4 b(u
M
vi ) Y a(vj
vi )
b(vj
vi )
vi )
M
X
6 c(vi
6
4 b(vi
M
u) Y a(vi
u)
b(vi
vj )
vj )
i=1
u)
u)
i=1
j=1
j6=i
j=1
j6=i
vi )
vi )
2 (u)
M
Y
i=1
B(vi )
13
13
0;
M
Y
B
C7
B
7
(v
)
B(u)
B(vj )C
1 i @
A5
j=1
j6=i
M
Y
B
C7
B
7
(v
)
B(u)
B(vj )C
2 i @
A5
(2.60)
j=1
j6=i
A partir deste resultado, podemos escrever os autovalores da matriz de transferncia

(u) =
M
Y
a(vi
i=1
b(vi
u)
u)
1 (u) +
M
Y
a(u
i=1
b(u
vi )
vi )
2 (u);
(2.61)
que s podero ter este nome se cancelarmos o ltimo termo da expresso geral (2.60). Este cancelamento
sistemtico dos ltimos termos obtidos na diagonalizao atravs do mtodo do ansatz de Bethe algbrico
(que apresentamos em detalhes nesta seo) dar origem, conforme j mencionamos no incio, a um tpico
essencial no processo de diagonalizao que ser tratado na prxima seo: as equaes de Bethe.
2.4
Equaes de Bethe
Nesta seo, daremos continuidade a diagonalizao da matriz de transferncia e esclareceremos alguns

pontos citados brevemente na seo 2.3. Vimos naquela seo que, ao diagonalizar a matriz , mesmo nas
etapas intermedirias envolvendo os operadores A e D, obtnhamos sempre equaes que continham um
termo correspondente ao autovalor do respectivo operador, juntamente com outros termos, que chamamos
2.4. EQUAES DE BETHE
29
de indesejados, e no correspondiam a autovalores pois apresentavam os mesmos operadores, porm com

os argumentos trocados.
Para encontrarmos as equaes de autovalores desejadas para a matriz de transferncia, imporemos a
condio de que todos os termos indesejados se anulem, chegando assim nas chamadas equaes de Bethe.
Faremos estes cancelamentos caso a caso, como zemos na seo anterior para diagonalizar a matriz
atravs do ansatz de Bethe algbrico.
Antes de iniciarmos com os exemplos, vamos recordar rapidamente a expresso do operador de Lax
L(u) escrito em termos das matrizes da base e dos pesos de Boltzmann que atua num stio arbitrrio i
(eq. (2.7))
Li (u) =
1
2
(x1 (u) + x2 (u)) Ii + (x1 (u)
x2 (u)) szi
x3 (u)si
x3 (u)s+
i
1
2
(x1 (u) + x2 (u)) Ii
(x1 (u)
x2 (u)) szi
; (2.62)
pois a partir dele que construimos a matriz de monodromia T (u) (eq. (2.9)), nos permitindo assim
escrever os autovalores dos operadores A(u) e D(u), apresentados na equao (2.22). Quando estes
operadores atuam no vcuo
0,
eles produzem os seguintes resultados
A(u)
= xN
1 (u)
0;
D(u)
= xN
2 (u)
0;
(2.63)
em que N o nmero total de stios da cadeia. Comparando estas expresses com aquelas da equao
(2.22), podemos fazer as associaes:
1 (u)
= xN
1 (u) e
2 (u)
= xN
2 (u).
A partir de agora, iremos analisar caso a caso as expresses obtidas na seo anterior, com o intuito
de apresentarmos as equaes de Bethe.
M =1
Para que a equao (2.28) seja uma equao de autovalor para a matriz de transferncia , devemos
cancelar seu ltimo termo
que, uma vez que b(u
v1 ) =
c(u
b(u
v1 )
v1 )
b(v1
u) e c(u
1 (v1 )
c(v1
b(v1
u)
u)
v1 ) = c(v1
1 (v1 )
2 (v1 )
= 1;
2 (v1 )
= 0;
u), se reduz simplesmente a

(2.64)
que uma equao polinomial de grau N na varivel v1 , cuja soluo est associada a energia do sistema,
como ser visto posteriormente. Este caso ser resolvido explicitamente ao nal desta seo a ttulo de
ilustrao.
M =2
Para este caso, precisaremos impor a condio de que os dois ltimos termos da equao (2.39) se
30
anulem para que encontremos as equaes de Bethe

a(v2 v1 )c(u
b(u v1 )b(v2
a(v1 v2 )c(u
b(v1 v2 )b(u
v1 )
v1 )
v2 )
v2 )
a(v1
b(v1
a(v2
1 (v2 ) +
b(v2
1 (v1 )
v2 )c(v1
v2 )b(v1
v1 )c(v2
v1 )b(v2
u)
u)
u)
u)
2 (v1 )
= 0;
2 (v2 )
= 0;
e, novamente, temos relaes que simplicaro as equaes acima: b(u

c(v1
u), b(u
v2 ) =
b(v2
u), c(u
v2 ) = c(v2
u) e b(v1
v2 ) =
v1 ) =
b(v2
b(v1
u), c(u
v1 ) =
v1 ), resultando nas seguintes
expresses
1 (v1 )
2 (v1 )
a(v1
a(v2
v2 )
;
v1 )
1 (v2 )
2 (v2 )
a(v2
a(v1
v1 )
;
v2 )
(2.65)
em que obtemos, desta vez, duas equaes polinomiais acopladas que nos permitem determinar as incgnitas v1 e v2 . Estas incgnitas, alm de possuirem relao com a energia do sistema conforme mencionado,
sero tambm os argumentos dos operadores que criam o estado de Bethe a partir do estado de referncia
0.
M =3
A equao (2.50) possui trs termos indesejados a serem cancelados para que possa ser chamada de
equao de autovalores para a matriz de transferncia . Anularemos os seguintes termos
a(v2
b(v2
a(v3
b(v3
a(v2
b(v2
v1 )a(v3
v1 )b(v3
v2 )a(v1
v2 )b(v1
v3 )a(v1
v3 )b(v1
v1 )c(u
v1 )b(u
v2 )c(u
v2 )b(u
v3 )c(u
v3 )b(u
v1 )
v1 )
v2 )
v2 )
v3 )
v3 )
a(v1
b(v1
a(v2
1 (v2 ) +
b(v2
a(v3
1 (v3 ) +
b(v3
1 (v1 )
v2 )a(v1
v2 )b(v1
v3 )a(v2
v3 )b(v2
v2 )a(v3
v2 )b(v3
v3 )c(v1
v3 )b(v1
v1 )c(v2
v1 )b(v2
v1 )c(v3
v1 )b(v3
u)
u)
u)
u)
u)
u)
2 (v1 )
= 0;
2 (v2 )
= 0;
2 (v3 )
= 0;
em que usaremos novamente as relaes entre as amplitudes que permitem simplicar estas expresses:
b(u
v1 ) =
b(v1
u), c(u
v1 ) = c(v1
u), b(u
b(v3 u), c(u v3 ) = c(v3 u), b(v1 v2 ) =
v2 ) =
b(v2
u), c(u
b(v2 v1 ), b(v2 v3 ) =
v2 ) = c(v2
u), b(u
b(v3 v2 ) e b(v1 v3 ) =
v3 ) =
b(v3 v1 ).
Chegamos assim nas trs equaes de Bethe para este caso

1 (v1 )
2 (v1 )
1 (v2 )
2 (v2 )
1 (v3 )
2 (v3 )
=
=
=
a(v1
a(v2
a(v2
a(v1
a(v3
a(v1
v2 )a(v1
v1 )a(v3
v1 )a(v2
v2 )a(v3
v1 )a(v3
v3 )a(v2
v3 )
;
v1 )
v3 )
;
v2 )
v2 )
:
v3 )
(2.66)
que so equaes polinomiais acopladas nas variveis v1 , v2 e v3 .

Como zemos na seo anterior durante a diagonalizao da matriz , vamos generalizar as equaes
de Bethe para um valor M arbitrrio de excitaes do estado de referncia. Podemos realizar esta generalizao a partir dos resultados encontrados nesta seo para os diferentes M s ou a partir da diagonalizao
da matriz de transferncia na seo anterior.
2.4. EQUAES DE BETHE
31
Observando o ltimo termo da equao generalizada (2.60), vemos que ele o termo que no corresponde ao autovalor de , sendo portanto o termo indesejado a ser cancelado, mostrado a seguir
c(u
b(u
M
vi ) Y a(vj
vi )
b(vj
j=1
j6=i
vi )
vi )
M
u) Y a(vi
u)
b(vi
c(vi
1 (vi ) +
b(vi
j=1
j6=i
vj )
vj )
2 (vi )
= 0;
lembrando que este termo geral pertence a um somatrio em i que introduz M termos deste tipo nossa
equao de quase-autovalores para . Cada um destes termos deve ser cancelado produzindo, portanto,
M equaes de Bethe.
Como zemos explicitamente para os trs primeiros casos, simplicaremos cada um dos termos indesejados utilizando relaes entre as amplitudes b e c, escritas aqui de forma geral: b(u
c(u
vi ) = c(vi
u) e b(vi
vj ) =
b(vj
vi ) =
b(vi
u),
vi ), com i = 1; 2; : : : ; M , resultando nas equaes de Bethe
generalizadas
M
Y
a(vi
=
(v
)
a(v
j
2 i
vj )
;
vi )
1 (vi )
j=1
j6=i
(2.67)
que formam um conjunto de M equaes polinomiais acopladas nas variveis v1 , v2 , : : :, vM .

Finalizando a seo, mostraremos um exemplo prtico considerando N = 2 com M = 0 e M = 1.
Esta situao bem simples nos permitir sentir as diculdades crescentes a medida em que aumentamos
o nmero de stios N da cadeia de spins.
Antes de iniciarmos, vamos fornecer os pesos de Boltzmann para que as equaes de Bethe possam
ser escritas explicitamente: x1 (u) = u +
e x2 (u) = u
2.
Nos exemplos o argumento usado nos pesos
sero as incgnitas vi .
N = 2: M = 0
Utilizando a expresso recm obtida (2.67) para escrever a equao de Bethe para este caso temos
v1
v1 +
2
2
1;
(2.68)
que corresponde a um polinmio de 2o grau, cujas solues so v1 =
i
2
i
2
. Neste caso, ambas as
razes so complexas.
N = 2: M = 1
Neste caso, ao usarmos (2.67), encontramos a seguinte equao de Bethe
2
v1
v1 +
= 1;
que tambm um polinmio do 2o grau, com uma raiz real dupla v1 = f0g.
(2.69)
Estas razes sero substitudas nos argumentos dos operadores de criao B(v) para gerar os estados
de Bethe
B,
que sero os estados com maior valor de spin dos multipletos do sistema.
32
2.5
Obteno dos Hamiltonianos e dos Autovalores
Uma outra utilidade da matriz de transferncia
que podemos tomar a sua derivada logartmica para
encontrarmos tanto o hamiltoniano quanto os autovalores do modelo de spin estudado. Veremos com todo
o detalhamento possvel como isto feito na segunda parte da dissertao, a partir do prximo captulo.
Nesta seo vamos apresentar o mtodo desenvolvido por Baxter para calcularmos os hamiltonianos e
seus respectivos autovalores para cada modelo a ser estudado. Para aplicarmos este mtodo, precisamos
conhecer explicitamente a forma da matriz de transferncia , com amplitudes e pesos de Boltzmann
devidamente substitudos.
Podemos substituir as expresses para os pesos de Boltzmann x1 (u), x2 (u) e x3 (u) na equao (2.7)
e reescrever operador de Lax [8] para um stio como
Li (u) =
em que u e
uIi + szi
s+
i
si
uIi
szi
(2.70)
so os parmetros j apresentados anteriormente. Com este operador construimos a matriz
de monodromia cujo trao corresponde matriz de transferncia, conforme vimos na seo 2.1 deste
captulo.
Conforme demonstrado por Baxter, os hamiltonianos dos modelos de spins so obtidos derivando-se
o logartmo da matriz de transferncia em relao ao parmetro u
HM odelo =
d
log
du
u= 2
1
u= 2
d
du
u= 2
(2.71)
notando-se que a derivada deve ser calculada em u = 2 .

Somente para ressaltar a complexidade do mtodo, devemos lembrar que uma matriz quadrada
de ordem 2N , em que N corresponde ao nmero de stios da cadeia de spin do modelo. Sendo assim,
devemos inverter esta matriz e multiplic-la pela derivada de cada um dos elementos de , para em seguida
substituirmos o valor do parmetro espectral u. Desnecessrio dizer que este problema pode se tornar
bastante complexo e, por causa disto, foi preciso utilizarmos um software de manipulao algbrica, o
Maple.
Para os autovalores da matriz
(eq. (2.61)), podemos aplicar o mesmo procedimento e calcular
diretamente os autovalores do hamiltoniano do modelo

Modelo
d
log
du
u= 2
1
u= 2
d
du
u= 2
(2.72)
em que, novamente, aps a derivao, substituimos o argumento da expresso por u = 2 . Neste caso, o
clculo se torna um pouco mais simples do que o anterior, que era matricial.
Depois de calculados os hamiltonianos e os autovalores pelo mtodo de Baxter, zemos a vericao
tambm atravs do Maple, comparando os resultados obtidos com as expresses explcitas dos hamiltonianos e dos autovalores de cada modelo, uma vez que estes so construdos a partir do respectivo
modelo fsico. Estes estudos detalhados de cada modelo sero realizados nos captulos seguintes, dentro
da segunda parte da dissertao.
Parte II
Modelos de Spins
33
Captulo 3
Modelo de Heisenberg
A partir deste captulo, estudaremos trs modelos de spins: Heisenberg, Sklyanin e Cherednik. Veremos
suas propriedades fsicas, caractersticas particulares e faremos comparaes a m de compreendermos
melhor as conexes existentes entre estes modelos primeira vista to distintos. Para efetuarmos estes
estudos, usaremos todo o ferramental matemtico desenvolvido nas sees do captulo 2, em que apresentamos o ansatz de Bethe algbrico (ABA). Iniciaremos nossas investigaes pelo modelo de Heisenberg,
que muito similar ao modelo de Ising clssico, com a diferena fundamental de tratar-se de um modelo
quntico que servir como um padro de comparao de resultados com os outros modelos.
3.1
Hamiltoniano do Modelo
O modelo de Heisenberg da Mecnica Estatstica um modelo para spins com interao entre vizinhos
prximos, anlogo ao modelo de Lenz-Ising apresentado na seo 1.1. Neste modelo simplicado de
cadeias de spins qunticos, tambm chamado de modelo XXX de spin
1
2
[8], vamos considerar uma cadeia
unidimensional constituda por N stios que interagem com seu vizinho prximo mediante uma constante
de acoplamento J, que assume o mesmo valor em qualquer direo. Devido a esta caracterstica, podemos
escrever o hamiltoniano para um total de N stios da seguinte forma
H=J
N
X
i+1 ;
(3.1)
i=1
em que !a um vetor que atua no stio a e cujas componentes so as matrizes de Pauli. Como nenhum
dos termos do produto escalar dentro do somatrio privilegiado, isto , a interao entre as diferentes
componentes do vetor !a com as do prximo vetor de spin que atua no stio vizinho rotulado como a + 1
possui a mesma intensidade, teremos o mesmo peso para qualquer termo, permitindo-nos reescrever o
hamiltoniano (3.1) como
H=J
N
X
x x
i i+1
y y
i i+1
z z
i i+1
(3.2)
i=1
em que podemos ver explicitamente as matrizes de Pauli. Este hamiltoniano possui uma estrutura geral
que anloga aos hamiltonianos dos modelos a serem estudados nos prximos captulos, em particular,
todos possuem uma constante de acoplamento entre stios vizinhos, o que uma caracterstica dos modelos
35
36
CAPTULO 3. MODELO DE HEISENBERG
fsicos com interaes entre spins. Estes modelos so de grande utilidade para a mecnica estatstica ao
descreverem os fenmenos fsicos em materiais magnticos.
possvel acrescentarmos outras interaes nestes modelos como, por exemplo, um termo incluindo
uma interao entre as componentes do spin e um campo magntico externo. Estas anisotropias no
acoplamento entre os spins tambm produzem diversos modelos com uma riqueza de propriedades fsicas
bem maior em relao ao modelo de Heisenberg que apresentaremos.
Assim como zemos para o modelo de Lenz-Ising (seo 1.1), utilizaremos uma condio de contorno
peridica, ou seja, faremos com que !N +1 seja igual a !1 , o que equivale a construirmos a cadeia fechada
com N stios da gura 3.1.
N 1
N 2 . . . 4
Figura 3.1: Representao esquemtica de uma cadeia peridica de N stios.
No segundo captulo (seo 2.1) apresentamos o operador de spin !
s (eq. (2.3)) e as combinaes s+
es
de suas primeiras componentes, que satisfazem a lgebra da equao (2.4). Notamos tambm que,
para um sistema de N stios, os operadores de spin atuaro num stio especco (eq. (2.5)), satisfazendo
uma lgebra (eq. (2.6)) semelhante quela das componentes do operador !
s.
Sendo assim, podemos reescrever o hamiltoniano do modelo de Heisenberg (eq. (3.2)) como
HXXX =
N 1
1 X
sxn sxn+1 + syn syn+1 + szn szn+1 +
sxN sx1 + syN sy1 + szN sz1 ;
(3.3)
n=1
em que acrescentamos o ltimo termo para satisfazer a condio de contorno peridica !

s N +1 = !
s1 e
introduzimos o parmetro , cuja dimenso o inverso de uma constante de acoplamento, que ter a sua
utilidade apresentada somente no penltimo captulo, quando estudaremos a aproximao BCS para a
supercondutividade. Na verdade, este ltimo parmetro j foi apresentado no nal da seo 2.4, quando
resolvemos as equaes de Bethe para um caso bem simples pois escrevemos os pesos de Boltzmann x1 (u)
e x2 (u) explicitamente, encontrando um polinmio de 2o grau. Em seguida, na seo 2.5, utilizamos o
parmetro
para reescrevermos o operador de Lax (eq. (2.70)) em funo deste e do parmetro espectral
u. Outra situao em que o
apareceu foi na seo 2.2 quando denimos a matriz auxiliar R(u) em
termos das amplitudes a(u), b(u) e c(u) (eq. (2.11)).
Uma outra maneira de escrevermos o hamiltoniano acima seria em termos dos operadores s+ =
sx + isy e s = sx
isy que, conforme j foi dito, apresenta uma lgebra de momento angular conhecida,
possibilitando a diagonalizao do modelo. Desta forma, obtemos outra expresso para o hamiltoniano
3.2. ABA E DIAGONALIZAO DO HAMILTONIANO
37
HXXX da equao (3.3)

HXXX =
em que o fator
1
2
N 1
1 X
+
z z
s+
n sn+1 + sn sn+1 + 2sn sn+1 +
+
z z
s+
N s1 + sN s1 + 2sN s1 ;
(3.4)
n=1
que surgiu foi absorvido pela constante de acoplamento.
Com a inteno de permitir uma melhor visualizao do hamiltoniano HXXX , vamos obt-lo explici-
tamente para uma cadeia de dois stios (N = 2) substituindo os operadores de spin na expresso (3.4),
resultando em
(N =2)
HXXX
em que notamos a dimenso 4
B
B0
=B
B0
@
0
C
0C
C;
0C
A
(3.5)
4 da matriz que corresponde ao operador hamiltoniano. Como j
comentamos, a dimenso deste operador 2N , com N sendo o nmero de stios da cadeia de spins.
Podemos tambm obter este hamiltoniano atravs do mtodo criado por Baxter em 1973, apresentado
na seo 2.5, que corresponde a tomarmos a derivada logartmica da matriz de transferncia
em u =
(eq. (2.71)):
HXXX =
@
@u
(3.6)
Ambas as maneiras de calcular o hamiltoniano foram utilizadas e, com a ajuda do programa Maple,
comparadas at N = 6, conrmando a equivalncia dos dois mtodos empregados na construo destes
hamiltonianos. O mtodo da derivada logartmica tambm nos permite obter os autovalores do hamiltoniano HXXX , conforme apresentado na seo 2.5 do captulo anterior (equao (2.72)). Faremos este clculo
explicitamente na prxima seo, quando diagonalizaremos o hamiltoniano do modelo de Heisenberg.
3.2
ABA e Diagonalizao do Hamiltoniano
Na seo 2.3, em que apresentamos a diagonalizao da matriz de transferncia atravs da utilizao do

ABA, realizamos a generalizao do mtodo obtendo uma expresso para os autovalores (eq. (2.72)), que
repetimos abaixo
XXX
u= =2
@
@u
u= 2
(3.7)
Partindo desta expresso, calcularemos a equao que fornecer os autovalores do modelo de Heisenberg e nos auxiliar na diagonalizao deste modelo. Vamos relembrar da expresso para os autovalores
(eq. (2.61)) que encontramos a partir da generalizao dos casos estudados para diferentes valores de M
(u) =
M
Y
a(vi
i=1
b(vi
u)
u)
1 (u) +
M
Y
a(u
i=1
b(u
vi )
vi )
2 (u):
(3.8)
Precisamos recordar das amplitudes, que foram apresentadas quando mencionamos a matriz auxiliar
R (eq. (2.11)) na seo 2.2,
a(u) = u + ;
b(u) = u;
c(u) = ;
(3.9)
38
e tambm dos autovalores de A(u) e D(u) (equaes (2.22)) que, por sua vez, so funes dos pesos de
Boltzmannn x1 (u) e x2 (u), respectivamente,
1 (u)
= (x1 (u))N = u +
2 (u)
= (x2 (u))N = u
2
N
(3.10a)
(3.10b)
em que N representa o nmero de stios da nossa cadeia de spins e u e
so parmetros complexos.
Substituindo as relaes (3.9) e (4.16) em (3.8), chegamos na expresso que iremos manipular
(u) =
M
Y
vi
i=1
u+
vi u
u+
M
Y
u
vi +
u vi
i=1
(3.11)
primeiramente, fazendo a inverso desta e calculando-a em u = 2 , resultando em

1
1
N
M
Y
vi
vi +
i=1
(3.12)
e agora, derivando a mesma expresso (eq. (3.11)) em relao a u temos, aps algumas manipulaes
algbricas, o seguinte resultado
d (u)
du
u+
+ u
M
Y
vi
2
N
i=1
M
Y
u+
vi u
u
i=1
vi +
u vi
N
u+
!
+
2
N
u
M
X
(v
u) (vi
i=1 i
M
X
i=1
(u
u+ )
vi ) (u
vi + )
(3.13)
em que substituiremos o argumento u por 2 , conforme especicado por Baxter (eq. (3.7)), encontrando
a seguinte expresso
d
du
M
Y
vi +
i=1
vi
2
2
M
X
i=1
Comparando esta ltima equao com a inversa de
vi
vi +
(3.14)
(u) (eq. (3.12)), notamos que esta composta
por dois fatores (a frao e o produtrio) que so exatamente o inverso dos dois primeiros fatores da
derivada calculada a pouco (eq. (3.14)) e, portanto, ao realizarmos o produto destas duas expresses,
seguindo o procedimento de Baxter, estes termos cancelar-se-o, restando somente a expresso abaixo
XXX
M
X
i=1
vi
vi +
(3.15)
que corresponde equao dos autovalores do modelo de Heisenberg obtida atravs do ansatz de Bethe
algbrico. Esta expresso ser a base da nossa diagonalizao deste modelo pois fornecer a energia dos
auto-estados do hamiltoniano HXXX (eq. (3.4)) que compararemos com a diagonalizao direta, feita
com o auxlio do programa Maple.
39
Antes de prosseguirmos na obteno destes autovalores, precisaremos resolver as equaes de Bethe

(eq. (2.67)), que generalizamos na seo 2.4 e precisam ser satisfeitas para garantir que temos em mos
um problema de autovalores. Vamos descobrir os valores das incgnitas vi para N = 2, 4 e 6 e M variando
de 0 at
N
2,
a m de obtermos os auto-estados do hamiltoniano de Heisenberg.
No nal da seo 2.4, apresentamos um exemplo de resoluo das equaes de Bethe a ttulo de
ilustrao. O caso estudado foi N = 2, que possua duas situaes: M = 0 e M = 1, cada uma destas com
as suas respectivas equaes de Bethe (equaes (2.68) e (2.69)). Elas forneceram o seguinte conjunto de
razes para o parmetro v1 :
i 2 ; 0; i 2 , sendo que, para o caso M = 1, a equao admite tambm
como soluo v1 = 1 mas, para este valor, o operador de criao B(v), que apareceu pela primeira vez
como uma das entradas da matriz de monodromia TN (u) (eq. (2.9)) e gera os estados de Bethe (eq.
(2.21)) , no produz nenhuma soluo fsica, uma vez que o operador S
(que corresponde ao limite de
B(v) para v ! 1) no cria auto-estados do hamiltoniano de Heisenberg.

Esta mesma raiz v1 ser o argumento do operador de criao B(v1 ), resultando na equao de autovalor
para o hamiltoniano de Heisenberg
HXXX B(0)
B(0)
0;
(3.16)
em que utilizamos uma das razes de Bethe (v1 = 0) para ilustrar o auto-estado de Bethe. A interpretao
deste nosso exemplo bem simples que temos neste caso um sistema com dois stios em que somente uma
partcula, cuja energia
, foi criada. Conseguimos ento obter o nico estado deste sistema a partir
da soluo da equao de Bethe. Veremos nesta seo que isto nem sempre possvel.
De posse das solues das equaes de Bethe para este caso, vamos substitu-las na equao (3.15)
para descobrir a quais autovalores correspondem as razes encontradas v1 . Ao fazermos isto, vericamos
que ambas as razes conjugadas
i 2 fornecem o mesmo autovalor, que nulo. J a outra raiz (v1 = 0)
produz um autoestado com autovalor igual a
(M =1)
XXX
), contablizando assim dois autoestados
do hamiltoniano HXXX para N = 2, os mesmos que obtivemos a partir da diagonalizao com o Maple
do hamiltoniano da equao (3.5).
A partir deste ponto, em virtude dos cculos tornarem-se mais extensos, dividiremos em tpicos para
facilitar a leitura e a compreenso dos resultados obtidos na diagonalizao do hamiltoniano do modelo
XXX estudado. Seguiremos a estrutura de apresentao utilizada no caso N = 2, resolvendo as equaes
de Bethe primeiramente para, em seguida, substituir as razes encontradas na expresso dos autovalores
XXX
e comparar estes resultados com aqueles obtidos atravs da diagonalizao direta com o Maple do
hamiltoniano HXXX .
Para ilustrarmos a existncia de auto-estados ausentes nas solues das equaes de Bethe, resolveremos os casos N = 4 e N = 6 mostrando quais estados no podem ser obtidos a partir destas equaes e
proporemos um operador que criar estes estados ao atuar no estado de referncia
0.
N =4
Iremos analisar os trs casos possveis: M = 0, M = 1 e M = 2. Para M = 0, podemos utilizar a
40
expresso (3.15) para escrever a seguinte equao de Bethe

v1 +
4
2
v1
1;
(3.17)
que apresenta quatro solues possveis para a incgnita v1 :
2+1)
2
2+1)
2
,i
2 1)
2
2 1)
2
por tratar-se de um polinmio de quarto grau. Pela diagonalizao direta, estas razes fornecem cinco
auto-estados degenerados correspondentes a um quintupleto com energia igual a 4 .
J para M = 1 podemos escrever a seguinte equao de Bethe
4
v1 +
v1
= 1;
(3.18)
que satisfeita pelo conjunto soluo v1 = 0; i 2 ;
i 2 . A quarta soluo daquele polinmio de quarto
grau seria v1 = 1, este resultado porm no criar nenhum estado de peso mais alto pois, quando colocado
como argumento do operador B, no limite, resultar no operador SG que, conforme j comentamos, no

produz os estados de peso mais alto. Este operador global, denido como
SG =
N
X
sa ;
(3.19)
a=1
responsvel pela obteno dos auto-estados do hamiltoniano a partir do auto-estado de maior peso.
Com estas razes da equao (3.18), calculamos os valores possveis das energias dos auto-estados,
usando a equao (3.15), resultando em dois autovalores: 0 e
, que correspondem, respectivamente, a
um e dois tripletos.
As equaes de Bethe para o caso M = 2, o ltimo a ser considerado quando N = 4, so
2
v2 +
v2
que fornecero mais seis solues: v1 = i

2
v1 +
v1
3
6
, enquanto as outras quatro solues: i
v1
v1
v2 +
;
v2
(3.20a)
v2
v2
v1 +
;
v1
(3.20b)
2
4
2
e v2 =
p
( 2 1)
2
3
6 que correspondem
p
p
( 2+1)
( 2 1)
i
,
i
e
2
2
a um singleto com autovalor

p
( 2+1)
i
, s satisfazem as
2
equaes de Bethe quando v1 = v2 , o que impossvel pelo princpio da excluso de Pauli pois os operadores
de criao B(vi ) com o mesmo argumento criam dois frmions com nmeros qunticos idnticos num
mesmo stio.
Realizando a contabilidade nal dos auto-estados encontrados a partir das razes das equaes de
4
Bethe para o modelo de Heisenberg no caso N = 4 temos: um quintupleto com energia

trs tripletos com energias 0 e
para M = 1 e um singleto com energia
para M = 0,
para M = 2, totalizando assim
quinze auto-estados. Vericamos ento a ausncia de um singleto de autovalor igual a
, que pudemos
obter atravs da diagonalizao direta do hamiltoniano utilizando o programa Maple, lembrando que
o nmero de auto-estados do hamiltoniano igual dimenso do espao de Hilbert do modelo fsico
41
considerado, no nosso caso 2N (seo 2.3), portanto teremos para o caso estudado 16 auto-estados.
Vamos agora estudar o prximo caso em que tambm no conseguimos obter todos os auto-estados
do hamiltoniano a partir das solues das equaes de Bethe.
N =6
Desta vez analisaremos quatro possibilidades: M = 0, M = 1, M = 2 e M = 3. Comeando com

M = 0, temos a seguinte equao de Bethe
v1
v1 +
6
2
1;
(3.21)
que corresponde a um polinmio de sexto grau cujas seis solues

v1 =
i ; i ;i
2
2
(2
3)
; i (2
2
3); i (2 +
2
3); i
(2 +
p
2
3)
ao serem substitudas na equao (3.15), resultaro no mesmo autovalor 6 . Este o valor da energia de
sete autovetores degenerados, correspondendo assim a um septupleto.
O que zemos foi diagonalizar o hamiltoniano do modelo no Maple e comparar com as solues das
equaes de Bethe pois, so resultados obtidos atravs de mtodos independentes e assim podemos vericar
se possvel encontrar todos os auto-estados do modelo de Heisenberg a partir das razes das equaes
de Bethe. At agora encontramos um autovetor para M = 0.
Para M = 1, resolvemos a seguinte equao de Bethe
v1
v1 +
6
2
= 1;
(3.22)
n
que satisfeita pelo conjunto de cinco razes v1 = 0; i
p
6
; i
3
6
;i
; i
3
2
o
, o que mostra que este
polinmio de quinto grau e no de sexto como aparenta pelo expoente do primeiro membro. A primeira
delas, v1 = 0, substituda na equao (3.15), fornece o autovalor
, que corresponde energia de sete
auto-estados degenerados (dois singletos e um quintupleto). As razes p i

quintupletos formados por dez auto-estados de energia
e as razes
3
6
sero responsveis por dois
resultaro, aps substituio na
equao (3.15), em mais dois quintupletos degenerados com autovalor igual a 5 . Sendo assim, encontramos
mais vinte e sete auto-estados do hamiltoniano do modelo de Heisenberg para o caso M = 1, alm dos
sete obtidos anteriormente para M = 0, totalizando, por enquanto, trinta e quatro auto-estados.
Vamos agora estudar a terceira possibilidade, M = 2, resolvendo o seguinte sistema de equaes de
Bethe
6
v1
v1 +
v2
v2 +
v1
v1
v2
;
v2 +
(3.23a)
v2
v2
v1
;
v1 +
(3.23b)
2
6
2
42
encontramos os seguintes conjuntos de solues

v1 = v2 =
10
25
10 5; i
10
25
10 5; i
10
25 + 10 5; i
10
q
p
25 + 10 5 ;
que so solues da mesma equao algbrica de segundo grau; temos tambm as solues de um polinmio
de quarto grau:
n p
v1 = v2 = i ( 11
8
p
3); i ( 11
8
p
p o
p
p
3); i ( 11 + 3); i ( 11 + 3) ;
8
8
e, por ltimo, as solues de uma mesma equao algbrica de oitavo grau
v1 = v2 =
8
>
>
>
>
>
>
<
>
>
>
>
>
>
:
7 + 17 + 606 + 174 17; i 8 7 + 17

606 + 174 17;
q
p
p
p
p
p
p
i 8 7 + 17 +
606 + 174 17; i 8
7 + 17
606 + 174 17;
q
q
p
p
p
p
p
p
i8
7 + 17 + 606 + 174 17; i 8 7 + 17
606 + 174 17;
q
q
p
p
p
p
p
p
606 + 174 17; i 8
7 + 17
606 + 174 17
i 8 7 + 17 +
i8
q
9
>
>
>
>
>
>
=
>
>
>
>
>
>
;
Com estes trs conjuntos de solues, encontramos mais cinco autovalores, substituindo pares fv1 ; v2 g
adequados na equao (3.15). Combinando as quatro razes obtidas

para v1 com as quatro obtidas para v2
p
do primeiro conjunto de solues, encontramos os autovalores
das equaes de Bethe, descobrimos mais um autovalor:
obtivemos mais dois autovalores:
17
, j para o segundo conjunto de solues
. E, nalmente, para o terceiro grupo de razes,
. Os dois primeiros autovalores correspondem s energias de um
tripleto cada, totalizando seis auto-estados, enquanto os outros trs autovalores respondem pelas energias
de dois tripletos cada, acrescentando mais dezoito auto-estados. Temos assim, para o caso M = 2, vinte
e quatro auto-estados que, somados queles at agora obtidos, resultam em cinquenta e oito auto-estados
para o hamiltoniano de Heisenberg.
Finalmente, a ltima possibilidade M = 3, cujas solues sero obtidas a partir do seguinte sistema
de equaes de Bethe
6
v1
v1 +
v2
v2 +
v3
v3 +
(v1
(v1
v2
) (v1
v2 + ) (v1
v3
)
;
v3 + )
(3.24a)
(v2
(v2
v1
) (v2
v1 + ) (v2
v3
)
;
v3 + )
(3.24b)
(v3
(v3
v1
) (v3
v1 + ) (v3
v2
)
:
v2 + )
(3.24c)
2
6
2
6
2
Resolvendo este sistema de equaes acopladas, encontramos mais dois conjuntos de razes que resultaro em auto-estados do nosso hamiltoniano. O primeiro conjunto de solues
v1 = v3 =
q
p
15 + 6 13;
q
q
p
15 + 6 13;
15
6
6
6 13;
15
p
6 13
e v2 = 0, sendo que v1 e v3 so solues da mesma equao algbrica de quarto grau; j o segundo conjunto,
3.3. CONSTRUO DOS AUTOVETORES DO HAMILTONIANO
43
em que v1 = v2 = v3 , por apresentar razes imensas sem a possibilidade de simpllicao, mostr-las-emos

calculadas numericamente at a terceira casa decimal:
f0; 472 i; 0; 472 i; (0; 500 + 0; 236i) ; (0; 500
0; 236i) ; (0; 500 + 0; 236i) ; (0; 500
0; 236i) g ;
na verdade, os conjuntos v1 e v3 so compostos por doze razes que se repetem duas a duas e somente
o conjunto v2 formado pelas seis razes apresentadas. Com mais estes dois conjuntos de solues,
obtivemos os seguintes auto-estados
para o modelo XXX: a partir do primeiro conjunto, encontramos dois
p
autovalores possveis:
13
, que representam as energias de um singleto cada um e, as razes do segundo
conjunto soluo fornecem o autovalor 2 , que equivale energia de mais dois singletos e um quintupleto,
auto-estados estes que j haviam sido encontrados no caso M = 1.
Obtivemos assim mais dois auto-estados, resultando em um total de sessenta autovetores encontrados
a partir das solues das equaes de Bethe. Deveramos ter encontrado sessenta e quatro auto-estados
pois esta a dimenso do espao de Hilbert para este caso em que temos seis stios na cadeia de spins de
Heisenberg. Esto ausentes os auto-estados correspondentes um singleto de energia nula e um tripleto
de energia 4 .
3.3
Construo dos Autovetores do Hamiltoniano
Neste ponto, com o intuito de compreendermos melhor o conjunto de tcnicas utilizadas at o momento no
estudo do hamiltoniano HXXX (eq. (3.4)), vamos mostrar alguns clculos explcitos para o caso N = 2.
Esta seo ter o objetivo didtico de ilustrar o mtodo do ansatz de Bethe algbrico para esta situao
extremamente simples envolvendo dois stios.
Comearemos mostrando o resultado da diagonalizao direta do hamiltoniano do modelo para N = 2

(N =2)
realizada no Maple. Encontramos dois autovalores possveis para os quatro autovetores de HXXX (eq.
(3.5)), so eles
, sendo este ltimo triplamente degenerado. O primeiro autovalor est associado
ao autovetor
B C
B 1C
!
C
w1 = B
B 1 C;
@ A
0
(3.25)
enquanto o segundo autovalor est relacionado ao tripleto

0 1
1
B C
B
0C
!
C
w2 = B
B0C ;
@ A
0
0 1
0
B C
B
1C
!
C
w3 = B
B1C ;
@ A
0
0 1
0
B C
B
0C
!
C
w4 = B
B0C :
@ A
1
(3.26)
Conforme estudamos nesta seo e no captulo anterior (seo 2.3), este caso possui duas equaes
de Bethe: equao (2.68) para M = 0 e equao (2.69) para M = 1, cujas solues para a varivel v1
so
i 2 ; 0; i 2 . Vimos que as razes complexas conjugadas, quando substitudas na equao (3.15),
fornecem a energia do tripleto correspondente aos autovetores (3.26) enquanto a raiz nula produz o
44
autovalor correspondente energia do singleto (3.25). Portanto, nesta situao, no temos auto-estados
ausentes que no podem ser obtidos a partir da equaes de Bethe como ocorreu para N = 4 e N = 6,
ou seja, as solues destas equaes formam um conjunto completo.
Olhando inicialmente para o tripleto (3.26), podemos descobrir quem o estado de maior peso fazendo
+
com que o operador global SG
, anlogo ao operador da equao (3.19), e denido por
+
SG
=
N
X
s+
a;
(3.27)
a=1
atue em todos os vetores de estado do tripleto. Os operadores sza , s+

a e sa (eq. (2.5)) so denidos a
partir das matrizes que formam a base (eq. (2.2)) e esto escritos explicitamente abaixo
sz1
= s
= s+
s+
1
s1
= s
1
2
B
B0
I=B
B0
@
0
0
0
B
B0
I=B
B0
@
0
0
0
B
B0
I=B
B1
@
0
1
2
0
0
1
2
C
0 C
C;
0 C
A
sz2
=I
1
2
1
0 1 0
C
0 0 1C
C;
0 0 0C
A
0 0 0
1
0 0 0
C
0 0 0C
C;
0 0 0C
A
1 0 0
s+
2 =I
s2 = I
1
2
B
B0
s =B
B0
@
0
0
z
0
1
2
0
0
1
2
C
0 C
C;
0 C
A
(3.28a)
1
2
1
0 1 0 0
B
C
B0 0 0 0C
+
C
s =B
B0 0 0 1C ;
@
A
0 0 0 0
0
1
0 0 0 0
B
C
B1 0 0 0C
B
C:
s =B
C
@0 0 0 0A
0 0 1 0
(3.28b)
(3.28c)
Finalmente, podemos escrever o operador global que atuar nos autovetores do tripleto
0
0
B
B
+
+
B0
SG
= s+
1 + s2 = B
@0
0
1
1 1 0
C
0 0 1C
C;
0 0 1C
A
0 0 0
e, com isso, vericamos que o autovetor !

w 2 cancelado por este operador
0 1
0
B C
B0C
+!
C
SG
w2 = B
B0C ;
@ A
0
(3.29)
sendo este portanto o auto-estado de maior peso.

Todo o mtodo do ansatz de Bethe algbrico construdo a partir deste auto-estado pois ser ele que
dar origem aos outros autovetores do multipleto. No caso do tripleto que estamos estudando, vamos
3.3. CONSTRUO DOS AUTOVETORES DO HAMILTONIANO
45
atuar com outro operador global, SG , dado por

1
0 0 0 0
C
B
B1 0 0 0C
C;
B
SG = s1 + s2 = B
C
@1 0 0 0A
0 1 1 0
0
no autovetor !
w 2 , como mostrado abaixo
SG !
w2 = !
w 3;
!
SG !
w4 = 0 :
SG !
w 3 = 2!
w 4;
(3.30)
Estes resultados podem ser interpretados como um problema de momento angular. Para descobrirmos
z , obtido a partir (3.28a),
os valores dos spins dos auto-estados, atuamos com o operador global SG
0
1
B
B0
z
SG
= sz1 + sz2 = B
B0
@
0
0 0
0 0
0 0
0 0
C
0C
C;
0C
A
1
em cada autovetor, resultando nas equaes de autovalor

z!
SG
w 2 = +!
w 2;
!
z!
SG
w3 = 0 ;
z!
SG
w4 =
que mostra os valores possveis para os spins do tripleto (+1, 0 e
!
w 4;
1), para o caso do tripleto de uma
cadeia de dois stios. Sendo assim, podemos representar os auto-estados do nosso hamiltoniano em termos
de spins para cima (") e para baixo (#), reescrevendo-os como
!
w 2 = j""i ;
1
!
w 3 = p (j"#i + j#"i) ;
2
!
w 4 = j##i :
z nos autovetores (3.26) equivale a somar os spins de

Desta forma ca fcil perceber que atuar com SG
cada stio, lembrando que em cada stio eles podem assumir os valores + 12 ou
1
2.
Por sua vez, atuar
com SG nos mesmos autovetores (3.26) signica baixar um spin em um dos dois stios, partindo do
estado com maior spin (o estado de peso mais alto !
w 2 ) at obtermos o estado de menor spin !
w 4 que,
por ter todos os seus spins apontando para baixo, ser anulado quando este operador ating-lo como
vimos na ltima expresso de (3.30). Isto anlogo a queremos levantar um spin do estado de maior
peso, conforme observamos na equao (3.29), em que o auto-estado !
w foi cancelado pelo operador que
2
+
levanta um spin SG
.
Utilizando este mesmo raciocnio, notamos que o singleto (3.25) um estado de peso mais alto (pois
!
= 0 ) em que um dos spins j est apontando para baixo e seu spin total nulo (isto ,
!
= 0 ). Como este o nico auto-estado para M = 1, no podemos baixar o outro spin logo,
!
SG !
w1 = 0 .
+!
SG
w1
!
z
SG w 1
Os estados de Bethe
da equao (2.21) podem ser obtidos atravs da substituio das razes
46
encontradas no argumento do operador da expresso abaixo

0
B
B u
B(u) = B
B u+
@
0
2
2
u+
C
0C
C;
0C
A
0
(3.31)
que vlido para uma cadeia de dois stios. Lembremos que estes operadores so extrados da matriz de
monodromia (eq. (2.9)), de acordo com o estudo que realizamos na seo 2.1.
Para o tripleto, temos uma situao trivial em que no h operadores B(u) atuando no vcuo 0 pois,
partimos deste (autovetor !
w 2 ) para construir os auto-estados que completam o multipleto. J para o
singleto, a soluo nula da equao de Bethe fornece o operador B(0) que, ao atuar em
vetor proporcional a !
w
0,
produz um
B(0)
B
B
=B
B
@
10 1 0
1
0
0
1
CB C B 2C
2
C
B C B
0C
C B0C = B 22 C = !
w 1:
C
B C B
2
0C
A @0A @ 2 A
0
0
0
0
2
Para nalizar a seo, vamos apresentar o operador que cria os auto-estados ausentes do hamiltoniano
do modelo de Heisenberg. Trata-se do operador bilinear em sn abaixo
V
(N )
N
X1
( 1)n sn sn+1 + ( 1)N sN s1 ;
n=1
que criar o estado de peso mais alto ao atuar no estado de referncia
0.
Em geral, este auto-estado
singular satisfaz as seguintes relaes

z (N )
SG
V
HXXX V (N )
(N
4)
V (N )
0;
2)
V (N )
0;
2
(N
e, para valores de N par, ele gera sempre o auto-estado de maior peso que dar origem aos outros estados
do multipleto, conforme vericamos no Maple at N = 8. J para valores mpares de N , o operador V (N )
cria estados proporcionais ao operador s1 atuando no estado de referncia
exatamente o singleto de autovalor
0.
Para N = 4, obtemos
que no pode ser obtido a partir das razes das equaes de Bethe.
Captulo 4
Modelo de Heisenberg-Sklyanin
Aps estudarmos em detalhes o modelo de Heisenberg na seo anterior, vamos considerar um modelo com
uma matriz de borda diagonal e vericar as conseqncias fsicas. Novamente, assim como zemos para o
modelo XXX, utilizaremos o ansatz de Bethe algbrico para diagonalizar o hamiltoniano e compararemos
os auto-estados obtidos atravs deste mtodo com aqueles calculados pelo Maple, tendo como referncia
o que ocorreu para o modelo de Heisenberg.
4.1
Hamiltoniano e Diagonalizao do Modelo
Comearemos realizando todo o procedimento do ansatz de Bethe algbrico (ABA), apresentado no captulo 2, para este modelo de spin. Introduziremos uma matriz de borda diagonal G [9] dada por
G=
G1
G2
(4.1)
que ser utilizada na construo da matriz de monodromia abaixo

TGN (u) = GLN (u)LN
1 (u)
L3 (u)L2 (u)L1 (u);
(4.2)
que anloga expresso (2.8) do modelo de Heisenberg (captulo 3), multiplicada agora pela matriz G.
Na verdade, podemos utilizar qualquer matriz de borda que satisfaa a relao [4]
[R(u); G
G] = 0;
em que R(u) a matriz auxiliar das equaes de Yang-Baxter (eq. (2.14)).

Relembrando da forma matricial de TN (eq. (2.9)), podemos escrever
TGN (u) =
G1
G2
A(u) B(u)
C(u) D(u)
(4.3)
Tomando o trao da matriz de monodromia (eq. (2.16)), obtemos a matriz de transferncia do modelo
47
48
CAPTULO 4. MODELO DE HEISENBERG-SKLYANIN
que satisfaz a seguinte relao de comutao

[ (u); (v)] = 0;
simetria esta importante que usaremos na diagonalizao do hamiltoniano. A ttulo de ilustrao, para
que possamos ter uma idia da complexidade da diagonalizao do hamiltoniano, apresentamos a matriz
(u) para N = 2, situao ainda bastante simples do ponto de vista algbrico,
0
G1 u +
B
B
B
B
B
@
(u) = trao (GL2 (u)L1 (u)) =

2
2
+ G2 u
0
2
(G1 + G2 ) u2
0
0
G2
G1
0
2
(G1 + G2 ) u2
0
0
G1 u
2
2
+ G2 u +
2
2
C
C
C
C:
C
A
(4.4)
Esta matriz fundamental no nosso mtodo pois, a partir dela que conseguimos determinar o
hamiltoniano de nossos modelos, de acordo com o estudo realizado na seo 2.5. Mostraremos agora como
calcular o hamiltoniano de Sklyanin para este caso mais fcil de ser tratado. Precisamos obter a inversa de
(4.4), clculo este realizado no Maple e que resulta numa matriz com entradas complicadas, e substituir
o argumento u por
(u)
u= 2
2G
1
B
B 0
=B
B 0
@
0
C
0 C
C:
0 C
A
2G
2
2G
1
(4.5)
2G
2
Necessitamos tambm da derivada da expresso (4.4) calculada em u = 2 , mostrada a seguir
@
(u)
@u
u= 2
2 G1
B
B 0
=B
B 0
@
0
C
0 C
C;
(G1 + G2 )
0 C
A
0
2 G2
(G1 + G2 )
0
0
(4.6)
que, ao ser mutiplicada pela inversa de (u) (eq. (4.5)) obtida a pouco, resultar no hamiltoniano para
este caso
(N =2)
HSklyanin
B
B0
=B
B0
@
0
G1 +G2
G2
G1 +G2
G1
C
0C
C:
0C
A
(4.7)
Repetimos estes clculos no aplicativo Maple para N = 3 e 4 a m de generalizarmos o hamiltoniano

de Sklyanin para N stios, o resultado um hamiltoniano muito similar ao do modelo de Heisenberg
HSklyanin =
N 1
1 X
n=1
+
z z
s+
n sn+1 + sn sn+1 + 2sn sn+1 +
G2 +
G1
sN s1 +
s s+ + 2szN sz1 ;
G1
G2 N 1
(4.8)
4.1. HAMILTONIANO E DIAGONALIZAO DO MODELO
49
com uma diferena na interao entre o N -simo e o primeiro stios da cadeia de spins, conforme podemos
observar no ltimo termo do hamiltoniano acima. A matriz de borda G (eq. (4.1)) introduz uma
anisotropia na interao entre o ltimo e o primeiro stios que fecha a cadeia de spins, ou seja, pas-
samos a ter condies de contorno peridicas tambm neste caso. Esta condio de fronteira chamada
na literatura de condio de contorno twisted [10].Este poderoso mtodo idealizado por Baxter nos possibilitou calcular o hamiltoniano HSklyanin e nos permitir calcular os autovalores deste modelo, de acordo
com a descrio da seo 2.5 (eq. (2.72)).
Para prosserguirmos com o ABA, vamos obter as relaes fundamentais de comutao para os operadores da nova matriz de monodromia que inclui a matriz de borda G. Vamos relembrar a equao de
Yang-Baxter (eq. (2.14)), apresentada no captulo 2
R(u
v)T1 (u)T2 (v) = T2 (v)T1 (u)R(u
v);
que corresponde a dezesseis relaes envolvendo os operadores que constituem as entradas da matriz
de monodromia (eq. (2.9)). Mesmo com todas as transformaes que vimos at agora na matriz de
monodromia, na matriz de transferncia e, conseqentemente, no hamiltoniano do modelo, as relaes
fundamentais de comutao so idnticas s do modelo de Heisenberg (equaes (2.23)).
Este fato inusitado primeira vista ocorre porque as entradas da matriz G aparecem em combinaes
dos operadores A(u), B(u), C(u) e D(u) que possuem as mesmas constantes multiplicativas em todos os
termos das relaes e, por isso, acabam se cancelando como podemos ver em alguns exemplos ilustrativos
abaixo
u)G21 A(u)B(v) = a(v
b(v
b(u
v)G1 G2 D(u)B(v) = a(u
u)G21 B(v)A(u) + c(u
v)G21 B(u)A(v);
v)G1 G2 B(v)D(u) + c(v
u)G1 G2 B(u)D(v);
em que notamos os fatores constantes que se cancelaro. Apesar disto, teremos autovalores e equaes
de Bethe distintas pois o trao da matriz de monodromia TGN (u) (eq. (4.3)) incluir a constante G1 no
primeiro termo A(u) e a constante G2 no segundo termo D(u) do trao (eq. (2.16)), afetando assim os
autovalores e as equaes de Bethe.
Para obter estas alteraes, vamos escrever o resultado da atuao dos operadores A(u) e D(u) no
estado de Bethe
A(u)
D(u)
B fvi g,
que o mesmo resultado obtido no captulo 3 para o modelo de Heisenberg
B fvi g =
M
Y
a(vi
B fvi g
M
Y
i=1
i=1
b(vi
a(u
b(u
u)
u)
vi )
vi )
1 (u)
B fvi g +
2 (u) B fvi g
M
X
c(u
i=1
M
X
i=1
b(u
c(vi
b(vi
M
Y
a(vj
vi ) B
B
vi ) @
b(vj
vi ) C
C
vi ) A
M
Y
vj ) C
C
vj ) A
j=1
j6=i
u) B
B
u) @
j=1
j6=i
a(vi
b(vi
vi g;
1 (vi ) B fb
(4.9a)
vi g;
2 (vi ) B fb
(4.9b)
em que a, b e c so as entradas da matriz auxiliar R (eq. (2.11)) usada no nosso modelo,

autovalores de A e D, respectivamente, quando atuam no estado de referncia
so os
(eq. (2.22)) e os estados
50
de Bethe so denidos como

B fvi g
= B(v1 )B(v2 )
B(vM
vi g
B fb
= B(v1 )
1 )B(vi+1 )
B(vi
1 )B(vM )
0;
B(vM )
(4.10a)
0;
(4.10b)
em que notamos, na ltima expresso, a ausncia do operador de criao B calculado no argumento vi .

A partir destes resultados, podemos obter, inicialmente, a expresso para os autovalores da matriz de
transferncia, dada pelo trao da matriz de monodromia (eq. (4.3))
GN (u) B fvi g
= trao (TGN (u))
B fvi g
= (G1 A(u) + G2 D(u))

em
GN (u)
B fvi g
GN (u) B fvi g;
(4.11)
corresponde ao autovalor procurado, sendo obtido tomando-se os primeiros termos de (4.9a)
e (4.9b)
GN (u)
= G1
M
Y
a(vi
i=1
u)
u)
b(vi
1 (u)
+ G2
M
Y
a(u
i=1
b(u
vi )
vi )
2 (u);
(4.12)
desde que os ltimos termos destas mesmas expresses se anulem, isto , as equaes de Bethe abaixo
devem ser satisfeitas
M
Y
a(vj
a(vi
vi )
=
vj )
j=1
j6=i
G2
G1
2 (vi )
1 (vi )
(4.13)
Aplicaremos novamente o mtodo de Baxter a m de encontrarmos os autovalores do modelo de

Sklyanin fornecido pelo ABA. Repetiremos passo a passo os clculos realizados a pouco para a obteno
do hamiltoniano (4.8), com a diferena de que no xaremos nenhuma varivel, assim como zemos na
seo 3.2 para o modelo de Heisenberg.
Iniciamos relembrando alguns resultados teis obtidos em captulos anteriores, como a generalizao
dos autovalores a partir dos autovalores da matriz de transferncia (eq. (2.72)) reescrita para o modelo
com borda
Sklyanin
1
GN (u)
u= 2
@
@u
GN (u)
u= 2
(4.14)
precisaremos tambm das amplitudes da matriz R

a(u) = u + ;
e, nalmente, as expresses dos autovalores
b(u) = u;
e
c(u) = ;
(4.15)
dos operadores A(u) e D(u), respectivamente, com
os respectivos pesos de Boltzmann j substitudos

1 (u)
= (x1 (u))N = u +
2 (u)
= (x2 (u))N = u
Podemos escrever explicitamente os autovalores
GN (u)
2
N
(4.16a)
(4.16b)
fazendo as substituies de (4.15) e (4.16) em
4.1. HAMILTONIANO E DIAGONALIZAO DO MODELO
51
(4.12) conforme expresso abaixo

GN (u)
M
Y
u
= G1
i=1
vi
u
vi
u+
M
Y
u
+ G2
vi +
u vi
i=1
(4.17)
que inverteremos e calcularemos em 2 , de acordo com o primeiro fator da equao (4.14)

1
GN
M
Y
vi
1
G1
i=1
vi +
(4.18)
em que notamos a presena de uma das entradas da matriz de fronteira G (4.1) aparecendo no denominador. Calculando agora a derivada de
d
GN
du
GN (u)
M
Y
vi +
= G1
no mesmo argumento
i=1
vi
2
2
M
X
i=1
vi
temos
vi +
(4.19)
que quase a mesma expresso obtida para o modelo de Heisenberg, exceo da constante G1 , que
novamente est presente devido matriz de borda G.
Por ltimo, multiplicaremos estas duas equaes ((4.18) e (4.19)), conforme a prescrio de Baxter,
observando que ocorre o cancelamento dos produtrios e tambm dos fatores constantes, resultando numa
expresso analtica para a equao (4.14)
Sklyanin
M
X
vi
i=1
vi +
(4.20)
que, ao compararmos com os autovalores do modelo de Heisenberg (eq. (3.15)) calculados no captulo
3, vemos surpreendentemente que, graas ao cancelamento da constante G1 , ambas as expresses so
idnticas. Usaremos esta expresso de
Sklyanin
para encontrarmos os autovalores deste modelo atravs
do ABA, assim como zemos para o modelo de Heisenberg.

J possumos diversos resultados para o modelo estudado neste captulo, de tal maneira que podemos
prosseguir com a pesquisa realizando a diagonalizao do hamiltoniano (4.8), seguindo o mesmo roteiro
que utilizamos para encontrar os auto-estados do modelo de Heisenberg no captulo anterior (seo 3.2).
Faremos os clculos em detalhes para N = 2 (eq. (4.7)), caso em que conseguimos tratar algebricamente
os resultados das duas situaes possveis: M = 0 e M = 1.
Comearemos mostrando os trs autovalores do hamiltoniano de Sklyanin para dois stios calculados
diretamente pelo aplicativo Maple:
G
p1 +G2
G1 G2
G
p1 +G2 ,
G1 G2
em que o primeiro autovalor corresponde
energia de dois estados degenerados. Resolveremos as equaes de Bethe (eq. (4.13)) e substituiremos
suas solues na expresso dos autovalores (eq. (4.20)) com o intuito de encontrarmos estes auto-estados
do modelo.
Iniciando com M = 0, temos a seguinte equao de Bethe
G2 v1
G1 v1 +
2
2
2
2
1;
(4.21)
52
cujas solues para a incgnita v1 so

v1 =
G2
p
G1 + 2 G 1 G2 i
2(G1 + G2 )
G2
p
G1 2 G1 G2 i
2(G1 + G2 )
mostrando que a equao (4.21) um polinmio de segundo grau. Ao substituirmos N = 2 e M = 0 na

equao (4.20), descobrimos que os autovalores para este caso independem do valor de v1 , pois
2
(2;0)
Sklyanin
, que vem a ser a energia daqueles dois estados degenerados que obtivemos.
Prosseguindo agora com a segunda possibilidade, que corresponde a M = 1, temos a seguinte equao
de Bethe a ser resolvida

G2 v1
G1 v1 +
2
2
2
= 1;
(4.22)
que fornecer como conjunto soluo para a varivel v1 as razes de outro polinmio do segundo grau
v1 =
p
G 1 + G 2 2 G1 G2
2(G2 G1 )
p
G1 + G2 + 2 G1 G2
2(G2 G1 )
que, ao serem substitudas na equao dos autovalores adequada ao caso abaixo

(2;1)
Sklyanin
v1
v1 +
;
2
nos leva a encontrar autovalores no existentes naquele conjunto de trs energias de possveis para os autoestados, o que mostra novamente a ausncia de alguns auto-estados do hamiltoniano como ocorreu com
o modelo de Heisenberg. Para este modelo com matriz de fronteira tambm no conseguimos encontrar
todos os auto-estados porque o modelo de Heisenberg pode ser pensado como um caso particular do
modelo de Sklyanin em que a matriz de borda a identidade. Portanto, espervamos no encontrar o
conjunto completo de auto-estados para este caso mais geral, com matriz de fronteira, assim como no
encontramos para o agora caso particular do modelo de Heisenberg.
Como considerao nal para mostrar a relao entre os modelos de Heisenberg e Sklyanin, vale
notar que, ao tomarmos o limite em que a matriz G (4.1) tende identidade para as duas energias no
encontradas, recuperamos dois autovalores j conhecidos do modelo de Heisenberg para N = 2
lim
G1 ;G2 !1
G1 + G2
2
p
=
G1 G 2
lim
G1 ;G2 !1
G1 + G2
p
=
G1 G2
que correspondem s energias de um tripleto e de um singleto, respectivamente, que obtivemos quando

diagonalizamos o hamiltoniano de Heisenberg usando o ABA (sees 2.4 e 3.3), ou seja, podemos voltar ao
modelo estudado no captulo anterior sempre que transformarmos a matriz de borda na matriz identidade.
At agora estudamos o caso homogneo tanto do modelo de Heisenberg (cap. 3) quanto do modelo de
Sklyanin, que so situaes mais simples de serem tratadas algebricamente e, por esta razo, apresentam
menor complexidade do ponto de vista fsico.
4.2. CASO NO-HOMOGNEO
4.2
53
Caso No-Homogneo
Na construo da matriz auxiliar R (eq. (2.11)) apresentada no captulo 2, pudemos notar que restringimos
a seis entradas no nulas nesta matriz porque precisavmos satisfazer as regras do modelo de 6-vrtices
(sees 1.2 e 1.3). Por sua vez, podemos realizar uma translao nas amplitudes por um parmetro za , cujo
signicado ser compreendido posteriormente, mantendo-se inalterada a matriz R(u
v), que continuar
satisfazendo a equao de Yang-Baxter (eq. (2.13)), desde que faamos a mesma translao no operador
de Lax. Aps a translao na varivel u do operador da equao (2.70), podemos multiplic-lo por
pois esta operao equivale a uma mudana na normalizao de L(u)
Ia +
La (u; ) =
z
za sa
+
za sa
Ia
za sa
z
u za sa
1
u za ,
(4.23)
em que todos os termos que aparecem j foram denidos no captulo 2, com exceo do parmetro
arbitrrio za .
Se realizarmos os mesmos clculos do captulo 2 (seo 2.3), partindo das novas relaes de comutao,
obteremos os autovalores e as equaes de Bethe para a matriz de transferncia (u), porm, muito mais
simples generalizarmos os resultados que encontramos para o caso homogneo. Partindo da expresso dos
autovalores (eq. (3.11)) e realizando a translao temos
(u) =
M
Y
vi
u
i=1
vi
N
Y
1+
a=1
2(u
za )
M
Y
i=1
vi +
u vi
N
Y
a=1
2(u
za )
(4.24)
que a nova expresso para os autovalores da matriz (u) no-homognea. O mesmo procedimento para
a equao (2.67) fornecer as equaes de Bethe para o caso no-homogneo
M
Y
vi
vi
j=1
j6=i
vj +
vj
N
Y
vi
vi
a=1
za + 2
:
za 2
(4.25)
Para o modelo que estamos estudando neste captulo tambm podemos generalizar os resultados
obtidos na seo anterior. Ento, teremos para o caso no-homogneo com matriz de borda a seguinte
expresso para os autovalores da matriz
G (u) = G1
M
Y
i=1
vi
u
vi
N
Y
1+
a=1
GN (u)
2(u
za )
+ G2
M
Y
i=1
vi +
u vi
N
Y
a=1
2(u
za )
; (4.26)
que vlida desde que as equaes de Bethe no-homogneas sejam satisfeitas

M
Y
vi
vi
j=1
j6=i
vj +
vj
N
G2 Y vi
G1
vi
a=1
za + 2
:
za 2
(4.27)
54
4.2.1
Relao com Aproximao BCS e Modelo de Richardson-Gaudin
Para o caso no homogneo sem borda, podemos extrair dos resultados desta seo mais informaes a
respeito destes modelos. A primeira coisa que mencionaremos a expanso da matriz de transferncia
(u) em potncias da varivel , que um parmetro complexo tanto da matriz R quanto do operador
de Lax, conforme estudamos no captulo 2. Realizando a expanso temos

(0)
(u) =
(1)
(u) +
2 (2)
(u) +
(u) + O( 3 );
(4.28)
em que os termos de segunda ordem possuiro a seguinte propriedade

h
(2)
(u);
(2)
i
(v) = 0;
desde que os termos de ordem zero e de primeira ordem comutem com o termo de segunda ordem.
Este termo de segunda ordem importante pois ele dar origem s cargasde Gaudin [11], permitindonos relacionar dois modelos distintos: o modelo de Heisenberg no-homogneo e o modelo de Gaudin. No
nosso caso, temos a seguinte expresso para o termo
(2)
(2) (u)
N
X
Ga
;
u za
(4.29)
+
2sza szb + s+
a sb + sa sb ;
(4.30)
(u) = 2 +
a=1
em que Ga so as cargas de Gaudin, dadas por

Ga =
N
X
b=1
b6=a
1
za
zb
tambm conhecidas por hamiltonianos de Gaudin. Estes operadores satisfazem mais uma propriedade
N
X
Ga = 0:
a=1
Partindo deste termo de segunda ordem, podemos obter um conjunto de N operadores que comutam
entre si tomando-se o resduo de
(2) (u)
[12]
Ha = resduo(
(2)
(u))ju=za ;
em que a varia de 1 at N .
Vamos agora tratar do caso com borda e, para isso, precisaremos escrever as entradas da matriz de
borda G (eq. (4.1)) como funo de
para depois expandirmos nossa matriz (u). Usaremos as seguintes
expresses para G1 e G2
G1 = 1 +
em que
G2 = 1
(4.31)
outro parmetro relacionado com uma constante de acoplamento, conforme veremos em breve.
Incorporadas matriz de monodromia TGN (u) (eq. (4.3)), faremos a expanso de (u) em potncias de ,
55
exatamente como zemos para o caso anterior sem borda, obtendo os seguintes termos de segunda ordem
(2)
G (u)
N
X
Ha
;
=2+
u za
(4.32)
a=1
em que novas cargas so encontradas, com uma forma bem similar quela das cargas de Gaudin (eq.
(4.30))
Ha =
sza
N
X
b=1
b6=a
em que notamos a presena da constante
1
za
+
2sza szb + s+
a sb + sa sb ;
zb
(4.33)
e, por convenincia, dividiremos por esta mesma, encontrando
assim as chamadas de cargas de Cambiaggio, Rivas e Saraceno (CRS) [14]

Ha = sza + g
N
X
b=1
b6=a
1
za
+
2sza szb + s+
a sb + sa sb ;
zb
em que g corresponde a uma constante de acoplamento e vale
(4.34)
Precisaremos tambm encontrar as expresses para os autovalores e para as equaes de Bethe no

caso no-homogneo com borda. Faremos novamente expanses em potncias da varivel
que exigem
algumas manipulaes algbricas trabalhosas. Comecemos pelos autovalores, usaremos a equao que nos
permite calcular os autovalores
G (u)
do modelo de Sklyanin no-homogneo com matriz de borda (eq.
(4.26)) que, aps a substituio de (4.31), pode ser expandida em

2
N
6
B1 P
1
6
@
2
za zb
6N
b=1
6X
b6=a
NH
26
6
G (u) = 2 +
6
u
6a=1
6
4
M
P
j=1
1
u vj
za
C
+ 2A
+@
M
X
j=1
resultando em
1
u
vj
12
A
M
X
1
(u vj )2
j=1
7
7
7
M
X 1 7
7
7;
u vj 7
j=1
7
7
5
em que editamos de maneira a car evidente o numerador no primeiro dos somatrios, isto porque vamos
calcular o resduo da expresso acima em u = za , chegando ento nos autovalores das cargas Ha
N
1X 1
ha =
2
za zb
b=1
b6=a
Agora vamos obter a expanso em
M
X
z
j=1 a
vj
(4.35)
das equaes de Bethe para o caso no-homogneo com borda
(eq- (4.27)) que, novamente atravs de bastante lgebra, chegamos em

1
g
M
X
j=1
j6=i
2
vi
vj
N
X
a=1
1
vi
za
= 0;
(4.36)
56
que correspondem s equaes de Richardson-Gaudin. Relembrando as entradas da matriz de monodromia

(eq. (4.3)), sabemos que o operador B(u) que aparece nela o operador de criao dos estados de Bethe
(sees 2.3 e 3.3), portanto, importante realizarmos a expanso dele em termos do parmetro
BR (u) =
N
X
sa
;
u za
(4.37)
a=1
que vem a ser o operador que cria os estados no modelo de Richardson, sendo por isso chamados de
operadores de Richardson.
A m de mostrarmos a relao entre este modelo no-homogneo com modicaes de borda e a
aproximao BCS, conforme zeram Poghossian e von Delft [10, 13], vamos combinar linearmente as
cargas CRS (eq. (4.34)), em que os coecientes sero dados pelo parmetro za , at obtermos
H=
N
X
za H a =
a=1
N
X
za sza
a=1
"
N
2
N
4
M+
N X
N
X
sa s+
b :
a=1 b=1
(4.38)
De maneira anloga, fazemos agora a combinao dos autovalores de Ha (eq. (4.35)), resultando na
expresso
h=
N
X
za h a =
a=1
"
N
2
N
4
M +
M
X
vi
i=1
1X
za :
2
(4.39)
a=1
Sabendo que estes resultados devem satisfazer uma equao de autovalores, isto nos permitir agrupar
convenientemente os termos, cancelando termos constantes comuns para chegarmos na expresso
HBCS =
N
X
1
2
za
a=1
sza
N X
N
X
sa s+
b ;
(4.40)
a=1 b=1
que o hamiltoniano BCS escrito em termos de pseudo-spins introduzidos pela primeira vez por Anderson
[15]. J os autovalores deste hamiltoniano corresponde ao termo restante de (4.38), ou seja,
hBCS =
M
X
vi ;
(4.41)
i=1
em que as incgnitas vi so as solues das equaes de Bethe do ABA (eq. (2.67)), isto , podemos
realizar a diagonalizao do modelo BCS [10] utilizando-se o mtodo apresentado no captulo 2.
possvel reescrever este hamiltoniano BCS em termos de operadores ferminicos cannicos ca;+ e
ca; , que representam estados reversos no tempo, e possuem as seguintes relaes com os operadores de
spin que estudamos at o momento
sza =
1
1
2
cya+ ca+
cya ca
s+
a = ca ca+ ;
sa = cya+ cya ;
(4.42)
que resultam na seguinte forma para o hamiltoniano

HBCS =
a; =(+; )
"a cya ca
X
a;b
cya+ cya cb cb+ ;
(4.43)

em que "a =
za
2
57
corresponde a uma escala de energia, portanto, podemos agora interpretar o parmetro
de translao nas variveis u e v como sendo equivalente energia. Acabamos de ver que as variveis vi
fornecem os autovalores do hamiltoniano BCS, sendo assim tambm interpretadas como parmetros de
energia.
58
Captulo 5
Modelo de Heisenberg-Cherednik
Nos ltimos dois captulos estudamos modelos de spins que possuam (Sklyanin) ou no (Heisenberg)
condies de borda e vimos as conseqncias deste fato para a diagonalizao dos modelos. Neste captulo,
veremos um outro tipo de modelo de spins com interaes entre os stios que alternam a intensidade a
medida em que percorremos a cadeia unidimensional com condies de contorno peridica, sendo estas as
mesmas condies impostas nos modelos anteriormente apresentados.
5.1
Hamiltoniano do Modelo
Vamos novamente utilizar o procedimento de Baxter para encontrar uma expresso geral para o hamiltoniano deste terceiro modelo. Iniciamos mencionando que utilizaremos o mesmo operador de Lax denido
para o modelo de 6-vrtices (eq. (1.13)), porm, modicaremos os pesos de Boltzmann usuais por
x1 (u) = u + ;
2
x2 (u) = u
G;
x2 (u) =
x3 (u) = ;
(5.1)
em que nota-se a introduo de uma constante G, que veremos em breve tratar-se de uma constante de
acoplamento entre os stios. Podemos ento montar o nosso operador de Lax como segue
0
x1 (u)
B
B 0
L(u) = B
B 0
@
0
0
u+
C B
B 0
x2 (u) x3 (u)
0 C
C=B
C
x3 (u) x2 (u)
0 A B
@ 0
0
0
x1 (u)
0
0
C
0 C
C:
C
0 A
u+ 2
G
(u
(5.2)
Como estamos procurando a expresso do hamiltoniano, precisaremos do operador de Lax escrito em

termos de um stio arbitrrio a, logo, vamos reescrever (5.2) da seguinte maneira
La (u) =
u+
1
2 Ia
+ sza + u
1
2 Ia
sza G
s+
a
sa
u+
1
2 Ia
sza +
(u
1
2 Ia
+ sza
; (5.3)
que ser o operador que usaremos na construo da matriz de monodromia. Utilizando a equao (2.8)
59
60
CAPTULO 5. MODELO DE HEISENBERG-CHEREDNIK
para TN (u), faremos os clculos detalhamente para N = 2, comeando pela matriz de monodromia
T2 (u) = L2 (u)L1 (u);
(5.4)
em L1 (u) e L2 (u) so os operadores de Lax calculados nos stios 1 e 2 respectivamente. O trao deste
operador dado por
B
B
B
=B
B
@
(u) = trao (L2 (u)L1 (u)) =

u+
2
2
(u
2
G2
G+
1
G
u2
G+
1
G
u2
u+
2
2
+G u
2
2
C
C
C
C;
C
A
(5.5)
que vem a ser a matriz de transferncia para N = 2. Conforme o que estudamos na seo 2.5, vamos
obter a inversa da matriz (u) calculada em
(u)
u= 2
1
2
B
B0
=B
B0
@
1
2
C
0C
C;
0C
A
(5.6)
e, por ltimo, calculamos a derivada da matriz (u) no mesmo argumento da inversa, obtendo
@
(u)
@u
u= 2
0
2
B
B0
=B
B0
@
0
G+
1
G
G+
1
G
C
0C
C:
0C
A
2
(5.7)
Finalmente, podemos encontrar o hamiltoniano de Cherednik multiplicando os dois ltimos resultados

(equaes (5.6) e (5.7)
(N =2)
HCherednik
B
B0
=B
B0
@
0
0
1
0
1
G+
1
G
G+
0
1
G
C
0C
C:
0C
A
(5.8)
Como sempre fazemos, realizamos este mesmo procedimento para outros valores de N a m de encontrarmos o hamiltoniano geral do modelo, resultado este que segue abaixo
HCherednik =
N 1
1 X
n=1
s+
n sn+1
z z
+ Gsn s+
n+1 + 2sn sn+1
G
em que percebemos a alternncia dos fatores G e
1
G
s+
z z
N s1
+ GsN s+
1 + 2sN s1 ;
G
(5.9)
nos termos do hamiltoniano. Justamente esta
caracterstica que dar ao modelo a sua particularidade que vem a ser a mudana da interao entre
5.2. DIAGONALIZAO DO HAMILTONIANO
61
vizinhos prximos quando passamos de um par de stios para o seguinte, alternando a intensidade do
acoplamento entre forte e fraco periodicamente ao longo da cadeia. Veremos na prxima seo que
conseqncias isto acarretar na diagonalizao do hamiltoniano (5.9).
5.2
Diagonalizao do Hamiltoniano
Realizaremos a partir de agora os clculos que nos levaro s relaes fundamentais de comutao (RFC)
por meio da equao de Yang-Baxter para o modelo estudado. Introduziremos de incio a matriz auxiliar R
com a alterao, em relao mesma matriz para o modelo XXX (2.11), que proporcionar a alternncia
nos acoplamentos, assim como zemos para o operador de Lax (eq. (5.3)) a pouco, como observamos
abaixo
B
B
R(u) = B
B
@
a(u)
b(u) c(u)
c(u) b(u)
a(u)
C B
C B
C=B
C B
A @
u+
0
uG
0
0
0
u
G
u+
C
C
C;
C
A
(5.10)
em que vemos, na verdade, que a mudana ser nas amplitudes b(u) e b(u), que incluem a constante de
interao G. Isto acarretar em modicaes nos resultados que obteremos daqui por diante.
Esta mudana na matriz R necessria para que a equao de Yang-Baxter (2.14) seja satisfeita e
encontremos as 16 relaes de comutao, sendo que as duas relaes que mais usamos na diagonalizao
de nossos modelos so
A(u)B(v) =
D(u)B(v) =
a(v
b(v
a(u
b(u
u)
c(u
B(v)A(u) +
u)
b(u
v)
c(v
B(v)D(u) +
v)
b(v
v)
B(u)A(v);
v)
u)
B(u)D(v);
u)
(5.11a)
(5.11b)
em que notamos que a nica diferena destas relaes comparadas com aquelas do modelo de Heisenberg
ou Sklyanin (equaes (2.23) est nos denominadores dos segundos membros, pois aparece a nova amplitude b(u) =
u
G.
As RFCs nulas (equaes (2.18) continuam vlidas e teis, pois, nelas que est a
comutatividade dos operadores B(u).

Esta mudana nas amplitudes tanto da matriz R quanto do operador de Lax signicar que teremos
novos autovalores e autovetores para o nosso hamiltoniano. De fato, ao comutarmos os operadores A(u) e
D(u) atravs de todos os operadores de criao B(u) do estado de Bethe
B,
vericaremos nos produtrios
de ambos os termos dos segundos membros das mesmas expresses do captulo anterior (equaes (4.9)), o
aparecimento da amplitude b(u) nos denominadores, logo, ao tomarmos o trao da matriz de monodromia
(eq. (4.3)), encontramos os autovalores da matriz de transferncia
Ch (u) =
M
Y
a(vi
i=1
b(vi
u)
u)
1 (u) +
M
Y
a(u
i=1
b(u
vi )
vi )
2 (u);
(5.12)
62
que existiro somente se as equaes de Bethe abaixo forem satisfeitas

M
Y
a(vj
a(vi
vi )
=
vj )
j=1
j6=i
2 (vi )
1 (vi )
(5.13)
Vamos partir agora para o clculo dos autovalores do hamiltoniano (5.9) usando a mesma tcnica
da derivada logartmica, exatamente como zemos com os modelos anteriores. De incio, escreveremos
explicitamente os autovalores
Ch
substituindo as amplitudes e os autovalores dos operadores A e D,
sendo que o deste ltimo sofreu alterao devido mudana no peso de Boltzmann x2 (u), cando igual
a
2 (u)
= u
Ch (u)
=GN , temos
M
Y
(u
i=1
vi
)G
u vi
u+
M
Y
(u
1
+ N
G
i=1
vi + ) G
u vi
(5.14)
que ser invertida e derivada, de acordo com a equao (2.72) apresentada no captulo 2. Primeiro a
inversa calculada em
2
1
Ch
1
= N M
G
em que surge a constante G de interao. Derivando
M
Y
vi
i=1
Ch
vi +
(5.15)
em relao varivel u no mesmo argumento
da inversa temos
d
Ch
du
M
Y
vi +
i=1
vi
2
2
M
X
i=1
vi
vi +
(5.16)
bastando agora multiplicar ambos os resultados (5.15) e (5.16) para obtermos a expresso que temos
encontrado para todos os modelos, sem as constantes caractersticas de cada caso
Cherednik
M
X
i=1
vi
vi +
(5.17)
em que podemos perceber, pela terceira vez, que as constantes dos modelos aparecero nos autovalores
somente quando resolvermos as equaes de Bethe e descobrirmos as incgnitas vi , substituindo-as posteriormente na expresso de
E justamente isto que faremos ento, ilustrando os clculos para uma situao simples de dois stios,
como de praxe. A diagonalizao do hamiltoniano (5.8) realizada no Maple forneceu trs autovalores:
G2 +1
G
G2 +1
G
, sendo o primeiro deles equivalente a dois auto-estados degenerados. Precisamos encontrar
este mesmo conjunto de energias dos auto-estados do modelo de Cherednik para N = 2 ao resolvermos as
equaes de Bethe (5.13), cuja forma explcita para o primeiro caso (M = 0) mostramos a seguir
v1
v1 +
2
2
2
2
G2 ;
(5.18)
5.2. DIAGONALIZAO DO HAMILTONIANO
63
e que possui o seguinte conjunto soluo para a nica incgnita v1

v1 =
G2 + 2Gi
2(G2 + 1)
G2 2Gi
2(G2 + 1)
que so duas razes complexas conjugadas, solues de um polinmio quadrtico. Este conjunto responsvel pelo autovalor degenerado
, pois a expresso dos autovalores (5.17) independe da incgnita
v1 .
O prximo caso a ser analisado M = 1, para o qual temos a equao de Bethe abaixo
2
v1
v1 +
= G2 ;
(5.19)
que, ao ser resolvida, produz as solues

v1 =
(1 + G)
(1 G)
;
2(1 G)
2(1 + G)
que tambm so solues de uma equao de grau 2 e, ao serem substitudas em

(2;1)
Cherednik
v1
v1 +
;
2
fornecem exatamente os outros dois autovalores correspondentes aos singletos calculados pelo Maple
v1 =
v1 =
(1 + G)
2(1 G)
(1 G)
2(1 + G)
=)
(2;1)
Cherednik
=)
(2;1)
Cherednik
G2 + 1
;
G
G2 + 1
=
;
G
=
garantindo assim a completeza dos auto-estados do hamiltoniano obtidos pelo ABA. Portanto, para este
modelo estudado, conseguimos encontrar todos os autovalores do hamiltoniano (5.8) atravs das equaes
de Bethe, diferentemente do que ocorreu tanto para o modelo de Heisenberg quanto para o de Sklyanin
em que havia auto-estados ausentes que no conseguimos achar utilizando o ansatz de Bethe algbrico.
Vericamos que no h ausncias para valores maiores do nmero de stios N .
Para nalizar, um comentrio a respeito do limite para G ! 1, situao em que retornaremos ao
modelo de Heisenberg com seus auto-estados de singleto e tripleto, conforme mostrado abaixo
G2 + 1
2
= (tripleto)
G!1
G
lim
lim
G!1
G2 + 1
=
G
(singleto):
64
Captulo 6
Concluses
Nesta dissertao de mestrado apresentamos o Ansatz de Bethe Algbrico (ABA), tcnica utilizada na
obteno dos auto-estados dos hamiltonianos de inmeros modelos da Mecnica Estatstica e da Teoria
Quntica de Campos. Este mtodo, desenvolvido por Faddeev e colaboradores na dcada de 1970, permite
que calculemos os autovalores e construamos os autovetores de um hamiltoniano a partir de um conjunto de
relaes de comutao. Estas relaes so obtidas a partir da equao de Yang-Baxter para as matrizes de
monodromia e auxiliar de cada modelo. Aplicamos este procedimento na diagonalizao de trs modelos
de spins: o modelo de Heisenberg (tambm conhecido como modelo XXX de spin
1
2 ),
o modelo de
Heisenberg-Sklyanin e o modelo de Heisenberg-Cherednik.

O primeiro modelo apresenta a mesma constante de acoplamento para as trs componentes do spin
e, ao ser diagonalizado, mostra a impossibilidade de encontrarmos todos os seus auto-estados atravs
do mtodo do ABA. Para os casos estudados com nmero de stios diferentes, notamos que ocorre uma
ausncia sistemtica de um conjunto de auto-estados, com exceo da cadeia de dois stios em que
possvel obter todo o espectro do hamiltoniano. Estes auto-estados ausentes so criados por um operador
bilinear em s ao atuar no estado de Bethe correspondente. Durante o procedimento de diagonalizao,
encontramos uma srie de identidades envolvendo as amplitudes da matriz auxiliar que so necessrias para
a simplicao de nossas expresses. Essas identidades, que so inditas na literatura, foram generalizadas
para uma cadeia de spins com um nmero arbitrrio de stios.
No segundo modelo estudado, o de Heisenberg-Sklyanin, introduzimos uma matriz de borda no clculo
da matriz de monodromia que promove o acoplamento entre o ltimo e o primeiro stios, criando assim
condies de contorno peridicas para as cadeias de spins neste caso. Por ser uma generalizao do modelo
de Heisenberg, tambm no conseguimos encontrar todos os auto-estados do hamiltoniano daquele modelo
ao efetuarmos a diagonalizao pelo ABA. Vimos que para o caso no-homogneo com a matriz de borda,
surgem conexes com outros modelos integrveis: Richardson, Gaudin e aproximao BCS.
O ltimo modelo de spins apresentado o de Heisenberg-Cherednik, em que as interaes entre os
vizinhos prximos se alternam entre um acoplamento forte e um fraco entre os stios. Ao diagonalizarmos
este modelo, obtivemos todo o espectro de energias dos auto-estados do hamiltoniano, sem a presena
de nenhum auto-estado ausente como nos modelos pesquisados anteriormente. No limite em que as
constantes de acoplamento se tornam iguais a um, recuperamos todos os resultados obtidos para o modelo
de Heisenberg.
65
66
CAPTULO 6. CONCLUSES
Referncias Bibliogrcas
[1] B. A. Cipra, Am. Math. Month., 94 (1987), 937
[2] R. Baxter, Exactly Solved Models in Statistical Mechanics, Academic Press, London - New York,
1982
[3] H. B. Thacker, Rev. Mod. Phys., 53 (1981), 253
[4] H. J. de Vega, Nucl. Phys., B18A (1990), 229
[5] V. Korepin, N. Bogoliubov, A. Izergin, Quantum Inverse Scattering Method and Correlation Functions, Cambridge Monographs on Mathematical Physics, Cambridge University Press, 1993
[6] V. Kurak, A. Lima-Santos, Nucl. Phys., B699 (2004), 595; Nucl. Phys., B701 (2004), 497; J. Phys.,
A38 (2005), 333-348; J. Phys., A38 (2005), 2359-2374
[7] L. Faddeev, Algebraic Aspects of Bethe Ansatz , arXiv:hep-th/9404013
[8] L. Faddeev, How Algebraic Bethe Ansatz works for Integrable Models, arXiv:hep-th/9605187
[9] E. K. Sklyanin, J. Phys. A: Math. Gen., 21 (1988), 2375
[10] J. von Delft, R. Poghossian, Phys. Rev., B66 (2002)
[11] M. Gaudin, J. de Physique, 37 (1976), 1087
[12] H. M. Babujan, J. Phys. A: Math. Gen., 26 (1993), 6981
[13] J. von Delft, D. C. Ralph, Phys. Rep., 345 (2001), 61
[14] M. C. Cambiaggio, A. M. F. Rivas, M. Saraceno, Nucl. Phys., A624 (1997), 157
[15] P. W. Anderson, Phys. Rev., 112 (1958), 1900
67

WalneyReisFernandes Dissertacao

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

WalneyReisFernandes Dissertacao

Enviado por

Direitos autorais:

Formatos disponíveis

Universidade de So Paulo

Modelos de Emparelhamento Integrveis

Orientador: Prof. Dr. Valerio Kurak

Dissertao de Mestrado apresentada ao Instituto de Fsica

Comisso Examinadora: Prof. Dr. Valerio Kurak (IFUSP)

Daqui em diante, no peo mais boa-sorte, boa-sorte sou eu.

Ansatz de Bethe Algbrico

Matriz de Transferncia do Modelo de Lenz-Ising . . . . . . . . . . . . . . . . . . . . . . .

Modelo de 6-Vrtices e seus Pesos de Boltzmann . . . . . . . . . . . . . . . . . . . . . . .

2 Ansatz de Bethe Algbrico

Operador de Lax e Matriz de Monodromia . . . . . . . . . . . . . . . . . . . . . . . . . . .

Equao de Yang-Baxter e Relaes Fundamentais de Comutao . . . . . . . . . . . . . .

Diagonalizao da Matriz de Transferncia e Identidades

Obteno dos Hamiltonianos e dos Autovalores . . . . . . . . . . . . . . . . . . . . . . . .

ABA e Diagonalizao do Hamiltoniano . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Construo dos Autovetores do Hamiltoniano . . . . . . . . . . . . . . . . . . . . . . . . .

Hamiltoniano e Diagonalizao do Modelo . . . . . . . . . . . . . . . . . . . . . . . . . . .

Relao com Aproximao BCS e Modelo de Richardson-Gaudin . . . . . . . . . .

Ansatz de Bethe Algbrico

Matriz de Transferncia do Modelo de Lenz-Ising

Escolhemos um exemplo bastante simples: o modelo de Lenz-Ising ou modelo de Ising unidimensional

1, dependendo do stio i em que estamos interessados.

sero responsveis pelo primeiro somatrio no hamiltoniano do modelo de Ising [1]

CAPTULO 1. MATRIZ DE TRANSFERNCIA

para que obtenhamos a funo de partio

com kB sendo a constante de Boltzmann e T , a temperatura absoluta. Num estudo

Figura 1.1: Modelo de Ising unidimensional com condio de contorno peridica:

em que K = E=kB T e o somatrio realizado sobre a varivel

que pode assumir os valores

i-simo stio arbitrrio.

Escrevendo explicitamente somente o produtrio da equao (1.5),

1.1. MATRIZ DE TRANSFERNCIA DO MODELO DE LENZ-ISING

possamos reescrever cada fator na equao (1.6) como uma matriz

transferem a interao do stio de rtulo i para o stio seguinte, rotulado como i + 1.

e agora possvel obtermos as propriedades do modelo, como as grandezas termodinmicas, simplesmente

corresponde ao maior autovalor da matriz.

Substituindo a expresso (1.9) em (1.8), obtemos a funo de partio ZN =

na equao (1.10), resulta em

CAPTULO 1. MATRIZ DE TRANSFERNCIA

1.3. MODELO DE 6-VRTICES E SEUS PESOS DE BOLTZMANN

Modelo de 6-Vrtices e seus Pesos de Boltzmann

x1(u) x2(u) x3(u) x3(u) x2(u) x1(u)

CAPTULO 1. MATRIZ DE TRANSFERNCIA

veniente para um vrtice elementar, representado por uma matriz 4

A m de obter a funo de partio, Baxter explora a estrutura de um produto tensorial da matriz

Ansatz de Bethe Algbrico

Operador de Lax e Matriz de Monodromia

L21 (u) L22 (u)

Usaremos outras matrizes com a mesma dimenso como base

isy e sx , sy e sz so as matrizes usuais de spin que satisfazem a lgebra de momento

angular e podem ser escritas em termos das matrizes de Pauli

destacando que estamos considerando ~ = 1. Os operadores de spin satisfazem as relaes de comutao

CAPTULO 2. ANSATZ DE BETHE ALGBRICO

que corresponde algebra usual de momento angular.

(x1 (u) + x2 (u)) Ii + (x1 (u)

(x1 (u) + x2 (u)) Ii

L3 (u)L2 (u)L1 (u)

em que as entradas so novos operadores qunticos.

2.2. EQUAO DE YANG-BAXTER E RELAES FUNDAMENTAIS DE COMUTAO

x22 ) (sz1 + sz2 ) + (x1 + x2 )2 sz1 sz2 + x23 s+

x22 ) (sz1 + sz2 ) + (x1 + x2 )2 sz1 sz2 + x23 s1 s+

em que os xi so funes do parmetro espectral u e I representa a matriz identidade de ordem 2, ambos

Equao de Yang-Baxter e Relaes Fundamentais de Comutao