Carga de um operador tensorial - regra de seleo

Matheus O. Schossler
23 de maio de 2016
Nesta nota vamos definir a carga de todos os operadores tensoriais que estamos interessados.
A carga de um operador tensorial de spins definida de acordo com as componentes do operador de spin
que possui. A componente z envolve somente o operador nmero na representao de frmions, por esse motivo
dizemos que a carga associada a essa componente 0. A componente + envolve um operador de criao
e o operador string (que possui carga nula, pois depende somente de operadores nmero) na representao
ferminica, sendo assim associamos carga +1. A componente envolve um operador de aniquilao e o operador
string, ento associamos carga 1. Como vemos, a carga do operador nos d o balano do nmero de partculas
(carga positiva) ou buracos (carga negativa) associados com tal operador.
ab
b
Podemos ento escrever a carga de cada um dos tensores Tj,j+1
(t) = Sja Sj+1
considerando as cargas de cada
a
b
um dos operadores de spin Sj e Sj+1 envolvidos:
zz
Tj,j+1

0,

(1)

z+
Tj,j+1
+z
Tj,j+1
z
Tj,j+1
z
Tj,j+1
+
Tj,j+1
+
Tj,j+1
++
Tj,j+1

Tj,j+1

+1,

(2)

+1,

(3)

1,

(4)

1,

(5)

0,

(6)

0,

(7)

+2,

(8)

2.

(9)

Quando agimos com esses operadores no estado fundamental ele ir alterar o nmero de partculas total
desse estado de acordo com sua carga. Como sabemos o nmero total de frmions na representao ferminica
do estado fundamental obtida pela conservao do spin total na direo z atravs da transformao de JodanWigner:
h0 | S z |0 i = h0 |

Ns
X

Siz |0 i

i=1
Ns 
X
1
|0 i
= h0 |
i i
2
i=1

NF

Ns
,
2

(10)

onde NF nmero de frmions associados ao estado fundamental e Ns o nmero de stios na cadeia de

spins.
Assim, o nmero de frmios no estado fundamental obtido por:
N
X

.
|0 i
i i |0 i = N

i=1

= NF |0 i ,
1

(11)

 o operador nmero total e NF o autovalor quando calculado no estado fundamental, dado pela
onde N
equao acima:
N
NF = h0 | S z |0 i + .
(12)
2

Por tanto, quando atuamos um operador de carga nula no estado fundamental |0 i, ento o autovalor de N
no vai ser alterado,
zz
zz
Tj,j+1
N
|0 i = NF Tj,,j+1
|0 i ,
(13)
+
+
o mesmo vlido para os operadores Tj,j+1
e Tj,j+1
.
seja
Se atuarmos um operador de carga positiva ento a cagar desse operador faz com que o autovalor de N
modificado, e.g.,
T z+ |0 i = (NF + 1)T z+ |0 i .
N
(14)
j,j+1
j,j+1

Assim como,
T ++ |0 i = (NF + 2)T ++ |0 i .
N
j,j+1
j,j+1

(15)

De forma similar, um operador de carga negativa diminuir o autovalor do operador nmero total,
T z |0 i = (NF 1)T z |0 i .
N
j,j+1
j,j+1

(16)

ab
ab
Com base nisso podemos construir uma regra de seleo para os valores mdios h0 | Tj+x,j+x+1
(t)Tj,j+1
(0) |0 i.
ab
ab
Os valores mdios de dois operadores tensoriais Tj,j+1 (0) e Tj+x,j+x+1 (t) s podem ser diferente de zero se a
carga dos dois tensores somadas for nula. Caso contrrio, quando esses dois operadores agirem no estado fundaab
0
agido no estado T ab
mental ento o autovalor de N
j+x,j+x+1 (t)Tj,j+1 (0) |0 i = | i ser diferente do nmero total
0
NF do estado fundamental, e portanto |0 i e | i so estados de subespaos diferentes e seu produto escalar
zero.
Assim, todas as funes de correlao

S zzz+ (x, t) = 0

(17)

zzz

(x, t) = 0

(18)

zz++

(x, t) = 0

(19)

zz

(x, t) = 0

(20)

z+++

(x, t) = 0

(21)

(x, t) = 0

(22)

z++

(x, t) = 0

(23)

z+

(x, t) = 0,

(24)

e as suas permutaes de ndices (por exemplo S zz+z (x, t)) so zero tambm. A soma de todas as permutaes
ab
de ndices das funes de correlao das componentes acima totalizam 62. Como o tensor Tj,j+1
possui 9
componentes, ento devem existir 19 funes de correlao da forma:
ab
cd
S ab,cd (x, t) = h0 | Tj+x,j+x+1
(t)Tj,j+1
(0) |0 i ,

(25)

zz
zz
S zz,zz (x, t) = h0 | Tj+x,j+x+1
(t)Tj,j+1
(0) |0 i

(26)

no nulas. Que so as seguintes:

zz,+

(x, t) =

++,

(x, t) =

S
S

+
zz
h0 | Tj+x,j+x+1
(t)Tj,j+1
(0) |0 i
++

h0 | Tj+x,j+x+1 (t)Tj,j+1 (0) |0 i ,

(27)
(28)

mais todas as permutaes possveis dos ndices zz, + e ++, . De forma mais clara, a vrgula indica a
separao no espao tempo de (x, t), e as permutaes de ndices devem ser feitas tambm entre o lado esquerdo
e direito da vrgula.
Some of these correlation functions are local and the others are non local. The local ones is those the
superscript + and are in the same side of comma. While those separated by the comma are non local if the

two other superscript is z. In fact all permutations of the correlation function S ++, (x, t) are local, and four
of the permutations of S zz,+ (x, t) are local as well.
Before we write the structure factors we must remember some commutation rules of the exponential of the
string operator
X
i =
j j .
(29)
j<i

The useful ones are the following:

[eij , i ] = 0,
[e

if i j;

(30)

, i ] = 0,

if i j;

(31)

[i , j ] = 0,

any i, j

(32)

ij

to prove these relations is necessary to observe that the string operator is a sum of number operators, and they
do not modify the state of the system; they just read the number of particles of all sites before of the site i.
The order of reading the number of particle or acting the creator or annihilator operator does not produce a
different result. Therefore the exponential of a string commute with the creator and annihilation in the case of
the above equations - (30) and (31). In the same way string operators always commute each other.
Using the previous properties and the mapping of Jordan-Wigner:
Siz = i i

1
2

Si+ = i eii
Si

= i e

ii

(33)
(34)

(35)

we can write all non null correlations functions. Let us write first the local ones:

1 
1

j+x+1 (t)j+x+1 (t) +

S zzzz (x, t) = h0 | j+x

(t)j+x (t) +
2
2



1
1

j (0)j (0) +
j+1
|0 i ,
(36)
(0)j+1 (0) +
2
2





1
1

S zz,+ = h0 | j+x
(t)j+x (t) +
j+x+1
(t)j+x+1 (t) +
j (0)j+1 (0)eij (0)j (0) |0 i (37)
,
2
2





1
1

j+x+1
(t)j+x+1 (t) +
j (0)j+1
(0)eij (0)j (0) |0 i , (38)
S zz,+ = h0 | j+x
(t)j+x (t) +
2
2



1 
1

S +,zz = h0 | j+x
(t)j+x+1 (t)eij+x (t)j+x (t) j (0)j (0) +
j+1 (0)j+1 (0) +
|0 i ,(39)
2
2





1
1

j+1
(0)j+1 (0) +
|0 i , (40)
S +,zz = h0 | j+x (t)j+x+1
(t)eij+x (t)j+x (t) j (0)j (0) +
2
2




S ++, = h0 | j+x
(t)j+x+1
(t)eij+x (t)j+x (t) j (0)j+1 (0)eij (0)j (0) |0 i ,
(41)




S +,+ = h0 | j+x
(t)j+x+1 (t)eij+x (t)j+x (t) j (0)j+1 (0)eij (0)j (0) |0 i ,
(42)




S +,+ = h0 | j+x
(t)j+x+1 (t)eij+x (t)j+x (t) j (0)j+1
(0)eij (0)j (0) |0 i ,
(43)




S +,+ = h0 | j+x (t)j+x+1

(t)eij+x (t)j+x (t) j (0)j+1
(0)eij (0)j (0) |0 i ,
(44)




S ,++ = h0 | j+x (t)j+x+1 (t)eij+x (t)j+x (t) j (0)j+1

(0)eij (0)j (0) |0 i ,
(45)




S +,+ = h0 | j+x (t)j+x+1

(t)eij+x (t)j+x (t) j (0)j+1 (0)eij (0)j (0) |0 i .
(46)

While the non local ones are the fallowing:

S z,z+

S z+,z

S z,+z

S z+,z

S +z,z

S z,+z

S z,z+

S +z,z



1 

h0 | j+x
(t)j+x (t) +
j+x+1 (t)eij+x+1 (t)
2



1

j (0)j (0) +
(0)eij+1 (0) |0 i ,
j+1
2


1 

j+x+1 (t)eij+x+1 (t)

h0 | j+x (t)j+x (t) +
2


1 

j (0)j (0) +
j+1 (0)eij+1 (0) |0 i ,
2


1 

j+x+1 (t)eij+x+1 (t)

h0 | j+x (t)j+x (t) +
2



1
1

)+
|0 i ,
j (0)eij (0) j+1 (0)j+1 (0 j (0)j (0) +
2
2



1

j+x+1
(t)eij+x+1 (t)
h0 | j+x
(t)j+x (t) +
2


1

(0)j+1 (0) +
j (0)eij (0) j+1
|0 i ,
2


1

h0 | j+x
(t)eij+x (t) j+x+1
(t)j+x+1 (t) +

2



1

j (0)eij (0) j+1

(0)j+1 (0) +
|0 i ,
2


1

h0 | j+x (t)eij+x (t) j+x+1

(t)j+x+1 (t) +
2



1

j (0)eij (0) j+1

|0 i ,
(0)j+1 (0) +
2


1

h0 | j+x (t)eij+x (t) j+x+1

(t)j+x+1 (t) +
2



1

j (0)j (0) +
j+1
(0)eij+1 (0) |0 i ,
2


1

h0 | j+x
(t)eij+x (t) j+x+1
(t)j+x+1 (t) +
2



1
j (0)j (0) +
j+1 (0)eij+1 (0) |0 i .
2

Considering also the fallowing properties:

i eii i

i ,

ii i

i .

i e

We can rewrite same of the correlations functions in a simplified form:

(47)

(48)

(49)

(50)

(51)

(52)

(53)

(54)

S zz,+

S zz,+

S +,zz

S +,zz

S ++,

S +,+

S +,+

S +,+

S ,++

S +,+



1 
1 

j+x+1 (t)j+x+1 (t) +

j (0)j+1 (0) |0 i ,
(t)j+x (t) +
h0 | j+x
2
2


1 
1 

h0 | j+x (t)j+x (t) +

(0) |0 i ,
j+x+1 (t)j+x+1 (t) +
j (0)j+1
2
2


1 
1

h0 | j+x (t)j+x+1 (t) j (0)j (0) +

j+1 (0)j+1 (0) +
|0 i ,
2
2



1
1

j+1
(0)j+1 (0) +
|0 i ,
h0 | j+x (t)j+x+1
(t) j (0)j (0) +
2


2

h0 | j+x
(t)j+x+1
(t) j (0)j+1 (0) |0 i ,




h0 | j+x
(t)j+x+1 (t) j (0)j+1 (0) |0 i ,




h0 | j+x
(t)j+x+1 (t) j (0)j+1
(0) |0 i ,




h0 | j+x (t)j+x+1
(t) j (0)j+1
(0) |0 i ,




h0 | j+x (t)j+x+1 (t) j (0)j+1

(0) |0 i ,




h0 | j+x (t)j+x+1
(t) j (0)j+1 (0) |0 i .

(55)
(56)
(57)
(58)
(59)
(60)
(61)
(62)
(63)
(64)