Académique Documents
Professionnel Documents
Culture Documents
Instituto de Fsica
Orientadora:
Banca Examinadora:
So Paulo
2013
FICHA CATALOGRFICA
Preparada pelo Servio de Biblioteca e Informao
do Instituto de Fsica da Universidade de So Paulo
USP/IF/SBI-028/2013
A mi familia y amigos, viejos y nuevos, pues, sin
su apoyo, esta pequea contribucin no sera posible.
AGRADECIMENTOS
Como a execuo de uma sinfonia, este trabalho foi desenvolvido com a ajuda e o trabalho con-
junto de muitas pessoas; sua presena e apoio foi fundamental para que eu pudesse realizar esta
dissertao. Deste modo, devo comear agradecendo minha famlia o apoio tanto com a deciso
de vir para o Brasil, como durante estes dois anos desde a distncia, pois o contato permanente
com eles sempre me deu fora para continuar adiante.
Toda boa orquestra precisa ter um excelente diretor, e esse o caso desta dissertao. Assim
que devo agradecer minha orientadora, Profa. Renata, pois, alm de ter me aceitado como seu
estudante, deu ouvido a muitas dvidas, em especial com relao aplicao da equao de Boltz-
mann, e apoiou e estimulou a minha ideia de aprender o formalismo de Schwinger-Keldysh e de
consider-lo como formalismo fundamental para ter uma descrio correta de Leptognese. Tam-
bm, agradeo a ela a dedicao dissertao, pois, enquanto ela esteve fora do Brasil, deu tempo
mesma atravs de mltiplas reunies pelo Skype e de uma leitura detalhada, com muitas observa-
es, do texto. Renata, o meu muito-obrigado.
Devo tambm agradecer aos novos amigos que encontrei no passo pelo Brasil. Amigos como o
pessoal da repblica, Jorgivan, Thaiany, rike, Carol, por tantos momentos agradveis, por muitas
conversas que fizeram esquecer distintos problemas e diminuram a saudade que sentia da minha
famlia. Agradeo especialmente ao Jorgivan e Thaiany por sempre estarem prestes a me ajudar e
por serem grandes amigos que me fizeram sentir como em casa. Tambm devo agradecer ao pessoal
do pipoco das 4pm, Cludio, Nayara, Camila e Leonardo, pois, alm de serem bons amigos, sei
que com eles possvel ter uma discusso sobre coisas que para algumas pessoas podem ser tri-
viais e de problemas que para outras pessoas no so problemas ou vice-versa, e tambm por me
darem muitas dicas de portugus.
Igualmente, agradeo aos meus amigos conterrneos, Hugo, Antonio e Faiber pois, embora
somente tive a oportunidade de conhec-los aqui no Brasil, sei que no futuro poderei contar com
eles, e, alm disso, agradeo por muitos bate-papos sobre incontveis assuntos e tambm por no
me permitirem esquecer o espanhol. Do mesmo modo agradeo ao Camilo, Luis Ever, Jackson e
Sandra pela ajuda na chegada no Brasil, nas questes burocrticas e por me fazerem sentir orgu-
lhoso de ser Upetecista.
Agradeo ao Pedro A N Machado pelo tempo que dedicou leitura detalhada da dissertao e
pelas mltiplas sugestes que fez com relao ao texto e defesa. Agradeo tambm queles amigos
que me ajudaram em distintas oportunidades, como Maria Fernanda, Victor, Denis, Javier, An-
dr, Walace, e ao pessoal da CPG, pois eles estiveram sempre dispostos a me ajudar e a resolver as
muitas dvidas com a maior gentileza.
Um dos problemas mais importantes que precisa ser resolvido, tanto pela fsica de
partculas como pela cosmologia, a existncia de assimetria barinica. Entre os cenrios
mais atrativos para a gerao dinmica da assimetria barinica (Bariognese) encontra-
se a denominada Leptognese. Nesse cenrio, cria-se uma assimetria leptnica que ser
convertida em assimetria barinica por processos no perturbativos mediados por spha-
lerons. Na realizao mais simples da Leptognese, que ser estudada nesta dissertao,
neutrinos pesados de mo direita, produzidos termicamente, decaem violando CP, ge-
rando um assimetria leptnica nesses decaimentos. O principal atrativo deste cenrio
que conecta duas escalas aparentemente diferentes: a escala da gerao de assimetria
leptnica e a escala das massas e oscilaes dos neutrinos ativos mediante o mecanismo
de See-Saw.
One of the most important problems that is needed to solve by the Elementary Particle
Physics as well as by the Cosmology is the existence of baryonic asymmetry. Among the
most attractive scenarios of dynamic generation of baryonic asymmetry (Baryogenesis)
is the so-called Leptogenesis. In that scenario, a leptonic asymmetry is created in such a
way that it will be converted in baryonic asymmetry by non-perturbative processes me-
diated by sphalerons. In the simplest realization of Leptogenesis, that will be studied in
this disertation, heavy right-handed neutrinos, produzed thermally, decay violating CP
generating a leptonic asymmetry in these decays. The principal attractive of this scenario
is that it connects two apparently different scales, the scale of leptonic asymmetry genera-
tion and the scale of masses and oscillations of the active neutrinos through the See-Saw
mechanism.
The usual study of the leptogenesis uses Boltzmann equations in order to determine
the temporal evolution of the asymmetry. However, the Boltzmann equation is a semi-
classical equations, since, on one side, it is formulated for a classical function in phases
space, the distribution function, but, on the other hand, the collision term involves quan-
tities obtained in the Quantum Field Theory at zero temperature. In particular, Boltz-
mann formulation does not allow to describe quantum phenomena such coherent oscilla-
tions and effects of decoherence and interference. Indeed, a proper quantum description
of the evolution of the leptonic asymmetry must be obtained in the context of the Non-
Equilibrium Quantum Field Theory. The Schwinger-Keldysh formalism allows to perform
this. In this dissertation, leptogenesis is described using the Schwinger-Keldysh forma-
lism for the case in which there are three right-handed neutrinos without a definite mass
hierarchy.
x Abstract
SUMRIO
Agradecimentos v
Resumo vii
Abstract ix
Introduo 1
1 Leptognese Padro 7
1.1 Evidncias da Existncia de Assimetria Barinica . . . . . . . . . . . . . . . 7
1.2 Condies de Sakharov . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3 Leptognese . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3.1 Violao de CP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.3.2 Equaes de Boltzmann . . . . . . . . . . . . . . . . . . . . . . . . . 15
5 Concluses e Perspectivas 97
A Convenes 101
Referncias 139
INTRODUO
N ur die Kun und die Wiensaft erhhen den Mensen bis zur Gottheit.
Ludwig van Beethoven
Uma pergunta importante aparece neste ponto: por que no h antimatria nas mes-
mas quantidades que a matria em nosso entorno? Uma primeira considerao que
h antimatria em grandes quantidades, mas em lugares remotos do Universo. Assim,
depois do Big-Bang algum processo desconhecido atuou para separar matria e antima-
tria [7]. Agora, j que tal processo deve possuir caractersticas bastante inusuais, pois
no estado inicial do Universo, partculas e antipartculas faziam parte de um sistema que
evoluia em conjunto, vamos considerar que toda matria e antimatria se aniquilaram
mutuamente e que, de alguma forma, depois da aniquilao sobrou a matria que consti-
tui as estruturas que observamos. Deste modo, como segunda considerao, poderamos
supor que havia uma maior quantidade de matria que de antimatria no comeo do
Universo, ou seja, nas condies iniciais do Universo existia uma assimetria entre matria
e antimatria [7]. No obstante, as medidas experimentais mostram que essa assimetria
muito pequena, logo, a considerao de que a assimetria aparece como consequncia das
condies iniciais do Universo constitui um problema de ajuste fino [7]. Alm disso, no
seria claro porque a natureza tem preferncia por um tipo de matria em relao ao outro.
2 Introduo
Portanto, parece mais atraente considerar que a assimetria entre matria e antimatria foi
criada dinamicamente nos primrdios do Universo [7].
Hoje em dia, a nica fsica alm do MP que foi demostrada experimentalmente cor-
responde descoberta de que os neutrinos so partculas massivas [6]. A histria dos
neutrinos, do ponto de vista do autor, uma histria fascinante que gerou revolues na
fsica das partculas elementares. Uma excelente descrio dessa histria se apresenta em
[6]. Aqui vamos dar um breve resumo. A proposta da existncia dos neutrinos foi feita
por Pauli [14] para no haver violao da conservao da energia no decaimento beta.
Logo depois, Fermi [15] descreveu de modo mais formal tal proposta ao considerar que
a responsvel pelo decaimento beta seria uma nova interao entre quatro frmions, que
denominamos hoje interao fraca. A partcula de Pauli, denominada neutrino por Fermi,
1
Existem diversas discusses do MP em distintos livros, teses e dissertaes, pelo que no vamos consi-
derar o estudo desse modelo na presente dissertao. Ver, por exemplo [6].
3
era um dos frmions que aparecem no decaimento descrito pela teoria de Fermi. Essa te-
oria permitia avaliar a seo de choque de interao do neutrino com a matria, e sendo
essa muito pequena, foi bastante difcil de observar o neutrino experimentalmente. Isso
ocorreu pela primeira vez no experimento de Reines et al. [16], 30 anos depois do trabalho
de Fermi. Na mesma poca em que foram descobertos os neutrinos, tambm foi desco-
berta a violao da simetria de paridade pelas interaes fracas. Esta violao trouxe
importantes consequncias para a fsica dos neutrinos, pois foi demostrado que se os
neutrinos fossem partculas sem massa poderia haver violao da paridade. Assim que
Landau [17], Lee-Yang [18], e Salam [19], estabeleceram a teoria de duas componentes para
neutrinos sem massa.
e + e + ,
e + ,
no permitido. O neutrino munico foi descoberto em 1962 [21]. Do mesmo modo, de-
pois do descobrimento do lpton tau [22], foi necessrio introduzir um neutrino tau-
nico ao espectro de partculas. Esse terceiro neutrino foi descoberto pelo experimento
DONUT do Fermilab em 2000 [23]. Esta imagem de trs famlias ou sabores de lptons,
com seus respectivos neutrinos sem massa, foi introduzida ao MP.
A partir dos anos 1960 foram realizados diferentes experimentos que pretendiam de-
terminar as distintas caractersticas dos neutrinos. Entre eles, o experimento Homestake
[24] estudou os neutrinos de origem solar. No obstante fosse bem sucedido em en-
contrar e caraterizar os neutrinos solares, um problema apareceu nos seus resultados: a
quantidade de neutrinos era um tero da quantidade esperada. Tempo depois, outros
experimentos, entre eles SuperKamiokande [25], SNO [26], LSND [27], corroboraram os
resultados de Homestake. Este o conhecido problema dos neutrinos solares. Algum
tempo antes de achar esse problema, Pontecorvo props [28, 29], sem sab-lo, a soluo
ao mesmo. Ele props que os neutrinos podem apresentar um fenmeno de oscilao si-
milar ao que possuem os kons neutros K 0 K0 , mas, neste caso, as oscilaes ocorrem
entre os sabores dos neutrinos, ou seja, , com , = e, , . Devemos notar que
a explicao mais simples feita considerando que, em primeiro lugar, os neutrinos pos-
suem massa e, em segundo, que existe uma disparidade entre os autoestados de sabor,
que so aqueles que aparecem nas correntes carregadas, e os autoestados de massa, cor-
respondentes queles que possuem massas definidas [6], ou seja, so estados do Hamilto-
neano. Isto permite a existncia de oscilaes. Distintos experimentos com neutrinos de
4 Introduo
o que parece indicar que a escala das massas dos neutrinos no mximo da ordem dos
eV, muito suprimida comparada com a escala das massas dos outros frmions do MP.
Por outro lado, os ngulos de mistura compatveis com os diversos resultados dos expe-
rimentos de oscilao so dados por [6]
sin2 12 = 0.314(1+0.18
0.15 ),
sin2 23 = 0.44(1+0.41
0.22 ),
2
sin2 13 = 0.9+2.3
0.9 10 ,
de forma que a mistura leptnica muito diferente da mistura no setor de quarks. Esta
grande diferena entre as escalas pode ser entendida supondo a existncia de fsica alm
do MP. Mas antes de considerarmos os possveis mecanismos para entender a pequenez
da massa dos neutrinos, devemos mencionar que o fato dos neutrinos serem massivos
coloca dvidas sobre a sua natureza, pois, por serem partculas neutras, os neutrinos
podem ser partculas de Dirac, similares s descritas no trabalho mencionado anterior-
mente, ou partculas de Majorana [30], que so suas prprias antipartculas. Isto ainda
no foi evidenciado experimentalmente, mas, teoricamente, a natureza tipo Majorana
preferida pela sua simplicidade2 . Uma propriedade muito importante que possuem os
neutrinos de Majorana que a conservao do nmero leptnico s pode ser considerada
como uma simetria efetiva que opera em processos em que a massa dos neutrinos pode
ser desprezada devido s escalas de energia envolvidas. Porm, a violao do nmero
leptnico pode ter efeitos tanto na fenomenologia de baixas energias, como no decai-
mento beta duplo sem neutrinos, quanto de altas energias, como veremos a seguir.
Um dos mecanismos mais atrativos para a gerao de massa dos neutrinos o me-
canismo de See-Saw [31, 32]. Na presente dissertao consideraremos unicamente o me-
canismo de See-Saw de tipo I, que, por simplicidade, denominaremos daqui em diante
como mecanismo de See-Saw. Neste mecanismo so includos ao espectro de partculas
trs neutrinos de mo direita, estreis com relao s interaes do MP, isto , estes neu-
trinos no possuem acoplamentos com os bsons W , Z e , mas s acoplamentos tipo
Yukawa com o dubleto de Higgs. As massas dos neutrinos do MP, ou ativos, so suprimi-
das com respeito escala electrofraca ao supormos que as massas dos neutrinos de mo
direita so muito grandes, da ordem da escala da Grande Unificao, por exemplo [6, 33].
Uma consequncia importante disto que os neutrinos que observamos em nossos expe-
rimentos so partculas tipo Majorana e, em geral, vai existir mistura entre autoestados
de interao e de massa. Este ltimo fato muito importante, pois possibilita a existncia
de novas fontes de violao CP tanto nos neutrinos de mo esquerda quanto nos de mo
direita. Existem outras alternativas para explicar a pequenez da massa dos neutrinos,
2
Esta afirmao vem do fato que os frmions de Majorana possuem a metade de graus de liberdade de
um frmion de Dirac.
5
conhecidas como mecanismo de See-Saw de tipo II [34] e III [35]. No primeiro caso
necessrio adicionar um tripleto de escalares e, no segundo, un tripleto de frmions de
SU (2)L ao conjunto de partculas do MP.
Depois de notarem que duas das trs condies de Sakharov so cumpridas pelo me-
canismo de See-Saw, pois nesse caso h violao tanto de CP quanto do nmero lept-
nico, Fukugita e Yanagida [36] propuseram que possvel ter gerao de assimetria lept-
nica no Universo primordial se os decaimentos dos neutrinos de mo direita ocorressem
fora do equilbrio trmico. Deste modo nasceu a denominada Leptognese [37]. Vemos
assim que a leptognese um cenrio muito atrativo pois explica tanto as oscilaes e a
pequenez da massa dos neutrinos, quanto a assimetria entre matria e antimatria pre-
sente no Universo. Esta foi uma das motivaes para estudar a leptognese na presente
dissertao.
mas fora do equilbrio de um modo similar ao feito no caso do equilbrio, ou seja, medi-
ante funes de Green. L. Keldysh [42] e L. Kadanoff e G. Baym [44] desenvolveram as
ideias de Schwinger e aplicaram com sucesso o formalismo a situaes da matria con-
densada e fsica de muitos corpos, ao considerar fenmenos de transporte que podem
se apresentar ali. Uma coisa importante que devemos mencionar que esses trabalhos
no consideravam efeitos relativsticos nem possveis aplicaes na fsica das partculas
elementares. Porm, os trabalhos de Zhou et al. [45] e Jordan [46], que fizeram a extenso
do formalismo a problemas relativsticos e a espaos curvos, respectivamente, permiti-
ram que Calzetta e Hu (ver referncias no livro deles [47]) fizessem os primeiros estudos
sobre a aplicao do formalismo a problemas do Universo primordial. A descrio da
Teoria Quntica de Campos Relativstica no formalismo de Schwinger-Keldysh ser de-
nominada aqui Teoria Quntica de Campos fora do Equilbrio Trmico [48]. A aplicao deste
formalismo descrio da bariognese e leptognese muito recente, ver [40]. Pode-
mos mencionar que h dois tipos de aplicaes: um que considera correes qunticas
s equaes de Boltzmann [49, 50, 51] e outro que considera diretamente as equaes
de evoluo das funes de Green para o caso da leptognese [52, 53, 54, 55]. Do nosso
ponto de vista, o segundo tipo mais satisfatrio, pois no tem as consideraes adicio-
nais que possui o primeiro tipo e, alm disso, descreve a dinmica em termos de funes
anlogas s estudadas usualmente na Teoria de Campos, os valores esperados de opera-
dores. Assim, o propsito desta dissertao descrever a leptognese no formalismo de
Schwinger-Keldysh seguindo o caminho estabelecido por A. Anisimov et al. [52, 53], mas
considerando que no h hierarquia entre as massas dos neutrinos de mo direita.
Em primeiro lugar, possvel afirmar que nosso sistema solar est constitudo so-
mente por matria. Observou-se, por exemplo, que os raios csmicos possuem antipr-
tons em uma quantidade 104 vezes menor que o nmero de prtons observados. Esta
grandeza pode ser determinada considerando a quantidade de antiprtons que so cri-
ados na atmosfera como subprodutos de colises. Portanto, os raios csmicos so uma
boa evidncia de que existe uma diferena importante entre o nmero de brions e anti-
brions em nosso entorno [7].
Uma pergunta que podemos nos fazer se possvel que a assimetria seja uma con-
8 Leptognese Padro
dio inicial do Universo. Como resposta preliminar podemos dizer que no parece na-
tural que a natureza tenha preferncia por um tipo de matria sobre outro e tambm
teramos um problema de fine-tuning, pois a assimetria muito pequena. Por outro lado,
h excelentes razes para pensarmos que no Universo teve lugar uma inflao, logo, a
assimetria barinica inicial deveria ter sido diluda exponencialmente. Em consequncia,
o mecanismo mais simples considerar que a tempos pequenos (T > 38 MeV) se gerou
dinamicamente uma assimetria entre o nmero de brions e antibrions no Universo [7].
j j
Existem vrios modelos que permitem gerar dinamicamente assimetria barinica atra-
vs de nova fsica. Para isso, necessrio estender o MP de modo tal que sejam introdu-
zidas novas fontes de violao CP e que se produza o desvio do equilbrio adicional
necessrio transio de fase eletrofraca ou que a modifique. Alguns desses novos me-
canismos so os seguintes [37]
1
Ver o apndice B para uma explicao mais detalhada disso.
10 Leptognese Padro
Mecanismo de Affleck-Dine A assimetria gerada por um campo clssico que vai de-
cair em partculas posteriormente [37]. Tal campo comea com um valor esperado
do vcuo grande e roda em direo origem em seu potencial escalar. Em geral,
este campo produzido por uma combinao de campos escalares dos parceiros
supersimtricos de quarks, lptons e os Higgses do MSSM. Este mecanismo gera
uma assimetria que combinao de B e L. Porm, se a diluio produzida pela
inflao maior que 1010 , a assimetria gerada muito pequena.
Motivados pela discusso acima, vamos estudar o modo padro de considerarmos a ge-
rao da assimetria leptnica. Embora seja muito importante entender como convertida
parcialmente a leptognese em bariognese por processos na escala eletrofraca, na pre-
sente dissertao vamos considerar s a gerao da assimetria leptnica por meio do
decaimento dos neutrinos de mo direita, j que, como veremos a seguir, ainda h pro-
blemas conceituais nessa descrio.
1.3 Leptognese
A gerao da assimetria barinica atravs de assimetria leptnica um cenrio que
tem atrado muita ateno nos ltimos anos, j que permite conectar dois problemas da
fsica de partculas que em princpio parecem bastante diferentes: a pequenez da massa
dos neutrinos ativos e a bariognese. Isto possvel devido ao mecanismo de See-Saw [6].
Este mecanismo possui violao do nmero leptnico em duas unidades, pois para a re-
alizao do mesmo os neutrinos precisam ser de fato frmions de Majorana. Alm disso,
novas fases de violao de CP podem existir tanto na parte ativa quanto nos neutrinos de
mo direita. Por outro lado, o desvio do equilbrio pode estar presente nos decaimentos
dos neutrinos pesados. Assim que, em princpio, a leptognese cumpre as condies de
Sakharov, porm, necessrio determinar se este cenrio d conta da assimetria obser-
vada.
1 1
/ R Na Na Mab PR Nb Yab Na PL lb Yab
L = LM P + Na iP la PR Nb , (1.1)
2 2
Mab = Ma ab .
Na lb ,
Na lb .
Se tivermos violao de CP, sero criadas assimetrias em todos os sabores; enquanto que
se as interaes estivessem fora do equilbrio, tais assimetrias sobrevivero. Finalmente,
os processos que ocorrem na transio eletrofraca transformam parte da assimetria em
assimetria barinica. Um fato importante, que observado em [37], que a criao e
aniquilao controlada por uma constante de acoplamento s, Yab . Portanto, devemos
notar que a mesma assimetria CP est envolvida tanto na criao quanto nos decaimen-
tos dos Na . Poderamos afirmar que, com consequncia desse fato, a assimetria nula,
contudo, uma assimetria no zero vai sobreviver, j que a assimetria inicial esgotada
por decaimentos, decaimentos inversos e espalhamentos [37]. Tal esgotamento deno-
minado washout, lavagem em portugus, e ser crtico para a leptognese trmica. Alm
disso, efeitos de sabor sero muito importantes, j que a washout depende dos lptons e
como so distinguidos nos diferentes processos.
1.3.1 Violao de CP
Na hora de considerarmos a violao de CP, devemos levar em conta que existem
duas contribuies possveis assimetria CP: a assimetria que provm dos decaimentos
dos neutrinos de mo direita, definida segundo,
(Na lb ) (Na lb )
ab : =
(Na lb ) + (Na lb )
(la lb ) (la lb )
ab : = .
(la lb ) + (la lb )
Para o caso hierrquico, no qual uma das massas dos neutrinos suposta muito menor
que as massas dos outros neutrinos, M1 M2 , M3 , temos que a contribuio no
1.3 Leptognese 13
Na Nb
lc
relevante, j que a transio entre neutrinos suprimida pela diferena das massas. Por
outro lado, a contribuio 0 pode se calcular e dada por [36, 37]
2 1
" 2 #
1 X M M
01b = Im[Yb1 (Y Y )1c Ybc ]f c
2 + Im[Yb1 (Y Y )c1 Ybc ] 1 c2 ,
8 (Y Y )11 M 1 M1
c=2,3
(1.2)
Na Na Nc Na
lb lb lb
a) b1) b2)
A assimetria para o caso ressonante, o qual ocorre quando a diferena das massas dos
neutrinos da mesma ordem da largura de decaimento Ma Mb a,b , composta pelas
seguintes componentes [59, 60]
X Im[(Y Y )2 ] M 2
0 ab b
a = f , (1.3)
8 (Y Y )aa Ma2
b6=a
X Im[(Y Y )2 ] (Mb2 Ma2 )Ma Mb
ab
a = . (1.4)
8 (Y Y )aa (Ma2 Mb2 )2 + (Ma a Mb b )2
b6=a
Devemos notar que os termos Ma,b 2 2 correspondem a fatores tipo absortivo que regu-
a,b
lariza a assimetria no limite Ma Mb . Estes termos so de fcil interpretao fsica,
aparecem devido finitude da largura dos neutrinos. Uma considerao importante que
devemos levar em conta neste ponto que nos dois cenrios, hierrquico e ressonante, a
14 Leptognese Padro
Por outro lado, como foi descrito anteriormente, a unitariedade da matriz S e a condio
de invarincia CPT implicam que
2
|M(i j)|2 =
X X
|M(i j)| ,
j j
o que indica que podemos ter violao de CP atravs de decaimentos parciais. Agora,
supondo que os neutrinos Na podem ser considerados como estados assintticos, o que
se pode afirmar se sua vida mdia muito maior que as escalas de tempo envolvidas nos
processos, temos que a unitariedade da matriz S satisfeita pelos elementos matriciais
com Na no estado inicial ou final. Porm, devemos notar que ao considerar todos os
processos la qualquer coisa [37]:
mas, para a leptognese necessrio que ab 6= 0, o que implica que h violao de
CP nas razes parciais de decaimento
2
|M(la Nb )|2 6= M(la Nb ) ,
contudo, a nvel de rvore nos espalhamentos, no podemos ter assimetria CP, de-
vido ao fato que a matriz de transio Tab , definida a partir da matriz S segundo
Sab = 1 + iTab , cumpre [37]
n o
|Tab |2 |Tba |2 = 2Im (T T )ab Tba
|(T T )ab |2 .
Deste modo temos um paradoxo aparente: seria necessrio ter violao de CP a nvel
de rvore para que na razo total no se apresentasse assimetria CP, o que contradiz
a ltima considerao. No obstante, este paradoxo resolvido notando que, de fato,
estamos fazendo uma dupla contagem, j que no canal s o neutrino Na pode estar on-
shell: por exemplo, no espalhamento |M(la lb )|2 tambm estamos considerando
os processos em que so criados os neutrinos e logo decaem, |M(la Nc , Nc lb )|2 .
Deste modo, o paradoxo resolvido devido a que a nvel de rvore h uma violao de
1.3 Leptognese 15
est on-shell. Podemos reescrever esse termo utilizando a razo de ramificao BlNb c para
Nc lb ,
M (la lb )2 : = |M(la lb )|2 |M(la Nc )|2 BlNb c .
0 X
(1.7)
c
sendo H o fator de expanso de Hubble, C 12,22 [fk ] os termos de coliso para decai-
mentos e espalhamentos definidos segundo
1
Z
C 12 [fk ] = [fm fn (1 fk )Wmn|k (1 fm )(1 fn )fk Wk|mn ], (1.9a)
2 p~m ,~pn
1
Z
22
C [fk ] = [fm fn (1 fk )(1 fl )Wmn|kl (1 fm )(1 fn )fk fl Wkl|mn ],
2 p~l ,~pm ,~pn
(1.9b)
Boltzmann para todas as espcies presentes no Universo ser difcil de resolver, pois
para cada espcie haver uma equao que, em geral, vai depender das outras espcies.
Porm, para resolvermos tal sistema, devemos entender primeiro como que as condi-
es fora do equilbrio aparecem no Universo. A expanso do Universo vai determinar
quando uma espcie est ou no no equilbrio [7]: se as taxas de interao de uma espcie
so da mesma ordem ou menores que a taxa de expanso de Hubble H,
. H,
tal espcie no poder se equilibrar e ficar fora do equilbrio; enquanto que se as taxas
de interao so maiores que H as espcies estaro em equilbrio com o plasma primor-
dial [7]. Este critrio determina quais espcies podem se considerar em equilbrio e assim
simplificar o sistema de equaes de Boltzmann.
Como condies iniciais, vamos assumir que o Universo reaquece a uma temperatura
Tra o banho trmico, composto com as partculas do MP interagindo a travs das intera-
es de gauge e por elas o banho permanece no equilbrio. Uma densidade trmica de
neutrinos de mo direita produzida quando Tra & Ma /5, com Ma a massa do neutrino
com massa menor, e se a escala de tempo de produo dos neutrinos 1/pr menor que
a idade do Universo naquela poca H 1 , com
1 T2
2
H(T = Ma ) = 1.66g ,
mpl T =Ma
K1 (Ma2 T 1 )
eq
Na = nNa a , (1.11a)
K2 (Ma2 T 1 )
Z
T 3
= 4 ds s 2 K1 ( s T 1 ) 0 (s), (1.11b)
8 0
1.3 Leptognese 17
dYNa eq
= x2 Ka YNa YNa , (1.12a)
dx
3
dYL 2
X eq eq 1
=x Ka aa YNa YNa g YNa YL , (1.12b)
dx 2 N a
a=1
sendo
K1 (ma x) a
Ka : = ,
K2 (ma x) H(x = 1)
condies iniciais as condies de vcuo, nNa (0) = nL (0) = 0, ou seja, se supe que
tanto a densidade de nmero dos neutrinos quanto a assimetria leptnica so nulas no
tempo inicial. Distintos estudos resolveram numericamente as equaes acima forne-
cendo diversos resultados para os casos ressonante e hierrquico considerando essas e
outras condies iniciais [59, 61, 62, 52]. Apresentamos alguns grficos das assimetrias e
densidades de nmero dos neutrinos pesados nas figuras 1.3 e 1.4 para os casos hierr-
quico e ressonante, respectivamente. As figuras foram tomadas de [63] e [64].
A figura 1.3 foi obtida em [63] para no caso hierrquico para dois diferentes tipos de
condio inicial da abundncia dos neutrinos de mo direita. Alm disso, se apresenta a
evoluo da abundncia tanto dos neutrinos como da assimetria leptnica. Para o caso de
abundncia inicial dos neutrinos nula (linha cheia), temos que possvel ver como essa
abundncia cresce de modo tal que para T = 0.5M1 tal abundncia excede a abundn-
cia no equilbrio (linha pontilhada), para logo decrescer e tender ao equilbrio. Para este
caso, uma assimetria leptnica aparece mesmo antes de que a abundncia dos neutrinos
18 Leptognese Padro
Na figura 1.4, obtida em [64], se apresenta outro fenmeno muito importante na lep-
tognese, os efeitos de sabor. Neste caso vemos como os resultados so diferentes para os
casos em que so considerados os feitos que tem levar em conta os sabores dos neutrinos
pesados atravs dos acoplamentos de Yukawa Yab . Deste modo, possvel gerar uma
assimetria para cada nmero leptnico Le,, , e ao mesmo tempo, proteger a assimetria
final da washout produzida pelos sphalerons. Como vemos na mesma figura, os efeitos
de sabor so importantes j que sua introduo faz com que a assimetria cresa em uma
ordem de grandeza, aproximadamente. Porm, nesta dissertao no vamos levar em
conta estes efeitos.
nos qunticos que podem se presentar esto includos aqui? Para respondermos esta
pregunta notemos que, como j foi mencionado, a assimetria CP gerada quando se con-
sidera a interferncia quntica entre diagramas a nvel de rvore e correes de um loop,
assim, neste ponto so muito importantes os fenmenos de origem quntico. Alm disso,
no caso ressonante, existe a possibilidade de termos oscilaes entre neutrinos de mo
direita devido pequena diferena das massas, porm, a formulao que acabamos de
descrever no leva em conta esta possibilidade e para t-la seria necessrio incluir novas
suposies ao tratamento. Por outro lado, as larguras e sees de choque que so inclu-
das nos termos de coliso so calculadas a temperatura nula, o que no parece muito
satisfatrio, j que estamos estudando um sistema a uma temperatura que se supe alta.
Do mesmo modo, como vimos, necessrio fazer uma subtrao a posteriori da ampli-
tude de probabilidade de espalhamento no caso em que o estado intermedirio on-shell,
j que h de fato uma dupla contagem na determinao da assimetria CP. Finalmente,
lembremos que a equao de Boltzmann uma equao de origem puramente clssica
que descreve a evoluo de uma funo que mora no espao de fases, mas, no termo
de coliso se incluem probabilidades de origem quntica, o que contraditrio. Deste
modo, a resposta pergunta formulada anteriormente no: o formalismo de Boltzmann
no inclui muitos fenmenos que deveriam ser levados em conta para ter uma descrio
que possa ser considerada como completa da leptognese. Contudo, como seria uma
descrio completa, e claro, correta, da leptognese? Consideramos que uma descrio
completa deve ser aquela em que se estude a leptognese em um formalismo que inclua
efeitos qunticos e fora do equilbrio trmico a partir de primeiros princpios. Tal forma-
20 Leptognese Padro
lismo de primeiros princpios, que denominaremos aqui Teoria Quntica de Campos fora
do Equilbrio Trmico (TQCfE), existe e utilizado em sistemas da matria condensada,
mostrando-se muito til e dando bons resultados [44]. No prximo captulo vamos des-
crever o formalismo da TQCfE e nos captulos seguintes aplicaremos esse formalismo
leptognese trmica.
CAPTULO 2
TEORIA QUNTICA DE CAMPOS FORA DO EQUILBRIO
TRMICO
2.1 Introduo
Os novos fenmenos que tem sido vistos experimentalmente nos ltimos anos, entre
os que temos, por exemplo, o plasma de quarks e glons, condensados de Bose-Einstein,
superconductividade a altas temperaturas, tem gerado uma revoluo no desenvolvi-
mento da Teoria Quntica de Campos (TQC) temperatura T finita. Existem duas ex-
tenses da TQC que permitem estudar sistemas termodinmicos temperatura no nula
T 6= 0: o formalismo de tempo imaginrio e o formalismo de tempo real.
estado inicial seja no trmico para assegurar condies fora do equilbrio [48]. Notemos
que um sistema fora do equilbrio no um estado quntico puro e por isso deve ser des-
crito por uma matriz densidade, . Essa matriz densidade tem a interpretao estatstica
de um conjunto de sistemas idnticos em diferentes estados qunticos. Para descrever-
mos o problema de modo mais detalhado, vamos assumir que o sistema descrito por
um estado inicial, dado pela matriz densidade i (t0 ) no trmica, em um tempo t0
eH
i (t0 ) 6= . (2.1)
tr {eH }
Agora bem, lembrando que todas as quantidades fsicas na TQC podem ser expressadas
em termos das funes de n-pontos da teoria, teremos que as distintas funes de corre-
lao entre os campos fora do equilbrio, denominadas funes de Green fora do equilbrio,
sero as principais quantidades que estudaremos na TQCfE1 . Porm, antes de determi-
narmos as relaes gerais entre tais funes de Green, devemos considerar um problema
importante que possui a TQCfE: a inaplicabilidade do formalismo padro temperatura
zero, o formalismo in - out.
1
Embora seja possvel determinar diretamente a evoluo da matriz densidade i (t0 ), mais eficiente
estudar as funes de correlao fora do equilbrio [48]
2.2 Formalismo de Schwinger-Keldysh 23
Para obter uma expresso geral no formalismo in-out necessrio aplicar o teorema de
Gell-MannLow, ou teorema adiabtico [5]: escolhendo como estado |i = |0t i o estado
de vcuo, no degenerado, da hamiltoniana total H , supomos que a interao ligada
adiabaticamente, assim temos que os estados assintoticamente livres s podem diferir
por um fator de fase
com
Deste modo, se obtm a relao padro em teoria de campos a temperatura zero, [5]
n o
h()|T U (, )H (x)H (y) |()i
GF (x, y) = . (2.9)
h()|U (, )|()i
Porm, para o caso de um sistema a temperatura finita e a fortiori fora do equilbrio, o uso
do teorema adiabtico injustificado, j que, em geral, a evoluo pela hamiltoneana to-
tal H no adiabtica. Alm disso, os estados |i em geral no precisam ser autoestados
da hamiltoneana, logo o teorema de Gell-MannLow invlido no caso de um sistema
fora do equilbrio. Em suma, fora do equilbrio trmico os estados |()i e |()i no
esto relacionados de modo simples, como era de se esperar, j que, para o caso que esta-
mos tratando, o estado final, correspondente a um estado trmico, no ter relao com o
estado inicial, no trmico. Porm, Schwinger [41] desenvolveu um truque que permite
evitar qualquer referencia ao estado no futuro assinttico, como veremos a seguir.
Voltando ao problema da TQCfE, em primeiro lugar devemos lembrar que, por defi-
nio, o valor mdio de um operador obtido mediante [67, 48, 54, 55]
tr {A (t)}
hAi(t) : = . (2.10)
tr {(t)}
Deste modo, o valor mdio do operador A se relaciona com a matriz densidade inicial
mediante,
tr U (t, t0 )i (t0 )U (t0 , t)A
hAi(t) =
tr (t)
tr i (t0 )U (t0 , t)AU (t, t0 )U (t0 , T)U (T, t0 )
= .
tr i (t0 )
tr i (t0 )U (t0 , t)AU (t, T)U (T, t0 )
= ., (2.12)
tr i (t0 )
onde utilizamos as propriedades do trao e dos operadores de evoluo temporal e defi-
nimos um T > t0 .
Im t
CKB = C+ C
t C+
Re t
t0 T
C
C (x, y) : =hTC (x)(y)i = C (x0 y0 )> (x, y) + C (y0 x0 )< (x, y), (2.14)
2.2 Formalismo de Schwinger-Keldysh 25
com as funes de Wightman <,> (x, y) definidas como o valor esperado dos campos no
estado do sistema mediante [67, 68, 54]
1 + 1
+ (x, y) : = (x, y) + + (x, y) = h{(x), (y)}i, (2.19a)
2 2
+ +
(x, y) : = i (x, y) (x, y) = ih[(x), (y)]i, (2.19b)
i
C (x, y) = + (x, y) sgnC (x0 y0 ) (x, y), (2.20)
2
com sgnC (x0 y0 ) a funo sinal no contorno,
A extenso para campos ferminicos e vetoriais pode ser feita de modo simples. Para
campos ferminicos temos que as funes de Wightman so definidas mediante
onde o sinal negativo vem da anticomutao dos campos. Assim, temos que a funo de
dois pontos no contorno definida segundo,
1 > 1
S + (x, y) : = S (x, y) + S < (x, y) = h (x), (y) i,
(2.24a)
2 2
S (x, y) : = i S > (x, y) S < (x, y) = ih (x), (y) i.
(2.24b)
No caso de campos vetoriais A (x) (omitindo os possveis ndices de gauge) temos que
as funes de Wightmann so definidas por
Universalidade: no futuro distante, o sistema deve ser independente das condies inici-
ais, ou seja, o sistema precisa alcanar o equilbrio, determinado por caractersticas do
sistema, independente as condies iniciais. Existe uma tcnica que permite curar o pro-
blema da secularidade e possui um comportamento universal, a denominada ao efetiva
N-Particle-Irreducible. Antes de descrevermos tal tcnica, vamos estudar um exemplo
que ilustra a apario dos temos seculares.
2
yp (t) = y0 (t) + y1 (t) + y2 (t) + O(3 ), (2.29)
2
substituindo na equao de movimento, teremos a hierarquia de equaes at ordem
O(3 )
y0 + y0 = 0, y1 + y1 = y0 , y2 + y2 = 2y1 . (2.30)
como vemos, devido aos termos proporcionais a t, (t)2 , a expanso perturbativa s pode
ser vlida no caso em que t 1, condio que no satisfeita em geral. Tais termos so
os termos seculares.
Deste modo devemos considerar outro tipo de aproximao para tentarmos resolver
a equao (2.28). Para isto, vamos considerar uma expanso de tipo n-Particle-Irreducible:
classificamos os termos da equao (2.28) de acordo com as potncias do parmetro .
ordem mais baixa, O(0 ), temos a equao
(0) (0) (0)
ynP I + ynP I = 0, ynP I (t) = cos(t), (2.32)
0.5
yHt L
0.0
- 0.5
-1.0
0 20 40 60 80
t
Figura 2.2: Solues da equao diferencial (2.28) por mtodos numrico, perturbativo,
nPI, para = 0.05
A prxima ordem leva em conta termos do tipo O(3 ) e assim por diante. Notemos que
(2)
o resultado para o ynP I (t) no possui termos singulares, j que este resultado no excede
(2)
em tempo nenhum O(3 ). Assim, o ynP I (t) uma boa aproximao soluo da equao
(2.28). Na figura (2.2) podemos confirmar a essa afirmao comparando o resultado nu-
mrico com os resultados perturbativo (2.31) e usando a soluo nPI (2.33). Vemos como
a soluo (2.33) concorda bastante bem com a soluo numrica, enquanto que a soluo
(2.31) a partir de t 20 comea a desviar-se da soluo exata.
np o 1 t 2
(2)
ynP I (t) = e 2 t cos 1 2 /4 t = e 2 +it 1 /4 + h.c.
2
eit 2 2
+ O(3 ) + h.c.
= 1 t+ t it
2 2 8
= yp (t) + O(3 ), (2.34)
permitindo observar que o resultado nPI resoma todos os termos seculares ordem
infinita perturbativa em , ou seja, a soma infinita das ordens perturbativas necessria
para obter uma aproximao uniforme soluo exata [48]. Deste exemplo obtemos o proce-
dimento nPI para no ter termos seculares na expanso perturbativa: devemos resolver
as equaes de movimento para cada ordem no parmetro perturbativo sem considerar
nenhuma aproximao nos graus de liberdade. Em geral, como mencionado por [48],
o preo que temos que pagar que vamos ter de resolver equaes no-lineares, porm,
como mostrado na mesma referncia, esta no-linearidade requerida para gerar a
universalidade que precisa o formalismo.
2.3 Ao Efetiva Two-Particle-Irreducible (2PI) 29
Escalares
Vamos estudar o caso de um campo escalar real autointeragente com ao clssica
S[] dada por
m2
Z
1
S[] = (x) (x) (x)2 (x)4 , (2.35)
x 2 2 4!
onde introduzimos a notao x = C dx0 d3 x, sendo C um contorno no tempo que
R R R
O funcional gerador das funes de Green conexas W [J, R] em presena de duas fontes
J(x), R(x, y) [48, 54, 55, 47, 69]
Z[J, R] = exp(i W [J, R])
1
Z Z Z
= D exp i S[] + J(x)(x) + R(x, y)(x)(y) . (2.36)
x 2 xy
A introduo das duas fontes deve-se a que queremos limitar os desvios do campo
conhecendo tanto o valor esperado do campos quanto as suas flutuaes (ou seja, seu
propagador). Para isso, introduzimos dois multiplicadores de Lagrange associados s
fontes [47], que sero os dois graus de liberdade, o campo macroscpico, correspondente
ao valor esperado do campo, e a funo de dois-pontos conexa [69],
W [J, R]
(x) : =h(x)i = , (2.37a)
J(x)
W [J, R] 1
(x, y) : =h(x)(y)i = (x)(y). (2.37b)
R(x, y) 2
Agora, de modo padro, fazemos uma dupla transformao de Legendre de W [J, R] com
respeito s duas fontes,
W [J, R] W [J, R]
Z Z
[, ] = W [J, R] J(x) R(x, y)
x J(x) xy R(x, y)
1 1
Z Z
= W [J, R] (x)J(x) R(x, y)(x)(y) tr R, (2.38)
x 2 xy 2
onde definimos o trao dos funcionais atravs de
Z X
tr AB : = Akji ( , z, y, x)Bijk (x, y, z, ), (2.39)
xyz ijk
30 Teoria de Campos fora do Equilbrio
sendo a integral feita sob todas as variveis das quais dependem A e B e a soma feita
sobre todos os ndices que A e B possuem. A partir da ao efetiva, obtemos as condies
estacionrias
[, ]
Z
= J(x) R(x, y)(y), (2.40a)
(x) y
[, ] 1
= R(x, y), (2.40b)
(y, x) 2
Este programa vai gerar equaes integro-diferenciais no-lineares que, em geral, sero
difceis de resolver. Porm, como j foi mencionado, a no-linearidade um ingrediente
fundamental para a universalidade. Por outro lado, devemos mencionar que este proce-
dimento muito satisfatrio pois torna possvel determinar a dinmica de um sistema
longe do equilbrio, assim como a sua evoluo ao equilbrio trmico, em uma Teoria
Quntica de Campos desde primeiros princpios.
A ao efetiva 2PI pode ser calculada tomando a seguinte expanso4 [48, 47, 69],
i i
[, ] = S[] + tr ln 1 + tr 1
0 () + 2 [, ] + const, (2.41)
2 2
i2[, ] = + + + ,
4
Por simplicidade na presente discusso, e para no sairmos muito do tpico da dissertao, no vamos
derivar a expanso 2PI, ver [48, 47, 69]
5
Define-se um diagrama two-Particle-Irreducible quele diagrama que no fica desconexo aps abrir
duas linhas
2.3 Ao Efetiva Two-Particle-Irreducible (2PI) 31
3i (i) (i)
Z Z
2loop 2
i2 [, ] = (x, x) 3 (x) 3 (x, y) (y), (2.42)
4! x xy 6 6
para uma fase simtrica ((x) = 0), s a primeira integral contribui ao.
Para o caso no qual as fontes so nulas, vemos que a segunda equao 2.40b d a
equao de movimento para o propagador (x, y)
[, ] i i
= S[] + tr ln 1 + tr 1
0 () + 2 [, ] = 0,
(y, x) (y, x) 2 2
temos que6
2 [, ]
i1 (x, y) = i1
0 (x, y) + 2 . (2.43)
(y, x)
2 [, ]
i(x, y; , ) : = 2 , (2.44)
(y, x)
1 (x, y) = 1
0 (x, y) (x, y; , ). (2.45)
Reescrevemos de modo mais til a equao anterior para a discusso na prxima seo,
para isso, definimos o produto de dois funcionais segundo,
Z X
(A B)(x, y)ij : = A(x, z)ik B(z, y)kj , (2.46)
z k
onde a soma feita sobre todos os ndices que os funcionais possuem. Deste modo, o
propagador e seu inverso cumprem a relao
Z
1
( )(x, y) = 1 (x, z)(z, y) = C4 (x y), (2.47)
z
Frmions
Para o caso dos frmions, a derivao da ao efetiva segue do mesmo modo que
para bsons, levando em conta que os frmions seguem uma estatstica diferente [48].
Para campos ferminicos que no sejam de Majorana, o inverso do propagador livre
dado por (ver apndice D)
assim, para o caso em que os valores esperados dos campos dos frmions serem nulos
hi = hi = 0, a expanso 2PI da ao efetiva dada por [48, 47, 69],
onde 2 [S] contm os diagramas 2PI com linhas internas associadas ao propagador com-
pleto S(x, y). A equao de movimento para o propagador obtida, na ausncia de
fontes, a partir de
[S]
= 0. (2.51)
S(y, x)
Definindo a autoenergia para o caso de frmions,
2 [S]
i(x, y; S) : = , (2.52)
S(y, x)
encontramos a equao de Schwinger-Dyson,
O segundo elemento matricial pode se escrever como uma integral de trajetria no con-
torno de Kadanoff-Baym cumprindo as condies de contorno (t , ~x) = (~x) [47],
para obter
Z Z
Z[J, R; i ] = D+ D h+ |i (t0 )| i
Z
i
Z Z
D exp iS[] + i J(x)(x) + R(x, y)(x)(y) . (2.57)
+ x 2 xy
Esse funcional gerador carrega toda a informao que precisa a TQCfE, as condies ini-
ciais codificadas na mdia da matriz densidade inicial e as flutuaes qunticas descritas
pela integral de trajetria com ao S[]. importante notar que o funcional pode ser
aplicado ao caso de um estado inicial trmico, assim, podemos dizer que este formalismo
inclui o caso de equilbrio trmico.
1
Z Z
f[] = 0 + 1 (x)(x) + 2 (x, y)(x)(y)
x 2! xy
1
Z
+ 3 (x, y, z)(x)(y)(z) + , (2.59)
3! xyz
devemos mencionar que essa parametrizao leva em conta que i (t0 ) s especificado
no tempo inicial t0 , de forma que os coeficientes 1 , 2 , . . . , se anulam identicamente para
tempos diferentes ao t0 , enquanto que 0 uma constante de normalizao irrelevante.
Assim, temos que o funcional (2.57) fica
Z n o
1
iS[]+i x J(x)(x)+ 2i xy R(x,y)(x)(y)+ 3!
R R R
xyz 3 (x,y,z)(x)(y)(z)+
Z[J, R; i ] = D e ,
(2.60)
Agora bem, devemos achar equaes de movimento para as funes espectral e estats-
tica (x, y), para obtermos as equaes que sero teis na hora de estudar a dinmica
de um sistema fora do equilbrio. claro que estas equaes sero totalmente equivalen-
tes equao de Schwinger-Dyson, mas elas tero uma interpretao fsica muito mais
simples. Para este propsito, vamos decompor a autoenergia em suas componentes es-
pectral e estatstica mais uma componente local,
C (x, y; ) = i(0) (x; )C4 (x y) + C (x, y; ), (2.63)
com
i
sgnC (x0 y0 ) (x, y).
C (x, y; ) = + (x, y) (2.64)
2
A parte local pode ser vista como um running espao-temporal da massa do escalar [48],
pelo qual podemos definir
Mx2 = M 2 (x, ) : = m2 + (0) (x; ). (2.65)
Introduzindo as decomposies do propagador e a autoenergia (2.20), (2.64) na equao
de Schwinger-Dyson, vamos determinar as equaes para as componentes espectral e es-
tatstica. J que tal derivao importante, vamos faz-la em detalhe a seguir.
na figura 2.3 vemos isto no contorno de Kadanoff-Baym. Para o quarto termo, devemos
Im t Im t
z0 y0 Re t y0 Re t
t0 t0 z0
C (y0 z0 ) = 1 C (z0 y0 ) = 1
a) b)
separar dois casos possveis segundo o sinal de x0 y0 no contorno (ver figura (2.4))
C (x0 y0 ) = 1
Z Z y0 Z x0 Z t0
dz0 sgnC (x0 z0 ) sgnC (z0 y0 ) = dz0 (1) + dz0 + dz0 (1),
C t0 y0 x0
(2.68)
C (y0 x0 ) = 1
Z Z x0 Z y0 Z t0
dz0 sgnC (x0 z0 ) sgnC (z0 y0 ) = dz0 (1) + dz0 + dz0 (1),
C t0 x0 y0
(2.69)
7
C (y0 z0 ) = 1 quer dizer que y0 encontra-se depois de z0 no contorno C ver figura 2.3
36 Teoria de Campos fora do Equilbrio
portanto,
Z Z y0 Z x0 Z t0
dz0 sgnC (x0 z0 ) sgnC (z0 y0 ) = C (x0 y0 ) dz0 + dz0 dz0
C t0 y0 x0
Z x0 Z y0 Z t0
+ C (y0 x0 ) dz0 + dz0 dz0
t x0 y0
Z x0 0
= 2 sgnC (x0 z0 ) dz0 ,
y0
devemos levar em conta que a funo espectral e sua derivada cumprem as seguintes
propriedades para tempos iguais, isto ,
i i
x20 sgnC (x0 y0 ) (x, y) = sgnC (x0 y0 )x20 (x, y) iC (x0 y0 )x0 (x, y),
2 2
i
= sgnC (x0 y0 )x20 (x, y) iC4 (x0 y0 ),
2
assim, tomando a derivada do propagador, obtemos
i
x2 C (x, y) = x2 + (x, y) sgnC (x0 y0 )x2 (x, y) iC4 (x y). (2.73)
2
Im t Im t Im t
z0 y0 Re t y0 Re t y0 Re t
t0 x0 t0 x0 z0 t0 z0 x 0
a) b) c)
Deste modo, separando as partes imaginrias e reais da equao (2.62) a partir dos
resultados anteriores, obtemos as denominadas Equaes de Kadanoff-Baym [54, 55],
Z x0
2 2
(x + Mx ) (x, y) = d4 z (x, z) (z, y). (2.74a)
y
Z y0 0 Z x0
(x2 + Mx2 )+ (x, y) = d4 z + (x, z) (z, y) d4 z (x, z)+ (z, y), (2.74b)
t0 t0
R y0 R y0
sendo x0 d4 z : = x0 dz0 d3 z. Essas equaes so as equaes de governam a evoluo
R
temporal das funes espectral e estatstica ou seja, a evoluo temporal do sistema fora
do equilbrio nesta teoria [47, 48], portanto, so equivalentes s equaes de Boltzmann.
Estas equaes so causais e possuem efeitos de memria, de forma que, este formalismo
no-markoviano, j que nelas se efetua integraes no tempo. Contudo, estes efeitos de
memria no quebram nenhuma simetria, em especial, no quebram a simetria de inver-
so temporal.
Por conseguinte, para obter uma descrio completa da leptognese ser necessrio resol-
ver equaes de Kadanoff-Baym anlogas s anteriores. Notemos tambm que as solu-
es dessas equaes podem apresentar novos efeitos no considerados no caso padro.
Porm, antes de tentar resolver tais equaes vamos estudar um caso muito especial no
presente formalismo: o equilbrio trmico.
Assim, para descrevermos um sistema no equilbrio, vamos supor que a matriz densi-
dade inicial corresponde a uma matriz trmica,
eH
(t0 ) = , (2.77)
tr {eH }
8
Neste pontos estamos considerando frmions de Dirac. O caso de frmions de Majorana, que ser rele-
vante para nossos propsitos, se estudar no prximo captulo
38 Teoria de Campos fora do Equilbrio
Im t
CKB = C+ C C3
t0 C+
Re t
C T
C3
t0 i
0
Figura 2.5: Contorno de Kadanoff-Baym CKB para o caso de equilbrio trmico
1
fB (k0 ) = . (2.83)
ek01
Deve-se mencionar que essa funo de distribuio aparece como consequncia das con-
dies de contorno expressas na condio de KMS. Assim, no equilbrio, os propagadores
(k) esto relacionados pela relao KMS. Portanto, uma prova para determinarmos se
um sistema fora do equilbrio apresenta termalizao no futuro assinttico estabelecer-
mos se as funes espectral e estatstica obedecem as relaes de KMS. Este ser um teste
de nossos resultados.
d4 k ik(xy)
Z
C 0 (x y) = e {C 0 (x0 y0 ) + fB (k0 )} (i (k)). (2.84)
(2)4
(x y) = i> (x y) i< (x y)
= ih[(x), (y)]i
d4 k ik(xy)
Z
=i e (2) sgn(k0 )(k 2 m2 ), (2.85)
(2)4
(k) : = i (k)
= (2) sgn(k0 )(k 2 m2 ). (2.86)
A partir dessa funo e de (2.84) temos que os propagadores (k) so dados por [67,
68, 54]
i
++ (k) = + 2 sgn(k0 )fB (k0 )(k 2 m2 ), (2.87a)
k2
m2 + i
+ (k) = 2 sgn(k0 )fB (k0 )(k 2 m2 ), (2.87b)
+ 2 2
(k) = 2 sgn(k0 )(1 + fB (k0 ))(k m ), (2.87c)
i
(k) = 2 + 2 sgn(k0 )fB (k0 )(k 2 m2 ). (2.87d)
k m2 + i
40 Teoria de Campos fora do Equilbrio
A aparncia dos operadores (k) permite sua interpretao fsica. Notamos, por
exemplo, que o propagador ++ (k) composto de duas partes, a primeira idntica ao
propagador temperatura nula, o qual pode se interpretar como o intercmbio de uma
partcula virtual, enquanto que a segunda corresponde contribuio trmica do meio,
o qual est representado por uma contribuio on-shell. Esse ltimo, pode se analisar do
seguinte modo: Em um banho trmico existem partculas reais que participam em proces-
sos de espalhamento, alm das partculas virtuais presentes a T = 0. Outra propriedade
importante da forma obtida que as propriedades ultravioletas no so modificadas pelo
banho trmico, j que tal banho contribui de modo on-shell. Portanto, para desenvolver o
processo de renormalizao nesta teoria suficiente utilizar os contra-termos tempera-
tura nula.
Para nossos propsitos futuros, vamos tomar a antitransformada de Fourier com res-
peito energia das funes espectral e estatstica, ou seja, vamos determinar
dk0 ik0 t
Z
(t, ~k) = e (k), (2.89)
2
temos que
+ ~ 1 k
(t, k) = coth cos(k t), (2.90a)
k 2
1
(t, ~k) = sin(k t), (2.90b)
k
com k2 : = |~k|2 + m2 . Estas funes de Green sero teis na hora de descrevermos a Lep-
tognese.
S (p) = 2i(p 2 2
/ + mf ) sgn(p0 )(p m ), (2.94a)
1
S + (p) = 2 fF (p0 ) (p 2 2
/ + mf ) sgn(p0 )(p m ), (2.94b)
2
que depois de tomarmos a transformada com respeito energia ficam,
mf p~ ~
1 p
S + (t, p~) = tanh i0 sin(p t) cos(p t) , (2.95a)
2 2 p
mf p~ ~
S (t, p~) = i0 cos(p t) + sin(p t), (2.95b)
p
devemos mencionar que os propagadores S (p) podem tambm ser obtidos de modo
anlogo ao caso de escalares.
sendo D(u, ~k) a densidade de estados e f (u, k) uma funo de distribuio desco-
nhecida.
9
Para um resumo da equao de Boltzmann ver apndice D
42 Teoria de Campos fora do Equilbrio
Vamos aplicar a receita acima para nosso caso. Em primeiro lugar, a expanso a trs
loops d uma termo que gera uma massa dependente de x
+
Mx2 = m2 + (x),
2
e as autoenergias seguintes [48]
2
3
Z
+
(x, y) = (x, z) + (z, y)+ (z, y)
+
(z, y) (z, y) , (2.97a)
6 z 4
2
1
Z
(x, y) = (x, z) + (z, y)+ (z, y) (z, y) (z, y) . (2.97b)
2 z 12
(2.97c)
(x2 + Mx2 )<,> (x, y) i(+ <,> )(x, y) i(>,< + )(x, y) = C , (2.98)
u2
2 2i u k
2
<,> ei + <,> ei <,> + = C
k + ik u Mu e
4
(2.102)
com
1
C (u, k) = ei ( > < < > ).
(2.103)
2
2.6 Limite de Boltzmann 43
u k. (2.104)
Assim, possvel fazer uma expanso nas derivadas com respeito ao u. Considerando
as partes hermitiana e antihermitiana da equao anterior se obtm duas equaes que
correspondem equao cintica, que caracteriza a dinmica do sistema, e equao de
vnculo que restringe o espao de parmetros do sistema. Visto de outro modo, a equao
cintica vai ser a equivalente equao de Boltzmann, enquanto que a equao de vn-
culo vai caraterizar as relaes de disperso do sistema. Agora , j que queremos estudar
o limite clssico de Boltzmann (ordem O(~0 )), consideramos unicamente a equao cin-
tica, enquanto que a soluo da equao de vnculo faz com que a densidade de estados
fique
D(k) = (k 2 m2 ),
isto significa que a aproximao gradiente s vai considerar processos on-shell. A equao
cintica vai ser
2 1
Z
(2)4 4 (p q r k)
3 p~ q~ ~r 2k
(1 + fp~ )(1 + fq~)(1 + f~k )(1 + f~r ) fp~ fq~f~k f~r (I)
+ 3 (1 + fp~ )(1 + fq~)(1 + f~k )f~r fp~ fq~f~k (1 + f~r ) (II)
+ 3 (1 + fp~ )(1 + fq~)f~k f~r fp~ fq~(1 + f~k )(1 + f~r ) (III)
(1 + fp~ )fq~f~k f~r fp~ (1 + fq~)(1 + f~k )(1 + f~r ) , (IV)
3
com f~k : = f (u; k , ~k) e p~ : = (2)d 3p2p . Analisando o anterior termo de coliso, vemos
R R
que este termo possui a estrutura de um termo de coliso usual na equao de Boltzmann,
com uma interpretao simples
(I) Descreve produo a aniquilao de quatro quasi-particulas (0 4, 4 0).
3.1 Introduo
Como vimos no Cap. 1, onde discutimos a leptognese padro, para termos assime-
tria leptnica que logo se converter em assimetria barinica, devemos obedecer as trs
condies de Sakharov. Uma delas que o sistema, nesse caso, o Universo deve possuir
condies fora do equilbrio trmico. Como vimos no caso padro, isto introduzido ao
considerarmos a evoluo mediante a equao de Boltzmann, porm, no caso da lepto-
gnese, a aplicao daquela equao injustificada j que a gerao da assimetria lept-
nica requer interferncia quntica e, em alguns cenrios, oscilaes de neutrinos [52, 53].
Conclumos que necessrio ter uma descrio quntica de um sistema fora do equilbrio
trmico para poder aplic-la no estudo da leptognese. Tal descrio o formalismo de
Schwinger-Keldysh que estudamos no captulo anterior.
sas desses neutrinos1 , as quais so muito maiores que a escala eletrofraca [55, 53]. Deste
modo, tanto lptons quanto o dubleto de Higgs sero partculas sem massa e dos du-
bletos possuiro 4 graus de liberdade independentes. Assim, para comearmos, vamos
definir os propagadores fora do equilbrio de lptons, neutrinos de mo direita e Higgs,
segundo [65]
Dubleto de Higgs A
A lagrangeana que descrever a leptognese ser similar quela que foi utilizada no
caso padro, dada por
1 1
/ R Na Na Mab PR Na + la il
L Na iP / a + ( ) ( )
2 2
Yab Na PL lb Yab la PR Nb , (3.1)
sendo Mab a matriz de massa dos neutrinos de mo direita, Yab a matriz de Yukawa
dos acoplamentos com lptons e Higgs. Similarmente ao feito anteriormente, vamos
escolher a matriz de massa dos neutrinos e a matriz de Yukawa de lptons carregados
como diagonais, Mab = Ma ab . Por outro lado, devemos mencionar que os ndices de
SU (2)L esto contrados na lagrangeana acima do seguinte modo,
la lA AB ,
a B
la A AB laB ,
onde AB : =(i2 )AB a matriz mtrica de SU (2)L , com 2 a segunda matriz de Pauli.
Alm disso, supomos que existem trs neutrinos de mo direita e trs sabores de lptons,
ou seja, a, b = 1, 2, 3. Alm disso, vamos escolher uma hierarquia normal entre as massas
dos neutrinos pesados, ou seja, M1 < M2 < M3 .
Como j foi mencionado, a lagrangeana (3.1) idntica quela que descreve o meca-
nismo de see-saw (ver apndice C), assim, esta lagrangeana descreve tanto a pequenez
da massa dos neutrinos ativos quanto a gerao da assimetria barinica. Este um dos
grandes atrativos deste cenrio. De fato, foram introduzidos aqui trs neutrinos pesados
1
Se considerarmos um espectro de massas hierrquico, a escala corresponder escala do neutrino de
massa menor.
3.3 Equaes de Evoluo para os Neutrinos 47
para poder ter coerncia com a fenomenologia de baixas energias. Assim, como con-
sequncia dessa lagrangeana, os neutrinos de mo direita sero frmions de Majorana.
A parte 2PI da ao efetiva 2 [, S, G] pode ser obtida a partir de uma expanso tipo
(2.41), se supomos que |Yab | 1, de forma que
i2[, S, G] = + + ,
evoluo temporal dos neutrinos fora do equilbrio, e a partir de tal resultado obter-
mos a gerao da assimetria. Assim, nesta seo vamos obter e resolver as equaes de
Kadanoff-Baym para os neutrinos de mo direita.
Multiplicando direita por GCcb (z, y), somando sobre c e integrando no contorno em z,
encontramos a verso integro-diferencial da equao de Schwinger-Dyson,
Z
4
(i/x Maa )GC (x, y) iac
ab cb
C (x, z)GC (z, y) = iC C (x y)ab . (3.8)
z
+ 1
Gab (x, y) : = h[Na (x), Nb (y)]i, (3.10a)
2
Gab (x, y) : = ih{Na (x), Nb (y)}i. (3.10b)
A autoenergia tambm se descompe em componentes espectral e estatstica, [55, 53, 65]
i
ab +
C (x, y) = ab (x, y) sgnC (x0 y0 )
ab (x, y). (3.11)
2
Operando do mesmo modo ao feito para escalares, obtemos as equaes de Kadanoff-
Baym para os neutrinos de mo direita, (s h soma sobre c) [65]
Z x0
(i/x Maa )Gab (x, y) = d4 z
ac (x, z)Gcb (z, y). (3.12a)
y0
Z y0 Z x0
/ +
(i x Maa )Gab (x, y) = 4 +
d z ac (x, z)Gcb (z, y) + d4 z +
ac (x, z)Gcb (z, y). (3.12b)
t0 t0
ab
C (x y) =
x y + x y
a b a b
A autoenergia fica,
ab cd cd
C (x y) = Yac Ybd C (x y)PL SC (x y)PR + Ybc Yad C (y x)PR SC (y x)PL .
(3.17)
Como sabemos que a assimetria gerada deve ser pequena, vamos supor que o propaga-
dor de lptons quase diagonal [65],
SCcd (x y) cd SC (x y),
>,<
ab (x y) = hab
>,<
(x y)S >,< (x y)PR + hab <,> (y x)S <,> (y x)PL , (3.19)
com h : = Y Y . Devido ao fato que as funes acima esto no equilbrio, vamos fazer uma
transformada de Fourier,
d4 p ip(xy) >,<
Z
F >,< (x y) = e F (p),
(2)4
onde definimos,
d4 q
Z
>,<
1 (p) : = >,< (q)S >,< (p q), (3.21a)
(2)4
d4 q
Z
<,>
2 (p) : = <,> (q)S <,> (q p). (3.21b)
(2)4
A partir dessa expresso para a autoenergia, podemos obter a funo espectral associada
a ela mediante,
> <
ab (p) = i ab (p) ab (p)
n o
= i 1 + ep0 > ab (p), (3.22)
onde utilizamos a relao KMS que cumpre a autoenergia uma vez que consideramos o
banho trmico em equilbrio. Utilizando > <
1 (p) = 2 (p) (ver apndice E) encontramos
uma expresso final para a funo espectral da autoenergia dos neutrinos pesados,
ab (p) = i {hab PL + hab PR } (p), (3.23)
3.3 Equaes de Evoluo para os Neutrinos 51
sendo
n o
(p) : = 1 + ep0 > 1 (p)
Z
= k/ (p; k, q), (3.24)
~k,~
q
+ fF B (k0 , q0 )(2)4 4 (p + k q) + 4 (p k + q) ,
(3.25)
sendo k0 = |~k|, q0 = |~q| as energias on-shell de lptons e Higgs, enquanto que p0 est
off-shell. Por outro lado, os fatores estatsticos dados por [72, 52, 53]
Notemos que esses fatores estatsticos so equivalentes aos fatores que aparecem no
termo de coliso da equao de Boltzmann,
t : = x 0 y0
t 0 : = z0 y0
fica
Z t
0
(i 0 t p~ ~ Maa )Gab (t; p~) dt0 0
ac (t t ; p
~)Gcb (t ; p~) = 0. (3.27)
0
Vamos aplicar a transformada de Laplace L [55, 54, 53, 52], definida segundo,
Z
dt est Gab
Gab (s; p~) : = L Gab (t; p~) = (t; p~),
0
Z
dt est
ab (s; p~) : = L ab (t; p~) = ab (t; p~),
0
Essas solues foram obtidas sem tomar nenhum tipo de aproximao. Porm, para o
caso que estamos estudando, devemos inverter a transformada de Laplace, o que no
ser simples se no considerarmos algum tipo de aproximao. necessrio lembrar
que
ab O((Y Y )ab ), assim, considerando apenas o termo dominante em O(h) nos
resultados anteriores, temos que4
C
Gaa = , (3.30a)
i 0 s p~ ~ Ma
aa
1
Gab = A1
aa ab Abb C , (3.30b)
ds sy
Z
Gab (t; p~) = e Gab (s; p~), (3.31)
CB 2i
Im s
s
Re s
CB
dp0 i
ab (p0 ; p
~)
Z
ab (s; p
~) = , (3.32)
2 is p0
isto permite ver que a autoenergia analtica no eixo real de s, mas possui descontinui-
dades no eixo imaginrio. Neste ponto til introduzirmos os propagadores avanado e
4
De novo, no h soma sob ndices repetidos.
54 Equaes de Kadanoff-Baym para Neutrinos de Mo Direita
retardado, mediante
R
ab (x, y) = (x0 y0 )ab (x, y), (3.33a)
A
ab (x, y) = (y0 x0 )
ab (x, y), (3.33b)
dp00 i 0 ~)
ab (p0 ; p dp00 i 0 ~)
ab (p0 ; p 1
Z Z
R,A
ab (p0 ) = =P (p00 ; p~), (3.34)
2 p0 p00 i 0
2 p0 p0 | 2 ab {z }
| {z }
ReR,A iImR,A
ab (p0 )
ab (p0 )
sendo P o valor principal de Cauchy. Devido ao fato que a funo espectral imaginria,
vemos que a parte real dos propagadores avanado e retardado so iguais, enquanto que
a parte imaginria de um deles igual a menos a do outro, e, alm disso, proporcional
funo espectral [55, 54, 53, 52]. Assim, comparando com a dupla transformao, de
Laplace e de Fourier, da autoenergia, encontramos as relaes
~) = R,A
ab (ip0 ; p ab (p0 ). (3.35)
R R i+ R i
Armados com essas relaes e tomando o contorno de Bromwich como CB i+ + i
obtemos a inversa da transformada de Laplace,
ds sy
Z
Gab (t; p~) = e Gab (s; p~)
CB 2i
Z
dp0 ip0 y n
o
= e Gab (ip0 + ; p~) Gab (ip0 ; p~)
2
Z
dp0 ip0 y
= e Gab (p), (3.36)
2
de onde definiu-se a transformada de Fourier no espao quadridimensional Gab (p), p =
p = (p0 , p~), segundo,
Gab (p) : = Gab (ip0 + ; p~) Gab (ip0 ; p~). (3.37)
Agora, vamos obter as expresses de Gab (p) para os casos das componentes na e fora da
diagonal a partir das expresses (3.30).
Componentes na Diagonal
Para as componentes na diagonal temos que
C C
Gaa (p) =
/ Ma
p
aa (ip0
+ ; p~) p / Ma
aa (ip0 ; p~)
C C
= R
. (3.38)
/ Ma aa (p) p
p / Ma A aa (p)
Neste ponto devemos nos preocupar com o processo de renormalizao. Sem entrar em
detalhes, podemos dizer que as condies de renormalizao so escolhidas de modo que
3.3 Equaes de Evoluo para os Neutrinos 55
tanto a parte divergente quanto a parte finita da parte real dos propagadores avanado e
retardado se anulem. Deste modo, s a parte imaginria ficar nas expresses,
C C
Gaa (p) = . (3.39)
/ Ma iImR
p aa (p) / Ma + iImR
p aa (p)
sendo pa 2 = |~
p|2 + Ma2 e definimos a largura mediante
p0 ap : = 2p ImR
aa (p)
= p i (p)
Z aa
= haa p k (p; k, q). (3.41)
~k,~
q
que corresponde funo espectral para frmions de Majorana, anloga a (2.94a) encon-
trada no caso de campos livres. Isto mostra a consistncia de nosso resultado.
onde o sinal depende da orientao da trajetria fechada C que envolve os polos da fun-
o, e o Resf (z0 ) corresponde aos resduos da funo avaliados no polos da mesma. Por
outro lado, utilizando que os Yukawas so muito pequenos, podemos tomar a aproxima-
o de largura fina: j que os yukawas so pequenos, consideramos a largura avaliada na
camada de massa,
A diferena deste resultado com o resultado livre aparece na exponencial que depende
da largura, isto consequncia da aproximao de largura fina [52, 53]. Notemos que
para este caso obtemos que a funo espectral possui a mesma estrutura que as obtidas
em [52, 53]. Isto se deve ao fato de termos considerado apenas o termo dominante de
ordem mais alta.
1 1
Gab (p) = R
Rab (p) R (p)
C
/ Ma aa (p)
p p
/ M b bb
1 1
+ A
ab (p) C, (3.45)
/ Ma A
p aa (p) / M b A
p bb (p)
1 1
Gab (p) = iImRab (p) C
p R
/ Ma iImaa (p) / Mb iImR
p bb (p)
1 1
R (p)
R
iImab (p) R
C. (3.46)
p
/ M a + iIm aa / Mb + iImbb (p)
p
p2 Ma2 p2 Mb2
Gab (p) = i ( p
/ + M a )i (p)(p/ + M b )C
(p2 Ma2 )2 + (p0 ap )2 ab
(p2 Mb2 )2 + (p0 bp )2
p2 Ma2 p2 Mb2
=i ab (p) 2 , (3.47)
(p2 2 2 a
Ma ) + (p0 p )2 (p Mb2 )2 + (p0 bp )2
onde definimos
ab (p) : =(p
/ + Ma )iab (p)(p
/ + Mb )C . (3.48)
(1,2)
sendo ab (pa,b ) = ab
(pa,b ; p~) avaliada nas energias on-shell pa,b . As funes ab (t) esto
dadas por
a
p a
p
(1) (a) (a)
ab (t) := (t)ab e 2
t
(t)ab e 2
t
, (3.50a)
b b
(2) (b) 2p t (b) p
t
ab (t) := (t)ab e (t)ab e 2 (3.50b)
com
(a) (a) Ma2 Mb2 ipa ap
ab = ab (pa , pb ) := , (3.51a)
(Ma2 Mb2 ipa ap )2 + (pa bp )2
(b) (b) Ma2 Mb2 ipb bp
ab = ab (pa , pb ) := , (3.51b)
(Ma2 Mb2 ipb bp )2 + (pb ap )2
Essas expresses apareceram na hora de fazermos as integrais por resduos.
Como vemos, para o caso das componentes fora da diagonal, as expresses so mais
complicadas que para as componentes na diagonal. Porm, elas carregam a informao
das possveis transies entre neutrinos, e como elas se vem afetadas pela forma das
(a,b)
matrizes de Yukawa, alm disso, os fatores ab vo caraterizar os limites ressonante e
hierrquico na assimetria leptnica, como veremos mais adiante. Tendo solucionado a
equao espectral, (3.44) e (3.49), podemos passar ao caso da funo estatstica.
(3.53)
a integral de memria denominada desse modo j que ao tomar a integrao desde t0 ,
podemos dizer que nela se lembra de tudo que aconteceu desde que o sistema comeou
a evoluir a partir do seu estado inicial, ou seja, na integral de memria esto os efeitos
+h
que fazem a TQCfE ser um formalismo no-markoviano. Por outro lado, Gab (x0 , y0 ; p~ )
corresponde soluo da equao homognea,
Z x0
0 +h
(i x0 p~ ~ Maa )Gab (x0 , y0 ; p~ ) dz0
ac (x0 , z0 ; p
+h
~)Gcb (z0 , y0 ; p~) = 0.
t0
Vamos determinar as duas partes da soluo separadamente.
6
Ver a demonstrao no apndice E
58 Equaes de Kadanoff-Baym para Neutrinos de Mo Direita
Integral de Memria
Para determinarmos a integral de memria
X Z x0 Z y0
+m
Gab (x0 , y0 ; p~ ) = dz0 dw0 Gac (x0 z0 ; p~)C+
cd (z0 w0 ; p
~)Gdb (w0 y0 ; p~),
c,d t0 t0
com
y0
d iz0 +
Z Z
G(z0 , y0 ; , p~) : = e aa (; p~) dw0 eiw0 Gaa
(w0 y0 ; p~).
2 0
+m +m (1) +m (2)
Gab (x0 , y0 ; p~ ) = Gab (x0 , y0 ; p~ ) + Gab (x0 , y0 ; p~ ), (3.62)
sendo7
!
+m (1) 1 ikab (kpa , lpb ) n
pb X a a
Gab (x0 , y0 ; p~ ) = a b tanh a b
(t)e(ikp p /2)t
8p p kp lp iab
2
k,l=1
b b a b 1 a b
o
+(t)e(ilp +p /2)t ei(kp x0 lp y0 ) 2 (p x0 +p y0 ) , (3.63a)
pc
X i n o
+m (2) (c) c c ijpc t cp /2|t| cp
Gab (x0 , y0 ; p~ ) = tanh ab (j p ) ab (j p )e e e
8pc 2
c=a,b
j=1
(3.63b)
7 (c) (c)
Escrevemos aqui ab (pc ) : = ab (pa , pb ) por simplicidade na notao. Ver as definies (3.51)
3.3 Equaes de Evoluo para os Neutrinos 61
sendo ab : = 21 (ap + bp ) e
(1 , 2 ) := 1 0 p~ ~ Mi i ~ ) 2 0 p~ ~ Mj C .
ij ij (2 ; p (3.64)
= 0, (3.65)
onde utilizamos que (0) = 12 . Assim, no tempo inicial no h efeitos de memria. Agora,
para tomarmos o limite , vamos considerar separadamente as duas partes da
+m (1)
integral de memria (3.62). Para o caso da parte Gab (x0 , y0 ; p~ ), reescrevemos o ltimo
termo de (3.63a) usando as definies de t e , segundo,
1 1 1
ei(kp x0 lp y0 ) 2 (p x0 +p y0 ) = ei[(kp lp )t 2 (kp +lp ) ] 2 [(p +p ) + 2 (p p )]
a b a b a b a b a b t a b
a b 1 a b
ei(kp x0 lp y0 ) 2 (p x0 +p y0 ) 0,
+m (2)
assim, vemos que Gab (p0 , ; p~ ) contribui a uma ordem superior (O(h2 )) e, portanto,
podemos desprezar sua contribuio no limite trmico. Em consequncia, possvel
afirmar que as condies iniciais e de universalidade so cumpridas pela integral de me-
mria das componentes fora da diagonal (3.62).
+ 1
Gab (x, y) = {hNa (x)Nb (y)i hNb (y)Na (x)i}
2
+ +
Gab (x, y) = Gba (y, x) ,
tomando a transformada de Fourier com relao s coordenadas espaciais, a propriedade
de simetria fica,
+ +
Gab (x0 , y0 , p~ ) = Gba p )T ,
(y0 , x0 , ~ (3.68)
onde o T indica a transposta com relao aos ndices de Dirac. Como veremos na seo
seguinte, a parte homognea construida de modo que cumpra a anterior propriedade
de simetria, logo, a integral de memria precisa cumprir a condio,8
+m +m
Gab (x0 , y0 , p~ ) = Gba p )T .
(y0 , x0 , ~
+m (1)
calculando Gba p )T encontramos que
(y0 , x0 , ~
a X
+m (1) 1 p ilab (kpa , lpb ) n a a
Gba (y0 , x0 , ~ T
p) = a b
tanh a b
(t)e(ikp p /2)t
8p p 2 kp lp iab
k,l=1
b b a b 1 a b
o
+(t)e(ilp +p /2)t ei(kp x0 lp y0 ) 2 (p x0 +p y0 ) , (3.69)
com
0
0
ab ( 1 , 2 ) := 1 p
~ ~
M a i ab (1 ; p
~ ) 2 p
~ ~
M b C . (3.70)
+m (2)
Por outro lado, ao calcular Gba p )T possvel verificar que a segunda parte
(y0 , x0 , ~
da integral de memria (3.63b) cumpre a propriedade de simetria (3.68). Assim, temos
que a integral de memria para as componentes fora da diagonal dada por
c
+m
X i p (c) c c ikpc t
n
cp /2|t| cp
o
Gab (t, , p~ ) = tanh ab (k p )ab (kp )e e e
8pc 2
c=a,b
k=1
i X 1 n a a b b
a b a b
(t)e(ikp p /2)t + (t)e(ilp +p /2)t
16p p kp lp iab
k,l=1
a b 1 a b
o
ei(kp x0 lp y0 ) 2 (p x0 +p y0 )
" a !#
b
p p
lab (kpa , lpb ) tanh + kab (kpa , lpb ) tanh
2 2
(3.71)
Soluo homognea
Resolvemos agora a equao para a parte homognea
Z x0
+h
(i 0 x0 p~ ~ Maa )Gab (x0 , y0 ; p~ ) dz0
ac (x0 z0 ; p
+h
~)Gcb (z0 , y0 ; p~) = 0. (3.72)
0
Olhando a estrutura dessa equao, vemos que idntica equao que cumpre a funo
espectral, logo, vamos supor o seguinte ansatz,
+h
Gab (x0 , y0 ; p~ ) = Gac (x0 ; p~ )Lcb (y0 ; p~ ), (3.73)
com Lcb (y0 ; p~ ) uma funo a determinar. claro que este ansatz cumpre a equao,
Z x0
0
(i x0 p~ ~ Maa )Gac (x0 ; p~ ) dz0 ad (x0 z0 ; p~)Gdc (z0 ; p~ ) Lcb (y0 ; p~ ) = 0.
| {z 0 }
=0
(3.74)
Para determinarmos a funo Lcb (y0 ; p~ ), devemos aplicar a propriedade de simetria (3.68)
que possue a funo estatstica. Deste modo, fazendo as substituies x0 y0 e a b na
equao homognea temos que,
Z x0
0 +h
(i x0 p~ ~ Mbb )Gba (x0 , y0 ; p~ ) dz0
bc (y0 z0 ; p
+h
~)Gcba (z0 , x0 ; p~) = 0.
0
cuja soluo
+h
Gba (y0 , x0 ; p~ ) = Gbd (y0 ; p~ )Lda (x0 ; p~ ),
assim, a partir da propriedade (3.68), podemos encontrar uma relao entre Lcb (y0 ; p~ ) e
Lda (x0 ; p~ )
Gbd p )T Gca
(y0 ; p~ )Lda (x0 ; p~ ) = Lbc (y0 ; ~ p )T ,
(x0 ; ~
64 Equaes de Kadanoff-Baym para Neutrinos de Mo Direita
como vemos, as funes L e L devem ser proporcionais s funes Gab (y0 ; p~ ), Gab (x0 ; p~ )
respectivamente, logo, escolhemos,
Lcb (y0 ; p~ ) = Mcd (0, 0; p~ )Gdb p )T
(y0 ; ~
p )T Gca
Lda (x0 ; p~ ) = Mdc (0, 0; ~ p )T ,
(x0 ; ~
+h
Gab (x0 , y0 ; p~ ) = Gac (x0 ; p~ )Mcd (0, 0; p~ )Gcb p )T .
(y0 ; ~
Notando que as solues para a funo espectral cumprem a condio Gab (x0 ; p~ )T =
Gba (x0 ; ~
p ), temos que a soluo homognea fica,
+h
Gab (x0 , y0 ; p~ ) = Gac (x0 ; p~ )Mcd (0, 0; p~ )Gcb (y0 ; p~ ). (3.75)
Nas referncias [53, 52] se escreve a matriz Mcd (0, 0; p~ ) do seguinte modo
+h
Mcd (0, 0; p~ ) = C 0 Gcd (0, 0; p~ ) 0 C , (3.76)
+h
sendo Gcd (0, 0; p~ ) uma matriz antisimtrica que corresponde s condies iniciais. Va-
mos escolher o caso em que no h neutrinos de mo direita em x0 = y0 = 0, ou seja,
vamos considerar uma abundncia inicial nula, o que se equiparar a condies iniciais
de vcuo. Tais propagadores de vcuo podem se obter a partir daqueles no equilbrio ao
tomar o limite [65]
+h Ma p~ ~
Gab (0, 0; p~ ) = C ab . (3.77)
2pa
+h Mc p~ ~ 0
Gab (x0 , y0 ; p~ ) = Gac (x0 ; p~ )C 0 Gcb (y0 ; p~ ). (3.78)
2pc
Com tem sido feito at agora, vamos considerar o termo dominante nessas expresses,
separando para o caso das componentes na e fora da diagonal. Para o primeiro caso,
teremos que o termo dominante (no h soma)
+h Ma p~ ~ 0
Gaa (x0 , y0 ; p~ ) = Gaa (x0 ; p~ )C 0 Gaa (y0 ; p~ )
2pa
a
Ma p~ ~
1 p
= 0 a
i sin p (x0 y0 ) a
cos p (x0 y0 ) e 2 (x0 +y0 ) C ,
a
2 p
(3.79)
3.3 Equaes de Evoluo para os Neutrinos 65
+h Ma p~ ~ 0
Gab (x0 , y0 ; p~ ) = Gaa (x0 ; p~ )C 0 Gab (y0 ; p~ )
2pa
Mb p~ ~ 0
Gab (x0 ; p~ )C 0 Gbb (y0 ; p~ )
2pb
X i n (c) (c)
o
c ipc t c ipc t c
= c
ab (
ab p )e + ab ab (p )e ep
8p
c=a,b
1 a b
i e 2 (p x0 +p y0 ) X n
(a)
a b
(k a
p + l b
p ) kab (k pa , lpb ) a b
ab (kp , lp )
16p p
k,l=1
o
(b) a b
+l ab (kpa , lpb )ab (kpa , lpb ) ei(kp x0 lp y0 ) .
(3.80)
Componentes na diagonal
a a
Ma p~ ~ p
a a 1 p
+
Gaa (t, ; p~) = i 0
sin pa t cos pa t fF (p )e p
tanh e 2 |t| C ,
pa 2 2
(3.81)
pb
tanh 2 ikab (kpa , lpb )
a
p bp
(ikpa + (ilpb
X
+ )t )t
Gab (t, ; p~) = (t)e 2 + (t)e 2
8p pb
a kpa lpb iab
k,l=1
1 a b
i e 2 (p x0 +p y0 ) X a b
a b
(kpa + lpb )ei(kp x0 lp y0 ) ab (kpa , lpb ),
16p p
k,l=1
c c
p
X i (c)
c c ijpc t 2p |t| c cp
+ (jp ) ab (jp )e tanh e + 2fF (p )e
8pc ab 2
c=a,b
j=1
(3.82)
sendo
a
p
(a) (4)
ab (kpa , lpb ) : = a b
kab (kp , lp ) l tanh ab (kp , lp )
a b a b
ab (kp , lp )+
2
! !
(b) a b
pb (4) a b
l ab (kp , lp ) k tanh ab (kp , lp ) ab (kpa , lpb ), (3.83)
2
e
(4) 1
ab (pa , pb ) := . (3.84)
Ma2 Mb2 i(pa ap + pb bp )
tanto no tempo quanto nos momentos e massas dos neutrinos. claro que para obtermos
tais solues s supomos que os acoplamentos de Yukawa dos neutrinos de mo direita
so muito menores que os outros acoplamentos presentes no Modelo Padro. Porm,
ainda necessrio introduzir a expanso do Universo para ter uma descrio que possa
ser considerada como completa. O que foi desenvolvido at aqui pode ser considerado
como um dos passos iniciais para lograr o objetivo de ter uma descrio completa da lep-
tognese.
4.1 Introduo
A segunda parte do esquema para a descrio da leptognese no formalismo da
TQCfE consiste em determinarmos a evoluo de uma quantidade que carregue a infor-
mao da assimetria leptnica a partir das funes espectral e estatstica dos neutrinos
de mo direita fora do equilbrio obtidas no captulo anterior, cap. 3. Como veremos a
seguir, essa quantidade, que corresponder a carga conservada de Noether, vai depender
das funes espectral e estatstica associadas aos lptons ativos do MP, logo, o que deno-
minaremos assimetria leptnica vai evoluir segundo a dinmica descrita pelas equaes
de Kadanoff-Baym para lptons.
Uma considerao importante que vamos levar em conta que as condies de Sakha-
rov precisam ser obedecidas sem importar o formalismo que seja utilizado na descrio
da gerao e evoluo de assimetria. Portanto, no presente captulo, vamos aplicar es-
sas condies para simplificar os resultados. Alm disso, vamos considerar um ansatz
que tem sido utilizado na literatura para descrever de modo formal como o comporta-
mento do banho trmico atravs de uma modificao das funes espectral e estatstica
dos campos livres de escalares e frmions, obtidas no captulo 2.
ser conservada, j que os processos que geram novos lptons em um sistema fechado
esto em equilbrio trmico com aqueles que os aniquilam, de forma que no haver mu-
dana lquida do nmero leptnico. Deste modo, o valor esperado da corrente acima vai
dar conta das possveis variaes produzidas por efeitos que mudem a quantidade de
lptons.
+ i
SCba (x, y)AA |x=y = Sba (x, y)AA |x=y sgn (x0 y0 ) Sba (x, y)AA |x=y ,
2 | C {z }
0
+
SCba (x, y)AA |x=y = Sba (x, y)AA |x=y , (4.3)
logo, vemos que a informao do valor esperado da corrente est contida no propagador
estatstico associado aos lptons. Em presena de termos que violam nmero leptnico,
temos que a divergncia da corrente 4.2 no nula, logo
Deste modo, a divergncia da corrente ser a quantidade que estudaremos para deter-
minarmos a gerao e evoluo da assimetria leptnica. Assim, devido apario do
propagador fora do equilbrio podemos relacionar a quadri-divergncia anterior com as
equaes de Kadanoff-Baym, como veremos a seguir.
[, S, G]
= 0,
SCba (y, x)BA
i/x SCab (x, y)AB i(C SC )ab (x, y)AB = iC4 (x y)ab AB , (4.5)
4.3 Assimetria Leptnica e Equaes de Kadanoff-Baym 69
onde a autoenergia definida a partir da contribuio 2PI do modo similar ao caso dos
neutrinos, [65]
2 [, S, G]
iab AB
C (x, y) : = .
SCba (y, x)BA
+ 1 Dh A iE
Sab (x, y)AB : = la (x), lbB (y) , (4.6a)
2Dn oE
Sab (x, y)AB : = i laA (x), lbB (y) . (4.6b)
Fazendo uso das equaes de Kadanoff-Baym escritas anteriormente, temos que a diver-
gncia do valor esperado da corrente fica,
+ +
x (jab ) (x) = i Tr{i/x Sba (x, y)AA + Sba (x, y)AA /y }|x=y
Z x0 Z y0
= i Tr d4 z bc (x, z) AC +
Sca (z, y) CA
d4 z +
bc (x, z)
AC
Sca (z, y)CA
0 0
Z x0 Z y0
4 + AC CA 4 AC + CA
+ d z Sbc (y, z) ca (z, x) d z Sbc (y, z) ca (z, x) .
0 0 x=y
(4.9)
Assim, j que o sistema homogneo no espao tridimensional temos que x jab (x) =
x0 j0ab (x0 ), ou seja, a divergncia s ter dependncia no tempo [65], definimos a assime-
tria leptnica como
0 0
nL
ab (x0 ) : = jab (x0 ) = hjab (x0 )i. (4.10)
70 Assimetria Leptnica na TQCfE
2 [, S, G]
iab AB
C (x, y) : = ,
SCba (y, x)BA
As componentes espectral e estatstica podem ser obtidas do mesmo modo que nos casos
anteriores. Elas so dadas por
+ +
ab (x, y) = 2Yad Ycb (y, x)PR Gcd (x, y)CPL (y, x)PR Gcd (x, y)CPL , (4.18a)
1
+ + +
ab (x, y) = 2Yad Ycb (y, x)PR Gcd (x, y)CPL + 4 (y, x)PR Gcd (x, y)CPL . (4.18b)
d3 p~ d3~k
Z Z Z t Z t
3 3 ~
nL
ab (t; ~
q) = 2iYbd Yca (2) (k p~ + ~q) dx0 dy0
(2)3 (2)3 0 0
n
Tr PR Gcd+
(x0 , y0 ; p~)CPL (y0 , x0 ; ~k)S + (y0 , x0 ; ~q)
PR Gcd (x0 , y0 ; p~)CPL + (y0 , x0 ; ~k)S + (y0 , x0 ; ~q)
+ PR G + (x0 , y0 ; p~)CPL + (y0 , x0 ; ~k)S (y0 , x0 ; ~q)
cd
1 ~
+ PR Gcd (x0 , y0 ; p~)CPL (y0 , x0 ; k)S (y0 , x0 ; ~q . (4.19)
4
Queremos aqui calcular a assimetria total sem considerar possveis efeitos de sabor, para
isso, tomamos a soma das componentes na diagonal,
X
nL (t; ~q) : = nL
aa (t; ~
q ),
a
Esta ser a quantidade que vamos estudar e comparar com os resultados obtidos com
a equao de Boltzmann. Antes disso, porm, podemos simplificar ainda mais nosso
resultado ao considerarmos as condies de Sakharov.
nas matrizes de Yukawa que consideramos complexas. Porm, no caso das componentes
diagonais, temos que a assimetria proporcional a
X
X
nL (t; ~q) Yab Yba Gbb (x0 , y0 ; p~) = hbb Gbb (x0 , y0 ; p~), (4.20)
a,b b
sendo a matriz h definida por h : = Y Y . Assim, j que por definio haa = haa , as com-
ponentes diagonais no contribuiro para a assimetria, pois no geram violao de CP
[65]. Portanto, no consideraremos as componentes diagonais na assimetria.
Por outro lado, a condio de desvio do equilbrio implica que no devemos conside-
rar os termos de equilbrio [55, 52], dados pelo propagador espectral,
Gab (x0 y0 ; p~)
d3 p~ d3~k t t
Z Z Z Z
(2)3 3 (~k p~ + ~q)
X
nL (t; ~q) = 2i hba dx0 dy0
(2)3 (2)3 0 0
a,b
a6=b
n h
+
Tr PR Gab (x0 , y0 ; p~)CPL (y0 , x0 ; ~k)S + (y0 , x0 ; ~q)
io
++ (y0 , x0 ; ~k)S (y0 , x0 ; ~q) . (4.21)
parece fornecer resultados corretos, sua validade ainda no foi demonstrada. Para isso
precisariamos determinar os propagadores no equilbrio com as interaes de gauge do
Modelo Padro [53, 52]. Contudo, vamos utilizar este ansatz na presente discusso.
4.3 Assimetria Leptnica e Equaes de Kadanoff-Baym 73
Por outro lado, a parte fora do equilbrio dos propagadores (ver (3.82))
X i (c) c 1 c
+
Gab (x0 , y0 ; p~) = c
fF (pc )ab (lpc )ab (lpc )eilp (x0 y0 ) e 2 p (x0 +y0 )
4p
c=a,b
l=1
1 a b
i e 2 (p x0 +p y0 ) X a b
a b
(kpa + lpb )ei(kp x0 lp y0 ) ab (kpa , lpb ), (4.26)
16p p
k,l=1
d3 p~
Z Z Z n o
3 3 ~ 1 ~k) n2 (t; p~, ~q, ~k) ,
nL (t) = (2) (k p
~ + ~
q ) n L (t; p
~ , ~
q , L (4.27)
(2)3 ~k q~
com
X X ihba n o
n1L = mnf F B (mq , nk )(j a
p + rp
b
) Tr P R ab (j a
p , r b
p )CPL q
/ I1
8pa pb m
a,b j,r=1
a6=b m,n=1
(4.28a)
X X ihba c (c)
n o
n2L = nmf F B (mq , nk )fF ( )
p ab (j c
p ) Tr P R ab (j c
p )CP L q
/ I2 ,
2pc m
a,b c=a,b
a6=b j,m,n=1
(4.28b)
2
Na derivao deste resultado utilizou-se que a funo fF B (q , k ) avaliada nas possveis energias
de partculas e antipartculas se relacionam com fF B (q , k ), fF B (q , k ). Por exemplo, temos a relao
fF B (q , k ) = fF B (q , k ).
74 Assimetria Leptnica na TQCfE
Essas integrais podem ser feitas de modo analtico sem problema nenhum. Contudo,
devemos notar que estamos interessados em tempos t 1a , pois queremos estudar a
p
dinmica que gera a assimetria e ela ocorre nesses tempos [65]. Assim, razovel consi-
derar o limite
l t 1.
(4.30a)
( )
l jn jm cp t
1
I2 = 1 e Re . (4.30b)
cp (jpc mq nk icp /2)2 + 2l
As deltas de Kroneker aparecem devido ao fato que os termos so suprimidos para, por
exemplo na primeira integral, j 6= r, j 6= n, j 6= m, j que s no caso em que sejam iguais
o termo fica da ordem desejada, pois a integrao nos momentos vai restringir os valores
dos momentos queles em que a energia conservada [52, 53, 65]. Deste modo, os dois
termos que compem a assimetria ficam,
X X ihba n o
n1L = fF B (q , k )(p
a
+ p
b
) Tr P R ab (j a
p , jp
b
)CP L q
/ I1 (4.31a)
8pa pb j
a,b j1
a6=b
X X ihba n o
c (c)
n2L = jf F B (q , k )fF ( p ) ab (j c
p ) Tr P R ab (j c
p )CP L q
/ I2 , (4.31b)
2pc j
a,b c=a,b
a6=b j=1
sendo
(
ijl n
ijt(pa pb ) ab t
o 1
I1 = b 1 e e
p pa + ijab (pa q k )2 + 2l
)
1
+ b , (4.32a)
(p q k )2 + 2l
( )
l c 2
I2 = c 1 ep t , (4.32b)
p (p q k )2 + 2l
c
ab (jpc ), podemos calcular os traos. Para isto, podemos primeiro simplificar as expres-
ses
com p/aj : = jpa 0 p~ ~ e (jpa ) avaliado na energia on-shell jpa . Neste ponto devemos
notar que os termos proporcionais a hba no contribuem para a assimetria j que
X X
nL (t) hba hba = |hba |2 ,
a,b a,b
a6=b a6=b
logo, j que |hba |2 real, estes termos no contribuiro para a assimetria CP. Assim, temos
que
sendo
Z Z
(jpa ) qj = k qj (p; k, q 0 )|jpa .
~k q~0
As integrais que aparecem em (jpa ) qj podem ser avaliadas para as energias on-shell
jpa e so dadas por (ver apndice F)
com
p~ ~q a p~ ~q 2
1
(pa ) q+ = [p0 q a
]J + a
Ma J0 , (4.36)
8 2 p20 p0 p 1 p0
sendo p0 : = |~
p|, q : = |~q| e
z+
1 1
Z
Jna : = dz z n 1 + (4.37)
z ez + 1 epa z 1
76 Assimetria Leptnica na TQCfE
2pa pb
pab : = ,
pa + pb
nas componentes (4.31), encontramos a expresso final para a assimetria leptnica que
depende do tempo
d3 p~
Z Z
p ~k ~q)fF B (q , k )
X
nL (t) = Im(h2ba )Ma Mb (2)3 3 (~
(2)3 ~k,~
q
a,b
a6=b
X 1 ecp t l n o
c c (c)
2 c c c 2 2 fF (p ) (p ) q + Re ab
p p (p q k ) + l
c=a,b
( )
1 l l
ab +
2p (pa q k )2 + 2l (pb q k )2 + 2l
onde escrevemos a parte que contribui assimetria CP, dada pela parte imaginria de h.
A assimetria possui duas partes; a primeira parte d conta das contribuies individuais
dos neutrinos Na,b , que denominamos termo tipo Boltzmann; a segunda parte d conta da
contribuio assimetria leptnica produzida pelas possveis oscilaes entre os neutri-
nos de mo direita Na Nb e o demominamos contribuio oscilatria. Por outro lado,
devemos mencionar que as funes
!
(a,b) (a,b) (4) pa,b
fab (pa,b ) : = ab ab tanh ,
2
servem como funes de distribuio anlogas a fF (pa,b ), embora sejam modificadas pela
(a,b)
presena dos fatores ab .
Notemos que a assimetria anterior foi obtida sem considerar nenhuma condio com
relao s massas. Porm, em geral, interessante estudar duas possveis situaes, os
casos hierrquico e degenerado, similares aos apresentados no captulo de leptognese
padro, cap 1. A seguir, apresentamos esses dois limites da assimetria leptnica (4.38).
Limite Hierrquico
do termo oscilatrio suprimida com relao ao termo de Boltzmann. Assim, temos que
M1 d3 p~
Z Z
p ~k ~q)fF B (q , k )
X
nL (t, ) 4Im(h21b ) (2)3 3 (~
Mb (2)3 ~k,~
q
b=2,3
( 1
)
1 ep t l
fF (p1 ) (p1 ) q+ , (4.39)
p p (p q k )2 + 2l
1 1 1
Limite Degenerado
Para o caso degenerado, supomos que |Ma Mb | Ma,b , logo, podemos tomar que
pa pb , enquanto que as larguras permaneces diferentes, ap 6= bp , pois, em geral, os
Yukawas so diferentes. Ao considerarmos este limite, obtemos a assimetria
d3 p~ Ma Mb
Z Z
p ~k ~q)(1 fF (q ) + fB (k ))
X
nL (t, ) 8 Im(h2ba ) (2)3 3 (~
(2)3 pa ~k,~
q
a,b
a6=b
l
(pa ) q+
q k )2 + 2l
(pa
)
(i(pa pb )+ab )t
(
X 1 ecp t n o 1e
a (c) a
fF (p ) Re ab Re f (
ab p ) ,
cp ab + i(pa pb )
c=a,b
(4.40)
com
pa
(a) (b) (4)
fab (pa ) : = ab + ab 2ab tanh .
2
Com os limites hierrquico (4.39) e degenerado (4.40) temos agora a assimetria leptnica
(4.38) nos dois limites interessantes que so considerados na literatura. Porm, ainda po-
demos fazer uma comparao da assimetria (4.38) com os resultados que seriam obtidos
considerando a evoluo com a equao de Boltzmann. Na prxima seo consideramos
esta comparao.
(2)4 4
Z n n o
2 M( l Na )2
t fNa (t, p~ ) = (p k q) f fl (1 fN a ) |M(l Na )| +
~k,~
q 2pa
n 2 oo
(1 + f )(1 fl )fNa |M(Na l)|2 + M(Na l)
.
(4.41a)
3 Z
(2)4 4 n
(p k q) (1 + f )(1 fl )fNa |M(Na lb )|2
X
t flb (t, ~q ) =
~,~k
p 2q
a=1
o
f fl (1 fNa ) |M(lb Na )|2 , (4.41b)
78 Assimetria Leptnica na TQCfE
d3 ~q
Z
nB
L (t) = fL (t, ~q )
(2)3
3
4pa q
Z
a
X
(2)4 4 (p k q) fF D (pa )fF B (q , k ) 1 ep t . (4.44)
= a haa a
p~,~k,~
q p
a=1
Limite Hierrquico
d3 p~
Z
nKB
L (t, ) = nKB (t, p~ , ) (4.46)
(2)3 2p1 L
sendo
a
pt
2 Ma 1 e
X
nKB
L (t, p
~ , ) = Im(hab ) fF (pa )a , (4.47)
Mb ap
a,b
a<b
com
q+ u
l
Z Z
a = dq du fF B (q , k ) (pa ) q+ . (4.48)
q u+ (pa q k )2 + 2l
Limite Degenerado
1 e(i(p p )+ab )t a
( a b
))
Re fab (p ) . (4.50)
ab + i(pa pb )
80 Assimetria Leptnica na TQCfE
com
3
X a haa a
nB
L (t, p
~ , ) = a
1 ep t fF D (pa )B
a, (4.52)
p
a=1
e o fator B
a dado por
Z q+ Z u
B
a = dq du fF B (q , k )2(pa q k ) 4pa q+
q u+
Ma2
= Ja (4.53)
16p0 0
Como vemos, neste caso, a assimetria tem uma forma muito mais simples e s de-
pende da integral J0a dada em (4.37).
Comparao Numrica
Para compararmos graficamente os dois resultados, necessrio resolver numerica-
mente as integrais presentes na assimetria calculada no contexto da TQCfE, porm, se-
guindo o feito na referncia [65] e com fins puramente ilustrativos, no vamos levar em
conta a largura de lptons e Higgs ao considerarmos a substituio
l
2(pa q k ).
(pa q k )2 + 2l
Assim, para incluirmos a largura do banho trmico, vamos ter que multiplicar o resul-
tado de Kadanoff-Baym por um fator dependente do momento e da temperatura. Nas
figuras (4.1(a)), (4.1(b)) e (4.1(c)) ilustramos a dependncia da razo entre os resultados
de Kadanoff-Baym considerando ou no a largura do banho trmico l
em termos do momento, tempo e temperatura. Nesses grficos vemos que tal razo no
depende muito do tempo, mas, a dependncia na temperatura e no momento bastante
importante, j que para momentos pequenos e para temperaturas grandes, a incluso da
largura do banho trmico diminui substancialmente o resultado obtido na TQCfE.
4.4 Comparao com Boltzmann 81
30
25
20
n LKB n LKBH G_lL
15
10
0
10 -2 10 -1 10 0 101
p
M1
(a) Momento
2.2983
2.2982
n LKB n LKBH G_lL
2.2981
2.2980
2.2979
10 -2 10 -1 10 0 101
t G1p =0
(b) Tempo
35
30
25
n LKB n LKBH G_lL
20
15
10
10 -2 10 -1 10 0 101 10 2
M1
(c) Temperatura
1p p0, = 0.01M1 ,
(4.54a)
2p p0, = 0.0125M1 ,
(4.54b)
3p p0, = 0.015M1 ,
(4.54c)
Por outro lado, para as componentes da diagonal escolhemos em primeiro lugar que
isto permite ter certa independncia da estrutura da matriz de Yukawa, como veremos
mais adiante. Por outro lado, igualmente ao feito anteriormente, vamos a separar os
casos hierrquico e degenerado na discusso a seguir.
Caso hierrquico
com X = KB, B, como funo do momento, normalizado com relao massa do neu-
trino de massa menor N1 , para uma temperatura T = M1 e um tempo muito grande
t [65]. Fazemos um grfico com a razo entre as assimetrias para podermos ava-
liar as possveis diferenas entre os dois formalismos sem dependermos da estrutura da
matriz de Yukawa4 . Por outro lado, na figura (4.3) se apresenta a dependncia no tempo
para um momento igual massa do neutrino N1 para a razo
1
nXL (t, = M1 , p = M1 )
1 ,
nB
L (t = , = M1 , p = M1 )
ou seja, razo est normalizada de modo que o resultado de Boltzmann tende a um para
tempos grandes. Devemos mencionar que estes grficos esto feitos com relao ao par-
metro adimensional tlimp0 1p . Finalmente, apresentamos na figura (4.4) a dependncia
da razo
nXL (t = , , p = M1 )
1 ,
nB
L (t = , = M1 , p = M1 )
na temperatura de modo que, para o caso da assimetria obtida com Boltzmann, a razo
sempre igual a um.
3
Essa escolha nas larguras feita somente com fins de ilustrao, no tem relao nenhuma com dados
experimentais
4
claro que ao fazermos a suposio (4.55) estamos escolhendo uma estrutura para a matriz de Yukawa,
porm, para o caso hierrquico verificamos que os resultados no mudam quando supomos que h12 6= h13 6=
h23 .
4.4 Comparao com Boltzmann 83
2.0
Kadan off -Baym
Boltzm an n
1.5
n LXH p L n LBH M1L
1.0
0.5
0.0
10 -2 10 0 10 2 10 4
p
M1
Boltzm an n
1.5
n LXH p L n LBH M1L
1.0
0.5
0.0
10 -2 10 0 10 2 10 4
p
M1
Boltzm an n
1.5
n LXH t L n LBHL
1.0
0.5
0.0
10 -2 10 -1 10 0 101
t G1p =0
Boltzm an n
1.5
n LXH t L n LBHL
1.0
0.5
0.0
10 -2 10 -1 10 0 101
t G1p =0
Boltzm an n
40
n LXH L n LBH L
30
20
10
0
10 -1 10 0 101
M1
40
Boltzm an n
30
n LXH L n LBH L
20
10
0
10 -1 10 0 101
M1
Caso degenerado
nXL (t, , p)
,
nL (t = , = M11 , p = M1 )
B
com X = KB, B. Analisando estes resultados, vemos que ocorre algo similar ao caso hi-
errquico, pois o resultado da TQCfE mais significativo que o resultado de Boltzmann.
Alm disso, vemos que tanto na dependncia no momento, fig (4.5), e no tempo, fig (4.6),
h uma diferena fundamental com o resultado de Boltzmann, a contribuio do termo
oscilante. Isto fcil de ver pois o resultado de Kadanoff-Baym apresenta um compor-
tamento oscilatrio, o que mostra como a TQCfE leva em conta este tipo de fenmeno
quntico. Agora, podemos perguntar se este comportamento mantido ao mudarmos a
temperatura. Por esta razo estudamos a dependncia com a temperatura para o espec-
tro mais degenerado, M2 = 1.25M1 e M3 = 1.5M1 , para duas temperaturas diferentes,
T = 0.5M1 e T = 0.3M1 , fig (4.8). Vemos que o resultado de Kadanoff-Baym fica menor
ao diminuirmos a temperatura, mas, ainda apresenta o comportamento oscilante.
4 Boltzm an n
3
n LXH p L n LBH M1L
10 -2 10 0 10 2 10 4
p
M1
Boltzm an n
8
n LXH p L n LBH M1L
10 -2 10 0 10 2 10 4
p
M1
2.5
2.0
n LXH t L n LBHL
1.5
1.0
0.5
0.0
10 -2 10 -1 10 0 101
t G1p =0
Boltzm an n
4
3
n LXH t L n LBHL
10 -2 10 -1 10 0 101
t G1p =0
- 20
n LXH L n LBH L
- 40
- 60
Kadan off -Baym
Boltzm an n
- 80
-100
10 -2 10 -1 10 0
M1
Boltzm an n
15
n LXH L n LBH L
10
10 -2 10 -1 10 0
M1
Boltzm an n
2.0
1.5
n LXH t L n LBHL
1.0
0.5
0.0
10 -2 10 -1 10 0 101
t G1p =0
(a) T = 0.5M1
2.5
Boltzm an n
2.0
n LXH t L n LBHL
1.5
1.0
0.5
0.0
10 -2 10 -1 10 0 101
t G1p =0
(b) T = 0.3M1
lizao porque quando fizemos tal processo desprezamos a parte finita da parte real da
componente espectral da autoenergia. Isto pode fazer com que o resultado v para uma
constante e no para zero. Alm disso, quando a temperatura fica menor que a massa
M1 , o nosso resultado no est coincidindo com o resultado de Boltzmann mas est indo
para uma constante, o que faz com que a razo divirja, pois o resultado de Boltzmann vai
para zero. Isto tambm produto no equvoco no processo de Renormalizao. Ainda
estamos estudando este problema.
Por outro lado, devemos notar que o anterior resultado es bastante dependente, como
era de se esperar, da estrutura da matriz de Yukawa, j que se no considerarmos a su-
posio (4.55), mas tomarmos que
i
h12 = h11 e 4 , (4.56a)
3i
h13 = h11 e 5 , (4.56b)
5i
h23 = h11 e 3 , (4.56c)
por exemplo, o resultado (4.6(a)) muda ao resultado mostrado na figura (4.9), que bas-
tante diferente.
0
n LXH t L n LBHL
-1
-2
-3
Kadan off -Baym
Boltzm an n
-4
10 -2 10 -1 10 0 101
t G1p =0
apresentamos a seguir grficos dos resultados para dois casos que cumprem a condio
de ressonncia, figura (4.10). Em um dos grficos do caso de ressonncia aparece uma
assimetria final negativa, mas isto no um problema, pois o sinal da assimetria ir-
relevante j que uma assimetria negativa indicaria que h mais antilptons que lptons,
mas, a definio de partcula e antipartcula questo de escolha. O caso da fig (4.10(a))
mostra que possvel que haja cancelamento entre os dois termos da assimetria (4.38),
pois, para o espectro M2 = 1.019M1 , M3 = 1.038M1 , possvel ver que os dois termos fi-
quem da mesma ordem, ver fig (4.11), o que faz que o resultado de Kadanoff-Baym fique
suprimido com relao ao resultado de Boltzmann em certas regies. Na figura (4.10(b)),
vemos que a contribuio do termo oscilatrio dominante sobre a contribuio do termo
de Boltzmann, j que a diferena das massas pequena comparada com a largura, o que
faz que o termo oscilante vire dominante.
com X = nosso resultado, Garny et al. e Boltzmann obtido daquela referncia. Alm
disso, vamos escolher
1p p0, = 0.01M1 ,
(4.57a)
2p p0, = 0.015M1 .
(4.57b)
-5
n LXH t L n LBHL
-10
-15
Kadan off -Baym
Boltzm an n
10 -2 10 -1 10 0 101
t G1p =0
-10
n LXH t L n LBHL
- 20
- 30
Boltzm an n
10 -2 10 -1 10 0 101
t G1p =0
Con t . Boltzm an n
30
Con t . Oscilatria
25
20
15
10
0
10 -2 10 -1 10 0 101
t G1p =0
1.0
N =3
Garn y et al, 2013
Boltzm an n
0.8
0.6
n LXH t L n LBHL
0.4
0.2
0.0
10 -2 10 -1 10 0 101
t G1p =0
(a) Tempo
1.0
0.8
n LXH L n LBH L
0.6
0.4
N=3
0.2
Garny et al , 2013
Boltzm ann
10 -2 10 -1 10 0 101
M1
(b) Temperatura
Figura 4.12: Comparao com os resultados de Garny et al. (linha verde cheia), Boltz-
mann (linha tracejada) e N = 3 para o caso hierrquico para momento p = M1 .
96 Assimetria Leptnica na TQCfE
1.0
N=3
Garny et al , 2013
Boltzm ann
0.8
0.6
n LXH t L n LBH L
0.4
0.2
0.0
10 -2 10 -1 10 0 101
t G 1p =0
(a) Tempo
N=3
1.5
Garny et al , 2013
Boltzm ann
1.0
n LXH L n LBH L
0.5
0.0
10 -1 10 0
M1
(b) Temperatura
Figura 4.13: Comparao com os resultados de Garny et al. (linha verde cheia), Boltz-
mann (linha tracejada) e N = 3 para o caso degenerado em que M2 = 1.5M1 para mo-
mento p = M1 .
CAPTULO 5
CONCLUSES E PERSPECTIVAS
Deste modo, no segundo captulo descrevemos de forma geral tal formalismo, a Teoria
Quntica de Campos fora do equilbrio trmico. Para isso, depois de colocarmos o problema
da TQCfE, vimos como necessrio modificar a descrio feita na TQC usual, tempe-
ratura zero, j que o teorema de Gell-MannLow no satisfeito em uma teoria fora do
equilbrio trmico. Assim, estudando a evoluo temporal do valor mdio de um opera-
dor, introduzimos o contorno de Kadanoff-Baym, que pode ser descrito como um contorno
no plano complexo do tempo tal que comea em algum tempo inicial t0 , vai a infinito do
eixo real e volta ao mesmo tempo inicial. Este contorno possui essa forma pois os pro-
blemas de sistemas fora do equilbrio so problemas de valores iniciais, cujos estados
iniciais precisam ser no trmicos, para assegurar condies fora do equilbrio. Assim,
a modificao principal com relao TQC usual que todas as dependncias tempo-
rais na TQCfE devem ser definidas no contorno de Kadanoff-Baym. Por outro lado, a
TQCfE vai estudar as funes de n-pontos dos campos e estas quantidades vo ser fun-
damentais na descrio. Agora, devido ao contorno, vo existir duas funes de Green
independentes, a funo espectral, correspondente ao valor esperado do (anti)comutador
dos campos para (frmions) bsons; e a funo estatstica, correspondente ao valor espe-
rado do anti-comutador (comutador) dos campos para bsons (frmions). Estas funes
carregam toda a informao do sistema.
Uma considerao importante feita no segundo captulo que devido natureza de-
pendente do tempo dos sistemas fora do equilbrio, a expanso perturbativa pode ser
invalidada por termos seculares, que so termos que crescem sem controle no tempo.
Alm disso, a expanso deve possuir um comportamento universal, ou seja, deve ten-
der ao equilbrio sem importar as condies iniciais. Assim, apresentamos a cura a estes
problemas mediante o uso da ao efetiva 2PI. Vimos como esta ao efetiva construda
de modo que tanto o valor esperado dos campos quanto o propagador sejam os graus
de liberdade, assim, para determinar as equaes de movimento das funes espectral
e estatstica devemos seguir um esquema claro, primeiro, expandirmos a ao efetiva
em termos de algum parmetro perturbativo tomando o propagador como completo, se-
gundo, obter as equaes a partir da expanso sem nenhuma considerao adicional. Isto
gera equaes integro-diferenciais no lineares para as funes espectral e estatstica, de-
nominadas equaes de Kadanoff-Baym, que sero as que descrevam a dinmica do sistema.
Na ltima parte do captulo, foi mostrado como o formalismo da TQCfE inclui o equi-
lbrio trmico. Uma considerao fundamental que o equilbrio trmico pode ser cara-
terizado pela condio de Kubo-Martin-Schwinger, que d conta do balano presente no
99
equilbrio. A condio KMS liga as funes espectral e estatstica, o que vai ser uma prova
da validez dos resultados posteriores. Tambm, vimos como a condio KMS tem como
consequncia a apario das funes de distribuio de Bose-Einstein e Fermi-Dirac. Para
o caso de uma teoria livre, vimos como possvel determinar as funes e que possvel
dar uma interpretao s mesmas. A funo espectral d conta da densidade de esta-
dos qunticos, enquanto que a funo estatstica contem a informao da distribuio de
estados, por isto foram denominadas desse modo. Por outro lado, na ltima seo do
captulo apresentamos o limite clssico da TQCfE. Com este fim, descrevemos o modo
padro de obtermos o limite de Boltzmann, mediante o uso do denominado ansatz de
Kadanoff-Baym. Assim, apresentamos como as equaes de Kadanoff-Baym tendem
equao de Boltzmann no limite clssico, o que fecha o estudo desse captulo.
A assimetria calculada possui dois termos, um termo anlogo ao que seria obtido no
formalismo de Boltzmann e um termo que possui um comportamento oscilatrio, que
interpretado como a contribuio assimetria pelas oscilaes entre os neutrinos de mo
direita. Tendo o resultado da assimetria, procedemos a comparar com o resultado obtido
com a equao de Boltzmann. Analisando numericamente encontramos que o resultado
de Boltzmann o que fica suprimido com relao ao da TQCfE, tanto para o espectro
hierrquico quanto para um espectro degenerado. Quando o espectro degenerado, o
termo oscilante tem uma contribuio importante de modo que a assimetria apresenta
um comportamento oscilatrio. Agora, quando o espectro apresenta ressonncia, que
definida para o caso em que a diferena entre as massas da mesma ordem que a largura,
os dois termos podem ficar da mesma ordem e se anular mutuamente, porm, ao compa-
rarmos com o caso de Boltzmann ainda h casos em que o resultado fica maior que o de
Boltzmann. Tambm, mostramos como o fato que a assimetria obtida usando o forma-
lismo da TQCfE para o caso degenerado tenda a uma constante para momentos grandes
indica um problema com relao renormalizao da teoria, pois ao fazermos a integra-
o nos momentos, tal integral diverge. Isto tambm se v refletido quando mudamos a
temperatura a regimes no relativsticos. Por outro lado, comparamos nossos resultados
com o artigo publicado recentemente na literatura por Garny et al. e vimos como no caso
hierrquico nosso resultado tende ao resultado desse trabalho no limite no relativstico.
Para o caso degenerado, vimos como o problema de renormalizao que possumos no
permite determinar o limite em que nossos resultados coincidem. Hoje em dia estamos
trabalhando nesse problema.
{ , } : = + = 2g , (A.5)
102 Convenes
( ) = 0 0 , (A.6a)
Tr( ) = 0, Tr( ) = 4g = 4 (A.6b)
0
= . (A.7)
0
5 : = 5 : = i 0 1 2 3 , (A.8)
1
1 5 ,
PR,L : = (A.10)
2
e satisfazen as propriedades
cumprem a seguiente
As matrizes de projeo P R, L e de conjugao de carga C,
relao
PR,L C = C(P
R,L )T (A.13)
APNDICE B
BARIOGNESE ELETROFRACA
(l l + eR eR ),
X
Jl = (B.2)
Nf
B = L = Nf Ncs = 3(1, 2, ),
pelo que a transio entre os vcuos mais prximos corresponde a uma mudana de
B = L = 3. possvel determinar a probabilidade de tunelamento entre vcuos
[38] atravs de processos denominados nstantons, e dada por
o que de fato um nmero realmente pequeno. Assim, podemos concluir que interaes
que violam B + L so completamente desprezveis no Modelo Padro.
B.2 Sphalerons
No obstante a anterior concluso, Kuzmin Rubakov e Shaposhnikov [39] mostraram
que possvel ter transies entre diferentes vcuos no por tunelamento, mas por flu-
tuaes trmicas. Assim que a temperaturas maiores que a altura da barreira, processos
que violam B + L podem ocorrer a uma taxa importante e podem ficar no equilbrio no
Universo em expanso. Tal taxa pode ser determinada pela configurao denominada
de sphaleron, um ponto crtico da energia de campo do sistema gauge-Higgs. Flutuaes
em torno desse ponto possuem autovalores negativos, o que permite extrair a taxa de
transio, para isso precisamos a energia desses sphalerons, dada por
8
Esph (T ) vF (T ), (B.7)
g
" 2 #
B+L gT 5 4 mD 1
= (10.8 0.7) T ln + ln + 3.041 , (B.8)
V mD g
Este intervalo de temperaturas muito importante pois para termos uma bariognese
atravs de leptognese, a gerao de assimetria leptnica deve ocorrer quando os sphale-
rons esto no equilbrio, pois no caso contrrio, a assimetria pode ser lavada(washout)
pelos mesmos processos de sphalerons.
B.3 Bariognese Eletrofraca 105
vF (Tc )
> 1. (B.10)
Tc
Diferentes estudos numricos e analticos foram desenvolvidos para determinar a robus-
tez da transio de fase eletrofraca como funo da massa do Higgs. Para o Modelo
Padro, encontrou-se que o limite anterior violado para um Higgs com massa maior
que 45 GeV. Por outro lado, para um Higgs com massa grande um fenmeno interes-
sante ocorre, a transio de fase de primeira ordem se transforma em um cruzamento
suave, o que interpretado como uma transio de fase de segunda ordem. Isto acontece
a uma massa do Higgs definida, denominada massa crtica mcH . A partir de simulaes
na rede determinou-se que tal massa igual a mcH = 72.1 1.4 GeV. Agora, os ltimos
resultados do LHC, que mostram a existncia de uma partcula que pode ser o Higgs do
Modelo Padro [13] com massa mH 125 GeV, indicam que a bariognese eletrofraca
no pode ser considerada como um bom cenrio para gerao de assimetria barinica.
106 Bariognese Eletrofraca
APNDICE C
NEUTRINOS DE MAJORANA
i L = mR , (C.2a)
i R = mL . (C.2b)
c = C T , (C.3)
(i m) c = 0, (C.4)
A equao para o campo conjugado c (C.4) pode tambm se projetar nas compo-
nentes quirais de , porm, devemos ter em conta que as componentes quirais (C.1) sob
a conjugao de carga e as componentes quirais do campo conjugado se relacionam se-
gundo
(L )c = ( c )R , (R )c = ( c )L , (C.5)
assim, vemos que a conjugao de carga muda a quiralidade dos campos. As equaes
de movimento para (R,L )c so
i (R )c = m(L )c , (C.6a)
c c
i (L ) = m(R ) . (C.6b)
Ao compararmos essas equaes com as equaes (C.2) claro que estas possuem uma
estrutura similar. Assim, as equaes so de fato equivalentes se as condies
RT ,
L = (R )c = C (C.7a)
L , T
R = (L )c = C (C.7b)
LT ,
= L + R = L + C (C.8)
ou seja,
= c . (C.9)
A relao (C.9) denominada condio de Majorana. claro que os frmions que cumprem
essa condio, que sero denominados frmions de Majorana, so suas prprias antipar-
tculas, j que o campo e seu conjugado de carga so equivalentes. Isto implica que estes
frmions devem ser partculas neutras, j que se a anterior condio for obedecida, a
corrente eletromagntica j = q deve se anular identicamente
= c c = T C C
= = 0, (C.10)
C.1 Frmions de Majorana 109
LT ,
i L = m C (C.11a)
R .T
i R = m C (C.11b)
Deste modo, mostramos que um frmion massivo pode ser descrito usando uma nica
componente quiral, mas o preo que temos que pagar que tal frmion precisa ser neutro.
Pode se mostrar que as duas ltimas equaes esto relacionadas pela conjugao com-
plexa. Assim, passamos de ter quatro equaes que descrevem as componentes quirais
de frmions e antifrmions a ter duas equaes independentes para os campos quirais
esquerdo e direito. Este ltimo se constri a partir do esquerdo (C.7b), logo, s temos um
campo independente, o esquerdo [6]; isto no impede que tenhamos um frmion de Ma-
jorana direito, o que isso significa que s precisamos de uma componente quiral para
termos a descrio completa de um frmion de Majorana.
m T
/ L+
LM = L i L C L + L C
,
L (C.12)
2
onde T indica o transposto com relao aos ndices de Dirac. Um questo muito impor-
tante a termos em conta que o campo de Majorana precisa ser anticomutante mesmo
antes de considerarmos a quantizao do mesmo [6]. Por outro lado, a lagrangeana (C.12)
no invariante sob transformaes do tipo
L ei L ,
m T m e2i T C L + e2i C
m
LM = L C L + L C L L L
,
L (C.13)
2 2
LT C L = Lc L , (C.15)
1 gv 2 T
LM
Y
L
= C L + h.c. (C.17)
2 M L
O operador (C.16) denominado operador de Weinberg [74], j que foi ele o primeiro a
descrev-lo como fonte de violao do nmero leptnico. clara aqui a conexo entre
a possvel natureza de Majorana dos neutrinos e a violao do nmero leptnico. Con-
tudo, o problema que possui o operador de Weinberg que de dimenso cinco, logo,
no renormalizvel, no aceitvel no MP, mas, podemos consider-lo como um ope-
rador efetivo que provm de alguma teoria em uma escala superior caraterizada pela
massa M.
LD
Y = mD NR L + h.c. (C.19)
Portanto, em geral, possvel ter um termo de Yukawa para o neutrino que envolve os
termo de massa de Majorana para os campos quirais direitos e esquerdos mais o termo
de masa de Dirac, [6]
+D
LM
Y = LMY
L
+ LM
Y
R
+ LD Y
1 1
= mL eiL LT C L + mR eiR NRT C NR mD NR L + h.c., (C.20)
2 2
tal termo de massa denominado termo de massa de Dirac-Majorana (DM). importante
ver que, a diferena de todas as outras partculas do MP, quarks e lptons carregados, o
neutrino o nico que pode possuir termos de Majorana e Dirac simultaneamente.
onde NRc (NR )c . claro que os campos L e NR no possuem massas definidas de-
vido existncia do termo de Dirac. Assim, ao diagonalizarmos a matriz M mediante a
transformao
U T M U = diag(m1 , m2 ), (C.23)
+D 1 X T
LM
Y = ma aL C aL + h.c., (C.25)
2
a=1,2
onde vemos que os neutrinos com massas definidas so do tipo Majorana. Vemos que
devido a isso h possibilidade de oscilaes entre neutrinos ativo-estril, j que se um
neutrino criado por algum processo de interao fraca,
g X
Lcc = (U1a aL L W ) + h.c., (C.26)
2 a=1,2
mD mR , mL = 0. (C.28)
como podemos observar, neste caso se tem que 2 muito pesado e 1 muito leve
comparados com a escala da quebra electro-fraca que est caraterizada indiretamente
por mD , logo, os campos possuiro a expanso [6]
sendo o ngulo de mistura ativo-estril. Vemos que o campo ativo L est composto
em sua maioria pelo campo com massa pequena 1L , enquanto que o campo estril est
composto pelo campo 2L supermassivo. Este o mecanismo de See-Saw (gangorra em
portugus), j que quanto maior for mR , menor ser mL . Portanto, o mecanismo de See-
saw d uma explicao satisfatria da pequenez da massa do neutrino ativo, alm de
gerar a assimetria violao do nmero leptnico, que pode dar conta da assimetria ba-
rinica observada como temos visto na presente dissertao. Assim, o termo de massa
de Dirac est protegido pela escala da quebra da simetria eletrofraca, logo em princpio
deveria ser da ordem de 102 GeV. Por outro lado, o termo de massa de Majorana do neu-
trino estril deve estar protegido pela quebra de alguma simetria a escalas muito maiores
que a escala eletrofraca, assim, a massa do neutrino ativo pode estar suprimida pela ra-
zo mmR 10
D 14 1012 com respeito s massas dos demais frmions do MP [6].
C.2 Massa Efetiva e Mecanismo de See-Saw 113
(y )2 h T T
i
LM +D
LL 2 C T 2 LL LL 2 C 2 LL
Y , (C.34)
2mR
2
que idntico ao operador de Weinberg (C.16) se g = (y2 ) e mR = M.
A extenso para o caso de n-geraes feita sem nenhum problema, porm, naquele
caso a diagonalizao da matriz dos neutrinos MM +D ,
(MD )T
M +D 0
M = , (C.35)
MD MR
Nesse caso, a matriz (C.35) pode ser diagonalizada em blocos, e at ordem (MR )1 MD
dada por
+D MLig 0
(WL )T MM
W
L = , (C.36)
0 MP es
com
!
1 12 MD (MR MR )1 MD MD (MR )1
WL 1 . (C.37)
M1 R MD 1 12 M1
R MD MD MR
MLig MTD M1
R MD , MP es MR . (C.38)
Deste modo, o mecanismo de See-Saw suprime as massas dos neutrinos leves com res-
peito aos elementos da matriz de massa de Dirac pelo fator MTD M1
R , enquanto que as
114 Neutrinos de Majorana
massas dos neutrinos pesados so iguais aos autovalores da matriz MR . Para fazermos a
conexo com o feito para o caso da assimetria leptnica, temos que
MR
ab = Mab = Ma ab ,
com Mab que aparece em (3.1), enquanto que a matriz de Dirac MD vai ser igual a
v
MD
ab = Yab .
2
Deste modo, a relao de See-Saw (C.38) para os neutrinos ativos fica
3
v2 T
MLig
X
ab = Y Ycb ,
2Mc ac
(C.39)
c=1
como vemos, podemos relacionar a matriz de massa dos neutrinos ativos, a qual pode
se estudar considerando as oscilaes de neutrinos, e as matrizes de Yukawa que esto
presentes na assimetria leptnica que determinamos. Assim, a partir das possveis es-
truturas da matriz MLig que pode ser obtida da fenomenologia das oscilaes podemos
considerar distintos tipos de matrizes de Yukawa Yab e a sua influncia na gerao e evo-
luo da assimetria leptnica. Porm, uma discusso desse tipo na presente dissertao
prematura ainda, pois, ao no considerarmos a expanso do Universo, no possvel
dar uma estimativa real da assimetria gerada aps o freeze-out, e, portanto, ainda no
possvel comparar com a fenomenologia a baixas energias.
APNDICE D
EQUAO DE BOLTZMANN E TEORIA DE CAMPOS FORA
DO EQUILBRIO
fk fk
L[fk ] = p
p p , (D.3)
x p
fk R fk
L[fk ] = pi i , (D.4)
t R p
116 Equao de Boltzmann e Teoria de Campos fora do Equilbrio
onde R = R(t) o fator de escala. Alm disso, necessrio mencionar que na obteno
do operador anterior se utilizou a homogeneidade do espao. Por outro lado, temos que
o termo de coliso C[fK ], em geral, pode ser dividido em duas partes,
onde a soma feita sobre os graus de liberdade internos da espcie. Aplicando essa
definio para o caso da mtrica FLRW se obtm
XZ n o
nk + 3Hnk = C 12 [fk ] + C 22 [fk ] , (D.8)
int p
~k
D.2 Derivao funcional 117
R
com H R o parmetro de Hubble [7].
{S[]} = 0,
(y, x)
assim,
i i ln 1 (z, w)
Z Z X
tr ln 1 =
(y, x) 2 2 z w (x, y)
i (w, z)
Z Z X
= 1 (z, w)
2 z w (y, x)
i
Z Z X
= 1 (z, w) C4 (z x)C4 (w y)
2 z w
i
= 1 (x, y) ,
2
sendo os ndices espinoriais. O ltimo termo fica
i i
Z Z X
1
tr 0 () = 1 (z, w) (w, z)
(y, x) 2 2 (y, x) z w 0
i (w, z)
Z Z X
= 1 (z, w)
2 z w 0 (y, x)
i
Z Z X
= 1 (z, w) C4 (z x)C4 (w y)
2 z w 0
i
= 1 (x, y) .
2 0
118 Equao de Boltzmann e Teoria de Campos fora do Equilbrio
D.3.1 Escalares
Para comearmos, devemos lembrar que o propagador dos escalares cumpre a equa-
o
temos que
Z
d4 z (i/x mf ) S0 (x z) S01 (z y) = (i/x mf ) C4 (x y)
C Z
d4 z iC4 (x z) S01 (z y) = (i/x mf ) C4 (x y)
C
iS01 (x y) = (i/x mf ) C4 (x y)
iS01 (x y) = (i/x mf )C4 (x y).
D.3 Inversos dos Propagadores Livres 119
N = N C , (D.17)
temos que
Z
d4 z (i/x mM ) G0 (x, z) G01 (z, y) = (i/x mM ) C4 (x y) ,
C Z
d4 z iC4 (x z)C G01 (z, y) = (i/x mM ) C4 (x y) ,
C
iC G01 (x, y) = (i/x mM ) C4 (x y),
iG01 (x, y) = C(i/x mM )C4 (x y). (D.20)
120 Equao de Boltzmann e Teoria de Campos fora do Equilbrio
APNDICE E
EQUAES DE KADANOFF-BAYM
E.1.1 Propagadores
Vamos representar os propagadores do seguinte modo,
x y
Leptons A
hTC la (x)lb
B
(y)i = a, A, b, B,
E.1.2 Vrtices
a, A,
b, iYba AB (PR)
a, A,
b, iYba AB (CPL)
B
122 Equaes de Kadanoff-Baym
A D B C
c, d, c, d,
i2[, S, G] = x y + x y
a, B, b, C, a, A, b, D,
1
Z Z
i2 [, S, G] = Yca (CPL ) AB Ydb (PR ) CD C (x, y)AD SCab (x, y)BC dc
GC (y, x)
2 x y
1
Z Z
Yca (PR ) AB Ydb (CPL ) CD C (y, x)CB SCba (y, x)DA cd
GC (y, x)
2 x y
1
Z Z
= Yca Ydb AB CD C (x, y)AD (CPL ) SCab (x, y)BC dc
(PR ) GC (y, x)
2 x y
1
Z Z
Ydb Yca AB CD C (y, x)CB (CPL ) SCba (y, x)DA cd
(PR ) GC (y, x)
2 x y
1
Z Z n o
i2 [, S, G] = Yca Ydb AB CD C (x, y)AD Tr CPL SCab (x, y)BC PR GCdc (y, x)
2 x y
1
Z Z n o
Ydb Yca AB CD C (y, x)CB Tr CPL SCba (y, x)DA PR GCcd (y, x) ,
2 x y
(E.1)
2 [, S, G]
iCab
C (x, y) = . (E.3)
GCba (y, x)
1
O i que aparece na contribuio provm da definio da ao efetiva.
E.3 Obteno da autoenergia dos neutrinos 123
Na hora de fazermos a derivada devemos ter em conta que o GCab (x, y) totalmente
antisimetrico,
GCdc (w, z) 1 n
dc cd
o
= G C (w, z) G C (z, w)
GCba (y, x) 2 GCba (y, x)
1
db ca C4 (w y)C4 (z x) cb da C4 (w x)C4 (z y) ,
=
2
assim, a autoenergia fica
1
Cab
C (x, y) = Yae Ybf AB CD C (x, y)
AD
(CPL ) SCef (x, y)BC
(PR )
2
1
Ybe Yaf
AB CD C (y, x)AD (CPL ) SCef (y, x)BC
(PR ) .
2
1
= Yae Ybf AB CD C (x, y)AD (CPL SCef (x, y)BC PR )
2
1
Ybe Yaf
AB CD C (y, x)AD (PRT SCef (y, x)BC T PLT C T ) , (E.5)
2
T C = CP T
usando que PL,R L,R e que SC C = CSC , j que os lptons so partculas sem
massa na escala de energias em que trabalhamos, a autoenergia dada por,
1 n
ab
C (x y) = AB CD Yac Ybd C (x y)
AD
PL SCcd (x y)BC PR
2 o
Ybc Yad C (y x)AD PR SCcd (y x)BC PL , (E.6)
< >
1 (p) = 2 (p).
d4 q
Z
<
2 (p) = < (q)S < (q p). (E.7)
(2)4
124 Equaes de Kadanoff-Baym
Assim, das formas explcitas de < (q) e S < (k) que podem se obter a partir dos resultados
da seo 2.5 do captulo 2,
< (q) = 2 sgn(q0 )fB (q0 )(q 2 ), (E.8)
< 2
S (k) = 2 k/ sgn(k0 )fF (k0 )(k ). (E.9)
Utilizando que
fF (k0 ) + fF (k0 ) = 1,
fB (q0 ) + fB (q0 ) = 1,
temos que
S < (k) = 2 sgn(k0 )(k/)fF (k0 )((k)2 )
= 2 sgn(k0 )k/fF (k0 )((k)2 )
= 2 sgn(k0 )k/(1 fF (k0 ))(k 2 ),
= S > (k). (E.10)
sendo
n o
(p) : = 1 + ep0 >
1 (p) (E.16)
onde 1 : = |~k| e 2 : = |~k p~ |. Fazendo a integral em dk0 a travs das deltas de Dirac,
encontramos que
1 d3~k 1
Z
(p) =
fF (p0 ) (2)2 21 22
h
{1 fF (1 )} {1 + fB (2 )} (p0 1 2 ){1 0 ~k ~ }
+ fF (1 )fB (2 )(p0 + 1 + 2 ){1 0 + ~k ~ }
+ {1 fF (1 )} fB (2 )(p0 1 + 2 ){1 0 ~k ~ }
i
+ fF (1 ) {1 + fB (2 )} (p0 + 1 2 ){1 0 + ~k ~ } , (E.20)
Devido apario das deltas de Dirac, podemos simplificar os termos que possuem as
funes de distribuio, mediante o uso das seguintes identidades que podem ser mos-
tradas de modo simples,
{1 fF (1 )} {1 + fB (2 )} fF (1 )fB (2 )
= = fF B (1 , 2 )
fF (1 2 ) fF (1 + 2 )
fF (1 ) {1 + fB (2 )} {1 fF (1 )} fB (2 )
= = fF B (1 , 2 )
fF (1 2 ) fF (1 + 2 )
126 Equaes de Kadanoff-Baym
com fF B (p0 , q0 ) : = 1 fF (p0 ) + fB (q0 ) e fF B (p0 , q0 ) : = fF (p0 ) + fB (q0 ). Assim, temos que
d3~k 1
Z h
(p) = fF B (1 , 2 )(p0 1 2 ){1 0 ~k ~ }
(2)2 21 22
+ fF B (1 , 2 )(p0 + 1 + 2 ){1 0 + ~k ~ }
+ fF B (1 , 2 )(p0 1 + 2 ){1 0 ~k ~ }
i
+ fF B (1 , 2 )(p0 + 1 2 ){1 0 + ~k ~ } . (E.21)
Com o fim de obtermos expresses mais compactas, vamos utilizar a definio da delta
de Dirac de modo inverso,
d3~k d3 ~q
Z Z
k/(2)4 fF B (k0 , q0 ) 4 (p k q) + 4 (p + k + q)
(p) = 3
(2)3 2|~k| (2) 2|~q|
+ fF B (k0 , q0 ) 4 (p k + q) + 4 (p + k q)
(E.22)
Z
(p) = k/ (p; k, q), (E.23)
~k,~
q
com
+ fF B (k0 , q0 )(2)4 4 (p + k q) + 4 (p k + q) .
ab (p) = i(p)(hab PR + hab PL )
= i(hab PL + hab PR )(p), (E.24)
= iab ( 0 C) . (E.26)
Como vemos, no caso da funo espectral, as condies iniciais so impostas pela mesma
teoria.
j que se a 6= b e c 6= 0, ento, ca 6= cb, podemos multiplicar por Gbd R (y, w), somar sob b e
4
integrar em d y no intervalo [0, ),
Z Z
d4 z Gac
R
d4 y (C) (i/x Mc ) 4 (z y)cb R
R
(x, z) cb (z, y) Gbd (y, w)
0
|0 {z }
cd 4 (zw)
Z
6= d4 y ab 4 (x y)Gbd
R
(y, w)
0
Z Z
d4 z Gac
R
(x, z)cd 4 (z w) 6= d4 y ab 4 (x R
y)Gbd (y, w)
0 0
R R
Gad (x, w) 6= Gad (x, w), (E.37)
o que evidentemente falso, o que mostra que a relao (E.35) verdadeira.
multiplicando esquerda por GdaR (w, x), somando em a e integrando em x temos que
Z Z Z
4 4 1 +
d z R R
d x Gda (w, x)Gac (x, z) Gcb (z, y) = d4 x Gda
R
(w, x)CGab (x, y),
0 0 0
| {z }
dc 4 (wz)
Z
+
Gdb (w, y) = d4 x Gda
R
(w, x)CGab (x, y),
0
Devemos notar que tanto a integral de memria quanto a parte homognea so a soluo
da equao da funo estatstica sem tomar nenhum tipo de aproximao, por exemplo,
o de banho trmico que utilizamos na obteno da leptognese. Em consequncia, a
deduo da soluo anterior a mais geral possvel.
130 Equaes de Kadanoff-Baym
APNDICE F
ASSIMETRIA LEPTNICA
onde utilizamos que a nica contribuio no nula na funo (p; k, q), eq (3.25), (2)4 4 (p
k q)fF B (k , q ). Alm disso, devemos lembrar que as energias on-shell de lptons e
Higgs so, respectivamente, q = |~q|, k = |~k|. Simplificando a expresso anterior, temos
que
haa d3~k d3 ~q
Z Z
ap = a p ~k ~q)fF B (k , q )
p k(2)4 (pa k q ) 3 (~
p (2)3 2k (2)3 2q
Z 3~
haa d k pk
= p ~k|)(pa k |~
fF B (k , |~ p ~k|). (F.2)
16 2 pa k |~ ~
p k|
p~
~k
132 Assimetria Leptnica
deste modo,
p k = pa k p~ ~k
= pa k p0 k cos ,
haa 1 pa p0 cos
Z Z
ap = dk k2 d cos p ~k|)(pa k |~
fF B (k , |~ p ~k|).
8pa 0 1 p ~k|
|~
Efetuando a transformao
p ~k|
u : = |~
1
= (p20 + k2 2p0 k cos ) 2 , (F.3)
logo
udu
d cos = , (F.4)
p 0 k
assim as integrais ficam,
u+
p2 + k2 u2
haa
Z Z
ap = dk k du pa 0 fF B (k , u)(pa k u),
8pa p0 0 u 2k
sendo u = |k p0 |. Agora, para que a integrao no seja nula por causa da delta,
necessrio que
1 1
k > (pa p0 ), k < (pa + p0 ). (F.6)
2 2
Deste modo, a largura fica
k+ u+
p2 + k2 u2
haa
Z Z
ap = dk k du pa 0 fF B (k , u)(pa k u),
8pa p0 k u 2k
: = pa k u,
k+
( )
haa + 2pa (k + ) 2k Ma2
Z Z
ap = dk k d pa
8pa p0 k 2k
fF B (k , pa k )(), (F.7)
F.2 Fator Proveniente do Trao 133
a integral em trivial, assim, logo aps simplificarmos a expresso anterior, temos que
Z +
haa Ma2
a
k 1 1
p = dk 1 .
16pa p0 k e k + 1 e(pa k ) 1
1 d3~k k q+
Z
= p ~k|)(pa k |~
fF B (k , |~ p ~k|). (F.10)
16 2 k |~ ~
p k|
Neste caso, escolhemos o sistema de referncia
p~
~k
~q
k q+ = k q ~k ~q
= k q (1 sin sin 0 cos cos cos 0 ),
Neste caso tambm foi necessrio levar em conta que a integrao em k deve ser res-
tringida ao intervalo em que a delta de Dirac no nula. De modo similar ao feito ante-
riormente, introduzimos a varivel e fazemos a integrao utilizando a delta de Dirac,
para obtermos que
Z + ( )
a q k
0
2pa k Ma2
(p ) q+ = dk k 1 cos fF B (k , pa k ). (F.11)
8p0 k 2k p0
p~ ~q a p~ ~q 2
1
(pa ) q+ = p0 q a
J1 + a
Ma J0 ,
8 2 p20 p0 p p0
Agora, para o caso j = 1, temos que o termo que contribui da funo (p; k, q)
(2)4 4 (p + k + q)fF B (k , q ), pois o nico em que a conservao da energia est asse-
gurada. Assim,
Z
a
(p ) q = k q+ (2)4 4 (p + k + q 0 )fF B (k , q0 ),
~k,q~0
1 d3~k k q
Z
= p + ~k|)(pa k |~
fF B (k , |~ p + ~k|). (F.12)
16 2 k |~ ~
p + k|
k q = k q ~k ~q
= k q (1 + sin sin 0 cos + cos cos 0 ),
p + ~k|
u : = |~
1
= (p20 + k2 + 2p0 k cos ) 2 , (F.14)
F.3 Simplificao das integrais presentes na Assimetria 135
logo
udu
d cos = , (F.15)
p 0 k
temos que
2
u+
+ k2 u2
q 0 p0
Z Z
(pa ) q = dk k du 1 cos fF B (k , u)(pa k u).
8p0 0 u 2k p0
(F.16)
k 2
u+
+ k2 u2
q 0 p0
Z Z
(pa ) q = dk k du 1 cos fF B (k , u)(pa k u).
8p0 k+ u 2k p0
(F.17)
k+
( )
q 2pa k Ma2
Z
(pa ) q = dk k 1 cos 0 fF B (k , pa k )
8p0 k 2k p0
(pa ) q = (pa ) q+ , (F.18)
ou seja,
o que foi utilizado no texto principal. Assim, mostramos que o fator proveniente do trao
pode ser simplificado, para depender de duas integrais que podem ser calculadas, por
exemplo, usando o pacote Mathematica.
d3 p~
Z Z
p ~k ~q)fF B (q , k )Nab (p, q, k) (F.20)
X
n2L (t) = Im(h2ba )Ma Mb (2)3 3 (~
(2)3 ~k,~
q
a,b
a6=b
136 Assimetria Leptnica
sendo
( )
2 1 l l
Nab (p, q, k) := +
2pab (pa q k )2 + 2l (pb q k )2 + 2l
1 e(i(p p )+ab )t
( a b a
p
(a) (4)
Re a b
ab ab tanh (pa ) q+
ab + i(p p ) 2
!! #)
(b) (4) pb b
+ ab ab tanh (p ) q+ ,.
2
(F.21)
d3 p~ d3 ~q 1
X Z Z
n2L (t) = Im(h2ba )Ma Mb fF B (q , |~ 2
p ~q|)Nab (p, q, k)|k =|~p~q| .
(2)3 (2)3 2q 2|~
p ~q|
a,b
a6=b
(F.22)
p~
~q
e introduzindo a varivel
p ~q|
u : =|~
logo
udu
d cos = ,
p0 q
onde o ngulo entre os vetores p~ e ~q, tal como pode ser visto na figura. Introduzindo
os resultados anteriores, temos que
X Im(h2 )Ma Mb Z Z
d3 p~
Z u
2 ba 2
nL (t) = 2 3
dq du fF B (q , u)Nab (p, q, k) k =u, ,
8 (2) 2p0 0 u+ p2 2
0 +q u
2
a,b cos = 2q p0
a6=b
ou seja,
1 1
k > (pa p0 ), k < (pa + p0 ). (F.24)
2 2
Assim, lembrando que hba = hab , ou seja, Imh2ba = Imh2ab , obtemos
Z +
d3 p~ X Im(h2ab )Ma Mb q
Z Z u
n2L (t) 2
= 3 2
dq du fF B (q , u)Nab (p, q, k) k =u, ,
(2) 2p0 8 q u+ p2 + 2 u2
a,b cos = 0 2 qp
a6=b q 0
(F.25)
com c = a, b. Por outro lado, para simplificarmos a assimetria obtida utilizando o for-
malismo de Boltzmann, devemos proceder de modo idntico ao feito no caso da largura.
Desta forma, apresentamos neste apndice as simplificaes necessrias para estudar e
comparar numericamente os resultados da assimetria, apresentados no captulo 4.
138 Assimetria Leptnica
REFERNCIAS BIBLIOGRFICAS
[1] P. A. M. Dirac. A theory of electrons and protons. Proc. R. Soc. Lond. A, 126:360, 1930.
[2] C. D. Anderson. The positive electron. Phys. Rev., 43:491, 1933.
[3] E. C. C. Stckelberg. La mchanique du point matriel en thorie de la relativit.
Helv. Phys. Acta, 15:23, 1942.
[4] R. P. Feynman. A Relativistic Cut-Off for Classical Electrodynamics. Phys. Rev.,
74:939, 1948.
[5] W. Greiner, J. Reinhardt. Field Quantization. Springer Verlag, 1996.
[6] C. Giunti Ch. Kim. Fundamentals of Neutrino in Physics and Astrophysics. Oxford
University Press, 2007.
[7] E. W. Kolb, M. S. Turner. The Early Universe. Addisson-Wesley Publishing Company,
1989.
[8] A. D. Sakharov. Violation of CP invariance, C assymetry Baryon Assymetry of the
Universe. Pisma Zh. Eksp. Teor. Fiz., 5:32, 1967.
[9] S. L. Glashow. Partial-symmetries of weak interactions. Nucl.Phys., 22:579, 1961.
[10] S. Weinberg. A model of leptons. Phys.Rev.Lett., 19:1264, 1967.
[11] A. Salam. Elementary particle theory, relativistic groups and analyticity. In
N. Svarthom, editor, 8th Nobel Symposium, Stockholm, Sweden, 1968.
[12] M. B. Gavela, P. Hernndez, J. Orloff, and Pne P. Standard model cp-violation and
baryon asymmetry. Mod. Phys. Lett. A, 09:795, 1994.
[13] Colaborao ATLAS. Observation of a new particle in the search of standard model
Higgs boson with the ATLAS detector. Phys. Lett. B, 1:1, 2012.
[14] W. Pauli. Neutrino Physics. Cambridge University Press, 1991.
[15] E. Fermi. Versuch einer theorie der -strahlen. Z. Phys, 88:161, 1934.
[16] F. Reines, C. L. Cowan, F. B. Harrison, A. D. McGuire, and H. W. Kruse. Detection
of the free antineutrino. Phys. Rev., 117:159, 1960.
140 Referncias Bibliogrficas
[17] L. Landau. The conservation laws for weak interactions. Nucl.Phys., 3:127, 1957.
[18] T. D. Lee, C. N. Yang. Parity nonconservation and a two component theory of the
neutrino. Phys.Rev., 105:1671, 1957.
[19] A. Salam. On parity conservation and neutrino mass. Il Nuov. Cim, 5:299, 1957.
[30] E. Majorana. Teoria simmetrica delleletrone e del positrone. Il Nuov. Cim., 14:171,
1937.
[32] T. Yanagida. Workshop on unified theory and the barion number of the universe. In
KEK, Japan, 1979.
[33] R. N. Mohapatra P. B. Pal. Masive Neutrinos in Physics and Astrophysics. World Scien-
tific Publishing, 2004.
[35] R. Foot, H. Lew, X. G. He, G. C. Joshi. Seesaw neutrino masses. Z. Phys. C, 44:441,
1989.
[37] S. Davidson and E. Nardi and Y. Nir. Leptogenesis. Phys. Rep., 466:105, 2008.
[41] J. S. Schwinger. Brownian motion of a quantum oscillator. J. Math. Phys., 2:407, 1961.
[42] L. V. Keldysh. Diagram technique for nonequilibrium processes. Zh. Eskp. Teor. Fis.,
47:1515, 1964.
[45] G. Zhou, Z. Su, B. Hao, and L. Yu. Phys. Rep., 118:1, 1985.
[48] J. Berges. Introduction to Nonequilibrium Quantum Field Theory. AIP. Conf. Proc.,
739:3, 2004.
[54] M. Drewes. Quantum Aspects of Early Universe Thermodynamics. PhD thesis, Deuts-
chen Electronen Synchrotron (DESY), 2009.
[56] M. Losada. High Temperature dimensional reduction of the MSSM and other multi-
scalar models. Phys. Rev. D, 56:2893, 1997.
[62] A. Pilaftsis. CP Violation and Baryogenesis due to Heavy Majorana Neutrinos. Ar-
Xiv e-print, hep-ph/9707235v1 http://arxiv.org/abs/hep-ph/9707235v1.
[64] A. Pilaftsis. The Little Review on Leptogenesis. J. Phys. Conf. Ser., 171:012017, 2009.
[72] H. A. Weldon. Simple Rules For Discontinuities In Finite Temperature Field Theory.
Phys. Rev. D, 28:2007, 1983.
[75] E. Ma. Pathways to naturally small neutrino masses. Phys.Rev.Lett., 81:1171, 1998.
[76] J. Bernstein. Kinetic Theory in the Expanding Universe. Cambridge University Press,
2004.
[77] W. Israel. Proceeding: Relativity Astrophysics and Cosmology. Reidel Publishing Com-
pany, 1973.