LARISSA GAYDUTSCHENKO

MATRIZES DE MASSA E VIOLAO CP

CAMPINAS
2013
ii
UNIVERSIDADE ESTADUAL DE CAMPINAS
Instituto de Fsica Gleb Wataghin
LARISSA GAYDUTSCHENKO
MATRIZES DE MASSA E VIOLAO CP
Dissertao apresentada ao Instituto
de Fsica Gleb Wataghin da Universidade
Estadual de Campinas como parte
dos requisitos exigidos para a obteno
do ttulo de Mestre em Fsica
Orientador: Orlando Luis Goulart Peres
ESTE EXEMPLAR CORRESPONDE VERSO FINAL
DA DISSERTAO DEFENDIDA PELA ALUNA
LARISSA GAYDUTSCHENKO, E ORIENTADA PELO
PROF. DR. ORLANDO LUIS GOULART PERES
______________________________
CAMPINAS
2013
Ficha catalogrfica
Universidade Estadual de Campinas
Biblioteca do Instituto de Fsica Gleb Wataghin
Valkria Succi Vicente - CRB 8/5398

Gaydutschenko, Larissa, 1987-
G254m GayMatrizes de massa e violao CP / Larissa Gaydutschenko. Campinas, SP :
[s.n.], 2013.


GayOrientador: Orlando Luis Goulart Peres.
GayDissertao (mestrado) Universidade Estadual de Campinas, Instituto de
Fsica Gleb Wataghin.


Gay1. Matrizes de massa. 2. Neutrinos. 3. Matrizes de mistura. 4. Quebra
espontnea de simetria. 5. Violao de CP (Fsica nuclear). I. Peres, Orlando Luis
Goulart,1969-. II. Universidade Estadual de Campinas. Instituto de Fsica Gleb
Wataghin. III. Ttulo.

Informaes para Biblioteca Digital
Ttulo em outro idioma: Mass matrices and CP violation
Palavras-chave em ingls:
Mass matrices
Neutrinos
Mixing matrix
Spontaneous symmetry breaking
CP violation (Nuclear physics)
rea de concentrao: Fsica
Titulao: Mestra em Fsica
Banca examinadora:
Orlando Luis Goulart Peres [Orientador]
Juan Carlos Montero Garcia
Carola Dobrigkeit Chinellato
Data de defesa: 27-06-2013
Programa de Ps-Graduao: Fsica
Powered by TCPDF (www.tcpdf.org)
iv
v
vi
Resumo
O fenmeno de oscilao de neutrinos, j experimentalmente observado, s pode ser
explicado se a massa dos neutrinos for diferente de zero. No entanto, at pouco tempo atrs,
acreditava-se que neutrinos no tivessem massa.
O Modelo Padro das partculas elementares ainda no capaz de descrever a
natureza massiva dos neutrinos, de forma que as matrizes de mistura para lptons (entre
autoestados de gauge e autoestados de massa), anlogas s matrizes de mistura de quarks,
ainda no podem ser encontradas.
Atravs de uma pequena extenso do Modelo Padro, possvel descrever uma fsica
que leva em conta essas massas e que, portanto, nos fornece essas matrizes de mistura.
Essa extenso trata-se de nada mais que o acrscimo de uma nova partcula ao
modelo, um lpton neutro que no interage por fora fraca. Essa partcula chamada de
neutrino estril. Portanto, acrescentando um ou mais neutrinos estreis ao Modelo Padro
posso obter a matriz de mistura para lptons e, consequentemente, contar o nmero de
parmetros fsicos que ela possui.
O interesse em contar esses parmetros reside no fato de que encontrar o nmero de
fases complexas presentes na matriz de mistura equivalente a encontrar o nmero de
fases de violao de simetria conjugao de carga e paridade (CP) para lptons.
Em 1967, o fsico russo Andrei Sakharov props uma forma de explicar a assimetria
barinica (matria-antimatria) partindo de um estado simtrico. Para isso, algumas
condies precisariam ser respeitadas pela fsica do universo. Uma dessas condies que
exista na natureza uma fonte de violao CP. Procurar essa violao em lptons foi o
objetivo deste trabalho.
Assim, foi possvel obter a matriz de mistura para lptons estendendo o modelo
padro pela adio de um neutrino estril e levando em conta o caso geral de n famlias de
lptons. Uma vez tendo encontrado a matriz de mistura, fizemos a contagem dos
parmetros.
Alm abranger os clculos usados para encontrar o nmero de fases complexas da
matriz, a dissertao apresenta uma breve introduo teoria quntica de campos, a
simetrias discretas e ao mecanismo de quebra espontnea de simetria, conceitos
necessrios para o entendimento do trabalho realizado.
vii
Abstract
The neutrino oscillation phenomenum, already experimentally observed, can only be
explained if neutrino masses are different from zero. However, till recently, it was believed that
neutrinos were massless.
The Standard Model of elementary particles is yet not able to describe the massive
nature of neutrinos, such that the lepton mixing matrix (between gauge eigenstates and mass
eigenstates), analogous to the quark mixing matrix, can still not be found.
Through a small extension of the Standard Model, it is possible to describe physics that
take into account these masses and, therefore, provides us with these mixing matrices.
This extension is nothing but the addition of a new particle, a neutral lepton that does
not interact through weak force. This particle is called sterile neutrino. So, by adding one or
more sterile neutrinos to the Standard Model, I can get the lepton mixing matrix and
consequently count the number of physical parameters that it presents.
The interest in counting these parameters resides in the fact that finding the number of
complex phases in the mixing matrix is equivalent to finding the number of charge
conjugation-parity (CP) violation for leptons.
In 1967, the Russian physicist Andrei Sakharov proposed a way to explain the barionic
asymmetry (matter-antimatter) beginning with a symmetric state. For that to work some
conditions needed to be respected by the universe physics. One of them is that there must
exist in nature a source of CP violation. Looking for that source as the leptonic sector of the
particle physics was the goal of this project.
And finally it was possible to get the lepton mixing matrix extending the standard model
by the addition of one sterile neutrino and taking into account the general case of n lepton
families. Once we got the mixing matrix, we counted the physical parameters.
Besides presenting all the calculation used for finding the number of complex phases in
the matrix, this thesis presents a brief introduction to quantum field theory, discrete
symmetries and the spontaneous symmetry breaking mechanism, all of these concepts being
necessary for the understanding of the work accomplished.
viii
Sumrio
Dedicatria p. xiii
Agradecimentos p. xv
1 Introduo p. 1
1.1 Objetivo do trabalho . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 2
1.2 Conceitos Fundamentais . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 4
1.2.1 Quiralidade e Helicidade . . . . . . . . . . . . . . . . . . . . . . . . p. 4
1.2.2 Transformaes de Calibre . . . . . . . . . . . . . . . . . . . . . . . p. 5
1.3 Conveno de unidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 6
1.4 Condies de Sakharov . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 7
1.4.1 Teoria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 7
1.4.2 Neutrinos massivos e as condies de Sakharov . . . . . . . . . . . . p. 11
2 Teorema spin-estatstica p. 13
2.1 Conceitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 13
2.1.1 Comutadores e Anti-comutadores . . . . . . . . . . . . . . . . . . . p. 14
2.1.2 Microcausalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 14
2.1.3 Positividade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 14
2.1.4 Estados simtricos e anti-simtricos . . . . . . . . . . . . . . . . . . p. 15
2.2 Estatstica Quntica de Bose-Einstein . . . . . . . . . . . . . . . . . . . . . p. 15
2.3 Estatstica de Fermi-Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 16
2.4 Teorema spin-estatstica . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 16
2.4.1 Contexto Histrico . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 17
2.4.2 Prova de Pauli . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 18
2.5 Prova de Weinberg . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 23
2.6 Concluses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 26
3 Simetrias p. 27
3.1 Denio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 27
3.2 Simetrias Contnuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 28
3.2.1 Teorema de Noether . . . . . . . . . . . . . . . . . . . . . . . . . . p. 29
3.3 Formulao matemtica das simetrias . . . . . . . . . . . . . . . . . . . . . p. 31
3.4 Simetrias Discretas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 32
3.4.1 Paridade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 33
3.4.2 Inverso temporal . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 33
3.4.3 Conjugao de carga . . . . . . . . . . . . . . . . . . . . . . . . . . p. 34
3.5 Evidncias experimentais da quebra de simetrias . . . . . . . . . . . . . . . p. 34
3.5.1 Yang-Lee: Violao de paridade nas interaes fracas . . . . . . . . p. 34
3.5.2 Sistema K
o

K
o
: violao de simetria conjugao de carga-paridade p. 35
3.6 Teorema CPT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 37
4 Quebra Espontnea de Simetria p. 39
4.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 39
4.1.1 Teoria de Yang-Mills . . . . . . . . . . . . . . . . . . . . . . . . . . p. 41
4.2 Mecanismo de gerao de massas . . . . . . . . . . . . . . . . . . . . . . . p. 41
4.3 Caso Abeliano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 48
5 Teoria Quntica de Campos p. 51
5.1 Motivao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 51
5.2 Dinmica dos campos clssicos . . . . . . . . . . . . . . . . . . . . . . . . . p. 52
5.2.1 Fundamentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 53
5.2.2 A dinmica a partir da Lagrangiana . . . . . . . . . . . . . . . . . . p. 53
5.2.3 Campos de Klein-Gordon . . . . . . . . . . . . . . . . . . . . . . . p. 55
5.2.4 Campos de Maxwell . . . . . . . . . . . . . . . . . . . . . . . . . . p. 56
5.2.5 Localidade dos campos . . . . . . . . . . . . . . . . . . . . . . . . . p. 58
5.2.6 Invarincia de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . p. 58
5.2.7 A dinmica a partir da Hamiltoniana . . . . . . . . . . . . . . . . . p. 61
5.3 Campos Livres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 62
5.3.1 Quantizao cannica . . . . . . . . . . . . . . . . . . . . . . . . . . p. 62
5.3.2 Oscilador Harmnico Simples . . . . . . . . . . . . . . . . . . . . . p. 64
5.3.3 Campo Escalar Livre . . . . . . . . . . . . . . . . . . . . . . . . . . p. 67
5.4 O modelo padro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 69
5.5 Interaes fracas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 71
5.6 Teoria Eletrofraca . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 72
6 Matriz de massa para neutrinos p. 73
6.1 Neutrinos estreis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 74
6.2 Modelo padro estendido por neutrinos estreis . . . . . . . . . . . . . . . p. 74
6.3 Matriz de massa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 81
6.4 Matriz de mistura com n
0
= 1 e n = 1 . . . . . . . . . . . . . . . . . . . . p. 94
6.5 Matriz de mistura com n
0
= 1 e n > 1 . . . . . . . . . . . . . . . . . . . . p. 98
6.6 Resultados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 109
7 Concluso p. 111
Referncias p. 113
xiii
Dedicatria
Dedico este trabalho a meus pais por tudo o que zeram por mim, espero um dia poder
retribuir. A meu irmo pelos ns de semana com longas horas de Halo 3 no nvel legendrio,
que passavam como minutos. minha irm por todas as roupas emprestadas e por todos os
cuidados para me arrumar quando saamos. E nalmente minha tia, que no s patrocinou,
como torceu por mim o tempo todo.
E tambm a todos os meus amigos. Porque todos me ajudaram a chegar aqui. No
poderia deixar de dedicar um pouquinho disso a vocs.
xiv
xv
Agradecimentos
Agradeo a inndvel pacincia do Orlando e tambm a sua compreenso. Foi um amigo
quando eu mais precisei. Obrigada.
xvi
1
1 Introduo
Este trabalho abrangeu uma gama de diferentes reas relacionadas ao modelo padro das
partculas elementares e a simetrias. Assim, para apresent-lo, seguiu-se a mesma linha de
estudo percorrida para sua execuo.
Neste primeiro captulo, da introduo, so apresentadas quatro sees. A primeira seo
explica o objetivo do trabalho que foi realizado. A seo seguinte, referente aos Conceitos
Fundamentais, tem como propsito apresentar alguns conceitos bsicos necessrios para o
entendimento da teoria, como a diferena entre quiralidade e helicidade e o que so transfor-
maes de calibre. A terceira seo deste captulo apresenta a conveno de unidades adotada
nesta dissertao. E a ltima seo deste captulo, Condies de Sakharov, trata de uma
breve introduo ao estudo de Andrei Sakharov que deu origem s condies de Sakharov e
que, em ltima instncia, motivou todo este trabalho. Esta seo tem como objetivo explicar
um pouco melhor as condies de Sakharov e quais so as consequncias de sua existncia
para a fsica.
A seguir apresenta-se o captulo Teorema spin-estatstica, que pode, no entanto, parecer
um pouco fora de contexto. Trata-se de um comentrio e breve explanao sobre um estudo
realizado a respeito de duas diferentes provas para o teorema spin-estatstica. Este um
teorema que fundamenta a base da teoria quntica de campos, denindo a estatstica que
separa fundamentalmente os bsons dos frmions. Em especial, o estudo est aqui apresen-
tado porque foi o tema do exame de qualicao de mestrado. um captulo auto-contido e,
apesar de muito interessante, no fundamental para o entendimento do resto do trabalho
realizado.
Por ser de fundamental importncia para o trabalho, o captulo seguinte foi reservado
ao tratamento das simetrias. Este captulo apresenta a diferena entre simetrias contnuas e
discretas, apresenta a prova do teorema de Noether e formula as trs simetrias discretas de
2
interesse: transformao de paridade, inverso temporal e conjugao de carga. A seo nal
deste captulo apresenta ainda um estudo sobre violao CP, que seria a violao simultnea
de duas simetrias discretas: a inverso espacial (ou paridade) e a conjugao de carga.
exatamente a quebra da simetria CP o que estamos procurando para o caso de neutrinos.
Seguindo a linha do estudo das simetrias o captulo posterior, Quebra Espontnea de
Simetria, equaciona o mecanismo de Higgs, partindo dos princpios fundamentais da quebra
espontnea de simetria. tambm de grande importncia, sendo o mecanismo que possibilita
a descoberta da matriz de mistura para quarks, exatamente a que inspira a procura de uma
matriz de mistura para os frmions.
O captulo seguinte, Teoria Quntica de Campos, apresenta de maneira pontual os prin-
cipais pontos da construo da teoria quntica de campos, partindo da motivao para sua
descoberta e apresentando os campos clssicos, a quantizao de um campo escalar livre, uma
introduo ao Modelo Padro das partculas elementares, s interaes fracas e nalmente
Teoria Eletrofraca.
Finalmente, o captulo de maior importncia para o trabalho e que, de fato, apresenta
uma viso diferente daquela que pode ser encontrada em livros-texto, o captulo Matriz
de massa para neutrinos. O estudo teve como base o artigo (1) e apresenta os clculos
para encontrar uma matriz de mistura para lptons atravs da adio, ao modelo padro, de
neutrinos estreis. Aps encontrar matriz de mistura, primeiro para o caso de um neutrino
estril adicionado a um modelo de uma famlia de lptons e, posteriormente, para o caso
de um neutrino estril adicionado a um modelo de n famlias, realizada a contagem dos
parmetros de violao CP.
O captulo nal, Concluses, resume o escopo do trabalho realizado apresentando uma
viso geral do que foi estudado e dos resultados obtidos com o estudo.
1.1 Objetivo do trabalho
O modelo padro, atualmente, no leva em conta o fato de que neutrinos possuem massa.
Apesar de sabermos que isso no , de fato, verdadeiro, ainda no h concordncia em meio
comunidade cientca sobre como tratar este problema. Pelo fato de o modelo padro ser
um modelo com resultados bastante favorveis, acredita-se que a soluo esteja em adotar
3
apenas uma extenso do modelo padro j existente.
Concomitantemente a este fato, outro problema em aberto da fsica explicar a notvel
assimetria entre a quantidade de matria e antimatria presente no nosso universo. O fsico
russo Andrei Sakharov props trs condies que, se respeitadas pela natureza, seriam su-
cientes para explicar esse fenmeno de assimetria. Entre essas condies, Sakharov aponta a
necessidade de que exista uma fonte de violao CP na natureza.
A violao CP j foi vericada para o caso de kons, mas nunca foi encontrada para siste-
mas de frmions. No entanto, a quebra encontrada no suciente para causar a assimetria
que vemos atualmente.
Voltando ideia original, uma das possveis solues sugeridas para o problema das
massas dos neutrinos, e que no caso trata-se da soluo adotada para este trabalho, a
de adicionar neutrinos estreis ao modelo padro. Tais neutrinos no teriam nenhum tipo
de interao fraca e seriam apenas os responsveis pelo mecanismo de massa dos frmions
neutros.
Os neutrinos estreis foram propostos h alguns anos e, apesar de ainda no haver ne-
nhuma prova concreta de sua existncia, existem diversos resultados experimentais que apon-
tam nessa direo.
Ao assumir a existncia desses neutrinos possvel encontrar uma matriz de massa para
frmions, anloga quela encontrada para o caso de quarks. E, com a diagonalizao dessa
matriz de massa, encontramos a matriz de mistura dos frmions, que no existiria no caso
de neutrinos no massivos.
Nessa matriz possvel identicar fases de violao CP que, se encontradas, talvez sejam
sucientes para sustentar a condio de Sakharov que exige violao CP para explicar a
assimetria matria-antimatria.
com esse objetivo que este estudo foi iniciado e o principal material de estudo foi
um artigo publicado por Yi Liao (1), onde este faz a contagem destes parmetros livres na
matriz de mistura encontrada para o caso de um neutrino estril adicionado ao modelo. Este
trabalho revisita o artigo de Liao e apresenta os resultados com o estudo.
4
1.2 Conceitos Fundamentais
Para o desenvolvimento do trabalho realizado foi necessrio levar em conta alguns con-
ceitos j bem estabelecidos na fsica. O objetivo desta seo introduzir ao leitor estes
conceitos que, a partir deste captulo, sero utilizados de forma direta no desenvolvimento
da dissertao.
Primeiramente, os conceitos de helicidade e quiralidade sero diferenciados. A seguir
apresentada a formulao das transformaes de calibre (gauge), um conceito tambm de
fundamental importncia ao longo do trabalho.
1.2.1 Quiralidade e Helicidade
A helicidade de uma partcula projeo de seu spin na direo do seu momento. Quando
a direo do spin a mesma do momento linear, a partcula dita de mo direita, e quando
o spin tem direo oposta ao momento, ela dita de mo esquerda. importante diferenciar
o conceito de helicidade do conceito de quiralidade. A helicidade h dada pela equao:
h =

S p, (1.1)
onde o momento linear da partcula dado por p e

S o spin da partcula.
O conceito de quiralidade pode ser denido no mbito da fsica da seguinte forma: uma
entidade dita quiral quando ela pode ser diferenciada de sua imagem no espelho. Assim,
quando a imagem de um fenmeno fsico visto no espelho pode ser diferenciada do fenmeno
original, esse fenmeno pode ser chamado de quiral.
A quiralidade de uma partcula pode ser determinada sabendo se ela se transforma por
uma representao de mo direita ou de mo esquerda do grupo de Pointcar. O grupo de
Pointcar um grupo de isomerias do espao de Minkowski. Para a fsica de partculas o
operador da quiralidade pode ser escrito como:
P
RL
=
1
2
_
1
5
_
, (1.2)
onde R quer dizer a projeo de mo direita e L quer dizer a projeo para a mo esquerda.
Assim tenho que:
P
L
=
L
. (1.3)
5
O campo
L
destri uma partcula quiral de mo esquerda ou constri uma antipartcula
quiral de mo direita, enquanto um campo
R
destri uma partcula quiral de mo direita
ou constri uma antipartcula quiral de mo esquerda.
Quando a partcula no tem massa, a quiralidade pode representar a mesma quantidade
que a helicidade. Isso acontece porque partculas de massa zero viajam na velocidade da
luz e, consequentemente, no existe nenhum referencial no qual voc pode ver essa partcula
viajando na direo contrria. A helicidade neste caso a mesma para todos os referenciais,
ou seja, um invariante relativstico.
No entanto, para o caso de partculas massivas, e em especial para o caso dos neutrinos,
sempre possvel encontrar um referencial em que o momento linear da partcula aponta na
direo contrria da original, revertendo ento sua helicidade, mas no sua quiralidade. H
uma escolha de referencial em que uma partcula de mo direita pode ser vista como uma
partcula de mo esquerda, do ponto de vista de helicidade. Assim, a helicidade no um
invariante relativstico.
A matriz
5
um invariante de Lorentz, e consequentemente o projetor de quiralidade
deve ser, tambm, escrito em termos da matriz
5
, sendo consequentemente um invariante
relativstico. No h mudana de referencial que torne uma partcula de mo direita, do
ponto de vista quiral, em uma partcula de mo esquerda.
Das trs foras descritas pela Teoria Quntica de Campos: forte, fraca e eletromagntica,
apenas uma no cega quiralidade da partcula: a fora fraca. A interao fraca diferencia
partculas com quiralidades diferentes.
Na teoria quntica de campos, quando a Lagrangeana que descreve a interao em questo
pode ser separada em duas partes, uma parte de mo direita e uma parte de mo esquerda,
e essas duas partes podem ser tratadas independentemente ento essa Lagrangeana descreve
um modelo quiral. A Teoria Quntica de Campos uma teoria quiral.
1.2.2 Transformaes de Calibre
Transformaes de calibre (ou gauge, do ingls), so uma simetria para diversas teorias
fsicas. Tanto uma teoria clssica de campos quanto uma teoria quntica de campos podem
apresentar simetria de calibre. Impondo invarincia de calibre possvel encontrar diversas
6
propriedades de grande importncia para a teoria.
Campos que respeitam a teoria de gauge so invariantes por uma transformao de fase.
Existem dois tipos de transformaes de gauge. As chamadas transformaes de calibre
globais, ou do primeiro tipo, so aquelas em que a fase alterada homogeneamente para
todos os pontos do espao-tempo. Por exemplo:
(x) e
ie
(x). (1.4)
Aqui a letra e na exponencial um parmetro desta transformao. Em notao de teoria
de grupos esta uma transformao do tipo U(1).
So chamadas de transformaes de calibre local, ou do segundo tipo, aquelas em que a
fase alterada de forma diferente para cada ponto do espao-tempo. Por exemplo:
(x) e
ie(x)
(x). (1.5)
As transformaes de calibre locais impe uma restrio muito maior Lagrangiana do
que as transformaes de calibre globais, uma vez que no caso local cada ponto do espao-
tempo se transforma de forma diferente.
1.3 Conveno de unidades
Para o desenvolvimento desta dissertao e, em especial, para os captulos sobre Teoria
Quntica de Campos e posteriores, foi utilizada a conveno das chamadas unidades naturais.
Tenho que duas das principais constantes universais possuem dimenses tais que:
[c] = espao tempo
1
(1.6)
[~] = espao
2
massa tempo
1
Assim, para utilizar unidades naturais, deno que:
c = ~ = 1. (1.7)
Escolho tambm que 4
0
= 1. Na tabela abaixo encontram-se algumas quantidades
7
fundamentais e como podem ser escritas em unidades naturais:
Unidade Natural Valor Mtrico
1 eV
1
de comprimento 1.97 10
7
m
1 eV de massa 1.78 10
36
kg
1 eV
1
de tempo 6.58 10
16
s
Finalmente, a mtrica espacial de Minkowski usada neste trabalho tal que:

=
_
_
_
_
_
_
_
_
_
+1
1
1
1
_
_
_
_
_
_
_
_
_
. (1.8)
A conveno de unidades adotada aplica-se a todo o trabalho apresentado.
1.4 Condies de Sakharov
Por ser a motivao principal deste trabalho, esta seo foi reservada para explicar com
mais detalhes o que so as condies de Sakharov e sua importncia para explicar a assimetria
matria-antimatria no universo.
1.4.1 Teoria
A teoria de expanso do universo pressupe um estado inicial denso de matria, este
que aniquilaria qualquer antimatria presente. Assim, entende-se que seria impossvel ter
quantidade semelhante de antimatria durante esse desenvolvimento. E, at onde sabemos,
o universo resultante assimtrico no quesito matria-antimatria (2). Isso porque as evi-
dncias de que o universo que habitamos seja realmente formado apenas por matria so
fortes.
De fato, de toda a informao que possumos, seja ela provinda de observaes ou de
exploraes, todos os outros corpos celestes existentes so formados por matria, assim como
nosso planeta. Mas a razo pela qual a quantidade de matria formada passou a ser maior
do que a de antimatria ainda permanece desconhecida.
8
Assim, sendo B = b

b, onde b o nmero de brions e

b o nmero de antibrions, hoje
percebemos que B > 0. H algumas teorias que procuram explicar esse fato. Entre elas:
1. O universo sempre foi assimtrico quanto ao nmero de brions e anti-brions.
Essa teoria prope que aps o Big-Bang B > 0 e que isso permanece at hoje. Apesar
de ter sido a teoria de maior aceitao no passado, hoje j no prevalece como a mais
adequada. Entre outras razes, porque muito provvel que qualquer assimetria inicial
fosse rapidamente eliminada devido a consideraes termodinmicas.
2. O universo comeou neutro, tal que B = 0, e permanece assim at hoje.
Aqui a ideia a de que o universo se expandiu to rapidamente que nem todo par
matria-antimatria se aniquilou antes que utuaes randmicas formadas por ma-
tria/antimatria se separassem e assim, nesses lugares onde houve predominncia de
uma das duas, formaram-se aglomeraes onde uma ou outra geraram os corpos celes-
tes. Neste caso, deveria ser possvel detectar radiao provinda dos lugares do espao
onde acontece mistura entre esses clusters de matria com os de antimatria. E por
causa disso raios csmicos de alta energia deveriam se apresentar como uma radiao
anisotrpica de aniquilao com quantidades iguais de matria e antimatria, j que se
espera que a quantidade de matria e antimatria presente no universo seja a mesma.
A evidncia experimental aponta na direo contrria desta teoria, j que na radiao
csmica o nmero de prtons supera o de antiprtons por uma escala de 10
4
para 1.
3. O universo comeou neutro, tal que B = 0, mas houve uma assimetria matria-
antimatria durante algum instante de seu desenvolvimento e isso acabou resultando
na presena nal apenas de matria.
Este modelo chamado de bariognese, j que a matria criada aps o Big Bang.
Deve preceder a nucleossntese - a criao dos nucleons e de ncleos leves dos primeiros
tomos. E assim, como a criao dos quarks aconteceu nos primeiros 10
2
segundos,
a bariognese deve ter acontecido antes disso. a teoria mais aceita atualmente e a
premissa que vamos assumir como correta.
Assim, assumimos que no princpio da formao do universo o nmero de brions e
antibrions era o mesmo, mas que logo aps o Big Bang houve um momento em que as
condies fsicas presentes acarretaram numa assimetria entre estas quantidades e ao nal
9
do processo apenas brions permaneceram. A causa dessa assimetria inicial permanece um
problema em aberto.
O fsico russo Andrei Sakharov props para este problema um modelo capaz de explicar
a existncia dessa assimetria como consequncia de trs condies (3). Uma dessas condies
seria a violao simultnea de duas simetrias: conjugao de carga e paridade, ou seja,
violao CP. As duas simetrias sero explicadas com maior detalhe em um captulo posterior.
No modelo proposto por Sakharov a assimetria seria uma consequncia da violao CP
durante a expanso no estacionria do universo quente, durante seu estgio superdenso. O
efeito no foi observado experimentalmente, mas foi demonstrado na teoria. Vale ressaltar
que Sakharov apenas lista as condies mnimas para a assimetria, sem procurar entender o
mecanismo da bariognese.
Para justicar a assimetria neste momento trs condies precisam ser respeitadas:
1. Existncia de ao menos um processo com violao de nmero barinico;
2. O sistema deve apresentar violao de simetria de conjugao de carga (C) e de simetria
conjugao de carga-paridade (CP);
3. Existncia de interaes fora do equilbrio trmico.
O primeiro item claro, pois se todas as reaes conservarem nmero barinico, nunca
haveria assimetria. Ou seja, deve haver uma reao do tipo:
X Y +B, (1.9)
onde X e B tem nmero barinico zero, enquanto B tem nmero barinico maior do que
zero. Mas isso no suciente. Assim entramos na segunda condio, pois se C for uma
simetria do universo, ento toda reao em que o nmero barinico no conservado ter
uma reao conjugada correspondente, de tal forma que todo brion resultante da reao
ser compensado pelo antibrion resultante da reao conjugada. Ou seja, se
(X Y +B) = (

X

Y +

B), (1.10)
ento no haver assimetria. Com os dois processos acontecendo no mesmo ritmo, o nmero
barinico vai se conservar ao longo do tempo. Ento violao de C uma condio necessria,
10
mas ainda no suciente.
Supondo uma reao em que h violao do nmero barinico e so criados brions de
mo esquerda, X Q
e
Q
e
. Se a natureza respeita a simetria de carga-paridade, CP, ento
o processo inverso por CP deve acontecer na mesma proporo e velocidade de

X

Q
d

Q
d
,
tal que:
(X Q
e
Q
e
) +(X Q
d
Q
d
) =

(X

Q
e

Q
e
) +

(X

Q
d

Q
d
). (1.11)
As reaes de conjugao de carga tm larguras diferentes, mas as duas somadas ainda
conservam nmero barinico e, consequentemente, preciso haver violao de CP para que
a taxa de bariognese supere a de antibariognese. E assim ca clara a segunda condio de
Sakharov.
A terceira condio necessria do ponto de vista de que ainda que exista violao C,
CP e de nmero barinico, consideraes termodinmicas precisam ser feitas. A diferena de
energia entre uma partcula e sua antipartcula correspondente dada por:
E = m
matria
m
antimatria
= 0. (1.12)
A distribuio de Boltzman diz que no equilbrio trmico deve haver a mesma quanti-
dade de matria e antimatria, pois outros processos acontecendo simultaneamente trazem
de volta o nmero de brions e antibrions para o equilbrio. Este argumento tambm der-
ruba a possibilidade de que qualquer assimetria matria/antimatria inicial permaneceria
posteriormente.
E assim, com as trs condies satisfeitas possvel chegar a um sistema B-assimtrico.
Vale ressaltar que as condies de Sakharov no so sucientes para explicar a assimetria
matria-antimatria. Uma vez satisfeitas as condies, ainda preciso descrever o mecanismo
atravs do qual acontece a bariognese.
Violao de simetria CP j foi observada nas interaes fracas para msons (4). Mas a
quebra encontrada no suciente para explicar a assimetria encontrada atualmente. Assim,
permanece a necessidade de encontrar mais fontes de violao CP na natureza. E esse um
dos principais motivadores para esse projeto.
Neste trabalho procura-se encontrar indcios da violao carga-paridade para lptons,
11
mais especicamente em sistemas de neutrinos. Para isso seria preciso encontrar fases com-
plexas na matriz de massa de neutrinos, como ser explicitado posteriormente.
1.4.2 Neutrinos massivos e as condies de Sakharov
A primeira questo que surge neste momento entender como as condies listadas na
seo anterior do sentido ao trabalho demonstrado nesta tese. O ponto principal, neste caso,
seria a segunda condio de Sakharov, que arma que o universo deve apresentar violao
de simetria de conjugao de carga (C) e de simetria conjugao de carga-paridade (CP).
Conforme mencionado, sabe-se que a violao CP j foi identicada para msons (4). No
entanto, isso foi identicado a baixas energias e, como sabemos, no estado inicial do universo
as energias eram muito altas. O efeito da violao ca diludo para o caso de altas energias
e, portanto, o mecanismo de quebra encontrado no capaz de cumprir a condio descrita
por Sakharov.
Para o caso de neutrinos poderamos ter esse efeito com neutrinos sucientemente mas-
sivos. Ou seja, para respeitar a condio de Sakharov seria preciso ocorrer violao CP a
altas energias e isso s seria possvel para partculas com massas muito maiores do que a
escala eletrofraca. Neste caso, o setor leptnico, e mais especicamente os neutrinos, no
caso de apresentarem massa, poderiam explicar esse fenmeno. Os neutrinos de mo direita
adicionados ao modelo padro devem ter massas de ordem muito maior do que a escala
eletrofraca.
Quantitativamente, supondo que exista um certo processo que vai gerar a assimetria e
sendo M(i j) a amplitude para a transio entre um dado estado i para um dado estado
j, a invarincia CP vai implicar (5):
M(i j) = M
_

j
_
. (1.13)
Aqui,

j e

i so os estados com conjugao de carga e com inverso espacial (ou seja, os
estados de conjugao CP) de i e j, respectivamente. E respeitando a unitariedade da matriz
S de espalhamento, que liga os estados i e j, ento a condio abaixo deve ser respeitada:

j
|M(i j)|
2
=

j

M
_

j
_

2
. (1.14)
12
Respeitando ento a invarincia CP, isso implicaria em:
|M(i j)|
2
=

M
_

j
_

2
. (1.15)
Onde a equao (1.15), acima, representa uma reao que produz partculas e antipart-
culas em mesma quantidade. O nmero de partculas criadas no estado j, partindo do estado
i, o mesmo nmero de partculas criadas no estado

j partindo do estado

i. A assimetria s
seria vericada, para a produo destas partculas para o caso em que h quebra da simetria
CP.
Para que este efeito no que diludo para o caso de altas energias, tais partculas precisam
ter massas de ordem muito maior do que a escala eletrofraca. Assim, conforme apresentado,
se encontrada violao CP para sistemas de neutrinos, neutrinos muito massivos poderiam
explicar o fenmeno.
13
2 Teorema spin-estatstica
O desenvolvimento de duas provas para o teorema spin-estatstica ser apresentado neste
captulo. O teorema spin-estatstica uma das bases da teoria quntica de campos, apre-
sentada no captulo 5. Aqui apresentado um estudo que explicita duas provas distintas
deste teorema. Este estudo e a posterior comparao destas provas foi um trabalho realizado
ao longo do mestrado e apresentado como base para o exame de qualicao (EQM). Sua
principal referncia foi o artigo de M. Massimi e M. Redhead (6).
O interesse no desenvolvimento das duas provas reside no fato de que a prova de Pauli
fundamentou-se em duas hipteses iniciais, enquanto a prova de Weinberg fundamentou-se
em apenas uma hiptese.
O teorema spin-estatstica a relao encontrada que prova que o spin de uma partcula
est diretamente ligado estatstica que ela obedece. Mais especicamente, o teorema que
demonstra que frmions e bsons comportam-se de maneiras fundamentalmente diferentes
no que diz respeito ocupao de estados de energia.
Pode-se considerar a prova de Weinberg mais "fundamental" do que a de Pauli, sendo
que esta ltima permanecia indireta para o caso de frmions desde sua formulao original.
A ideia principal aqui apontar as diferenas entre essas duas provas.
2.1 Conceitos
Para compreender as duas formulaes preciso denir a princpio alguns conceitos fun-
damentais.
14
2.1.1 Comutadores e Anti-comutadores
Deno como a operao de comutao entre dois operadores genricos A e B a seguinte
relao:
[A, B]

= AB BA. (2.1)
E, para a operao de anticomutao:
[A, B]
+
= AB +BA. (2.2)
2.1.2 Microcausalidade
Outro conceito fundamental o da chamada microcausalidade. A microcausalidade pode
ser expressa como a comutatividade de quantidades fsicas para um intervalo do tipo espao.
Isso seria equivalente a dizer que, para duas quantidades fsicas A e B quaisquer, locais, se
A e B respeitam a microcausalidade, ento tenho que:
[A(x), B(y)]

= 0 para (x y)
2
< 0. (2.3)
Neste caso, dizemos que o intervalo (x y)
2
< 0 um intervalo do tipo espao.
A microcausalidade um requerimento relativstico no qual toda a teoria quntica de
campos est fundamentada. E ser uma das hipteses assumidas para a prova do teorema
spin-estatstica.
Usando teoria quntica clssica, ou seja, no caso em que os operadores representam
quantidades fsicas, a condio da microcausalidade requer a comutatividade de quaisquer
dois operadores que pertencem a dois pontos distintos do espao-tempo, se estes dois pontos
no puderem ser ligados por um sinal (caso do intervalo tipo espao). Essa comutatividade
signica que as quantidades fsicas que esto associadas a cada um destes operadores podem
ser determinadas precisamente de forma independente e simultnea (7).
2.1.3 Positividade
Uma matriz H, hermitiana, dita positiva denida se todos os autovalores a ela associados
forem positivos e reais. Como uma consequncia disso, tenho que todos os valores esperados
15
de H sero positivos:
x|H|x > 0. (2.4)
Assim, se H for a matriz que representa uma Hamiltoniana, esta Hamiltoniana ser
positiva denida se, ao diagonalizar H, todos os elementos da diagonal forem positivos.
2.1.4 Estados simtricos e anti-simtricos
Um estado dito simtrico para partculas indistinguveis descrito por um vetor de estado
que no muda de sinal sob permutao das variveis de espao e spin dessas partculas. A
equao abaixo representa o vetor de estado simtrico para duas partculas idnticas:
1/

2 (|a
r
1
|a
s
2
+ |a
s
1
|a
r
2
) . (2.5)
Aqui o ndice 1 indica que o autoestado est ocupado pela partcula 1 e o ndice 2
indica que o autoestado est ocupado pela partcula 2. Tenho tambm dois autovalores,
um autovalor associado a cada autoestado. Assim, a
r
o autovalor associado a um dos
autoestados e a
s
o autovalor associado ao outro autoestado.
O estado anti-simtrico para partculas indistinguveis, no entanto, descrito por um
vetor de estado que muda de sinal sob a permutao das variveis de espao e spin dessas
partculas. A equao abaixo representa o vetor de estado anti-simtrico para duas partculas
idnticas:
1/

2 (|a
r
1
|a
s
2
|a
s
1
|a
r
2
) . (2.6)
2.2 Estatstica Quntica de Bose-Einstein
A estatstica quntica pode ser dividida em duas partes, a estatstica de Bose-Einstein e
a estatstica de Fermi-Dirac. Esta seo procura descrever brevemente a primeira.
Tendo sido elaborada em 1924 por Bose e Einstein, separadamente, foi proposta para des-
crever o comportamento de um gs de ftons. Esta estatstica impe que todas as partculas
que a respeitam devem ocupar somente estados simtricos.
Sua principal caracterstica que ela permite que mais de uma partcula idntica ocupe
16
o mesmo estado de energia. Mais do que isso, nesta estatstica no h limite superior para
o nmero de partculas idnticas que podem ocupar o mesmo estado de energia ao mesmo
tempo.
As partculas que respeitam esta estatstica so chamadas de bsons, em clara homenagem
a um de seus descobridores.
2.3 Estatstica de Fermi-Dirac
Foi elaborada tambm separadamente por Fermi e Dirac no ano de 1926. Procurava
descrever um gs que respeitasse o princpio da excluso de Pauli.
Descrevendo exatamente o caso oposto da estatstica bosnica, prope que as partculas
que a respeitam devem ocupar somente estados anti-simtricos.
Sua principal caracterstica o fato de que ela no permite que mais de uma partcula
idntica ocupe um mesmo estado de energia ao mesmo tempo. Ou seja, cada estado de
energia pode ser ocupado por no mximo uma partcula.
Tambm em homenagem a um de seus descobridores, as partculas que respeitam esta
estatstica so chamadas de frmions.
2.4 Teorema spin-estatstica
Toda partcula tem um nmero quntico associado ao seu valor de momento angular
intrnseco, o spin. Com respeito a esse valor, as partculas podem ter spin inteiro ou semi-
inteiro.
O teorema de spin-estatstica faz a seguinte conexo:
Partculas de spin inteiro respeitam estatstica de Bose-Einstein e so por isso cha-
madas de bsons.
Partculas de spin semi-inteiro respeitam estatstica de Fermi-Dirac e so por isso
chamadas de frmions.
Trata-se de uma armao bastante forte a fazer, dividindo todas as partculas elemen-
17
tares fundamentalmente em sua natureza, com comportamentos completamente distintos
estatisticamente.
Para provar o teorema spin-estatstica, portanto, preciso vericar se o spin da partcula
(inteiro ou semi-inteiro) est relacionado com uma regra de comutao ou com uma regra de
anticomutao para os campos que descrevem essa partcula.
Se o valor de spin estiver associado a uma regra de comutao, a estatstica respeitada
a de Bose-Einstein, onde os estados permitidos so simtricos. E, caso contrrio, se o
valor de spin estiver associado a uma regra de anticomutao, a estatstica respeitada a de
Fermi-Dirac, onde os estados permitidos so anti-simtricos.
2.4.1 Contexto Histrico
Em 1928, Dirac anunciou a soluo para a equao do eltron (8). Seria a descoberta da
equao de Dirac. dada por:
_

m
_
(x, t) = 0. (2.7)
Aqui

so as matrizes de Dirac ( = 0, 1, 2, 3), so os campos de Dirac (espinores),

que representam partculas de spin 1/2, e x

o vetor posio em quatro dimenses.

Lembrando que as matrizes de Dirac satisfazem

= 2g

, sendo que g

a
mtrica de Lorentz contravariante, de diagonal (1, 1, 1, 1).
Procurava-se uma equao de onda relativstica que tivesse solues positivas e negativas
separadas. Dirac no conseguiu esse feito pois, para o caso de campos externos dependentes
do tempo, era preciso lidar com transies de estados de energia positiva para estados de
energia negativa. Mas em 1930 Dirac descreveu o pacote de onda constitudo pela superposi-
o de estados de energia negativa como o movimento de um eltron de carga +e (e energia
positiva), no campo eletromagntico original.
Isso o aproximou da descoberta do psitron e deu a ele uma ideia de como lidar com as
solues de energia negativa. E assim que Dirac prope a existncia do chamado mar de
Dirac, um mar de frmions ocupando innitos estados de energia negativa. Todos os eltrons
do mundo teriam uma tendncia a cair para estes estados e o fariam, no estivessem eles
18
ocupados por outros eltrons.
2.4.2 Prova de Pauli
E nalmente, em 1940, Pauli publica a primeira prova do teorema spin-estatstica (9).
Isso acontece em meio ao contexto cientco da diculdade de explicar as solues de energia
negativa que resultavam da equao de Dirac proposta.
A prova de Pauli para o teorema se baseava em dois postulados diferentes:
Microcausalidade
Positividade da Energia
Para o caso de bsons, era suciente o requerimento da microcausalidade. Mas para
o caso de frmions, o requerimento da microcausalidade no era suciente, por isso Pauli
precisou recorrer ao argumento da positividade para completar a prova. O problema que,
recorrendo ao requerimento da positividade, Pauli estava se baseando no trabalho de Dirac.
Por anos o teorema cou espera de uma prova que fosse direta tambm para o caso
de frmions, mais "fundamental". Mas isso s foi atingido em 1964, com Weinberg. Em seu
trabalho, Weinberg precisou recorrer apenas a um postulado, o requerimento relativstico da
microcausalidade. Apesar de ter sido encontrada h quase 50 anos, a prova de Weinberg
ainda no utilizada nos livros-texto. Normalmente so utilizadas provas anlogas quela
realizada por Pauli. Por serem anlogas as provas para partculas de spin inteiro e spin
semi-inteiro, s ser apresentada a prova para o caso do spin semi-inteiro. Tambm porque,
exatamente para este caso, a prova difere para Pauli e para Weinberg. Conforme mencionado,
a prova de Pauli, para o caso dos bsons, precisa apenas postular a microcausalidade. No
entanto, para o caso de frmions preciso postular, alm da microcausalidade, a positividade
da energia.
O desconforto com a prova de Pauli residia exatamente no fato de que ela era indireta
para os frmions. Greiner e Reinhardt apresentam uma prova praticamente anloga de
Pauli, mas mais didtica. Ela tambm indireta no caso de frmions e ser apresentada
aqui. A diferena entre Pauli e Greiner e Reinhardt simplesmente o fato de que os ltimos
19
utilizam os operadores criao e destruio de partculas, no espao de Fock, enquanto a
prova original de Pauli usa a viso do mar de Dirac. Mas so provas anlogas.
O ponto de partida a equao de Dirac, j explicitada em (2.7)
As solues dessa equao, os espinores, descrevem as partculas de spin 1/2:
_

mc
~
_
(x, t) = 0. (2.8)
O interesse est em encontrar o valor do comutador (+) ou do anticomutador (-), dados
pela equao abaixo, (2.9):
_

(x),

(y)
_

. (2.9)
Isso porque o campo que descreve a partcula, e o momento cannico associado a esse
campo proporcional a

=

0
.
A equao para encontrar o momento cannico,

P, dada por:

P = i~. (2.10)
Posso expressar a soluo de (x, t) como uma expanso de onda plana, conforme a
equao:

(r)
p
(x, t) = (2)
3/2

p
w
r
(p)e
ir(ptpx)
. (2.11)
H quatro solues para o espinor de Dirac w
r
(p), onde o ndice r indica qual a so-
luo que est sendo usada. Assim, r = 1, 2 denota solues de energia positiva, tais
que (E = +
p
+

p
2
+m
2
). E r = 3, 4 denota solues de energia negativa, tais que
(E =
p

p
2
+m
2
). Mas expressando (x, t) como expanso de onda plana conforme
a equao (2.11), estou trabalhando com funes e no com operadores. No posso calcular
comutadores ou anticomutadores de funes. Para resolver este problema, substituo os cam-
pos de Dirac (x, t) e

(x, t) por operadores de campo

(x, t) e

(x, t), respectivamente.

Quero agora vericar se a relao de anticomutao para esses operadores de campo respeita
a microcausalidade, testando portanto a estatstica de Fermi-Dirac. Assim:
_

(x),

(y)
_
+
= 0 para (x y)
2
< 0. (2.12)
20
Quantizando as equaes de (x, t) (

(x, t)) para

(x, t) (

(x, t)) encontram-se:

(x, t) =
4

r=1

d
3
p a(p, r)
r
p
(x, t) (2.13)

(x, t) =
4

r=1

d
3
p a

(p, r)
r
p
(x, t). (2.14)
Onde os operadores a e a

respeitam as seguintes regras de anticomutao:

_
a(p, r), a

(p, r

)
_
+
=
3
(p p)
rr
(2.15)
[ a(p, r), a(p, r

)]
+
= [ a

(p, r), a

(p, r

)]
+
= 0. (2.16)
Vou agora redenir os operadores. Os espinores w
r
(p) podem ser separados de acordo
com o nvel de energia que representam, positiva ou negativa. Chamando de u(p, s) e v(p, s)
as solues de energia positiva e negativa, respectivamente, posso relacionar:
Energia positiva Energia negativa
w
1
(p) = u(p, +1) w
3
(p) = v(p, 1)
w
2
(p) = u(p, 1) w
4
(p) = v(p, +1)
Redenindo ento os operadores de partcula e buraco da seguinte forma:
Energia positiva Energia negativa
a(p, 1)

b(p, +1) a(p, 3)

d

(p, 1)
a(p, 2)

b(p, 1) a(p, 4)

d

(p, +1)
Esses novos operadores respeitam relaes de anticomutao anlogas quelas denidas
previamente. Assim, antes eu tinha:
_
a(p, r), a

(p, r

)
_
+
=
3
(p p)
rr
(2.17)
[ a(p, r), a(p, r

)]
+
= [ a

(p, r), a

(p, r

)]
+
= 0. (2.18)
E para os novos anticomutadores, que esto agora representados no espao de Fock,
21
tenho:
_

b(p, s),

(p, s

)
_
+
=
3
(p p)
ss
(2.19)
_

(p, s),

d(p, s

)
_
+
=
3
(p p)
ss
. (2.20)
Sendo assim, posso somar todas as solues, integrar sobre todos os momentos e obter a
soluo da equao de Dirac:
(x, t) =

s

d
3
p
(2)
3/2

p
(b(p, s)u(p, s))e
ipx
+d

(p, s)v(p, s))e

+ipx
). (2.21)
Substituo nessa expresso encontrada os operadores de campos para os espinores. Assim:

(x, t) =

s

d
3
p
(2)
3/2

p
(

b(p, s)u(p, s))e

ipx
+

d

(p, s)v(p, s))e

+ipx
). (2.22)
Posso agora usar o operador de transformao de Lorentz obtendo uma forma explcita
para os espinores normalizados, conforme as equaes a seguir:
u(p, s) =
/ p +m
_
2m(
p
+m)
u(0, s) (2.23)
v(p, s) =
/ p +m
_
2m(
p
+m)
v(0, s). (2.24)
A relao de anticomutao para

(x) e

(y), onde

0
, pode ser escrita:
_

(x),

(y)
_
+
=

d
3
p
(2)
3
1

s
_
u(p, s) u(p, s)e
ip(xy)
+v(p, s) v(p, s)e
+ip(xy)
_
. (2.25)
A somatria sobre spins dos espinores normalizados u e v, leva aos operadores de projeo:

s
u(p, s) u(p, s) =
_
/ p +m
2m
_
(2.26)

s
v(p, s) v(p, s) =
_
/ p m
2m
_
. (2.27)
22
Dessa forma, o anticomutador pode ser escrito como:
[

(x),

(y)]
+
=

d
3
p
(2)
3
1
2
p
((/ p +m)e
ip(xy)
(/ p +m)e
+p(xy)
) = (2.28)
(i/ +m)

d
3
p
(2)
3
1
2
p
[e
ip(xy)
e
ip(xy)
] = (i/ +m)i(x y). (2.29)
Sendo (xy) a funo de comutao que Jordan e Pauli introduziram para o caso espe-
cial do campo eletromagntico. Essa funo invariante de Lorentz e satisfaz a propriedade
fundamental:
(x y) = 0 para (x y)
2
< 0. (2.30)
Portanto, consigo o anticomutador:
_

(x),

(y)
_
+
= (i/ +m)i(x y). (2.31)
Isso mostra que partculas de spin semi-inteiro respeitam a microcausalidade quando a
relao utilizada entre elas a de anticomutao. Ou seja, se isso verdade, no h nenhum
impedimento para que respeitem a estatstica de Fermi-Dirac, que aquela para a qual as
partculas respeitam a relao de anti-comutao.
Agora preciso testar o comutador, j que o caso do anticomutador provou respeitar a
microcausalidade. Isso porque o fato de que a microcausalidade respeitada quando utilizo
a anticomutao no descarta o fato de que ela pode tambm ser respeitada no caso da
comutao. Se for este o caso, chega-se ao impasse.
Mas primeiro, usando a comutao, encontro:
_

(x),

(y)
_

d
3
p
(2)
3/2
d
3
p

(2)
3/2

s,s

(
_

b(p, s),

(p

, s

)
_

u(p, s) u(p

, s

)e
ipx+ip

y
+
_

(p, s),

d(p

, s

)
_

v(p, s) v(p

, s

)e
+ipxip

y
+ termos mistos). (2.32)
Em um clculo anlogo e aplicando as relaes de comutao correspondentes, abaixo:
_

b(p, r),

(p, r

)
_

= [

(p, r),

d(p, r

)]

=
3
(p p)
rr
. (2.33)
23
Chega-se na mesma equao obtida para o caso da anticomutao, ou seja, a causalidade
respeitada. Assim, mostrou-se que tanto a relao de anticomutao quanto a relao de
comutao, para campos espinoriais, respeitam a microcausalidade. Mas preciso descartar
uma das estatsticas. Para sair deste impasse Pauli recorre a mais um postulado, o da
positividade. Postulando agora a positividade da energia, basta descobrir se uma das relaes,
de comutao ou anticomutao, vai violar este postulado.
Mas olhando para a Hamiltoniana do campo de Dirac quantizado por um comutador,
dada por:

H =

s

d
3
p
p
(

(p, s)

b(p, s)

d(p, s)

(p, s)). (2.34)

possvel vericar que essa Hamiltoniana no positiva denida, o que viola o postulado
da positividade da energia. Isso elimina a estatstica de Bose-Einstein para o caso de part-
culas de spin 1/2. E o teorema spin-estatstica para os frmions est provado. Ou seja, foi
mostrado que assumindo a relao de anticomutao e a relao de positividade da energia
possvel encontrar apenas uma soluo que satisfaz a condio de microcausalidade, exigida.
Assim, as partculas de spin 1/2 satisfazem relaes de anticomutao. O teorema no eli-
mina a possibilidade de outro possvel tipo de estatstica. Ele apenas prova que partculas
de spin semi-inteiro podem respeitar estatstica de Fermi-Dirac, mas no podem respeitar
estatstica de Bose-Einstein.
2.5 Prova de Weinberg
Agora que a prova de Pauli foi apresentada, vamos ver como Weinberg, para o mesmo caso
(frmions) realiza a prova do mesmo teorema. A prova de Weinberg foi apresentada como
uma prova secundria em um trabalho onde ele procurava calcular as regras de Feynman
para partculas de spin genrico e, com isso, construir uma matriz-S invariante de Lorentz
(10).
A matriz-S faz a relao entre os estados iniciais e nais de um sistema fsico que sofre
um processo de espalhamento. uma matriz unitria que liga os estados das partculas no
espao de Hilbert. Por isso seu ponto de vista era completamente diferente. A matriz-S
pode ser escrita como:
24

S =

n=0
(i)
n
n!

d
4
x
1
...d
4
x
n
T

H(x
1
)...

H(x
n
). (2.35)
Heisenberg procurava encontrar a matriz

S de espalhamento, conforme a equao (2.35),
mas que respeitasse invarincia de Lorentz. Para fazer isso era preciso impor uma condio
equivalente de que, para intervalos (x y) do tipo espao, a equao de microcausalidade
fosse respeitada:
_

H(x),

H(y)
_

= 0. (2.36)
Na equao de microcausalidade, (2.36), acima, x e y so pontos no espao-tempo. O
sinal negativo ao lado dos colchetes indica a relao de anti-comutao.
Weinberg impe a invarincia de Lorentz da matriz S e isso implica em uma condio
equivalente ao requerimento da microcausalidade, representada aqui pela equao (2.36). Isso
muito diferente do que foi feito por Pauli, pois Weinberg quer a invarincia de Lorentz,
que s possvel se a ao foi um escalar. A ao um escalar se os campos H puderem
ser trocados de lugar devido ao ordenamento temporal e essa condio s ser respeitada
se a equao (2.36) for verdadeira. Pauli impunha a microcausalidade a campos, mas para
Weinberg a nica condio era a invarincia de Lorentz, que impe uma condio que igual
microcausalidade do Hamiltoniano.
Em sua notao, Weinberg introduz os campos de criao e aniquilao de partculas:

+
(x) = (2)
3/2

d
3
p

p
u(p, s)e
ipx

b(p, s) (2.37)

(x) = (2)
3/2

d
3
p

p
v(p, s)e
+ipx

d

(p, s). (2.38)

Onde u e v so funes de onda que satisfazem as equaes de Dirac, para frequncias
positivas e negativas. E b e d so os operadores denidos tais que:
_

b ( p, s) ,

, s

_
,
_
+
=
3
( p

)
ss
(2.39)
_

( p, s) ,

d
_

, s

_
,
_
+
=
3
( p

)
ss
. (2.40)
25
Ou seja,

b e

b

so os operadores aniquilao e criao para partculas, e

d e

d

para
antipartculas. Agora, com os campos representados conforme as equaes (2.37) e (2.38),
acima, procura-se encontrar o valor do comutador destes campos:
_

(x),

(y)
_

= 0. (2.41)
Weinberg faz a seguinte combinao linear:

(x) = k

+
(x) +

(x). (2.42)
Onde as constantes k e podem ser determinadas se, para (x y) sendo um intervalo
do tipo espao, a relao de comutao ou anticomutao entre os campos for respeitada.
Sendo que para os operadores b e d, que respeitam as equaes (2.39) e (2.40), acima, tenho:
_

b(p, s),

(p, s

)
_

=
3
(p p

)
ss
(2.43)
_

d(p, s),

d

(p, s

)
_

=
3
(p p

)
ss
. (2.44)
A condio de microcausalidade para o campo de Dirac dada por:
_

(x),

(y)
_

d
3
p
(2)
3
m

p
_
|k|
2

s
u(p, s) u(p, s)e
ip(xy)
(2.45)
||
2

s
v(p, s) v(p, s)e
+ip(xy)
_
. (2.46)
Pode ser simplicada pelo uso de operadores de projeo:
_

(x),

(y)
_

= (i/ +m)

d
3
p
(2)
3
1

p
_
|k|
2
e
ip(xy)
()||
2
e
ip(xy)
_
. (2.47)
A integral que aparece no resultado vai ser exatamente a funo (x y). Ou seja:

d
3
p
(2)
3
1

p
_
|k|
2
e
ip(xy)
()||
2
e
ip(xy)
_
= i(x y) . (2.48)
Isso quer dizer que a integral se resume mesma funo de Pauli e Jordan mencionada
para a prova de Pauli, contanto que |k|
2
= ()||
2
, ou seja |k| = ||, sendo necessrio
escolher o sinal + no lado direito da equao. Lembrando que (xy) = 0 para (xy)
2
< 0
26
uma propriedade dessa funo de comutao, e essa propriedade nada mais do que o
requerimento da microcausalidade. Assim, para respeitar a microcausalidade, preciso
escolher o anticomutador e consequentemente a estatstica de Fermi-Dirac.
2.6 Concluses
A condio da microcausalidade, denida anteriormente, vale para a comutatividade de
quantidades fsicas, como o caso de bilineares associados ao campo . Ou seja, a condio:
_

(x)(x),

(y)(y)
_

= 0 para (x y)
2
< 0. (2.49)
Mas essa condio implica que deve ser respeitada a relao:
_
(x),

(y)
_
+
= 0. (2.50)
Ou a relao:
_
(x),

(y)
_

= 0. (2.51)
Essas foram as relaes impostas ao campo espinorial para a prova de Pauli e Weinberg.
Mas a condio da microcausalidade expressa o fato de que se x y um intervalo do tipo
espao, medies de um bilinear realizadas no ponto x no podem afetar medies deste
mesmo bilinear realizadas no ponto y. Consideraes como essa s fazem sentido se o campo
com o qual se est lidando mensurvel, da mesma forma que o campo eletromagntico
mensurvel, por exemplo. Mas os campos de Dirac no so mensurveis nesse sentido. A
invarincia de Lorentz da matriz S, usada por Weinberg, implica na causalidade dos campos
mesmo que no sejam mensurveis. Finalmente conclui-se que a prova de Weinberg anloga
prova de Pauli, exceto pela condio de positividade no caso dos frmions, que no
necessria. No caso de Weinberg isso torna, nalmente, a prova do teorema spin-estatstica
direta tanto para bsons quanto para frmions.
27
3 Simetrias
Este captulo introduz o estudo de simetrias do ponto de vista da fsica. Em especial, so
apresentadas as trs simetrias discretas, inverso temporal, conjugao de carga e inverso
espacial, e tambm o teorema de Noether, que liga leis de conservao a simetrias contnuas
presentes em sistemas fsicos.
3.1 Denio
Uma transformao aplicada a um sistema dita uma simetria do sistema quando o
sistema original indistinguvel do sistema obtido aps a aplicao da transformao.
Na natureza as simetrias dividem-se em dois grupos diferentes: simetrias discretas e
simetrias contnuas. Se um sistema fsico respeita algum tipo de simetria, diversas implicaes
disso podem ser identicadas e estudadas, de forma a facilitar o entendimento da lei fsica que
governa o sistema. Um exemplo a existncia de regras de seleo, implicao da presena de
uma simetria discreta, que facilitam a previso do comportamento de um sistema quntico.
As simetrias so uma importante ferramenta para a construo e vericao de modelos
fsicos, e procurar sua conservao ou quebra facilita a consolidao do modelo fsico proposto
para descrever o sistema em questo. Na fsica de partculas, em especial, as simetrias so
muito importantes. H, inclusive, modelos de supersimetrias.
As simetrias de um problema podem facilitar enormemente os clculos necessrios para
resolv-lo e diversas vezes argumentos de simetria so usados para descartar solues incoe-
rentes. Ao mesmo tempo, a quebra de simetrias pode ajudar tambm a explicar o compor-
tamento de um sistema fsico.
Este trabalho procura, anal, pela quebra simultnea de duas simetrias discretas (Con-
28
jugao de Carga e Paridade) e fundamental que o conceito de simetrias e, em especial, das
simetrias discretas, seja explicitado.
A formulao matemtica de uma simetria discreta varia de acordo com a teoria utilizada
para estud-la. Como uma primeira aproximao, importante vericar quais as diferentes
verses para as simetrias discretas a serem estudadas.
Sero estudadas as verses da teoria clssica, teoria relativstica e teoria quntica. As
simetrias a serem formuladas so a de paridade e inverso temporal e, no caso quntico, con-
jugao de carga. Antes disso, preciso introduzir alguns conceitos importantes, explicitados
abaixo, bem como diferenciar as simetrias contnuas das simetrias discretas.
3.2 Simetrias Contnuas
So chamadas de simetrias contnuas aquelas cujo operador correspondente transforma-
o pode ser continuamente ligado identidade. O grupo dos geradores de tais transformaes
formado por um conjunto innito, no contvel.
A presena de uma simetria contnua tem uma implicao muito forte sobre um sistema
fsico. O teorema de Noether mostra que qualquer simetria contnua implica na presena de
uma lei de conservao associada. Segue uma demonstrao do teorema de Noether, que vale
apenas para simetrias internas de um sistema.
Para transformaes contnuas existe uma representao unitria que, na vizinhana da
identidade, tem como possvel representao dos elementos do grupo a seguinte forma:
U(
1
, ...,
n
) = exp
_
_
_
n

j=1
i
j
G
j
_
_
_
, (3.1)
onde
j
so os n parmetros reais do grupo e G
j
so os geradores do grupo. Tendo ex-
plicitamente fatorado um i, o fato de que U unitrio implica na hermiticidade de G
j
.
Considerando por simplicidade um grupo com apenas um parmetro, se as transformaes
representadas por U so transformaes de simetria do sistema, ento a Hamiltoniana deve
ser invariante sob essas transformaes, de tal forma que:
H H

= U

()HU() = H. (3.2)
29
Isso o mesmo que dizer que [H, U] = 0. Para innitesimal, isso implica:
(1 iG)H(1 +iG)

= H i[G, H] = H. (3.3)
O que o mesmo que dizer [G, H] = 0. G comuta com a Hamiltoniana e, como
Hermitiano, representa portanto uma constante do movimento.
Exemplos de simetria contnuas so: a simetria perante translao espacial, que implica
na conservao de momento; a simetria perante rotao espacial, que implica na conservao
de momento angular e a simetria perante translao temporal que implica na conservao de
energia.
Para o caso das simetrias contnuas, as quantidades conservadas so os geradores da
transformao. Sendo U uma transformao contnua tal que U = e
iG
, onde G so os
geradores da transformao e sendo os dois autovetores de G dados por:
G|
1
= g
1
|
1

G|
2
= g
2
|
2
.
Nesse caso, a lei de conservao aditiva.
Ento tenho:
U |
1

2
= e
iG
|
1

= U |
1
U |
2
= e
iG
|
1
e
iG
|
2

= e
ig
1
|
1
(e
ig
2
|
2
)
= e
i(g
1
+g
2
)
|
1

= G|
1

2
= (g
1
+g
2
) |
1

2
.
3.2.1 Teorema de Noether
O teorema de Noether mostra que toda invarincia por uma transformao contnua
implica em uma lei de conservao. Podemos descrever a transformao contnua innitesimal
30
de um campo conforme a equao a seguir, onde um parmetro innitesimal e uma
medida da deformao da congurao do campo . Como as equaes de movimento so
obtidas a partir das equaes de Euler-Lagrange que so derivadas da ao, se um termo de
superfcie for adicionado a essa ltima, as equaes de movimento permanecem invariantes,
tal que:
(x)

(x) = (x)(x). (3.4)

Para ser uma simetria do sistema, conforme explicado no princpio deste captulo, as
equaes de movimento associadas ao campo precisam permanecer invariantes sob a trans-
formao contnua aplicada. Garantir a invarincia das equaes de movimento o mesmo
que garantir a invarincia da ao sob essa mesma transformao contnua.
A Lagrangeana associada ao campo , por sua vez, ser invariante pela transformao:
L(x) L(x) +

(x). (3.5)
Para um J

arbitrrio. Posso calcular o valor esperado para L e comparar esse resultado

com o resultado do valor quando vario os campos:
L =
L

() +
_
L
(

)
_

()
=
_
L

_
L
(

)
__
(3.6)
Mas, pela equao de Euler-Lagrange, tenho que:
L

_
L
(

)
_
= 0. (3.7)
Assim, co apenas com o segundo termo da equao (3.6), que deve ser igualado a

_
L
(

_
=

. (3.8)
E, portanto, tenho que:

(x) = 0
j
(x)
=
L
(

)
J

(3.9)
31
Onde ca explcito que a corrente j

conservada. E, portanto, para toda simetria

contnua da Lagrangeana, tenho uma corrente correspondente que ser conservada. Pode
tambm ser expressada por:
Q

V
j
0
d
3
x. (3.10)
Onde V representa todo o espao.
3.3 Formulao matemtica das simetrias
As transformaes aplicadas a um sistema fsico podem ser descritas de duas diferen-
tes formas: ativa e passiva. No caso ativo, aplica-se a transformao a ser estudada no
sistema dado, enquanto os operadores hermitianos permanecem iguais. No caso da verso
passiva, os sistemas fsicos permanecem inalterados, enquanto os operadores hermitianos so
transformados no sentido inverso.
Sendo O um operador qualquer, | o ket estado e U o operador que causa a transfor-
mao sofrida pelo sistema, tenho, para o caso ativo:
| |

= U | (3.11)
O O (3.12)
Enquanto no caso passivo:
| | (3.13)
O O

= U
1
OU (3.14)
Se o operador O comuta com um outro operador genrico U (unitrio e que representa
uma transformao) ento tenho [O, U] = 0, e isso signica que o valor esperado do observvel
32
correspondente ao operador O o mesmo, antes e depois de aplicado o operador U, pois:
_

OU

_
=
_

UO

_
= |O| . (3.15)
Sabendo que a Hamiltoniana de um sistema responsvel por sua evoluo temporal,
qualquer transformao representada por um operador que no comuta com a Hamiltoniana
no pode ser uma simetria do sistema. Isso porque, atravs da evoluo temporal, seria
possvel distinguir um sistema transformado de um sistema no transformado.
Para garantir que a norma de um estado fsico seja sempre preservada mediante qualquer
transformao de simetria, apenas dois tipos de operadores so viveis para representar
matematicamente o processo: operadores unitrios e operadores anti-unitrios. A diferena
entre eles ca clara nas equaes abaixo.
Sendo U um operador unitrio e | = a |1 +b |2 um ket estado genrico em um espao
bidimensional com coecientes a e b complexos, tenho:
U | = aU |1 +bU |2 . (3.16)
E para o operador anti-unitrio U
A
, tenho:
U
A
| = a

U
A
|1 +b

U
A
|2 . (3.17)
3.4 Simetrias Discretas
Uma simetria dita discreta se a transformao a que ela corresponde formada por
um grupo discreto. Um grupo discreto um grupo de topologia discreta cujos elementos
formam um conjunto nito ou contvel. Isso quer dizer que a transformao correspondente
simetria no ligada continuamente identidade.
Tm uma importncia especial as simetrias discretas chamadas de inverses. Uma inver-
so uma simetria caracterizada pelo fato de que, ao aplicar a transformao a ela corres-
pondente duas vezes consecutivas a um sistema fsico qualquer, obtm-se o sistema inicial.
Isso equivalente a dizer que, sendo o operador U
I
relativo inverso, U
2
I
= 1. No exemplo
das inverses tenho que:
U
I
|
1
= u
1
|
1
(3.18)
33
U
I
|
2
= u
2
|
2
(3.19)
U
I
|
1

2
= U
I
|
1
U
I
|
2
= u
1
|
1
u
2
|
2
= u
1
u
2
|
1

2
. (3.20)
Que gera uma regra de conservao multiplicativa, ao contrrio das simetrias contnuas
que mostram uma conservao aditiva.
3.4.1 Paridade
A transformao de paridade (tambm conhecida por inverso espacial) dada por:
t t

= t
x x

= x
y y

= y
z z

= z
No deve ser confundida com imagem especular, que inverte apenas uma das coordenadas
espaciais.
A transformao de paridade no inverte o sinal da energia nem do momento angular,
porm inverte o sinal do momento linear.
3.4.2 Inverso temporal
Para a inverso temporal, analogamente paridade, tenho:
t t

= t
x x

= x
y y

= y
z z

= z (3.21)
Na representao de Schroedinger da mecnica quntica, tenho a equao de movimento
dada por:
i~
|(t)
t
= H |(t) . (3.22)
34
A invarincia sob inverso temporal implica que, a partir de qualquer soluo da equao
de Schroedinger posso obter outra soluo que satisfaz a mesma equao, porm com t t.
Na mecnica clssica o movimento temporalmente revertido de um sistema invariante sob
essa transformao (supondo-se que trata-se de um sistema com poucas partculas) reali-
zvel e tem igual probabilidade de ocorrer se comparado ao sistema antes da transformao.
3.4.3 Conjugao de carga
Foi provado experimentalmente que toda partcula possui uma anti-partcula a ela cor-
respondente, com mesma massa porm sinais opostos para carga eltrica, nmeros barinico,
leptnico, estranheza, terceira componente do isospin, charme, beleza, entre outros nmeros
qunticos.
A conjugao de carga a transformao que troca o sinal de todas as cargas associadas
a grupos U(1). O momento, a energia e o spin so conservados perante a conjugao de
carga.
As interaes eletromagnticas so invariantes sob conjugao de carga, j que tanto as
partculas quanto suas anti-partculas tm o mesmo acoplamento com os ftons (propagadores
da interao).
3.5 Evidncias experimentais da quebra de simetrias
No faltam experimentos que mostram evidncias das quebras de simetrias, principal-
mente P e CP, atualmente. No entanto, importante entender como, pela primeira vez, tais
violaes foram detectadas.
3.5.1 Yang-Lee: Violao de paridade nas interaes fracas
No dia 22 de junho de 1956 a revista Physical Review recebeu uma publicao levantando
a dvida a respeito de a paridade ser ou no conservada em interaes fracas e, ao mesmo
tempo, sugerindo diversos experimentos para vericar se havia violao. Chen Ning Yang e
Tsung Dao Lee eram os autores, ambos cientistas chineses atuando nos Estados Unidos. Em
1957 ambos seriam premiados com um Nobel pela publicao(11).
35
A cientista chinesa Chien-Shiung (12), uma renomada fsica experimental, foi respons-
vel pela realizao do experimento que comprovou a violao de paridade pelas interaes
fracas. Entre todos os experimentos propostos por Lee e Yang, ela escolheu realizar aquele
que envolvia pegar uma amostra de cobalto radioativo e resfri-la a temperaturas criognicas
usando gases lquidos. O cobalto 60 um istopo que decai por emisso de uma partcula
beta e a Dr. Wu era especialista em decaimento beta.
Para reduzir a vibrao trmica dos tomos de cobalto a praticamente zero era preciso
reduzir drasticamente a temperatura. Para alinhar o spin de todos os tomos da amostra,
era preciso aplicar um campo magntico uniforme e constante atravs da amostra.
Lee e Yang previram que os eltrons liberados pelo decaimento beta dos tomos de
cobalto 60 seriam emitidos de forma assimtrica se a conservao de paridade fosse violada
pela interao. Isso porque o decaimento beta do cobalto 60 libera eltrons que podem
ser capturados pelos detectores. Se a fora fraca conservasse paridade haveria um nmero
de igual de eltrons liberados para as duas direes possveis de eixo de spin dos tomos,
ou seja, haveria 50% de eltrons liberados no sentido "norte" e 50 % liberados no sentido
"sul". No entanto, os resultados obtidos pela Dra. Wu mostraram uma violao indiscutvel,
comprovando que a direo da emisso dos eltrons era extremamente assimtrica.
3.5.2 Sistema K
o

K
o
: violao de simetria conjugao de carga-
paridade
Quando foi mostrado que havia violao de paridade pela interao fraca, comeou-se a
acreditar que a simetria respeitada pela natureza era, na verdade, a de conjugao de carga-
paridade (simetria CP). Foi atravs de um sistema de kons que se mostrou que essa simetria
tambm era violada.
Os kons possuem nmero quntico de estranheza e, portanto, mesmo sendo neutros
os kons so diferentes de suas antipartculas. Ento h dois tipos de kons que diferem
por duas unidades de estranheza e, para estabelecer qual dos dois msons estaria presente
a ferramenta utilizada foi a oscilao de partculas neutras, atravs da qual os kons e os
anti-kons podem transformar-se um no outro atravs da interao fraca, fazendo com que
decaiam em um pon.
Os cientistas Gell-Mann e Pais investigaram o fenmeno, considerando a evoluo tem-
36
poral invariante CP de estados com estranheza oposta. Em notao matricial:
(t) = U(t)(0) = e
iHt
_
_
a
b
_
_
, (3.23)
H =
_
_
M
M
_
_
. (3.24)
Sendo um estado quntico do sistema especicado pelas amplitudes de estar em cada
um dos autoestados da base (que no tempo inicial so a e b). Os dois elementos da diagonal da
Hamiltoniana M, que representam a massa das partculas, so devido a interaes fortes que
conservam estranheza e devem ser iguais, uma vez que ambas a partcula e a anti-partcula
tm massas iguais se no houver interao fraca presente. J no caso dos elementos fora
da diagonal so devido a interaes fracas. Se houver simetria CP, devem ser ambos reais
pois, com isso a matriz H real garante que as probabilidades dos dois estados permanecer
oscilando.
Para o caso de qualquer elemento imaginrio na matriz H, parte da combinao ir
diminuir com o tempo e isso violaria a simetria CP.
Os auto estados do sistema so obtidos pela diagonalizao dessa matriz, dando novos
autovetores que podem ser chamados de K
1
( a soma dos dois estados de estranheza oposta)
e K
2
(a diferena entre os dois estados). Os dois so autoestados do operador CP, com
autovalores +1 e -1, respectivamente. O estado nal com dois pons tem autovalor CP=1,
apenas o estado K
1
pode decair dessa forma. O estado K
2
deve decair em trs pons, con-
sequentemente. Para esse caso, a massa do K
2
apenas ligeiramente maior do que a soma
das massas dos trs pons resultantes do decaimento e, portanto, essa reao ocorre mais
lentamente (cerca de 600 vezes) do que o decaimento de K
1
em dois pons.
Em 1956, Leon Lederman e seu grupo de pesquisa observaram esses dois diferentes modos
de decaimento e estabeleceu a existncia de dois autoestados fracos dos kons neutros, assim
chamados por serem estados com tempo de vida denido perante decaimento por fora fraca
e a esses dois autoestados foram dados os names K
L
(K-long, do ingls) e K
S
(K-short). A
invarincia por simetria CP implicava que K
S
= K
1
e K
L
= K
2
.
37
Assim, um feixe de kons neutros (K
o
) se tornar em um feixe de suas anti-partculas
e novamente no feixe original e permanecer assim, oscilando. Os K
o
sempre decaem por
fora fraca produzindo eltron e os

K
o
produzindo psitron. J se sabia que havia uma
relao entre a taxa de produo de eltrons e psitrons por fontes de K
o
e

K
o
, cuja anlise
da dependncia temporal desse decaimento mostrava o fenmeno da oscilao e permitia a
extrao da separao de massa entre o K
S
e o K
L
e, sendo devido interao fraca, essa
separao muito pequena.
Assim, um feixe de kons neutros decai durante seu caminho, de forma que todos os
estados de vida curta desaparecem deixando um feixe formado apenas pelos estados de vida
longa. Atirando o feixe nal contra a matria, os kons e os anti-kons iro interagir de
forma diferente com os ncleos, sendo que os kons sofrem um espalhamento quasi-elstico
pelos ncleos e o anti-kons podem criar hyperons. Como interagem de forma diferente
com a matria, a coerncia quntica do feixe perdida e o feixe emergente possui diferentes
superposies lineares dos kos e anti-kons, sendo essa superposio uma mistura entre os
estados K
S
e K
L
. O estado K
S
regenerado atravs da passagem de um feixe de kons
neutros pela matria. A regenerao foi observada por Oreste Piccioni em 1955 (13) e em
1964 James Cronin e Val Fitch encontraram decaimento do autoestado K
L
em dois pons,
um estado com CP=+1. Isso sugeriu a violao CP. Em 1980 Cronin e Fitch receberam um
prmio Nobel pela descoberta.
3.6 Teorema CPT
O teorema CPT trata da aplicao simultnea das trs simetrias discretas, P, C e T,
que numa teoria quntica de campos, que descrita por campos locais e com a hiptese
de causalidade implica que para qualquer Lagrangeana possvel, o sistema invariante por
esta simetria CPT. Foi no trabalho de Julian Schwinger (que tentava encontrar uma relao
entre estatstica e spin) em 1952, que o teorema CPT foi implicitamente provado e, portanto,
descoberto. Em 1954, Gerhart Lders (14) de maneira independente e Wolfgang Pauli (15)
desenvolveram uma demonstrao explcita do teorema. Uma das consequncias do teorema
CPT que massas e tempos de vida de partculas e anti-partculas so iguais.
38
39
4 Quebra Espontnea de Simetria
Este captulo apresenta uma descrio detalhada do mecanismo de quebra espontnea de
simetria, responsvel pela atribuio de massa aos bsons de gauge.
Neste captulo tambm apresentada uma formulao da teoria de Yang-Mills, mos-
trando o mecanismo de gerao de massa. Tambm apresentado o caso abeliano da quebra
espontnea de simetria.
4.1 Introduo
Quando uma partcula carregada submetida a um campo eletromagntico ela pode ser
descrita pela equao de Schrdinger, conforme apresentado abaixo:
1
2m
_
~
i

A
_
=
_
i~

t
eV
_
. (4.1)
Onde a funo que descreve a partcula,

A e V so o potencial vetor e o potencial
escalar do campo eletromagntico aplicado, respectivamente.
Posso alterar a fase da funo por uma quantidade arbitrria:
(x, t) = e
ie
~
(x,t)

(x, t). (4.2)

E nesse, caso, os potenciais devem ser alterados de acordo com essa mudana:

A(x, t) =

A

(x, t) +

(x, t)
V (x, t) = V

(x, t)

t
(x, t). (4.3)
As alteraes simultneas da fase de e dos potenciais, conforme as equaes acima,
40
mantm inalterada a forma da equao de Schrdinger original. Ela permanece a mesma,
apenas com as variveis agora com o ndice linha. O valor dos campos mensurveis tambm
permanece inalterado, j que tenho:

B =

A =

B

E =

V


A
t
=

E

. (4.4)
Essa uma formulao matemtica do princpio de invarincia local, que claramente
respeitado neste caso da interao eletromagntica. A invarincia local tambm pode ser
chamada de invarincia de calibre.
Ao perceber que a interao eletromagntica respeita essa simetria, procurou-se encontrar
teorias para descrever outras foras da fsica (forte e fraca) que tambm respeitassem esse
princpio. Ao escolher trabalhar com teorias que respeitam sempre a invarincia de calibre,
restrinjo fortemente a quantidade de acoplamentos permitidos, alm de diminuir os graus de
liberdade do sistema. Sendo aplicada a todas as foras, a invarincia de calibre o nico
princpio unicador das interaes.
Outra grande vantagem em trabalhar com teorias que respeitam esse princpio que
tHooft provou matematicamente que teorias invariantes por transformaes de calibre so
sempre renormalizveis (16) e isso, quando aplicado a teorias de perturbao, de extrema
importncia para diversos casos em que preciso lidar com divergncias.
Assim, ao escrever a Lagrangeana de qualquer sistema fsico, procuro faz-lo de forma que
a expresso encontrada seja invariante por transformaes locais. No caso eletromagntico,
por exemplo, a Lagrangeana mais simples que respeita esse pr-requisito dada pela equao
abaixo:
L
EM
=
1
4
F

. (4.5)
Aplicando as equaes de Euler-Lagrange a essa Lagrangeana obtenho as equaes de
Maxwell:

=

A

L = j

. (4.6)
E essas equaes obtidas descrevem muito bem as interaes eletromagnticas. Aqui, a
quantidade j

a corrente conservada nessas interaes, e que pode ser calculada atravs dos
mtodos apresentados no captulo anterior, sobre simetrias. possvel dizer que a invarincia
41
de calibre, uma vez assumida, leva s equaes de Maxwell.
4.1.1 Teoria de Yang-Mills
As transformaes de calibre formam um grupo contnuo chamado de grupo de Lie, que
tambm conhecido como grupo de gauge (do ingls, calibre). A lgebra associada ao grupo
formado pelos geradores dessas transformaes a lgebra de Lie que, entre outras coisas,
dene que para cada gerador do grupo de transformaes h necessariamente um campo
vetorial correspondente, chamado de campo de gauge.
Portanto, se eu descrevo uma interao que invariante de calibre para um determinado
grupo de gauge, essa simetria vai implicar em propriedades dessa interao, como simetrias
que podem ser encontradas nos nmeros qunticos a ela associados. Os campos vetoriais
criados pelos geradores do grupo de simetria da interao em questo sero responsveis por
carregar a informao dessa interao entre os campos que estiverem a ela submetidos.
Quando os geradores do grupo de gauge no comutam entre si tenho o caso de um
grupo no-abeliano. A este, as mesmas regras se aplicam, de forma que ainda tenho campos
vetoriais associados a cada gerador. O exemplo mais conhecido para uma teoria no-abeliana
invariante de gauge o dos campos de Yang-Mills. Nesta teoria as interaes conservam
nmero de isospin e so invariantes por calibre (17).
4.2 Mecanismo de gerao de massas
necessrio que haja campos massivos para intermediar uma interao de curto alcance.
O termo de massa adicionado Lagrangeana da interao fraca
m
2
2
W

. Quando esse
termo massivo adicionado Lagrangeana, essa deixa de respeitar a simetria de calibre (17).
O mecanismo da quebra espontnea de simetria responsvel por dar massa aos bsons
de gauge, sendo a base para a construo do mecanismo de Higgs, em que os bsons de gauge
da teoria fraca recebem massa.
Quero ento encontrar uma forma de obter uma descrio invariante de gauge para um
campo vetorial massivo. At hoje, a melhor sada para conseguir isso recorrer ao mecanismo
de Higgs. Para tanto preciso entender o funcionamento, ou seja, o mecanismo relacionado
42
quebra espontnea de simetria que vai, ao nal, gerar esta massa.
O mecanismo de Higgs explica a natureza da interao, mas para que funcione preciso
postular a existncia de partculas escalares adicionais que seriam, a princpio, detectveis.
Nenhuma simetria absolutamente exata pode ser identicada diretamente na natureza.
Assim, razovel assumir que pequenas imperfeies iro implicar em pequenos desvios da
soluo simtrica. Para aplicar essa ideia, no basta que exista uma soluo simtrica,
tambm preciso admitir que h estabilidade do sistema descrito.
Exemplo: Basto em duas dimenses
Um dos exemplos mais clssicos de quebra espontnea de simetria o de um basto,
preso pela parte superior e inferior a uma base, em duas dimenses. Se aplicada uma fora
base superior, o basto obrigado a entortar, de forma a car no formato de mnimo de
energia. No entanto, por estar em duas dimenses, o basto ir entortar para um dos lados,
direito ou esquerdo, quebrando a simetria. (17).
A gura a seguir exemplica o sistema descrito:
Figura 1: Representao de um basto com uma fora aplicada a suas extremidades.
As equao para pequenas deexes aplicada a este caso ser dada por:
IE
d
2
X
dz
4
+F
d
2
X
dz
2
= 0,
IE
d
2
Y
dz
4
+F
d
2
Y
dz
2
= 0.
Onde F a fora externa que est sendo aplicada ao basto, I o momento de inrcia a
43
ele associado e E o mdulo de Young. X(z) e Y (z) so as equaes de movimento nos eixos
x e y, respectivamente. O eixo z ao longo do basto, quando ele est na posio simtrica,
inicial.
A soluo simtrica quando X = Y = 0. Mas tambm possvel minimizar a energia
obtendo solues assimtricas, da forma geral:
X = A +Bz +C sen kz +D cos kz. (4.7)
Onde k =
_
F
EI
.
Quando so encontradas duas solues possveis para o mnimo de energia atingido pelo
basto verica-se que essas solues so instveis. Uma caracterstica tpica de problemas em
que h quebra espontnea de simetria o fato de que as solues assimtricas correspondem
aos mnimos de energia. Assim, se aplicada uma transformao de simetria a uma soluo
assimtrica, encontra-se uma outra soluo assimtrica, degenerada com a primeira.
A simetria quebrada sempre a partir de um ponto crtico, em que o sistema precisa
assumir o estado de um dos possveis mnimos de energia. Apenas ao atingir esse ponto
crtico possvel dizer se o sistema vai ou no quebrar a simetria.
So necessrias duas caractersticas bsicas para que o problema se caracterize como uma
quebra espontnea de simetria:
As solues que representam os mnimos de energia so instveis;
Os estados assimtricos que correspondem a esses mnimos de energia (vcuo) so de-
generados.
No caso em que no ocorre uma quebra espontnea de simetrias, no caso de tratar-se de
uma simetria exata, ento L = 0, ou seja, a ao permanece inalterada sob transformaes
desse grupo de simetria. Alm disso, o vcuo permanece invariante sob ao dos geradores
do grupo da transformao. Assim, se estou tratando de uma transformao de simetria em
que os geradores so Q
i
, tenho que Q
i
|0 = 0.
Sendo assim, tenho que os geradores do grupo comutam com a Hamiltoniana e, conse-
quentemente, seus autovalores so bons nmeros qunticos. E, tendo [H, Q
i
], preciso que
44
os multipletos tenham a mesma massa.
Para obter, agora, uma Lagrangeana do sistema que seja assimtrica possvel seguir dois
caminhos. O primeiro causar essa assimetria de forma perturbativa, ou seja, adicionando
Lagrangeana simtrica um termo assimtrico:
L = L
0
+cL
1
. (4.8)
Onde L
1
o termo assimtrico da Lagrangeana, tal que L
1
= 0 e L
0
a Lagrangeana
original, tal que L
0
= 0. Isso equivalente a aplicar um mtodo perturbativo para criar a
assimetria. Sendo assim, quando c 0, tenho que Q
i
|0 0, que o mesmo que dizer que
quando no h um termo de assimetria, tenho a Lagrangeana original.
No entanto, h uma outra forma de construir uma Lagrangeana que tenha sua simetria
quebrada. Nesse segundo mtodo, mantenho a ao inalterada, ou seja, nenhum termo
adicionado Lagrangeana. No entanto, o vcuo da teoria vai ser degenerado, de forma que
Q
i
|0 = 0.
Com o vcuo agora variando, possvel causar a assimetria sem a adio de nenhum
termo. O vcuo degenerado pela prpria dinmica do sistema fsico que est sendo tratado.
E ao escolher um dos vcuos degenerados, o sistema quebra espontaneamente a simetria.
Para cada estado de energia do sistema tenho innitos geradores Q
i
, de forma que [H, Q
i
]
permanece zero quando a Lagrangeana permanece invariante e diferente de zero quando ela
varia.
Na teoria quntica de campos, o vcuo denido como o estado de menor energia do
sistema, de forma que o valor esperado desse vcuo dado por
0
. Para esse segundo
mtodo, o vcuo apresenta um valor esperado diferente de zero e a simetria temporal-espacial
da densidade de Lagrangeana L(x) = L(x) perdida quando um dos vcuos escolhido.
Aqui x representa uma varivel espacial.
Uma das formas de observar melhor o comportamento do sistema uma vez que ele quebrou
a simetria numa tentativa de restaurar a simetria ao estado de vcuo. Para fazer isso,
crio uma combinao linear do campo mais uma componente, onde esse novo campo criado
respeita a teoria de campos livre. Assim, tenho:
45

=
0
. (4.9)
Onde posso facilmente ver que

0
= 0. Escolhi essa translao do campo por constru-
o, para conseguir obter com uma translao do campo um novo campo para o qual o valor
esperado de vcuo agora zero.
Ao substituir esse

na Lagrangeana obtida aps a escolha do vcuo, obtenho a equao

da Lagrangeana original. Essa nova expresso no apresenta a simetria de reexo original
e, em especial, apresenta um termo que introduz massa ao campo

.
A quebra espontnea de simetria no se aplica somente a simetrias discretas. Para o
caso de simetrias contnuas, um exemplo o do campo escalar complexo. No caso de uma
simetria global, na qual aplico a transformao e
x
, possvel fazer uma anlise anloga ao
caso discreto, obtendo que a escolha de fase que destri ento a simetria.
Tenho, nesse caso, que o campo escalar complexo pode ser descrito pela Lagrangeana
abaixo:
L
1
=

2
(

)
2
. (4.10)
Essa equao invariante por transformao de gauge global. Ou seja, invariante para
a transformao (x) e
i
(x) e, equivalentemente

(x) e
i

(x).
Posso refazer a anlise acima, ou seja, tenho dois possveis casos para essa Lagrangeana.
Para
2
> 0, tenho que o mnimo, quando = 0 vai ser estvel e no h nenhuma degene-
rescncia no vcuo. No entanto, para
2
< 0, o caso em que nulo um ponto instvel.
A degenerescncia de vcuos innita agora, de tal forma que posso escolher entre innitos
mnimos.
No segundo caso, onde o vcuo degenerado, o que destri a simetria a escolha da
fase, que equivalente a escolher um entre os innitos vcuos. Posso fazer uma analogia da
situao com o caso de uma esfera, onde o raio dado pelo valor esperado do campo escalar
no vcuo ||
2
0
=

e onde a escolha de fase quebra a simetria (pois escolho uma direo

preferencial), porm no inuencia nesse valor esperado.
Posso transladar o valor do campo escalar para tornar a quebra da simetria mais explcita.
46
Supondo, ento, que tenho agora:

+ . (4.11)
Onde claramente escolhi como sendo o deslocamento do campo. Outra escolha que
este shift tenha uma fase real. Ento posso escolher meu valor de tal que o valor esperado
de vcuo do meu campo seja dado por:

0
=
0
=

. (4.12)
Mas esta no uma escolha arbitrria. Essa escolha garante que o valor esperado de
vcuo do meu campo

transformado seja zero, ou seja:

_

_
0
= 0. (4.13)
Posso escrever, de maneira geral, o meu campo como:
=
1

2
(
1
+i
2
) . (4.14)
Sendo
1
a componente real do campo , e
2
a componente imaginria de . Como
escolhi o shift como sendo real, ento neste caso, necessariamente:
1

0
=

, (4.15)
(4.16)

0
= 0.
A transformao realizada implica:

1
+ , (4.17)

2
. (4.18)
47
E essas transformaes fazendo com que a Lagrangeana original, apresentada na equao
(4.10), vai se transformar e pode ser escrita, em funo de
1
e
2
segundo a frmula a seguir:
L
1
L =
1
2
_

1
_
2
+
1
2
_

2
_

2
0
_

2
+
2
0
_

1
(4.19)

1
2
_

2
+ 3
2
0
_

2
1

1
2
_

2
+
2
0
_

2
2
+

1
_

2
1
+

2
2
_

8
_

2
1
+

2
2
_
2
.
Agora preciso analisar as possibilidades da transformao. Ou seja, qual ser o valor
adotado para
2
.
Caso
2
0
Neste caso tenho que
0
= 0 e, consequentemente,

. Este o caso trivial,

pois a Lagrangeana L
1
vai permanecer inalterada e, portanto, no h quebra espontnea de
simetria. Isso quer dizer que a simetria global permanece.
Caso
2
<0
Este o caso no trivial, pois para obter
_

_
0
= 0 preciso realizar a transformao. E
entre todas as possibilidades de escolha para , preciso escolher uma. Neste caso, portanto,
preciso escolher um estado de vcuo entre todos os possveis estados de vcuo innitamente
degenerados. E neste caso a Lagragiana no permanece inalterada, mas toma a forma de:
L
2
=
1
2
_
_

1
_
2
+ 2
2

2
1
_
+
1
2
_

2
_
2
+ (4.20)
+

2

1
_

2
1
+

2
2
_

8
_

2
1
+

2
2
_
2
.
A simetria inicial de vcuos foi perdida com a quebra e escolha de um vcuo em especial.
E a nova Lagrangeana L
2
apresenta dois campos:

1
e

2
. Desses, o campo

1
tem agora
massa m, tal que m
2
= 2
2
. Esse valor necessariamente positivo, j que
2
negativo,
por premissa. O campo

2
permanece com massa zero, e ser o campo que representa o
48
bson de Goldstone da teoria.
4.3 Caso Abeliano
Para estudar a quebra espontnea de simetria para o caso abeliano, a Lagrangeana inicial
a de um campo escalar carregado, dada por:
L
1
= (

+igW

) (

igW

V (

) . (4.21)
Na equao (4.21) acima, g a constante de acoplamento, W o campo vetorial e V
dado pela equao a seguir:
V (

) =
1
2

+
1
4
(

)
2
. (4.22)
Neste caso, para manter a invarincia de (4.21) preciso utilizar duas transformaes
locais de gauge, dadas por:
(x) e
ig(x)
(x) (4.23)
(4.24)
e W

(x) W

(x) +

(x) .
Novamente as transformaes dividem-se em dois casos:
Caso
2
0
Este , novamente, o caso trivial. A Lagrangeana vai descrever a interao eletrodinmica
de um escalar carregado.
Caso
2
< 0
Neste caso o valor esperado do vcuo para o campo (x) diferente de zero. O potencial
mnimo atingido quando:
49
_

2
+

_
= 0. (4.25)
Com a equao (4.25) possvel perceber que h innitos valores de vcuo possveis, dada
uma fase arbitrria em e
i
. Portanto:

0
= e
i

e
i

0

2
. (4.26)
Para simplicar os clculos escolho = 0. Assim:
(x) =
1

2
(
1
(x) +i
2
(x)) . (4.27)
Fazendo o deslocamento encontro:
(x) =

(x) =

0

2
. (4.28)
Assim:
_

_
0
= 0. (4.29)
O valor esperado do vcuo para o campo transladado passa a ser zero.
50
51
5 Teoria Quntica de Campos
Este captulo apresenta os principais conceitos de teoria quntica de campos. O estudo
da teoria teve sua base principalmente nas referncias (18) e (19).
A primeira seo apresenta as motivaes para a criao da teoria quntica de campos e
as sees seguintes apresentam, em sequncia, a dinmica dos campos clssicos, a formulao
de campos livres (onde apresentada a quantizao do campo mais simples, o campo de
Klein-Gordon), e uma introduo eletrodinmica quntica. A ltima seo apresenta uma
breve introduo ao modelo padro das partculas elementares, cuja teoria que o fundamenta
a teoria quntica de campos.
5.1 Motivao
A fsica clssica trata partculas e ondas como entidades completamente diferentes. Com
a fsica clssica impossvel formular simultaneamente o aspecto ambguo onda-partcula
das entidades da natureza que esto sendo descritas. Isso acontece porque classicamente as
partculas so tratadas como a entidade fundamental do modelo.
Tratar as partculas como entidades fundamentais de um modelo tambm pode causar di-
versos problemas quando passamos a tratar de casos que envolvem partculas com velocidades
relativsticas e com energias, consequentemente, muito mais altas.
Isso porque, quando estamos tratando de energias muito altas, partculas so criadas e
destrudas e o nmero de partculas em um sistema deixa de ser uma constante, como era no
caso clssico.
Quando estamos lidando com problemas de partculas elementares (escalas muito peque-
nas de tamanho) a velocidades muito altas (relativsticas), tratar as partculas como entidade
52
fundamental leva a solues incoerentes.
A essa altura, portanto, a teoria quntica clssica se depara com dois problemas funda-
mentais: como lidar com o aspecto ondulatrio que todas as partculas apresentam quando
submetidas a certas circunstncias e como lidar com a criao e destruio de partculas em
sistemas com energias altas o suciente para permitir isso.
A teoria que surgiu como resposta para estes problemas foi a teoria quntica de campos.
Sua principal diferena para a teoria quntica normal o fato de que agora a entidade
fundamental da teoria no a partcula, mas sim o campo, que se torna o gerador da
partcula. A Teoria Quntica de Campos uma teoria local onde todas as interaes so
mediadas de maneira local pelos campos.
A escolha do campo como entidade fundamental da natureza tambm foi corroborada
pelo fato de que partculas elementares de um dado tipo so indistinguveis entre si. Ou seja,
um eltron criado no centro de um sistema a 7 bilhes de anos-luz da Terra e que viaja at
aqui indistinguvel de um eltron criado em uma coliso em um acelerador de partculas
ontem noite.
5.2 Dinmica dos campos clssicos
Na Teoria Quntica Clssica os graus de liberdade clssicos foram quantizados, ou seja,
foram promovidos a operadores com respectivos autovalores e autovetores associados, agindo
no chamado espao de Hilbert. H um operador para a posio, um para o momento linear,
um para o momento angular e assim por diante.
No caso da Teoria Quntica de Campos, tenho tambm a quantizao, mas agora dos
prprios campos. Os graus de liberdade bsicos agora se tornam operadores que so funes
do espao e do tempo. Ou seja, o campo (t, x) agora um operador (t, x). H, portanto,
innitos graus de liberdade, j que o campo assumir um valor para cada ponto do espao-
tempo.
Antes de partir para a quantizao dos campos, no entanto, preciso entender sua din-
mica.
53
5.2.1 Fundamentos
Um campo uma funo das trs coordenadas espaciais, denotadas por x e pela coor-
denada temporal t. Assim, para cada ponto do espao-tempo tenho um valor associado do
campo. Posso escrever:
(x, t). (5.1)
A posio x, que era uma varivel dinmica que foi quantizada para a teoria quntica,
agora apenas um ndice para o campo , atravs do qual posso identicar qual o valor
associado ao campo que estou procurando.
Exempo: Os exemplos mais conhecidos de campos, para ilustrar o conceito, seriam dados
pelos campos eltrico,

E(x, t), e magntico

B(x, t). Cada uma destas coordenadas necessrias
para o clculo do campo assume um valor especco, dado o ponto no espao-tempo em que
est sendo avaliado o campo, de tal forma que o campo tem, alm de amplitude, uma direo
no espao.
Assim, tenho E
x
, a projeo no eixo x do campo eltrico, E
y
, que seria a projeo em y
e E
z
, a projeo do eixo z. O mesmo vale para o campo magntico.
Mas tanto os dois campos podem ser obtidos atravs do campo A

= (,

A), onde o
ndice varia tal que = 0, 1, 2, 3. Ou seja, tenho agora um campo que um vetor no
espao-tempo. possvel encontrar os campos eltrico e magntico atrves das equaes
abaixo:

E =

A
t
e ainda

B =

A. (5.2)
5.2.2 A dinmica a partir da Lagrangiana
O comportamento dinmico de um campo (ou seja, sua variao no tempo) ser descrito
pela Lagrangeana deste campo. E, para qualquer campo estudado neste trabalho, a La-
grangeana que o descreve ser sempre uma funo apenas do prprio campo ( x, t), de sua
derivada temporal,

(x, t) e de sua derivada espacial (x, t).
54
Isso segue um padro clssico. Na mecnica de partculas as Lagrangeanas sempre de-
pendem do parmetros q e q (coordenadas generalizadas), mas no dependem de q. E ana-
logamente, as Lagrangeanas estudadas aqui vo depender tambm apenas de derivadas em
primeira ordem do campo, tanto temporal quanto especialmente.
Uma das principais razes para isso, como ser abordado com mais cuidado posterior-
mente neste trabalho, o fato de que se procura manter a invarincia de Lorentz, o que se
torna mais simples de conseguir com derivadas de primeira ordem. Alm disso, para manter
a invarincia preciso tratar as variveis de tempo e espao em p de igualdade, ou seja,
derivadas de segunda ordem no espao precisariam aparecer junto de derivadas de segunda
ordem no tempo.
Com estes critrios, usando a notao de Lorentz possvel dizer que as Lagrangeanas
de interesse podem ser escritas como:
L(t) =

d
3
xL(
a
,

a
). (5.3)
Aqui, tenho que a Lagrangeana L ser a integral espacial da densidade de Lagrangeana
L. O ndice a refere-se a-sima partcula descrita pela Lagrangiana. O ndice a refere-se
ao campo a cujo comportamento est sendo descrito pela Lagrangiana.
Para encontrar as equaes de movimento, analogamente ao caso clssico, preciso mini-
mizar a ao. A ao S dada por:
S =

t
2
t
1
dt

d
3
xL =

d
4
xL. (5.4)
Minimizar a ao requer S = 0 e consequentemente requer:
S =

d
4
x
_
L

a
+
L
(

a
)
(

a
)
_
= 0. (5.5)
Mas tenho que:

_
L
(

a
)

a
_
=

_
L
(

a
)
_

a
+
L
(

a
)
(

a
). (5.6)
55
Usando a equao (5.5) na equao (5.6), encontro que:
S =

d
4
x
_
L

_
L
(

a
)
__

a
+

_
L
(

a
)

a
_
. (5.7)
O argumento aqui de que o ltimo termo da equao (5.7) uma derivada total e,
portanto, deve ir para zero para qualquer
a
(x, t) quando vai para espacialmente e
deve obedecer que
(
x, t
1
) =
(
x, t
2
) = 0. E o argumento da menor ao que garante
S = 0 faz com que eu encontre as equaes do movimento, as equaes de Euler-Lagrange:

_
L
(

a
)
_

a
= 0. (5.8)
O primeiro passo agora encontrar a dinmica do tipo mais simples de campo, o campo
escalar. Aplicando as equaes de Euler-Lagrange acima encontradas a uma Lagrangeana
que descreve campos escalares possvel encontrar a chamada equao de Klein-Gordon.
Este ser o primeiro exemplo de dinmica de um campo, mostrado a seguir.
5.2.3 Campos de Klein-Gordon
Os campos de Klein-Gordon so os primeiros a serem estudados porque so os campos
mais simples. Para obter sua equao parte-se da Lagrangeana apresentada na equao (5.9).
O campo ser denotado por .
L =
1
2

1
2
m
2

2
=
1
2

1
2
()
2

1
2
m
2

2
. (5.9)
Mas sabendo que a forma clssica da Lagrangeana L dada por:
L = (Energia cintica) T (Energia potencial) V. (5.10)
possvel identicar na equao (5.9) o que poderia ser considerada a energia cintica
referente ao campo , dada por (lembrando que a integral no espao aparece porque a equao
56
(5.9) trata da densidade de Lagrangiana):
T =

d
3
x
1
2

2
. (5.11)
Bem como a sua energia potencial correspondente, consequentemente dada por:
V =

d
3
x
1
2
()
2
+
1
2
m
2

2
. (5.12)
Estou procurando a equao da dinmica do campo, ou seja, a equao de Euler-Lagrange.
Assim, devo proceder conforme a seo anterior, encontrando os valores da derivada de L que
aparecem na equao (5.8), apresentada na seo anterior. Assim, calculo para a densidade
de Lagrangeana (5.9) os seguintes termos:
L

= m
2
,
L
(

)
=

,
_
. (5.13)
Assim, por (5.8), tenho que:
0 =


2
+m
2
,
=

+m
2
. (5.14)
Em (5.14), para simplicar a forma da equao encontrada, explicitou-se a derivada nas
quatro coordenadas relativsticas (as trs coordenadas espaciais mais a coordenada temporal).
Essa , portanto, a chamada equao de Klein-Gordon, que descreve a dinmica associada
a um campo escalar cuja Lagrangeana (5.9).
5.2.4 Campos de Maxwell
Um outro exemplo importante o dos campos de Maxwell, ou seja, os campos eletro-
magnticos. A fsica clssica, atravs das equaes de Maxwell, consegue descrever bem o
57
comportamento dos campos eletromagnticos.
possvel encontrar as equaes de Maxwell partindo da Lagrangeana dos campos eletro-
magnticos, da mesma maneira que se encontra a equao de Klein-Gordon. A Lagrangeana
pode ser construda a partir da equao:
L
EM
=
1
4
F

. (5.15)
Onde o campo F

dado por F

. Assim, posso escrever:

L =
1
2
(

) (

) +
1
2
(

)
2
. (5.16)
Novamente trata-se apenas de calcular os valores das derivadas da densidade de Lagran-
giana, a m de obter a equao de Euler-Lagrange. Para isso preciso computar dois termos,
sendo o primeiro:
L
(

)
=

+ (

. (5.17)
E o segundo:

_
L
(

)
_
=
2
A

)
=

)
=

. (5.18)
Com estes termos possvel encontrar o valor da equao de Euler-Lagrange para os
campos eletromagnticos, que vai computar:

= 0. (5.19)
Assim, a equao (5.19) a equao da dinmica dos campos eletromagnticos. Estes
campos so campos vetoriais, dado que A um quadrivetor no espao-tempo, ao contrrio
do caso de Klein-Gordon apresentado, onde era apenas um escalar.
58
5.2.5 Localidade dos campos
Como agora a entidade estudada o campo, como saber o comportamento deste campo
quando submetido a uma transformao de Lorentz? Primeiramente vale pensar na sua
localidade.
Todas as Lagrangeanas apresentadas acima tem carter local, ou seja, nenhuma delas
apresenta termos tais que (x, t) e (y, t), para x = y, esto acoplados. Se houvesse um
termo desta natureza haveria uma associao, no mesmo instante de tempo, de valores do
campo associados a pontos diferentes do espao.
Uma teoria no local no respeitaria a invarincia de Lorentz. Todas as Lagrangeanas
aqui estudadas sero locais.
5.2.6 Invarincia de Lorentz
Quando se procura obter a covarincia de Lorentz para uma teoria, preciso que nesta
teoria o tempo e o espao sejam tratados da mesma forma.
Uma das motivaes da teoria quntica de campos, conforme mencionado no princpio
deste captulo, fazer com que a mecnica clssica passe a respeitar a teoria da relatividade.
Assim, nesta sub-seo tratamos de compreender o comportamento dos campos estudados
quando submetidos s transformaes de Lorentz.
A transformao de Lorentz dada por:
x

(x

. (5.20)
Sendo que a transformao , que representa a transformao de Lorentz, satisfaz com
a mtrica de Minkowski a seguinte relao:

. (5.21)
A transformao de Lorentz que representa um boost ao longo do eixo x, a uma velocidade
v < 1 dada por:
59

=
_
_
_
_
_
_
_
_
_
v 0 0
v 0 0
0 0 1 0
0 0 0 1
_
_
_
_
_
_
_
_
_
. (5.22)
importante ressaltar que se usa a transformao
1
na equao (5.23) a seguir porque
se trata da viso ativa da transformao, onde o campo realmente trocado de posio. Isso
quer dizer que, quando tenho que a fonte do campo (x) originalmente se encontra no ponto
p = (1, 0, 0), se eu rodar este campo atravs da transformao R em torno do eixo z, tal que
R p = (0, 1, 0), isso quer dizer que agora o campo tem sua fonte no ponto p

. Ou seja, se
eu quero saber como escrever o novo campo

(x) em funo do campo original , basta, a

partir da nova fonte em p

= (0, 1, 0) descobrir quanto valia o campo antigo no lugar de onde

parti, ou seja, R
1
(0, 1, 0) = (1, 0, 0).
Por isso

(x) = (
1
(x)).
Se eu aplicar esta transformao ativamente a um campo escalar, como o de Klein-
Gordon, vou obter a transformao de Lorentz de um ponto x x, que pode ser escrita
conforme a equao a seguir:
(x)

(x) = (
1
x). (5.23)
Aqui a equao (5.23) mostra a transformao aplicada a um campo escalar.
Se quero garantir que a teoria invariante de Lorentz, basta garantir ento que tanto
o campo (x) quanto o novo campo

(x) respeitem as mesmas equaes de movimento, ou

seja, que a transformao de Lorentz mantenha inalteradas as equaes de movimento. Mais
do que isso, devo garantir que:

(x) = (x). (5.24)

Isso seria equivalente a garantir que a ao S seja invariante de Lorentz. Para vericar essa
propriedade, vamos encontrar as equaes de movimento para os campos de Klein-Gordon
aps a estes ter sido aplicada uma transformao de Lorentz.
60
Equao de Klein-Gordon
Como neste caso se trata de um campo escalar, tenho que (x)

(x) = (
1
(x)).
Mas a derivada de um campo escalar comporta-se como um vetor quando submetida a uma
transformao de Lorentz. Assim:
(

) (x)
_

1
_

) (
1
x). (5.25)
Para facilitar a visualizao, vou denir y =
1
x. Quero saber, portanto, como cariam
as derivadas do campo aps a transformao. Usando a equao (5.25), encontro que a
minha densidade de Lagrangeana dada por:
L
derivada
(x) =

(x)

(x)

1
_

)(y)
_

1
_

)(y)

= (

)(y)(

)(y)

= L
derivada
(y). (5.26)
Ainda falta observar o comportamento da parte potencial da Lagrangiana. Sabendo que
(x) (y) a ao, portanto, ser dada por:
S =

dtL =

dt

d
3
xL(x)
=

d
4
xL(x)

d
4
xL(y)
=

d
4
yL(y) = S. (5.27)
Na ltima linha da equao (5.27) a transformao da varivel de integrao de x para y
levou em conta que o determinante de 1 e, consequentemente, o Jacobiano da mudana
de variveis ser 1. Portanto ca claro por (5.27) que a ao permanece invariante pela
transformao de Lorentz para o caso dos campos de Klein-Gordon.
61
5.2.7 A dinmica a partir da Hamiltoniana
Para continuar com a construo da teoria quntica de campos utilizando o formalismo
das Lagrangeanas, apresentado at este momento, seria preciso utilizar integrais de caminho.
Uma outra forma de continuar com a formao seria atravs da quantizao cannica, mas
para este caso o formalismo adotado deve ser o da Hamiltoniana.
Seguindo por esta ltima linha, portanto, vamos apresentar aqui como construir esse
formalismo. Primeiro, deni-se o momento
a
(x) conjugado ao campo
a
(x). dado por:

a
(x) =
L

a
. (5.28)
Onde a o subndice que indica a qual partcula estou me referindo.
A partir do momento conjugado possvel escrever a densidade de Hamiltoniana H, que
dada por:
H =
a
(x)

a
(x) L(x). (5.29)
Para obter a Hamiltoniana basta aplicar a integral no espao:
H =

d
3
xH. (5.30)
As equaes de movimento para o campo (x), partindo da Hamiltoniana, so dadas por:

(x, t) =
H
(x, t)
, (5.31)
(x, t) =
H
(x, t)
. (5.32)
Estas so as equaes de Euler-Lagrange no formalismo hamiltoniano.
62
5.3 Campos Livres
Agora que a dinmica dos campos clssicos foi propriamente apresentada vamos procurar
apresentar como feita a quantizao dos campos a partir do formalismo da Hamiltoniana.
Para fazer isso parte-se de uma analogia clara com o caso da mecnica clssica. Assim,
partindo da quantizao cannica, a quantizao de um campo livre feita nesta seo. A
partir disso possvel estudar tambm como equacionar e tratar as excitaes deste campo
quantizado.
5.3.1 Quantizao cannica
O que acontece no caso da mecnica quntica que a partir do formalismo Hamiltoniano
utiliza-se a quantizao cannica para passar da dinmica clssica para a dinmica da teoria
quntica. Neste caso clssico tanto o momento p
a
quanto a posio q
a
deixam de ser apenas
parmetros do modelo e passam a ser operadores quantizados e, consequentemente, com
auto-estados e auto-valores denidos para cada sistema. Da a quantizao.
Sendo agora operadores, no necessariamente comutam. Assim, as novas relaes de
comutao passam a ser (levando em conta unidades naturais, denidas no princpio deste
trabalho):
[q
a
, q
b
] =
_
p
a
, p
b
_
= 0 (5.33)
_
q
a
, p
b
_
= i
b
a
. (5.34)
Aqui a e b referem-se s partculas a e b correspondentes. Lembrando que para estas
equaes
b
a
= 0 se a = b e
b
a
= 1 se a = b. Agora fazendo a analogia, no caso em que
queremos quantizar o campo posso tratar, no lugar da coordenada espacial q
a
, o prprio
campo
a
(x) e seu momento conjugado do formalismo da Hamiltoniana, denido na seo
anterior,
b
(x).
Assim, um campo quntico agora um operador que uma funo do espao e que
respeita as seguintes relaes de comutao:
63
[
a
(x),
b
(y)] =
_

a
(x),
b
(y)
_
= 0, (5.35)
_

a
(x),
b
(y)
_
= i
(3)
(x y)
b
a
. (5.36)
Aqui est sendo usada a representao de Schrdinger, por isso os operadores no depen-
dem do tempo. Os autoestados destes operadores, no entanto, vo evoluir temporalmente
conforme a equao de Schrdinger, ou seja, um estado | regido pela Hamiltoniana H vai
evoluir conforme:
i
d |
dt
= H | . (5.37)
Percebe-se que, na teoria quntica de campos, h innitos graus de liberdade, j que
h ao menos um para cada ponto (x, t) do espao-tempo. Para o caso das teorias livres
possvel descrever a dinmica de um campo de maneira que cada grau de liberdade evolua
independentemente no tempo.
O caso mais simples onde possvel fazer isso seria o dos campos de Klein-Gordon. Sendo
o campo dado por (x, t), e sua equao de movimento (encontrada na seo anterior) dada
por:

+m
2
= 0. (5.38)
Se quero desacoplar os graus de liberdade, posso utilizar a transformada de Fourier do
campo, tal que:
(x, t) =

d
3
p
(2)
3
e
i px
( p, t). (5.39)
Agora, a equao de movimento satisfeita por ( p, t) ser dada por:
_

2
t
2
+ (m
2
+ p
2
)
_
( p, t) = 0. (5.40)
A equao (5.40) nada mais do que a equao de um oscilador harmnico para um dado
64
valor de p, tal que sua frequncia de oscilao dada por:

p
= +
_
p
2
+m
2
. (5.41)
Ou seja, a equao de Klein-Gordon uma superposio linear de osciladores harmnicos
simples, que vibram a diferentes frequncias e com diferentes amplitudes. Se quero quantizar
o campo de Klein-Gordon, posso ento fazer isso atravs da quantizao destes osciladores.
A subseo seguinte apresenta o modelo clssico da quantizao de um oscilador harmnico
simples.
5.3.2 Oscilador Harmnico Simples
A Hamiltoniana quntica, que d origem ao oscilador harmnico simples em uma dimen-
so, dada por:
H =
1
2
p
2
+
1
2

2
q
2
. (5.42)
Os operadores p e q, agora j quantizados, respeitam a seguinte relao de comutao
(em unidades naturais):
[q, p] = i. (5.43)
Deno os operadores a e a

que destroem e criam, respectivamente, os autoestados da

Hamiltoniana, como:
a =
_

2
q +
i

2p
, (5.44)
a

=
_

2
q
i

2p
. (5.45)
Posso isolar nas equaes (5.44) e (5.45) os operadores p e q, encontrando:
65
q =
1

2
_
a +a

_
, (5.46)
p = i
_

2
_
a a

_
. (5.47)
Com essa denio, substituindo as equaes (5.46) e (5.47) na equao (5.43), encontro
a relao de comutao entre os operadores a e a

. Assim:
_
a, a

_
= 1. (5.48)
Posso tambm substituir (5.46) e (5.47) na Hamiltoniana (5.42). Com a Hamiltoniana
agora escrita dessa forma, posso tambm encontrar as relaes de comutao entre H e os
operadores criao e destruio. A Hamiltoniana car:
H =
1
2

_
aa

+a

a
_
(5.49)
=
_
a

a +
1
2
_
. (5.50)
Enquanto os comutadores de a e a

sero dados pelas equaes a seguir:

_
H, a

_
= a

, (5.51)
[H, a] = a. (5.52)
(5.53)
Para deixar claro como os operadores a e a

percorrem os diferentes estados de energia do

oscilador harmnico, basta aplicar a Hamiltoniana a um estado onde a ou a

foi aplicado. Isso

porque, se aplico o operador H a um estado da Hamiltoniana, seu autovalor correspondente
ser a energia, ou seja, H |E = E |E. Quero saber qual seria a energia associada ao estado
a |E ou a

|E. Para fazer isso, usando (5.52) e (5.53):

66
Ha

|E =
_
a

+a

H
_
|E
= (E + ) a

|E (5.54)
(5.55)
Ha |E = (a +aH) |E
= (E ) a |E . (5.56)
(5.57)
Dessa forma, atravs dos operadores a e a

possvel percorrer, de maneira discreta (ou

seja, a passos de amplitude dada por ) todos os innitos estados de energia do oscilador
harmnico. Ou seja, os possves estados de energia para este oscilador sero:
, E 2, E , E, E + , E + 2
Pode haver um mnimo possvel de energia, neste caso haveria um estado de menor
energia, o vcuo. Podemos cham-lo de |0. Por ser o menor estado de energia possvel, deve
ser tal que a |0 = 0. A energia deste menor estado seria:
H |0 =
1
2
|0 . (5.58)
Todos os outros estados de energia possveis podem ser escritos a partir deste estado |0
atravs de repetidas aplicaes do operador a

. O n-simo estado de energia pode ser escrito

como:
|n =
_
a

_
n
|0 , (5.59)
e a energia correspondente a este estado ser:
H |n =
_
n +
1
2
_
|n . (5.60)
Ou seja, a energia do estado fundamental mais n .
67
5.3.3 Campo Escalar Livre
Agora que j foi apresentado o mtodo de quantizao do oscilador harmnico simples,
basta aplicar este mesmo mtodo ao campo escalar que havamos quantizado na subseo
sobre quantizao cannica. Assim, da mesma maneira que p e q foram escritos com opera-
dores de criao e destruio, posso escrever o campo (x) e o momento cannico (x) como
uma combinao de operadores criao e destruio. A principal diferena, neste caso, que
cada operador a ou a

estar agora indexado a um vetor 3-momento p, de forma anloga aos

operadores e , que esto indexados a um ponto no espao x. Assim:
(x) =

d
3
p
(2)
3
1

2
p
_
a
p
e
i px
+a

p
e
i px
_
(5.61)
(5.62)
(x) =

d
3
p
(2)
3
(i)
_

p
2
_
a
p
e
i px
a

p
e
i px
_
.
Conforme feito para o caso do oscilador harmnico simples, quero agora encontrar as
relaes de comutao para a
p
e a

p
equivalentes s relaes de (x) e (x). Assim, a partir
das relaes de comutao (5.63) e (5.64), a seguir:
[(x), (y)] = [(x), (y)] = 0 (5.63)
[(x), (y)] = i
(3)
(x y). (5.64)
possvel provar as relaes entre os operadores a e a

que seguem:
[a
p
, a
q
] =
_
a

p
, a

q
_
= 0 (5.65)
_
a
p
, a

q
_
= (2)
3

(3)
( p q) . (5.66)
Equaes (5.65) e (5.66) representam as relaes entre os operadores criao e destruio
de partculas.
Para mostrar isso, tambm conforme foi feito para o caso do oscilador harmnico simples,
68
vou computar o valor da Hamiltoniana do campo de Klein-Gordon. Segundo o formalismo
Hamiltoniano, ela dada por:
H =
1
2

d
3
x
_

2
+ ()
2
+m
2

2
_
. (5.67)
Assim, substituindo os valores para (x) e (x) em funo de a e a

, encontro:
H =
1
4

d
3
p
(2)
3
1

p
__

2
p
+ p
2
+m
2
_ _
a
p
a
p
+a

p
a

p
_
+
_

2
p
+ p
2
+m
2
_ _
a
p
a

p
+a

p
a
p
__
.
Se eu usar que
2
p
=

p
2
+m
2
, ento tenho:
H =
1
2

d
3
p
(2)
3

p
_
a
p
a

p
+a

p
a
p
_
. (5.68)
No existe uma forma de saber a energia de vcuo E
0
de um campo escalar diretamente.
Por isso, como em geral o que nos interessa sempre uma diferena de energia, posso redenir
a Hamiltoniana de forma a eliminar o problema do innito na energia negativa. Assim:
H =

d
3
p
(2)
3

p
a

p
a
p
. (5.69)
Com essa forma da Lagrangiana, tenho que H |0 = 0.
Novamente numa analogia com o caso do oscilador harmnico simples, possvel provar
as seguintes relaes de comutao:
_
H, a

p
_
=
p
a

p
(5.70)
[H, a
p
] =
p
a
p
, (5.71)
e construo cada um dos autoestados de energia a partir do operador a

p
aplicado ao estado
fundamental |0. Assim, posso escrever:
69
| p = a

p
|0 . (5.72)
Novamente levando em conta que
2
p
= p
2
+m
2
, tenho a energia associada ao autoestado
| p:
H | p =
p
| p . (5.73)
Ainda possvel se perguntar o que signicaria, sicamente, uma excitao do campo
quantizado. Ou seja, o que representam todos os possveis estados de energia associados a
cada oscilador (anal h um oscilador para cada p).
Para isso basta perceber que a equao (5.73) mostra, anal, justamente a expresso da
energia relativstica E
2
p
= p
2
+m
2
para uma partcula de massa m e momento linear p.
Sendo assim, posso interpretar | p como sendo o autoestado de energia para uma partcula
de massa m e com momento p. As excitaes do campo ( p) quantizado so partculas de
momento linear p, energia E
p
e massa m.
5.4 O modelo padro
Uma vez tendo os campos quantizados individualmente, possvel construir um modelo
onde a interao entre esses campos quantizados modelada. Essa a base para a cons-
truo do chamado modelo padro das partculas elementares. Aqui, como nas teorias de
perturbao clssicas, a contribuio de cada termo proporcional probabilidade de que a
interao fsica que ele descreve acontea.
Atravs de clculos usando o modelo padro possvel prever resultados experimentais
de tempos de decaimento e de sees de choque para colises entre partculas. A preciso
destes resultados extremamente alta, e h limites previstos pela teoria que ainda no pude-
ram ser vericados experimentalmente j que o limite de energia que pode ser atingido nos
aceleradores existentes ainda no suciente para medir tais valores.
A vericao experimental dos resultados previstos teoricamente corroboram a ideia de
que se trata provavelmente da teoria fsica mais bem sucedida at hoje para descrever as
70
interaes entre partculas elementares.
As principais quantidades fsicas previstas pela teoria e que podem ser vericadas expe-
rimentalmente so:
Tempo de vida: algumas partculas podem ter um tempo de vida nito antes de sofrerem
algum tipo de interao e decarem em outras partculas mais elementares. possvel
obter um valor experimental para esse tempo de vida.
Seo de choque: quando duas partculas viajam uma em direo outra, elas podem
interagir quando estiverem prximas o suciente para que isso acontea. A seo de
choque uma forma de medir a probabilidade dessa interao acontecer, dada a distn-
cia a que as partculas se cruzam e o tipo de fora que causa a interao. Trata-se de
uma rea hipottica que pode ser medida ao redor do alvo e que representa uma super-
fcie. Se esta rea delimitada pela seo de choque for atravessada pela outra partcula
em algum ponto, haver alguma interao. Portanto, possvel obter experimental-
mente o valor da seo de choque de uma coliso, sendo que este valor vai depender do
tipo de interao sofrido, bem como das propriedades das partculas envolvidas nessa
interao.
Calculando atravs da teoria essas quantidades fsicas e comparando os valores encontra-
dos com os resultados obtidos experimentalmente possvel vericar a validade das suposies
fsicas feitas para desenvolver o modelo padro.
Assim, para descrever uma interao comeo quantizando os campos fsicos envolvidos
(e no mais os parmetros de posio e momento, como era o caso na fsica quntica no
relativstica, conforme mencionado acima). Aps a quantizao dos campos, aplico ento
uma teoria de perturbao para encontrar a quantidade fsica que quero encontrar.
Uma forma de entender a viso aplicada em teoria quntica de campos pensar que,
quando as partculas A e B interagem, eu s tenho acesso a duas informaes bsicas: o
estado inicial (partculas A e B esto se aproximando) e o estado nal (partculas nais
detectveis). O que acontece neste estado intermedirio entre os estados inicial e nal
uma "caixa preta", ou seja, no h como dizer exatamente que processos se deram naquele
intervalo do espao-tempo e no h como observar experimentalmente esse estado. A teoria
71
quntica de campos atribui a cada um dos innitos possveis estados intermedirios um peso,
dependendo da probabilidade que esse estado intermedirio tem de acontecer.
Ou seja, a teoria quntica de campos procura encontrar o valor mais preciso possvel
para os tempos de vida e as sees de choque, fazendo isso atravs de uma aproximao,
que obtida atravs de uma srie perturbativa. Cada termo da srie perturbativa pode ser
encontrado com a ajuda dos chamados grcos de Feynman, uma representao pictrica
dos processos que possivelmente podem acontecer ao longo da interao dessas partculas. E
esses grcos representam interaes entre campos que so, agora, quantizados.
No mtodo dos diagramas de Feynman cada termo obtido atravs de uma combinao
de contribuies onde cada caminho possvel para a interao uma contribuio a ser levada
em conta. Para obter a contribuio de cada termo da srie perturbativa, correspondente
a cada diagrama, basta associar a cada parte do diagrama em questo uma expresso ade-
quada. A construo dos diagramas respeita algumas regras bsicas, que por sua vez foram
estabelecidas de forma a respeitar a fsica envolvida no fenmeno que est sendo descrito, e
que sero explicitadas mais adiante.
5.5 Interaes fracas
Antes do estudo de modelos que respeitam invarincia de calibre, a formulao das in-
teraes fracas era principalmente obtida atravs de dois mtodos diferentes: a teoria de
quatro frmions (four fermion theory) (20) e a teoria do bson intermedirio - IVB - (do
ingls, intermediate vector boson) (21).
A teoria de interaes de quatro frmions surgiu para explicar o longo tempo de vida de
alguns processos, como o decaimento de em ou o decaimento e. O tempo de vida era
to longo que foi preciso recorrer a um novo tipo de interao para explicar os processos: a
interao fraca.
Aps a descoberta da violao de paridade, formulou-se a teoria V-A, onde a corrente
associada a um processo podia ser dividida em vetorial ou axial. Essa teoria apenas fazia uma
decomposio dessa corrente J

em duas componentes, uma associada a um bilinear vetorial

e uma associada a um bilinear pseudovetorial(axial), respectivamente:

5
.
A Lagrangeana referente a essa interao fraca pode ser descrita como:
72
L(x) =
G

2
J

(x)J

(x) + conjugado hermitiano. (5.74)

Mas a equao (5.74), acima, no renormalizvel e, consequentemente, uma teoria cuja
Lagrangeana descrita por (5.74) ter innitos.
5.6 Teoria Eletrofraca
A teoria eletrofraca padro descreve a estrutura das interaes fraca e eletromagntica de
forma unicada. Este captulo procura apresentar os aspectos fundamentais dessa teoria, que
em ltima anlise leva a uma descrio do modelo de mistura para quarks e sua consequente
matriz de massa. A principal referncia para a redao deste captulo foi o livro de Cheng e
Li (22).
A teoria eletrofraca combina a eletrodinmica quntica com a teoria fraca de baixa energia
para correntes carregadas e neutras.
Por ser consequncia de uma fora de curto alcance, a interao fraca no pode ser inter-
mediada por uma partcula de massa zero. No entanto, o bson intermedirio da teoria fraca,
se fosse descrito por uma partcula massiva, quebraria a invarincia de gauge da Lagrangeana
da teoria e, consequentemente, viria a ferir o requisito bsico para renormalizabilidade.
A soluo para lidar com esse tipo de problema o mecanismo de quebra espontnea de
simetria, descrito no captulo quatro desta dissertao. A teoria renormalizvel que descreve
essa interao unicada com a teoria eletromagntica. A simetria de gauge respeitada nesse
caso SU(2) U(1).
Uma teoria eletrofraca renormalizvel onde os bsons intermedirios da interao fraca
tivessem massa gerada pelo mecanismo de Higgs s foi proposta em 1967 por Weinberg e
independentemente em 1968 por Salam . Assim, a teoria passou a ser tambm conhecida por
modelo Glashow-Weinberg-Salam (23)(24)(25).
73
6 Matriz de massa para neutrinos
Apesar de descrever de maneira correta o mecanismo de mistura de quarks e, consequen-
temente, sua matriz de massa, o modelo padro ainda trata de uma fsica em que os neutrinos
no possuem massa. De fato, houve um tempo em que a comunidade cientca acreditou que
os neutrinos tivessem massa zero, mas descobertas mais recentes provaram o contrrio.
Entre essas descobertas, uma das mais notrias foi a observao do fenmeno de oscilao
de neutrinos. Observou-se que neutrinos solares emitidos com um sabor chegavam Terra
como neutrinos de sabor diferente do original. Esse fenmeno indica que os autoestados de
massa dos neutrinos so diferentes dos autoestados de sabor. Cada autoestado de massa
pode ser descrito como uma combinao linear dos autoestados de sabor.
Para tratar desta caracterstica massiva dos neutrinos preciso ir alm do modelo padro
atual. possvel fazer isso atravs de uma extenso deste modelo.
Uma das extenses sugeridas para incorporar a massa dos neutrinos ao modelo padro
foi adicionar ao setor leptnico ao menos uma nova partcula. Esta partcula seria incapaz de
interagir por fora fraca, podendo ser a responsvel na matriz de mistura pelo termo gerador
de massa dos neutrinos.
Este trabalho segue exatamente esta linha de desenvolvimento, em que o modelo padro
estendido pela adio de partculas elementares que no interagem por fora fraca, nem
forte e nem eletromagntica, e que seriam os chamados neutrinos estreis. A primeira seo
deste captulo dedicada a introduzir estas partculas ao leitor.
A seo seguinte apresentar os clculos da extenso do setor leptnico do modelo padro,
considerando n famlias de lptons e n
0
neutrinos estreis adicionados.
Uma vez tendo sido apresentadas as consequncias da adio dos neutrinos estreis,
calcula-se a matriz de mistura para os neutrinos. Em um primeiro momento, esta matriz en-
74
contrada para o caso em que temos apenas um neutrino estril adicionado e, posteriormente,
para o caso de n
0
neutrinos estreis adicionados.
Estas ltimas sees apresentadas foram norteadas pelo artigo (1).
6.1 Neutrinos estreis
Conforme mencionado no artigo da referncia (26), os neutrinos estreis so lptons
neutros com nenhum tipo de interao fraca conhecida exceto aquela induzida pela mistura
com os neutrinos ativos (neutrinos do modelo padro). Tais partculas elementares poderiam
ter qualquer valor de massa e seriam de difcil deteco. Essa adio pode ocorrer porque
dentro de uma extenso simples do modelo padro possvel adicionar neutrinos estreis
como singletos de SU(2).
Ou seja, o neutrino estril um singleto de SU(2) e poderia, em princpio, participar
de interaes envolvendo nova fsica ou interaes envolvendo o bson de Higgs. Isso quer
dizer que em extenses do modelo padro o neutrino estril poderia participar efetivamente
de interaes.
Uma grande parte das extenses j sugeridas para o modelo padro envolvem a adio
de um ou mais neutrinos estreis.
6.2 Modelo padro estendido por neutrinos estreis
Quero desenvolver um setor leptnico que possua agora, alm das n famlias formadas
pelos lptons conhecidos, n
0
neutrinos estreis. Adicionando estes neutrinos estreis ao mo-
delo, encontro diferenas nas Lagrangeanas que descrevem o setor leptnico, que agora deixa
de ser padro. O interesse aqui est em encontrar as Lagrangeanas do modelo modicado,
que vo descrever o setor leptnico estendido.
Do modelo padro tenho, a princpio, os n dubletos de quiralidade de mo esquerda (um
dubleto para cada gerao de lptons), que posso escrever como:
F
La
=
_
_
n
La
f
La
_
_
T
. (6.1)
75
Aqui a = 1, ..., n, para levar em conta todas as n famlias e T representa que a transposta
da matriz. Portanto n
La
representam os n lptons neutros de mo esquerda (seriam os n
neutrinos padro) e f
La
representam os n lptons carregados de mo esquerda (seriam no
modelo padro os eltrons, tons e mons de mo esquerda, supondo n igual a 3, englobando
as famlias conhecidas).
Alm destes dubletos, tenho os n singletos referentes aos lptons carregados de mo
direita, representados por f
Ra
. Novamente, a varia de 1 a n.
Vale ressaltar que a letra L representa aqui a projeo de quiralidade de mo esquerda
e a letra R representa a quiralidade de mo direita. O operador de projeo de quiralidade,
que foi denido no captulo de conceitos fundamentais, pode ser escrito aqui como:
P
L,R
=
(1
5
)
2
. (6.2)
A representao dos lptons padro sugere que preciso escolher a quiralidade dos neu-
trinos estreis que estou adicionando ao modelo. Tratando-se de partculas ainda no identi-
cadas, no tenho como saber qual sua projeo de quiralidade. Como os neutrinos estreis,
por construo, so singletos de SU(2), estes tratam-se necessariamente de partculas de mo
direita.
Sendo assim, posso agora representar os singletos formados pelos neutrinos estreis como
s
Rx
. R a projeo de quiralidade e agora x varia de 1 at n
0
, pois estou adicionando n
0
neutrinos estreis.
Estou procurando as consequncias da adio de neutrinos estreis apenas para a parte
fraca do modelo padro. Isso porque os neutrinos estreis s vo apresentar algum tipo de
interao induzida pela mistura dos neutrinos padro e as foras eletromagntica e forte so
cegas aos neutrinos. Como no modelo padro a fora fraca e eletromagnticas foram uni-
cadas na teoria eletrofraca, vou partir da Lagrangeana da teoria eletrofraca para encontrar
quais Lagrangeanas sero alteradas com a adio dos s
R
. Tenho:
L
eletrofraca
= L
1
+ L
2
+ L
3
+ L
4
. (6.3)
O primeiro termo da Lagrangiana, L
1
invariante de gauge e a Lagrangeana que
76
representa a interao entre os tensores do campo de gauge SU(2) e U(1), tal que:
L
1
=
1
4
F
i

F
i

1
4
G

. (6.4)
Aqui tenho F
i

A
i

A
i

+ q
ijk
A
j

A
k

, e o tensor G do campo B, dado por

G

.
Neste caso F

o tensor do campo de gauge SU(2), que neste caso trata-se de A e G

o tensor do campo de gauge U(1) que neste caso trata-se de B. O ndice varia de 1 a 4 e
o ndice i varia de 1 a 3.
O segundo termo da Lagrangiana, L
2
, tambm invariante de gauge e a Lagrangeana
que provm da Lagrangeana de Dirac, tal que:
L
2
=

i

. (6.5)
Onde o campo do espinorial de Dirac dos frmions da teoria e D

a derivada
covariante, que torna a Lagrangeana invariante de gauge. A derivada covariante dada por:
_

i g

T

A

ig

V
2
B

_
. (6.6)
Onde T a representao da matriz SU(2), g

a hipercarga.
O terceiro termo da Lagrangiana, L
3
, representa a interao do campo escalar consigo
mesmo. dado por:
L
3
= (D

(D

) V (). (6.7)
Onde o campo escalar de Higgs, D

a derivada covariante do campo de Higgs e

onde tenho V () =
2

+ (

)
2
.
Finalmente L
4
a Lagrangeana referente ao acoplamento de Yukawa, tambm invariante
de gauge. Pode ser escrita agora com os sub-ndices explicitados na equao:
77
L
4
= y
(f)
ab

F
aL
f
bR
+y
(p)
ab

Q
aL

p
bR
+y
(n)
ab

Q
aL
n
bR
+ conjugado hermitiano. (6.8)
Nesta equao tenho

= i
2
, onde o campo , acima introduzido, o campo escalar de
Higgs. esta equao que representa o acoplamento entre os campos escalares e os frmions
do modelo e aqui ela est descrita apenas para n famlias de campos ferminicos. Neste caso,
tenho:
f
aR
= (f
1
, f
2
, ..., f
n
) (6.9)
p
aR
= (p
1
, p
2
, ..., p
n
) (6.10)
q
aR
= (q
1
, q
2
, ..., q
n
). (6.11)
Nas equaes (6.9), (6.10) e (6.11) acima, f
aR
representa os n frmions carregados de
quiralidade de mo direita, p
aR
representa os n quarks de carga 2/3 de quiralidade de mo
direita e q
aR
representa os n quarks de carga -1/3, projeo de quiralidade de mo direita.
Preciso denir ainda algumas variveis presentes na interao de Yukawa, so: F
aL
, que
est denida na equao (6.1) e n
R
, que representa os singletos formados pelos neutrinos de
mo direita, denidos acima.
Tambm tenho agora os n dubletos de projeo de mo esquerda formados pelas n famlias
de quarks:
Q
La
=
_
_
p
a
q
a
_
_
T
L
. (6.12)
Tenho tambm os termos que do a constante de acoplamento para cada caso, descritos
como y
(i)
ab
, onde i representa a partcula da interao e ab so as duas famlias que esto sob
acoplamento de Yukawa.
importante ressaltar que na Lagrangeana de Yukawa do modelo padro no h nenhum
termo de interao entre o dubleto de mo esquerda F
aL
e os singletos referentes aos frmions
neutros de mo direita, que seriam os n
Ra
= (n
1
, n
2
, ..., n
n
).
Olhando para as Lagrangeanas acima descritas fcil perceber que as que sofrero alte-
78
raes pela adio dos neutrinos estreis so apenas as Lagrangeanas L
2
e L
4
. Isso porque,
conforme mencionado anteriormente, a adio de neutrinos estreis no tem nenhuma con-
sequncia para a parte eletromagntica da lagrangiana, uma vez que tratam-se de partculas
neutras que no interagem eletromagneticamente. E tambm no causar nenhuma alterao
para a Lagrangeana referente interao dos campos escalares com eles mesmos, j que os
neutrinos estreis so campos ferminicos.
O spinor , presente na Lagrangeana L
2
, vai assumir o campo referente a cada um dos
frmions presentes no modelo.
Uma vez tendo sido realizada a quebra espontnea de simetria, a partir da Lagrangeana
L
2
encontro as Lagrangeanas da teoria eletrofraca do modelo padro referentes a:
Lagrangeana cintica (K);
Lagrangeana da corrente fraca carregada (CC);
Lagrangeana da corrente fraca neutra (NC);
Lagrangeana eletromagntica (EM).
A Lagrangeana referente interao eletromagntica, aps a adio de n
0
neutrinos
estreis ao modelo, permanece inalterada e pode ser descrita pela seguinte equao:
L
EM
= eA

f
a

f
a
. (6.13)
Onde f
a
so os campos referentes aos frmions carregados da famlia a, conforme expli-
citado na equao (6.9) e A

o campo eletromagntico vetorial.

As Lagrangeanas referentes s correntes carregada e neutra da teoria eletrofraca so dadas
respectivamente por:
L
CC
=
g

2
_
W
+

n
La

f
La
+W

f
La

n
La
_
. (6.14)
L
CN
=
g
2c
w
Z

_
n
La

n
La
+

f
a

(P
L
+ 2s
2
w
)f
a
_
. (6.15)
79
Nas equaes (6.14) e (6.15), acima, tenho que o campo W

o campo massivo introdu-

zido pela quebra espontnea de simetria (17).
A Lagrangeana cintica, no entanto, apresenta agora um novo termo, referente aos neu-
trinos estreis adicionados. Pode ser escrita como:
L
K
= n
La
in
La
+ s
Rx
is
Rx
+

f
a
if
a
. (6.16)
Lembrando que aqui s
Rx
o neutrino estril de mo direita, onde x varia de 1 at n
0
.
Preciso agora escrever a Lagrangeana de Yukawa levando em conta os n
0
neutrinos est-
reis. Levando em conta apenas os termos ligados aos frmions, a Lagrangeana de Yukawa
agora dada por:
L
Y
= y
f
ab

F
aL
f
bR
+y
n
ax

F
aL

s
xR
+ c.h.. (6.17)
Nesta Lagrangiana, o termo o dubleto de Higgs, que possui valor esperado de vcuo
dado por:
0
= (0, 1)
T
(v +(x))/

2, onde v dado por (

2
/)
1/2
, sendo que e devem
ter valores positivos para que ocorra a quebra e (x) o deslocamento do campo.
O termo s apareceu depois da quebra espontnea de simetria, que neste caso j foi
levada em conta.
H ainda um termo novo, que precisa ser acrescentado ao modelo. Ele aparece porque
os neutrinos estreis so invariantes por transformaes do tipo SU(2)
L
U(1)
Y
, e portanto
posso ter uma Lagrangeana de massa para eles, da forma:
L
sR
=
1
2
M
xy
s
c
xR
s
yR
+
1
2
M

xy
s
yR
s
c
xR
. (6.18)
Nesta equao a notao
c
representa um campo onde foi aplicada uma operao de
conjugao de carga, tal que
c
= C
0

. Aqui, a transformao de conjugao de carga

C = i
0

2
= C

= C
T
= C
1
.
A Lagrangeana de massa de neutrinos estreis (6.18), acima apresentada, representa os
termos de massa do modelo, juntamente Lagrangeana de Yukawa.
Para encontrar as matrizes de massa vou partir da Lagrangeana de Yukawa, posso escre-
80
ver. Levando em conta que a quebra espontnea de simetria fez com o que o valor esperado
de vcuo do campo passe a ser no nulo. Ou seja,
0
= (0, 1)
T
(v + (x))/

2. Para
escrever a equao abaixo (6.19) tambm utiliza-se o fato de que

= i
2

e
2
= i. Assim:
L
Y
= y
f
ab
_
_
n
aL

f
aL
_
_
T
f
bR
+y
n
ax
_
_
n
aL

f
aL
_
_
T

s
xR
+ c.h.
= y
f
ab
v

2

f
aL
f
bR
+y
n
ax
_
_
n
aL

f
aL
_
_
T
i
2

s
xR
+y

ay
s
c
xR
s
yR
+ c.h.
= y
f
ab
v

2

f
aL
f
bR
+y
f
ab
(x)

2

f
aL
f
bR
+y
n
ax
v

2
n
aL
f
xR
+y
n
ax
(x)

2
n
aL
s
xR
+ c.h. (6.19)
Na equao (6.19), acima, o primeiro, segundo e quarto termos representam termos de
massa de frmions.
Quero encontrar a Lagrangeana de massa do modelo. Sei que os termos multiplicados
por (x) no representam termos de massa. Eliminando estes termos e j adicionando os
termos referente Lagrangeana de massa de neutrinos (6.18), co com a Lagrangeana de
massa do modelo, dada por:
L
massa
= y
f
ab
v

2

f
aL
f
bR
+y
n
ax
v

2
n
aL
f
xR
+y

xy
s
c
xR
+ c.h. (6.20)
E assim, chamando m
f
= y
f
ab
v

2
, D = y
f
ab
v

2
, encontro:
L
massa
= (

f
aL
m
f
f
bR
+ n
aL
Ds
xR
+ c.h.) +
1
2
( s
c
xR
Ms
yR
+ c.h.). (6.21)
E nesta equao m
f
a matriz de massa para as n famlias de frmions carregados, D
a matriz de massa para as n famlias de frmions neutros de projeo de mo esquerda e
M a matriz de massa dos n
0
frmions estreis de projeo de mo direita, neste caso os
neutrinos estreis que adicionei ao modelo.
Fica claro que, se no houvesse a adio dos frmions neutros ao modelo a matriz D,
e consequentemente a matriz M, seriam nulas e os neutrinos de mo esquerda no teriam
massa, como foi apresentado no captulo anterior.
81
As dimenses destas matrizes de massa M e D dependem do nmero de famlias do
modelo e do nmero de neutrinos estreis que foram adicionados, j que m
f
tem dimenso
n n, D tem dimenso n n
0
e M tem dimenso n
0
n
0
.
Quero encontrar a base de massa, partindo da base que possuo, dos autoestados de gauge.
Para encontrar essa relao basta diagonalizar a matriz de massa encontrada, obtendo assim
a matriz de mistura.
6.3 Matriz de massa
A primeira matriz a ser diagonalizada, por simplicidade, ser a matriz de massa dos
lptons carregados. Ela pode ser diagonalizada diretamente atravs das chamadas transfor-
maes biunitrias.
Isso porque a Lagrangeana de massas composta por matrizes de massa genricas. E
para os lptons carregadas no h nenhuma restrio sobre a matriz de massa m
f
que aparece
na Lagrangeana e que precisa ser diagonalizada para se encontrar os autoestados de massa.
Esta seo procura apresentar como encontrar a forma diagonal de uma matriz genrica
M, sem qualquer informao a priori a seu respeito.
Transformaes biunitrias
Uma matriz genrica que no apresenta nenhuma restrio conhecida, como ser hermiti-
ana ou simtrica, pode ser diagonalizada atravs das chamadas transformaes biunitrias.
Isso quer dizer que, dada uma matriz genrica M, existem duas matrizes unitrias S e T,
tais que:
S

MT = M
d
. (6.22)
A matriz M
d
uma matriz diagonal com os autovalores no nulos. Os autovalores de M
so positivos.
Neste caso posso dizer que qualquer matriz M com essas caractersticas pode ser escrita
como um produto entre duas matrizes, uma hermitiana H e uma unitria V , e que a matriz
hermitiana sempre pode ser diagonalizada por uma matriz unitria. Lembrando que uma
82
matriz hermitiana H aquela onde H = H

e uma matriz unitria V aquela onde V V

=
I V

= V
1
.
Ou seja, o ponto de partida escrever minha matriz geral M como o produto de uma
matriz H e de uma matriz V com as caractersticas acima citadas. Este o ponto inicial.
Posso escrever ento:
M = HV. (6.23)
Por construo tenho que MM

hermitiana, isso porque para as matrizes genricas A

e B, (AB)

= B

e assim:
MM

= B (MM

= B

MM

= B

. (6.24)
Portanto, MM

hermitiana. E sendo hermitiana, MM

pode ser diagonalizada por

uma matriz unitria S, tal que:
S

(MM

)S = M
2
d
. (6.25)
Onde a matriz diagonal M
2
d
para trs sabores, como no caso dos quarks, dada por:
M
2
d
=
_
_
_
_
_
m
2
1
m
2
2
m
2
3
_
_
_
_
_
. (6.26)
A matriz unitria S responsvel pela diagonalizao nica, a menos de uma matriz
diagonal de fases. Chamando de F essa matriz de fases, tal que:
F =
_
_
_
_
_
e
i
1
e
i
2
e
i
3
_
_
_
_
_
. (6.27)
Isso quer dizer que:
83
(SF)

(MM

S = M
2
d
)(SF) = M
2
d
. (6.28)
Com uma escolha adequada de fases, possvel garantir que todos os autovalores da
matriz M sejam positivos.
Denindo agora a matriz H = SM
d
S

, hermitiana, posso escrever:

V H
1
M V

= M

(H
1
)

= M

H
1
. (6.29)
Usando a equao (6.29), tenho que:
V V

= H
1
MM

H
1
(6.30)
= H
1
SS

MM

SS

H
1
= H
1
SM
2
d
S

H
1
= H
1
SM
d
SS

M
d
S

H
1
= H
1
HHH
1
= I.
Ou seja, agora sei que V deve ser uma matriz unitria. E sabendo que a matriz H
hermitiana, posso deni-la da forma:
H = SM
d
S

(6.31)
S

SM
d
SS

= S

HS
S

HS = M
d
.
E como M = HV , ento:
84
MV
1
= HV V
1
(6.32)
MV
1
= H mas como V unitria
MV

= H S

HS = S

MV

S = M
d
.
Chamando T = V

S e usando o fato de que S e V so unitrias, tenho:

T

= S

V (6.33)
T
1
= (V

S)
1
T
1
= S
1
(V

)
1
T
1
= S

V = T

.
Assim, S

MT = M
d
, onde S e T so matrizes unitrias. Encontrar a forma diagonal de
matriz M genrica era exatamente a proposta da demonstrao.
Autoestados de massa dos frmions carregados
Voltando, portanto, Lagrangeana do modelo padro estendido, calculo os autoestados
de massa dos frmions carregados. Sem nenhuma restrio imposta matriz m
f
, vou en-
contrar essa diagonalizao aplicando a ela uma transformao biuniria. Supondo que so
unitrias as matrizes X
L,R
, onde L representa a matriz aplicada aos campos de mo esquerda
e R a matriz aplicada aos de mo direita, tenho:
X
1
L,R
= X

L,R
. (6.34)
Aplicando essas matrizes aos seus respectivos campos:
f
L
= X
L
l
L
(6.35)
f
R
= X
R
l
R
. (6.36)
Aqui l
L,R
o novo autoestado, agora no mais um autoestado de gauge, mas um auto-
85
estado de massa. Levando isso em conta, posso escrever que a matriz de mistura original
m
f
pode ser escrita como a matriz agora diagonalizada m
l
. Estou usando o fato de que
uma matriz geral sem simetrias pode ser diagonalizada por uma transformao biunitria,
conforme a equao abaixo explicita:
X

L
m
f
X
R
= m
l
= diagonal(m
1
, m
2
, m
3
, ..., m
n
). (6.37)
Lembrando que tenho uma matriz n n, formada pelas n famlias, por isso tenho n
autovalores na matriz diagonal. Tambm vale relembrar que a matriz original m
f
, que foi
diagonalizada, formada a partir da Lagrangeana de Yukawa, mais especicamente posso
escrever que:
m
f
ab
= y
f
ab
v

2
. (6.38)
Isso equivalente aos clculos realizados para o caso da matriz de mistura do modelo
padro. Mas agora, com a adio dos neutrinos estreis, ainda preciso diagonalizar mais
dois termos de massa. Exatamente nesse caso encontramos a diferena. Esses dois termos
so:
n
L
Ds
R
+ conjugado hermitiano (6.39)
1
2
s
c
r
Ms
R
+ conjugado hermitiano (6.40)
Para encontrar as matrizes de mistura dos frmions neutros, primeiramente, mais fcil
escrever as Lagrangeanas cintica e de massa uniformemente em funo dos campos presen-
tes: n
L
, s
R
e seus conjugados de carga n
c
L
, s
c
R
. Para fazer isso ser preciso usar a relao

C
i

C
= i

) + i

. Isso vale porque:

86

C
i

C
= i

) + i

(6.41)
= i

+ i

= i

, mas como

C
=
=

C
i

C
.
E assim posso escrever:
L

k
=
1
2
_
n
C
L
, s
R
_
i
_
_
n
C
L
s
R
_
_
+
1
2
_
n
L
, s
C
R
_
i
_
_
n
L
s
C
R
_
_
(6.42)
L

m
=
1
2
_
n
L
, s
C
R
_
m
n
_
_
n
C
L
s
R
_
_
+
1
2
_
n
C
L
, s
R
_
m
n
_
_
n
L
s
C
R
_
_
. (6.43)
Agora, sabendo que a dimenso da matriz D n n
0
, e a dimenso da matriz M
n
0
n
0
, sei que a matriz de mistura m
n
tem dimenso (n + n
0
) (n + n
0
), e que ela da
forma:
m
n
=
_
_
0
n
D
D
T
M
_
_
. (6.44)
Acima, em (6.44), 0
n
a matriz n n de zeros.
Tenho a forma geral da matriz de mistura para o novo modelo com neutrinos estreis.
Antes de diagonalizar essa matriz, encontrando seus autovalores, e levando em conta que m
n
possui uma submatriz de zeros, mais simples procurar j a priori qual a dimenso de
degenerescncia do autovalor zero para m
n
.
Para encontrar essa valor preciso recorrer ao chamado teorema da dimenso ncleo-
imagem. A prova est a seguir:
Degenerescncia do autovalor nulo
Encontrar a dimenso da degenerescncia do autovalor zero para uma matriz genrica C
equivalente a encontrar a dimenso do ncleo (kernel) da matriz C. Para este caso estamos
87
querendo encontrar a dimenso do ncleo da matriz m
n
. Para vericar isso constre-se matriz
genrica C, abaixo.
Partindo da matriz quadrada C, de dimenso (m+n) (m+n), posso escrever Cx = 0
da forma:
C =
_
_
0
(nn)
B
(nm)
B
T
(mn)
A
(mm)
_
_
_
_
x
1 (n)
x
2 (m)
_
_
= 0.
Aqui, a matriz C representa a matriz m
n
, que desejamos diagonalizar, e as matrizes A e
B so matrizes genricas cujas dimenses esto especicadas na frmula acima. A matriz A
inversvel e matriz B tem posto mximo, o que signica que a dimenso da imagem de B
m.
E o vetor x, de (n + m) dimenses, pode ser escrito como x
1
e x
2
, de dimenses n e m
respectivamente, que so os dois subvetores do vetor x. Assim, tenho:
Bx
2
= 0 (6.45)
B
T
x
1
+Ax
2
= 0.
Mas por construo B uma matriz unitria (como o caso de D), assim, tenho que
B = B
T
, e portanto, aplicando B segunda equao acima encontro:
BB
T
x
1
+BAx
2
= 0 (6.46)
BB
T
x
1
= BAX
2
x
1
= (BB
T
)
1
B
T
Ax
2
.
De maneira mais direta, posso ento escrever:
88
kernel(C) = {(x
1
, x
2
); C(x
1
, x
2
) = 0}
=
_
(x
1
, x
2
); Bx
2
= 0 e B
T
x
1
+Ax
2
= 0
_
=
_
(x
1
, x
2
); x
2
kernel(B) e x
2
= A
1
B
T
x
1
_
=
_
(x
1
, x
2
); A
1
B
T
x
1
kernel(B) e x
2
= A
1
B
T
x
1
_
.
Mas A
1
B
T
x
1
kernel(B) B(A
1
B
T
x
1
) = 0 B
T
x
1
kernel(BA
1
). Abaixo,
deno D = BA
1
:
kernel(C) =
_
(x
1
, x
2
); B
T
x
1
kernel(BA
1
) e x
2
= A
1
B
T
x
1
_
=
_
(x
1
, x
2
); B
T
x
1
kernel(D) e x
2
= A
1
B
T
x
1
_
.
(6.47)
D tem posto mximo, pois A inversvel e porque B tem posto mximo. Para encontrar
o kernel de D, ento:
B : R
m
R
n
B
T
: R
n
R
m
D : R
m
R
n
DB
T
: R
n
R
n
.
Lembrando que a dimenso da imagem de B
T
m, pois B
T
tem posto mximo. Portanto
Im(B
T
) = R
m
dim(Im(B
T
)) = dim(Im(D)) = m.
Pelo teorema do ncleo-imagem aplicado agora a DB
T
: R
n
R
n
vou encontrar:
dim(DB
T
) = dim(Im DB
T
) + dim(kernel(DB
T
))
n = m+ dim(kernel(DB
T
))
dim(kernel(DB
T
)) = n m.
89
Mas como:
kernel(C) =
_
(x
1
, x
2
); B
T
x
1
kernel(D) e x
2
= A
1
B
T
x
1
_
=
_
(x
1
, x
2
); B
T
x
1
kernel(DB
T
) e x
2
= A
1
B
T
x
1
_
dim kernel(C) = dim kernel(DB
T
) = n m.
Agora, podemos voltar ao caso dos neutrinos estreis e da matriz de mistura que preten-
demos diagonalizar.
Portanto, posso dizer que para a matriz de mistura m
n
, encontrada com a adio de n
0
neutrinos estreis ao modelo padro, terei que o autovalor nulo ser (nn
0
) vezes degenerado
aps a diagonalizao.
Como a dimenso da matriz m
n
, que seria a transformao linear, n + n
0
, isso quer
dizer que dos n +n
0
autovalores possveis, sero diferentes de zero apenas n +n
0
(n n
0
),
ou seja 2n
0
autovalores diferentes de zero.
Essa matriz ser diagonalizada atravs de uma transformao biunitria, como no caso
dos frmions carregados. Assim, supondo a transformao unitria dada pela matriz Y (tal
que Y
1
= Y

), posso escrever:
_
_
n
C
L
s
R
_
_
= Y
R
. (6.48)
Com essa denio posso escrever analogamente para os campos com conjugao de carga:
_
_
n
L
s
C
R
_
_
= Y

C
R
. (6.49)
E aplicando essas transformaes na matriz m
n
, j levando em conta a degenerescncia
de zero, encontro a diagonalizao. Aqui, os autovalores diferentes de zero so indexados de
n n
0
+1 at n +n
0
, ou seja, somando exatamente 2n
0
. A matriz diagonalizada chamada
de m

:
Y
T
m
n
Y = m

= diag(0, ..., 0, m
nn
0
+1
, ..., m
n+n
0
). (6.50)
90
Por construo, agora, a matriz m

formada por uma submatriz de zeros, de dimenso

(n n
0
n n
0
). E a matriz original m
n
era formada tambm por uma submatriz de zeros,
mas de dimenso n. Mais tarde isso fornecer uma importante condio de contorno.
Substituindo a forma diagonalizada da matriz m

, posso escrever as Lagrangianas de

massa e cintica de maneira agora mais compacta. Fazendo isso, encontro a equao apre-
sentada abaixo:
L

k
+ L

m
=
1
2
_

R
i
R
+
C
R
i
C
R
_

1
2
_

C
R
m

R
+
R
im

C
R
_
. (6.51)
Essa equao pode ser escrita de uma forma ainda mais compacta supondo os neutrinos
como neutrinos de Majorana, ou seja, neutrinos que satisfazem a relao
C
= . Dessa
forma posso descrever os campos de neutrinos de Majorana como:
=
R
+
C
R
. (6.52)
Ou seja, posso escrever a equao (6.51) com termos dos campos apresentados na equao
(6.52), que representa um campo de Majorana. Assim, substituindo essa forma na equao
para as Lagrangeanas encontro:
L

K
+ L

m
=
1
2
(i m

) . (6.53)
Agora devemos tentar escrever as Lagrangeanas de interao dos lptons usando a forma
diagonalizada das matrizes de mistura, que encontramos tanto para os lptons neutros como
para os lptons carregados. Novamente lembrando aqui que tudo que est sendo calculado
vale para um nmero arbitrrio de famlias n e neutrinos estreis adicionados n
0
, contanto
apenas que n > n
0
(condio para validade da demonstrao da dimenso do ncleo da
matriz m
n
).
Usar as matrizes de mistura diagonalizadas equivalente a escrever agora as Lagrangeanas
em funo dos autoestados de massa, ou seja, escrever em funo dos campos com massas
denidas.
As Lagrangeanas eletromagntica, L
EM
, no apresenta nenhuma alterao aps a diago-
nalizao das matrizes de mistura. A parte referente aos lptons carregados da Lagrangeana
91
da corrente neutra L
CN
tambm permanece inalterada. Mas as Lagrangeanas de massa e
L
CC
sofrem alteraes, bem como a parte referente aos lptons neutros da corrente neutra.
Comeando pela corrente carregada, L
CC
, posso escrever:
L
CC
=
q

2
_
W

l
La
X

La

a

C
R
+W
+

Y
a

X
La
l
La
_
. (6.54)
Onde tenho que

f
La
=

l
L
X

e n
La
= Y

a

C
R
. Posso substituir nessa equao a matriz
n (n +n
0
), abaixo:
V
C
j
=
n

a=1
_
X

L
_
a
Y

aj
. (6.55)
O C aqui refere-se ao fato de que estou encontrando a matriz de mistura da corrente
carregada. Fazendo a substituio dessa matriz e usando a propriedade dos neutrinos de
Majorana, posso ento escrever:
L
CC
=
q

2
_
V
C
j
W

l
L

j
+V
C
j
W
+

l
L
_
. (6.56)
Aqui chega-se a um importante ponto do trabalho, pois a matriz V
C
j
a anloga para
o setor leptnico estendido da famosa matriz V

CKM
de mistura de quarks, ou seja, do setor
hadrnico.
Outro ponto muito importante o fato de que o somatrio em V
C
j
vai apenas at n, j
que tenho n famlias e, consequentemente, a matriz unitria X, que diagonaliza os frmions
carregados, tem dimenso n n. Isso importante porque indica que apenas uma parte da
matriz Y que diagonaliza os frmions neutros estar envolvida na parte da corrente carregada.
Isso natural, dado o fato de que estamos adicionando n
0
neutrinos estreis, que no possuem
equivalente adicionado ao caso carregado e a matriz Y ter exatamente n
0
dimenses a mais
do que a matriz Y .
Isso equivalente a levar em conta que os neutrinos estreis no interagem com os
frmions carregados, que exatamente a fsica que estamos tentando modelar.
A partir da matriz V
C
j
posso encontrar uma importante relao que ser utilizada futu-
ramente para encontrar os parmetros fsicos da matriz de massa resultante.
92
Lembrando que tanto a matriz X quanto a matriz Y so unitrias, posso escrever que:
X
1
L
= X

L
Y
1
= Y

= Y

= Y
1
X
1
V = XY
V V

= Y
1
X
1
XY = Y
1
I
nn
Y
= Y
1
Y = I
nn
V V

= I
nn
. (6.57)
E essa a primeira identidade respeitada pela matriz de mistura V
C
.
V
C
V
C
= I
nn
(6.58)
Mas, por causa da diferena entre dimenses das matrizes Y e X, a identidade vale para
I
nn
, mas no vale para I
n
0
n
0
. Ou seja, V
C
V
C
= I
n
0
n
0
. Aqui a matriz V
C
tem dimenso
n (n + n
0
), j que os ndices e j esto variando em espaos diferentes. O ndice varia
de 0 a n, enquanto j varia de 0 a n +n
0
, j que o ndice associado matriz Y .
E ainda preciso levar em conta o que acontece com a parte relacionada aos neutrinos
da Lagrangeana da corrente neutra. Posso escrever que (onde o ndice indica que se trata
apenas da parte relacionada aos frmions neutros):
L

CN
=
g
2c
w
Z

[ n
L
a

n
La
]
=
g
2c
w
Z

_

C
R
Y

C
R
_
. (6.59)
Analogamente ao caso da corrente carregada, posso escrever agora uma matriz da corrente
neutra, levando j em conta o fato de que estou trabalhando com neutrinos de Majorana,
posso escrever:
93
V
N
kj
=
n

a,b=1
Y
bk

ba
Y

aj
=
n

a,b=1
n

a=1
Y
bk
(X
L
)
b
(X

L
)

aj
=
_
V
C
V
C
_
kj
. (6.60)
importante ressaltar que a matriz de mistura da Lagrangeana da corrente neutra pode
ser escrita como funo da matriz de mistura da corrente carregada V
C
.
Sendo P
L

j
o projetor de helicidade de mo esquerda (left) de
j
, posso escrever ento a
Lagrangeana L

CN
:
L

CN
=
g
2c
w
Z

_
V
N
kj
Z

P
L

i
_
. (6.61)
Ainda possvel encontrar uma nova relao para a matriz V
C
. Para fazer isso basta
levar em conta que originalmente a matriz m
n
possua uma submatriz (n n) de zeros na
sua diagonal superior, ou seja, fazendo a transformao inversa, tenho que:
_
Y

_
ab
= 0 para a, b = 1, ..., n.
Y

= Y

Y
T
m
n
Y Y

= Y

Y
T
m
n
= Y

Y Y

Y
T
m
n
= m
n
. (6.62)
E agora, multiplicando a relao
_
Y

_
ab
= 0 para a, b = 1, ..., n por
_
X

L
_
a
_
X

L
_
b
e somando em a e b, alm de substituir a equao (6.55) para V
C
, encontro:
94
_
X

L
_
a
_
Y

_
ab
_
X

L
_
b
= 0
_
X

L
_
a
(Y

)
ab
m

ba
_
Y

_
ab
_
X

L
_
b
= 0
substituindo na equao V
C
b
=
n

a=1
_
X

L
_
a
(Y

L
)
ab
e V
C
b
=
n

a=1
_
Y
T
L
_
ab
_
X

L
_
T
a
V
C
b
(m

)
ba
V
CT

= 0
nn
para , = 1, ..., n. (6.63)
Assim, a segunda condio de contorno que ser utilizada :
V
C
b
(m

)
ba
V
CT

= 0
nn
(6.64)
Essa segunda restrio vlida mesmo quando n n
0
.
At este momento, os clculos apresentados e as relaes encontradas valem para n e
n
0
genricos. A partir de agora, o escopo do trabalho parametrizar a matriz de massa e
para isso, a princpio, ser estudado o caso em que apenas um neutrino estril adicionado.
A seo nal deste captulo apresenta ento o caso em que se adiciona apenas um neutrino
estril, mas levando em conta n famlias de frmions.
6.4 Matriz de mistura com n
0
= 1 e n = 1
Num primeiro momento, alm de supor n
0
= 1 (apenas um neutrino estril adicionado ao
modelo) vamos tambm supor que temos apenas uma famlia de frmions, ou seja n = n
0
= 1.
A parametrizao da matriz realizada de duas formas diferentes, a primeira atravs
da aplicao da duas restries encontradas na seo anterior e posteriormente a mesma
parametrizao encontrada atravs de diagonalizao direta.
Forma 1
Para o caso n = n
0
= 1 tenho apenas dois neutrinos. Posso admitir que os dois possuem
massas diferentes de zero e diferentes entre si, ou seja 0 < m

< m
+
.
E a matriz de mistura para a corrente carregada, V
C
, pode ser escrita agora como uma
95
linha com dois elementos. Lembrando que a dimenso de V
C
n (n + n
0
), e portanto,
neste caso (1 + 1) = 2, uma linha e duas colunas.
Escrevendo a matriz de mistura V
C
mais genrica possvel, complexa, tenho:
V
C
=
_
r
1
e
i
1
, r
2
e
i
2
_
. (6.65)
Agora preciso encontrar as consequncias das duas restries apresentadas na seo
anterior. A primeira delas:
V
C
V
C
= I
nn
. (6.66)
J que V
C
V
C
= 1, neste caso, a equao acima vai impor matriz V
C
a seguinte
restrio (obtida por clculo direto):
r
2
1
+r
2
2
= 1. (6.67)
Para a segunda relao encontrada:
V
C
b
(m

)
ba
V
CT

= 0
nn
. (6.68)
Que neste caso quer dizer V
C
b
(m

)
ba
V
CT

= 0, vou encontrar uma nova restrio para

V
C
. Neste caso simples que montamos, a matriz diagonalizada m

vai ter dimenso (2 2)

e pode ser escrita como:
m

=
_
_
m

m
+
_
_
. (6.69)
Aplicando essa forma de m

equao (6.68) acima, encontro:

96
V
C
b
(m

)
ba
V
CT

= 0
_
r
1
e
i
1
, r
2
e
i
2
_
_
_
m

m
+
_
_
_
_
r
1
e
i
1
r
2
e
i
2
_
_
= 0
_
r
1
e
i
1
m

, r
2
e
i
2
m
+
_
_
_
r
1
e
i
1
r
2
e
i
2
_
_
= 0
m

r
2
1
+m
+
r
2
2
e
2i(
2

1
)
= 0. (6.70)
Essas duas restries juntas formam um sistema linear que pode ser resolvido de forma
que ambos os parmetros r
1,2
e
2
podem ser escritos em funo apenas dos dados conhecidos,
ou seja, das massas dos neutrinos m

e m
+
, e consequentemente a matriz V
C
tambm pode
ser escrita apenas como funo das massas e de
1
. Denindo:
c
m
=

m
+
m
+
+m

e s
m
=

m
+
+m

. (6.71)
Posso escrever a matriz V
C
:
V
C
= e
i
1
(c
m
is
m
) . (6.72)
E se tenho a matriz V
C
, posso encontrar consequentemente a matriz V
N
, j que V
N
kj
=
_
V
C
V
C
_
kj
. Assim:
V
N
=
_
_
c
2
m
ic
m
s
m
ic
m
s
m
s
2
m
_
_
. (6.73)
Queremos contar os parmetros fsicos restantes na matriz de mistura. A matriz V
C
apresenta a fase global
1
, mas essa fase pode ser absorvida pelo campo eletrnico na La-
grangeana e os sinais podem ser invertidos quando se inverte o sinal de
2
. E se esses
parmetros podem ser retirados da matriz V
C
por uma redenio, tambm saem da matriz
V
N
. Se tanto V
C
quanto V
N
podem ser denidas completamente pelas massas dos dois
neutrinos, m

, ento no h nenhum ngulo livre de mistura e nenhuma fase de violao CP.

Forma 2
97
Para este caso, encontram-se os parmetros da matriz atravs da diagonalizao direta.
Como n = n
0
= 1 a matriz que diagonaliza m
n
, Y tem dimenso (n +n
0
) (n +n
0
), e neste
caso, portanto, (2 2). Uma matriz unitria (2 2) genrica pode ser escrita como:
Y = e
i
0
_
_
ce
i
1
se
i
2
se
i
2
ce
i
1
_
_
. (6.74)
Por ser unitria, h a restrio de que c
2
+s
2
= 1 e de que todos os parmetros so reais.
A matriz m
n
pode ser escrita, j que tambm uma matriz (2 2) como:
m
n
=
_
_
0 |D|
i
1
|D|
i
1
|M|
i
2
_
_
. (6.75)
Neste caso, tenho ento que a equao (6.75) fornece:
Y
T
m
n
Y =
_
_
m

0
0 m
+
_
_
e portanto:
e
2i
0
_
_
ce
i
1
se
i
2
se
i
2
ce
i
1
_
_
_
_
0 |D|
i
1
|D|
i
1
|M|
i
2
_
_
_
_
ce
i
1
se
i
2
se
i
2
ce
i
1
_
_
=
_
_
m

0
0 m
+
_
_
.
(6.76)
Denindo as constantes c
m
e s
m
exatamente como no caso anterior, (6.75), e identicando-
as com c e s respectivamente, encontram-se as seguinte relaes:
m

=
1
2
_
_
|M|
2
+ 4|D|
2
|M|
_
e
i2
1
= e
i1
2
= e
i(
1

2
)
e
i2
0
= ie
i
1
. (6.77)
E agora levando em conta o fato de que apenas a primeira linha da matriz Y usada
98
para encontrar a matriz V
C
a fase relevante e
(
2

1
)
= i. E assim obtm-se o mesmo
resultado obtido com a forma 1 de clculo.
6.5 Matriz de mistura com n
0
= 1 e n > 1
Agora, para estudar o caso em que tenho mais de uma famlia de frmions, mas onde
estou novamente adicionando apenas um neutrino estril, tambm sero apresentadas duas
formas.
Forma 1
Usando o argumento comprovado anteriormente que garante que terei 2n
0
autovalores
diferentes de zero na matriz diagonalizada, neste caso novamente, apesar de ter n famlias,
terei apenas 2 estados massivos, j que n
0
= 1 (apenas um neutrino estril adicionado).
As massas para estes estados sero m

< m
+
.
Posso escrever de maneira genrica que cada elemento
_
V
C
_
,
da matriz
_
V
C
_
, tal que:
_
V
C
_
,j
= r
,j
e
i(
,j
)
onde = 1, ..., n (6.78)
= 1, ..., (n
0
+n).
Mas a partir da relao V
C
m

V
CT
= 0
n
, e lembrando que, para este caso, a matriz
diagonalizada m

dada por:
m

=
_
_
_
_
_
0
(n1)(n1)
0
n1
0
n1
0
1n
m

0
0
n1
0 m
+
_
_
_
_
_
(n+1)(n+1)
. (6.79)
Com essa propriedade encontra-se a relao:
m

r
,n
r
,n
e
i(,n+
,n
)
+m
+
r
,n+1
r
,n+1
e
i(
,n+1
+
,n+1
)
= 0. (6.80)
Posso escolher fatorar a matriz V
C
de forma V
C
= V U.
99
Sei que V
C
V
C
= I
n
,
ento, por construo UU

= I
n
.
Posso escrever, portanto V
C
V
C
= I
n
= (V U)(V U)

= V UU

mas UU

= I
n
I
n
= V V

. (6.81)
Mas tenho a seguinte relao de restrio: V
N
= V
C
V
C
. Portanto, tenho:
V
N
= V
C
V
C
= (V U)

(V U) = U

V U = U

I
n
U. (6.82)
E se posso escrever que V
N
= U

U, ento se decido escrever a matriz U da forma:

U =
_
_
1
(n1)
0
(n1)1
0
(n1)1
0
1(n1)
c
m
is
m
_
_
n(n+1)
. (6.83)
Com essa escolha, e usando a mesma conveno anterior para as constantes c
m
e s
m
,
posso escrever a matriz V
N
, tal que:
V
N
=
_
_
_
_
_
I
(n1)
0
(n1)1
0
(n1)1
0
1(n1)
c
2
m
is
m
0
1(n1)
is
m
s
2
m
_
_
_
_
_
(n+1)(n+1)
. (6.84)
Mas a partir do momento em que se escolhe escrever U desta forma, V est denida, j
que quero manter a generalidade de V
C
. Assim, como V
C
= V U, a matriz V escrita como:
_
r
,1
e
i
,1
, r
,2
e
i
,2
, ..., r
,n1
e
i
,n1
, r
,n

1 +r
m
e
i,n
_
. (6.85)
Tambm possvel, a partir da forma genrica dos elementos de V
C
, dada na equao
(6.79), e das condies de contorno encontradas anteriormente, encontrar algumas restries
e relaes entre os elementos dessa matriz.
100
V
C
=
_
_
_
_
_
_
r
1,1
e
i
1,1
. . . r
1,n+n
0
e
i
1,n+n
0
.
.
.
.
.
.
.
.
.
r
n,1
e
i
n,1
. . . r
n,n+n
0
e
i
n,n+n
0
_
_
_
_
_
_
(6.86)
Neste caso genrico, r
i,j
e
i
i,j
tal que i = 1, ..., n e j = 1, ..., n
0
, e ainda r
i,j
e
i,j
so reais.
Usando V
C
V
C
= I
n
, para o elemento a
a,b
:
a
a,b
=
n+n
0

i=nn
0
+1
r
a,i
r
b,i
e
i(
a,i
+
b,i
)
m
i
= 0. (6.87)
Onde a e b variam de 1 a n.
Aplicando a condio V
C
V
C
= I
n
encontro:
a
a,b
=
n+n
0

i=1
r
a,i
r
b,i
e
i(
a,i

b,i
)
m
i
=
a,b
. (6.88)
Nesta segunda equao estou igualando funo , tal que
a,b
= 1, se a = b, e
a,b
= 0,
a = b.
Mas voltando matriz V
N
, descoberta. Basta olhar para a equao (6.84), para perceber
que no h nenhum ngulo de mistura livre e nehuma fase de violao CP que possa aparecer
para as interaes de corrente carregada.
S h duas interaes fora da diagonal, as duas acontecem entre os dois neutrinos mas-
sivos.
Forma 2
possvel obter esse resultado sem recorrer s restries encontradas. Para isso basta
realizar a diagonalizao direta. Trata-se apenas da generalizao do caso apresentado para
1 famlia e um neutrino estril.
Mas antes de comear essa demonstrao, vale entender uma premissa a respeito de como
escrever matrizes diagonais arbitrrias.
Assim, suponha que tenho n
2
geradores A
b
a
de uma transformao unitria. Posso escrever
que o elemento genrico de A
a
b
= (A
a
b
)
ij
, como (A
a
b
)
ij
=
bi

aj
.
101
Partindo deste pressuposto, posso escrever uma matriz arbitrria diagonal como:
() = exp
_
i
n

a=1

a
A
a
a
_
,
a
=

a
. (6.89)
E uma rotao complexa no plano ab com parmetro:

ab
= |
ab
|e
i
ab
. (6.90)
Assim:
(
ab
) = exp
_

ab
A
b
a

ab
A
a
b
_
(a = b). (6.91)
E isso me permite escrever a relao abaixo, onde R
,
a matriz real de rotao de um
ngulo dado
,
, para o plano .

,
(
,
,
,
) = e

_
e
i
,
_
R
,
e

_
e
i
,
_
. (6.92)
Segundo a referncia, atravs do uso da identidade (6.93) abaixo,

0
()
_
|
,
|e
i

0
() = {|

|exp [i (a

)]}, (6.93)
possvel escrever uma dada matriz unitria A como:
A =
0
()

<
(

) . (6.94)
Vamos guardar essa relao e seguir com o raciocnio. E antes de voltar para a diago-
nalizao da matriz, vamos observar como feita a contagem dos parmetros livres de uma
matriz genrica. Uma matriz S, quadrada e de dimenso n n, pode ser escrita por n
2
entradas onde cada entrada pode ser escrita genericamente como a
i,j
e

i,j
, onde a
i,j
e
i,j
so
reais. Aqui os parmetros i e j variam de 1 a n, percorrendo todas as linhas e colunas da
matriz.
Isso quer dizer que para uma matriz quadrada genrica tenho 2n
2
parmetros livres.
102
Tratando-se de uma matriz unitria tenho uma condio de contorno:
S S

I. (6.95)
A expresso (6.95) fornece n
2
equaes que so condies de contorno para a matriz S.
Assim, dos 2n
2
parmetros livres co com apenas n
2
parmetros livres.
J ca claro neste caso que pretendemos escrever novamente nossa relao de diagonali-
zao Y

m
n
Y , que diagonaliza a matriz m
n
de massa dos neutrinos.
Relembrando a forma da matriz m
n
segue a equao abaixo:
m
n
=
_
_
0
n
D
D
T
M
_
_
. (6.96)
Como estou trabalhando no caso em que tenho apenas um neutrino estril e n famlias
de frmions, a entrada D da matriz m
n
nada mais do que um vetor, com n entradas (uma
por famlia de frmion). Tenho, portanto, um vetor de n dimenses, ou seja, um vetor em
R
n
. Posso escrever cada uma das entradas deste vetor como:
D
a
= |D
a
| e
ia
. (6.97)
Posso aplicar uma rotao R
0
a esse vetor D, levando-o ao n-simo eixo. Neste eixo, o
vetor

D passa a valer |D| na direo do eixo n do R
n
. Posso escrever:
R
0

D = |D| n =

a
|D
a
|
2
n. (6.98)
Agora possvel escrever a matriz unitria de n + 1 dimenses Y
0
como:
Y
0
=
_
_
(R
0
E
0
)
T
1
_
_
. (6.99)
Neste caso E
0
uma matriz diagonal, tal que E
0
= diag
_
e
i
1
, , e
in
_
. Posso escrever
ento, antes de aplicar a rotao a

D:
103
Y

T
0
m
n
Y

0
=
_
_
_
_
_
_
_
_
_
_
_
_
0
n3
0 0 0 |D
1
|
0 0 0 0
.
.
.
0 0 0 0 |D
n1
|
0 0 0 0 |D
n
|
|D
1
| |D
n1
| |D
n
| M
_
_
_
_
_
_
_
_
_
_
_
_
(n+1)(n+1)
. (6.100)
A matriz Y

o
ali est diferenciada por

porque trata-se da matriz sem a rotao aplicada.
Mas agora, se eu aplicar a rotao R
0
ao vetor D vou encontrar:
R
0

D =
_
0, , |

D|
_
T
n
. (6.101)
E analogamente aplico R
T
0
ao vetor linha

D. Colocando isso na matriz Y

o
tenho:
Y
T
0
m
n
Y
0
=
_
_
_
_
_
0
n1
0 0
0 0 |

D|
0 |

D| M
_
_
_
_
_
(n+1)(n+1)
. (6.102)
Mas apenas olhando para a matriz (6.102) percebe-se que trata-se de uma diagonalizao
anloga quela realizada para o caso direto quando estudamos o caso de n = 1 (uma famlia de
frmions) e n
0
= 1 (um neutrino estril adicionado). E consequentemente essa diagonalizao
j foi realizada.
Seu resultado foi encontrar a matriz tal que Y
T
m
n
Y = diag(0, , 0, m

, m
+
). Para este
caso, estou supondo Y = Y
0
Y
1
, tal que:
Y
T
= (Y
0
Y
1
)
T
= Y
T
1
Y
0
Y
T
m
n
Y = Y
T
1
Y
T
0
m
n
Y
0
Y
1
= Y
T
1
. (6.103)
Assim, posso ento escrever Y
1
, que block diagonal, tal que:
Y
1
=
_
_
_
_
_
1
n1
e
i
0
_
_
ce
i
1
se
i
2
se
i
2
ce
i
1
_
_
_
_
_
_
_
. (6.104)
Apenas para relembrar, aqui temos dimenses iguais para Y
1
e Y
0
, tal que ambas so
104
matrizes (n +n
0
) (n +n
0
). E se a matriz V
C
dada por:
V
C
= V U
V
C
j
=
n

a=1
_
X

L
_

aj
V
C
j
=
n

a=1
_
X

L
_

_
Y

0 ai
Y

1 ij
_
. (6.105)
Lembrando que neste caso a matriz Y vai colaborar apenas at a entrada n, e no n +1,
porque V
C
trata-se da matriz de interao com os frmions carregados e que por isso a matriz
X tem apenas n n entradas.
Como ambas as matrizes Y
1
e Y
2
so diagonais em bloco, olhando para esta matriz
encontrada Y
1
(6.104) possvel perceber que estamos reduzidos ao caso de um neutrino
estril adicionado a um modelo com apenas uma famlia de frmions. E este caso foi tratado
na seo anterior.
Como a forma fatorada da matriz de mistura V
C
permanece, ou seja, V
C
= V U, o que
muda neste caso seria apenas a matriz V , que agora tem a forma:
V = X

L
(R
0
E
0
)

e
i(
0
+
1
)
. (6.106)
Enquanto a matriz U permanece a mesma matriz apresentada na seo anterior. Abaixo:
U =
_
_
_
_
_
I
(n1)
0
(n1)1
0
(n1)1
0
1(n1)
c
2
m
is
m
0
1(n1)
is
m
s
2
m
_
_
_
_
_
(n+1)(n+1)
. (6.107)
Isso s vale porque as matrizes encontradas so bloco-diagonais e o problema pode ser
reduzido ao caso estudado.
Agora que a matriz foi diagonalizada diretamente, basta contar os parmetros livres que
restam na matriz de mistura V
C
. Conforme explicado acima, a matriz V unitria pode ser
parametrizada conforme a equao (6.92).
Sabemos que V n-dimensional. A parametrizao sugerida por (6.92) leva em conta
105
matrizes de rotao complexas.
Se V unitria, como mencionado acima, tenho n
2
parmetros livres. Destes, posso tirar
n fases globais, uma por dimenso. Assim:
total de parmetros 2n
2
menos restrio de unitariedade n
2
. (6.108)
Para encontrar a parametrizao da matriz V , vamos recorrer equao (6.94). Essa
equao mostra que, para descrever qualquer matriz unitria, posso combinar na ordem que
escolher o produto de n matrizes de fases e
n
(u
n
) e um produtrio de matrizes de rotao
complexas
,n
. Mas realizar o produtrio de < equivalente a realizar o produto de
n(n 1)/2 matrizes. Posso colocar isso explicitamente, encontrando uma forma de escrever
uma matriz unitria genrica:
A =
n

=1
e

(u

)
n(n1)/2

<,=1
(

) . (6.109)
Onde o parmetro

dado por |

| e
i

. Sendo assim cada matriz (

) possui
dois parmetros reais.
E assim, se possuo n(n 1)/2 matrizes como indica a equao (6.109), quer dizer que
tenho no total n(n 1) parmetros reais. Para estas contagens de parmetro tenho ento:
matrizes de rotao complexas
n(n 1)
2
matrizes de fase n. (6.110)
Percebe-se que, no caso de uma matriz unitria n n terei n
2
parmetros livres (seriam
os 2n
2
parmetros originais, menos as n
2
restries dado o fato de ser unitria), indicando
assim que a parametrizao consistente no que diz respeito quantidade de parmetros.
Assim, para a notao apresentada na equao (6.109) ca claro que terei os n parmetros das
matrizes de fase somados de n(n1) parmetros das matrizes de rotao complexas, somando
assim n +n
2
n parmetros no total, ou seja, n
2
parmetros. A notao consistente.
106
Outra propriedade importante que ser utilizada o fato de que as matrizes de rotao
complexas
,
(
,
,
,
) podem ser escritas como:

,
(
,
,
,
) = e

_
e
i
,
_
R
,
e

_
e
i
,
_
. (6.111)
Como z uma rotao para o eixo n, para que o vetor D pudesse ser escrito como
apresentado na equao (6.101), posso escolher escrever a parametrizao de uma matriz
unitria, conforme apresentado na equao (6.94), xando o ndice mudo com o valor n,
e usando apenas uma matriz de fase e

(u

). Posso parametrizar a matriz unitria V desta

forma. Neste caso, a equao pode ser reescrita como:
V = e
n
(u
n
)
(n
2
1)/2

=1
(
n
) . (6.112)
Na equao (6.112), acima, o produtrio passa a ser de (n
2
1)/2 matrizes. Para vericar
isso basta fazer a contagem de parmetros. Fixando a primeira matriz de fase u
n
, sobram
n
2
1 parmetros e portanto (n
2
1)/2 matrizes.
Mas, como foram includos n
0
= 1 neutrinos estreis a um modelo com n famlias, o
nmero de estados no massivos de neutrinos n 1. Sabendo disso, possvel separar, na
equao (6.112) uma matriz unitria (n1) (n1), separando assim (n1)
2
parmetros.
Portanto dos n
2
1 parmetros no produtrio das matrizes, co com apenas 2n2 parmetros,
ou seja, o produtrio ser at n 1. Posso escrever, ento:
V = e
n
(u
n
)
n1

=1
(
n
)
_
_
X
1
_
_
(6.113)
V = V
0
_
_
X
1
_
_
. (6.114)
A matriz X tem a dimenso exata da matriz bloco diagonal presente em U. Estou
procurando contar parmetros complexos presentes na matriz V
C
, encontrada a partir da
Lagrangiana da corrente carregada. E como a matriz V
C
dada por:
107
V
C
= V U. (6.115)
Ento fcil perceber que a matriz X de dimenso (n 1) (n 1) vai comutar com
a matriz identidade (n 1) (n 1) presente em U e os (n 1)
2
parmetros podero ser
absorvidos pelos n1 neutrinos no massivos do modelo. Para vericar isso basta olhar para
a Lagrangeana de massa:
L

m
=
1
2
_

C
R
m

R
+
R
m

C
R
_
. (6.116)
A matriz m

tambm bloco diagonal e tem uma submatriz de dimenso (n1)(n1)

de zeros em sua diagonal superior. Assim, a matriz X, tambm de dimenso (n1) (n1)
pode ser absorvida por essa submatriz sem causar alteraes Lagrangiana.
E uma vez que a matriz X foi absorvida por estes campos, a quantidade de parmetros
passa a ser 1 +2(n 1), o parmetro da fase n da primeira matriz u
n
deixada esquerda da
equao (6.113) e os dois parmetros de cada matriz do produtrio at n 1. Assim, para
encontrar o nmero de parmetros fsicos em V basta contar a quantidade de parmetros
presentes em V
0
, apresentado na equao (6.114). Explicitamente, V
0
dado por:
V
0
= e
n
(u
n
)
n1

=1
(
n
) . (6.117)
Mas usando a propriedade das matrizes , apresentada na equao (6.111), posso escrever
cada uma das matrizes como um produto de uma matriz de fase, uma matriz de rotao
real e uma matriz de fase conjugada. Observando esta propriedade possvel perceber que,
no caso do produto de mais de uma matriz estas multiplicaes podem ser agrupadas por
tipo. Assim, uma vez que xei o valor do , usando apenas o ndice mudo na equao
(6.111) posso vericar como organizar este produto. No caso de duas matrizes:

+1
= e

e
+1
R
+1
e

+1
= e

e
+1
R

R
+1
e

+1
. (6.118)
108
Antes de fazer essa separao em produtrios, segue o esquema para rever a contagem
at o momento de parmetros, dos n
2
parmetros iniciais:
1 [matriz de fase]
2(n 1) [so 2 parmetros por matriz de rotao]
(n n
0
)
2
[so os parmetros reais da matriz X absorvidos pelos neutrinos no massivos]
Ainda restam, neste caso, 2n 1 parmetros livres para a matriz V . Destes, n 1
correspondem aos ngulos de rotao reais e os outros n so fases complexas.
A contagem de parmetros P ca, at este momento:
P = n fases complexas + (n 1) ngulos de rotao.
Com a reorganizao seguindo o padro apresentado em (6.118), escrevo V
0
como:
V
0
=
_
e
n
(u
n
)
n1

=1
e

_
_
n1

=1
R

_
_

_
_
n1

=1
e

_
_
. (6.119)
Assim, em (6.119), o produtrio original de (6.117) foi subdividido em 3 produtrios,
os ndices mudos foram colocados para facilitar a organizao. possvel observar que o
produtrio do lado direito em (6.119), de ndice , pode novamente ser absorvido pelos n1
estados de neutrinos no massivos, como aconteceu com a matriz X. O produtrio ser
exatamente at o valor n 1.
Falta ainda analisar o produtrio do lado esquerdo de (6.119). Tratam-se de n fases que,
neste caso tambm podero ser absorvidas sem alteraes Lagrangeana. Isso porque cada
um dos n campos que representam os n lptons carregados do modelo podem ser redenidos
com estas fases sem que a Lagrangeana seja alterada.
E se as n fases referentes ao produtrio da esquerda, do ndice a quantidade de par-
metros fsicos presentes na matriz V dada por:
109
= 2n 1 quantidade de parmetros em (6.119)
= n total de fases independentes absorvidas
n 1 quantidade nal de parmetros da matriz V
E essa a quantidade de parmetros livres que a matriz de mistura V apresenta. Todos
so ngulos de mistura, tratam-se dos parmetros pertencentes s matrizes de rotao. Ne-
nhuma fase de violao CP aparece nesta matriz. Ou seja, os parmetros restantes so dados
por:
n1

=1
R
n
(
n
). (6.120)
A matriz V
C
, dada por V U ter exatamente, portanto, n 1 ngulos de mistura

e
nenhuma fase de violao CP. Isso porque, conforme apresentado, a matriz U no possui
nenhum ngulo de mistura e nenhuma fase de violao CP.
6.6 Resultados
Conforme mencionado na introduo, a motivao deste trabalho foi procurar fases de
violao CP em sistemas de neutrinos, num modelo padro extendido por neutrinos estreis.
Os resultados encontrados para o caso de 1 neutrino estril adicionado ao modelo esto
consistentes com aqueles apresentados pela pricipal bibliograa do trabalho, o artigo (1).
Para o caso das n famlias adicionadas ao modelo, duas diferentes anlises foram realiza-
das. O caso de 1 famlia e 1 neutrino estril (n = n
0
= 1) adicionado ao modelo e o segundo
caso, onde tratamos de n famlias e 1 neutrino estril adicionado ao modelo (n > n
0
= 1). E
para cada um destes dois casos, duas maneiras de obter os resultados foram apresentadas:
Diagonalizao atravs da aplicao das duas restries obtidas para a matriz V
C
Diagonalizao direta
Para os dois casos as duas maneiras aplicadas apresentam resultados consistentes.
110
No caso de um neutrino estril adicionado ao modelo, ambas as matrizes V
C
e V
N
esto
completamente denidas pelos dois autovalores de massa dos neutrinos, sendo assim no h
nenhum ngulo de mistura presente na matriz e nenhuma fase complexa. Neste caso no h
violao CP.
No caso de n famlias e 1 neutrino estril adicionado, o nmero de ngulos de mistura
encontrados foi n 1, mas novamente nenhuma fase de violao CP, ou seja, fase complexa,
foi encontrada.
111
7 Concluso
O trabalho remontou a contagem de parmetros na matriz de mistura do caso dos neu-
trinos, encontrando resultados diferentes daqueles obtidos nos artigos da rea.
Para fazer isso, o estudo partiu da base para teoria de descrio da dinmica dos lptons,
ou seja, da teoria quntica de campos. Tendo sido compreendida a parte bsica da teoria, o
passo seguinte foi estudar os modelos de quebra espontnea de simetria, entendendo assim o
mecanismo de gerao de massas dentro do modelo padro das partculas elementares.
No caso dos neutrinos, j que o modelo padro no descreve ainda um mecanismo que gere
massa de neutrinos, foi utilizada uma extenso do modelo padro para encontrar a matriz
de massa e, consequentemente, a matriz de mistura. Esta extenso do modelo compreendeu
a adio de neutrinos estreis ao modelo padro, primeiro a adio de apenas um neutrino
estril a uma nica famlia de frmions e posteriormente o caso onde um neutrino estril foi
adicionado a n famlias de frmions.
Essa adio permitiu que a partir da matriz de massa, agora diagonalizada, fosse encon-
trada a matriz de mistura para os lptons neutros. E com a matriz de mistura foi possvel
realizar a conta da quantidade de parmetros complexos que essa matriz de mistura encon-
trada apresenta, observando assim as fases de violao CP do modelo.
Para os dois casos observados, no foi encontrada nenhuma fase de violao CP na matriz
de mistura do modelo.
112
113
Referncias
1 Y. Liao, Eur.Phys.J. C49, 783 (2007).
2 D. V. Perepelitsa, Sakharov Conditions for Baryogenesis (2008). Notes as Professor at
Columbia University Department of Physics.
3 A. Sakharov, Pisma Zh.Eksp.Teor.Fiz. 5, 32 (1967).
4 J. W. Cronin, P. F. Kunz, W. S. Risk, P. C. Wheeler, Phys.Rev.Lett. 18, 25 (1967).
5 Y. F. P. Gonzlez, Dissertao de Mestrado apresentada ao Instituto de Fsica da
Universidade de So Paulo para obteno do Ttulo de Mestre em Cincias pp. 89
(2013).
6 M. Massimi, M. Redhead, Stud.Hist.Philos.Mod.Phys. 34, 621 (2003).
7 B. Vvedenskii, The Great Soviet Encyclopedia (The Gale Group, 1979), third edn.
8 P. A. M. Dirac, Proceedings of the Royal Society of London A117, 610 (1928).
9 W. Pauli, Physical Review 58, 716 (1940).
10 S. Weinberg, Phys.Rev. 133, B1318 (1964).
11 T. Lee, C.-N. Yang, Phys.Rev. 104, 254 (1956).
12 C. Wu, E. Ambler, R. Hayward, D. Hoppes, R. Hudson, Phys.Rev. 105, 1413 (1957).
13 A. Pais, O. Piccioni, Phys.Rev. 100, 1487 (1955).
14 G. Lueders, Fys. Medd. 28 - No 5 (1954).
15 W. Pauli, Pergamon London (1955).
16 G. t Hooft, M. Veltman, Nuclear Physics B 44, 189 (1972).
17 G. Fogli, Symmetry and Group Theory in Particle Physics (Lecture Notes on Physics,
2000).
18 M. E. Peskin, D. V. Schroeder, An Introduction To Quantum Field Theory (Frontiers
in Physics) (Westview Press, 1995), second edn.
19 D. Tong, Quantum Field Theory (Lecture Notes for the Department of Applied
Mathematics and Theoretical Physics, 2007).
114
20 E. Fermi, Z. Physik 88, 161 (1934).
21 J. Ellis, M. K. Gaillard, G. Girardi, P. Sorba, Annual Review of Nuclear and Particle
Science 32, 443 (1982).
22 T. P. Cheng, L. F. Li, Gauge Theory of Elementarry Particle Physics (Oxford
University Press USA, 1988).
23 S. L. Glashow, Nucl. Phys. 22, 579 (1961).
24 S. Weinberg, Phys. Rev. Lett. 19, 1264 (1967).
25 A. Salam, Elementary Particle Theory: Relativistic Groups and Analyticity (Nobel
Symposium No.8 - Ed. N. Svartholm (Almqvist and Wiksells, Stockholm), 1968).
26 K. N. Abazajian, et al., arXiv:1204.5379 (2012).