Estatstica Quntica e Propriedades dos Anyons

Nossa discusso sobre modelos de anyons aqui baseada em \cite{Pachos} e \cite{Pres

kill}, uma definio mais rigorosa desses modelos e suas relaes so exploradas em \cite{
Wang}. Uma discusso sobre as possveis realizaes fsicas de anyons feita em \cite{Naya
}.
Vimos que sistemas de vrias partculas idnticas possuem tipos de estatstica diferente
dependendo da dimenso do espao em que o sistema se encontra. O tipo de estatstica
determinado atravs do comportamento do estado do sistema ao realizarmos sobre ele
uma operao que permuta os ndices que nomeian as partculas.
\begin{align}
\end{align}
Como essa troca de ndices no deve afetar o valor de nenhuma medida feita sobre o s
istema devemos exigir que a probabilidade de encontrar o sistema no estado permu
tado seja igual ao do no permutado.
\begin{align}
\end{align}
Isso implica que a troca de partculas uma simetria do sistema, e portanto deve se
r representada por um operador unitrio.
\begin{align}
\end{align}

Em geral, podemos representar duas trocas sucessivas de ndices como uma rotao de um
a partcula com relao a outra. Em trs dimenses a trajetria da partcula que realiza es
transformao pode ser deformada a um ponto contnuamente, ou seja, a tranformao topolo
icamente equivalente a identidade e portanto, o operador que realiza uma nica tro
ca deve ter como autovalores possveis $1$ ou $-1$. Para cada autovalor temos um t
ipo de estatstica diferente, para o autovalor $1$ associamos a estatstica bosnica e
para o autovalor $-1$ associamos a fminica. Isso implica que a funo de onda de um s
istema de bsons par sob a troca de partculas, e a de frmions mpar.

Porm em duas dimenses a transformao descrita acima no equivalente a identidade. Isso

devido ao fato de que um caminho que circule uma partcula em duas dimenses no pode
ser contnuamente deformado sem passar pela posio da partcula que est no centro. Da ve
os que ao realizar qualquer nmero par de trocas iremos gerar trajetrias que no pode
m ser deformadas continuamente umas nas outras. Essa diferena do caso tridimensio
nal puramente topolgica e por causa dela a funo de onda de um sistema de partculas p
ode ganhar uma fase sob permutao, ou at mesmo uma transformao unitria. Os sistemas de
partculas que transformam dessa maneira so chamados de anyons. Devido ao teorema s
pin-estatstica, a estatstica exibida pelos anyons levam existencia de antipartculas
e valores exticos de spin, valores que no so inteiros nem semi-inteiros, e da ela r
ecebe o nome de estatstica fracionria.
\begin{figure}
\end{figure}
Considerando agora um sistema com $N$ anyons, analizemos as trocas de partcula no
espao-tempo. Vemos que essas trocas podem ser representadas por linhas tranadas o
nde uma partcula troca de posio com a outra fazendo padres intrincados. Podemos cria
r uma algebra para descrever as trocas usando maneiras especficas de tranar as lin

has de mundo dos anyons. Para isso usamos o chamado grupo de tranamento, que repr
esenta uma generalizao algbrica do processo comum de fazer tranas e foi descrito pel
a primeira vez em \cite{Artin}. O grupo $B_N$ de tranamento de $N$ fios gerado po
r $N-1$ tranas fundamentais e uma trana que corresponde a identidade, que so elemen
tos especiais do grupo obedecendo s seguintes relaes,
\begin{align}
\end{align}
\begin{align}
\end{aling}
\begin{align}
\end{align}
Podemos representar graficamente o gerador, $\sigma_i$ desenhando duas linhas pa
ralelas e em cada linha colocando um conjunto de $N$ pontos de tal maneira que o
s pontos $k<i$ e $k>i+1$ so ligados por retas ao pontos correspondentes na outra
linha, o ponto $i$ ligado ou ponto $i+1$ no lado oposto por uma curva contnua e o
ponto $i+1$ ligado ao ponto $i$ no lado oposto por uma curva que passe por baix
o da primeira. O inverso de $sigma_i$ obtido mudando a ordem do cruzamento das l
inhas no diagrama anterior.

possvel mostrar (\cite{Pachos},\cite{Preskill}) que os operadores que fazem a tro

ca de partculas no espao de hilbert do sistema composto so representaes unitrias e ir
edutveis dos geradores do grupo $B_N$. Os anyons que transformam com as represent
aes abelianas (unidimensionais) so ditos abelianos, e os outros so ditos no-abelianos
.
Modelos de anyons generalizados e computao topolgica
J tendo descrito os anyons e suas principais propriedades, podemos partir para um
a generalizao desses modelos (\cite{Preskill} \cite{Pachos}) que nos d a principal
ferramenta para estudar os tipos de anyons que podem existir fisicamente e que n
os permite estudar o modelo computacional anyonico. Uma discusso profunda sobre a
relao desses modelos com categorias tensoriais unimodulares (UMTC's) e teorias qun
ticas de campo topolgicas (TQFT's) feita em \cite{Wang}, assim como uma classific
ao dos modelos de anyons generalizados de at quatro tipos de partcula. Uma exposio
ebra de Temperly-Lieb, sua relao com o grupo de tranamento e a teoria de reacoplame
nto feita em \cite{Kauffman}. O uso da teoria de reacoplamento para encontrar os
parametros que descrevem o modelo de Fibonnaci e o modelo de Ising so feitos, re
spectivamente em \cite{FKauffman} e \cite{Fan}.
Modelos de anyons gerais pracisam ter as seguintes propriedades:
Um conjunto de ndices, $I={1,a,b,c,d...}$ para representar os tipos de anyons (ca
rgas topolgicas) no qual se define uma funo $\bar{C}:I\mapsto I$ e um ndice especial
$1\in I$ tal que,
\begin{align}
\end{align}
\begin{align}
\end{align}
E um conjunto de regras algbricas que representam os possveis acoplamentos de anyo
ns chamadas regras de fuso,

\begin{aling}
\end{align}
que precisam satisfazer as seguintes propriedades,
\begin{align}
\end{align}
\begin{align}
\end{align}
possvel mostrar que essas regras so suficientes para gerar qualquer modelo de anyo
ns compatvel com a mecnica quntica.
Associamos para cada processo de fuso de duas um espao de Hilbert $V_a_b^c$, onde
cada resultado possvel do processo representa um vetor de uma base ortonormal, qu
e gerada por todos os processos possveis para uma fuso especfica. Essa definio pode
er extendida naturalmente para a fuso de vrios de anyons.
Podemos definir o que o grupo de tranamento faz com esses estados usando uma repr
esentao grfica em termos de teoria de ns \cite{Kauffman} e usando a lgebra de Temperl
y-Lieb para gerar representaes irredutveis do grupo que sejam compatveis com o model
o anyonico.
Com esse maquinrio a nossa disposio podemos finamente descrever o modelo de computao
quntica anyonica.