Académique Documents
Professionnel Documents
Culture Documents
UNIVERSIDADE DE SAO
INSTITUTO DE FISICA
Ordem topol
ogica com simetrias Zn e campos de mat
eria
Banca Examinadora
S
ao Paulo
2017
ii
FICA
FICHA CATALOGR A
o
Preparada pelo Servico de Biblioteca e Informaca
do Instituto de Fsica da Universidade de S
ao Paulo
Ordem topol
ogica com simetrias Zn e campos de materia.
S
ao Paulo, 2017
Area o: Fsica
de Concentraca
USP/IF/SBI-029/2017
iii
Em mem
orias do meu pai, Fernando Monteiro de Resende,
E do melhor amigo que eu tive nesta vida, Ariel Francisco Polenta Filho.
iv
Esta p
agina foi deixada propositalmente em branco.
v
Demore o tempo que for para decidir o que voce quer da vida e, depois que decidir,
n
ao recue ante nenhum pretexto, porque o mundo tentar
a te dissuadir.
Ali
as, j
a que eu falei desta abertura de bracos, uma outra pessoa que eu preciso agradecer
profundamente aqui e a Lucy Vitoria Credidio Assali, presidente da Comiss
ao de P o do
os-Graduaca
IFUSP na epoca que eu migrei para o grupo do Paulo e, agora, amiga. Se n
ao fosse por ela, se
n
ao fosse por causa de todo o suporte academico que ela me ofereceu como presidente da CPG (o
qual foi sempre regado com muita compreens
ao, conselhos e amizade), certamente n
ao teria sido
possvel concluir este trabalho.
vii
viii
Tendo feito esses tres agradecimentos, cabe, agora, agradecer a um segundo pelot
ao de pes-
soas, as quais n
ao devem se considerar menos importantes. E o primeiro conjunto de pessoas que
eu quero agradecer aqui e aquele, composto por todas as pessoas que me ajudaram a entender
algumas coisas muito importantes ao contexto deste trabalho, como:
o professor Hugo Luiz Mariano, por alguns esclarecimentos sobre a Teoria das Categorias;
os professores Daciberg Lima Goncalves e Lucilia Daruiz Borsari, por toda a receptividade e as
conversas bastante agrad
aveis que tivemos sobre Topologia Algebrica;
a professora e boa amiga Alegria Gladys Chalom e os meus grandes amigos Carlos Antonio
Filho, Rodrigo Figueiredo e Ulisses Alves Maciel Neto, por todas as discuss
oes que tivemos sobre
Algebra, Topologia, Teoria das Categorias e Fundamentos da Matem
atica, as quais foram (e
continuam sendo) sempre regadas com muito cafe, cookies e sorvetes, n
ao necessariamente
nesta mesma ordem;
o professor e bom amigo Daniel Victor Tausk, por toda a sua prestatividade em repassar um
reas da
pouco do seu conhecimento sobre diversas coisas, relacionadas as mais diversas a
Matem
atica; e
os meus grandes amigos Alysson Ferreira Morais, Fabiola Diacenco Xavier, Fabricio Marques
do Carmo e Jo
ao Luis Meloni Assirati, por toda a parceria e prestatividade nos mais diversos
sentidos, as quais foram climatizadas com as melhores conversas sobre Fsica, Matem
atica,
o e todas as outras coisas da vida, t
Computaca ao necess o de alguem n
arias a edificaca ao
apenas como um cientista, mas como um ser humano consciente do seu dever neste mundo.
a todos aqueles que passaram pelo grupo de pesquisa onde estou, entre os quais destaco
Anderson Alves da Silva, Hudson Kazuo Teramoto Mendonca, Javier Ignacio Lorca Espiro, Juan
Pablo Ibieta Jimenez, Marzia Petrucci, Miguel Jorge Bernabe Ferreira, Nelson Javier Buitrago
ltimos
Aza e Ricardo Costa de Almeida, por toda a parceria que construmos ao longo dos u
tres anos;
ix
aos membros que fizeram parte do grupo de pesquisa onde iniciei o meu doutorado no final
de 2011, como Andre Luiz Moura Britto, Claudio Navalho Rodrigues da Cruz, Jo
ao Braga de
G
oes e Vasconcellos, Leonardo Estev
ao Schendes Tavarez, Paulo Cardoso Oliveira, Ricardo Aluisio
Pereira e Yuber Ferney Perez Gonzalez, por toda a parceria e principalmente por todas as nossas
animadas discuss
oes sobre a fsica dos neutrinos; e
a todos aqueles que foram meus colegas de trabalho, em todas as catorze disciplinas que
ltimos sete anos como monitor-bolsista, entre os quais destaco n
lecionei no IFUSP nos u ao
apenas os meus melhores colegas, os professores Antonio Domingues dos Santos, Elisabeth
Matheus Yoshimura, Marcia de Almeida Rizzuto, Mikiya Muramatsu, Nemitala Added e Rosan-
gela Itri, mas todos os alunos que suportaram bem todas as minhas aulas, sempre regadas
com piadas e coment
arios ao melhor estilo tioz
ao do pave.
ao meu amigo e colaborador Thiago Costa Raszeja que, ao lado do Alysson, me ajudou a orga-
nizar o Encontros no Hades, assim como a todos os funcion
arios do IFUSP que trabalharam
ltimos seis anos, entre os
nos seus bastidores para que esse evento desse certo ao longo dos u
quais destaco Ademir Rodrigues, Agostinho Dias Bicalho, Alessandro Aparecido Brugnoli, Amelia
Ferrari Genova, Cecilia Cristina Blanco, Luiz Cezar Galizio, Mauricio da Silva, M
onica Pacheco,
Paulo Renato Lofredo e Simone Toyoko Shinomiya;
a todos os funcion
arios da Comiss
ao de P o do IFUSP, Adriana Nocais Scatolin,
os-Graduaca
audia Conde Barioni, Cristiano Araujo Chaves, Eber De Patto Lima, Fran-
Andrea Wirkus, Cl
cislene Mendes Resina, Maria Izabel Cavalcante da Silva Albarracin, Paula Cristina Rodrigues
Mondini e Renata Matsumoto, assim como ao atual presidente Paulo Alberto Nussenzveig, os
quais sempre foram bastante solcitos e muito companheiros em tudo aquilo que precisei;
` turma do cafe do IFUSP, Adilson Jose da Silva, Alvimar Floriano de Sousa, Ana Beatriz Beg-
a
giato, Arnaldo Gomes de Oliveira, Dmitry Maximovitch Gitman, Elcio Brandani Mondadori,
Gabriela Iunes Depetri, Jo
ao Geraldo Beggiato, Jose Carlos Sartorelli, Kazunori Watari, Lissa de
Sousa Campos e Thereza Borello-Lewin; e
principalmente a todos os meus companheiros de jornada, entre os quais destaco Ana Caro-
lina Boero, Antonio Claudio Michejevs Padilha, Carolina Dias Alexiou, Cedrick Miranda Mello,
x
Dimy Nanclares Fernandes Sanches, Eduardo Roberto De Lascio, Gabriela Lima Lichtenstein, Gi-
ancarlo Thales Camilo da Silva, Helder Luciani Casa Grande, Henrique Fabrelli Ferreira, Ibere
Luiz Caldas, Ki Ok Joo, Leandro Daros Gama, Leonardo Werneck de Avelar, Lucas Carvalhaes
Pinheiro Antunes Maciel Mussnich, Marcela Muniz Gontijo, Marcelo Meireles dos Santos, M
arcio
Teixeira do Nascimento Varella, Maria Cristina Soares Rosa, Marina Machado Cunha e Mello,
Masayuki Oka Hase, Paula Sampaio Meirelles, Rafael Oliveira Suigh, Renato Alessandro Mar-
tins, Ricardo Correia da Silva, Riis Ravia Bachega Assis, Roberto Rodrigues Moreira, Robson
Aparecido Figueiredo, Rodrigo Fresneda, Thaicia Stona de Almeida, Tiago Fernandes, Walace de
Sousa Elias e Yeva Gevorgyan.
E, para finalmente concluir esta lista de agradecimentos quase Odebrechtiana, faco um ho-
` Capes como ao CNPq por todo o suporte financeiro.
nesto agradecimento tanto a
Resumo
xi
xii
Abstract
xiii
xiv
Sum
ario
o
1 Introduca 1
1.1 Coment
arios iniciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
o do trabalho . . . . . . . . . . . . . . . . . . . . . . . . .
1.3.1 Sobre a estruturaca 8
2.1 Um prel
udio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
o de variedades
3 Discretizaca 29
3.1 Coment
arios iniciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.2 O processo de discretizaca
xv
xvi
SUMARIO
II es
Toric code e algumas generalizaco 45
4.2.2 Estados de v
acuo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
es
5 Primeiras generalizaco 69
es tridimensionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
5.1 Consideraco
6.1 Coment
arios iniciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
es elementares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
6.2.2 Excitaco
6.3 Um exemplo n
ao Abeliano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
es
7 Segundas generalizaco 101
7.1 Coment
arios iniciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
8.1 Coment
arios iniciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
8.2.2 Uma an
alise mais geral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157
`s faces . . . . . . . . . . . . . . . . . . . . . . . . . . 171
9.1 Campos de materia associados a
IV An
alise final 195
10 Um coment
ario de categoria 197
ltimo prel
10.1 Um u udio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 206
10.3 Algumas observaco
11 Conclus
oes e coment
arios 209
V Ap
endices 215
o de Kuperberg
A Diagramatizaca 217
es iniciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 217
A.1 Consideraco
es preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218
A.1.1 Noco
xviii
SUMARIO
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 222
A.1.3 Algumas generalizaco
B Alguns coment
arios alg
ebricos 227
es preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 227
B.1 Consideraco
es . . . . . . . . . . . . . . . . . 231
B.1.2 Um panorama sobre a teoria das representaco
es gerais de a
B.2 Noco lgebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 233
es levemente enfadonhas
C Algumas consideraco 245
Refer
encias Bibliogr
aficas 253
Captulo 1
o
Introduca
1.1 Coment
arios iniciais
Embora a sociedade esteja bem acostumada a dividir a Fsica entre aquilo que e te
orico e
aquilo que e experimental, todos aqueles que participam ativamente da construca
o desta Ciencia
ao e totalmente fictcia. Afinal, o fato de alguem possuir des-
sabem muito bem que toda esta divis
trezas e/ou afinidades que, por exemplo, permitem caracteriz
a-lo mais como um te
orico do que
como um experimental n
ao implica necessariamente que estes dois setores da Fsica sejam incomu-
nicantes: muito pelo contr
ario! E isso fica ainda mais claro quando lembramos que, independente
das diversas teorias que existem para explicar qualquer coisa do nosso Universo, os verdadeiros
alicerces da Fsica s
ao experimentais.
as, para deixar ainda mais claro o porque disso, e mais do que conveniente lembrar de algo
Ali
que e muito importante a
` definica
o da pr
opria Fsica: uma teoria e uma edificaca
o l
ogica, construda
sobre um conjunto de axiomas que permitem explicar algo que desejamos entender1 [1], sem
possuir qualquer compromisso para com a realidade que nos cerca. Basta ver que e exatamente isso
o que acontece, por exemplo, na Matem
atica: pois, enquanto um fsico, que modela os seus sistemas
es que dependem de um par
usando um conjunto de equaco ametro temporal, costuma ignorar
es que estejam exclusivamente relacionadas aos valores negativos deste par
as soluco ametro, um
matem
atico puro est
a pouco se importando com isso; para esse matem
atico, que geralmente
es apenas para conhecer quais s
resolve esse mesmo conjunto de equaco ao as propriedades das suas
es (sem necessariamente pensar nas possveis conex
funco oes de tudo isso para com a realidade que
es s
o cerca), todas as soluco ao igualmente relevantes.
1
Seja por meio dos diversos teoremas, corol
arios ou demais desdobramentos que estabelecem a validade desta teoria.
1
2 CAPITULO 1. INTRODUC
AO
o,
Desta maneira, e diante de todo este descompromisso que teorias possuem por definica
es fundamentais que devemos ter, ao
fica muito claro que uma (e apenas uma) das preocupaco
construirmos uma teoria que realmente possa ser chamada de fsica, diz respeito ao necess
ario
estabelecimento de uma correspondencia entre (i) as previs
oes obtidas dos modelos que definem
es experimentais, dentro do domnio de
a nossa teoria e (ii) aquilo que for passvel de verificaco
o onde essa nossa teoria se prop
investigaca oe a resolver [2]. Se assim n
ao for, mesmo que toda
a nossa engenhosidade possa realmente definir uma teoria magnfica, esta jamais poder
a ser
interpretada como fsica, independente dela possuir uma inquestion
avel validade cientfica.
J es, n
a a segunda das preocupaco ` construca
ao menos fundamental a o de uma teoria fsica,
surge diante da existencia de uma outra teoria que, independente de estar definida num outro
o experimental, tambem consegue descrever um mesmo sistema fsico.
domnio de investigaca
Neste caso, a nova teoria n
ao pode contradizer os resultados da primeira, que j
a est
a bem esta-
belecida [2], e e exatamente isso que passou a ser chamado de prncipio da correspondencia: ou
seja, sempre que existirem duas teorias para descrever um mesmo sistema fsico, uma delas deve
se aproximar da outra dando resultados que, entre certos limites, coincidem [3].
claro que diversas discuss
E oes mais fundamentais podem, e devem, ser feitas a respeito desse
o entre o que e qu
princpio, uma vez que descrever sistemas numa zona de transica antico ou
cl ao e uma tarefa nada trivial. Entretanto, e exatamente em respeito a
assico, por exemplo, n
esse princpio da correspondencia que, apesar de todo o potencial imaginativo que e intrnseco a
`
especie humana, a grande maioria das teorias que se prop
oem a serem chamadas de fsicas acabam
tomando os formalismos Lagrangeano e Hamiltoniano como moldes.
Ali
as, um dos bons exemplos de modelos Hamiltonianos que vem ganhando destaque nas
ltimas decadas, e que iremos citar propositalmente aqui, e o Toric Code (TC) [4]: um modelo
u
qu
antico que, apesar de n
ao ser muito conhecido entre os fsicos, vem permeando a Fsica den-
tro de um espectro bem diversificado, que vai desde a fsica da materia condensada ate algumas
teorias que apresentam algum tipo de envolvimento para com a fsica das partculas elementares
` primeira vista, isso pode ate parecer meio espantoso: afinal, aparentemente o TC nasceu
[5]. A
para ser uma especie de toy model, cujo objetivo
unico era o de fornecer as primeiras ideias
` construca
que poderiam levar a o de uma computaca antica resiliente a erros [4]. Todavia, se
o qu
lembrarmos que, por tr o, existe o fato desta a
as de toda a mensurabilidade da Computaca rea do
conhecimento estar definida em subespacos que s ` Fsica, todo esse espanto comeca
ao comuns a
1.2. SOBRE O CONCEITO DE ORDEM TOPOLOGICA 3
o computacional
a se esvair um pouco, ainda mais se tambem lembrarmos que qualquer realizaca
nova sempre depende do conhecimento e do desenvolvimento de novos materiais.
Em linhas bem gerais, podemos afirmar que esse termo materia resume tudo aquilo que pode
o de a
ser interpretado como uma mera combinaca tomos e moleculas [7], cujos ingredientes
b
asicos s otons e neutrons. Entretanto, como e perceptvel de
ao sempre os mesmos: eletrons, pr
todas as nossas experiencias di nico, ele se refere a algo que e bem
arias, apesar deste termo ser u
generico: afinal de contas, basta ver que, alem de existirem diversos tipos de materia ao nosso
redor, tambem s
ao diversas as formas e fases pelas quais ela se apresenta na Natureza.
campos magneticos [12]. Alem desses pesquisadores terem evidenciado a presenca de um efeito
Hall fracion ` raz
ario [12] (que foi assim chamado devido a ao
nhc
= ,
eB
es de fase atraves
Diante da necessidade de justificar o comportamento dessas novas transico
de um novo paradigma, uma terceira diferenca, tambem evidente nesse experimento de 1982,
acabou tendo um papel preponderante. Afinal, ao contr
ario das partculas que s
ao livres para
es que comp
transitar em ambientes tridimensionais, as excitaco oem esses gases n
ao se identificam
necessariamente nem como b
osons nem como fermions: quando duas delas trocam de lugar uma
o de onda que modela esses gases bidimensionais adquire uma fase ei que
com a outra, a funca
pode assumir qualquer valor compreendido entre 1 (que est ` caracterizaca
a associado a o de um
fermion) e 1 (que est ` caracterizaca
a associado a o de um b as, e exatamente por causa
oson). Ali
es acabaram sendo denotadas como anyons5 [14].
deste aspecto que essas excitaco
pode perfeitamente estar associado ao fato dos elementos que definem o sistema fsico estarem
o da topologia de onde eles se encontram.
organizados (ou, melhor dizendo, ordenados) em funca
E e exatamente diante desta u
ltima conclus
ao que surge o fundamento mais forte que justifica o
termo ordem topol
ogica.
ltima conclus
Por se dizer, algo que reforca ainda mais esta u ao s
ao os resultados que surgem
de alguns modelos te
oricos que s
ao definidos sobre variedades topol
ogicas bidimensionais. Afinal,
e possvel demonstrar que, em boa parte desses modelos, o grau de degenerescencia dos seus
estados fundamentais e parametrizado pelo genero6 g dessas variedades, indo em pleno acordo
es experimentais relacionadas aos gases eletr
com as observaco onicos que s
ao postos nas mesmas
es do experimento de 1982. Ali
condico as, de acordo com alguns estudos que foram realizados por
R. Laughlin [15], usando gases onde a raz
ao se mostra compatvel com o inverso de um n
umero
natural q, esse grau de degenerescencia e dado por qg , fato que s
o sublinha ainda mais toda essa
o topol
interpretaca ogica.
6
A grosso modo, o genero de uma variedade deve ser interpretado como a quantidade de buracos que esta pos-
sui. No entanto, como este termo buraco pode n ao soar e nem ser o mais adequado para explicar o significado de
`lguma confus
genero (ainda mais se notarmos que isso pode levar a o com algum
ao, devido a uma possvel identificaca
tipo de singularidade), cabe aqui uma ressalva: olhando para o caso de um toro que, por exemplo, e topologicamente
identific nica alca, o buraco a que nos referimos nada mais e do que a
avel como uma esfera macica que possui uma u
regiao vazada entre a bola e a sua alca.
6 CAPITULO 1. INTRODUC
AO
Obviamente diversos experimentos adicionais foram (e continuam sendo) realizados para in-
vestigar outras propriedades destes gases, entre as quais podem figurar algumas que ainda s
ao
completamente desconhecidas, ao mesmo tempo que outros modelos te
oricos tambem foram (e
continuam sendo) propostos para melhor caracterizar sistemas com ordem topol
ogica. Todavia,
devido aos trabalhos te
oricos que foram desenvolvidos n
ao apenas por G. Castagnoli e M. Rasetti
[16], mas principalmente por A. Yu. Kitaev [4], a busca por sistemas reais que s
ao capazes de
o redobrada nos u
suportar a presenca de anyons acabou ganhando uma atenca ltimos anos. Afi-
nal de contas, de acordo com os trabalhos destes pesquisadores ficou bem claro que tais sistemas
topol
ogicos s `s causas de uma computaca
ao capazes de atender a o qu
antica.
Ali
as, um dos modelos topol
ogicos mais simples que existe, e que fora concebido pelo pr
oprio
osito em mente, e justamente o TC: um modelo qu
Kitaev com este prop antico que e definido (i)
atribuindo elementos de um espaco de Hilbert a cada uma das arestas de uma rede (geralmente
quadrada) que e capaz de discretizar um toro7 , e (ii) pela consequente definica
o de operadores
que s
ao capazes de atuar sobre o espaco de Hilbert total que acaba se formando por decorrencia
o. E, no caso desses elementos, cabem duas observaco
de toda essa atribuica es bem interessantes,
onde a primeira delas est
a justamente relacionada para com todo esse aspecto qu
antico que bem
fundamenta o TC: todos esses elementos, que s `s arestas, devem ser interpretados
ao atribudos a
es qu
como as generalizaco anticas dos chamados bits cl
assicos, dado que eles s
ao modelados por
vetores que pertencem a um espaco de Hilbert bidimensional cuja base e indexada pelo grupo Z2 .
J o retrata bem um (mas apenas um) dos porques que aproximam esse
a a segunda observaca
modelo de algumas teorias que se envolvem para com a fsica das partculas: esses mesmos ele-
mentos de Hilbert se comportam como campos de calibre discretos. Ou seja, eles se comportam
como elementos que s
ao diretamente respons o local da variedade onde o
aveis pela caracterizaca
sistema fsico est o que a rede permite), dado que eles se sujeitam a
a definido (segundo a resoluca `
es lineares que s
transformaco ao incapazes de mexer com a covari es de movimento
ancia das equaco
[17, 18, 19].
claro que, conforme j
E o do TC como um modelo de cali-
a dissemos acima, a caracterizaca
ao e a u
bre discreto n nica raz
ao que o aproxima das demais teorias envoltas para com a fsica de
partculas elementares. Uma das outras raz
oes que podemos apontar aqui (e que, talvez, soe como
7
Ou seja, uma variedade bidimensional com genero unit
ario.
1.3. A PROPOSTA DESTE TRABALHO 7
uma curiosidade) se refere, por exemplo, ao comportamento das partculas que podem ser criadas
no TC: essas partculas (que, na verdade, s es elementares
ao quasipartculas, por serem excitaco
n
ao compostas por materia) se comportam como as suas pr
oprias antipartculas. E, segundo a
perspectiva que e oferecida por algumas extens
oes do Modelo Padr
ao das partculas elementares,
nicas partculas que podem (apenas podem) ser as suas pr
as u oprias antipartculas s
ao os neutri-
nos, haja vista que isso fornece uma boa base para justificar a massividade dessas partculas, j
a
o de sabores8 (proposta originalmente por
o da ideia de oscilaca
comprovada diante da adequaca
B. Pontecorvo [20]) aos dados obtidos em diversos experimentos [21, 22] ap o de efeitos
os a inserca
de materia nos modelos te o [23, 24, 25].
oricos de oscilaca
es a
Generalizaco ` parte, e importante destacar que tanto o TC como o QDM tem uma carac-
ltimo uma generalizaca
terstica que faz do u o que ainda e bastante incompleta: ambos n
ao asso-
`s faces das redes que os
ciam qualquer elemento de um espaco de Hilbert nem aos vertices nem a
suportam. Nestes termos, com o prop
osito de bem entender quais as consequencias que surgem
o de novos elementos de um espaco de Hilbert aos vertices e a
da adica `s faces de uma rede bidi-
8
De um modo bem geral, o sabor de um neutrino deve ser interpretado como uma especie de r otulo, como uma
o para com um lepton carregado. Ou seja, se pen-
especie de assinatura que caracteriza a sua capacidade de interaca
sarmos num decaimento beta, por exemplo, onde um antineutrino e produzido junto com um eletron como subproduto
da convers ao de um neutron num pr oton, o sabor desse antineutrino e eletr
onico, uma vez que ele s
o sera capaz de
interagir com um eletron (como e o que acontece num decaimento beta inverso) ou com a sua antipartcula (ou seja,
com um neutrino tambem eletr onico).
8 CAPITULO 1. INTRODUC
AO
` construca
mensional, dedicamos este trabalho a o de modelos Hamiltonianos discretos que tomam
um QDM (e, portanto, o TC) como um caso particular. A ideia fundamental que est
a por tr
as de
o e a de n
toda essa construca ao apenas avaliar quais s
ao as possveis propriedades fsicas que esses
til a
modelos podem apresentar (uma vez que isso pode ser muito u ` identificaca
o de novos materi-
`s causas de alguma computaca
ais que possam atender a o qu
antica, por exemplo), mas a de avaliar
como funciona a degenerescencia dos seus estados fundamentais e, por consequencia, como fun-
ciona o conceito de ordem topol claro que,
ogica diante da presenca desses novos ingredientes. E
apesar de interpretarmos esses novos elementos como campos de materia, e sempre bom lembrar
que nada garante que os nossos modelos correspondam, de fato, a alguma coisa que possa ser
chamada de fsica e, t
ao pouco, que esses novos campos possam ser interpretados como materia:
ao se envolve com nada que e expe-
afinal de contas, como tudo o que apresentamos nestas notas n
rimental, todos esses nossos modelos devem ser vistos apenas toy models, do mesmo jeito que os
modelos que foram propostos por Kitaev (como o TC e o QDM) tambem o s
ao.
1.3.1 o do trabalho
Sobre a estruturaca
No caso do pr ` definica
oximo captulo, por exemplo, ele serve para apresentarmos o leitor a o
do conceito de calibre pela perspectiva de um formalismo Hamiltoniano de sistemas que est
ao
vinculados a uma rede que discretiza uma variedade: o objetivo e dar enfase ao papel que a holono-
o dessas teorias, o que acaba resumindo dois trabalhos desenvolvidos
mia tem junto a caracterizaca
pela autora destas notas [19, 26]. E j
a que falar de uma rede que discretiza uma variedade pode
perfeitamente instigar o leitor a entender como se d o de variedades,
a o processo de discretizaca
ltimo captulo dessa primeira parte e dedicado exatamente a isso, especialmente aos
o terceiro e u
o que se envolvem para com as variedades tridimensionais. Em verdade,
processos de discretizaca
ao apenas esse terceiro captulo (que nada mais e do que uma resenha
num primeiro momento n
de algumas coisas que constam em [27]), como toda essa primeira parte, pode ser perfeitamente
1.3. A PROPOSTA DESTE TRABALHO 9
pulada por aquele leitor que deseja apenas entender qual e a ideia geral deste trabalho. Porem,
como toda a autossuficiencia e inteligibilidade que queremos dar a estas notas j
a nos permite apro-
veitar esse terceiro captulo para, por exemplo, apresentar alguns ingredientes que facilitar
ao o
bom entendimento de outras partes (com as partes que constam no Captulo 7), aconselhamos
fortemente que esse mesmo leitor leia esse terceiro captulo em algum momento, especialmente
es que se envolvem para com o metodo de discretizaca
as consideraco o de Heegard que consta na
o 3.2.2.
Subseca
J o a
a em relaca ` segunda parte deste nosso trabalho, ela se abre com o Captulo 4 que e de-
dicado ao TC. Afinal de contas, como e exatamente esse o modelo que serve como uma especie
es que apresentaremos nestas notas, e essencial que to-
de semente para todas as generalizaco
das as suas principais propriedades fiquem bem claras, por mais longo e desgastante que esse
captulo possa parecer. Por se dizer, e com algumas das generalizaco
es, que parecem ser as mais
simples de serem feitas sobre o TC, que essa segunda parte se fecha logo no Captulo 5: tratam-
es que, apesar de manterem a mesma l
se de generalizaco o do TC, se valem
ogica de construca
es de subvariedades tridimensionais que
de redes que podem ser identificadas como discretizaco
es peri
tem condico odicas de contorno e, uma delas, e explicitamente um toro. E, no caso destas
es, algo que conseguimos demonstrar e que, apesar da liberdade tridimensional que
generalizaco
`s suas quasipartculas, uma ordem topol
esses modelos oferecem a ogica ainda se faz presente, n
ao
mais sob a dependencia do grupo fundamental da variedade sobre a qual eles est
ao definidos,
ao disso acontecer e que as excitaco
mas que depende do segundo grupo de homologia. E a raz es
magneticas que definem os diferentes v
acuos deste modelo n
ao mais descrevem caminhos fecha-
dos como acontece no TC, mas descrevem superfcies fechadas [28]. Ali
as, uma coisa que devemos
frisar aqui e que, ao longo n es que se envolvem para com o TC e suas
ao apenas das consideraco
es, mas em tudo mais que apresentaremos nestas notas, iremos considerar implicita-
generalizaco
mente apenas aquelas variedades que s
ao consideradas orient
aveis, compactas e sem fronteiras.
Sobre a terceira parte destas notas, ela e a mais longa de todas e consiste de quatro captulos.
es que se envolvem para
No Captulo 6, por exemplo, apresentaremos as principais consideraco
com um QDM, uma vez que e exatamente esse o modelo mais geral que tomaremos como base
para atribuir os campos de materia que mencionamos acima. Ali o
as, como a primeira generalizaca
que faremos sobre um QDM se valer o de campos de materia aos vertices de uma rede
a da atribuica
` apresentaca
bidimensional (QDMv), achamos mais prudente dedicar o Captulo 7 a o dos tr
amites
o, e s
algebricos que se envolvem para com essa generalizaca o no Captulo 8 a apresentaremos
10 CAPITULO 1. INTRODUC
AO
o do Captulo 8 ser
explicitamente. Por se dizer, toda essa apresentaca a feita com o auxlio de
o, entre as quais
quatro exemplos que visam ilustrar as principais propriedades dessa generalizaca
podemos listar (i) as propriedades de confinamento das quasipartculas magneticas, (ii) a presenca
de regras de fus
ao n es particulares e (iii) a dependencia que o
ao Abelianas em algumas situaco
o ao segundo grupo de homologia da variedade sobre a qual ele se apoia
QDMv possui em relaca
[29].
o a u
Em relaca ltima parte destas notas, ela foi criada apenas pela quest
ao estetica de reu-
nir os tres Apendices que redigimos para esclarecer algumas quest
oes que fugiram ao enredo do
texto principal, seja por eventuais desvios de assunto ou mesmo por uma simples sobrecarga de
es, mas que indubitavelmente o complementam em aspectos bastante fundamentais.
informaco
Parte I
11
Captulo 2
2.1 Um prel
udio
Como bem dissemos no captulo anterior, a principal caracterstica dos modelos que apresen-
tamos nestas notas e que todos eles podem ser interpretados a luz das teorias de calibre discretas.
Mas, apesar de ser muito bem conhecido, dos diversos exemplos eletrodin
amicos [31], que uma
teoria de calibre e aquela onde podemos realizar transformaco
es entre algumas funco
es que des-
crevem um sistema e, ainda sim, mantermos a covari es de movimento, um
ancia das suas equaco
questionamento que persiste na cabeca de muitas pessoas e: por que essas teorias s
ao rotuladas
como de calibre? Qual e a raz
ao deste termo? Ali
as, dentro do contexto que responde a tudo
isso, como e que uma teoria de calibre que e posta em termos discretos pode ser caracterizada?
13
14 CAPITULO 2. TEORIAS DE CALIBRE COMO SISTEMAS VINCULADOS
Ali o de um sistema cl
as, quando olhamos para a situaca assico de calibre que e descrito em
o que o modela e dada por [17]
termos de um formalismo Hamiltoniano, a funca
onde j : T M n R e o conjunto de vnculos que restringe o sistema fsico a uma subvari-
edade T M nm que e definida por j (z) = 0, a qual est
a contida num fibrado cotangente T M n
decomponvel como [33]
T M n = T M nm T M nm . (2.2)
es de consistencia
equaco
B = { B , HT } = { B , HF } + { B , A }
A
= 0 , (2.3)
que est
ao relacionadas a esses vnculos de primeira classe, nos mostrarem que os multiplicadores de
A
Lagrange que os implementam a (2.1) n
ao podem ser resolvidos univocamente [35].
Desta maneira, e quando juntamos esses dois ingredientes que comeca a ficar claro qual e
o fundamento que nos permite chamar todas as teorias de calibre como tal. E, para entende-
ao e a u
lo, devemos notar que, como estamos lidando com variedades e que, portanto, z n nica
o de T M n , podemos tranquilamente tomar um outro conjunto de par
parametrizaca ametros que
es
nos permite descrever o mesmo sistema fsico atraves de novas equaco
, HT0 ()
( )
= , (2.4)
0 =0
HT 0 = HF 0 + P 0 P 0 + O P0, P 02 (2.5)
pelo uso de
1
aveis canonicamente conjugadas 0 = q 0, p0
(a) um par com vari que e capaz de parametrizar
apenas o sistema fsico, e
(b) um outro par 0 = Q 0, P 0 , que tambem contem vari
aveis canonicamente conjugadas, as
o um-pra-um entre as componentes de P 0 = P I0, P II0 e as de
quais mantem uma relaca
1
Ou seja, um par tal que q 0 , p0 = vale, para todos os valores , = 1, . . . , n m.
16 CAPITULO 2. TEORIAS DE CALIBRE COMO SISTEMAS VINCULADOS
= { , HF }
, Q I = P I , Q II = A ( , Q) e P=0 , (2.6)
Q I = P I e Q II = A (, Q) , (2.7)
es (2.6), qual-
acaba ficando muito claro que, devido a todo esse aspecto desmontado das equaco
quer que seja o calibre P I que fixemos para solucionar (2.7), essa escolha jamais interferir
a na
o das equaco
soluca es fsicas
= { , HF }
.
que est
a vinculado a uma subvariedade M nm M n ,
onde o conjunto de vnculos (que define essa subvariedade e, portanto, o espaco de fase
T M nm T M n ) e necessariamente composto pelos de primeira classe.
A
= f A (z) , (2.9)
Apesar de tudo o que dissemos ate agora se referir, t `s teorias de calibre que s
ao somente, a ao
es tambem podem ser per-
vistas como contnuas, devemos destacar que todas essas consideraco
feitamente adaptadas para descrever uma teoria de calibre pura que e posta em termos discretos:
ou seja, uma teoria cujos campos de calibre est `s arestas de uma rede que e defi-
ao associados a
nida sobre M. Ali
as, uma coisa que j a bem clara na literatura [37] e que, diante de toda
a est
o discreta que nos permite enxergar M localmente como uma especie de colcha
essa realizaca
de retalhos composta por poliedros n
ao necessariamente regulares, se torna v
alido descrever tal
sistema por meio de uma funca o [38]
o de partica
X Y
Z = f ( 1 , . . . , k ) , (2.10)
{j } f
f2 f1 f2
f1
A necessidade de um grupo
A primeira coisa que precisamos fazer, para entender porque G precisa ser um grupo, e notar
que, como estamos lidando com uma rede onde todas as faces s o, Z precisa
ao disjuntas por definica
o onde, por exemplo, a uni
descrever uma situaca ao de duas faces f 1 e f 2 que partilham uma mesma
o. Assim, se tomarmos uma partica
aresta tambem deve ser vista como uma partica o f = f 1 f 2
ao inves de f 1 e f 2 separadamente, o sistema que estamos considerando precisa ser modelado
o ocorra sem apresentar qualquer dependencia do elemento que e
de modo que a sua descrica
partilhado nesta uni
ao, tal como a Figura 2.1 bem sugere. Portanto, como isso implica que
fL1 1 , . . . , j fL2 j , . . . , m = fL1 f2 1 , . . . , j-1 , j+1 , . . . , m (2.11)
a a segunda coisa que precisamos notar aqui e que, se j e um elemento de um grupo, sempre
J
nico elemento de G a
seremos capazes de associar um u ` duas arestas consecutivas dessa rede: afinal
o [39]
de contas, como a aplicaca
( 1 , 2 ) 7 ( 1 , 2 ) = 3 ,
que j
a d nico elemento 3 ao par ordenado
a uma estrutura de grupo a G, sempre associa um u
o de um u
(1 , 2 ), essa associaca nico elemento a
` duas arestas (sejam elas consecutivas ou n
ao)
2.2. TEORIAS DE CALIBRE 19
Figura 2.2: Recorte com as mesmas faces que j a foram apresentadas na figura anterior, as quais agora
usamos para enfatizar o fato de que as faces e as arestas podem ser orientadas independentemente. Note
que, ao orientarmos duas faces vizinhas f 1 e f 2 (` a esquerda) da mesma maneira, isso automaticamente d aa
mesma orientacao a
` partica
o f 1 f 2 (`
a direita).
( 1 , 2 ) = ( 2 , 1 )
e uma verdade apenas quando G e Abeliano, tambem acaba ficando bem claro que a associaca
o
nico elemento a
de um u ` duas arestas, que s
ao originalmente indexadas por 1 e 2 , pode n
ao ser
unvoca. Desta maneira, ao notarmos que as faces e as arestas de uma rede podem ser orientadas
o (2.11) precisamos dar n
independentemente, para que (2.10) realmente reflita a condica ao ape-
o para todas as faces, como bem ilustra a Figura 2.2: se estivermos sobre
nas a mesma orientaca
a face que contem a j-esima aresta como parte do seu bordo, tambem se faz necess
ario ler um
elemento j como [37]
1
j , na situac
ao contr
aria a essa.
A import
ancia da holonomia
1
2 2
5
o do elemento que j
Diga-se de passagem, se analisarmos, por exemplo, a associaca a e feita para
nica aresta por essa perspectiva, assegurar um u
uma u nico elemento a
` discretizaca
o de um caminho
passa a n
ao ser t
ao estranho, uma vez que uma aresta sozinha pode discretizar qualquer caminho
independente de qualquer precis
ao. Portanto, ao estendermos essa mesma linha de raciocnio a
nica face f , se torna perfeitamente possvel assegurar um
todas as arestas que completam uma u
nico elemento f ao bordo desta face: isso e feito atraves de uma aplicaca
u o U f : G k G, dada
por
U f ( 1 , . . . , k ) = ( . . . ( ( 1 , 2 ) , 3 ) , . . . , k ) = f , (2.12)
U f1 ( 1 , 2 , 3 ) = 1 1
2 3 = f 1 e U f 2 ( 2 , 4 , 5 ) = 2 4 5 = f 2
Figura 2.4: Uni a foram apresentadas nas figuras anteriores, de onde e possvel
ao das faces f 1 e f 2 que j
observar que U f1 U f2 = U f1 f2 .
qualquer um dos vertices de f , sempre retorna intacta para ele. E a grande consequencia disso e que
todo esse processo de multiplicar os elementos j (na mesma sequencia que eles aparecem ao longo
do bordo de f ) pode ser identificado como um transporte paralelo, que nos permite interpretar U f
como a holonomia local deste sistema [40].
U f1 ( 1 , 2 , 3 ) = 1 1 1 1
2 3 = 2 3 1 = 3 1 2 = f 1 e
U f 2 ( 2 , 4 , 5 ) = 2 4 5 = 4 5 2 = 5 2 4 = f 2 ,
desde que o resultado dessa holonomia deve independer da aresta que escolhemos como ponto de
partida. E, como consequencia dessas duas express
oes, podemos concluir que
U f 1 ( 1 , 2 , 3 ) U f 2 ( 2 , 3 , 4 ) = U f 1 f 2 ( 1 , 3 , 4 , 5 ) . (2.13)
as, diante de (2.13) e importante destacar duas coisas. A primeira delas (que e a mais
Ali
simples) e que esse comportamento da holonomia realmente faz sentido: pois, como L n pode ser
o grosseira de M n , quando perdemos parte da resoluca
vista como uma aproximaca o dessa rede,
ao considerar f 1 f 2 ao inves de f 1 e f 2 separadamente, U f1 f2 precisa caracterizar M n da melhor
22 CAPITULO 2. TEORIAS DE CALIBRE COMO SISTEMAS VINCULADOS
J
a a segunda coisa que precisamos mencionar aqui diz respeito a uma coisa que o leitor j
a pode
ter notado, a qual iremos mencionar apenas por uma quest o ao que j
ao de completeza em relaca a
o: a similaridade entre (2.11) e (2.13). E, de acordo com os pesos
dissemos no incio desta Seca
estatsticos
fL = e [ U ( f ) + U 1 ( f ) ] (2.14)
fL1 f2 = e2 [ Umean ( f1 f2 ) ( f1 f2 ) ]
1
+ Umean
,
` temperatura do sistema e U 1 ( f ) e o
onde e um coeficiente que e inversamente proporcional a
inverso da holonomia que est ` f -esima face. Afinal de contas, desde que Umean ( f 1 f 2 )
a associada a
e a holonomia media que caracteriza essa uni
ao f 1 f 2 , isso est
a de pleno acordo com o que dis-
ltimo par
semos no u a que (2.13) tambem e uma media (geometrica) entre as holonomias
agrafo, j
que caracterizam f 1 e f 2 individualmente. Deste modo, apesar do peso estatstico (2.14) servir
para caracterizar uma teoria de calibre pura sobre uma rede como um sistema Hamiltoniano com
vnculos, tudo isso mostra que podemos trabalhar com um peso
fL ( 1 , . . . , k ) = f ( 1 , . . . , k ) U f ( 1 , . . . , k ) , f (2.15)
es de calibre
Sobre as transformaco
Todavia, antes de explicarmos porque e melhor trabalhar com (2.15) para fazer tal carac-
o, ainda precisamos analisar porque esse sistema pode ser interpretado como uma teo-
terizaca
o de
ria de calibre. E, de acordo com tudo o que dissemos anteriormente, como a caracterizaca
calibre de um sistema cl
assico est ` liberdade que temos para transformar alguns
a relacionada a
2.2. TEORIAS DE CALIBRE 23
ametros que descrevem a sistema sem mudar a sua fsica, e muito claro que a caracterizaca
par o de
`s transformaco
calibre do nosso sistema discreto deve estar relacionada a es que podem ser feitas
sobre os elementos j que o modelam.
Para entender como tudo isso funciona, precisamos ter em mente que, como f pertence ao
grupo G, ele n
ao poder
a ser expresso univocamente como um produto
f = 1 . . . k (2.16)
j g 1 , se uma situaca
o contr
aria for v
alida para essa mesma aresta.
Aqui, ne e o n
umero de arestas que definem o v-esimo vertice.
2 2
5 5 g 1
6 g6
(g)
1 3 Tv 1 3
=
8 8 g 1
7 g7
4 4
Figura 2.5: Esquema relacionado a uma rede bidimensional, onde temos quatro faces (` a esquerda) com-
partilhando um mesmo vertice v, cujas arestas contem elementos do grupo G que s ao transformados (`
a
` aca
direita) devido a o de um mesmo elemento g de acordo com o criterio estabelecido acima. Aqui, estamos
considerando que todas as faces est
ao orientadas no mesmo sentido hor ario das figuras anteriores.
Y
Z0 = f ( 1 , . . . , k ) U f ( 1 , . . . , k ) , e ,
f
a qual nos permite caracterizar essa teoria como a de um sistema com vnculos, desde que a sua
Hamiltoniana ser
a
X X
H0 = ln Z0 = f ( 1 , . . . , k ) + ln U f 1 , . . . , k ,e .
f f
ao e a u
Entretanto, essa n nica configuraca
o acessvel ao sistema quando lidamos com um G que
ao e trivial. E quando pensamos na configuraca
n o mais geral possvel, onde temos m faces com
holonomias que n o de partica
ao se identificam com o elemento identidade de G, como a funca o
2.2. TEORIAS DE CALIBRE 25
Y
Z m = Nm f ( 1 , . . . , k ) U f ( 1 , . . . , k ) , e
f Fflat
Y
f 0 ( 1 , . . . , k ) U f 0 ( 1 , . . . , k ) , f 0 , (2.17)
f 0 L n \Fflat
e justamente esse resultado que nos mostra que (2.10) pode ser desenvolvida como
nf
X nf
X Y
Z = Zm = * Nm + f ( 1 , . . . , k ) U f ( 1 , . . . , k ) , f .
m=0 , m=0 - f
` funca
a qual nos leva a o Hamiltoniana
X
H = ln Z = ln Z + ln U f ( 1 , . . . , k ) , f + O nf (2.18)
f
nf
X
O nf = ln * Nm + ; (2.19)
, m=0 -
X
H 0 = H O nf = ln Z + ln U f ( 1 , . . . , k ) , f
f
es adicionais
Observaco
es j
Embora todas essas consideraco a nos permitam enxergar esse sistema discreto, de pesos
estatsticos dados por (2.15), como um sistema Hamiltoniano com vnculos, j es
a que as aplicaco
U f ( 1 , . . . , k ) 7 f = ln U f ( 1 , . . . , k ) , f (2.20)
26 CAPITULO 2. TEORIAS DE CALIBRE COMO SISTEMAS VINCULADOS
d
ao conta de caracterizar a rede que suporta o sistema fsico apenas quando f = 0, ainda existe
o. Afinal, apesar dos vnculos discretos (2.20) serem t
uma coisa que merece a nossa atenca ao
identicamente nulos quanto o P = 0 que aparece em (2.6), neste ponto o leitor mais atento pode
estar se perguntando sobre os multiplicadores de Lagrange n
ao unvocos que aparecem em (2.5) e
que, por analogia, deveriam estar implementando, ao menos, uma parte dos vnculos em (2.18).
E a melhor resposta que podemos dar ao leitor que se faz essa pergunta e baseada na propriedade
logartmica
ln U f ( 1 , . . . , k ) , f = 0
g
= ln U f ( 1 , . . . , k ) , f f = 0
f
f ln U f ( 1 , . . . , k ) , f ,
o de partica
na funca o (2.10), pois isso nos leva a uma nova
X
H 00 = ln Z + f ln U f ( 1 , . . . , k ) , f (2.21)
f
que contem exatamente os mesmos vnculos que (2.18), e justamente essa propriedade que nos diz
es Hamiltonianas H 0 e H 00 descrevem a mesma fsica. Por se dizer, como esse
que ambas as funco
multiplicador n
ao unvoco f nos permite reconhecer
f = ln U f ( 1 , . . . , k ) , f (2.22)
Em todo caso, e muito importante que o leitor esteja ciente de uma coisa: todo esse reconheci-
2.2. TEORIAS DE CALIBRE 27
f = ln U f ( 1 , . . . , k ) , f = 0
` funca
a o Hamiltoniana (2.21). Embora seja perfeitamente possvel realizar uma transformaco
es
independentes sobre f e j (analogamente ao que acontece com os par
ametros e na teoria
cl
assica), os verdadeiros campos de calibre da nossa teoria discreta s
ao os elementos j , que est
ao
`s arestas de L n e que podem ser transformados pela aca
associados a o (de uma combinaca
o) de
(g)
es Tv
funco : G n e G n e que foram definidas na p
agina 23.
28 CAPITULO 2. TEORIAS DE CALIBRE COMO SISTEMAS VINCULADOS
Captulo 3
o de variedades
Discretizaca
3.1 Coment
arios iniciais
Figura 3.1: Exemplo de uma rede associada a uma variedade topol ogica bidimensional e localmente Eucli-
o da variedade pode ser interpretada atraves da colagem de polgonos n
deana: neste caso, a discretizaca ao
necessariamente regulares, por meio das arestas que eles compartilham uns com os outros.
29
30 CAPITULO 3. DISCRETIZAC DE VARIEDADES
AO
3.2 o
O processo de discretizaca
a uma semi-bola, que tem n-1 dimens a contida no Rn+ , caso q faca parte da
oes e que est
fronteira M desta variedade, ou
o de variedade n
Em verdade, devemos salientar que toda essa definica ao deixa de ser compatvel
com a que faramos para uma que e pensada em termos diferenci
aveis. Afinal, a famlia de
biunvocas : U Rn M, que forneceria uma estrutura a variedade, faria com que uma
o de que (U ) s
topologia fosse naturalmente induzida sobre M, sob a consideraca ao os seus
abertos [2].
E para entendermos o porque de tanto valiosismo, precisamos notar que, de um modo geral,
o de uma variedade pode ser pensada literalmente como uma colagem que envolve,
a discretizaca
pelo menos, duas variedades abertas (ou seja, duas variedades que n
ao podem ser consideradas
fechadas, uma vez que as suas fronteiras n
ao se identificam como conjuntos vazios). No caso,
1
Ou seja, para dois pontos quaisquer q e q 0 de M, existem as respectivas vizinhancas Vq e Vq 0 tais que Vq Vq 0 = .
3.2. O PROCESSO DE DISCRETIZAC
AO 31
tomando M e N como essas duas variedades abertas, nas quais existem as respectivas regi
oes
orficas A e B nas suas fronteiras, essa colagem e feita atraves de uma aplicaca
homeom o h : A
M B N que e vista naturalmente como um homeomorfismo.
Na pr
atica, todo este processo de colagem funciona como um verdadeiro encaixe dessas duas
a que e por meio dessa identificaca
variedades M e N , j o um-pra-um que h faz que um novo
espaco topol
ogico M hN acabe sendo estruturado, o qual est `s
a naturalmente condicionado a
o2 . Nestes termos, e quando voltamos
es que foram listadas no incio desta Seca
mesmas condico
es para uma variedade que j
as nossas atenco a se identifica com alguma M hN , e analisamos a
o por uma perspectiva reversa, que acaba ficando bem clara toda a similaridade desta
situaca
o que foi idealizada no Captulo 2, onde vislumbramos o mesmo
colagem h com a discretizaca
processo por meio de uma colagem de poliedros. E, diga-se de passagem, e exatamente neste ponto
que vale a pena destacar que, de fato, existe uma estrutura topol
ogica que n
ao apenas permite
discretizar algumas variedades, mas que pode ser literalmente entendida nos moldes tradicionais
de um poliedro: essa estrutura e o simplexo.
Complexos topol
ogicos
Em linhas gerais, um simplexo pode ser interpretado como a mais simples das estruturas
ogicas que podem ser encerradas por meio de um conjunto de pontos { q0 , . . . , qk }. Afinal,
topol
ao linear que e oferecida pelo Rn , ao considerarmos tais pontos como os
de acordo com a vis
vertices de um poliedro convexo que satisfaz a
0 6 a0 q0 + . . . + ak qk 6 1 ,
onde aj s
ao constantes reais, um simplexo [ q0 , . . . , qk ] de ordem k fica bem definido como o
menor subespaco convexo com k dimens
oes que est
a contido neste espaco Euclideano [42]. Ali
as,
por uma simples consequencia disso tudo, se torna muito claro que a maior ordem que pode se
relacionar a um simplexo sempre se identifica com a dimens
ao do espaco Euclideano que o contem.
claro que estamos falando de uma maneira extremamente simplificada sobre o conceito de um
E
simplexo. Mas e com base nesta nossa definica
o extremamente simplificada que, ao tentarmos
entender a figura de um simplexo de ordem k pela mesma perspectiva de uma variedade, j
a se torna
2
Ali
as, caso A e B se identifiquem com as pr
oprias M e N respectivamente, a fronteira de M h N ser
a necessari-
amente vazia.
32 CAPITULO 3. DISCRETIZAC DE VARIEDADES
AO
h
q4 q40 q4 q20 = h (q2 ) q40
q2 q20
q1 q10
q10 = h (q1 )
Figura 3.2: Exemplo de uma colagem entre dois simplexos de ordem 3 atraves de uma u nica face. Neste
caso, como todas as faces n `s outras, complexo assim formado ter
ao foram coladas umas a a uma fronteira
n
ao vazia.
completamente plausvel pensar no conjunto dos simplexos de ordem k-1 que est
ao contidos no
primeiro simplexo como a sua fronteira. Desta maneira, ao tomarmos, por exemplo, dois simplexos
que tem a mesma ordem, e pensarmos no mesmo esquema de colagem que mencionamos acima,
se torna perfeitamente possvel construir uma estrutura discretizada atraves da colagem de, ao
menos, uma das fronteiras destes dois simplexos, j
a que eles s
ao homeom
orficos. Essa estrutura,
que obtemos por meio desta colagem de simplexos. e o que chamamos de complexo topol
ogico;
e, por um simples efeito dos simplexos que definem a sua fronteira serem identific aveis como
tri o que segue como resultado desse processo recebe o
angulos k-1 -dimensionais, a discretizaca
nome de triangularizaca
o.
O caso tridimensional
No entanto, conforme consta em [43], existem dois resultados de grande valia dentro do con-
es, sendo, o primeiro deles, resumvel pelo seguinte enunciado [44]:
texto das discretizaco
(b) o seu n
umero de Euler, que e dado por
e = nV + nF ( nA + nS ) ,
3.2.2 O m
etodo de Heegaard
` construca
Apesar de tudo o que dissemos ate agora ser realmente relevante a o de qualquer
modelo que se valha de variedades tridimensionais, cabe destacar que existe um outro processo de
o que e um pouco mais geral do que essas triangularizaco
discretizaca es: trata-se daquele que se
apoia sobre as chamadas partico
es de Heegaard. E a caracterstica mais marcante que est
a associada
o que explicaremos a partir de agora e que, ao contr
a este novo metodo de discretizaca ario das
es, ele se vale de um tipo de estrutura que parece ser bem mais male
triangularizaco avel para
particionar uma variedade: essa estrutura e o handlebody, cuja traduca
o ao pe da letra (do
ingles para o portugues) e corpo com alcas.
es
Algumas definico
h1 h3
h2 h4
Figura 3.3: Exemplo de formacao de um handlebody de genero 2, atraves da colagem de dois cilindros
s possvel demonstrar que esta estrutura e homeom
olidos a uma bola tridimensional. E orfica a qualquer
variedade de mesmo genero.
com esses handlebodies tambem deve ser. Nestes termos, diante de uma colagem de n cilindros
s
olidos a uma bola tridimensional, por exemplo, um handlebody de genero n ser
a formado [48],
o qual ser
a naturalmente homeom
orfico a qualquer variedade que possua o mesmo genero [47].
Ali o
as, uma das boas estrategias que existe para visualizar como esse processo de discretizaca
avel M acontece em termos dos handlebodies, e tomando a sua trian-
de uma variedade orient
o como apoio. E, para isso, basta considerar
gularizaca
Figura 3.4: Estrutura formada pela colagem das diversas Eq associadas aos vertices q que figuram no
complexo topol
ogico tomado como apoio.
3.2. O PROCESSO DE DISCRETIZAC
AO 35
Figura 3.5: Esquema de formaca o de uma estrutura topol ogica, composta pela colagem de cilindros s
olidos
` bolas tridimensionais atraves das suas bases de bordos negros, tomando suas simetrias sobre os pontos e
a
as arestas de um complexo topol ogico que discretiza a variedade tridimensional.
Desta maneira, uma variedade que e inicialmente discretizada por meio de colagens entre tetrae-
dros3 , pode ser realizada pela colagem de duas novas estruturas topol o de
ogicas, onde a formaca
uma delas est ` definica
a bem exemplificada na Figura 3.5. Com isso, devido a o que acabamos de
apresentar para um handlebody, fica bem claro que n
ao apenas a estrutura mais b
asica que est
a
es (que s
presente nesta figura, mas todas as suas generalizaco ao formadas pela colagem de v
arias
destas estruturas mais b
asicas atraves dos seus cilindros com bordos livres), s
ao identificadas
como handlebodies4 .
Ali
as, uma maneira alternativa de entendermos essas estruturas, surge quando levamos em
es relacionadas a M, cada um dos vertices do
conta que, em todas as possveis triangularizaco
o de quatro arestas. E a principal con-
seu complexo sempre pode ser encarado como uma junca
sequencia disso e que, qualquer uma dessas estruturas (seja ela generalizada ou n
ao) sempre
pode ser comodamente repensada como a colagem de um outro tipo de estrutura topol
ogica Eq ,
3
Ou seja, atraves de colagens de simplexos de ordem 4.
4
E justamente neste ponto que convem mencionar o verdadeiro motivo de termos destacado, em vermelho, os bordos
livres da estrutura que consta na Figura 3.5: isso foi feito, t
ao somente, para deixar explcito quais s
ao as regi
oes onde
as colagens, entre todas as estruturas do mesmo tipo, precisam ser feitas para que uma estrutura topol ogica maior,
associada a essa rede triangularizada como um todo, possa ser concebida.
36 CAPITULO 3. DISCRETIZAC DE VARIEDADES
AO
o de Heegaard
Partica
E, para entendermos como tudo isso funciona, precisamos continuar considerando a trian-
o de uma variedade tridimensional M sobre a qual podemos erguer uma estrutura E,
gularizaca
que e composta pela colagem das quatro estruturas elementares Eqj que se relacionam com um
dos seus tetraedros, tal como a que j
a consta na Figura 3.4. Afinal de contas, se, analogamente
oide q0 de um dos tetraedros dessa
ao que fizemos no procedimento anterior, tomarmos o centr
o e o envolvermos numa estrutura Eq0 que e similar a essas elementares, fica bem
triangulaca
a bem exemplificada pela Figura 3.6, e perfeitamente
claro que essa nova estrutura Eq0 , que est
avel no interior de E, uma vez que q0 pode ser visto como o juntor de quatro arestas que
aloc
pertencem a rede dual5 . Logo, por efeito da mesma estrategia que j
a nos levou a E, passa a ser per-
feitamente possvel construir um outro espaco topol ogico E 0, desde que tomemos como os novos
oides q10 , . . . , qn0 e o conjunto que e composto por todas
( )
trilhos o conjunto de todos os centr
as arestas que os ligam: ou seja, E 0 nada mais e do que o simples fruto das colagens das diversas
estruturas Eq0k atraves dos seus bordos livres.
E a grande vantagem de concebermos essas duas novas estruturas E e E 0 por meio de todos
esses encaixes e que, com eles, se torna muito natural entender como e que funciona todo esse
o de variedades em termos dos handlebodies. Afinal de contas, como isso
processo de discretizaca
pode ser feito atraves de uma colagem (ou seja, de um homeomorfismo h : E 0 E entre as
fronteiras bidimensionais E 0 e E), uma, e apenas uma, das maneiras que temos para definir essa
o e tomando, por exemplo,
discretizaca
em conformidade ao que bem ilustra a Figura 3.7. Nestes moldes, como tal colagem pode ser
o de E 0 sobre a parte da su-
realizada, em cada uma dessas celulas estruturais, como a dilataca
ao projetados sobre E 0 [49], acaba ficando bem clara
perfcie encerrada pelos bordos azuis que est
o de uma variedade discretizada quando olhamos para o resultado final de tudo isso. E e
a concepca
exatamente o trio P = E, E 0; h que e assim formado que bem define o que chamamos de partica o
o de Heegaard nada mais e do que a maneira de realizarmos
de Heegaard. Ou seja, uma partica
um espaco topol
ogico orient
avel M como a uni ogicos E e E 0
ao disjunta de dois espacos topol
por meio de um homeomorfismo h : E 0 E, que constroi uma relaca o um-pra-um entre os pontos dos
bordos azuis de E 0 e suas projeco
es sobre E.
38 CAPITULO 3. DISCRETIZAC DE VARIEDADES
AO
independentes, os quais s
ao orient
aveis e geralmente identificados como dois handlebodies que
possuem o mesmo genero. No entanto, vale reforcar uma coisa: apesar da aparente univoci-
dade dessa colagem que acabamos de apresentar, todo esse particionamento em termos desses dois
handlebodies pode ser feito de diversas maneiras; em outras palavras, nada impede que outros
pares EA e EA0 , que tambem s aveis por outros homeomorfismos hA : EA0 EA , possam
ao col
estruturar a mesma variedade M [27].
es
Algumas observaco
( )
Teorema 3 Consideremos que D = cj E e um conjunto cujos elementos se identificam com as
curvas fechadas que figuram na superfcie do handlebody E. Ent
ao, o diagrama que e estruturado
por D ser
a uma decomposica olida de E se:
o s
e D0 =
( )
Diga-se de passagem, e justamente pela atribuica
o dos dois conjuntos D = cj E
3.3. SOBRE A ESTRUTURAC DAS TEORIAS DISCRETAS
AO 39
cj0 E 0 que podemos definir, por exemplo, o que chamamos de bipartica
o B = E, E 0; D, D 0; h .
( )
Ali
as, se analisarmos bem o que j
a foi exposto anteriormente, tambem acaba ficando bem claro
que um bom exemplo destes diagramas de Heegaard j
a foi dado na Figura 3.7, atraves do casa-
es dos bordos azuis sobre uma mesma E. E e diante deste
mento entre curvas vermelhas e projeco
es distintas para todos os
reconhecimento que fica claro o grande motivo de termos dado coloraco
bordos de Eqj e Eq0k : afinal, distinguir esses bordos por cor nos permite bem entender como todo
o a
esse particionamento de M funciona, alem de trazer uma feliz contribuica `s formulaco
es que
podem ser feitas para as diversas teorias que descrevem sistemas discretos, sejam eles fsicos ou
n
ao.
E e diante de toda essa descritibilidade de M que e feita via Heegaard, que precisamos nos
atentar a tudo aquilo que j
a est es de variedades.
a bem posto na literatura sobre as triangulaco
Afinal de contas, se realmente quisermos modelar algum sistema fsico discreto nestes novos ter-
mos, e imprescindvel avaliar como isso pode ser feito consistentemente, tendo sempre em mente
a mencionamos no incio destas notas6 .
o mesmo princpio da correspondencia que j
duas redes nos diz que e perfeitamente plausvel admitir que outros campos duais7 j tambem
`s arestas da rede dual, fica bem claro que, quando estamos diante de um
podem ser atribudos a
`s faces que comp
particionamento de M via Heegaard, devemos atribuir pesos a oem nas duas
o de Heegaard acaba suprindo todas as necessidades de
redes: e, no caso, como a diagramatizaca
o da variedade M = E h E 0 atraves dos conjuntos
uma descrica
= ck = h ck0 E : ck0 E 0
( ) ( )
D = cj E e D
de curvas, e imediato concluir que esses campos duais precisam ser associados a cada uma das
curvas que est
ao presentes em D.
M (k)
Figura 3.9: Peso M (k) atribudo a k-esima face presente no complexo topol
ogico original, que e utilizado
o do handlebody E. Note que ele deve ser encarado, em verdade, como a aplicaca
para a estruturaca o
associada ao diagrama exposto a ` esquerda na Figura 3.8.
desta estrategia, como a cada uma dessas curvas estar nico campo de calibre, e
a associado um u
o de curvas tambem deve ser traduzida em termos
imediato concluir que esta mesma intersecca
o de que
desses campos. E, no caso, a escolha tomada para isso se assenta na simples suposica
todos esses campos, em verdade, comp algebra, que e munida
oem uma bi
Desta forma, passa a ser perfeitamente possvel expressar o peso M (k) , que est
a associado a cada
uma das curvas ck , em termos dos diagramas de Kuperberg que consta na Figura 3.9, enquanto a
cada uma das curvas cj e atribudo o peso (j) dado pela Figura 3.10.
Ali
as, conforme talvez j
a tenha ficado bem claro da pr
opria Figura 3.8, quando nos valemos
es que se relacionam para com a diagramatizaca
de todas as consideraco o de Kuperberg que, por
o possa ser traduzida em termos
exemplo, consta no Apendice A, para que toda essa amarraca
(j)
Figura 3.11: Esquema de contraca o envolto para com um par de curvas c e c de um diagrama de Heegaard,
que se interceptam num u nico ponto: a` direita, temos uma representaca
o feita via Kuperberg para uma
o de curvas onde a base B e destr
interseca ogira; a` esquerda, temos a mesma situaca
o, s
o que envolta para
com uma B lev ogira.
destes pesos ainda devemos levar em conta algo muito importante: as curvas de um diagrama
o que e adotada para fazer essa orientaca
de Heegaard precisam ser orientadas. E a convenca o
consiste em assumir que esses campos n
ao se restringem a uma simples bi
algebra: para fazer essa
o, assumimos que esses campos satisfazem uma a
orientaca oria, uma vez
lgebra de Hopf involut
til dentro de todo esse esquema de
que isso faz com que a sua antpoda S : V V seja muito u
o8 . Nestes termos, se considerarmos que os vetores ~vc e ~vc denotam as orientaco
amarraca es
das respectivas curvas ck e cj , e nos apoiarmos sobre a base B = ~vc ,~vc ,~vc ~vc que pode ser
o destas duas curvas pode ser representada [37]
construda a partir deles, a intersecca
o de partica
Sobre a funca o
Apenas para terminar esse captulo, vale notar que e por meio de toda esta perspectiva que,
o de partica
agora, se torna possvel, por exemplo, construir uma nova funca o para um modelo
fsico que e posto nestes termos, a qual ser
a obrigatoriamente mais geral que a anterior (2.10). No
o, ela e dada por
caso desta funca
X Y j
Z = (j) j1 , . . . , jk Scab M (c) c1 , . . . , ck ~vja ~vcb , 1 , (3.1)
j,c
( )
jn
`quela que se envolve para com as teorias de calibre quando [27, 37]
a qual se reduz a
(j) j1 , . . . , jk = j1 , j2 . . . j1 , jk ,
8
o de todos estes conceitos, especialmente a Seca
Vide o Apendice B para a definica o B.2.2.
3.3. SOBRE A ESTRUTURAC DAS TEORIAS DISCRETAS
AO 43
j 1
Scab = ja , cb e M (c) c1 , . . . , ck = j1 , . . . , jk ,
o de partica
E entre todas as coisas que podem ser ditas sobre uma funca o expressa nestes
novos moldes, independente dela se identificar com uma de calibre discreto ou n
ao, talvez a mais
importante seja a que est
a relacionada ao seguinte teorema [27, 50]:
1 1
ZD = Z D0 ,
f D ( nA , nF , nS ) f D0 ( nA , nF , nS )
es
Toric code e algumas generalizaco
45
Captulo 4
Apesar de j
a termos feito alguns coment
arios bem vagos sobre o toric code (TC) no pri-
meiro captulo, mencionando algumas das propriedades que o tornam protagonista em algumas
es, e agora que convem apresent
investigaco a-lo de uma maneira um pouco mais formal, fazendo
com que o leitor ganhe uma boa base para entender todos os desenvolvimentos que vir
ao mais
a podemos afirmar sobre o TC e que ele se vale, pelo
adiante. E, em linhas bem gerais, algo que j
menos, de duas coisas: (i) de uma rede R 2 (usualmente quadrada) que e capaz de discretizar uma
subvariedade T2 que e isom
orfica a um toro bidimensional; e (ii) dos vetores
j = a () | 0 i + a () | 1 i (4.1)
0 1
de um espaco de Hilbert H2 que possui uma base indexada pelo grupo Z2 , sendo j um n
umero
natural.
47
48 CAPITULO 4. UM BREVE PANORAMA DO TORIC CODE
Ali
as, uma das consequencias imediatas que surgem justamente do fato de (4.1) ser um ele-
mento de H2 e que, ao assumirmos que R 2 e uma rede formada por Na arestas, todo este mesmo
o de qubits pode ser visto de uma maneira que e um pouco mais global,
esquema de associaca
dado que
HTC = H2Na = H2 . . . H2 (4.2)
| {z }
N a vezes
ser
a o espaco de Hilbert associado a essa rede como um todo, desde que cada aresta de R 2
realmente corresponda a um H2 2 . E, diante disso, ao notarmos que a proposta computacional
por tr
as do TC permite interpret
a-lo como um modelo que tem pretens
oes de ser fsico, uma das
suas principais caractersticas se torna imediata: qualquer um dos seus operadores O : HTC HTC ,
que se poste como capaz de medir alguma propriedade fsica do TC, precisa ser obrigatoriamente
Hermiteano [52, 53].
Por se dizer, um dos principais operadores fsicos que este modelo possui e o Hamiltoniano [4]
X X
HTC = Av Bp , (4.3)
v p
Y Y
Av = jx e Bp = jz (4.4)
jSv jSp
x, y, z
j = I2 . . . I2 x, y, z I2 . . . I2 (4.5)
| {z } | {z }
(j- 1) vezes ( Na j) vezes
que age n
ao identicamente apenas sobre o subespaco que est ` j-esima aresta,
a relacionado a
2
Apesar deste n ao ser o caso do TC, nada impede que parte das arestas nao comportem qualquer bit quantico. Nestes
casos, os espacos de Hilbert totais associados a estes novos modelos dever
ao ser interpretados como subespacos do HTC .
4.2. PROPRIEDADES GERAIS 49
Figura 4.1: Desenho esquem atico com um trecho de R 2 , onde vemos (i) o setor azul est a centrado pelo
` p-esima face, cujo centr
v-esimo vertice da rede, enquanto (ii) o setor vermelho se refere a oide pode ser
interpretado como um dos vertices de uma rede dual R 2 (pontilhada). No caso das arestas que est ao desta-
cadas (em preto) em cada um destes setores, s ao elas quem definem os subconjuntos Sv e Sp .
Uma das primeiras coisas fsicas que sempre vem em nossas mentes quando realizamos um
operador como um Hamiltoniano, e que ele deve ser capaz de medir a energia total do sistema que
ele representa. E a melhor maneira de entendermos como isso ocorre no caso do operador (4.3)
e analisando o comportamento dos operadores (4.4) que o definem, mais especificamente quando
eles agem sobre um dos 2 Na elementos
| 1 i . . . Na (4.6)
de uma base do HTC . Afinal de contas, como todo espaco de Hilbert e um exemplo de espaco
a muito bem entendido qual e o
vetorial, se bem entendermos esse comportamento, tambem estar
o de qualquer um desses operadores sobre um elemento arbitr
resultado que surge da aca ario do
HTC [52].
Por se dizer, como o elemento (4.6) nada mais e do que um mero produto tensorial entre
os elementos | 0 i e | 1 i, os quais podem ser perfeitamente interpretados como os autovetores
o bastante natural surge quando nos valemos de uma
dos operadores de Pauli, uma observaca
50 CAPITULO 4. UM BREVE PANORAMA DO TORIC CODE
o matricial [55]
representaca
* 0 1 +/ * 0 i +/ * 1 0 +/
x = .. , y = .. e z = .. (4.7)
1 0 i 0 0 1
/ / /
, - , - , -
*1+ *0+
= .. //
| 0 i = 1 e = .. //
| 1 i = 0 .
0 1
, - , -
jx 1 . . . j-1 j j+1 . . . Na (4.8)
= 1 . . . j-1 j j+1 . . . Na e
jz 1 . . . j-1 j j+1 . . . Na (4.9)
= (1) j 1 . . . j-1 j j+1 . . . Na ,
o onde
vemos que, numa situaca
N
Av Bp 1 . . . a
Y Y
= jx kz 1 . . . m . . . m+5 . . . N
a
jSv kSp
Y
= (1) m +m+1 +m+4 +m+5 jx 1 . . . m . . . m+5 . . . Na
jSv
= (1) m + m+1 + m+4 + m+5 1 . . . m . . . m+3
m+4 m+5 . . . Na
3
O caso onde Sv Sp e vazio e imediato, pois Av e Bp atuam necessariamente sobre setores disjuntos. J o
a a comutaca
destes operadores para com eles mesmos pode ser analisada segundo a relaca o
, = 2i , (4.10)
onde se refere ao smbolo de Levi-Civita [56], uma vez que elas remetem a Av Av0 = v,v0 ITC e Bp0 Bp = p,p0 ITC .
4.2. PROPRIEDADES GERAIS 51
Y
= kz 1 . . . m . . . m+3 m+4 m+5 . . . Na
kSp
Y Y
= kz jx 1 . . . m . . . m+5 . . . Na
kSp jSv
= Bp Av 1 . . . Na .
A capacidade de contagem
2
( Av ) 2 = Bp = I2 . . . I2 = 1v,p ,
| {z }
N a vezes
E0 = Nv + N p , (4.11)
haja vista que este resultado nada mais e do que o fruto da contagem dos Nv autovalores 1 do
operador de vertice e dos N p autovalores 1 do operador de face. Ou seja, essa e autoenergia que
est
a relacionada a um autoestado de v
acuo que satisfaz a
Av 0 = 0 e Bp 0 = 0 (4.12)
Y
(1) = 1 ( 1v + Av ) | 0 i . . . | 0 i ; (4.13)
0 | {z }
2 v
N a vezes
52 CAPITULO 4. UM BREVE PANORAMA DO TORIC CODE
Y Y
Av0 ( 1v + Av ) = Av0 ( 1v0 + Av0 ) ( 1v + Av )
v v , v0
Y Y
= ( Av0 + 1v0 ) ( 1v + Av ) = ( 1v + Av ) .
v , v0 v
4.2.2 Estados de v
acuo
claro que, neste ponto, o leitor pode estar perfeitamente se perguntando sobre o porque de
E
termos tomado, como exemplo, um (4.13). E a melhor resposta que podemos dar ao leitor que
se faz essa pergunta e justamente a segunda conclus
ao que surge de (4.11): como E0 e o menor
autovalor associado ao operador HTC , o autoestado 0(1) e um dos estados de v
acuo do TC. E,
a que sabemos qual e o Hamiltoniano que descreve o TC e, agora, tambem
diante deste quadro, j
sabemos qual e um dos seus autoestados de v
acuo, fica bem claro que temos disponveis todos os
ingredientes n
ao apenas para bem entender, mas principalmente bem definir, todo o espectro de
energia deste modelo.
es
Primeiras excitaco
as, uma das primeiras coisas que podemos fazer para entender como e esse espectro de
Ali
energia do TC, e considerarmos a situaca
o onde um estado e inicialmente caracterizado por
0 = x (1) . (4.14)
k 0
k j , se j = k , e
j k (4.15)
=
j , caso contr
ario .
k
4.2. PROPRIEDADES GERAIS 53
o de tudo isso a
a junca ` definica
o do operador de face (4.4) nos permite notar que
Y Y
Bp0 0 = *. jz +/ kx | 0 i = kx *. jz | 0 i +/ = kx | 0 i = 0 . (4.16)
, jSp0 - , jSp0 -
Ou seja, se a k-esima aresta de R 2 pertencer a Sp 0 , esse estado 0 ir
a ferir pelo menos uma das
es listadas em (4.12) e, portanto, ele n
condico ao poder
a ser considerado como um estado de v
acuo
do TC.
haja vista que, para os Nv vertices e as demais N p 2 faces que completam R 2 , ainda valer
a que
Av 0 = 0 e Bp 0 = 0 .
o inteiramente an
Uma observaca o, onde temos o
aloga tambem segue para uma outra situaca
sistema em seu estado
00 = z (1) (4.17)
k 0
es (4.15)
com a k-esima aresta de R 2 pertencendo a Sv0 Sv00 . Neste novo caso, como as relaco
implicam n
ao apenas em
Av0 00 = Av00 00 = 00 ,
Av 00 = 00 e Bp 00 = 00
ainda s es v
ao relaco alidas para os demais Nv 2 vertices e N p faces que completam R 2 , tambem
e muito f
acil perceber que a autoenergia que est
a associada a (4.17) ser ` mesma E1 , uma
a igual a
vez que o mesmo n
umero de vnculos que definiriam o v
acuo foram novamente violados.
54 CAPITULO 4. UM BREVE PANORAMA DO TORIC CODE
Figura 4.2: Recorte de R 2 onde temos duas quasipartculas do tipo e criadas, sobre dois vertices vizinhos
` direita), devido a
(setor azul, a ` aca
o do operador kz . J ` esquerda (setor vermelho), temos duas quasi-
a, a
partculas do tipo m, concebidas sobre os centroides de duas faces, pela acao do operador jx sobre uma
aresta distinta.
E e diante de todos os resultados que seguem desde (4.9) ate aqui, que e imediato concluir
que os operadores de vertice e de face s
ao completamente incapazes de alterar qualquer um dos
estados fsicos que s
ao associ
aveis ao TC: a
unica coisa que esses operadores realmente fazem
e verificar se um estado pode ser identificado localmente como v
acuo ou n
ao, reforcando ainda
mais todo o esquema de contagem que e realizado pelo Hamiltoniano (4.3). Entretanto, e devido
` alta capacidade que esses operadores de vertice e de face tem para localizar excitaco
a es sobre os
vertices e as faces de R 2 , que e deveras conveniente aproveitarmos essa deixa para fazermos dois
arios relacionados a isso. E, o primeiro deles, e que todas essas elevaco
coment es locais de energia
podem ser realizadas como quasipartculas:
J
a o segundo coment
ario que convem ser feito aqui segue por consequencia desta mesma
o quasiparticular que acabamos de mencionar. Afinal de contas, apesar das quasi-
realizaca
partculas que caracterizam os autoestados (4.14) e (4.17) terem a mesma energia, n
ao existe
qualquer prova fsica de que elas sejam iguais, j es s
a que as suas detecco ao feitas por operadores
claro que, apesar deste argumento pr
que agem em setores distintos. E o ser perfeita-
o-distinca
4.2. PROPRIEDADES GERAIS 55
mente correto, talvez ele seja um pouco fraco quando o comparamos com um outro que daremos
logo mais adiante. Porem, como a possibilidade dessas quasipartculas serem distintas e n
ao nula,
a partir de agora denotaremos as que s
ao detect
aveis pelos operadores de vertice como do tipo e,
enquanto aquelas, que podem ser detectadas pelos operadores de face, ser
ao designadas como do
tipo m.
O transporte de quasipartculas
| i = k 0(1) ,
o
onde se refere a qualquer um dos possveis superndices x, y e z. E, para fazermos isso, a relaca
que certamente ser til e
a mais u
2
j = 1j . (4.18)
Ali
as, uma das coisas que j o de um k sobre o
a ficam claras de (4.18) e que, como a aca
autoestado | i faz com que o sistema retorne ao mesmo v
acuo (4.13), todas as quasipartculas
que podem ser criadas por esse operador dever
ao ser necessariamente interpretadas como as suas
oprias anti-quasipartculas. Diga-se de passagem, e exatamente por causa disso, que podemos
pr
perceber que, se um operador
Ojk = j k (4.19)
Figura 4.3: A ` esquerda, vemos a presenca de duas quasipartculas do tipo e (em vermelho) sobre dois
` aca
vertices de R 2 , devido a o de um u nico operador kz onde, antes, era v
acuo. J ` direita, vemos exata-
a, a
mente a mesma regi ao da rede num instante posterior, onde apenas uma das quasipartculas foi aniquilada
o de um jz , uma vez que as arestas j e k s
pela aca o foi necessa-
ao vizinhas. Neste caso, como tal aniquilaca
riamente acompanhada da criaca o de uma nova quasipartcula sobre um terceiro vertice, podemos traduzir
este processo como um transporte de quasipartculas sobre R 2 .
Apesar do termo teletransporte sempre suscitar ideias bem interessantes, mais interessante
ainda e o fruto que surge da aca
o de um u
nico Ojkz sobre um autoestado de n acuo 0(1) ,
ao v
quando j e k indexam duas arestas que s
ao distintas, mas que pertencem a um mesmo Sv . Afinal de
o de duas
contas, como essas duas arestas partilham um vertice v em comum, e como a superposica
acuo local, e f
quasipartculas do tipo e sobre qualquer vertice se identifica como um v acil perceber
que o n
umero de quasipartculas associadas ao sistema continuar
a intacto. E, nestes termos, se
o desse operador Ojkz da maneira desmontada que consta na Figura 4.3,
olharmos para a aca
passa a ser possvel interpretar o desaparecimento da quasipartcula do tipo e (que, antes, figurava
sobre o v-esimo vertice) como o seu transporte para um dos vertices vizinhos, os quais configuram
uma circunferencia unit
aria segundo a Geometria do Taxista [58]. Ali
as, como o mesmo raciocnio
que leva a Ojkz tambem nos leva a um operador mais geral
Y
Oz = jz (4.20)
j
4.2. PROPRIEDADES GERAIS 57
tambem ser
a interpretado como um estado de v
acuo do TC.
Y
Ox = jx (4.22)
j
A degeneresc
encia do v
acuo
o R 2 , algo que n
Quando tomamos uma discretizaca ao e difcil de perceber e a grande quanti-
dade de caminhos e fechados que podem ser definidos ao longo das suas arestas, desde que
o. Porem, como acabamos de di-
R 2 seja uma rede que discretiza um toro com uma boa resoluca
` discretizaca
zer que a R 2 que estamos considerando aqui se refere necessariamente a o de um toro
bidimensional, devemos notar que uma parte desses caminhos possui uma propriedade especfica:
um parte desses caminhos n
ao s
ao contr
ateis.
Figura 4.4: Situaca o de um toro T2 que e discretizado pela rede quadrada R 2 . Notem que, apesar de ser
possvel definir caminhos contr ateis sobre R 2 , duas curvas merecem destaque: uma 1 (em vermelho), que
contorna a alca de T2 ; e outra
2 (em azul), que contorna o u nico buraco que caracteriza T2 como um toro
de genero unit ario. Essas duas curvas, assim como todas as suas possveis deformaco es, s
ao exemplos de
caminhos n ao contrateis sobre R 2 , os quais devem ser interpretados como as discretizacoes das curvas que
geram o grupo fundamental de T2 .
(i) o conjunto Sp e formado por todas as arestas que descrevem o bordo fechado da p-esima face
de R 2 , enquanto
FA Ox = FB Oz = 1TC (4.24)
Ali
as, o simples fato de R 2 discretizar a superfcie de um toro j
a implica na existencia de cami-
nhos fechados que n
ao s
ao contr
ateis , conforme bem ilustra a Figura 4.4 a seguir. E a grande
e
consequencia disso e que, ao contr
ario dos autoestados de v
acuo (4.21) e (4.23) serem redutveis
4.2. PROPRIEDADES GERAIS 59
o de n
Embora essa observaca ao redutibilidade faca pleno sentido, e diante deste quadro que
devemos destacar uma coisa que e muito importante antes darmos uma palavra final sobre os
acuo do TC: como o operador z e completamente incapaz de realizar trocas do
autoestados de v
tipo
0 1 , (4.25)
(2) = O z (1) ,
0
0
correspondem a v
acuos que s
ao n o ao primeiro,
ao apenas independentes entre si, mas em relaca
es se apoiam sobre as trocas (4.25). E, por se dizer, e exatamente
uma vez que as suas construco
essa tetra-degenerescencia do estado fundamental do TC que acaba deixando bem claro todo o
aspecto topol
ogico que est
a por tr
as do TC. Afinal de contas, quando analisamos esses novos v
acuos
(4.26) pelo ponto de vista fsico, toda essa n o dos caminhos que os definem pode ser
ao contraca
` presenca de quatro quantidades fsicas que s
associada a ao conservadas, uma vez que elas n
ao
o dos operadores de vertice e de face. E, no caso, como essas
podem ser exterminadas pela aca
quatro quantidades que s
ao conservadas correspondem a quatro setores topol
ogicas diferentes,
60 CAPITULO 4. UM BREVE PANORAMA DO TORIC CODE
Oz e Oz ,
1 2
cada um desses setores acaba se vinculando a um dos autoestados (4.13) e (4.26), dando um
o de baixssimas
aspecto fsico para essa degenerescencia [59] que pode ser associada, numa situaca
` existencia de fases distintas que s
temperaturas, por exemplo, a o existem por consequencia da
topologia da variedade sobre a qual o sistema est
a definido.
000 = 000
Av 000 = 000 , Av0 ,
000 = 000
Bp 000 = 000 e Bp0 ,
nica aresta sobre a qual ay atua, fica bem claro que este
onde a = Sv Sv0 Sp Sp0 indexa a u
es: uma sobre cada um dos vertices que encerram esta aresta,
operador, sozinho, cria quatro excitaco
e uma sobre cada uma das face que a partilham, o que naturalmente acaba elevando a energia do
sistema para E2 = E0 + 8. Porem, apesar de toda essa inteligibilidade operacional, existe, pelo
menos, duas peculiaridades que est o conjunta que merece a nossa
ao relacionadas a essa excitaca
o. E, a primeira delas, se refere ao transporte dessas excitaco
total atenca es.
4.2. PROPRIEDADES GERAIS 61
Primeira peculiaridade
y y y
Oba = b a . (4.28)
Y Y
y y y y
O = j e/ou O = j . (4.29)
j j
y
ltima possibilidade, e perfeitamente razo
E pensando nesta u avel considerar O como o mais
simples dos operadores de transporte, o qual se vale de um caminho que e formado apenas pela
b-esima aresta tal que a, b Sv . Apesar de n
ao ser nada difcil notar que o n es
umero de excitaco
que s
ao detect
aveis pelos operadores de vertice ser
a conservado ao longo deste transporte, tambem
ao e nada difcil notar que o mesmo n
n ao poder es que
a ser dito necessariamente sobre as excitaco
s
ao detect
aveis pelos operadores de face. Pois, conforme bem ilustra a Figura 4.5, no caso destas
duas arestas serem tais que
a Sp Sp0 e b < Sp b < Sp0 ,
o n es que s
umero das excitaco ao detect
aveis pelos operadores de face aumentar
a: esse acrescimo
de energia s
o n
ao acontece quando, e somente quando,
Nestes termos, fica bem claro que, no caso mais geral, onde e um caminho estruturado por uma
quantidade maior de arestas que s es
ao duas a duas adjacentes, um transporte dessas excitaco
62 CAPITULO 4. UM BREVE PANORAMA DO TORIC CODE
Segunda peculiaridade
y
Embora uma conclus
ao inteiramente an o de um O sobre
aloga tambem siga por efeito da aca
o autoestado (4.27), e interessante explorar a segunda peculiaridade que j
a sugerimos existir. E,
es
para entender do que se trata essa segunda peculiaridade, precisamos voltar as nossas atenco
para os dois autoestados de n
ao v
acuo
Av 0000 = 0000 e Bp 0000 = 0000 ,
y
fica claro que, no caso desta j-esima aresta pertencer a Sv Sp , o operador jx j pode ser
a e capaz de criar apenas quasipartculas do tipo
interpretado efetivamente como o mesmo jz que j
e.
De modo inteiramente an
alogo, dado que o segundo autoestado de n
ao v
acuo em (4.31)
4.2. PROPRIEDADES GERAIS 63
Av 00000 = 00000 e Bp 00000 = 00000 ,
y
o operador jz j tambem poder
a ser visto efetivamente como jx , haja vista que ambos s
ao
capazes de criar apenas quasipartculas que possuem propriedades similares as do tipo m. Desta
maneira, diante
y
(i) n ao de que esse novo operador j e capaz de conceber um par de
ao apenas da conclus
es independentes das anteriores, mas
excitaco
es transport
(ii) do desejo de construir o TC como um modelo com excitaco aveis sem qualquer
custo energetico,
o de um operador
toda essa efetividade nos leva a definica
y
j = jx jz = jz jx , (4.32)
y
1j , jx , j , jz (4.33)
y
o, essa nova
como um grupo, quando atribumos a j a tarefa de criar uma nova excitaca
o dever
excitaca a ser necessariamente definida como a comunh
ao de uma quasipartcula do tipo e
nica aresta. E, no caso dessa nova quasipartcula,
com outra do tipo m nas adjacencias de uma u
que rotularemos como do tipo , ela e popularmente conhecida como um dyon.
Um pequeno par
enteses
a a + a a = 1 , (4.34)
todos os operadores que estruturam o Hamiltoniano (4.3) tambem podem ser expressos em termos
de a e a. Afinal de contas, como a express
ao destes dois operadores (em termos da mesma base
agina 50) e
que foi escolhida na p
* 0 0 +/ * 0 1 +/
a = .. e a = ..
1 0 0 0
/ /
, - , -
4.2. PROPRIEDADES GERAIS 65
* 0 0 +/ * 1 0 +/
n = a a = .. e h = aa = .. ,
0 1 0 0
/ /
, - , -
vemos que
x = a + a e z = aa a a , (4.36)
o que s
o reforca ainda mais a capacidade de contagem dos operadores de vertice Av e de face Bp
do TC, haja vista que a pr
opria TQC considera n como um operador de contagem (ou seja, como
um operador que conta quantas partculas se fazem presentes num dado estado fsico).
Regras de fus
ao
Q Q = Q
1 1 = e e = m m = = 1 ,
1 e = e 1 = m = m = e ,
(4.38)
1 m = m 1 = e = e = m e
1 = 1 = e m = m e = ,
66 CAPITULO 4. UM BREVE PANORAMA DO TORIC CODE
que bem caracterizam o comportamento Abeliano que foi imposto ao grupo (4.33).
o estatstica
Descrica
gire ao redor da outra atraves de algum caminho contr 2 , fica claro que estas quasipartculas se
atil
comportam como b
osons entre elas, uma vez que (4.39) implica que o estado obtido ao final deste
processo e exatamente igual ao inicial.
o bos
Naturalmente esta mesma observaca ` situaca
onica tambem se estende a o onde figuram
apenas duas quasipartculas do tipo m. E, para bem entendermos toda essa bosonicidade, basta
o onde apenas uma das quasipartculas, criadas por Oz sobre o v
considerarmos a situaca acuo,
1
Ox Oz = Oz Ox , (4.40)
3 3 3 3
| inicial i = Ox Oz | 0 i (4.41)
3 3
` aca
como um estado fsico inicial, onde temos apenas dois pares de quasipartculas devido a o de
dois operadores Ox e Oz sobre qualquer um dos autoestados de v
acuo. Pois, neste caso, ao
3 3
4.2. PROPRIEDADES GERAIS 67
| final i = Oz | inicial i
4
= Oz Ox Oz | 0 i = Oz Ox Oz | 0 i
4 3 3 4 3 3
= Ox Oz Oz | 0 i = Ox Oz Oz | 0 i .
3 4 3 3 3 4
| final i = Ox Oz Oz | 0 i = Ox Oz | 0 i = | inicial i , (4.42)
3 3 4 3 3
deixando claro que o comportamento de uma quasipartcula do tipo e, ao girar ao redor de outra
do tipo m e vice-versa, n
ao pode ser realmente interpretado como bos
onico.
J
a o segundo coment o de que o giro de uma quasi-
ario segue por efeito da simples observaca
o de dupla troca: ou seja, a uma operaca
partcula ao redor de outra equivale a uma operaca o
`s suas posico
onde essas quasipartculas trocam de lugar uma com a outra e, depois, voltam a es
originais devido a uma nova troca. Desta maneira, como no caso mais geral, em que estas duas
quasipartculas n
ao definem um dyon, esse sinal negativo em (4.42) associa a estatstica destas
quasipartculas a uma fase ei/2 que n
ao se identifica nem com 0 nem com 1, isso nos permite
o a
concluir que quasipartculas dos tipos e e m se comportam como anyons em relaca ` outra.
68 CAPITULO 4. UM BREVE PANORAMA DO TORIC CODE
Um coment
ario adicional
Diga-se de passagem, diante de toda essa possibilidade de transportar e de fazer girar quasi-
partculas ao redor umas das outras, uma coisa e certa: uma quasipartcula do tipo e jamais colidir
a
com uma outra do tipo m. E e exatamente com base nesta observaca
o que surge o argumento que
talvez reforce ainda mais a necessidade de tratarmos esses dois tipos de quasipartculas como n
ao
necessariamente iguais. Contudo, como a dist
ancia mnima que pode existir entre elas ocorre
nico dyon, e justamente neste ponto que convem esclarecer os moti-
quando ambas definem um u
`s suas nomenclaturas: afinal, como o conceito de anyon surgiu por advento do
vos que levaram a
Efeito de Aharonov-Bohm [61] (que est
a associado ao comportamento estatstico de sistemas onde
eletrons giram ao redor de um campo magnetico que est
a confinado a uma regi
ao cilndrica), diante
do resultado (4.42) se tornou vi
avel batizar as quasipartculas que s
ao detect
aveis sobre os vertices
como do tipo e (eletrico), enquanto aquelas, que s
ao detect
aveis sobre as faces, acabaram sendo
denotadas como do tipo m (magnetico).
Captulo 5
es
Primeiras generalizaco
5.1 es tridimensionais
Consideraco
associando um u
nico qubit (4.1) a cada uma das arestas de R 3 , e
69
70 CAPITULO 5. PRIMEIRAS GENERALIZAC
OES
mencionamos no incio destas notas) que o operador Hamiltoniano deste novo three-dimensional
code (3-DC) e dado por
X X
H3DC = Av Bp , (5.1)
v p
onde
Y Y
Av = jx e Bp = jz . (5.2)
jSv jSp
es de v
As excitaco ertice
ltima observaca
Por se dizer, antes de explorarmos as consequencias desta u o, e importante
salientar que, quando nos restringimos a um 3-DC onde
algumas das principais caratersticas do TC continuam preservadas2 , entre as quais podemos des-
tacar:
(i) a comutatividade dos seus operadores de vertice e de face (5.2), assim como as suas proprie-
dades de contagem;
(ii) a express
ao da energia fundamental do sistema como
E0 = Nv + N p ,
(iii) o fato de que um dos seus estados fundamentais possui exatamente a mesma express
ao
Y
(1) = 1 ( 1v + Av ) | 0 i . . . | 0 i , (5.4)
0 | {z }
2 v
N a vezes
que j
a est
a relacionada ao TC, onde Na ainda se refere ao n
umero de arestas que, agora,
estruturam R 3 .
n
ao satisfaz apenas dois dos vnculos
Av 0 = 0 e Bp 0 = 0 (5.6)
que precisam ser satisfeitos por um estado v
acuo 0 , fica claro que a autoenergia de (5.5) tambem
ser
a igual a E1 = E0 + 4, tal como j
a acontece em (4.17). E, diante disso, quando notamos que
es que s
um kz continua sendo capaz de criar excitaco ao detect
aveis apenas sobre os dois
vertices que encerram a k-esima aresta de R 3 e que, portanto,
es s
essas excitaco ao transport
aveis apenas pelos mesmos operadores que j
a foram definidos
em (4.20),
e imediato concluir n es s
ao apenas que essas excitaco ao b
osons: podemos concluir que essas
es s
excitaco ao exatamente as mesmas quasipartculas do tipo e j
a relacionadas ao TC.
es de face
As excitaco
J
a quando olhamos para um outro autoestado de n
ao v
acuo
0 = x (1) , (5.7)
k 0
fica bem claro que algo um pouco diferente acontece, haja vista que o fato de estarmos restritos
a uma regi
ao onde (5.3) vale j `
a implica que todas as arestas que figuram em R 3 pertencem a
72 CAPITULO 5. PRIMEIRAS GENERALIZAC
OES
Ali o simult
as, exatamente por causa dessa criaca es ao redor de uma
anea de quatro excitaco
nica aresta, e importante destacar que, alem do autoestado (5.7) possuir uma autoenergia E2 =
u
E0 + 8 que e nitidamente maior que E1 , tanto o transporte como a aniquilaca
o dessas excitaco
es no
claro que, como
3-DC precisam ser feitos de uma maneira ligeiramente diferente da anterior. E
kx e exatamente o mesmo operador que j
a foi definido em (4.5), e sempre bom lembrar que essas
es ainda podem ser perfeitamente aniquiladas de uma s
quatro excitaco o vez: e, para isso aconteca,
basta fazer com que este mesmo operador atue sobre 0 , uma vez que
kx 0 = kx kx 0(1) = kx kx 0(1) = 0(1) .
es que est
Porem, se quisermos transportar as excitaco ao associadas ao autoestado (5.7), por
meio de um operador que n
ao se identifica com um de teletransporte
x
Ojk = jx kx
arbitr
ario, isso dever ao e mais t
a ser feito de uma maneira que n ao simples como no caso do
TC. E, para deixar bem claro o porque desta n
ao simplicidade, devemos notar que, quando a j-
esima aresta de R 3 pertence a qualquer uma das faces que j
a contem a aresta k, apenas uma
5.1. CONSIDERAC TRIDIMENSIONAIS
OES 73
Figura 5.2: Considerando que a situaca o exposta na Figura 5.1 est a associada a um instante t 0 , a atuacao
de um u nico operador jx sobre uma das arestas da rede, num instante t > t 0 , n ao e capaz de transportar
o de face do mesmo jeito que ocorre no TC. Afinal, alem de apenas uma u
qualquer excitaca nica das excitaco
es
de face serem transportadas por jx , outras duas surgem, o que aumenta a energia associada ao sistema.
Y
Ox = jx (5.8)
j
ao e capaz de preservar o n
sobre o autoestado (5.7) n es associadas ao conjunto
umero de excitaco
(que e composto por arestas que, duas a duas, pertencem a uma u
nica face), se ainda quisermos
es pela rede, sem causarmos qualquer custo energetico ao sistema, isso
transportar essas excitaco
dever
a ser feito de uma maneira que precisa ser um pouco mais sagaz.
Um transporte conjunto
Figura 5.3: Considerando que a situaca o exposta na Figura 5.1 ainda est
a associada a um instante t 0 , onde
temos a presenca de quatro excitaco es nas faces comuns a uma k-esima aresta, a atuaca o de um u nico
operador O Sx v num instante t > t 0 , sobre quatro arestas complementares a ` primeira, e capaz de transportar
es para a aresta j = Sv \ k Sv .
todas as excitaco
n
ao violar
a mais os mesmos quatro vnculos de v
acuo que (5.7), mas ainda violar
a os outros
quatro novos vnculos de v acuo que est `s quatro faces que partilham a
ao, agora, relacionados a
aresta j = Sv \ k Sv , e imediato concluir de
O Sx v kx = jx Av
o, e essencial fazermos um
Porem, antes analisarmos os pormenores desta possvel concepca
es para algo que tem grande valia junto a
breve parenteses aqui para voltarmos as nossas atenco
este fim: para as express
oes dos operadores
Y Y
Oz = jz e Ox0 = O Sxv , (5.10)
j v 0
que s
ao capazes de transportar respectivamente as quasipartculas do tipo e e as quasiplacas,
onde e 0 s
ao os dois caminhos que, tambem respectivamente, s
ao formados por arestas e por
pontos de R 3 que s
ao vizinhos dois a dois.
es que j
Em verdade, por efeito de todas as observaco a foram feitas no captulo anterior, n
ao
precisamos dar quaisquer detalhes sobre os autoestados de v
acuo
0 = O z (1)
0 0
que, por exemplo, surgem quando um operador Oz age sobre um caminho que e fechado e
contr nico destaque que certamente precisamos dar aqui se relaciona apenas ao
atil em R 3 . O u
autoestado
00 = O x0 (1) (5.11)
0 0
Figura 5.5: Exemplo de um tubo fechado que pode ser formado por quasiplacas, desde que operadores
Ox0 atuem sobre as arestas que definem todos os vertices um caminho fechado 0.
v
acuo que s
ao identific es de tubos fechados, conforme bem ilustra a Fi-
aveis como discretizaco
gura 5.5. Todavia, como por tr
as dessa contratibilidade, tambem est o
a o fato da relaca
Y Y Y Y
Ox 0 = O Sx v = jx = Av
v 0 v 0 jSv v 0
ser sempre v
alida, vemos que n
ao h o
a nada de muito novo por aqui: afinal de contas, a aca
do operador Av continua sendo interpret o de calibre que, por
avel como uma mera transformaca
conectar (5.4) a (5.11) e vice-versa, deixa muito claro que estes dois autoestados modelam um
mesmo v
acuo [28].
claro que o 3-DC que estamos considerando ate agora e muito simplista, uma vez que, por
E
exemplo, ele n
ao comporta autoestados de v
acuo que s
ao distintos de (5.4), os quais est
ao re-
` aca
lacionados a o dos operadores (5.10) sobre redes tridimensionais que possuem condico
es de
contorno mais diversas; voltaremos a esse ponto mais adiante. Porem, s
ao exatamente as ex-
press ao contidas em (5.10) que nos mostram como e possvel analisar a realizaca
oes que est o de
um dyon dentro do 3-DC; pois, algo que elas deixam bem claro e que e perfeitamente possvel
conceber operadores compostos
Oz Ox e Ox Oz
ao necessariamente e fechado, s
que, por se valerem de um mesmo caminho que n ao bastante
teis nesta concepca
u o.
5.1. CONSIDERAC TRIDIMENSIONAIS
OES 77
Ali
as, se lembrarmos que uma (e apenas uma) das maneiras pelas quais podemos criar um par
de dyons no TC e justamente pela aca
o de um u
nico
Ox Oz1 (5.12)
1
jx jz (5.14)
nico 0
que age sobre uma mesma aresta de (4.13), se assumirmos que a dupla resumida num u
nico dyon, e imediato perceber que este mesmo (5.14) n
deve ser interpretada como um u ao e
capaz de criar um par de dyons no 3-DC: o que ele faz apenas e criar um u
nico dyon acrescido
de uma quasipartcula do tipo e nas suas adjacencias.
jz O Sx , (5.15)
v
o
relaca
O Sx Av = jx kx
v
o estatstica
Descrica
ltima conclus
Apesar desta u ao indicar que um princpio da correspondencia entre ambos os
modelos se completa caso 0 seja realmente interpretado como um dyon, ainda precisamos no-
tar duas coisas importantes. E, a primeira delas, diz respeito a uma aparente ambiguidade es-
o: afinal, girar uma quasipartcula
tatstica que parece estar relacionada a essa mesma combinaca
do tipo e ao redor de qualquer quasiplaca parece implicar que ambas podem ser consideradas
como
o a
anyons em relaca ` outra, caso o caminho fechado escolhido para isso contenha a aresta
que fura a quasiplaca em quest
ao, e como
b o contr
osons, numa situaca aria a essa.
claro que, como o giro ou transporte deste suposto dyon 0 deve mante-lo ntegro ao longo do
E
trajeto escolhido para isso, toda essa aparente ambiguidade n
ao tem a menor import
ancia para
oe 0 sempre precisa furar uma
o, dado que a quasipartcula do tipo e que comp
a sua definica
quasiplaca para completar esse trajeto. Ou seja, tal como acontece com os dyons que est
ao
relacionados ao TC, 0 tambem se comporta como um fermion em relaca
o a si mesmo, deixando
muito claro que, se 0 realmente puder ser identificado como um dyon, a fermionicidade e uma
propriedade intrnseca apenas a essas quasipartculas e n `s demais que podem figurar no 3-DC
ao a
[28].
o a
acontece no 3-DC em relaca `s quasipartculas do tipo e e quasiplacas?
Pelo ponto de vista de quem enxerga este 3-DC apenas como um toy model que, a priori, n
ao
tem necessariamente qualquer compromisso para com a realidade que nos cerca, a razoabilidade
desta admiss
ao segue por uma simples consequencia desta quasiplaca sempre estar fincada sobre
a aresta que faz parte do caminho por onde uma quasipartcula e precisa passar; ou seja, trata-se
de uma propriedade que surge pela maneira como o modelo foi definido. Porem, pelo ponto de
vista de quem enxerga estas quasipartculas como algo que deve ser permutado, esta pergunta ate
que pode fazer algum sentido, haja vista que, se esquecessemos toda a liberdade tridimensional
que as partculas tem para transitar (e, portanto, toda a liberdade que elas tem para trocarem de
lugar umas com as outras), a possibilidade de tais furos poderia implicar numa estatstica entre
estas quasipartculas e estas quasiplacas que parece ser ambgua.
Independente de quaisquer pontos de vista, uma das maneiras de respondermos a este questi-
onamento e pensando no que aconteceria se, por exemplo, impusessemos ao 3-DC que as quasi-
partculas do tipo e n
ao podem furar quaisquer quasiplacas. Afinal, num primeiro momento,
`s excitaco
isso parece resolver a ambiguidade estatstica que poderia estar relacionada a es que
o extingue qualquer chance das quasipartculas do tipo
elas representam, uma vez que tal imposica
o a
e e quasiplacas serem anyons em relaca ` outras: todas elas passam a se comportar apenas
como b
osons, o que vai em pleno acordo para com o que sabemos sobre as partculas que tem uma
liberdade tridimensional para serem permutadas.
o de n
No entanto, existe um serio problema nesta imposica ao furo. Pois, j
a que uma quasi-
ao pode mais furar uma quasiplaca, como uma estatstica para 0 pode ser
partcula do tipo e n
definida? Afinal de contas, lembrando que esse candidato a dyon e, por definica
o, a conjunca
o de
nica quasipartcula e com uma u
uma u nica quasiplaca, essa regra do n
ao furo acaba deixando
bem claro que e impossvel transport
a-lo integramente ao longo de R 3 . E, como e exatamente a
impossibilidade de realizarmos um transporte ntegro deste 0 que nos impede de bem definir uma
estatstica para ele, tambem acaba ficando bem claro que, se quisermos realmente defin-lo como o
dyon neste 3-DC, esta regra do n
ao furo n
ao pode ser imposta ao modelo.
o interessante
Uma observaca
Figura 5.6: Esquema de justaposicao de quasiplacas que nos permite ilustrar a lei do permetro. Afinal,
enquanto na figura acima temos uma u nica quasiplaca com uma energia igual a 4, na figura abaixo temos
duas quasiplacas justapostas com uma energia igual a 6: ou seja, a energia total nos dois casos, assim
como em todos os demais casos, e exatamente igual ao permetro (visto em termos do n umero de arestas)
que encerra o conjunto de quasiplacas.
o ilustrada na Figura 5.6 deixa bem claro que o transporte das quasi-
enquanto a situaca
partculas do tipo m, ao longo de um caminho dual de R 3 (que est
a destacado em azul
5.2. A IMPORTANCIA DAS CONDIC DE CONTORNO
OES 81
Figura 5.7: A ` esquerda, temos a mesma ilustraca o que j a foi usada na Figura 5.4 para apresentar uma
quasiplaca, porem dando destaque a ` intersecca
o que existe entre esta quasiplaca, que foi criada a partir da
o de um operador jx sobre a j-esima aresta de R 3 , e um dos planos que suporta esta mesma aresta. J
aca aa
esquerda, vemos apenas o recorte deste mesmo plano onde constam as duas u nicas excitaco
es que existem
neste ambiente bidimensional. Note que todas as excitaco es que s
ao criadas por um u nico jx num modelo
bidimensional, que e obtido seja por um corte ou por uma contraca o de todos os planos paralelos a um u nico
plano que e discretiz
avel por uma R 2 R 3 , s
ao totalmente equivalente as quasipartculas tipo m do TC, as
quais s
ao transportaveis sem qualquer custo energetico.
pontilhado), mostra uma lei do permetro para as suas energias (ou seja, a energia das qua-
sipartculas que est
ao envolvidas para com este transporte se identifica com a quantidade de
ao de quasiplacas que surgem ao longo de ),
arestas duais que encerram a uni
E essa n
ao validade da lei do permetro pode ser entendida de uma forma ate que muito sim-
o deste transporte de
ples, desde que notemos que R 2 R 3 . Afinal, se pensarmos na situaca
quasipartculas do tipo m pela perspectiva de R 3 , esse mesmo transporte quando restrito a rede
o) que est
bidimensional R 2 pode ser realizado em termos do corte (ou da projeca a a mostra na
o do transporte das quasipartculas do tipo m que, por exemplo,
Figura 5.7: ou seja, toda a situaca
se associam a um modelo como o TC, pode ser perfeitamente obtida atraves de uma restrica
o a
R2 R3 .
o de um
Diante de todos estes aspectos positivos, e principalmente lembrando que a definica
dyon j
a foi, de certa forma, feita `
a m
ao no TC (para que fosse possvel estruturar um mo-
82 CAPITULO 5. PRIMEIRAS GENERALIZAC
OES
delo onde todas as suas quasipartculas pudessem ser transportadas sem causar qualquer custo
energetico ao sistema), e mais do que conveniente declarar que faremos exatamente igual em
o ao 3-DC: ou seja, definiremos, tambem `
relaca ao, que 0 realmente corresponde a um
a m
dyon , uma vez que a quasipartcula do tipo e e a quasiplaca que o definem tambem podem
ser transportadas sem causar qualquer custo energetico ao sistema [28].
Entretanto, uma coisa que e muito importante de ser destacada aqui e que, alem das regras
de fus
ao que est
ao relacionadas a todas essas quasipartculas do tipo e e quasiplacas serem exa-
tamente as mesmas que as do TC (j
a que elas s
ao criadas pelos mesmos operadores), todos os
resultados que apresentamos ate agora se referem ao caso bem particular de um 3-DC que satisfaz
o e, por exemplo, interpretando o 3-DC
a (5.3). E uma boa maneira de pensarmos nesta situaca
como um modelo que est
a definido sobre uma rede c
ubica que (i) pode ser infinita ou que (ii)
es peri
possui condico es. E, se este for realmente o caso,
odicas de contorno em todas as suas direco
nica coisa que precisamos ter em mente e que,
au
enquanto um 3-DC que e construdo sobre a primeira rede (que e infinita) possui um autoes-
acuo que e u
tado de v nico e dado por (5.4),
Ali
as, lembrando que degenerescencia do estado fundamental do TC est
a diretamente vinculada
` existencia de curvas n
a ateis sobre T2 , se realmente quisermos entender como e que a
ao contr
degenerescencia do estado fundamental deste novo Toric Code tridimensional (3-TC) funciona,
precisamos entender como e que funciona todo esse esquema de n
ao contratibilidade que est
a
relacionado ao T3 . E certamente uma das coisas que poderamos usar em favor desse entendimento
e o simples fato de que o n oem o grupo fundamental de T3 e igual
umero de curvas que comp
a tres: afinal de contas, assim como ocorre no TC, a n
ao contratibilidade destas curvas poderia
perfeitamente nos remeter a novos autoestados de v
acuo que s
ao independentes de (5.4).
5.2. A IMPORTANCIA DAS CONDIC DE CONTORNO
OES 83
A
B
A B
Figura 5.8: Da mesma maneira que um toro bidimensional pode ser construdo colando as arestas opostas
de quadrado, e perfeitamente possvel conceber um toro tridimensional atraves de um procedimento an alogo
de colagem. Apesar da impossibilidade pr o, basta tomarmos
atica de visualizar o resultado desta construca
um cubo tridimensional e colarmos as suas faces opostas [43]. Note que, aqui (e apenas aqui), as letras
presentes na figura n ao se referem a qualquer um dos operadores mencionados nestas notas: essas letras
servem apenas como ndices que d ao destaque a`s faces que, duas-a-duas, precisam ser coladas.
S ltima afirmaca
o que, conforme bem enfatizamos nesta u o, poderia. E a raz
ao de termos dado
toda essa enfase ao futuro do preterito e bem simples: pois, como o transporte das excitaco
es
do tipo m n
ao mais corresponde ao v ,
acuo quando feito ao longo de qualquer caminho fechado
os elementos do grupo fundamental 1 (T3 ) n
ao podem moderar qualquer autoestado de v
acuo no
3-TC. Todavia, como estamos lidando com um toro que e tridimensional, ainda existe um aspecto
topol
ogico que pode ser explorado para avaliar a degenerescencia do estado fundamental deste
3-TC: esse aspecto e a ordem dos grupos de homologia H k (T3 ), uma vez que cada um deles mede
a quantidade de k-ciclos de T3 que n
ao podem ser considerados como k-bordos, sendo 0 6 k 6 3
[62]. Afinal de contas, do mesmo jeito que e f
acil demonstrar que existe n curvas fechadas n
ao
contr ao e
ateis dando estrutura ao grupo fundamental de um toro n-dimensional Tn , tambem n
difcil ver que existe uma quantidade n
ao nula de toros Tk n
ao contr
ateis que est
ao mergulhados
em Tn e, portanto, que s
ao tais que k 6 n.
Embora tudo isso pareca ter um aspecto bem diferente do que est
a envolto para com os toros
bidimensionais, se olharmos bem para as curvas fechadas n
ao contr
ateis que podem ser definidas
sobre T2 , toda essa m
a impress
ao comeca a se desfazer rapidamente: pois, como todas essas cur-
es peri
vas tem condico odicas de contorno, s
ao elas quem devem ser vistas como os 1-ciclos que n
ao
s
ao bordos deste toro bidimensional e que, portanto, podem ser vistas como os toros unidimensio-
nais T1 que est
ao nele imersos. Desta maneira, podemos afirmar que todas essas novas superfcies
Tk nada mais s es dos caminhos
ao do que meras generalizaco = T1 que est
ao contidas em M2 (ou
seja, elas s
ao os k-ciclos que dissemos acima, os quais est
ao contidos em Tn e que n
ao podem ser
vistos como k-bordos), dado que agora existe uma maior liberdade para defin-las que sequer de-
84 CAPITULO 5. PRIMEIRAS GENERALIZAC
OES
onde d = 1, 2, 3 e
Y
O Txd = jx (5.17)
jTd
e tal que cada operador jx age sobre a j-esima aresta que e perpendicular a
` discretizaca
o de um toro
bidimensional Td que est o essa que ocorre pela fixaca
a contida em R 3 , discretizaca o das faces que
s nica das tres possveis direco
ao normais a uma u claro que, da mesma maneira que acontece
es d. E
com (4.26), estes n
ao s nicos autoestados de v
ao os u acuo adicionais que est
ao relacionados ao 3-
es
TC: como existem mais quatro combinaco
O Tx1 O Tx2 , O Tx1 O Tx3 , O Tx2 O Tx3 e O Tx1 O Tx2 O Tx3 (5.18)
que podem ser feitas entre os operadores (5.17), tambem existem mais quatro novos autoestados
de v
acuo surgindo delas, o que deixa muito bem claro que estamos diante de um modelo com um
estado fundamental que e octodegenerado. E, por se dizer, essa octodegenerescencia vai em pleno
acordo com o fato do segundo grupo de homologia de um T3 com genero unit
ario ser [28]
H 2 (T3 ) = Z Z Z .
Afinal de contas, como o primeiro H 1 (T3 ) e o segundo grupo de homologia de um toro tridi-
mensional s
ao iguais, ao notarmos que o Teorema de Hurewicz nos mostra que H 1 (T3 ) pode ser
o de um 1 (T3 ) [49] que e composto por oito elementos, pode-
obtido atraves de uma Abelianizaca
mos tomar emprestada a vis
ao que H 1 (T3 ) nos oferece para afirmar o seguinte: do mesmo jeito
que H 1 (T3 ) acaba servindo para identificar o n `s oito distintas
umero de geradores que levam a
classes de homotopia de caminhos fechados que definem 1 (T3 ), podemos associar a contagem
que H 2 (T3 ) faz ao c
omputo das oito distintas classes de homotopia de superfcies fechadas que
acabaram se associando a esses oito autoestados de v
acuo do 3-TC.
Parte III
o
Quantum Double Models e a inserca
de campos de mat
eria
85
Captulo 6
6.1 Coment
arios iniciais
Diante de tudo o que foi apresentado ate agora sobre o Toric Code (TC) e sobre algumas das
es que foram expostas no captulo anterior, e ntido que ainda existe um leque
suas generalizaco
bem grande de possibilidades para que outras sejam construdas. No entanto, se pensarmos apenas
naquelas que n
ao dependem de qualquer tipo de extens
ao dimensional, uma das primeiras linhas
es que surge e aquela que se apoia na atribuica
de generalizaco o de um vetor
j = a () | 0 i + . . . + a () | n 1 i , (6.1)
0 n1
e t a e muito bem
ao mais simples, que um dos modelos que podem ser criados desta maneira j
conhecido: trata-se do Quantum Double Model (QDM) [4, 63], cujo nome segue por efeito deste
lgebra do Quantum Double de V. G. Drinfeld [64].
modelo se apoiar sobre a chamada a
87
88 CAPITULO 6. NOC GERAIS SOBRE OS QUANTUM DOUBLE MODELS
OES
Independente de qualquer coisa mais especfica que podemos falar sobre os QDMs, algo que j
a
o de (6.1) a cada aresta de R 2 e que, como este elemento n
fica bem claro da associaca ao pertence
necessariamente a um espaco de Hilbert bidimensional, os operadores de um sistema assim conce-
bido n orios de (4.5). E este e exatamente o
ao podem ser expressos necessariamente como produt
caso do operador Hamiltoniano
X X
HG1 = A(G
v
1)
B (G
p
1)
(6.3)
v p
que, apesar de se apresentar com a mesma roupagem do Hamiltoniano relacionado ao TC, pre-
cisa ser composto por operadores de vertice A(G
v
1)
e de face B (G
p
1)
que s
ao um pouco mais gerais
o mais explcita sobre as suas express
que (4.4). Contudo, antes de fazermos uma apresentaca oes
(e, ate mesmo, para que todas elas facam sentido), e imprescindvel atentar a uma caracterstica
importante destes modelos, a qual, inclusive, j
a chegou a ser mencionada bem no incio destas
notas: os QDMs s
ao bons exemplos de teorias de calibre discretas.
o dos operadores
Sobre a definica
No entanto, quando lidamos com uma teoria de calibre considerada discreta, existe uma coisa a
mais que caracteriza essa teoria: quando o sistema se encontra num estado fsico qualquer, a
holonomia de cada uma das faces de R n , neste estado, deve ser preservada [19].
Y X
A(G 1)
= *. 1 (g)
L +/ (6.4)
v
| G1 | g G j
jSv , 1 -
o que e atribuda a essa aresta apontar para fora do v-esimo vertice,
ghj , se a orientaca
ou
hj g 1 , numa situaca
o contr
aria a essa,
(g)
o do operador L
de modo a preservar as holonomias do sistema. Note que, nessa definica j
, a
o de uma rede orientada se faz presente, assim como deve ser para qualquer modelo que se
noca
proponha a ser de calibre discreto.
o desse u
Por se dizer, embora a definica ltimo operador pareca distoar daquela que est
a relaci-
o de distoamento n
onada ao operador de vertice (4.4), devemos notar que essa sensaca ao passa
ao. Pois, uma vez que { | 0 i , | 1 i } e a base escolhida para descrever os
de uma falsa impress
1
Para efeitos pr o simplificada que deve ser traduzida como
aticos, estamos utilizando uma notaca
gh = g, h ,
onde : G1 G1 G1 e a aplicacao que da uma estrutura de grupo ao conjunto G1 cuja cardinalidade e | G1 |. Para
maiores detalhes sobre isso, vide o Apendice B.
90 CAPITULO 6. NOC GERAIS SOBRE OS QUANTUM DOUBLE MODELS
OES
1
A(Z
v
2)
= ( 1v + Av ) . (6.6)
2
Afinal, apesar de, num primeiro momento, este resultado eventualmente dar a entender que o
TC n
ao pode ser identificado como um QDM que adota G1 = Z2 , toda esta falsa impress
ao pode
comecar a ser desconstruda desde que notemos que, salvo a presenca do fator 1/2 encabecando
(6.6), esse operador A(Z
v
2)
ao e nada estranho ao TC: basta ver, por exemplo, que e exatamente
n
ele quem j
a aparece na express
ao do autoestado de v
acuo (4.13).
1 1
H0 = ( 1v + Av ) 1p + Bp (6.7)
2 2
[5]
X Y (g )
B (G
p
1)
= *. T j j +/ , (6.8)
? , jSp -
que e um pouco diferente da anterior. Pois, embora ela seja definida por meio de operadores
(g )
T j j : HnNa HnNa que tambem devem ser lineares, e embora ela tambem troque o elemento hj
` j-esima aresta de R 2 por um outro
originalmente associado a
o dessa aresta coincidir com a de M2 , ou
gj , hj hj , se a orientaca
gj1 , hj hj , caso contr
ario,
(g)
T (e)
j
= 1j e Tj = jz , (6.10)
onde g e, mais uma vez, qualquer elemento de G1 distinto da identidade, e imediato perceber
que o princpio da correspondencia e realmente respeitado por um QDM em relaca
o ao TC: afinal
de contas, a menos de um fator 1/2, o operador B (Z
p
2)
tambem se reduz ao operador de face que
aparece em (6.7).
|5 i
|8 i |6 i
|7 i
|1 i
|4 i
|2 i
|3 i
Figura 6.1: Recorte da rede quadrada e orientada que d a suporte ao QDM, onde os setores vermelho e azul
est `s mesmas regi
ao associados a oes que definem um vertice e uma face do TC, enquanto o setor amarelo se
` menor regi
refere a ao (stio) ao qual podemos associar um par s = v, p .
E a primeira coisa que deve ficar clara sobre este modelo e que, de acordo com tudo o que j
a
ltima Seca
dissemos na u o, todos os campos de calibre que foram distribudos entre as arestas de
`s transformaco
R 2 devem se submeter a ao efetuadas por A(Z
es que s n)
v . E, tendo ci
encia disso, ao
o do mesmo (6.6) que
lembrarmos que esse operador deve ser interpretado como a generalizaca
j
a est a-lo e atraves de uma
a relacionado ao TC, fica bem claro que a melhor maneira de express
o
superposica
1 X (g)
A(Z
v
n)
= A ,
n g Z v
n
cujas componentes s
ao, no caso da rede quadrada R 2 que consta na Figura 6.1, dadas por
(g) g g g g
Av = X1 X2 X3 X4 .
Aqui
X
X = ( h + 1 ) mod n h h | , (6.11)
h Zn
6.2. UM EXEMPLO ABELIANO 93
X
(g)
B (Z
p
n)
= Bp ,
g Zn
cujas componentes
(g) g g g g
Bp = Z5 Z6 Z7 Z8
X
Z = h | h i h h | , (6.12)
h Zn
2i
onde = e n e o gerador do grupo Zn 3 .
6.2.2 es elementares
Excitaco
a a segunda coisa que deve ficar clara aqui e que, diante das express
J oes (6.11) e (6.12),
precisamos ter em mente que
Z X = X Z . (6.13)
3
Para maiores detalhes sobre isso, vide o Apendice B.
94 CAPITULO 6. NOC GERAIS SOBRE OS QUANTUM DOUBLE MODELS
OES
A(Z
v
n)
0 = 0 e B (Z
p
n)
0 = 0 , (6.16)
tambem acaba ficando bem claro que, no caso de R 2 ser uma rede capaz de discretizar um plano
infinito (ou qualquer outra subvariedade com genero nulo), o estado de v
acuo deste modelo ser
a
nico e dado por
u
Y
(1) = A(Z
v
n)
| 0 i ... | 0 i , (6.17)
0 | {z }
v N a vezes
onde Na e o n
umero de arestas que comp
oem R 2 .
mod n
Z g X h = (gh) Xh Zg (6.18)
( n - 1 ) 2 + 2 ( n - 1 ) + 1 = [ ( n - 1 ) + 1 ]2 = n2 , (6.19)
uma vez que a ausencia de qualquer uma dessas quasipartculas sobre a rede tambem pode ser
vista, e portanto computada, como uma quasipartcula de v
acuo.
mod n mod n
e g eh = e (g+h) , m g m h = m (g+h) e e g m h = (g, h) . (6.20)
No entanto, e aqui que cabe uma pequena ressalva sobre essas quasipartculas, mais especifica-
es. Afinal, ao contr
mente sobre as suas concepco ario do que acontece no TC, os pares de quasi-
partculas aqui concebidos n
ao comportam necessariamente aquelas que s
ao tidas como as suas
pr
oprias anti-quasipartculas, uma vez que
g
os pares criados pelos operadores Zj ao compostos por quasipartculas e g e eg que
s
s lgebra de Zn , as quais s
ao complementares segundo a a ao alocadas sobre os vertices que
extremizam a j-esima aresta,
h
enquanto Xj tambem produz um par com quasipartculas complementares m g e mg , e
as aloca sobre os centr
oides das faces que partilham a j-esima aresta.
claro que e muito importante observar que todas essas quasipartculas podem ser perfeita-
E
o do mesmo
mente transportadas ao longo de R 2 , desde que isso seja feito, por exemplo, pela aca
operador que criou um par de quasipartculas ao longo de um caminho contnuo de arestas. No
entanto, antes de terminarmos este captulo, e interessante destacar algo que e um pouco mais
importante: e interessante destacar aquilo que faz do QDM um modelo um pouco melhore que o
TC quando o objetivo e us
a-lo para fins computacionais.
5
Ou seja, as quasipartculas que s
ao concebveis pelos respectivos operadores Zj g , Xj h e Xj g Zj h .
96 CAPITULO 6. NOC GERAIS SOBRE OS QUANTUM DOUBLE MODELS
OES
6.3 Um exemplo n
ao Abeliano
a ter ficado subentendido ao leitor que este algo que e um pouco mais impor-
Apesar de j
tante deve decorrer do fato das quasipartculas de um QDM apresentar uma estatstica que, por
exemplo, pode ser distinta da que est
a relacionada aos dyons do TC, para ilustrarmos ainda mais
toda a generalidade que est
a por tr
as de um QDM, finalizaremos este captulo apresentando um
outro dos seus exemplos mais simples: um QDM que se apoia sobre o grupo
D E
S3 = a , b : a3 = b2 = e , bab = a2 , (6.21)
E a primeira coisa que precisamos destacar aqui diz respeito aos operadores de vertice e de face
que, de acordo com as express
oes mais gerais (6.4) e (6.8), s
ao dados por
1 X (g)
A(Sv 3 ) = A e B (S 3)
= B (e) , (6.22)
6 g S v p p
3
o de v
haja vista que a definica acuo de um QDM se apoia sobre o fato das holonomias, que est
ao
`s faces de R 2 , serem todas iguais a
relacionadas a claro que coment
` identidade e. E arios adicionais
sobre o autoestado de v
acuo | 0 i desse QDM n
ao Abeliano tambem cabem: e, j
a que este | 0 i
tambem precisa satisfazer aos vnculos
A(Sv 3 ) 0 = 0 e B (S 3)
p 0 = 0 (6.23)
ABELIANO
6.3. UM EXEMPLO NAO 97
que s
ao an arios e que, quando consideramos exatamente a
alogos a (6.16), um desses coment
mesma R 2 que j
a est
a a mostra na Figura 6.1, esse autoestado tambem ser
aunico e dado por
Y
(1) = A(Sv 3 ) | 0 i . . . | 0 i .
0 | {z }
v N a vezes
A(G 1)
, . . . , A(G 1)
B (G 1)
, . . . , B (G 1)
( ) ( )
Av = v,1 v, R e Bv = v,1 p, R (6.24)
es elementares
Sobre as excitaco
E a grande vantagem de sermos cientes sobre a existencia desses dois conjuntos de projetores
Av e Bp e que, como eles s
ao compostos por outros operadores que tambem atuam sobre os vertices
es projetivas
e sobre as faces de R 2 , todas as relaco
e de fechamento
X
R X
R
A(G 1)
v, J = 1v e B (G 1)
p, J = 1p (6.26)
J =1 J =1
A(G 1) (J, K )
v, J W s = W (J,
s
K)
A(G 1)
v,1
e B (G 1) (J, K )
p, K W s = W (J,
s
K)
B (G 1)
p,1
, (6.27)
= W (J,
s
K ) (1)
0 ,
98 CAPITULO 6. NOC GERAIS SOBRE OS QUANTUM DOUBLE MODELS
OES
vale
A(G 1)
v, J = e B (G 1)
p, K = , (6.28)
` presenca de uma
fica muito claro que, ao associarmos a ausencia de qualquer quasipartcula a
quasipartcula de v
acuo index ao R2 possibilidades para a definica
avel por (1, 1), existir o das qua-
sipartculas vistas como elementares dentro de qualquer QDM, haja vista que cada uma delas
ocupar
a um estado bem especfico, que ser
a rotulado pelo par ordenado (J, K ). Por se dizer, esse
resultado e perfeitamente compatvel com aquele que, por exemplo, j
a fora obtido, por outros
meios, em (6.19), uma vez que (i) o n es irredutveis do grupo Zn e igual
umero de representaco
o justifica, por exemplo, o porque das quasipartculas (g,h) serem
a sua ordem e (ii) essa rotulaca
indexadas como tal.
Regras de fus
ao n
ao Abelianas
Diante de tudo isso, certamente a coisa mais importante que precisamos mencionar agora,
o dos elementos de Av e Bp a
ate mesmo para justificar como funciona toda essa associaca `s re-
es irredutveis de G1 (e consequentemente obtermos todas as express
presentaco oes que, por exem-
plo, definem os operadores desse nosso QDM que se vale de S3 ) e que eles s
ao dados por [66]
dJ X (g) X
(g)
A(G 1)
v, J = J g 1 A v e B (G 1)
p, K = Bp . (6.29)
| G1 | g G g C K
1
Aqui, alem de
Y X Y (g )
(g) (g) (g)
Av = L j
e Bp = *. T j j +/ , (6.30)
jSv , jSp -
tambem temos que d J e a dimens o irredutvel J : G1 GL n (C),
ao da J-esima representaca
enquanto J (g) = tr [ J (g)] e o seu caractere, e CK e a K-esima classe de conjugaca
o do grupo
o.
G1 sob consideraca
Ali oes, uma das primeiras coisas que ficam bem claras e que,
as, por efeito de todas essas express
como os coeficientes d J J (g) em (6.4) e (6.8) s
ao todos iguais a 1, todos operadores de vertice e
de face que comp
oem o Hamiltoniano (6.3) s o trivial 1 .
ao expressos em termos da representaca
o deste QDM que se vale de um G1 = S3 que possui
E, nestes termos, quando analisamos a situaca
es irredutveis [116], tambem fica claro que os operadores que completam
apenas tres representaco
ABELIANO
6.3. UM EXEMPLO NAO 99
1 (e) (a2 ) ( ba 2 )
A(Sv,2
3)
= A v + A(a)
v + A v A (b)
v A (ba)
v A v e
6
1
(a2 )
A(Sv,3
3)
= 2A(e) (a)
v Av Av . (6.31)
6
Como bem dissemos anteriormente, a grande consequencia que segue, de toda essa ortogonali-
dade que est
a embutida no conjunto de operadores
A (Sv 3 ) = A(Sv,1
3)
, A(Sv,2
3)
, A(Sv,3
3)
( )
,
A(Sv,3J) W (J,1)
s = W (J,1)
s A(Sv,1
3)
.
e muito f
acil ver, das regras de fus
ao
es
Segundas generalizaco
7.1 Coment
arios iniciais
Em verdade, tudo o que apresentaremos ao longo da primeira metade deste captulo nada
mais e do que um breve resumo do que consta num dos trabalhos que foram publicados por M.
J. B. Ferreira, P. Padmanabhan e P. Teotonio Sobrinho [67], onde um QDM foi bem entendido
o c
em termos da discretizaca ubica de uma variedade M2 [ 0, 1 ] tridimensional sem fronteira:
o bastante particular onde um sistema, que e desprovido de materia e que
ou seja, numa situaca
est
a disposto sobre a rede quadrada R 2 que discretiza M2 , evolui ao longo de um intervalo [ 0, 1 ]
o, ela se d
temporal. E, no caso dessa evoluca a segundo a matriz de transferencia [69]
U = exp ( Ht ) , (7.1)
101
102 CAPITULO 7. SEGUNDAS GENERALIZAC
OES
Z = = U =
Figura 7.1: A` esquerda, temos uma colagem realizada tomando a situaca o particular t = [ 0, 1 ] , que j
a
permite interpretar Z como o traco da matriz de transferencia U que est
a representada a` direita. No caso,
cada uma das flechas que entram ou saem das extremidades de U deve ser associada ao vetor que indexa
uma das arestas que comp o de M.
oem a discretizaca
mensional, cujo espaco de Hilbert Hn pode ser visto como o mesmo que comporta os elementos
(6.1), enquanto t e um subintervalo [ 0, 1/N ] que se vale de um n
umero natural n
ao nulo N.
o tridimensional de M2 [ 0, 1 ] respauda a descrica
Nestes termos, como essa discretizaca o de
es que conectam M2 | t=0 = M2 {0} a
um sistema fsico sobre M2 , uma vez que as triangulaco `
M2 | t=1 = M2 {1} mostram que estas duas variedades s
ao topologicamente equivalentes [70], a
o de partica
funca o que descreve o sistema poder
a ser escrita como
N
Z = tr U , (7.2)
Figura 7.2: A` esquerda, temos uma representacao via Heegaard das faces relacionadas a` discretizaca
o
c
ubica acima mencionada enquanto, a ` direita, segue a descrica
o do que, a priori, pode ser interpretado
como a face dual nos mesmos moldes.
7.1. COMENTARIOS INICIAIS 103
Figura 7.3: A ` esquerda temos uma u nica estrutura b asica, associada ao que definir a um dos
handlebodies que est ao envolvidos no processo de discretizaca o de M2 [ 0, 1 ]; no caso, o objetivo
dos eixos que constam ao lado dessa estrutura e, t ao somente, indicar que a discretizaca o relacionada ao
plano x y se refere a` da variedade M2 , enquanto a do eixo t faz menca o a discretizaca
o de [ 0, 1 ]. J
aa
figura que consta a` direita corresponde a
` interpretacao dessa mesma estrutura como sendo parte da matriz
o deste sistema discretizado deve ser interpretada pela colagem
de transferencia U: ou seja, toda a evoluca
de estruturas similares a esta segundo a l
ogica ja exposta na Figura 7.1, guiada pela colagem de pontos azuis
aos vermelhos.
de Heegaard que pode ser resumida segundo os diagramas da Figura 7.2, os quais est
ao direta-
mente relacionados a cada uma das faces e arestas que comp
oem essa rede c
ubica. Entretanto,
de acordo com essa mesma figura, e possvel perceber que existe uma sutil diferenca entre esses
novos diagramas e aqueles que constam na Figura 3.8; afinal, ao contr
ario do que acontece com os
anteriores, esses novos diagramas apresentam alguns orifcios em suas curvas.
Desta maneira, a pergunta mais natural que surge e: o que quer dizer a presenca desses
orifcios? E a resposta dessa pergunta e: a presenca desses orifcios foi a maneira que encon-
tramos para dizer que outros elementos z e z (que pertencem aos centros das respectivas a
lgebra
(V ; , ) e co
algebra (V ; , ) que est
ao aqui relacionadas) podem compor cada um dos pesos es-
tatsticos M (k) e (j) . Assim, olhando para a diagramatizaca o que j
a foi apresentada na Figura
3.8, passa a ser muito f acil perceber que ela nada mais e do que um caso particular desta nova da
Figura 7.2, dado que todos os pesos estatsticos que foram mencionados anteriormente se valem da
o de z e z como elementos identidades.
identificaca
Ali
as, diante deste quadro, diante de toda esta possibilidade, somos automaticamente leva-
dos aos diagramas de Kuperberg que est `s suas
ao dispostos nas Figuras 7.4 e 7.5 e, portanto, a
es algebricas como [67, 68]
realizaco
M (k) ( z , 1 , 2 , 3 , 4 ) = tr ( z, 1 , 2 , 3 , 4 ) e
(j) z , 1 , 2 , 3 , 4 = cotr z , 1 , 2 , 3 , 4 .
104 CAPITULO 7. SEGUNDAS GENERALIZAC
OES
z z
M (k)
z z
(j)
E a grande consequencia que surge disso tudo e que, ao tomarmos uma discretizaca
o c
ubica e a
considerarmos como o esqueleto de um handlebody E, tal como bem ilustra a Figura 7.3, onde
nica celula da superfcie E que contem os diagramas de Heegaard, teremos
consta uma u
X Y j
Z = (j) z M , z t , j1 , j2 , j4 , j4 Scab
j,c
( )
jn
M (c) z M , z t , c1 , c2 , c3 , c4 ~vja ~vcb , 1 ,
o
Sobre as regras de comutaca
z z
S S
Figura 7.6: Diagramas de Kuperberg que representam consecutivamente os operadores de aresta Av , de face
Bp e de aresta Cj , os quais est
ao relacionados aos operadores que levam o mesmo nome e que comp oem o
operador Hamiltoniano.
7.6. Por se dizer, e exatamente por causa dos diagramas que est
ao expostos na Figura 7.3 e 7.6
que e bem f
acil perceber que os operadores Av , Bp e Cj , que est
ao explicitamente associados a esses
diagramas, satisfazem a
Av1 , Av2 = Bp1 , Bp2 = Cj1 , Cj2 = 0 ,
uma vez que eles atuam em setores disjuntos. Mas o aspecto mais interessante que segue destas
express
oes n o em especfico: o aspecto mais
ao se restringe apenas a essas regras de comutaca
interessante e que, como todos esses operadores Av , Bp e Cj comutam uns com os outros [67],
a partir das express
oes (7.1) e (7.2) podemos exprimir a matriz de transferencia aqui associada
atraves de
Y Y Y
U = Av Bp Cj (7.3)
v p j
X X X
H = *. ln Av + ln Bp + ln Cj +/ , (7.4)
, v p j -
ao e an
cuja express `quela, j
aloga a claro que, se
a relacionada aos Quantum Double Models. E
compararmos as express
ao desse Hamiltoniano para com (6.3), fica muito claro que existe uma
diferenca entre eles, a qual se resume na presenca de um somat
orio adicional em (7.4), que est
a
envolto para com os novos operadores de aresta Cj . No entanto, como um dos corol
arios que
o 7 (que est
seguem da Proposica a presente no Apendice B) nos diz que Cj e proporcional a uma
106 CAPITULO 7. SEGUNDAS GENERALIZAC
OES
o Hamiltoniano em quest
ao pode ser reduzido a
X X
H = ln Av + ln Bp + nA(T) ln n In(T) , (7.5)
A
v p
operador identidade que age sobre todas as arestas da rede que discretiza M2 [ 0, 1 ].
o que s
Diante de todos estes fatos, e principalmente diante da constataca ao as escolhas
1 f g
zM = 2 1 p + p e zt = , e
n
1
z M = e z t = [ 2 (1 v ) + v ] ,
n
que realmente nos remetem ao mesmo QDM que j ltimo captulo, desde que
a foi apresentado no u
expans
oes sejam realizadas sobre os logaritmos dos operadores que comp
oem os somat
orios em
7.5 e [67]
p e v sejam vari
aveis que assumem valores no intervalo [ 0, 1 ],
aos vertices das redes que abrigam o QDM, a primeira coisa que precisamos fazer aqui, para enten-
es, e notarmos que e bastante natural interpretar o espaco de Hilbert
dermos todas essas observaco
Hm ao qual esses vetores pertencem como um m odulo4 : pois, como cada campo de calibre j de
um modelo assim construdo deve ser capaz de agir sobre um de materia , quando lembra-
mos que esses campos de calibre s
ao moderados por elementos de um grupo G1 , uma das melhores
o5
o entre campos e atraves de uma aca
maneiras que existe para modelar toda essa interaca
= (e, ) , ( g , ) = g 1 , e ( g2 , ( g1 , ) ) = ( g1 g2 , ) .
Nestes termos, fica bem claro que, num primeiro momento, G2 deve ser interpretado como um
conjunto de ndices. Mais adiante (mais especificamente, nos dois pr
oximos captulos) voltaremos
a este ponto para esclarecer o porque de G2 precisar ser um grupo, o que, portanto, garante a
o de Hm como um m
realizaca odulo.
4
Vide novamente o Apendice B para maiores detalhes sobre isso, em especial a Subseca o B.1.2.
5
Apesar da escolha desta acao eventualmente nos remeter a uma classe lateral a ` esquerda, convem ressaltar que
tambem e perfeitamente possvel trabalhar com as classes laterais a
` direita. Mais uma vez recomendamos a leitura do
Apendice B para uma pequena revis ao sobre todos estes conceitos.
108 CAPITULO 7. SEGUNDAS GENERALIZAC
OES
Figura 7.8: Da esquerda para a direita temos as representacoes via Heegaard das faces, das arestas e dos
vertices que comp o c
oem a discretizaca ubica de uma variedade M, onde consta um sistema com campos de
calibre e de materia.
que est
a (tambem em vermelho) ao redor de um vertice, indica que um campo de materia se faz
presente.
o dos operadores
Sobre a definica
o e
Diante de tudo isso, a principal consequencia que surge deste novo esquema de amarraca
que, ao relermos a Figura 7.7 em termos da maneira desmontada que consta na Figura 7.8, e
possvel identificar quais s
ao os diagramas de Heegaard que est
ao individualmente associados aos
`s faces e a
vertices, a `s arestas da rede e, portanto, chegar aos respectivos diagramas de Kuperberg
que est
ao a eles associados. No entanto, quando compararmos estes novos diagramas com os
velhos da Figura 7.2, fica bem claro que ainda existe uma coisa em comum entre eles: o diagrama
de Heegaard que est `s faces da rede e exatamente o mesmo nos dois casos, j
a relacionado a a que,
em ambos, n
ao h o direta das faces para com qualquer campo de materia. Desta
a qualquer relaca
nicos pesos estatsticos que s
maneira, como os u o anterior s
ao distintos da situaca ao apenas os
que est o algebrica desses
ao dispostos nas Figuras 7.9 e 7.10, podemos traduzir toda a situaca
110 CAPITULO 7. SEGUNDAS GENERALIZAC
OES
z z
(k)
Figura 7.9: Diagrama de Kuperberg relacionado ao de Heegaard que consta a ` extrema esquerda na Figura
7.8. Note que, como ele deve se referir ao que ocorre numa aresta qualquer, ele deve necessariamente
o de um campo de calibre (flecha contnua) com os de materia (flecha pontilhada).
retratar a interaca
operadores como
(j) z , 1 , 2 , 3 , 4 , 5 = cotr z , 1 , 2 , 3 , 4 ,
M (k) ( z , 1 , 2 , 3 , 4 ) = tr ( z , 1 , 2 , 3 , 4 ) , e
T (r) ( 1 , 2 , 3 , 4 , 5 , 6 ) = tr ( 1 , 2 , 3 , 4 , 5 , 6 )
o
Propriedades de comutaca
T
T T
T (c)
T T
T
Figura 7.10: Diagrama relacionado ao que fora exposto, a` extrema direita, na Figura 7.8. Note a semelhanca
o de T (c) em termos de aplicaco
estrutural relacionada aos diagramas anteriores, haja vista a composica es
associativas T : Hm Hm Hm .
7.2. INTRODUC DE CAMPOS DE MATE
AO RIA 111
z z
(v) S M (p) S T G T
S S
entre todos esses operadores: afinal, se eles comutarem uns com os outros, ficar
a muito claro que
estamos novamente diante de um modelo sol
uvel e que, portanto, as express
oes da sua matriz de
transferencia e do seu Hamiltoniano s
ao completamente similares a (7.3) e (7.4) respectivamente.
Nestes termos, passa a ser essencial avaliar quais s o que est
ao as regras de comutaca ao relacionadas
a esses operadores, ainda mais porque s
ao elas que podem nos mostrar se existe algum tipo de
o que precisa ser imposta a G para que ela nos remeta a
restrica ` solubilidade do modelo assim
concebido.
Ali
as, se nos lembrarmos de que, pelo ponto de vista efetivo, todos os operadores que est
ao
presentes na Figura 7.11 atuam localmente sobre a rede, uma das maneiras mais eficazes de retra-
es pode ser resumida segundo a representaca
tarmos as suas atuaco o pict
orica que consta na Figura
o encerrada por qualquer um dos seus kets se relacionar, t
7.12. Pois, alem de toda a informaca ao
` regi
somente, a ao onde tais operadores atuam efetivamente, toda essa efic
acia tambem pode ser
muito bem entendida a` luz das Figuras 7.13, 7.14 e 7.15, uma vez que deixam muito bem claro
n
ao apenas que Av , Bp = Bp , Cj = 0, mas que
1 X 1 X
z k G k, , = zr z s G r, , G s, , ,
N A k, N A2 r,s, ,
1 X k 1 X r
z tr kab1 c1 d = 2
z tr rab1 c1 d tr sab1 c1 d e (7.8)
NB l NB r, s
1 1
G a, = 2
G a, G a,
NC NC
a ka
1 P z G ( (k, ) , )
Av d b = dk 1 kb
N A k, k
c ck 1
a a
Bp 1 P z k tr kab1 c1 d
d b = d b
NB k
c c
Cj 1 G ( (a, ) , )
=
a NC a
a a
b 1 P r b
Av Bp = z tr rb f 1 g 1 c Av
d c f d c f
NB r
g g
sa
1 P sb
= zr z s tr r b f 1 g 1 c G ( (s, ) , )
N A NB r, s, ds1 cs1 f
g
a sa
b 1 P z G ( (s, ) , ) B sb
Bp Av =
d p
c f N A s,
s ds1 cs1 f
g g
sa
1 P sb
= zr z s tr r b f 1 g 1 c G ( (s, ) , )
N A NB r, s, ds1 cs1 f
g
es e que
possam ser vistos como tres projetores. E uma coisa que ficam bem clara destas tres relaco
as constantes N A , NB e NC n
ao podem ser arbitr
arias: elas precisam ser dadas especificamente por
N A = NB = |G1 | e NC = 1.
7.2. INTRODUC DE CAMPOS DE MATE
AO RIA 113
a a
Bp Cj 1 G ( (a, ) , ) Bp
d b = d b
NC
c c
a
P
1
= G ( (a, ) , ) zk tr kab1 c1 d d b
NB NC k
c
a a
Cj Bp d 1 P z k tr kab1 c1 d C
b = j d b
NB k
c c
a
P
1
= G ( (a, ) , ) z k tr kab1 c1 d d b
NB NC k
c
Figura 7.14: Resultado que segue da atuaca o das duas combinaco es, que podem ser feitas entre os dois
ao distrubudos pela rede, de onde tambem e imediato ver toda
operadores Bp e Cj , sobre os campos que est
a comutatividade entre estes operadores.
a (r s) a
1 P 1
Av2 d b = z s z s G ( (r, ) , ) G ( (s, ) , ) d r s (r s) b
N A2 r, s, ,
1
c c rs
a a
Bp2 1 P z r z s tr rab1 c1 d tr sab1 c1 d
d b = d b
NB2 r, s
c c
Cj 2 1 G ( (a, ) , ) G ( (a, ) , )
=
a NC2 a
Figura 7.15: Resultados que seguem dos operadores Av , Bp e Cj quando cada um deles age duas vezes
consecutivas sobre os campos que est
ao dispostos sobre a rede.
a a
b 1 G ( (b, ) , ) Av b
Av Cj d = d
NC
c c
ka
1 P
= G ( (b, ) , ) z G ( (k, ) , ) dk 1 kb
N A NC k, k
ck 1
a ka
b 1 P z G ( (k, ) , ) C 1 kb
Cj Av d = j dk
N A k, k
c ck 1
ka
1 P
= z k G ( (k, ) , ) G ( (kb, ) , ) dk 1 kb
N A NC k,
ck 1
Figura 7.16: Resultado da atuacao de Av e Bp sobre os campos dispostos na rede, de onde fica clara a
comutatividade entre estes operadores.
X X
G b, , z k G k, , = z k G k, , G kb, , . (7.9)
k, k,
G k, , = k, , , (7.10)
esta ser
a exatamente a escolha que faremos diante de tudo o que precisa ser feito ao longo do
pr
oximo captulo.
Captulo 8
8.1 Coment
arios iniciais
() ()
| v i = a 0 | 0 i + . . . + a m1
| m1i
aos Nv vertices de uma rede bidimensional (QDMv), se concretiza atraves de um operador Hamil-
toniano
X X X
HQDMv = A(G
v
1,G 2 )
B (G
p
1,G 2 )
C (G
j
1,G 2 )
, (8.1)
v p j
1 X g
A(G
v
1,G 2 )
= A , B (G 1,G 2 )
= Bpe e C (G 1,G 2 )
= Cj , (8.2)
|G1 | g G v p j
1
cujas componentes s
ao expressas em conformidade ao que consta na Figura 8.1. Afinal de contas,
essas componentes nada mais s
ao do que casos particulares daquelas, que j
a constam na Figura
ao apenas a escolha (7.10), mas zj e zj como os elementos identida-
7.12 quando tomamos n
lgebra e co
des das a algebra que est
ao aqui envolvidas. Ali
as, vale notar que, aqui, continuare-
mos considerando que G1 e o grupo que modera os campos de calibre, enquanto que G2 conti-
nuar
a sendo considerado, a priori, apenas como um conjunto cujos elementos indexam a base de
materia Bv = | i : G2 .
115
116 CAPITULO 8. MODELOS COM CAMPOS DE MATE
RIA
a ga
P
Av ( (g, ) , )
g
d b = dg 1 gb
c cg 1
a a
Bph d b = ab1 c1 d, h d b
c c
Cj = ( (a, ) , )
a a
o das componentes Avg , Bph e Cj dos respectivos operadores de vertice, de face e de aresta
Figura 8.1: Definica
do QDMv. Da mesma maneira que o smbolo a denota um elemento a , o smbolo deve ser interpretado
como um elemento .
u s
t
a
d
b l
c
Figura 8.2: Recorte da rede R 2 que d a suporte ao QDMv, onde os setores azul e verde sao exatamente
os mesmos que j
a foram definidos na Figura 6.1, e o novo setor laranja est ` j-esima aresta
a associado a
compreendida entre dois vertices adjacentes que, agora, comportam campos de materia que podem ser
comparados entre si por meio de um operador de vertice.
operador Hamiltoniano (8.1), todo o espectro de energia deste modelo pode ser obtido a partir do
conhecimento dos seus autoestados de v
acuo | 0 i, os quais possuem uma autoenergia igual a
E0 = Nv + N p + Na (8.4)
j es locais de v
a que eles satisfazem todas as relaco acuo
A(G
v
1,G 2 )
| 0 i = | 0 i , B (G
p
1,G 2 )
| 0 i = | 0 i e C (G
j
1,G 2 )
| 0 i = | 0 i . (8.5)
(0)
Afinal, como | 0 i pertence a um subespaco HQDMv HQDMv que e naturalmente invariante pela
o do projetor
aca
Y Y Y
PQDMv = A(G
v
1,G 2 )
B (G
p
1,G 2 )
C (G
j
1,G 2 )
, (8.6)
v p j
qualquer autoestado de n
ao v
acuo de um QDMv pode ser obtido atraves de um operador O :
HQDMv HQDMv que anticomuta com PQDMv .
a terceira coisa que e simples de ser verificada aqui e a presenca de um princpio da corres-
J
118 CAPITULO 8. MODELOS COM CAMPOS DE MATE
RIA
ltimo modelo
pondencia entre um QDMv e um QDM a qual, por exemplo, permite recuperar o u
como um caso particular do primeiro. E, para vermos como isso ocorre, basta considerarmos a
o onde Hm e um espaco de Hilbert unidimensional. Pois, como a u
situaca nica escolha que resta
o, neste caso, e ser tal que
para a aca
1 = (g, 1) , (8.7)
` mesma n
isso acaba equivalendo a ` n
ao escolha que fazemos no QDM devido a o de
ao atribuica
nica diferenca substancial que passa a existir
quaisquer elementos aos vertices de R 2 . Assim, a u
entre o QDM que e assim obtido e o que j
a foi originalmente apresentado no Captulo 6, por
exemplo, decorre da presenca dos operadores de aresta que n
ao mais comparam coisa alguma,
haja vista que todos os seus autovalores s
ao iguais a 1. Ou seja, essa n
ao escolha (8.7) faz com
que essa diferenca se reduza ao simples acrescimo de uma mesma constante a todos os nveis de
energia desse novo QDM, tal como j o 7.1.
a acontece no modelo que foi discutido na Seca
Todavia, como, em todos os modelos que apresentamos ate agora, todos os operadores de
o matricial, algo que
vertice e de face foram bem expressos em termos de alguma representaca
8.2. PROPRIEDADES GERAIS 119
1 X g g g
A(G
v
1,G 2 )
= v (g) X a g X b Xc Xd e
|G1 | g G
1
1 X g g
B (G
p
1,G 2 )
= Zr g Z s g Zt Zu , (8.8)
|G1 | g G
1
ou seja, e a aplicaca
o que representa a aca
o como uma matriz (g) que, ao agir sobre a
o matricial de um vetor que e indexado por e que pertence a base Bv , devolve
representaca
um outro vetor que e indexado por e que tambem pertence a
` mesma base.
E g 1 E E
C (G 1,G 2 )
f
j
, j , = h | j , j , (8.10)
haja vista a express a demos para as suas componentes na Figura 8.1. Todavia, como e
ao que j
ao (8.10) que acaba deixando bem clara toda a diagonalidade de C (G
justamente essa express j
1,G 2 )
Exemplo 1: G1 = Z2 e G2 = Z2
Uma das raz a termos dito que o nosso primeiro exemplo e um dos
oes mais elementares de j
mais simples e que, de certa forma, ele pode ser interpretado como uma das outras primeiras
es diretas que j
generalizaco a poderiam ter sido apresentadas, l
a no Captulo 5, sobre o Toric
Code (TC) [72]. Afinal de contas, apesar de n es
ao estarmos nos atendo a quaisquer condico
de contorno que divirjam de (6.2), ou mesmo que pareca priorizar algum tipo de variedade em
especial, este exemplo de QDMv j o novos
a poderia ser sido obtido a partir do TC pela atribuica
120 CAPITULO 8. MODELOS COM CAMPOS DE MATE
RIA
1
Av = 1v 1a 1b 1c 1d + vx ax bx cx dx ,
2
1
Bp = 1r 1s 1t 1u + rz sz tz uz e (8.12)
2
1
Cj = 1v1 1j 1v2 + vz1 jz vz2 ,
2
Excitaco
es elementares
Y O O
0 = 1 Av *. | 0 i/ *
+
| 0 i+ , (8.13)
2 v , v
, j - -
Figura 8.3: Recortes de um mesmo setor de R 2 em instantes distintos. No primeiro, que est aa` esquerda,
temos duas quasipartculas do tipo m que foram criadas pela aca o de um u nico jx , onde o u
nico ponto
laranja destaca a u nica violaca
o de v
acuo que est
a associada aos operadores de aresta. J `
a no recorte a
o destas mesmas quasipartculas ap
direita, temos a situaca os elas terem sido transportadas por um operador
(4.22). Note que, neste u ltimo caso, temos cinco pontos laranja: um para cada aresta envolvida nesse
transporte, deixando claro toda a linearidade envolta para com o aumento de energia do sistema.
operadores
y
jx , jz e j (8.14)
confinadas.
ao ser capaz de criar pares de quasipartculas m ao agir sobre um caminho fechado , ele con-
n
segue deixar um rastro que e perfeitamente mensur
avel pelos operadores de aresta. E uma das
grandes consequencias disso e que, como
(i) Cj , vx jx = 0 e uma igualdade v
alida, quando vx age sobre um dos vertices que
encerram a j-esima aresta, e
(ii) os dois operadores Av e Ox , alem de comutarem entre si, sempre atuam apenas sobre duas
arestas de cada face,
Figura 8.4: Recorte da rede R 2 onde quasipartculas (pontos destacados em violeta) foram produzidas por
um operador vx sobre todos os vertices que sao interiores ao caminho fechado (em pontilhado). Neste
o de (8.15) nos remete ao mesmo estado de v
caso, como a aca acuo (8.13), vemos que Ox se comporta como
uma especie de isolante para esse conjunto de quasipartculas.
Av, J W (J,
v
K)
= W (J,
v
K)
Av,1 e Cj, K W (J,
v
K)
= W (J,
v
K)
Cj,1 , (8.16)
sendo Av, J e Cj, K os elementos que definem os respectivos conjuntos de projetores Av e Cj . E, por
se dizer, no caso deste nosso exemplo em especfico, esses dois conjuntos s
ao dados por
( )
Av = Av,1 , Av,2 e Cj = Cj,1 , Cj,2 ,
124 CAPITULO 8. MODELOS COM CAMPOS DE MATE
RIA
Tabela 8.1: Regras de fus ao que est `s quasipartculas Q (J, K ) , criadas por operadores W (J,
ao associadas a v
K)
que agem exclusivamente sobre os vertices de R 2 , neste QDMv que se vale de um grupo de calibre G1 = Z2
e de um conjunto de ndices G2 = Z2 . No caso, cada uma das entradas (J, K ) corresponde a uma dessas
quasipartculas, que e fruto da fus
ao entre as duas quasipartculas que indexam as linhas e colunas dessa
tabela.
1
Av,2 = 1v 1a 1b 1c 1d vx ax bx cx dx e
2
1 z z z
Cv,2 = 1v1 1j 1v2 v1 j v2 . (8.17)
2
es, n
E, de acordo com todas essas relaco ao e difcil perceber que a u
nica soluca
o que satisfaz a
`
(8.16) e dada por
Propriedades adicionais
que
Av , vz jz = 0
e uma relaca
o v
alida quando v indexa um dos vertices que encerram a j-esima aresta. Afinal de
contas, como, neste caso, os autoestados
00 = z 0
e 000 = vz1 vz2 0
j
`s mesmas relaco
satisfazem exatamente a es
Av1,2 = Av2,2 = , Bp,1 = e Cj,1 = (8.19)
desde que Sj = {v1 , v2 } corresponda ao conjunto de vertices que extremizam a j-esima, esses dois
autoestados 00 e 000 podem ser considerados efetivamente como os mesmos: ou seja, a
o, que e criada individualmente por um W (2,1)
excitaca v , se comporta efetivamente como uma qua-
sipartcula do tipo e, nos indicando que todas essas Q (J, K ) tambem podem ser interpretadas como
quasipartculas.
a o segundo e terceiro destaques que precisamos dar aqui e energetico. Porem, como para
J
entende-lo e interessante ir por partes, comecaremos fazendo isso observando que, apesar do
autoestado
0000 = x | 0 i
v
nos mostrar que a energia de uma quasipartcula Q (1,2) , sozinha, e exatamente igual a 4, a ener-
gia de um sistema que e composto por apenas duas delas n
ao e necessariamente igual a 8. E
ao disso acontecer e muito simples, e est
a raz a diretamente relacionada ao fato de que, se duas
quasipartculas Q (1,2) forem concebidas sobre o conjunto de vertices Sj , teremos
f g
Cj , vx1 vx2 = 0 . (8.20)
Ali o
as, de acordo com o ponto de vista discreto que permeia estas notas, essa nossa interpretaca
eletrost a que um sistema que e assim concebido possui as mesmas
atica se reforca ainda mais, j
caractersticas daquele que est ` modelagem discreta de um g
a associado a as de eletrons [74]. Tudo
bem que, aqui, esses eletrons est es criadas por
ao presos aos vertices da rede, dado que as excitaco
um W (J,
v
K)
n
ao podem ser transportadas, exceto por um operador de teletransporte
W (J,
v0
K)
W (J,
v
K)
y y y
f g f g
Cj , vx1 v2 = Cj , v1 v2 = 0 , (8.21)
Exemplo 2: G1 = Z2 e G2 = Z3
Um outro exemplo bem interessante de ser discutido aqui e o de um QDMv que, apesar de
continuar se valendo do mesmo G1 = Z2 para moderar os seus campos de calibre, atribui os
elementos de um espaco de Hilbert que e indexado por G2 = Z3 aos vertices de R 2 . E um dos
a merecem ser apontados neste modelo e que, como a sua aca
aspectos que j o precisa ser tal que
2 (g, ) = I (g, )
em respeito as propriedades projetivas dos operadores que completam Av , a priori existem tres
es que podem defin-lo distintamente do TC, uma vez que as suas representaco
aco es matriciais
es entre os elementos
devem realizar permutaco
*. 1 +/ *. 0 +/ *. 0 +/
0 1
= ... 0 /// , = ... 1 /// e 2 = ... 0 /// (8.22)
. / . / . /
,0- ,0- ,1-
128 CAPITULO 8. MODELOS COM CAMPOS DE MATE
RIA
*. 0 1 0 +/ *. 0 0 1 +/ *. 1 0 0 +/
1 (1) = ... 1 0 0 /// , 2 (1) = ... 0 1 0 /// e 3 (1) = ... 0 0 1 /// .
. / . / . /
, 0 0 1 - , 1 0 0 - , 0 1 0 -
1 f g
Av = 1v 1a 1b 1c 1d + 1 (1) v ax bx cx dx e
2
1
Bp = 1r 1s 1t 1u + rz sz tz uz (8.23)
2
para os respectivos operadores de vertice e de face deste QDMv, sem ficar com qualquer peso na
consciencia.
Y Y
O = 1 (1) v = Av
v v
Y O O
(1) = 1 Av
*.
| 0 i
+/ *
| 0 i+ (8.24)
0
2 v , v
, j - -
8.2. PROPRIEDADES GERAIS 129
a um outro
Y O O
0 = O (1) = 1 Av
*.
| 0 i
+/ *
| 1 i+
0 0
2 v , v
, j - -
de v
acuo e vice-versa, n o O 0 que pode ser expressa como um
ao existe qualquer outra transformaca
produt
orio dos operadores (8.23) e que consiga levar o autoestado (8.49) ao outro
Y O O
(2) = 1 Av
*.
| 0 i
+/ *
| 2 i+ , (8.25)
0
2 v , v
, j - -
que tambem e de v
acuo, e vice-versa.
Embora, num primeiro momento, o leitor possa achar um pouco estranho apontar alguma
independencia entre todos esses autoestados sem o respaudo de qualquer n
ao-contratibilidade de
o ao TC, por exemplo), toda essa estranheza se
caminhos sobre R 2 (tal como fizemos em relaca
desfaz desde que lembremos de algo que j
a foi dito no Captulo 4: a degenerescencia do estado
fundamental de qualquer modelo n
ao est
a necessariamente amarrada a um aspecto topol
ogico,
` existencia de operadores que, apesar de conectarem um estado de v
mas, sim, a acuo a outro, n
ao
podem ser expressos em termos de um produt
orio dos operadores que definem o Hamiltoniano
ao. Nestes moldes, como e exatamente isso o que acontece entre os dois
do modelo em quest
autoestados (8.24) e (8.25), se torna perfeitamente possvel afirmar que eles modelam dois v
acuos
independentes, uma vez que o operador Cj e completamente incapaz de fazer qualquer tipo de
o entre os elementos de Bv . Ali
permutaca as, como ao longo dos exemplos que apresentaremos
neste captulo n
ao nos importaremos com quaisquer propriedades topol
ogicas que possam estar
associadas a R 2 , algo que essa bidigenerescencia acaba fazendo e deixando muito bem claro que
o onde as duas fases, que podem caracterizar esses dois estados de
estamos diante de uma situaca
v
acuo, parecem possuir apenas uma especie de ordem algebrica e n
ao mais topol
ogica. Voltaremos
a falar sobre isso mais adiante, mais especificamente no final deste captulo.
A obtenca
o dos operadores de aresta
( )
Cj = Cj,1 , Cj,2 , Cj,3 ,
130 CAPITULO 8. MODELOS COM CAMPOS DE MATE
RIA
cujos elementos, alem de apresentarem propriedades projetivas, devem ser ortonormais entre si e
entre aqueles que tambem figuram em
( )
Av = Av,1 , Av,2 e Bp = Bp,1 , Bp,2 .
E, uma coisa muito importante que precisamos lembrar para este fim, e que essa incapacidade de
o n
permutaca ao deve ser uma propriedade restrita apenas ao operador de aresta que comp
oe o
Hamiltoniano deste QDMv. No caso, todos os operadores que constam em Cj n
ao podem realizar
o entre os elementos (8.22): ou seja, todos esses operadores devem
qualquer tipo de permutaca
apenas comparar os campos de materia que s
ao atribudos a dois vertices adjacentes, segundo a
o do campo de calibre que est
aca a presente na aresta que conecta esses dois vertices.
algo que tambem tem grande valia junto a essa tarefa e o fato de j
a existir um conjunto de tres
projetores para os elementos (8.22): de acordo com o Apendice C, por exemplo, eles s
ao dados
especificamente por
1 1
C (0)
v = 1v + Zv + Zv2 , C (1)
v = 1v + 2
Z v + Z 2
v e
3 3
(8.26)
1
C (2)
v = ( 1v + Zv + 2 Zv2 ,
3
*. 1 0 0 +/
Z = ... 0 0 /// ,
2
. /
,0 0 -
2i
j
a que = e 3 e o gerador do grupo Z3 . No caso, os superndices que rotulam todos esses
nicos elementos que possuem autovalor n
projetores (8.26) apontam para os u ao nulo; ou seja,
C ()
v | i = ( , ) | i .
8.2. PROPRIEDADES GERAIS 131
1 1
sj(0) = 1j + jz e sj(1) = 1j jz (8.27)
2 2
e tais que
s (h)
j
| g i = ( g , h ) | g i ,
Cj,1 = C (0) (0) (0) (0) (1) (1) (1) (0) (1)
v1 s j C v2 + C v1 s j C v2 + C v1 s j C v2
J o aos demais operadores que completam Cj , eles podem ser perfeitamente obtidos
a em relaca
es, desde que notemos que a necessidade de ortonormalidade
atraves dessas mesmas consideraco
dos seus elementos nos leva a
E f g 1 E E
Cj, n , j , = h | j X n , j , , (8.29)
sendo
*. 0 0 1 +/
X = ... 1 0 0 ///
. /
, 0 1 0 -
o matricial do mesmo operador (6.11), s
a representaca o que para o caso onde n = 3. Desta
maneira, usando o mesmo raciocnio que j ao e difcil concluir que esse
a nos levou a (8.28), n
conjunto Cj se completa com
Cj,2 = C (0) (0) (2) (0) (1) (0) (1) (0) (0)
v1 s j C v2 + C v1 s j C v2 + C v1 s j C v2
Cj,3 = C (0) (0) (1) (0) (1) (2) (1) (0) (2)
v1 s j C v2 + C v1 s j C v2 + C v1 s j C v2
1 f g
Av,2 = 1v 1a 1b 1c 1d 1 (1) v ax bx cx dx . (8.31)
2
J
a para encontrar o operador de face que falta, um argumento inteiramente an
aloga tambem
se aplica aqui, o que nos leva a
1
Bp,2 = 1r 1s 1t 1u rz sz tz uz .
2
Ali
as, olhando bem para as express
oes dos operadores de aresta que constam em (8.23) e
(8.31), algo que tambem podemos ver e que elas n
ao diferem muito das express
oes dos operadores
de aresta em (8.12) e (8.17). Afinal de contas, como os campos de calibre dos dois exemplos
que apresentamos aqui s nica diferenca que existe entre os seus
ao exatamente os mesmos, a u
es bem distintas. Note que o mesmo
operadores de aresta se resume ao fato de termos duas aco
8.2. PROPRIEDADES GERAIS 133
coment
ario tambem vale para os operadores de vertice.
Relaco
es n
ao Abelianas
Uma das coisas que continuam claras aqui e que, devido a todas as similaridades que fo-
ltimos dois par
ram mencionadas nos u agrafos, os mesmos operadores (8.14) continuam sendo
respons
aveis por criar pares de quasipartculas que n
ao apenas se identificam como os mesmos
pares do TC, mas que apresentam exatamente as mesmas propriedades relacionadas ao exemplo
anterior: pois, como
vemos que
*. 1 0 0 +/
W (1,1)
v = ... 0 1 0 /// (8.33)
. /
, 0 0 1 -
que, por n
ao realizar nenhuma troca entre os elementos dispostos em (8.22), cria uma quasi-
acuo Q (1,1) ; j
partcula que e interpretavel como de v a o segundo operador e
*. 0 1 0 +/
W (1,2)
v = ... 1 0 0 /// , (8.34)
. /
, 0 0 1 -
que e exatamente o mesmo operador que j o 1 (1) deste QDMv e que, portanto,
a representa a aca
o Q (1,2) como consequencia de uma simples permutaca
consegue criar uma excitaca o
| 0 iv | 1 iv .
Apesar de parecer bastante ingenuo o que iremos dizer agora, e justamente neste momento
que precisamos destacar duas coisas. E, a primeira delas, e que as excitaco
es que s
ao criadas
ltimos operadores satisfazem um dos requisitos fundamentais que precisam ser
por esses dois u
es que tenham pretens
satisfeitos por quaisquer excitaco oes de serem vistas como quasipartculas:
elas s
ao tais que
Q (1,1) Q (1,2) = Q (1,2) Q (1,1) ; (8.35)
*. 0 0 1 +/
W (1,3)
v = ... 0 0 1 /// . (8.36)
. /
, 1 1 1 -
E e exatamente diante da u
ltima constataca
o de que
W (1,3)
v
0 = W (1,3)
v
1 = 2 e W (1,3)
v
2 = 0 + 1 + 2 (8.37)
que surge a propriedade mais importante deste modelo que adota G1 = Z2 e G2 = Z3 : como a
o
composica
*. 1 1 1 +/ *. 1 0 0 +/ *. 0 1 0 +/ *. 0 0 1 +/
W (1,3)
v W (1,3)
v = .. 1 1 1 // = .. 0 1 0 // + .. 1 0 0 // + ... 0 0 1 ///
. / . / . /
. / . / . / . /
, 1 1 3 - , 0 0 1 - , 0 0 1 - , 1 1 1 -
*. 1 0 0 +/
W (2,1)
v = ... 0 1 0 /// . (8.38)
. /
, 0 0 0 -
Pois, como
W (2,1) 0 = 0 e W (2,1) 1 = 1
136 CAPITULO 8. MODELOS COM CAMPOS DE MATE
RIA
W (2,1)
v W (2,1)
v
(1) = (1) .
0 0
Ou seja, mais uma vez, parece que estamos diante de um modelo onde quasipartculas do tipo e
podem ser perfeitamente criadas sem ser aos pares, ao menos sobre um dos estados de v
acuo. E a
ao de termos dado toda essa enfase a este ao menos sobre um dos estados de v
raz acuo e muito
simples: afinal
W (2,1) 2 = 0 W (2,1) 2 = 0 0 + 0 1 + 0 2 . (8.39)
Outro ou seja: apesar do que acabamos de dizer sobre Q (2,1) estar perfeitamente correto (j
a que
W (2,1)
v realmente nos d o como uma
a um excelente argumento para identificarmos essa excitaca
ao podemos afirmar se Q (2,1)
quasipartcula do tipo e), se nos basearmos apenas em (8.39) ainda n
corresponde, ou n
ao, a uma quasipartcula.
*. 0 0 1 +/ *. 0 0 0 +/
W (2,1)
v W (1,3)
v = ... 0 0 1 /// , ... 0 0 0 /// = W (1,3)
v W (2,1)
v (8.40)
. / . /
,0 0 0- ,1 1 0-
*. 1 0 0 +/ *. 0 1 0 +/
W (1,1)
v = ... 0 1 0 /// e W (2,2)
v = ... 1 0 0 ///
. / . /
, 0 0 0 - , 0 0 0 -
Sobre a transica
o entre os autoestados de v
acuo
No entanto, duas outras coisas interessantes tambem merecem destaque aqui. E, uma delas,
o fsico-computacional que parece existir por tr
segue justamente diante de uma interpretaca as
desta fus
ao (8.41). Afinal de contas, como cada um dos termos da soma que a define nos diz
ao entre duas quaspartculas Q (1,3) pode resultar numa quasipartcula de v
que a fus acuo Q (1,1)
ou numa quasipartcula Q (1,2) ou numa nova quasipartcula Q (1,3) com igual probabilidade (j
a que
os coeficientes desta soma s
ao todos iguais), quando fazemos uma analogia para com as regras
de fus
ao do modelo dos Fibonacci anyons [5] , fica a sugest
ao de que este exemplo de QDMv
possa atender aos prop
ositos de uma computaca antica [75]. Voltaremos a discutir brevemente
o qu
este ponto mais adiante, no final deste captulo. Todavia, a segunda coisa que merece destaque
aqui e que, se notarmos que e fisicamente razo
avel assumir que, assim como acontece com os
8.2. PROPRIEDADES GERAIS 139
nica troca
por efeito de uma u
W (1,3)
v
0 = 2
es entre os opera-
atraves de trocas, que precisam ser efetuadas usando diferentes combinaco
dores W (1,2)
v e W (1,3)
v , quando o desejo e ir de (8.25) para (8.24).
Diga-se de passagem, todo esse processo, de preencher os vertices de uma rede, que pode ser
infinita, com quasipartculas, nos mostra que um v
acuo assim concebido se parece muito com a
proposta, que foi feita por P. A. M. Dirac em 1929 [77], de que o v
acuo poderia ser interpretado
como um mar infinito de partculas.
claro que essa proposta de Dirac foi uma tentativa, bastante rudimentar, de resolver o pro-
E
blema que est o que acabou le-
a relacionado aos estados que tem energias negativas, na equaca
o do que ficou conhecido como Eletrodin
vando o seu nome [78], antes da concepca amica Qu
antica.
Porem, trata-se de uma proposta que, apesar de ser bem extravagante (por imaginar uma quan-
tidade infinita de cargas permeando todo o espaco) e de n
ao permitir calcular qualquer coisa,
sobrevive ate hoje por ilustrar intuitivamente como se d o de pares de partculas e an-
a a criaca
tipartculas no v
acuo, apesar de carregar consigo um certo preconceito por considerar que um
eletron e uma partcula real enquanto trata um p
ositron (que e a antipartcula do eletron) como
um simples buraco [79].
Tudo bem que, na epoca que Dirac apresentou essa sua ideia de v ` sociedade cientfica,
acuo a
uma diversidade de partculas ainda n
ao era conhecida, entre as quais podemos listar o neutron,
140 CAPITULO 8. MODELOS COM CAMPOS DE MATE
RIA
que s
o foi descoberto por J. Chadwick em 1932 [80, 81]. Ali
as, foi exatamente esse desconheci-
mento que o levou a acreditar, por exemplo, que um buraco neste mar poderia ser um pr
oton e n
ao
um p
ositron, que tambem era desconhecido e que s
o foi descoberto oficialmente por C. D. Anderson
em 1932 [82] 2 . No entanto, se pensarmos neste nosso QDMv, e lembrarmos mais especificamente
acuo (8.24), vemos que e completamente indiferente pensar na
do seu primeiro autoestado de v
o da sua quasipartcula Q (1,2) (que possui uma regra de fus
criaca ao que permite identific
a-la como
a sua pr
opria anti-quasipartcula)
Ou seja, estamos diante de um toy model que pode modelar uma realidade fsica que e t
ao
rudimentar quanto aquela idealizada por Dirac e pelos demais pesquisadores no incio do Seculo
XX.
Outras propriedades
| 0 iv | 1 iv , | 0 iv | 2 iv e | 1 iv | 2 iv
E E E E
Cj n , j , 2 = n , j , 2 e Cj 2 , j , n = 2 , j , n
Y
Ox = jx
j
que se vale do menor caminho dual para cercar esse aglomerado de quasipartculas, fica muito
claro (da express
ao de 1 (1) v ) que ele n
ao consegue isolar a presenca dessas quasipartculas
o isolar um aglomerado que e composto exclusivamente por Q (1,2) .
sobre a rede: o que ele faz e s
Assim, como a presenca de um aglomerado de quasipartculas Q (1,3) continua sendo perfeitamente
detect o de uma especie
avel pelas suas bordas, isso parece nos levar automaticamente a identificaca
o bastante peculiar onde o nosso sistema, apesar
de parede de domnio: ou seja, uma situaca
ao estar no seu estado fundamental, e capaz de abrigar dois nichos distintos de v
de n acuo, os
quais est
ao separados por uma parede de n
ao v
acuo que passa a funcionar como uma especie de
fronteira entre essas duas realidades.
Exemplo 3: G1 = Z2 e G2 = Z4
primeira que escolha que iremos apresentar aqui, e a aquela cuja aca
o, sobre as representaco
es
*. 1 +/ *. 0 +/ *. 0 +/ *. 0 +/
0 1 0 0
.. // .. // .. // .. //
0 = .. // , 1 = .. // , 2 = .. // e 3 = .. // (8.42)
.. 0 // .. 0 // .. 1 // .. 0 //
.. // .. // .. // .. //
g+1 (mod 4)
, se for par , e
g
g g g
1 (1) . = e 1 (1) . = (8.43)
g1 (mod 4)
, caso contr
ario ,
Primeira escolha
Ali
as, uma das coisas que j o desta aca
a ficam bem claras por decorrencia da definica o (8.43),
o dos operadores de vertice, de face e de aresta que foi feita em (8.8) e
assim como da definica
(8.10), os dois primeiros desses operadores ficam expressos respectivamente como
1 f g
Av = 1v 1a 1b 1c 1d + 1 (1) v ax bx cx dx e
2
1
Bp = 1r 1s 1t 1u + rz sz tz uz , (8.45)
2
1 1
C (0)
v = 1v + Zv + Zv2 + Zv3 , C (1)
v = 1v i Zv Zv2 + i Zv3 ,
4 4
1 1
C (2)
v = 1v Zv + Zv2 Zv3 e C (3)
v = 1v + i Zv Zv2 i Zv3 (8.46)
4 4
8.2. PROPRIEDADES GERAIS 143
funcionam como verdadeiros projetores para os elementos (8.42) 3 , o operador de aresta fica ex-
presso como
X X
X = ( h + 1 ) mod 4 h h | e Z = h | h i h h | . (8.48)
h Z4 h Z4
es que j
E uma das principais observaco a podem ser feitas a partir de todas essas express
oes
e que, mais uma vez, estamos diante de um modelo que possui um estado fundamental que e,
no mnimo, bidegenerado. No caso do primeiro autoestado de v
acuo que est
a relacionado a este
modelo, ele e dado explicitamente por
Y O O
(1) = 1 Av
*.
| 0 i
+/ *
| 0 i+ . (8.49)
0
2 v , v
, j - -
Y
O = Xv2 (8.50)
v
Y O O
(2) = O (1) = 1 Av *. | 0 i/ *
+
| 2 i+ . (8.51)
0 0
2 v v
, j - , -
Ali
as, dado que o estado fundamental deste exemplo de QDMv acabou de ser devidamente apre-
sentado, e interessante iniciarmos as buscas pelas excitaco
es deste modelo. E, uma das principais
coisas que devemos fazer diante dessa tarefa, e, por exemplo, declarar quais s
ao as express
oes dos
operadores que completam os conjuntos Av , Bp e Cj onde j
a constam os operadores que j
a est
ao re-
sumidos em (8.45) e (8.47). E, no caso, devido a toda ortogonalidade que e inerente a
`s definico
es
ao e difcil perceber que os operadores que completam os dois primeiros deles
desses conjuntos, n
s
ao
1
Av,2 = 1v 1a 1b 1c 1d 1 (1) v ax bx cx dx e
2
1
Bp,2 = 1r 1s 1t 1u rz sz tz uz ,
2
Cj,2 = C (0) (0) (3) (0) (1) (0) (1) (0) (0)
v1 s j C v2 + C v1 s j C v2 + C v1 s j C v2
Cj,3 = C (0) (0) (2) (0) (1) (3) (1) (0) (3)
v1 s j C v2 + C v1 s j C v2 + C v1 s j C v2
Cj,4 = C (0) (0) (2) (0) (1) (3) (1) (0) (3)
v1 s j C v2 + C v1 s j C v2 + C v1 s j C v2
E f g 1 E E
Cj, n , j , = h | j X n , j , . (8.52)
8.2. PROPRIEDADES GERAIS 145
Ali
as, por efeito das express
oes que comp
oem os conjuntos Av e Bp , por exemplo, umas das
coisas que j
a n ao difceis de serem percebidas e que as mesmas quasipartculas que est
ao s ao
relacionadas ao TC continuam presentes aqui. Ou seja, uma coisa que j
a era de se esperar: afinal
o deste modelo seja diferente, toda a estrutura de calibre dos modelos
de contas, por mais que a aca
anteriores continua preservada, o que nos mostra que, mais uma vez estamos diante de um modelo
onde
` express
Entretanto, devido a ao dos operadores que completam Av e Cj , tambem e bastante claro
que outras quasipartculas Q (J, K ) tambem s aveis por meio de operadores W (J,
ao cri v
K)
que agem
exclusivamente sobre os vertices de R 2 , as quais podem ser completamente distintas das do TC. E,
como os operadores que criam estas quasipartculas precisam satisfazer a
Av, J W (J,
v
K)
= W (J,
v
K)
Av,1 e Cj, K W (J,
v
K)
= W (J,
v
K)
Cj,1 , (8.53)
Excitaco
es elementares e regras de fus
ao
ltimo coment
Embora o u ario que fizemos seja verdadeiro, antes de apresentarmos as repre-
es de todos os operadores W (J,
sentaco v
K)
que seguem de (8.53), precisamos lembrar de uma coisa
que e muito importante: sempre que procuramos entender o que e uma excitaca
o ou uma quasi-
partcula em qualquer um dos nossos modelos, sempre fazemos isso analisando como elas podem
ser criadas sobre um dos autoestados de v
acuo. E, aqui, neste exemplo especfico, temos dois deles:
146 CAPITULO 8. MODELOS COM CAMPOS DE MATE
RIA
* 1 0 +/ *. z 0 +
W (1,1)
v = .. , W (2,1)
v = // ,
0 1 0 z
/ .
, - , -
* 0 x + *. 0 y +
W (1,2)
v = .. // , W (2,2)
v = // ,
x 0 y
0
.
, - , -
(8.55)
z
* 0 1 +/ * 0 +
W (1,3)
v = .. , W (2,3)
v = .. // ,
1 0 z 0
/
, - , -
*. x 0 + *. y 0 +
W (1,4)
v = . // e W (2,4)
v = . // ,
0 x 0 y
, - , -
acaba ficando bem claro que estamos diante de um conjunto de operadores que agem do mesmo
jeito sobre qualquer um dos autoestados de v es que
acuo (8.49) e (8.51), onde as representaco
8.2. PROPRIEDADES GERAIS 147
comp
oem a primeira linha correspondem aos operadores que criam respectivamente uma quasi-
partcula de v es que uma u
acuo e uma outra, que satisfaz exatamente as mesmas relaco nica do tipo
e. Ali es que se identificam como matrizes
as, devido ao fato de estarmos lidando com representaco
de Dirac, tambem acaba ficando bem claro que elas nos levam a um conjunto com regras de fus
ao
Abelianas, as quais constam na Tabela 8.4.
Propriedades eletrost
aticas
Cj , W (J, K)
W (J, K)
f g
v1 v2 = 0
e uma relaca
o v
alida.
Segunda escolha
Conforme bem dissemos no incio deste terceiro exemplo que estamos apresentando, estamos
o pode ser feita de duas maneiras diferentes. A primeira, que
diante de um modelo cuja definica
o (8.44) que e capaz de trocar todos
acabamos de apresentar, se apoia inteiramente sobre uma aca
os elementos (8.42), que est
ao dispostos sobre os vertices, da rede por algum outro. J
a a segunda
o que e
maneira, que apresentaremos a partir de agora, pode ser definida atraves de uma aca
represent
avel por
*. 0 1 0 0+
//
1 0 0 0 //
..
2 (1) = ... // . (8.56)
.. 0 0 1 0 //
. /
,0 0 0 1-
Ou seja, lembrando que 2 (1) tambem deve agir sobre os mesmos elementos (8.42), fica bem
claro que essa nova possibilidade se fundamenta sobre a troca de apenas dois desses elementos
entre si, mantendo os outros dois fixos.
1 f g
Av = 1v 1a 1b 1c 1d + 2 (1) v ax bx cx dx e
2
1 f g
Av,2 = 1v 1a 1b 1c 1d 2 (1) v ax bx cx dx .
2
Cj,2 = C (0) (0) (3) (0) (1) (0) (1) (0) (0)
v1 s j C v2 + C v1 s j C v2 + C v1 s j C v2
Cj,3 = C (0) (0) (2) (0) (1) (3) (1) (0) (3)
v1 s j C v2 + C v1 s j C v2 + C v1 s j C v2
Cj,4 = C (0) (0) (1) (0) (1) (2) (1) (0) (2)
v1 s j C v2 + C v1 s j C v2 + C v1 s j C v2
o (8.52).
haja vista a definica
Y O O
(1) = 1 Av
*.
| 0 i
+/ *
| 0 i+ (8.57)
0
2 v , v
, j - -
Y O O
(2) = 1 Av *. | 0 i/ *
+
| 2 i+ e
0
2 v v
, j - , -
Y O O
(3) = 1 Av
*.
| 0 i
+/ *
| 3 i+ . (8.58)
0
2 v , v
, j - -
oes desse 0(2) e do autoestado de
E, apesar da aparente similaridade que existe entre as express
v
acuo (8.51), convem notar que eles n
ao s
ao os mesmos. E a raz o n
ao para essa identificaca ao
ocorrer e muito simples: a aca
o 2 (1) n
ao e capaz de realizar quaisquer transico
es do tipo
|2i |3i
150 CAPITULO 8. MODELOS COM CAMPOS DE MATE
RIA
Criando as excitaco
es
claro que, sobre todos esses novos autoestados, tambem podemos criar as mesmas quasi-
E
partculas do TC que mencionamos anteriormente, cujas propriedades j
a foram exaustivamente
apresentadas. Todavia, o que e mais importante de ser destacado a partir de agora concerne,
t
ao somente, a oes dos novos operadores W (J,
`s express v
K)
que s
ao capazes de agir apenas sobre os
vertices de R 2 , as quais precisam satisfazer a
Av, J W (J,
v
K)
= W (J,
v
K)
Av,1 e Cj, K W (J,
v
K)
= W (J,
v
K)
Cj,1
para os novos operadores que completam os novos conjuntos Av e Cj . E, uma das coisas mais
`s express
convenientes que podemos mencionar para este fim, diz respeito a oes mais gerais das
matrizes que representam esses operadores W (J,
v
K)
que, no caso, s
ao dadas por
Afinal de contas, quando comparamos essas matrizes com as que constam em (8.54) fica muito
o que o modelo nos permite escolher, o conjunto de operadores que criam
claro que, para cada aca
es pode conter elementos que s
excitaco ao bastante distintos em cada caso.
* x 0+
1 (1) = .. // , (8.60)
0 1
, -
8.2. PROPRIEDADES GERAIS 151
*. x 0+ *. x 0 + * 1 0 +/
W (1;2,1)
v = // , W (1;2,2)
v = // e W (1;1,2)
v = .. (8.61)
0 0 x 0 x
. . /
1
, - , - , -
acuo 0(1) , por efeito da troca
o primeiro deles consegue excitar apenas o autoestado de v
| 0 iv | 1 iv ,
e n
ao faz nada com os demais,
enquanto o segundo faz justamente o contr acuo 0(2)
ario, excitando os dois autoestados de v
e 0(3) atraves de
| 2 iv | 3 iv ,
ao fazendo nada com 0(1) .
mas n
Por se dizer, e exatamente isso que bem justifica o fato de termos adotado uma indexaca
o ligei-
o dos operadores (8.61): como a
ramente diferente para as quasipartculas que surgem pela aca
l
ogica por tr o anterior (J, K ) nos permite representar
as da indexaca
o v
acuo, quando J = K = 1, e
o n
ao v
acuo, em qualquer caso contr
ario a esse,
quando nos valemos dos novos superndices (J; K1 , K2 ) se torna perfeitamente possvel representar
um v o, mas n
acuo que persiste apenas numa situaca ` aca
ao na outra; pois, devido a o dos opera-
152 CAPITULO 8. MODELOS COM CAMPOS DE MATE
RIA
no autoestado 0(1) , quando J = K1 = 1, e
nos autoestados 0(2) e/ou 0(3) , quando J = K2 = 1.
* 0 1 + x +
W (1;3)
v = .. // , (8.62)
1 + x 0
, -
Exemplo 4: G1 = Z4 e G2 = Z2
1
Av = 1v 1a 1b 1c 1d + vx X a X b X c3 X d3
4
1
+ 1v X a2 X b2 X c2 X d2 + vx X a3 X b3 X c X d ,
4
1
Bp = 1r 1s 1t 1u + Zr3 Z s Zt Zu3 (8.65)
4
1 2
+ Zr Z s2 Zt2 Zu2 + Zr Z s3 Zt3 Zu e
4
1
Cj = 1v1 1j 1v2 + vz1 Zj2 vz2
2
Y O O
(1) = 1 Av
*.
| 0 i
+/ *
| 0 i+ , (8.66)
0
2 v , v
, j - -
154 CAPITULO 8. MODELOS COM CAMPOS DE MATE
RIA
Y O O
(2) = O (1) = 1 Av *. | 1 i/ *
+
| 0 i+ , (8.67)
0 0
2 v v
, j - , -
atraves de um operador
Y
O = Xj (8.68)
j
que e bastante similar a (8.50), uma vez que ele: (i) age sobre todas as arestas de uma s
o vez; e
(ii) deixa bem clara a existencia de uma simetria global neste modelo, que independe da topologia
da subvariedade que R 2 discretiza.
1
Av,2 = 1v 1a 1b 1c 1d + i vx X a X b X c3 X d3
4
1
1v X a2 X b2 X c2 X d2 + i vx X a3 X b3 X c X d ,
4
1
Av,3 = 1v 1a 1b 1c 1d vx X a X b X c3 X d3
4
1
+ 1v X a2 X b2 X c2 X d2 vx X a3 X b3 X c X d e
4
1
Av,4 = 1v 1a 1b 1c 1d i vx X a X b X c3 X d3
4
1
1v X a2 X b2 X c2 X d2 i vx X a3 X b3 X c X d ;
4
1
Bp,2 = 1r 1s 1t 1u + i Zr3 Z s Zt Zu3
4
1 2
Zr Z s2 Zt2 Zu2 + i Zr Z s3 Zt3 Zu ,
4
8.2. PROPRIEDADES GERAIS 155
1
Bp,3 = 1r 1s 1t 1u Zr3 Z s Zt Zu3
4
1 2
+ Zr Z s2 Zt2 Zu2 Zr Z s3 Zt3 Zu e
4
1
Bp,4 = 1r 1s 1t 1u i Zr3 Z s Zt Zu3
4
1 2
Zr Z s2 Zt2 Zu2 i Zr Z s3 Zt3 Zu ; e
4
1
Cj,2 = 1v1 1j 1v2 vz1 Zj2 vz2 .
2
mod 4 mod 4
e g eh = e (g+h) , m g m h = m (g+h) e e g m h = (g, h) . (8.69)
nica diferenca que existe agora e que, por efeito de (6.18) nos mostrar que
Au
Z 2 X = i 2 mod 4 X Z 2 = X Z 2 ,
mod 4
Z g X h = i (gh)
Xh Zg
2 2
Z X = i 4 mod 4 X 2 Z 2 = X 2 Z 2 e
Z 2 X 3 = i 6 mod 4 X 3 Z 2 = X 3 Z 2 ,
g
Zj , Cj = 0 ;
g
o envolve os operadores Xj com g = 1, 3, uma vez que, nesta situaca
criaca o, temos
Cj Xj 0(1,2) = Xj Cj,2 0(1,2)
g g
.
J
a sobre as demais quasipartculas que s
ao concebveis neste modelo, elas surgem por efeito dos
mesmos operadores
que j ` conclus
a foram listados (com outros superndices) em (8.18), o que nos leva a ao de que
novamente estamos diante das mesmas regras de fus
ao Abelianas resumidas em (8.1).
Propriedades adicionais
Por fim, duas coisas merecem destaque neste modelo. E, a primeira delas, e que, como
Av vz Zj2 0(1,2) = vz Av,2 Zj2 0(1,2)
= vz Zj2 Av 0(1,2) = vz Zj2 0(1,2) ,
J
a a segunda coisa que merece destaque aqui diz respeito a todo esse comportamento ele-
trost
atico que sempre insistimos mencionar ao final de cada exemplo. E, no caso deste nosso exem-
plo de agora, como as quasipartculas Q (J, K ) concebveis pelos operadores (8.70) s
ao exatamente
as mesmas do Exemplo 1, as mesmas propriedades eletrost
aticas tambem se fazem presentes aqui.
Contudo, existe uma pequena ressalva que precisamos fazer: afinal de contas, como
Cj , vx Xj = Cj , vx Xj3 = 0
e uma propriedade v
alida quando v indexa um dos vertices que encerram a j-esima aresta e, por-
tanto,
Cj OvX vx 0(1,2) = OvX Cj(1) vx 0(1,2)
= OvX vx Cj 0(1,2) = OvX vx 0(1,2)
8.2. PROPRIEDADES GERAIS 157
OvX = X aM X bM X cN X dN (8.71)
que adota (M, N ) = (1, 3) ou (M, N ) = (3, 1), e imediato concluir que OvX funciona como uma
especie de isolante para as quasipartculas Q (1,2) , uma vez que nenhum dos operadores (8.65),
que agem sobre o autoestado
0 = O X x (1,2) ,
0 v v 0
conseguem detect
a-la.
8.2.2 Uma an
alise mais geral
Apesar de toda a repetitividade estrutural que, de alguma maneira, sempre se fez presente
nos exemplos deste captulo (e que, talvez, ate tenha cansado leitor), uma coisa e certa: todos eles
deixam bem claro que um QDMv e um modelo que
es, e
(i) suporta exatamente as mesmas quasipartculas de um QDM entre as suas excitaco
E, no caso dessas quasipartculas que foram herdadas do QDM, devemos fazer um importante
ao reconhecveis como e g continuam as mesmas
destaque. Afinal de contas, enquanto as que s
propriedades do QDM, o mesmo n
ao acontece em relaca `s quasipartculas dos tipos m h e (g,h) :
o a
ltimas sempre deixa um rastro que pode ser traduzido em termos energeticos,
transportar essas u
uma vez que, quanto maior e esse rastro, maior e a elevaca
o da energia do sistema, mesmo que
esse sistema continue comportando o mesmo n
umero de quasipartculas. E, a grande raz
ao disso
acontecer, e o fato do Hamiltoniano (8.1) ser composto por operadores de face e de aresta que leem
os campos de calibre do modelo da mesma maneira. E e neste sentido que podemos afirmar que,
se todos esses toys models corresponderem a sistemas fsicos de verdade, que possuam algum
es de aumento de energia ao longo desses transportes
tipo de mecanismo os protejam de situaco
es de menor energia possvel, as quasipartculas m h e (g,h)
e, portanto, os mantenham nas situaco
ser
ao confinadas.
158 CAPITULO 8. MODELOS COM CAMPOS DE MATE
RIA
Diga-se de passagem, e diante dessa caracterstica de confinamento que convem esclarecer uma
coisa que sugerimos na p
agina 138: afinal, embora alguns dos exemplos que apresentamos neste
captulo apresentem regras de fus
ao n
ao Abelianas que s `s dos modelos dos
ao bastante similares a
Fibonacci anyons [5], tudo leva a crer que esses exemplos n
ao podem ser utilizados para realizar
o qu
qualquer tipo computaca antica, ao menos do jeito que eles foram propostos. Pois, como a
o de uma computaca
realizaca o qu
antica em modelos como o QDM est
a vinculada a possibilidade
de avaliar os braids [84, 85], que s
ao formados sobre uma variedade M2 [ 0, 1 ] por decorrencia
do transporte de quasipartculas sobre M2 , e exatamente essa possibilidade que n
ao temos aqui,
a que: de um lado, as quasipartculas dos tipos mh e e (g,h) apresentam propriedades de confi-
j
namento (ou seja, elas n
ao podem ser transportadas mantendo a energia do sistema constante);
e, por outro, as quasipartculas Q (J, K ) n
ao podem ser transportadas por um operador que n
ao se
identifica com um de teletransporte, embora elas sejam perfeitamente capazes de interagir umas
com as outras.
Ali a que falamos das quasipartculas Q (J, K ) , que surgem por decorrencia dos operado-
as, j
res W (J,
v
K)
que agem exclusivamente sobre os vetores que foram previamente atribudos sobre os
vertices de R 2 , convem fazer dois coment ` capacidade ele-
arios. E, o primeiro deles, se refere a
trost o que, quando alo-
atica que algumas delas apresentam: ou seja, uma capacidade de interaca
camos duas delas sobre os vertices que pertencem a Sj , consegue reduzir a energia do sistema que
e assim formado. E no caso dessa capacidade, ela surge, t
ao somente, por decorrencia do operador
de aresta C (G
j
1,G 2 )
n
ao ser capaz de reconhecer que existem duas quasipartculas alocadas em Sj .
J
a o segundo coment ` completa incapacidade de distinca
ario que cabe fazer se refere a o que
os operadores de vertice de um QDMv possuem diante de algumas quasipartculas e g e de outras
Q (J, K ) . Ou seja, apesar de n
os termos plena ciencia de que essas quasipartculas s
ao produzidas
por operadores distintos e que, portanto, elas podem ser perfeitamente diferentes, aos olhos de
um detector elas s
ao as mesmas. E, uma das boas maneiras de entendermos como isso acontece,
o bastante hipotetica e que est
pode ser pensando numa situaca ` Fsica das partculas
a relacionada a
elementares: afinal, se os operadores de vertice A(G
v
1,G 2 )
fossem operadores capazes de medir
o que existiria
a carga eletrica de uma partcula, por exemplo, seria exatamente essa a indistinca
entre um eletron, um m
uon e um tau, caso os demais operadores que definem o modelo n
ao fossem
8.2. PROPRIEDADES GERAIS 159
o diamagn
Uma interpretaca etica
Alem de todas essas caractersticas, tambem existe uma outra, que e bem marcante e que
tambem est `s quasipartculas Q (J, K ) : uma parte delas pode ser blindada devido
a relacionada a
` aca
a o bem especfica de operadores Xjg sobre as arestas de um caminho dual
o de uma combinaca
` express
fechado que as cercam. No caso, devido a ao do operador de vertice que foi dada em
(8.8), todas as quasipartculas que podem ser criadas, sobre os vertices de R 2 , por um operador
que se identifique com um v (g), ser
ao blindadas por um operador
g g g g
X a X b Xc Xd . (8.72)
g g g g
Av = v (g) X a X b Xc Xd (8.73)
que comp
oem (8.73) individualmente. Afinal de contas, se lembrarmos que a leitura que o QDM
faz sobre as quasipartculas do tipo m h e a de que elas s
ao interpret
aveis como magneticas (o que,
` direita como o criador de um campo magnetico local
portanto, nos permite realizar o operador a
externo), quando v
arios desses operadores atuam sobre um conjunto de vertices que s
ao vizinhos,
tal como mostra a Figura 8.6, podemos ver duas coisas: (i) que o campo total no interior desse
material (que e bidimensional) se anula; e (ii) que as excitaco
es que surgem dessa atuaca
o s
o
podem ser detectadas pelos operadores de aresta. E e devido n
ao apenas a esse fato do campo total
no interior do material se anular, mas ao fato de (8.73) nos mostrar que
g g g g
X a X b Xc Xd 0 = v (g) Av 0 = v (g) 0 , (8.74)
Figura 8.6: A ` esquerda, temos o resultado que segue da aca o de quatro operadores (8.72) ao redor de quatro
vertices vizinhos da rede, mostrando que as u nicas excitaco
es (em laranja) criadas por esses operadores s
ao
aquelas detect aveis pelos operadores de aresta ao longo do contorno que separa o que e o lado de fora
(regiao em branco) do que e o lado de dentro (regi ao em azul). J aa` direita, temos exatamente a mesma
o, s
situaca tica que (8.74) nos oferece, o que deixa claro o comportamento do material
o que vista pela o
como um diamagneto perfeito, uma vez que o campo que e detect ` direita e exatamente o mesmo que
avel a
esta sendo expelido do interior desse material que e bidimensional.
No entanto, a priori s
o parece, uma vez que n
ao temos elementos suficientes para afirmar que
esse material e, de fato, um supercondutor. Afinal, se ele e um supercondutor, como e que a teoria
BCS (que foi proposta por J. Bardeen, L. N. Cooper e J. R. Schrieffer para explicar o fen
omeno
da supercondutividade [87, 88, 89]) se ajusta aos nossos modelos? Ou seja, devido a todas as
propriedades que temos em m nica coisa que podemos afirmar e que esse material e um
aos, a u
a que todo supercondutor e um diamagneto perfeito [90] embora n
diamagneto perfeito, j ao pareca
ser claro que a recproca seja verdadeira.
o supercondutiva e
Em todo caso, um resultado que parece reforcar essa possvel interpretaca
um, que est
a bem posto na literatura e que foi obtido por H. B. Nielsen e por P. Olesen em 1973,
que afirma que: qualquer supercondutor (relativstico) pode ser interpretado como um sistema de
monop
olos magneticos permanentemente confinados [91]. Nestes termos, se notarmos
que e justamente esse mesmo efeito Meissner que, por exemplo, consegue justificar todo o
confinamento, desses pares de monop
olos magneticos que foram estudados por Nielsen e
Olesen, atraves de tubos de fluxos magneticos [93],
conforme j
a bem ilustra a pr
opria Figura 8.6, toda essa equivalencia entre a submiss
ao do
o desse esboco de corrente eletrica acaba nos
material a um campo magnetico e a aparica
mostrando que todo o campo que foi induzido no interior do material e completamente ex-
pelido.
A degeneresc
encia do estado fundamental
E j o, talvez a
a que estamos falando sobre uma diversidade de coisas ao longo desta Subseca
nica coisa realmente importante que ainda falta mencionar diz respeito a
u ` degenerescencia do
estado fundamental de um QDMv que, de acordo com todos os exemplos que apresentamos ao
longo deste captulo, parece n
ao depender da topologia da variedade onde o sistema est
a definido.
Essa degenerescencia parece depender apenas de uma especie de ordem algebrica, uma vez que,
duais n ateis que podem ser formados nestes transportes em alguma topologia
ao contr
mais especfica, n
ao podem mais caracterizar qualquer autoestado de v
acuo neste modelo.
X
C (G
j
1,G 2 )
(8.75)
j
X X
0
HQDMv = A(G
v
1,G 2 )
B (G
p
1,G 2 )
v p
g g g g
X a X b Xc Xd
Figura 8.7: A` esquerda, temos um recorte da rede bidimensional que abriga um QDMv onde dois conjuntos
es foram criados pela aca
de excitaco o de dois operadores (8.72) que agem ao redor de dois vertices vizinhos.
J
aa` direita, vemos uma projecao, que esta relacionada a` situaca
o de duas quasiplacas do 3-DC que s ao
alocadas uma ao lado da outra. Note que, ambas as excitaco es (quando subjacentes) seguem a mesma lei
do permetro.
Diga-se de passagem, se notarmos que cada uma dessas quasiplacas aparecem no 3-DC por
nica aresta de R 3 , toda essa correspondencia se
efeito de um operador jx que age sobre uma u
o, que e criada pelo operador (8.72) que
completa ainda mais desde que notemos que a excitaca
age sobre quatro arestas distintas, tambem pode ser criada por um operador que age sobre um
nico vertice: afinal, basta ver que tanto (8.74) como
u
g g g g Y
v (g) X a X b Xc Xd = |G1 | Av 1v 1j
jSv
es que s
deixam muito claro que as excitaco ao produzidas pelo operador (8.72) e por um outro, que
o v (g), se comportam efetivamente como a antipartcula uma da outra.
se identifica com a aca
Desta maneira, lembrando que os diferentes v
acuos do 3-TC e do QDMv s o
ao obtidos pela alocaca
de quasiplacas e de quasipartculas Q (J, K ) , uma ao lado da outra respectivamente, e exatamente
isso que permite completar tal correspondencia conforme ilustra a Figura 8.9, atraves de uma
o um-pra-um entre
relaca
as arestas que furam as quasiplacas que, juntas, acabam formando as superfcies bidimen-
sionais que, se n
ao contr
ateis, caracterizam os diferentes v
acuos no 3-DC, e
os vertices que comportam as quasipartculas Q (J, K ) que se condensam para formar os dife-
rentes v
acuos no QDMv.
Afinal de contas, basta ver que, do mesmo jeito que as arestas da rede tridimensional do Captulo
5 funcionam como os juntores de quatro faces, os vertices da rede bidimensional que d
a suporte ao
8.2. PROPRIEDADES GERAIS 165
No entanto, s
o parece. Pois, apesar de tudo o que apresentamos no presente captulo se relacionar
a redes bidimensionais onde (6.2) vale, e quando pensamos em outras situaco
es que se envolvem
166 CAPITULO 8. MODELOS COM CAMPOS DE MATE
RIA
Figura 8.9: Na parte superior desta figura, temos um recorte da rede bidimensional R 2 que abriga um QDMv
exemplificando a situacao onde um v acuo e obtido alocando quasipartculas (pontos em violeta) sobre todos
os seus vertices. J
a na parte inferior, vemos a situacao analoga que ocorre no 3-DC em que um v acuo e
o de quasiplacas (em amarelo) ao longo da rede tridimensional R 3 que define
obtido atraves da justaposica
tal modelo, as quais acabam completando a discretizaca o de uma superfcie que est
a mergulhada em R 3 .
com essas mesmas redes (que podemos supor que discretizam uma variedade bidimensional que
e conexa, compacta e sem fronteira) que fica bem claro que o estado fundamental de um QDMv
ainda possui, sim, uma ordem topol
ogica: no caso, uma ordem topol
ogica que, do mesmo jeito que
acontece no 3-DC, se relaciona para com o segundo grupo de homologia H 2 (M2 ). E, uma dessas
es que podemos pensar, e aquela que pode ser bem entendida a partir do teorema
outras situaco
abaixo [94]:
H k (X ) = H k (K ) H k (L) .
Ou seja, se pensarmos nestes dois complexos K e L como os que discretizam duas variedades
bidimensionais disjuntas, fica bem claro que, se tivermos um QDMv que e definido sobre duas
redes bidimensionais que n
ao se comunicam, como o segundo grupo de homologia relacionado a
8.2. PROPRIEDADES GERAIS 167
o ser
esta situaca a igual a
H 2 (X ) = Z Z ,
2
dQDMv = dalg , (8.76)
n
dQDMv = dalg . . . dalg = dalg ; (8.77)
| {z }
n vezes
ou seja, dQDMv ser o da quantidade de conjuntos Z que configuram a soma direta que
a uma funca
define o segundo grupo fundamental dessa uni
ao disjunta de variedades.
20 20
5 5
10 10
10 10
Figura 8.10: Situaca o de dois toros M2(1) e M2(2) que est ao unidos por um u nico ponto q, os quais s ao
20 (1) (2)
discretizados respectivamente por duas redes R 2 e R 2 que partilham um u
20 0
nico vertice vq . Ou seja, R 2 =
R 2(1) R 2(2) e a discretizaca
o de M2(1) M2(2) tal que vq e o vertice que representa o ponto que une estes dois
toros.
do estado fundamental de um QDMv, que e definido sobre uma R 20 = R 2(1) R 2(2) , pode depender
de H 2 M2(1) M2(2) . E a raz
ao de darmos enfase a este termo pode e que essa dependencia
o acontece quando o vertice vq , que representa o ponto q que une esses dois toros, e excludo:
s
oem o Hamiltoniano (8.1) agem sobre todos os vertices de R 20 ,
ou seja, os operadores que comp
exceto sobre aquele vertice que pertence a R 2(1) R 2(2) . Desta maneira, assumindo n
ao apenas que
esse e realmente o caso, mas tendo em mente que a uni nico vertice
ao de dois complexos por um u
ltimo teorema permite demonstrar que
define um outro complexo, acaba ficando claro que este u
a degenescencia do estado fundamental de um QDMv, que e construdo sobre uma rede R 200 =
R 2(1) . . . R 2(n) que discretiza a uni
ao de n toros bidimensionais unidos dois a dois, respeitam o
mesmo esquema da Figura 8.10, e novamente dada por
n
dQDMv = dalg .
E como R 200 pode ser identificada como uma rede bidimensional que possui as mesmas condico
es
de contorno (6.2) quando n = 1 (j
a que, como n
ao haver
a um vertice partilhado, n
ao haver
a
um vertice excludo), e imediato concluir que o ordenamento top
ologico de todos os modelos que
apresentamos ao longo deste captulo n o de campos de materia: esse
ao foi destrudo pela inserca
ordenamento s
o passou a ser dependente do segundo grupo de homologia, o que s
o transparece
quando lidamos com um sistema que e definido sobre uma uni
ao de variedades bidimensionais
orient es que transcendem ao Teorema 5, por exemplo.
aveis que nos remetem a situaco
8.2. PROPRIEDADES GERAIS 169
Sobre a exist
encia das paredes de domnio
Pensando desta maneira, e nos valendo exatamente da mesma rede R 2 que deu suporte ao
QDM, a primeira coisa que deve ficar clara aqui e que, com a atribuica
o de um vetor
() ()
| i = a 0 | 0 i + . . . + a k1 | k 1 i (9.1)
aos vertices da rede dual R 2 , o espaco de Hilbert total deste novo modelo pode ser perfeitamente
identificado como
Np
HQDMf = HnNa Hk . . . Hk = HQDM Hk , (9.2)
| {z }
N p vezes
onde Hk e o subespaco que est ` p-esima face da rede, cuja base ortonormal pode ser
a associado a
expressa como B p = | i: G 2 , e onde G 2 deve ser pensado, a priori, apenas um conjunto
171
172 CAPITULO 9. DUALIDADE EM MODELOS COM MATE
RIA
u
s
t
a
d
b
c
w
Figura 9.1: Recorte da rede R 2 que da suporte ao QDMf, esbocada em concomit ` sua rede dual R 2
ancia a
(pontilhada). Aqui, os setores azul e verde ainda se referem aos mesmos j a definidos na Figura 6.1. No
entanto, o novo setor verde est ` j-esima aresta compreendida entre duas faces adjacentes que,
a associado a
agora, comporta campos de materia.
de ndices. J
a a segunda coisa que deve ficar clara aqui, e que e bem mais importante ao contexto
o, segue por efeito da correspondencia que deve existir entre as faces em R 2 (em
da dualizaca
R 2 ) e os vertices em R 2 (em R 2 ). Pois, conforme bem ilustra a Figura 9.1, ao admitirmos que a
amica de um QDMf e modelada por um operador Hamiltoniano que e expresso em termos de
din
o
uma superposica
X X X
2
G 1, G 2
G 1, G 2
G 1, G
HQDMf = A v B p D j
(9.3)
v p j
2
G 1, G 2
G 1, G 2
G 1, G
entre novos operadores de vertice A v , de face B p e de aresta D j adaptados a esta
o, e imediato entender que a existencia dessa correspondencia nos indica a existencia
nova situaca
de uma outra, entre
G 1, G2
(i) um operador Av e um operador de face B (G 1,G 2 )
dualizado,
K
p
2
G 1, G
(ii) um operador Bp o A(G
e a dualizaca 1,G 2 )
do operador de vertice que foi definido em
K
v
(8.2), e
2
G 1, G
(iii) um operador D j e o operador C (G 1,G 2 )
, que e obtido pela dualizaca
o do operador de
K
j
9.2. PROPRIEDADES GERAIS 173
(j) S M (k) S T G F T
S F S
Figura 9.2: Diagramas de Kuperberg que representam consecutivamente os operadores de aresta Av , de face
Bp e de aresta Dj que est ao relacionados a este novo modelo que se vale de campos de materia inseridos
o, T e uma aplicaca
sobre as faces de R 2 . Aqui, F e uma coaca lgebra unital e G
o capaz de estruturar uma a
e a aplicaca
o que e respons
avel por amarrar toda essa estrutura que define o operador de aresta.
f 1 = 1 ,
f 1
= f = f 1
e 1 f
f 2 = f
1
2 , (9.4)
1 o elemento inverso de
sendo 2 se comportar
, acaba deixando bem clara a necessidade de G
como um grupo [30].
a ga
g
Av d b = dg 1 gb
c cg 1
a a
Bsh d b = f ( ) ab1 c1 d, h d b
c c
Dl
= 0
0
a a0
o das componentes Avg , Bph e Dj relacionadas aos operadores de vertice, de face e de
Figura 9.3: Definica
aresta de um QDMf. Assim como no caso anterior, o smbolo deve ser interpretado como o elemento
o das componentes de aresta, temos a 0 = f a,
do subespaco de Hilbert Hk . Porem, na definica
0 =
e = .
0 1
J
a uma das outras primeiras coisas que obviamente j ` so-
a podem ser ditas aqui diz respeito a
lubilidade deste modelo. Afinal de contas, algo que tambem conseguimos demonstrar nesta mesma
o C.2 e que todos os operadores que foram definidos em (9.5) comutam uns com os outros sob
Seca
uma condicao bem especfica. Ou seja, mais uma vez estamos diante de um modelo que pode ser
sol ao apenas o seu estado fundamental 0
uvel e que, portanto, nos permite bem caracterizar n
es
atraves das relaco
2 2 2
A
G 1, G
v
0 = 0 , B
G 1, G
p
0 = 0 e D
G 1, G
0 = 0 , (9.6)
j
mas todo o seu espectro de energia: basta ver que, neste caso de solubilidade, como o subespaco
9.2. PROPRIEDADES GERAIS 175
(0)
HQDMv acuo ao qual esse 0
HQDMv de v pertence e invariante pela aca
o do projetor
Y Y Y
2
G 1, G 2
G 1, G 2
G 1, G
PQDMf = A v B p D j
, (9.7)
v p j
qualquer um dos seus estados excitados podem ser perfeitamente obtidos atraves de operadores
O : HQDMf HQDMf que anticomutam com este PQDMf .
Ali
as, j
a que acabamos de mencionar esse termo exemplos assim como a necessidade de
comparar esses dois modelos, algo que devemos destacar aqui e que todos os exemplos que apre-
sentaremos ao longo deste captulo manter
ao uma correspondencia direta para com os que j
a
o possa realmente se-
foram apresentados no captulo anterior. E, para que toda essa apresentaca
guir os mesmos moldes da anterior, uma das coisas que convem adiantar s
ao as express
oes das
es matriciais dos operadores que constam em (9.5): elas s
representaco ao dadas por
2
G 1, G 1 X
A v = X a g X b g X c g X d g ,
|G1 | g G
1
2
G 1, G 1 X g
Bp = : g) Zr g Z s g Zt g
Fp ( Zu e (9.8)
|G1 | g G
1
2
G 1, G 1 X
D j
= Xp1 Fj (
: g) Xp2 ,
2 |
|G
G2
176 CAPITULO 9. DUALIDADE EM MODELOS COM MATE
RIA
onde Fp (
: g) e Fj (
: g) s o que define o modelo. E uma
ao as matrizes que decorrem da coaca
a e autoevidente da express
coisa que j ao do operador de aresta que consta em (9.8) e que, ao
contr
ario do que acontece com o conjunto Cj do captulo anterior, agora estamos diante de uma
situac
ao que muito mais feliz, uma vez que completar o conjunto ortonormal Dj , ao qual esse
2
G 1, G
Dj pertence, passa a n
ao ser mais uma tarefa t
ao enfadonha.
claro que poderamos aproveitar este momento para j
E a discorrermos sobre outras carac-
tersticas deste QDMf. No entanto, j o de exemplos
a que o principal objetivo de toda a exposica
que sempre insistimos em fazer e justamente o de obter um melhor entendimento das proprie-
dades gerais dos nossos modelos, n
ao h
a nada mais natural do que iniciarmos toda essa nossa
o dual antes falarmos alguma coisa a mais sobre elas.
exemplificaca
2 = Z2
Exemplo 1: G1 = Z2 e G
Sendo assim, e fazendo um bom uso da mesma receita que seguimos no captulo anterior,
a apresentado aqui e aquele que mantem uma correspondencia direta
o primeiro exemplo que ser
para com o primeiro que demos de QDMv: ou seja, um QDMf que se apoia sobre um grupo de
2 = Z2 . E, neste caso, a
calibre G1 = Z2 e sobre um outro de materia G unica escolha de
f : Z2 Z2 que nos leva a um QDMf razoavelmente distinto de um QDM, e aquela onde os
operadores de vertice, de face e de aresta s
ao dados respectivamente como
1
Av = 1a 1b 1c 1d + ax bx cx dx ,
2
1
Bp = 1p 1r 1s 1t 1u + pz rz sz tz uz e (9.9)
2
1
Dj = 1p1 1j 1p2 + px1 jx px2 .
2
Y Y O O
0 = Av Dj *. |0i/ .
+ *
|0i/
+ . (9.10)
v j , j - , p -
9.2. PROPRIEDADES GERAIS 177
Excitaco
es elementares e regras de fus
ao
Ali
as, diante da express
ao dos operadores que est
ao resumidos em (9.9), e principalmente
diante das express
oes dos operadores
1
Av,2 = 1a 1b 1c 1d ax bx cx dx ,
2
1
Bp,2 = 1p 1r 1s 1t 1u pz rz sz tz uz e
2
1
Dj,2 = 1p1 1j 1p2 px1 jx px2
2
j
a mencionados em (8.14): elas s
ao exatamente as mesmas do TC, j
a que elas surgem pelas
m
aos dos mesmos operadores (4.5) e, portanto, satisfazem as mesmas regras de fus
ao (4.38).
Todavia, existe uma pequena diferenca aqui. Pois, ao contr
ario do que acontece no QDMv que
parece manter uma correspondencia dual para com esse exemplo, agora s
ao as quasipartculas do
tipo m que podem ser movidas ao longo de R 2 sem causar qualquer custo energetico ao sistema:
nicas quasipartculas que ser
as u ao confinadas neste exemplo (caso exista algum mecanismo que
faca com que o sistema permaneca no estado de menor energia possvel) ser
ao as do tipo e e, por
consequencia, aquelas do tipo .
(J,
Bp, J W p
K) (J,
= W p
K)
Bp,1 e (J,
Dj, K W p
K) (J,
= W p
K)
Dj,1 . (9.11)
(1,1)
W p = 1p , (1,2)
W p = pz , (2,1)
W p = px (2,2)
e W p
y
= p , (9.12)
178 CAPITULO 9. DUALIDADE EM MODELOS COM MATE
RIA
Tabela 9.1: Regras de fus ao que estao associadas a`s quasipartculas Q (J, K ) , criadas por operadores Q (J,
p
K)
que agem exclusivamente sobre as faces de R 2 , neste QDMf que se vale de um grupo de calibre G1 = Z2 e
2 = Z2 . Note a similaridade destas regras para com as que constam na Tabela 8.1.
de outro de materia G
Propriedades adicionais
e uma relaca
o v
alida quando p indexa uma das faces que partilham a j-esima aresta, podemos
afirmar que a quasipartcula Q (2,1) , que e produzida por px sobre a face em quest
ao, se comporta
efetivamente como uma do tipo m, porem como uma do tipo m que n
ao pode ser transportada.
as, e exatamente por causa desse comportamento efetivo que, analogamente ao que fizemos no
Ali
es Q (J, K ) como quasipartculas.
captulo anterior, interpretamos todas as excitaco
J o a
a em relaca `s quasipartculas de n acuo Q (1,2) e Q (2,2) que podem ser produzidas pelos
ao v
ao ser possvel reconhece-las como aquelas do TC, e
outros operadores em (9.12), apesar de n
possvel afirmar que elas possuem duas propriedades bem interessantes e bem familiares. E a
primeira delas e que essas quasipartculas s
ao capazes de interagir entre si por meio de algum
potencial que e bastante similar a um eletrost `
atico. Afinal, embora o autoestado relacionado a
nica Q (1,2) ou Q (2,2) tenha uma energia igual a 4 ou 5 respectivamente, um
presenca de uma u
sistema que contem apenas duas delas pode n ` soma de
ao ter uma energia necessariamente igual a
o eletrost
duas energias elementares. E, para que toda essa situaca atica realmente transpareca,
basta apenas que essas quasipartculas sejam alocadas sobre o conjunto de vertices duais Sj =
9.2. PROPRIEDADES GERAIS 179
p1 , p2 a uma aresta j, desde que
y y y
Dj , p1 p2 = Dj , p1 pz2 = Dj , pz1 pz2 = 0 . (9.13)
Y
Oz = jz (9.14)
j
que e capaz de agir sobre o estado fundamental (9.10), onde e um caminho fechado que e
composto por arestas de R 2 . Pois, apesar deste operador n
ao ser composto por qualquer um dos
operadores (9.12), e devido
` propriedade de comutaca
(i) a o
y y y
D j , p1 p2 = Dj , p1 pz2 = Dj , pz1 pz2 = 0 , e
(ii) ao fato de Oz n
ao apenas comutar com Bp , mas de agir sobre arestas que, duas a duas,
partilham um mesmo vertice,
que e imediato perceber que o mesmo estado fundamental (9.10) pode ser reobtido, desde que
aloquemos uma quasipartcula Q (1,2) em cada face que consta na a
rea que e limitada por . Ou
seja, tal como j ltimo captulo, mais uma vez nos
a aconteceu nos exemplos apresentados no u
deparamos com a presenca de um operador Oz que, por ser capaz de blindar as quasipartculas
Q (1,2) de qualquer um dos operadores que comp
oem o Hamiltoniano (9.9), pode ser interpretado
como uma especie de isolante.
2 = Z3
Exemplo 2: G1 = Z2 e G
o deste exemplo
Talvez seja exatamente neste ponto, onde acabamos de findar a apresentaca
2 = Z2 , que o leitor esteja se perguntando sobre o porque de ainda n
onde G1 = G ao termos dito
nada sobre os termos
unica escolha e razoavelmente distinto que foram usados h
a algumas
p
aginas. E a raz
ao para termos esperado chegar ate aqui para falar sobre esses termos, neste
o do exemplo de um QDMf que parece manter uma
ponto onde o leitor espera pela apresentaca
180 CAPITULO 9. DUALIDADE EM MODELOS COM MATE
RIA
correspondencia direta para com o QDMv que adota G1 = Z2 e G2 = Z3 , e muito simples: afinal,
o, que adote um
ao existe um QDMf, que seja construdo por meio deste esquema de dualizaca
n
2 = Z3 e que ainda se valha de um homomorfismo
grupo de calibre G1 = Z2 , um de materia G
f : Z3 Z2 que n nico QDMf que e construtvel nestes
ao se identifique com o trivial; no caso, o u
moldes e aquele cujos conjuntos Av , Bp e Dj se completam com os respectivos operadores
1
Av = 1a 1b 1c 1d + ax bx cx dx ,
2
1
Av,2 = 1a 1b 1c 1d ax bx cx dx ,
2
1
Bp = 1p 1r 1s 1t 1u + 1p rz sz tz uz ,
2
1
Bp,2 = 1p 1r 1s 1t 1u 1p rz sz tz uz , (9.15)
2
1
Dj = 1p1 1j 1p2 + Xp1 1j Xp22 + Xp21 1j Xp2 ,
2
1
Dj,2 = 1p1 1j 1p2 + i Xp1 1j Xp22 i Xp21 1j Xp2 e
2
1
Dj,3 = 1p1 1j 1p2 i Xp1 1j Xp22 + i Xp21 1j Xp2 .
2
Embora todos esses operadores possam, de fato, configurar um QDMf onde um estado funda-
es podem ser muito bem definidos, o resultado disso tudo n
mental e excitaco ao e nada interessante
osito e interpretar este modelo como um que comporte campos de materia que sejam
se o prop
`s
capazes de interagir uns com os outros atraves de campos de calibre. Afinal de contas, devido a
express
oes de todos esses operadores, todos esses campos de calibre e de materia s
ao completa-
es que sejam detect
mente cegos uns para os outros: ou seja, quaisquer excitaco aveis pelos opera-
dores de vertice ou de face n
ao s aveis por um operador de aresta, e vice-versa. E esse e o
ao detect
grande motivo que est
a por tr
as do uso dos termos
unica escolha e razoavelmente distinto no
a, a outra escolha que tambem poderamos ter feito para o homomorfismo f e
exemplo anterior: l
a trivial; s ao nos remete a um QDMf que e
o que, assim como acontece aqui, essa escolha trivial n
t
ao interessante quanto o que apresentamos anteriormente.
Se bem que, conforme discutiremos melhor mais adiante, mais especificamente no final deste
captulo, existe um aspecto interessante que est
a relacionado a este modelo: pois, devido ao fato
9.2. PROPRIEDADES GERAIS 181
f = e
() 1 Y Y O O
0
= Av D j
*.
| 0 i
+/ *.
|0i/ |
+ ip0
2 v j j p,p0
, - , -
corresponder
ao ao v
acuo, haja vista que n o, que seja composta por
ao existe nenhuma transformaca
um produt
orio entre os operadores (9.15), que leve de um autoestado de v
acuo a outro. Ou seja,
estamos diante de um modelo que, apesar de n
ao ser muito interessante, deixa muito bem claro
que o seu estado fundamental possui uma degenerescencia que e igual a ordem do n
ucleo de f .
2 = Z4
Exemplo 3: G1 = Z2 e G
` construca
Dando sequencia a o desse paralelismo entre os exemplos deste captulo para com
os do anterior, o terceiro exemplo que precisamos apresentar agora e aquele que se vale de um
2 = Z4 . E o primeiro destaque que j
G1 = Z2 e de um G a podemos fazer aqui sobre este QDMf e
o F (
que, como a sua coaca ) =
f (
) deve ser tal que
para que este modelo seja fisicamente mais interessante que o que foi apresentado no exemplo
anterior, os operadores de vertice, de face e de aresta que comp
oem o seu Hamiltoniano s
ao dados
respectivamente por
1
Av = 1a 1b 1c 1d + ax bx cx dx ,
2
1
Bp = 1p 1r 1s 1t 1u + Zp2 rz sz tz uz e (9.17)
2
1
Dj = 1p1 1j 1p2 + Xp1 jx Xp32 + Xp21 1j Xp22 + Xp31 jx Xp2 ,
4
autoestado de v
acuo
Y Y O O
(1) = 1 Av D j
*.
| 0 i
+/ *.
|0i/
+ (9.18)
0
2 v j , j - , p -
ao e u
n nico: afinal de contas, um autoestado
Y Y O O
(2) = O (1) = 1 Av Dj *. |0i/ .
+ *
| 0 i / | 2 ip0
+ , (9.19)
0 0
2 v j , j - , p,p0 -
Excitaco
es elementares e regras de fus
ao
1
Av,2 = 1a 1b 1c 1d ax bx cx dx ,
2
1
Bp,2 = 1p 1r 1s 1t 1u Zp2 rz sz tz uz ,
2
1
Dj,2 = 1p1 1j 1p2 + i Xp1 jx Xp32 Xp21 1j Xp22 i Xp31 jx Xp2
4
1
Dj,3 = 1p1 1j 1p2 Xp1 jx Xp32 + Xp21 1j Xp22 Xp31 jx Xp2 e
4
9.2. PROPRIEDADES GERAIS 183
1
Dj,4 = 1p1 1j 1p2 i Xp1 jx Xp32 Xp21 1j Xp22 + i Xp31 jx Xp2 ,
4
Dj jx 0(1,2) = jx Dj 0(1,2) e Dj jz 0(1,2) = jz Dj,3 0(1,2) .
(1,1)
W p = a11 1p + b11 Xp2 (1,2)
, W p = a12 Zp3 + b12 Xp2 Zp3
(1,3)
W p = a13 Zp2 + b13 Xp2 Zp2 (1,4)
, W p = a14 Zp + b14 Xp2 Zp , (9.20)
(2,1)
W p = a21 Xp3 + b21 Xp (2,2)
, W p = a22 Xp3 Zp3 + b22 Xp Zp3 ,
(2,3)
W p
(2,4)
= a23 Xp3 Zp2 + b23 Xp Zp2 e W p = a24 Xp3 Zp + b24 Xp Zp ,
es de comutaca
fica claro, das relaco o (6.18) que existem entre os operadores X e Z que j
a foram
definidos em (8.48), que todos estes operadores est ` criaca
ao relacionados a o de quasipartculas
que completam um quadro cujas regras de fus
ao Abelianas est
ao presentes na Tabela 9.2. Ali
as,
para entender isso, basta tomar (a J K , bJ K ) = (1, 0) ou (a J K , bJ K ) = (0, 1), por exemplo.
Propriedades adicionais
claro que, alem deste quadro Abeliano, tambem vale frisar que todas essas quasipartculas
E
apresentam caractersticas que s
ao bem familiares. Afinal, quando olhamos para a quasipartcula
(2,1)
Q (2,1) que e produzida pelo operador W p , e imediato perceber que ela tambem se comporta
184 CAPITULO 9. DUALIDADE EM MODELOS COM MATE
RIA
Bp X 2a+1
p jx 0(1,2) = X 2a+1
p Bp,2 jx 0(1,2)
= X 2a+1
p jx Bp 0(1,2) = X 2a+1
p jx 0(1,2)
e uma relaca
o v
alida quando a = 0 ou a = 1.
J o ao comportamento eletrost
a em relaca atico que est
a presente nos outros exemplos, ele
tambem se faz presente aqui: pois, quando duas quasipartculas identicas Q (J, K ) s
ao produzi-
(J,
das sobre os vertices do conjunto Sj = p1 , p2 , por operadores W p
K)
que apresentam alguma
dependencia dos operadores X g , temos
(1,2)
Dj (J,
W p1
K) (J,
W p2
K)
0 = Dj 0(1,2) .
No entanto, o que e importante de mencionar sobre toda essa eletrostaticidade e que parte dela
tambem pode ser blindada pelo operador (9.14). E, devido a presenca do termo
Zp2 rz sz tz uz
Oz = rz sz tz uz
9.2. PROPRIEDADES GERAIS 185
vale para o menor caminho que cerca o vertice sobre o qual esta quasipartcula e produzida e,
portanto,
Av , Oz Zp2 = Bp , Oz Zp2 = Dj , Oz Zp2 = 0 .
2 = Z2
Exemplo 4: G1 = Z4 e G
Apenas para completar essa leva de exemplos, cabe apresentar um QDMf onde G1 = Z4 e
2 = Z2 . E, apesar deste ser exemplo estar numa situaca
G o oposta a do anterior, tudo aqui e
bastante similar ao QDMv que se apoia sobre um G1 = Z4 e um G2 = Z2 . E a raz
ao de toda essa
similaridade e que todas as coaco
es que podem ser definidas aqui (e que s
ao distintas da trivial)
`quela que adota f : Z2 Z2 Z4 como uma identidade, o que leva aos respectivos
equivalem a
operadores de vertice, de face e de aresta
1
Av = 1a 1b 1c 1d + X a X b X c3 X d3
4
1
+ X a2 X b2 X c2 X d2 + X a3 X b3 X c X d
4
1
Bp = 1p 1r 1s 1t 1u + pz Zr3 Z s Zt Zu3 (9.21)
4
1
+ 1p Zr2 Z s2 Zt2 Zu2 + pz Zr Z s3 Zt3 Zu e
4
1
Dj = 1p1 1j 1p2 + px1 Xj2 px2 .
2
o ao u
Entretanto, apesar da flagrante opositividade que este exemplo apresenta em relaca ltimo,
vale notar que estamos novamente diante de um modelo que e bidegenerado, j
a que
Y Y O O
(1) = 1 Av D j
*.
| 0 i
+/ *.
|0i/
+ e (9.22)
0
2 v j , j - , p -
1 Y Y O O
(2)
0
= O 0(1) = Av Dj *. |1i/ .
+ *
|0i/
+
2 v j , j - , p -
Excitaco
es elementares e regras de fus
ao
1
Av,2 = 1a 1b 1c 1d + i X a X b X c3 X d3
4
1 2
X a X b2 X c2 X d2 + i X a3 X b3 X c X d ,
4
1
Av,3 = 1a 1b 1c 1d X a X b X c3 X d3
4
1 2
+ X a X b2 X c2 X d2 X a3 X b3 X c X d ,
4
1
Av,4 = 1a 1b 1c 1d i X a X b X c3 X d3
4
1 2
X a X b2 X c2 X d2 i X a3 X b3 X c X d ,
4
1
Bp,2 = 1p 1r 1s 1t 1u + i pz Zr3 Z s Zt Zu3
4
1
1p Zr2 Z s2 Zt2 Zu2 + i pz Zr Z s3 Zt3 Zu ,
4
1
Bp,3 = 1p 1r 1s 1t 1u pz Zr3 Z s Zt Zu3
4
1
+ 1p Zr2 Z s2 Zt2 Zu2 pz Zr Z s3 Zt3 Zu ,
4
1
Bp,4 = 1p 1r 1s 1t 1u i pz Zr3 Z s Zt Zu3
4
1
1p Zr2 Z s2 Zt2 Zu2 i pz Zr Z s3 Zt3 Zu e
4
9.2. PROPRIEDADES GERAIS 187
1
Dj,2 = 1p1 1j 1p2 px1 Xj2 px2
2
Z X 2 = i 2 mod 4 X Z 2 = X 2 Z ,
mod 4
Z g X h = i (gh)
Xh Zg
2 2
Z X = i 4 mod 4 X 2 Z 2 = X 2 Z 2 e
Z 3 X 2 = i 6 mod 4 X 3 Z 2 = X 2 Z 3 ,
Dj Zj2 0(1,2) = Zj2 Dj 0(1,2) = Zj2 0(1,2) .
(1,1)
W p = 1v , (1,2)
W p = pz , (3,1)
W p = px (3,2)
e W p
y
= p
que j
a foram listados em (9.12). Ou seja, estamos novamente diante de um modelo cujas quasi-
partculas Q (J, K ) apresentam as mesmas regras de fus
ao Abelianas que est
ao resumidas na Tabela
9.1.
1
ao seja propriamente produzida por um Zj2 , mas sim por um Xjh Zj2 , e o fato de
Embora a quasipartcula (2,h) n
Xjh comutar com Dj que completa este raciocnio e que, portanto, implica que (2,h) n
ao e confin
avel.
188 CAPITULO 9. DUALIDADE EM MODELOS COM MATE
RIA
Propriedades adicionais
Bp px Xj2 0(1,2) = px Bv,3 Xj2 0(1,2)
= px Xj2 Bp 0(1,2) = px Xj2 0(1,2) ;
J
a o segundo destaque que precisamos fazer aqui est
a relacionado ao comportamento ele-
atico de parte destas quasipartculas. E, apesar de bem sabermos que as quasipartculas Q (J, K )
trost
s
ao exatamente as mesmas do Exemplo 1 e que, portanto, as mesmas propriedades eletrost
aticas
de l
a s nica ressalva que precisamos fazer sobre este aspecto
ao exatamente as mesmas daqui, a u
eletrost o
atico se envolve para com a relaca
Dj , pz Zj = Dj , pz Zj3 = 0 .
Dj OpZ pz 0(1,2) = OpZ Dj,2 pz 0(1,2)
= OpZ pz Dj 0(1,2) = OpZ pz 0(1,2) ,
onde temos
OpZ = ZrM Z sN ZtN ZuM (9.24)
com (M, N ) assumindo valores que podem ser apenas iguais a (1, 3) ou (3, 1), e imediato concluir
nica excitaca
que este OpZ cancela os efeitos de uma u o criada por pz . Ou seja, do mesmo jeito que
um operador OvX consegue blindar uma quasipartcula Q (1,2) no QDMv que parece ser correspon-
dente a este, o operador OpZ tambem se comporta como uma especie de isolante da quasipartcula
Q (1,2) .
9.2. PROPRIEDADES GERAIS 189
(b.1) duas quasipartculas Q (J, K ) se submetem a algum potencial que e bastante similar a um ele-
trost
atico, e
num QDMf n
os temos
(b.2) quasipartculas Q (J, K ) que se submetem a algum potencial que tambem e similar ao ele-
trost
atico, e
claro que outras propriedades tambem podem ser apontadas aqui, reforcando ainda mais
E
todo esse quadro dual, tais como: (i) a estaticidade de quasipartculas que s
ao produzidas sobre
os vertices duais, as quais se comportam efetivamente como as mesmas do QDM; e (ii) o fato
da degenerescencia do seu estado fundamental tambem seguir uma especie de ordem algebrica.
No entanto, apesar de tambem ser perfeitamente v o do confinamento das
alido pensar na situaca
quasipartculas do tipo e g em termos de um efeito Meissner dual, e quando notamos que essas
mesmas quasipartculas s
ao interpret ` luz do QDM como eletricas que e imediato perceber
aveis a
ao confinadas dentro de um sistema e o mesmo que dizer este
que dizer que essas quasipartculas est
material funciona literalmente como um isolante: ou seja, assumindo que o sistema que e descrito
por um QDMf corresponde a um sistema fsico onde e g , por exemplo, cumpre um papel an
alogo
190 CAPITULO 9. DUALIDADE EM MODELOS COM MATE
RIA
ao de um eletron, podemos dizer que este sistema pode ser reconhecido como um isolante eletrico
(uma vez que tal material n
ao favorece o movimento destas partculas), o que s
o vem a reforcar
o do material que o QDMv representa como um supercondutor (j
uma possvel caracterizaca a que o
QDMf nada mais e do que a dualizaca
o desse primeiro modelo).
Entretanto, existe pelo menos dois pontos que parecem ruir qualquer chance de termos uma
dualidade plena entre um QDMv e um QDMf. E o primeiro deles e o simples fato de que, como
f e um homomorfismo, n 2 = Z3 que
ao somos capazes de construir um QDMf com G1 = Z2 e G
seja diferente de um trivial, conforme j
a bem observamos entre as p
aginas 179 e 181. Falaremos
mais sobre isso daqui a pouco, j
a que as coisas que se envolvem com esses homomorfismos tambem
merecem um destaque no que tange a degenerescencia dos estados fundamentais de um QDMf.
J
a o segundo ponto que podemos apontar nesta aparente runa est
a diretamente relacionado
o dos operadores de aresta de ambos os modelos: afinal de contas, enquanto
para com a definica
o operador de aresta C (G
j
1,G 2 )
de um QDMv se comporta como um comparador (ou seja, como um
operador que e capaz de verificar
o qu
ao alinhados est
ao dois campos de materia adjacentes), o
2
G 1, G
operador de aresta D j de um QDMf parece fazer alguma coisa que est
a bem longe de ser uma
o, e que mais se assemelha com uma especie de transformaca
comparaca o de calibre.
2
G 1, G
Embora n
ao seja nada incorreto pensar que este operador D j
possa estar associado a
o de calibre, uma das melhores maneiras de entendermos o que ele
algum tipo de transformaca
realmente faz e verificando como ele age sobre uma base diagonal. E, para isso, alem de termos
em mente que
1 X
, g , =
Dj , f ( ) g , 1
, (9.25)
2
G
2
G
E (p) 1 X
j = U = j (
) |
i e (9.26)
j 2
G
G 2
1 X
()j
| gk i = Uk | g i = k g 1 | g i ,
|G1 | g G
1
onde k (g) e j (
) s
ao os respectivos caracteres que est `s representaco
ao relacionados a es dos
2 . Afinal, como a substituica
grupos G1 e G o das express
oes (9.26) em (9.25) j
a consegue nos
9.2. PROPRIEDADES GERAIS 191
mostrar que
1 X
j , gk , l
Dj = j , gk , l
j ( ) k ( f ( )) l ( ) (9.27)
2
G
2
G
1 X G X
= [ k f ] (
) j ( ) l ( ) ( ) j , gk , l ,
2 2 G
G
2 G2
onde k f
e a transformada de Fourier de k f [95], e o fato dos caracteres do u
ltimo somat
orio
F
1 X G * 1
X
j , gk , l =
Dj [ k f ] ( ) . j , gk , l
{ j,l } ( ) ( ) +/
2
G 2
G
G2 , 2
G -
1 X
= [ G
k f ] ( ) { j,l } , j , gk , l = [ G k f ] ({ j, l})
j , gk , l .
2
G
G 2
2 (nos casos
Nestes termos, apesar da forma exata do ndice { j, l} depender da natureza do grupo G
mais gerais), e possvel concluir que o operador de aresta tambem pode ser visto como um operador
que compara os campos de materia, mas que faz isso de um jeito diferente que s
o transparece
quando ele atua sobre uma base diagonal: e esse jeito diferente se apoia sobre a dualidade de
Pontryagin, que garante que existe uma correspondencia um-pra-um entre os caracteres j e os
2 [96].
elementos de G
Sobre a degeneresc
encia do estado fundamental
de uma degenerescencia que decorre da topologia e que, assim como acontece no QDM, est
a
`s curvas fechadas e n
associada a ao contr
ateis da variedade bidimensional M2 sobre a qual o
sistema est
a definido; e
j
a que todos os elementos que pertencem ao n
ucleo de f fazem com que a falsa holonomia
h 0 = f ab1 c1 d = f h ,
que e medida pelo operador de face que foi definido pela Figura 9.3, realmente corresponda a
` ver-
o muito importante que se baseia na seguinte
dadeira h. E, diante disso, cabe fazer uma observaca
9.2. PROPRIEDADES GERAIS 193
f x = kx , (9.28)
umero natural que assume valores distintos de zero se, e somente se, n for um n
onde k e um n umero
natural divisvel pelos distintos km n
ao nulos.
X X X
HQDMf = A(G
v
1,e)
B (G
p
1,e)
D (G
j
1,e)
v p j
X X X
= A(G
v
1)
B (G
p
1)
1 j = HQDM + cte .
v p j
J
a o segundo desdobramento que segue desta express
ao geral (9.28) est `s situa-
a relacionado a
es onde m e n n
co ao s
ao dois primos entre si. Pois, como o n
umero zero n
ao ser nico divisor
aou
es, teremos mais opco
de m e n nestas situaco es para definir esse homomorfismo entre Zm e Zn
do que s
o aquela p
oe todos os elementos de Zm no n
ucleo de f . E como a quantidade desses
homomorfismos e exatamente igual a quantidade de modelos que podem ser definidos, isso acaba
nos dizendo duas coisas:
n
umeros k, que fazem com que km seja um divisor de n, vai aumentando.
(m,n, k )
dQDMf = ker f k | Zn / Im f k | ,
An
alise final
195
Captulo 10
Um coment
ario de categoria
Apesar de parecer bastante ingenuo o que iremos falar agora, uma das boas pistas que te-
o de que esta
mos para comecar a responder a esses questionamentos surge a partir da constataca
o se completa com o uso de um homomorfismo f que
dualizaca
E o que caracteriza explicitamente esta suposta ingenuidade e o simples fato de que existe a
possibilidade de vermos este homomorfismo como aquele que, por exemplo, define um m
odulo
2 G
o . : G 1 G
cruzado: ou seja, um homorfismo que, junto com uma aca 2 , respeita duas
197
198
CAPITULO 10. UM COMENTARIO DE CATEGORIA
es
condico
f(g . ) g 1
) = g f( e ) . =
f(
1 , (10.1)
) = f(
f(g . ) e ) . = .
f( (10.2)
Certamente o leitor mais atento a tudo que fizemos ao longo destas notas pode perfeitamente
o, onde um
responder que realizar f como tal homomorfismo nos leva a uma nova generalizaca
QDMf pode ser recuperado como um caso particular de um modelo mais geral, em respeito ao
mesmo princpio da correspondencia que permite recuperar um QDM como um caso particular
tanto de um QDMf como de um QDMv. E certamente o leitor que responde a este questionamento,
usando esta linha de raciocnio, n
ao est
a errado. Entretanto, conforme ficar
a bem claro do que
diremos nas pr
oximas linhas, existe um algo a mais que est
a por tr o; e esse
as desta realizaca
` luz das chamadas teorias de calibre discretas com
algo a mais pode ser muito bem entendido a
ordem alta (HLGT)1 [100].
Ali
as, a melhor maneira de entendermos o que s
ao essas teorias de calibre discretas com ordem
alta e desmontando o termo: ou seja, analisando por partes o que significa dizer (i) que uma
teoria discreta e de calibre e (ii) que ela possui uma ordem alta. E, como a primeira parte
deste entendimento parece j nica coisa que parece
a ter sido bem feita ao longo do Captulo 2, a u
realmente faltar e entender o porque do predicado ordem alta.
uma Ciencia que, apesar das suas diversas teorias, possui uma base que e completamente expe-
rimental) e aquilo que define uma das partes mais abstratas da Matem
atica (a qual, conforme j
a
bem dissemos, n
ao possui qualquer compromisso para com a realidade que nos cerca), o grande
motivo que fundamenta o uso do predicado ordem alta nestas teorias de calibre discretas e um
o: essas teorias se valem de toda uma estrutura que e oferecida pela teoria das categorias [101],
s
mais especificamente por aquelas categorias que s
ao consideradas como de ordem alta. E, para
entender como tudo isso funciona, e muito importante termos em mente o que e uma categoria.
Em linhas bem gerais, podemos dizer que uma categoria nada mais e do que uma especie de
o do conceito de conjunto: ou seja, nela os grandes protagonistas n
abstraca ao s
ao vistos sim-
plesmente como conjuntos, mas como objetos que se relacionam uns com os outros atraves de
morfismos. S
o que, apesar de ser perfeitamente possvel fazer um paralelismo entre
uma vez que conjuntos realmente se enquadram como os objetos de uma categoria, o nvel de
o por tr
abstraca o de uma categoria e t
as da definica ao maior que, por exemplo, os pr
oprios morfis-
mos que definem uma categoria tambem podem ser perfeitamente interpretados como os objetos
de uma outra categoria: no caso, como os objetos de uma 2-categoria, os quais se relacionam, uns
com os outros, por meio de novos morfismos. E como e todo esse processo recursivo que acaba
permitindo definir uma n-categoria (ou seja, uma categoria com ordem n, onde os seus objetos
podem ser interpretados como os morfismos de uma categoria com ordem n 1) de uma forma
bastante natural, e exatamente ele que nos leva a
` definica
o de uma categoria com ordem alta: em
` definica
outras palavras, a o de uma categoria que entre os seus objetos est
ao os morfismos de uma
outra categoria, que entre os seus objetos est
ao os morfismos de uma outra categoria, e assim por
diante.
claro que o nosso objetivo aqui n
E ao e o de passar ao leitor todos os pormenores que se
ao. Contudo, e
envolvem para com a teoria das categorias, tenham elas uma ordem alta ou n
quando olhamos para uma 2-categoria, mais especificamente para a teoria de calibre discreta com
ordem 2 (2-LGTs) que essa 2-categoria permite definir, e que comeca a ficar bem clara a conex
ao
200
CAPITULO 10. UM COMENTARIO DE CATEGORIA
disso tudo para com o nosso QDMf. Pois, como a melhor maneira de entendermos o que e uma
categoria e atraves do ponto de vista diagram
atico que consta na Figura 10.1, onde
cada uma das suas setas representa um morfismo que existe entre dois objetos,
uma 2-categoria pode ser perfeitamente entendida atraves dos diagramas que constam na Figura
10.2, os quais contam com um ingrediente a mais:
ao exatamente esses diagramas que comecam a apontar para uma realidade que e bastante
E s
familiar. Afinal, como
o da Figura
todos os morfismos que definem uma 2-categoria seguem as regras de composica
10.3, as quais s
ao expressas algebricamente como
10
1 v h 20
2 v = 1 h
2 v 10 h
20 ,
onde h e v s
ao os dois funtores que s
ao respons es horizontais e verti-
aveis pelas composico
cais respectivamente,
10.2. TEORIAS DE CALIBRE COM ORDEM ALTA 201
e diante do fato da Figura 10.1 nos mostrar que esses morfismos identidades tambem podem ser
o entre outros morfismos que fica bem clara toda a similaridade entre
vistos como uma composica
o que define uma 2-categoria e a da que, por exemplo, se envolve para com os campos
a composica
das teorias de calibre discretas apresentadas no Captulo 2. Mas, para que isso se torne evidente,
o bem particular, onde todos esses morfismos s
precisamos considerar uma situaca ao elementos
o onde todos os morfismos, que s
de um grupo: ou seja, uma situaca ao representados pelas setas
simples, s
ao elementos de um grupo G1 , enquanto todos os que s
ao representados por setas duplas
2 ; afinal de contas, vale notar que grupos e todos os seus homomorfismos
pertencem a um grupo G
realmente configuram um bom exemplo de categoria [102].
as, e justamente neste ponto, onde o leitor talvez esteja se perguntando sobre o porque de
Ali
darmos exatamente os mesmos r
otulos (que j
a s
ao usados nos grupos que definem o QDMf) aos
grupos que re o
unem os morfismos desta nossa 2-categoria, que vale dizer uma coisa: esta rotulaca
e proposital. Afinal de contas, alem dela realcar ainda mais toda essa similaridade que existe entre
es que acabamos de mencionar, e ela quem completa a definica
as duas composico o de uma 2-LGT
Figura 10.2: Diagramas que est ao relacionados a ` definica o de uma 2-categoria. No caso do que est a dis-
` composica
posto acima, ele se refere a o vertical 100 = 10 de dois morfismos
1 v 1 e 10 que adotam os
morfismos que sao representados pelas setas simples como objetos. J a no caso do diagrama inferior, temos
uma composicao inteiramente an aloga
3 = 1 h 2 , s
o que horizontal. Note que neste, e em todos os
diagramas que virao adiante, todas as flechas e as suas composico es seguem uma mesma orientaca o que
fazem com elas tenham fonte e alvo em comuns: esta e uma condica o essencial a
` definica
o diagram atica de
uma categoria, seja qual for a sua ordem.
202
CAPITULO 10. UM COMENTARIO DE CATEGORIA
Figura 10.3: Esquema de composica o dos diagramas de uma 2-categoria que j a foram apresentados na
Figura 10.2. Embora a mesma indexaca o dos diagramas anteriores possa ser necess
aria, preferimos dispens
a-
la para priorizar uma maior inteligibilidade.
uma variedade tridimensional feita em termos de simplexos, conforme bem ilustra a Figura
10.5,
considerando que os morfismos que definem G1 correspondem aos campos de calibre que
2 , e que tambem devem ser
indexam as arestas deste simplexo, enquanto os que definem G
vistos como novos campos de calibre, indexam as suas faces.
es
Ou seja, uma 2-LGT pode ser interpretada como aquela que comporta dois tipos de transformaco
de calibre: uma, que pode ser feita sobre os elementos de G1 que foram acomodados sobre as
2 que est
arestas; e outra, que se envolve apenas para com os elementos de G ao dispostos sobre as
faces.
o; e uma delas, por exemplo, e a 1-holonomia que, no caso da mesma face da Figura
caracterizaca
10.5, por ser definida como um produto [103]
) g1 g21
h1 = f ( (10.3)
a definimos no Captulo 2. E e
que define (10.3) e realmente a mesma holonomia (2.12) que j
o que precisamos destacar a coisa que certamente e a mais
justamente com base nesta constataca
importante dentro do contexto que nos sugere enxergar f como o homomorfismo que completa um
odulo cruzado: h1 e exatamente a mesma falsa holonomia que, alem de j
m a ter sido apresentada
na p o dos operadores de face do QDMf, cujas componentes foram
agina 192, aparece na definica
apresentadas na Figura 9.3.
s es de calibre que
ao justamente os operadores que nos permitem definir uma das transformaco
2 que
o essa que se envolve para com os elementos de G
caracterizam uma 2-LGT, transformaca
indexam as faces do complexo simplicial.
a 2-holonomia?
O que e
Ali
as, j o de calibre e, por definica
a que uma transformaca o, aquela que n
ao altera o valor
es de calibre
de uma holonomia, a melhor maneira de entendermos como todas as transformaco
que est `s 2-LGTs funcionam e entendendo todas as suas holonomias. E como a
ao relacionadas a
1-holonomia j
a foi definida em (10.3), s
o nos resta definir e bem entender a sua 2-holonomia.
E a melhor maneira de fazermos isso e apelando para a mesma perspectiva geometrica com que
j ` luz do
a vemos a primeira: afinal, da mesma maneira que uma 1-holonomia pode ser vista a
transporte paralelo de uma estrutura puntual ao longo de uma curva fechada, uma 2-holonomia,
2 , tambem pode ser vista
que tambem e definida em termos de um produto entre elementos de G
assim, s
o que [104]
como o transporte paralelo de uma estrutura que agora se identifica como uma curva,
ao longo de uma superfcie que agora deve ser fechada nos extremos que caracterizam o
ltima curva a
retorno dessa u ` sua posica
o inicial.
Considerando que esta e realmente a 2-holonomia que queremos avaliar, a melhor maneira
de fazermos isso e voltando as nossas atenco
es para o tetraedro aberto que aparece na Figura
10.2. TEORIAS DE CALIBRE COM ORDEM ALTA 205
Figura 10.6: A` esquerda temos um tetraedro aberto: ou seja, uma figura bidimensional que, quando colada
pelos lados que est
ao destacados em azul e vermelho (unindo os pontos indexados com o mesmo n umero),
estrutura um tetraedro. A vantagem de lidar com este tetraedro aberto est ` possibilidade de
a relacionada a
entender, passo a passo, como se da o transporte de uma corda (em vermelho), que est a presa entre as
` sua posica
extremidades indexadas por 0 e 3, ate ela chegar a o final (em azul).
e dada por
1 1
123 )
h2 = ( g01 . 013
023 012
, (10.4)
Y
2
G 1, G
AvD = D j
(10.5)
jSv
cuja existencia j
a havamos adiantado.
10.3 es
Algumas observaco
Ali
as,
e diante deste u
ltimo resultado que o nosso coment
ario, sobre o fato dos operadores
2
G 1, G
D j
o de calibre, realmente se completa: ou seja, aquilo que j
definirem uma transformaca a
hav
amos
dito ao final do Captulo 9, mais especificamente na sua p
agina 190, sobre o fato de
2
G 1, G
Dj o de calibre, n
fazer alguma coisa que mais parecia uma transformaca ao estava realmente
incorreto. E e exatamente isso que, juntamente com a constataca
o de que
a 1-holomonia (10.3)
2
G 1, G
e a mesma falsa holonomia que aparece nos operadores de face B p do QDMf, nos permite
afirmar uma das principais consequencias do trabalho que acabamos de apresentar nestas notas:
o que adota toda a estrutura que e oferecida pela teoria
enxergar uma nova linha de investigaca
es do QDM. E e exa-
das categorias como uma possibilidade real para construir novas generalizaco
tamente isso o que o nosso grupo de pesquisa vem comecando a fazer, atraves de estudos iniciais
que se valem de um Hamiltoniano como o
X Y X
2
G 1, G 2
G 1, G 2
G 1, G
H2-LGT = A v D j
B p , (10.6)
v jSv p
(i) se quisermos lidar com um modelo que, ao inves de uma variedade triangularizada, se vale de
o c
uma discretizaca ubica ou quadrada, isso deve ser feito segundo o esquema que est
a bem
es
ilustrado na Figura 10.7, onde todas as arestas paralelas envolvidas nestas discretizaco
devem ser orientadas no mesmo sentido;
(ii) o resultado que segue da 1-holonomia que foi definida em (10.3) deve ser obrigatoriamente
10.3. ALGUMAS OBSERVAC
OES 207
Figura 10.7: Devido ao esquema de composica o que est nica maneira das faces
a presente na Figura 10.5, a u
de uma rede quadrada (com qualquer dimens ao) ser associ
avel aos diagramas que definem uma 2-categoria
e se as suas arestas paralelas forem orientadas na mesma direcao.
(iii) assim como ocorre com o QDMf, todos esses modelos tambem podem ser classificados em
1 = Zn e a aca
termos de uma tripla ordenada (m, n, k), quando G1 = Zm , G o e trivial, j
a que a
degenerescencia algebrica do seu estado fundamental tambem vai diminuindo a medida que
os diferentes n
umeros k (que fazem com que km seja um divisor de n) vai aumentando, o
que s
o reforca toda a conectividade que existe entre estes modelos para com o QDMf.
Conclus
oes e coment
arios
(j)
(ii) pela presenca de paredes de domnio, quando o mesmo modelo e definido sobre uma j M2 ,
nico ponto.
duas a duas, atraves de um u
claro que n
E ao e s o. Afinal de
o isso que pode ser dito a respeito desta primeira generalizaca
contas, alem de ter sido possvel mostrar, por exemplo, que dQDMv e uma funca
o do n
umero de
o define, tambem ficou muito claro que, entre as principais propriedades de um
ciclos que a aca
QDMv, temos:
209
210 E COMENTARIOS
CAPITULO 11. CONCLUSOES
Ali
as, sobre essas regras de fus
ao n
ao Abelianas, n
ao podemos afirmar que elas, de fato, implicam
til a uma computaca
na possibilidade de fazer do QDMv um modelo u o qu
antica, ao menos nos
moldes que ele foi definido: pois, alem de estarmos diante de um modelo onde uma parte das
quasipartculas, ao serem transportadas, elevam a energia do sistema (ou seja, quasipartculas que,
ao serem permutadas sob o pretexto de avaliar as suas estatsticas, n
ao definem um autoestado com
a mesma energia do inicial), uma outra parte das quasipartculas (justamente as que se envolvem
para com essa n
ao Abelianicidade) n
ao s
ao transport
aveis.
Entretanto, j
a que estamos falando sobre essas regras de fus
ao n
ao Abelianas, passa a ser inte-
o que n
ressante fazer uma observaca o se baseia
ao fizemos ao longo Captulo 8. E essa observaca
no fato de que essas regras surgem apenas
Diga-se de passagem, e exatamente isso o que acontece com o Exemplo 2, que foi apresentado
aginas 127 e 141: afinal de contas, se o operador W (1,3) , que cria a u
entre as p nica quasipartcula
que apresenta uma regra de fus
ao n
ao Abeliana, n
ao fosse inserido no modelo, seria impossvel ir
de um dos seus autoestados de v
acuo para o outro. S
o que, apesar do leitor, talvez, ter pensado por
es poderiam estar vinculadas a casos muito particulares (tal
um momento que essas duas condico
o que iremos fazer aqui e a seguinte: em todos os exemplos
como o deste Exemplo 2), a observaca
de QDMv, onde G1 = Z2 e G2 = Zm e tal que m > 2, sempre poderemos escolher uma aca
o
es. E a raz
que comporta essas duas condico ao para afirmarmos isso e bem simples: pois, como a
o matricial da aca
representaca o que define esse QDMv e uma matriz de permutaca
o cujo quadrado
e igual a identidade, todos os ciclos algebricos que ela descreve ter
ao tamanhos iguais a 1 ou 2. Ou
o do QDMv sempre poder
seja, a matriz que representa a aca a ser expressa bloco-diagonalmente,
oem possuem tamanho 2 (e se identificam com a matriz de Pauli x ) e
e os blocos que a comp
tamanho 1 (se identificando simplesmente com o n
umero 1).
211
J o a
a em relaca ` segunda generalizaca
o, que apresentamos no Captulo 9 e que foi construda a
o da primeira, alocando campos de materia aos centroides das faces de uma rede
partir da dualizaca
bidimensional (QDMf), a maior parte das propriedades fsicas que apontamos na p
agina anterior
` presenca das regras de fus
tambem se faz presente em termos duais, exceto no que diz respeito a ao
n
ao Abelianas. E, no caso desta ausencia de regras n
ao Abelianas, ela se justifica em termos
o de calibre
do operador de aresta que, por funcionar como uma especie de transformaca
2 que e Abeliano, possui uma express
entre os elementos de um G ao bem definida em termos
dos operadores (6.11).
Em todo caso, alem de toda essa Abelianicidade que bem caracteriza as regras de fus
ao do
QDMf, vale destacar outras duas diferencas entre este modelo e um QDMv. E a primeira delas,
` interpretaca
por exemplo, diz respeito a o que a presenca de um efeito Meissner dual no QDMf nos
permite fazer. Afinal, j `
a que o confinamento de quasipartculas magneticas no QDMv nos leva a
o de que o seu sistema funciona como um material que e, no mnimo, um diamagneto
interpretaca
perfeito, o fato das quasipartculas confinadas no QDMf serem as eletricas nos faz entender que
o seu sistema se comporta como um isolante eletrico: ou seja, como um material cujas cargas
eletricas n
ao conseguem se mover livremente, o que deixa no ar a sugest
ao de que o material
que o QDMv caracteriza pode (apenas pode) ser um supercondutor, embora o pr
oprio QDMv n
ao
nos d a a segunda diferenca que vale destacar e
a elementos suficientes para demostrarmos isso. J
que, como s
ao as quasipartculas magneticas que podem ser transportadas livremente no QDMf,
` degenerescencia
este modelo apresenta a mesma dependencia que o QDM no que diz respeito a
dos seus estados fundamentais: ou seja, ao contr
ario do que acontece com o QDMv, como essas
quasipartculas magneticas completam caminhos fechados que descrevem as classes de homotopia
do grupo fundamental da variedade sobre a qual o QDMf est
a definido, a ordem topol
ogica de um
ao e caracterizada pelo segundo grupo de homologia da variedade.
QDMf n
No entanto, devido a essa segunda diferenca que acabamos de mencionar, vale notar que
tambem foi possvel demonstrar que a cardinalidade do n o
ucleo do homomorfismo f de coaca
212 E COMENTARIOS
CAPITULO 11. CONCLUSOES
(ii) que e perfeitamente possvel classificar todos os modelos que se enquadram como um QDMf
o de uma tripla ordenada (m, n, k) N3 , onde k e um n
em funca umero vai desde zero ate a
todos os demais que fazem de n um n
umero divisvel por km.
as, nos casos onde, por exemplo, k = 0, f e um homomorfismo trivial que, alem de fazer com
Ali
que a degenerescencia algebrica do QDMf seja m
axima, n
ao faz deste modelo uma coisa mais
interessante que o QDM, uma vez que os seus campos de calibre e de materia s
ao completamente
cegos uns para os outros.
claro que diversas outras coisas ainda podem ser feitas no que se refere a
E `s possveis genera-
es destes modelos. E uma delas, por exemplo, j
lizaco a foi muito bem discutida ao longo do captulo
anterior, de ficou clara toda uma conex
ao que existe entre o QDMf e modelos que podem ser de-
finidos seja em termos de m
odulos cruzados ou com base no aparato que a teoria das categorias
com ordem alta nos oferece. Por se dizer, e exatamente toda esta conex
ao que, por exemplo, nos
propulsiona a tentar j
a entender os novos modelos, que designamos por 2-LGT e que se valem das
categorias com ordem dois. E por que ordem dois? Porque, alem dos operadores de aresta que
o de
definem um QDMf serem exatamente os mesmos operadores que definem uma transformaca
calibre com ordem dois neste 2-LGT, as categorias com ordem dois ainda nos permitem encontrar
uma razoabilidade fsica nestes novos modelos. Afinal de contas, j
a que estamos t
ao ambientados a
olhar para as coisas que nos cercam por uma perspectiva quadridimensional (tres dimens
oes espa-
ciais e uma temporal), qual ser o que pode ser construda
a o significado fsico de uma generalizaca
com o uso de uma categoria com ordem alta, e qual ser ao com tudo aquilo que e
a a sua conex
fisicamente experiment
avel?
claro tambem que n
E ao podemos afirmar que os modelos que apresentamos nesta tese s
ao
fsicos: assim como acontece com o QDM, ate segunda ordem esses modelos devem ser vistos
`lguma causa futura. E dentro deste contexto, vale
apenas como toy models que se prontificam a
213
(i) monop
olos eletricos existem na Natureza sob a forma de eletrons e
(ii) quarks s
ao partculas confinadas que, por exemplo, definem pr
otons,
Ap
endices
215
Ap
endice A
o de Kuperberg
Diagramatizaca
A.1 es iniciais
Consideraco
Conforme e bem conhecido da literatura [39], uma das melhores maneiras de indicar como
es f atuam sobre conjuntos arbitr
algumas aplicaco arios e atraves de um diagrama. E um bom
exemplo de diagrama e aquele que relaciona dois conjuntos A e B atraves de uma simples seta,
como e o caso de
f
A /B ,
deixando bem claro que existe uma certa correspondencia f entre eles. Por se dizer, esse e exa-
tamente um dos nomes que se d
a para f : correspondencia. E no caso dos dois conjuntos A e B
envolvidos neste simples exemplo, o primeiro deles e conhecido como domnio enquanto o segundo
iremos chamar propositalmente como codomnio. Afinal de contas, apesar do termo original dado,
ltimo conjunto ser contradomnio, alguns fins did
em portugues, para este u aticos (que s
o se tor-
nar o B.2) nos obriga a usar esta
ao claros mais adiante, mais especificamente no Apendice B, Seca
especie de licenca poetica que a lngua inglesa nos d
a, uma vez que, nela, este mesmo conjunto
B e denotado por codomain.
claro que nem sempre e muito conveniente ficar desenhando diagramas, ainda mais quando
E
o bastante restrita, onde temos que expressar tudo ao longo das
ficamos diante de uma situaca
o usual e representar esse
linhas que compreendem um texto. E quando isso acontece, a soluca
mesmo diagrama atraves de f : A B, j
a que isso d
a conta de dizer por quem esses dois conjuntos
ao relacionados. Todavia, e sempre bom destacar que, devido a toda imaginatividade
A e B est
da especie humana, diagramas existem e s
ao propostos para os mais diversos fins, ainda mais se
lembrarmos que a ideia primitiva de um conjunto e capaz de modelar diversas coisas. E um dos
217
218 NDICE A. DIAGRAMATIZAC
APE DE KUPERBERG
AO
e e
e e
Figura A.1: Diagrama de Feynman que est a associado a parte do processo de espalhamento eletrofraco que
envolve um eletron e e um antineutrino eletr
onico e , o qual e intermediado por um u
nico b
oson massivo
W [110].
diagramas que s
ao mais conhecidos entre os fsicos s
ao os chamados diagramas de Feynman [111]:
um conjunto de regras bem especficas que, pelo uso de flechas e curvas, ajudam a representar
o1 . que est
diagramaticamente todos os processos de interaca `s partculas n
ao relacionados a ao
as, e por consequencia de toda essa representaca
necessariamente elementares. Ali o que esses
teis na identificaca
diagramas de Feynman acabam sendo extremamente u o dos termos que, por
exemplo, aparecem em c
alculos extremamente laborosos, os quais est `s estimativas
ao associados a
es de choque relacionadas a esses processos de interaca
das seco o [73]. E um desses processos
que podemos ilustrar aqui e o que se envolve para com um espalhamento entre um eletron e um
antineutrino tambem eletr o de primeira
onico: neste caso, se nos atermos apenas a uma descrica
ordem de parte desse espalhamento, especificamente daquele que e intermediado por um u
nico
oson massivo W , por exemplo, o diagrama de Feynman deste processo e aquele que consta na
b
Figura A.1.
A.1.1 es preliminares
Noco
o arbitr
curvas agora indicam como uma aplicaca aria trabalha sobre os elementos do seu domnio,
o qual, em geral, deve ser visto como um espaco vetorial V que est
a definido sobre um corpo
ario2 . Ali
K arbitr as, colocando as coisas em termos um pouco mais especficos, a presenca de
flechas num diagrama de Kuperberg nada mais faz do que indicar que grandezas n
ao escalares
o entre espacos vetoriais, as quais devem ser obrigatoriamente
definem uma determinada operaca
identificadas como vetores ou como covetores.
o.
onde cada flecha representa um dos vetores envolvidos na operaca
Por se dizer, uma coisa que e bastante perceptvel deste ultimo diagrama e que ele pode ser
interpretado, em verdade, como uma especie de fluxograma: no caso, como um fluxograma que
` esquerda do smbolo
deve ser lido da esquerda para a direita, dado que a presenca da flecha a
f deve ser vista como o vetor arbitr ` aplicaca
ario que precisa ser fornecido a o f , para que ela
trabalhe sobre esse vetor e devolva um outro como resposta. E, no caso deste vetor resposta,
claro que vale frisar
` direita do smbolo f . E
ele deve ser identificado como a flecha que sai a
es que vai da esquerda para a direita n
aqui que todo este fluxo de informaco ao deve ser visto
como algo padr
ao, mas sim como um caso particular. Todavia, o que deve ficar subentendido
deste diagrama e que f deve ser interpretada como uma especie de m
aquina que, ao receber o
es, deve ser capaz produzir um outro elemento que vai
elemento de um conjunto de informaco
es n
pertencer a um outro conjunto de informaco ao necesariamente distinto.
es deste mesmo quadro podem ser feitas naturalmente atraves de uma simples
Generalizaco
o destas flechas por outras. Ali
substituica es um pouco
as, se quisermos descrever como aplicaco
mais abrangentes agem sobre os seus domnios e codomnios, como e o caso de uma f : A1 . . .
AM B1 . . . BN que, por exemplo, constroi uma correspondencia entre dois espacos vetoriais
um pouco mais gerais, isso deve ser feito atraves do diagrama que define a Figura A.2. E no caso
2
Em verdade, essas mesmas consideraco es sobre o domnio tambem se estendem a um espaco dual de V , cuja
o se faz por V . No entanto, como veremos melhor no pr
denotaca o
oximo Apendice, mais especificamente na sua Seca
220 NDICE A. DIAGRAMATIZAC
APE DE KUPERBERG
AO
a1 b1
.. ..
. f .
aN bM
o f : A1 . . . AM B1 . . . BN , onde
Figura A.2: Diagrama de Kuperberg que esta associado a aplicaca
A1 . . . AM e B1 . . . BN s
ao dois espacos vetoriais.
deste diagrama3 , apesar da presenca de ndices em qualquer diagrama de Kuperberg ser totalmente
dispens
avel, aqui ela serve apenas para dar um efeito did
atico-desambiguador, haja vista que os
seus ndices aj e bk devem ser vistos como os elementos que pertencem aos respectivos espacos
vetoriais Aj e Bk e que s
ao tais que
f (a1 , . . . , aM ) = (b1 , . . . , bN ) .
Com o prop
osito de exemplificar a import o, vale a
ancia de todo este esquema de organizaca
o que e definida por
pena mencionar o caso que se envolve para com uma aplicaca
onde x, y e z s
ao os elementos que comp
oem um espaco vetorial V arbitr
ario. Pois, j
a que existem
es que podem ser expressas neste formato, ao admitirmos uma situaca
infinitas aplicaco o onde
B.1, V tambem pode ser naturalmente interpretado como um espaco vetorial sobre o mesmo corpo K.
3
Aqui, apesar de estarmos utilizando uma rotulaca o um pouco diferente para os espacos vetoriais que comp oem
domnio e codomnio de f , devemos frisar que, para todos os ndices j e k, vale que Aj = Bk = V em pleno acordo com a
pen o utilizada, t
ultima nota: no caso, trata-se de uma rotulaca ao somente, para os fins que ficar
ao bem mais claros com
o apoio de um exemplo a seguir.
A.1. CONSIDERAC INICIAIS
OES 221
es, se torna
os elementos do domnio de f tambem pertencem aos codomnios de outras aplicaco
o que e vista como composta: ou seja, numa situaca
perfeitamente possvel pensar numa situaca o
es g e h, que tambem s
onde, por exemplo, outras duas aplicaco ao definidas segundo (A.1), se
o atraves de
juntam a f para definir uma outra aplicaca
f (g (x 1 , x 2 ) , h (y1 , y2 )) = z .
g
f
h
e atraves dele que fica bem clara toda a import o que dissemos acima: pois,
ancia da organizaca
como o primeiro elemento do par ordenado (x, y) sobre o qual f trabalha tem a sua origem
relacionada a
g (x 1 , x 2 ) = x , (A.2)
Ali
as, apenas por uma quest es que se apoia sobre esta mesma li-
ao de completeza de informaco
nha de raciocnio, tambem e muito interessante ilustrar a situaca
o que se envolve para com aquelas
es que s
aplicaco es
ao definidas atraves de um produto tensorial: ou seja, para com as aplicaco
f f1 . . . fN (A.3)
que s
ao compostas por outras f j : A B entre espacos vetoriais A e B, onde j = 1, . . . , N. E no caso
dessas f : AN B N , os seus diagramas de Kuperberg se reduzem a
f1
..
.
fN
222 NDICE A. DIAGRAMATIZAC
APE DE KUPERBERG
AO
A.1.3 es
Algumas generalizaco
bM aN
.. ..
. f .
b1 a1
Vale notar que, apesar de toda a dispensabilidade dos ndices, eles ainda se fazem presentes ao
ltimo diagrama t
lado das flechas deste u ao somente para indicar a outra diferenca fundamental
que existe entre ele e todos os que j
a apresentamos anteriormente. Afinal de contas, se, analoga-
mente ao que j o
a fizemos na Figura A.2, realizarmos uma leitura de cima para baixo na relaca
dos covetores que d
ao estrutura ao domnio e ao codomnio dessa nova f , ser
a possvel notar que
ao apenas que as flechas, mas que o ordenamento de covetores tambem adota um sentido que e
n
completamente contr
ario ao do primeiro.
como um espaco vetorial para todos os ndices j, o produto tensorial A1 . . . AR tambem poder
a
[52]. Pois, se pensarmos que cada um dos vetores, que pertencem a uma das possveis bases
( )
uaj : 1 6 aj 6 dim Aj do espaco vetorial Aj , tambem d
ao estrutura aos vetores de uma base de
ltimo espaco poder
A1 . . . AR , qualquer vetor que pertenca a esse u a ser comodamente expresso
como
u = a a1 ... aR
u a1 . . . u aR . (A.4)
Aqui, ua1 . . . uaR : 1 6 aj 6 dim Aj e uma dessas bases de A1 . . . AR , enquanto aa1 ...aR
( )
s
ao os elementos do corpo K sobre o qual cada Aj se define individualmente. E, por se dizer,
s
ao justamente esses elementos, que denotaremos propositalmente como constantes de estrutura
por estruturarem u sob a forma (A.4), que retem a chave de todo o bom entendimento dos
diagramas de Kuperberg.
o f :
Para tornar claro o porque disso, iremos nos apoiar estrategicamente sobre uma aplicaca
es que
A1 . . . AM B1 . . . BN para a qual, por uma simples consequencia das observaco
ltimo par
foram feitas no u agrafo, vale
( )
desde que identifiquemos vb1 . . . vbR : 1 6 bj 6 dim Bj como uma das bases do codomnio
de f . E a grande raz
ao desta estrategia reside no simples fato desta ser exatamente a mesma
o que j
aplicaca o A.2.1 e que e representada pelo diagrama da Figura
a mencionamos na Subseca
o de (A.5) com o seu diagrama vemos que existe uma corres-
A.2. Afinal, como da comparaca
pondencia um-pra-um entre cada um dos ndices de f ab11 ...
... bN
aM e cada uma das componentes que
definem ua1 . . . uaM e vb1 . . . vbN , fica bem claro que podemos transferir para essas constantes
o das flechas do diagrama em quest
de estrutura toda a associaca ao. Ou seja, um diagrama de
Kuperberg, como o que consta na Figura A.2, nada mais e do que a realizaca
o diagram
atica das
constantes de estrutura f ab11 ...
... bN
aM que definem uma aplicac
ao f : A1 . . . AM B1 . . . BN .
o f : B1 . . . BN A1 . . . AM que tambem j
Por se dizer, ao tomarmos a aplicaca a foi
mencionada anteriormente, cujos domnio e codomnio, que se valem de produtos diretos apenas
entre espacos duais, podem ser definidos sobre as respectivas bases
es acima tambem s
covetoriais, as mesmas consideraco ao capazes de nos indicar que
v b1 . . . v bM 7 u = f ab11 ...
... bN a1
aM u . . . u
aN
. (A.6)
Em verdade, devemos enfatizar que toda essa estrategia que utilizamos ate aqui pode ser
es que s
perfeitamente estendida para avaliar situaco ao um pouco mais gerais, como as que se
es que s
envolvem para com as dualizaco ao interpret
aveis como parciais: ou seja, para com as
es que se restringem a
dualizaco `penas alguns dos espacos vetoriais Aj e/ou Bk que comp
oem os
seus domnios e codomnios. E apenas para ilustrar como tudo isso funciona, tomaremos uma
o f : A1 . . . AM B1 B2 . . . BN que identificaremos propositalmente em termos
aplicaca
das suas constantes de estrutura f ab11 ...
... bN
aM como
No caso deste novo exemplo, se preferencia ainda for por uma leitura fluxogram
atica que vai
esquerda para a direita, o diagrama de Kuperberg a ele associado ser
a dado por
b1
b2
a1 .. f
..
.
.
bM
aN
de onde fica clara toda a similaridade deste para com os diagramas anteriores.
o
Algumas regras de composica
o que est
pois, se pensarmos na situaca ` aplicaca
a relacionada a o f definida em (A.1), por exemplo,
o apresentada na p
cujo diagrama de Kuperberg aparece na extrema direita na composica agina
o de ndices deste nosso diagrama contrado (ou seja, deste
221, fica bem claro que a contraca
nosso diagrama onde uma seta que sai de f retorna para a pr `
opria f ) pode ser bem entendida a
luz de
f (x 1 , x 2 ) = x 2 .
226 NDICE A. DIAGRAMATIZAC
APE DE KUPERBERG
AO
Ap
endice B
Alguns coment
arios alg
ebricos
B.1 es preliminares
Consideraco
Apesar do termo grupo ser popularmente usado para designar um conjunto arbitr
ario de
coisas, quando ele e usado dentro de um contexto matem
atico ele se refere a algo que e um
pouco mais especfico do que isso. E no caso desse contexto, ele realmente deve ser interpretado
ao-vazio G, mas como um conjunto que e estruturado por uma aplicaca
como um conjunto n o
: G G G que:
( ( g1 , g2 ) , g3 ) = ( g1 , ( g2 , g3 ) ) ; (B.1)
(ii) sempre adota um elemento e como a identidade de G, haja vista que, para qualquer um dos
elementos g deste conjunto,
e, g = g ; e (B.2)
g -1 , g = e . (B.3)
227
228 APE
NDICE B. ALGUNS COMENTARIOS BRICOS
ALGE
Entre os diversos exemplos de grupo que podemos citar aqui, talvez o mais conveniente junto
osito destas notas seja o daquele que e popularmente denotado como circunferencia unit
ao prop aria
S 1 , uma vez que ele contem todos os elementos z que pertencem ao corpo dos complexos C que
satisfazem a |z| 2 = zz = e. E, no caso dessa interpretaca
o de S 1 como um grupo, ela segue por
o de com o mesmo produto que e usualmente atribudo aos elementos de C.
efeito da identificaca
zN = e . (B.4)
e , a , a2 , . . . , aN-1
( )
CN = (B.5)
aj , ak = a ( j+k ) mod N . (B.6)
E apesar deste exemplo talvez soar como uma mera particularidade, e importante frisar que e
justamente por tr
as da l o desses subgrupos cclicos que fica claro como outros
ogica de formaca
podem ser concebidos. Afinal de contas, como esses subgrupos cclicos nada mais s
ao do que casos
particulares de um
gj : j Z
( )
hgi = (B.7)
ao e um subgrupo qualquer de G: ele nos leva ao menor subgrupo que contem S [112].
que n
Apenas por uma quest
ao de completeza ao bom entendimento do que acabamos de dizer, vale
notar que H G simboliza o fato de que H e um subgrupo de G que eventualmente pode ser
identificado com o pr
oprio.
Ali o onde n
as, quando consideramos uma situaca ao ocorre necessariamente qualquer tipo de
o entre os grupos que figuram no domnio dessa j , se torna perfeitamente possvel
identificaca
obter um novo subconjunto X que tambem n
ao ser
a necessariamente identificado com G, cujos
elementos s
ao dados por
j g , hj = xj . (B.9)
o de um u
E diante da fixaca nico g a
` esquerda de hj nesta relaca
o, o subconjunto X que e assim
` esquerda, o qual e engenhosamente
obtido fica especialmente denotado como uma classe lateral a
simbolizado como
gH = { gh : h H } , (B.10)
onde cada um dos seus elementos ghj deve ser identificado como cada um dos x j que foram acima
definidos: ou seja, gH nada mais e do que o conjunto que e formado por cada um dos possveis
elementos ghj que foram definidos em (B.9).
Por se dizer, e atraves desta mesma estrategia que acabamos de usar para definir as classes
` esquerda que tambem podemos obter as chamadas classes laterais a
laterais a ` direita
Hg = { hg : h H } , (B.11)
230 APE
NDICE B. ALGUNS COMENTARIOS BRICOS
ALGE
es que trazem
desde que tomemos k : H G X como as aplicaco
k ( hk , g ) = x k (B.12)
como os elementos dessa Hg. No entanto, apesar dessas duas classes laterais representarem
duas coisas que devem ser pensadas fundamentalmente como duas coisas distintas, quando a
o mais geral
identificaca
j g , hj = k ( hk , g ) (B.13)
es adicionais
Consideraco
|G| = |H| |G : H| ,
pr
oprio G/H pode ser interpretado como um grupo, uma vez que o relacionamento
( Hg1 , Hg2 ) 7 H ( g1 g2 )
entre quaisquer dos seus elementos Hg1 e Hg2 se torna perfeitamente construtvel perante a
o que e feita por g1 g2 = (g1 , g2 ).
induca
B.1.2 es
Um panorama sobre a teoria das representaco
Uma das alternativas que permitem driblar esta inconveniencia, se respauda no fato de ser
es para uma linguagem mais limpa e ele-
perfeitamente possvel traduzir todas essas consideraco
gante, capaz de expressar os mesmos conceitos de uma forma mais concreta que a original.
o pode ser perfeitamente interpretada segundo um esquema de
E, no caso, toda essa traduca
es, onde os elementos que pertencem a um grupo G passam a ser representados por
representaco
outros objetos que, alem de se submeterem aos mesmos axiomas (B.1), (B.2) e (B.3), tambem
s
ao capazes de estruturar outro grupo com as mesmas propriedades que G.
( g1 g2 ) = ( g1 ) ( g2 ) , (B.14)
(a) ev = v ,
(b) g ( v ) = ( gv ) ,
(c) ( g1 g2 ) v = g1 ( g2 v ) , e
gj vk : gj G e vk V KN
( )
M = (B.15)
Diga-se de passagem, algo bem simples que merece ser destacado aqui e que, justamente por
o de M como um espaco vetorial, se torna vi
efeito de toda essa interpretaca avel associ
a-lo a uma
base Bm : no caso, uma base que pode ser perfeitamente indexada pelos elementos do grupo G e
que faz com que todos os elementos que pertencam a M sejam expressos por
u = 0 g0 + . . . + N gN . (B.16)
E e justamente desta u
ltima express
ao que fica bem clara uma das grandes vantagens que os
m o aos espacos que simplesmente se identificam como vetoriais: afinal
odulos apresentam em relaca
es lineares usuais que podemos definir entre dois elementos
de contas, alem de todas as combinaco
(B.16), o simples fato de existir uma : G G G que define G como um grupo j
a permite
o se erga entre esses mesmos elementos, a qual consegue
com que um outro tipo de combinaca
`s consideraco
transcender a es que s
ao simplesmente vetoriais, sem deixar de se apoiar sobre o que
o no Apendice C.
apresentaca
B.2. NOC GERAIS DE ALGEBRA
OES 233
chamamos por a
lgebra.
B.2 es gerais de a
Noco lgebra
vj , vk 7 ajk va , (B.17)
onde ajk figura como uma das constantes que pertencem ao corpo K sobre o qual V se apoia (as
quais s
ao respons lgebra em quest
aveis por estruturar a a ao), enquanto vj rotula qualquer um dos
possveis elementos de V .
vj , vj = bj ck ( gb , gc ) = ajk ga ,
haja vista que o resultado claramente se identifica com um vetor moldado segundo (B.16).
id id id
V V V /V V V Kh /V V o
6K V
id
' '
/V
( v
V V V
( id ) = ( id ) e ( id ) = ( id ) = id . (B.18)
Aqui, id : V V e a operaca
o identidade, enquanto : K V e a operaca
o unital que e definida,
analogamente a (B.17), como
1 7 a va , (B.19)
f ( v ) = f ( 1 , v ) .
acaba ficando bem claro que f = f pois, para todo elemento que pertence a K V , temos
f ( ( , v ) ) = f ( v ) = f ( 1 , v ) = f ( , v ) .
o linear g : V U satisfazendo
Por outro lado, se admitirmos a existencia de uma outra aplicaca
B.2. NOC GERAIS DE ALGEBRA
OES 235
a g = f , ser
a imediato que
g ( ( 1 , v ) ) = f ( 1 , v ) g ( v ) = f ( v ) .
entre as suas constantes de estrutura5 . Por se dizer, essa e uma maneira extremamente u
til de
enxergar todo esse quadro comutativo caso seja necess
ario, por exemplo, represent
a-lo atraves do
formalismo de Kuperberg: ali
as, de acordo com o Apendice A, toda essa comutatividade pode ser
representada como
lgebras que s
E, apesar de serem diversos os exemplos que podem ser apresentados de a ao
ositos dessas notas e aquele que se
associativas e unitais, um dos mais convenientes junto aos prop
associa ao conjunto V = L (V, K), que e composto pelos funcionais lineares : V K e que e
denotado como espaco vetorial dual de V . Neste caso, como uma base v 1 , . . . , v n pode ser definida
( )
onde {v1 , . . . , vn } e uma das bases que descrevem o espaco vetorial V , uma a
lgebra associativa e
unital para V se ergue, por exemplo, atraves das aplicaco
es 0 : V V V e 0 : K V , que
ao expressas respectivamente por6
s
0 jk
vj , vk 7 a va e 1 7 a0 v a . (B.20)
Ali
as, de acordo com os coment
arios que foram feitos no Apendice A, o quadro comutativo espe-
5
Para ver isso, basta substituir as express es comutativas (B.18).
oes (B.17) e (B.19) nas relaco
6 0
Os motivos que nos levam a indexar ambas as aplicacoes com ficar ao bem claros logo na sequencia.
236 APE
NDICE B. ALGUNS COMENTARIOS BRICOS
ALGE
0 0 0 0 e 0 0 0 0
id id
V VO V o V Kh o /KV
id
V O V V O V 6
id ' '
( v
V V o V V
( id ) = ( id ) e ( id ) = ( id ) = id . (B.21)
(1) : V V V e : V K s
ao morfismos de a
lgebras, e
(2) : V V V e : K V s
ao morfismos de co
algebras,
s
ao completamente equivalentes.
V V /V /V V V V /V
O
V V
w
V V V V /V V V V K
23
que est ` co
a relacionado a ` existencia do isomorfismo7
algebra devido a
23 ( v1 , v2 , v3 , v4 ) 7 ( v1 , v3 , v2 , v4 ) ,
7
Este e apenas um exemplo das chamadas aplicaco
es de transposica
o: ou seja, isomorfismos que s
ao respons
aveis por
trocar parcelas num produto tensorial.
238 APE
NDICE B. ALGUNS COMENTARIOS BRICOS
ALGE
mas o quadro
K /V K /V
K id
x
KK /V V K
V V = 23 ( ) e V V = ( ) 23 ,
` comutatividade dos primeiros diagramas que pode ser interpretada como um morfismo
devido a
lgebras. E como um coment
entre a ario inteiramente an ltimos
alogo tambem se aplica para os u
o , indicando que esta tambem se comporta como um morfismo entre
diagramas e a aplicaca
lgebras, temos (1) como uma realidade.
a
(i) ( ab ) = ( ) ( a b ) = ( V V ( ) ) ( a b ) = ( a ) ( b ) ,
(ii) ( ab ) = ( ) ( a b ) = ( K ( ) ) ( a b ) = ( a ) ( b ) ,
(iii) ( 1 ) = ( ) ( 1 ) = ( ( ) K ) ( 1 )
= ( )(1 1) = (1) (1) = 1 1 ,
(iv) ( 1 ) = ( ) ( 1 ) = K ( 1 ) = 1 .
o necess
Assim, uma condica aria e suficiente para que (V ; , ; , ) possa ser considerada uma
algebra e que as aplicaco
bi es e devem se comportar, em verdade, como dois homomorfismos.
B.2. NOC GERAIS DE ALGEBRA
OES 239
de onde fica bem clara uma das outras virtudes destes diagramas: deixar muito mais inteligvel
es est
como cada uma das suas aplicaco ao definidas.
S
S
( id S ) = = ( S id ) .
Algumas propriedades
vb va = Aba va ,
j
tr ( va ) = aj ,
S S
S
S S
No caso, a prova de que esse diagrama, que e obtido pela troca da flecha vertical pela antpoda,
se comporta realmente como um inverso, se completa atraves dos mesmos tr
amites que foram
tomados ate agora. Ali
as, desenvolvimentos inteiramente an `s
alogos a esses tambem se aplicam a
es que se relacionam aos demais diagramas que est
demonstraco ao presentes no enunciado.
Antes de encerrarmos este apendice, ainda precisamos apresentar brevemente dois conceitos
bem simples, que est `s a
ao diretamente relacionados a lgebras de Hopf: o de cointegral e o de
242 APE
NDICE B. ALGUNS COMENTARIOS BRICOS
ALGE
integral. E de um modo bem geral, podemos pensar numa cointegral como sendo o elemento de
lgebra de Hopf que, segundo (B.17), satisfaz as propriedades
uma a
( , vk ) 7 ( , vk ) = ( vk ) ou vj , 7 vj , = vj ,
, vk 7 , v k = vk ou vj , 7 v j , = vj ,
as quais tambem s
ao traduzveis via Kuperberg pelos respectivos diagramas
`s integrais e cointegrais, os
Diga-se de passagem, tres resultados bem interessantes associados a
quais tomam por base a existencia e a n lgebra de
ao nulidade destes dois elementos para uma a
Hopf, est es que seguem abaixo.
ao resumidos nas tres proposico
o 6 Se (V ; , ; , ; S) e uma a
Proposica lgebra de Hopf, ent
ao o tensor
S2
se identifica com uma integral a
` direita.
B.2. NOC GERAIS DE ALGEBRA
OES 243
S S
( ) 1 S2
conforme queramos demonstrar.
o. Com o efeito de uma integral tambem ser interpretada como o elemento de uma
Demonstraca
lgebra dual V ; 0, 0 e, portanto, admitir uma decomposica
a o
= k v k
244 APE
NDICE B. ALGUNS COMENTARIOS BRICOS
ALGE
em termos dos vetores de uma base dual a V , com os seus coeficientes dados por
j
k = tr ( vk ) = kj ,
e imediato perceber que, pelos diagramas que definem uma integral, temos
o do u
o que vem a provar nossa tese, dado a identificaca ltimo diagrama com o traco de IV .
o 8 Se (V ; , ; , ; S) e uma a
Proposica ao a sua antpoda S : V V satifaz o
lgebra de Hopf, ent
diagrama
o. Observando que, assim como uma integral, uma cointegral tambem pode ser
Demonstraca
expressa como
= j vj ,
onde vj s
ao os vetores de alguma base de V , com os seus coeficientes sendo tais que
jk
j = cotr vj = k ,
e possvel obter, diante de uma das passagens que foram usadas para demonstrar a Proposica
o 5,
que
es levemente enfadonhas
Algumas consideraco
Como o pr
oprio nome j a a entender, o objetivo deste Apendice e o de apresentar duas
a d
es que, por serem um pouco enfadonhas, foram propositalmente suprimidas do corpo
consideraco
do texto principal para n
ao atrapalhar a correncia da sua leitura. No entanto, como elas s
ao
` boa compreens
essenciais a ao de alguns dos principais resultados que foram l
a apresentados, se faz
necess
ario apresent
a-las agora ao leitor por uma simples quest
ao de completeza e n
ao de tortura.
E a primeira que iremos apresentar aqui diz respeito ao que nos permitiu definir todos aqueles
operadores de aresta C (G
j
1,G 2 )
relacionados aos Exemplos 2 e 3 do QDMv.
Como tudo o que fizemos nestas notas foi apresentar modelos que s
o se valeram dos grupos
Abelianos
k : k Z e n = 0 = e
( )
Zn =
es, uma das primeiras coisas que devemos fazer aqui e notar que, como esses
para a suas definico
grupos s
ao bons exemplos de m
odulos, a soma
S = 0 + 1 + . . . + n-2 + n-1
S = 1 + 2 + . . . + n-1 + n = 1 + 2 + . . . + n-1 + 0 .
245
246 NDICE C. ALGUMAS CONSIDERAC
APE LEVEMENTE ENFADONHAS
OES
e que, portanto,
S S = 0 0 = 0 .
1 1
C (0) = 1 + Z + Z2 , C (1) = 1 + 2 Z + Z 2 e
3 3
1
C (2) = ( 1 + Z + 2 Z 2 , (C.1)
3
*. 1 +/ *. 0 +/ *. 0 +/
0 1
= ... 0 /// , = ... 1 /// e 2 = ... 0 /// . (C.2)
. / . / . /
,0- ,0- ,1-
Aqui, 1 e o operador que atua como uma identidade sobre esta mesma base. Pois como
1 # " 1 #
"
(0) (0) 2 2
C C = 1 + Z + Z 1 + Z + Z
3 3
1 f g
= 1 + Z + Z2 + Z + Z2 + 1 + Z2 + 1 + Z
9
1
= 1 + Z + Z 2 = C (0) ,
3
1 # " 1 #
"
C (0) C (1) = 1 + Z + Z2 1 + 2 Z + Z 2
3 3
1 g
1 + 2 Z + Z 2 + Z + 2 Z 2 + 1 + Z 2 + 2 1 + Z
f
=
9
1 f
e + + 2 1 + 2 + e + Z + + 2 + e Z 2 = 0 ,
g
=
9
1 # " 1 #
"
(0) (2) 2 2 2
C C = 1 + Z + Z 1 + Z + Z
3 3
1 f g
= 1 + Z + 2 Z 2 + Z + Z 2 + 2 1 + Z 2 + 1 + 2 Z
9
1 f
e + 2 + 1 + + e + 2 Z + 2 + + e Z 2 = 0 ,
g
=
9
C.1. SOBRE OS OPERADORES DE ARESTA DO QDMV 247
1 # " 1 #
"
(1) (0) 2 2 2
C C = 1 + Z + Z 1 + Z + Z
3 3
1 f g
= 1 + Z + Z 2 + 2 Z + 2 Z 2 + 2 1 + Z 2 + 1 + Z
9
1 f
e + 2 + 1 + e + 2 + Z + e + 2 + Z 2 = 0 ,
g
=
9
1 # " 1 #
"
(1) (1) 2 2 2 2
C C = 1 + Z + Z 1 + Z + Z
3 3
1 f g
= 1 + 2 Z + Z 2 + 2 Z + Z 2 + 1 + Z 2 + 1 + 2 Z
9
1
= 1 + 2 Z + Z 2 = C (1) ,
3
1 # " 1 #
"
(1) (2) 2 2 2 2
C C = 1 + Z + Z 1 + Z + Z
3 3
1 f g
= 1 + Z + 2 Z 2 + 2 Z + Z 2 + 1 + Z 2 + 2 1 + Z
9
1 f
e + + 2 1 + + 2 + e Z + 2 + e + Z 2 = 0 ,
g
=
9
1 # " 1 #
"
(2) (0) 2 2 2
C C = 1 + Z + Z 1 + Z + Z
3 3
1 f g
= 1 + Z + Z 2 + Z + Z 2 + 1 + 2 Z 2 + 2 1 + 2 Z
9
1 f
e + + 2 1 + e + + 2 Z + e + + 2 Z 2 = 0 ,
g
=
9
1 # " 1 #
"
(2) (1) 2 2 2 2
C C = 1 + Z + Z 1 + Z + Z
3 3
1 f g
= 1 + 2 Z + Z 2 + Z + Z 2 + 2 1 + 2 Z 2 + 1 + Z
9
1 f
e + 2 + 1 + 2 + + e Z + + e + 2 Z 2 = 0 e
g
=
9
1 # " 1 #
"
(2) (2) 2 2 2 2
C C = 1 + Z + Z 1 + Z + Z
3 3
1 f g
= 1 + Z + 2 Z 2 + Z + 2 Z 2 + 1 + 2 Z 2 + 1 + Z
9
1
= 1 + Z + 2 Z 2 = C (2) ,
3
248 NDICE C. ALGUMAS CONSIDERAC
APE LEVEMENTE ENFADONHAS
OES
acaba ficando bem claro que todos esses operadores, definidos em (C.1), s
ao projetores. No caso,
projetores tais que
C () | i = ( , ) | i ,
Ali
as, de acordo com os diagramas de Kuperberg
que foram
apresentados na Figura 9.2, n
ao
2
G 1, G 2
G 1, G
e nada difcil constatar que os operadores A v e Bp s
ao mesmo dois projetores. Pois,
alem do operador de vertice deste QDMf ser exatamente o mesmo operador de vertice do QDM,
e o simples fato da coaca
o F ( ) ao operador M (k) (que e composto
) fornecer um elemento f (
o que envolve uma a
puramente em termos de uma combinaca lgebra tal como (B.17)) que nos
permite definir a componente Bsh tal como fizemos na Figura 9.3 e, portanto, mostrar n
ao apenas
que
f 1 (
) ab1 c1 d , h f 1 (
) ab1 c1 d , h = f 1 (
) ab1 c1 d , h
mas que Av , Bp = 0 em decorrencia dos resultados que est
ao resumidos na Figura C.1, uma vez
C.2. REGRAS DE COMUTAC DOS OPERADORES DO QDMF
AO 249
a a
b b
Av Bp d = f 1 (
) bg 1 s1 c, h Av d
c
g c
g
s s
ra
P rb
= f 1 )
( bg 1 s1 c, h dr 1
r cr 1
g
s
a ra
b P rb
Bp Av d = Bp dr 1
c
g r cr 1
g
s s
ra
P rb
= f 1 (
) bg 1 s1 c, h dr 1
r cr 1
g
s
que
1
f 1 (
) ab1 rc rd , h (C.3)
= f 1 (
) ab1 c1 r 1r d , h = f 1 (
) ab1 c1 d , h .
Todavia,
e quando olhamos para o resultado que segue da dupla aca
o do operador de aresta
2
G 1, G
Dj (sobre um mesmo setor da rede bidimensional que abriga um QDMf) que a primeira
o, que este modelo tem de respeitar para que ele seja sol
condica uvel, acaba ficando bem clara: G2
2
G 1, G
tem que ser um grupo Abeliano. Pois, como as componentes que definem o operador D j (e
que foram apresentadas ao leitor atraves da Figura 9.3) s
ao tais que
a 0 = f a , e
0 =
0 = 1 , (C.4)
P P
Dj
= 0
0 Dj 2
= 00
00
0
a a0 a ,
a 00
a 00 = f 0 a 0 = f 0 f a = f 0 a = f 0 a ,
1 1 1
00 =
0 0
0 0 = e 00 = 0 0 = 0 1 = 0
=
f = f
f = f f
f
que surge o indicativo de uma segunda propriedade que este QDMf precisa satisfazer para ser
uvel: o conjunto Z, que e formado por todos os elementos f tais que
considerado sol
2 , tambem precisa ser um grupo Abeliano. Porem, e apenas quando analisamos as outras duas
G
propriedades de comutaca o Av , Cj e Bp , Dj que surge uma constataca o muito mais forte
sobre este conjunto. Afinal de contas, segundo o que resume as Figuras C.3 e C.4 que constam na
pr
oxima pagina, podemos concluir que a u nica maneira de fazer com que estes dois comutadores
seja realmente nulo e com f sendo tal que
f g = g f (C.5)
para qualquer g G1 . Ou seja, Z precisa ser muito mais do que um simples grupo Abeliano: Z
precisa ser o centro do grupo G1 .
C.2. REGRAS DE COMUTAC DOS OPERADORES DO QDMF
AO 251
a
P a 0
Av Dj d b = Av d f b
c c 0
P ka 0
= dk 1 k f b
k,
ck 1 0
a
P ka
Dj Av d b = Dj dk 1 kb
c k
ck 1
P ka 0
= dk 1 f kb
k,
ck 1 0
a a
P
Bs Dj d
b = Bs d
f b
c c
a
P
= ab1 f 1 c1 d, h
f d 0
f b 0
c
a a
P
Dj Bs d
b = ab1 c1 d, h Dj
f d
b
c c
a
P
= ab1 c1 d, h
f d 0
f b 0
c
o inteiramente an
Figura C.4: Situaca ` da figura anterior, onde vemos n
aloga a ao apenas os resultados das
es das duas possveis combinaco
atuaco es entre os operadores Bp e Dj sobre os campos que definem o QDMf,
mas toda a necessidade de que f seja um elemento do centro de G1 para que estes dois operadores
comutem.
252 NDICE C. ALGUMAS CONSIDERAC
APE LEVEMENTE ENFADONHAS
OES
Refer
encias Bibliogr
aficas
[1] A. Tarski: Introduction to logic and to the methodology of deductive sciences (Dover Publicati-
ons Inc., New York 1995).
[6] Xiao-Gang Wen: An Introduction to Topological Order (Notas de Aulas MIT, Cambridge 2009).
[7] R. L. Feynman, R. B. Leighton, M. L. Sands: The Feynman Lectures on Physics (Basic Books,
New York 2010).
[8] Y. A. C
encel, M. A. Boles: Termodynamics: An Engineering Approach, 7th Edition (The Mc-
Graw Hill Companies Inc., New York 2011).
[11] V. L. Ginzburg, L. D. Landau: Zh. Eksp. Teor. Fiz. 20, 1064 (1950).
[13] Xiao-Gang Wen: Quantum Field Theory of Many-body Systems: From the Origins of Sound to
an Origin of Light and Electrons (Oxford Graduate Texts, 2007).
253
254
NCIAS BIBLIOGRAFICAS
REFERE
[19] M. F. Araujo de Resende, A. F. Morais: Pure gauge theories on lattices as Hamiltonian systems
o 2017).
with constraints (Artigo em preparaca
[21] C. K. Jung, C. McGrew, T. Kajita, T. Mann: Annu. Rev. Nucl. Part. Sci. 51, 451 (2001).
[22] C. Giunti, C. W. Kim: Fundamentals of Neutrino Physics and Astrophysics (Oxford University
Press, New York 2007).
[24] S. P. Mikheev, A. Yu. Smirnov: Sov. J. Nucl. Phys. 42, 913 (1985).
[26] M. F. Araujo de Resende: Teorias de calibre como sistemas Hamiltonianos com vnculos: um
ponto de vista geometrico (Revista Brasileira do Ensino de Fsica, Artigo submetido 2017).
[28] M. F. Araujo de Resende: A didatical overview about the topological order concept in the 2D
o, 2017).
Toric Code and in one 3D generalisation (Artigo em finalizaca
[29] M. F. Araujo de Resende, J. Lorca Espiro, P. Teotonio Sobrinho: Remarks on Quantum Double
o, 2017).
orio (Artigo em preparaca
Models plus matter Ttulo provis
NCIAS BIBLIOGRAFICAS
REFERE 255
[31] J. D. Jackson: Classical Electrodynamics, Third Edition (John Willey & Sons Inc., New York
1999).
[33] M. P. do Carmo: Geometria Riemanniana (Projeto Euclides, IMPA, Rio de Janeiro 2005).
[34] P. A. M. Dirac: Lectures on Quantum Mechanics (Yeshiva University Press, New York 1964).
[35] D. M. Gitman, I. V. Tyutin, Y. S. Prager: Soviet Phys. Journ. 26, 760 (1983).
[39] S. MacLane, G. Birkhoff: Algebra, Third Edition (AMS Chelsea Publishing, Rhode Island
1999).
[41] R. Oeckl: Discrete Gauge Theory from lattices to TQFT (Imperial College Press, Londres 2005).
[46] V. V. Prasolov, A. B. Sossinsky: Knots, Links, Braids and 3-Manifolds: An Introduction to the
New Invariants in Low-Dimensional Topology (American Mathematical Society, Rhode Island
1997).
256
NCIAS BIBLIOGRAFICAS
REFERE
[49] A. Hatcher: Algebraic Topology (Cambridge University Press, New York 2002).
[52] E. L. Lima: A
lgebra Linear (IMPA, Rio de Janeiro 2008).
[55] G. Arfken: Mathematical Methods for Physics, Third Edition (Academic Press Inc., San Diego
1985).
[56] J. L. Synge, A. Shild: Tensor Calculus (Dover Publications Inc., New York 1978).
[57] F. Verstraete, M. M. Wolf, D. Perez-Garca, J. I. Cirac: Phys. Rev. Lett. 96, 220601 (2006).
[59] C. Castelnovo, S. Trebst, M. Troyer: Topological Order and Quantum Criticality, em Unders-
tanding Quantum Phase Transitions, editado por L. D. Carr (CRC Press, Taylor & Francis
Group 2011).
[60] C. Itzykson, J. B. Zuber: Quantum Field Theory (McGraw-Hill Inc., New York 1980).
[64] C. Kassel: Quantum Groups Graduate Texts in Mathematics, Volume 155 (Springer-Verlag
1995).
[65] J. Andersson: A lattice model for topological phases (Examensarbete Karlstad Universitet,
Karlstad 2013).
[69] R. Oeckl: Discrete Gauge Theory: From Lattices to TQFT (Imperial College Press, London
2005).
[71] R. B. Potts: Proceedings of the Cambridge Philosophical Society 48, 106 (1952).
[72] J. P. I. Jimenez: Gauge and Matter Fields on a Lattice - Generalizing Kitaevs Toric Code Model
o de Mestrado IFUSP, S
(Dissertaca ao Paulo 2015).
[73] C. Quigg: Gauge Theories of the Strong, Weak and Electromagnetic Interactions (Westview
Press, 1997).
[78] J. D. Bjorken, S. D. Drell: Relativistic Quantum Mechanics (Mc Graw-Hill, New York 1964).
[79] F. Halzen, A. D. Martin: Quarks & Leptons: An Introductory Course in Modern Particle Physics
(John Wiley & Sons, 1984).
258
NCIAS BIBLIOGRAFICAS
REFERE
[84] K. Murasugi, B. Kurpita: A Study of Braids (Kluwer Academic Publishers, Dordretch 1999).
[85] N. E. Bonesteel, L. Hormozi, G. Zikos, S. H. Simon: Phys. Rev. Lett. 95, 140503 (2005).
o de Mestrado IFUSP, S
[90] J. V. Zuccon: Supercondutividade em ligas Ta1x Zr x (Dissertaca ao
Paulo 2016).
[95] W. Rudin: Fourier Analysis on Groups (John Wiley & Sons Ltd, New York 1962).
[96] S. A. Morris: Pontryagin Duality and the Structure of Locally Compact Abelian Groups (Cam-
bridge University Press, New York 1977).
[97] J. A. Beachy, W. D. Blair: Abstract Algebra Third Edition (Waveland Press Inc.,Land Grove
2006).
NCIAS BIBLIOGRAFICAS
REFERE 259
[99] S. Mantovani, G. Metere: Theory and Applications of Categories, Vol. 23, No. 6, 113 (2010).
[100] J. Baez, U. Schreiber: Higher Gauge Theory, em Categories in algebra, geometry and mathe-
matical physics: a conference in honor of Ross Streets 60th birthday, July 11-16, 2006, editado
por A. Davydov, M. Batanin, M. Johnson, S. Lack, A. Neeman (Contemporary mathematics
431, American Mathematical Society 2007).
[101] I. Bucur, A. Deleanu: Introduction to the Theory of Categories and Functors (John Wiley &
Sons Ltd, London 1970).
[102] S. Awodey: Category Theory (Oxford University Press, New York 2006).
[107] M. F. Araujo de Resende: Molecular structures via eletrostatic confinement in self-dual Abelian
Quantum Double Models with matter (Projeto em desenvolvimento, 2016).
[108] M. F. Araujo de Resende, R. M. Rodrigues: Toric Code plus matter as a toy model for beta
decays (Projeto em desenvolvimento, 2017).
[109] Z.-C. Gu: Neutrino as topological Majorana zero modes: the origin of three generations of
neutrinos and their mass mixing (arXiv:1403.1869 [hep-ph]).
[110] I. J. R. Aitchison, A. J. G. Hey: Gauge Theories in Particles Physics, Volume I: From Relativistic
Quantum Mechanics to QCD (Institute of Physics Publishing, Bristol and Phyladelphia 2003).
[111] M. E. Peskin, D. V. Schroeder: An Introduction to Quantum Field Theory (The Advanced Book
Program, Westview Press, Colorado 1995).
260
NCIAS BIBLIOGRAFICAS
REFERE
[113] K. Hrbacek, T. Jech: Introduction to Set Theory - Third Edition, Revised and Explained (Marcel
Dekker Inc., New York 1999).
[115] M. Tinkham: Group Theory and Quantum Mechanics (Dover Publications Inc., New York
1964).
S
ao Paulo 1990).