Académique Documents
Professionnel Documents
Culture Documents
Instituto de Fsica
So Paulo
2010
iii
.
Aos meus pais Ione Reis Fernandes e Alberto dos Santos Fernandes.
iv
.
v
.
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
1 Matriz de Transferncia
1.1
1.2
Modelo do Gelo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3
II
2.1
2.2
11
2.3
. . . . . . . . . . . . . . . . . .
15
2.4
Equaes de Bethe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
28
2.5
32
Modelos de Spins
33
3 Modelo de Heisenberg
35
3.1
Hamiltoniano do Modelo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
35
3.2
37
3.3
43
4 Modelo de Heisenberg-Sklyanin
47
4.1
47
4.2
Caso No-Homogneo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
53
4.2.1
54
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
que
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;
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
H( )
(1.2)
em que
1
kB T ,
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
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
i,
(1.4)
1 em um
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)
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
eK
(1.7)
que chamaremos de matriz de transferncia, devido propriedade observada em (1.6) de que as matrizes
i 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)
(1.9)
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)
N
1
N
2
que, inserida
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.
Figura 1.3: Retculo cristalino do gelo em que substituimos os crculos pelos momentos de dipolo eltrico
entre os ons.
1.3
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-
Figura 1.4: Vrtices possveis para o modelo de 6-vrtices, cada um deles associado ao seu respectivo peso
de Boltzmann xi (u).
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)
!
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
2.1
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
(2.1)
2.
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)
(2.3)
10
abaixo
= 2sz ;
s+ ; s
sz ; s
s ;
(2.4)
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
x2 (u)) szi
x3 (u)s+
i
x3 (u)si
1
2
(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)
(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)
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
x2 )x3 s1 sz2
sz1 s2 ;
+ (x1
x2 )x3 sz1 s+
2
z
s+
1 s2 ;
2.2
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
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
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)
(2.13)
N N-1
c1
a2
d2
...
c2
b2
b1
d1
c1
N N-1
d1
=
...
a1 a2
13
...
...
b1
c2
b2
a1
d2
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,
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);
(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
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.
(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)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
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
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)
0:
(2.21)
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)
parmetro espectral u.
A matriz de transferncia atuando nos estados de Bethe, colocar os M operadores B(u) entre o
estado de referncia
16
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
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
0,
v1 )
c(v1
B(v1 )D(u) +
v1 )
b(v1
u)
B(u)D(v1 );
u)
(2.26)
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)
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
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)
A(u)B(v1 )B(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)
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
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)
0,
(2.37)
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 )
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 ) =
(2.41)
em que temos todos os operadores A esto direita dos Bs, prontos para atuar no estado de referncia
0,
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)
(2.43)
0,
21
chegamos em
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 ) =
(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
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 ) =
0,
(2.48)
para A(u)
D(u)B(v1 )B(v2 )B(v3 )
0
0:
(2.49)
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
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
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
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
24
M
Y1
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
M
Y
M
Y
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
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
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
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
M
Y
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
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
29
1
2
x2 (u)) szi
x3 (u)si
x3 (u)s+
i
1
2
(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,
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
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;
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
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;
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 ) =
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
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 ).
=
=
=
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)
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),
generalizadas
M
Y
a(vi
=
(v
)
a(v
j
2 i
vj )
;
vi )
1 (vi )
j=1
j6=i
(2.67)
e x2 (u) = u
2.
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)
i
2
i
2
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
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)
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)
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
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
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
(3.3)
n=1
para reescrevermos o operador de Lax (eq. (2.70)) em funo deste e do parmetro espectral
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
37
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
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
B
B0
=B
B0
@
0
C
0C
C;
0C
A
(3.5)
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
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)
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)
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
vi
vi +
(3.14)
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
N
2,
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 :
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
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
(M =1)
XXX
do hamiltoniano HXXX para N = 2, os mesmos que obtivemos a partir da diagonalizao com o Maple
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
40
4
2
v1
1;
(3.17)
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)
grau seria v1 = 1, este resultado porm no criar nenhum estado de peso mais alto pois, quando colocado
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
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
v1 +
v1
3
6
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
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
para M = 0,
, 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
6
2
1;
(3.21)
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
e as razes
3
6
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
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
v1 = v2 =
8
>
>
>
>
>
>
<
>
>
>
>
>
>
:
9
>
>
>
>
>
>
=
>
>
>
>
>
>
;
Com estes trs conjuntos de solues, encontramos mais cinco autovalores, substituindo pares fv1 ; v2 g
17
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,
43
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
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
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.
realizada no Maple. Encontramos dois autovalores possveis para os quatro autovetores de HXXX (eq.
(3.5)), so eles
ao autovetor
B C
B 1C
!
C
w1 = B
B 1 C;
@ A
0
(3.25)
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
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
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
(3.29)
45
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
!
z!
SG
w3 = 0 ;
z!
SG
w4 =
!
w 4;
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 :
cada stio, lembrando que em cada stio eles podem assumir os valores + 12 ou
1
2.
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
46
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
n=1
0.
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
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)
1 (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;
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
0
G1 u +
B
B
B
B
B
@
+ 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
@
(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)
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)
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
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);
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)G21 B(u)A(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,
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)
so os
50
= 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)
B fvi g
GN (u)
B fvi g
GN (u) B fvi g;
(4.11)
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)
1
GN (u)
u= 2
@
@u
GN (u)
u= 2
(4.14)
b(u) = u;
e
c(u) = ;
(4.15)
= (x1 (u))N = u +
2 (u)
= (x2 (u))N = u
GN (u)
2
N
(4.16a)
(4.16b)
51
M
Y
u
= G1
i=1
vi
u
vi
u+
M
Y
u
+ G2
vi +
u vi
i=1
(4.17)
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
G
p1 +G2
G1 G2
G
p1 +G2 ,
G1 G2
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
G2
p
G1 + 2 G 1 G2 i
2(G1 + G2 )
G2
p
G1 2 G1 G2 i
2(G1 + G2 )
(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
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 )
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
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
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)
j=1
j6=i
vj +
vj
N
G2 Y vi
G1
vi
a=1
za + 2
:
za 2
(4.27)
54
4.2.1
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
(u) =
(1)
(u) +
2 (2)
(u) +
(u) + O( 3 );
(4.28)
(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
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
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
1
za
+
2sza szb + s+
a sb + sa sb ;
zb
(4.33)
N
X
b=1
b6=a
1
za
+
2sza szb + s+
a sb + sa sb ;
zb
(4.34)
que exigem
algumas manipulaes algbricas trabalhosas. Comecemos pelos autovalores, usaremos a equao que nos
permite calcular os autovalores
G (u)
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
M
X
z
j=1 a
vj
(4.35)
M
X
j=1
j6=i
2
vi
vj
N
X
a=1
1
vi
za
= 0;
(4.36)
56
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)
a; =(+; )
"a cya ca
X
a;b
(4.43)
za
2
57
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)
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
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
B
B
B
=B
B
@
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)
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
1
G
s+
z z
N s1
+ GsN s+
1 + 2sN s1 ;
G
(5.9)
caracterstica que dar ao modelo a sua particularidade que vem a ser a mudana da interao entre
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
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,
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
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
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
M
Y
vi
i=1
Ch
vi +
(5.15)
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
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)
63
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
v1 .
O prximo caso a ser analisado M = 1, para o qual temos a equao de Bethe abaixo
2
v1
v1 +
= G2 ;
(5.19)
(1 + G)
(1 G)
;
2(1 G)
2(1 + G)
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
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