Está en la página 1de 68

Mtodos y Tcnicas Avanzadas en Fsica

EL MODELO ESTNDAR Y SU FENOMENOLOGA


Parte 1:
La teora electrodbil y herramientas de clculo

Jos Ignacio Illana


Departamento de Fsica Terica y del Cosmos
Universidad de Granada

Diciembre de 2007
ltima revisin: 5 de julio de 2017
ndice

1 La teora electrodbil 1
1.1 El Modelo Estndar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1 La simetra gauge: origen de las interacciones . . . . . . . . . . . 3
1.1.2 La rotura espontnea de la simetra gauge: origen de las masas . 7
1.2 Rplicas de familias ferminicas . . . . . . . . . . . . . . . . . . . . . . . 13
1.2.1 Autoestados de masa y de interaccin . . . . . . . . . . . . . . . . 13
1.2.2 Conservacin del sabor en corrientes neutras y GIM . . . . . . . 14
1.2.3 Mezcla de sabores de quarks: la matriz de CKM . . . . . . . . . . 14
1.3 Masas, mezclas y oscilaciones de neutrinos . . . . . . . . . . . . . . . . . 16
1.3.1 Fermiones de Dirac y de Majorana . . . . . . . . . . . . . . . . . . 17
1.3.2 Seesaw: por qu los neutrinos son tan ligeros? . . . . . . . . . . . 20
1.3.3 Mezcla de sabores leptnicos: la matriz de PMNS . . . . . . . . . 21
1.3.4 Oscilaciones de neutrinos . . . . . . . . . . . . . . . . . . . . . . . 22
1.3.5 Test de la violacin del nmero leptnico: 0 . . . . . . . . . . 30

2 Observables 33
2.1 Seccin eficaz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.1.1 Qu significa? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.1.2 Probabilidad de transicin y matriz S . . . . . . . . . . . . . . . . 34
2.1.3 Flujo incidente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.1.4 Frmula final . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.1.5 Caso 2 2 en el sistema centro de masas . . . . . . . . . . . . . 37
2.2 Anchura de desintegracin . . . . . . . . . . . . . . . . . . . . . . . . . . 38

3 Reglas de Feynman 41
3.1 Reglas generales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41

3
4 ndice

3.2 Algunos vrtices genricos . . . . . . . . . . . . . . . . . . . . . . . . . . . 42


3.3 Vrtices del Modelo Estndar . . . . . . . . . . . . . . . . . . . . . . . . . 43

4 Clculo de correcciones cunticas a un loop 45


4.1 Estructura de las amplitudes a un loop . . . . . . . . . . . . . . . . . . . . 45
4.2 Clculo explcito de las integrales . . . . . . . . . . . . . . . . . . . . . . 46
4.2.1 Ingredientes bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.2.2 Funciones de dos puntos . . . . . . . . . . . . . . . . . . . . . . . 48
4.2.3 Funciones de tres puntos . . . . . . . . . . . . . . . . . . . . . . . 49
4.3 Algunos casos sencillos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52

5 Aplicacin: factores de forma dipolares a un loop 55


5.1 El vrtice vector-fermin ms general . . . . . . . . . . . . . . . . . . . . 55
5.2 El momento magntico anmalo . . . . . . . . . . . . . . . . . . . . . . . 58
5.2.1 El momento magntico anmalo en QED . . . . . . . . . . . . . . 58
5.2.2 El momento magntico anmalo en el SM . . . . . . . . . . . . . 59
5.3 El proceso raro e . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
5.3.1 e en el SM con neutrinos masivos . . . . . . . . . . . . . . 61
Captulo 1

La teora electrodbil

1.1 El Modelo Estndar

El Modelo Estndar (SM) [1] es una teora gauge basada en el grupo de simetras loca-
les SU(3)c SU(2) L U(1)Y , que describe las interacciones fuertes, dbiles y electro-
magnticas mediante el intercambio de los correspondientes campos de spin 1 (boso-
nes de gauge): 8 gluones sin masa y 1 fotn () sin masa para las interacciones fuertes
y electromagnticas, respectivamente, y 3 bosones masivos (W y Z) para la interac-
cin dbil. El contenido de materia ferminica consiste en tres familias de quarks y
tres de leptones (tabla 1.1). Cada familia est formada por dos patculas de spin 1/2,
f y f , con cargas elctricas Q f = Q f + 1 en unidades de la carga del protn, y sus
corrrespondientes antipartculas. Los quarks aparecen en tres posibles estados de color
(convencionalmente rojo, verde y azul).
Los campos se agrupan en multipletes (representaciones irreducibles) bajo las trans-
formaciones del grupo (tabla 1.2). Los quarks son tripletes y los leptones son singletes
bajo el grupo SU(3)c de color. Bajo el grupo SU(2) L las componentes levgiras (left) se
transforman de forma distinta que las dextrgiras (right): los campos left son dobletes
y los right son singletes de isospin dbil T. El ndice Y se refiere a la hipercarga. La
carga elctrica, el isospin y la hipercarga de los campos estn relacionados mediante
Q = T3 + Y. Las tres familias de quarks y leptones tienen las mismas propiedades
(interacciones gauge), slo difieren en las masas y en el nmero cuntico de sabor de
sus campos.
La simetra gauge est rota espontneamente lo que exige la introduccin de un
campo escalar (el campo de Higgs) y permite que los bosones dbiles y los fermiones
sean masivos, tal y como los observamos en la naturaleza.
A continuacin construiremos el lagrangiano del SM de las interacciones electro-
magnticas y dbiles para una sola familia de quarks y leptones. Ignoraremos las
interacciones fuertes, que son independientes del sabor.

1
2 Captulo 1: La teora electrodbil

Fermiones I II III Q
1
spin 2 Quarks f uuu ccc ttt 2/3
f ddd sss bbb 1/3
Leptones f e 0
f e 1

Bosones
spin 1 8 gluones Interaccin fuerte
Interaccin electromagntica
W , Z Interaccin dbil
spin 0 Higgs? Origen de las masas

Tabla 1.1: Las partculas e interacciones del SM.

Multipletes SU(3)c SU(2) L U(1)Y I II III


! ! !
uL cL tL
Quarks (3, 2, 16 )
dL sL bL
(3, 1, 32 ) uR cR tR
(3, 1, 31 ) dR sR bR
! ! !
e L L L
Leptones (1, 2, 21 )
eL L L
(1, 1, 1) eR R R
(1, 1, 0) eR R R

Tabla 1.2: Multipletes de campos del SM.


1.1. El Modelo Estndar 3

1.1.1 La simetra gauge: origen de las interacciones

Consideremos un mundo con slo una familia de fermiones (quarks o leptones) de


spin 1/2 f y f libres y sin masa, descritos por los campos f ( x ) y f ( x ), respectivamente.
Vendr descrito por el lagrangiano de Dirac:

L0F = i f( x )/f ( x ) + i f ( x )/f ( x ) = i j ( x )/ j ( x ) , (1.1)


j=1,3

con / , y hemos agrupado por conveniencia las componentes left en un doblete


y las right en dos singletes,
!
fL
1 = , 2 = f R , 3 = f R , (1.2)
f L


donde f R,L = PR,L f ( ) , fR,L = f( ) PL,R , con PR,L = 12 (1 5 ). Si queremos que el
() ()

lagrangiano sea invariante bajo transformaciones gauge1 del grupo G = SU(2) L


U (1 )Y ,
n o
G
1 ( x ) UL ( x ) exp{iy1 ( x )}1 ( x ) , UL ( x ) = exp i i i ( x ) , i = 1, 2, 3 (1.3)
,
2
G
2 ( x ) exp{iy2 ( x )}2 ( x ) , (1.4)
G
3 ( x ) exp{iy3 ( x )}3 ( x ) , (1.5)

hemos de reemplazar por la derivada covariante2


h i
e
D 1 ( x ) igW ( x ) + ig y1 B ( x ) 1 ( x ) , (1.6)
 
D 2 ( x ) + ig y2 B ( x ) 2 ( x ) , (1.7)
 
D 3 ( x ) + ig y3 B ( x ) 3 ( x ) , (1.8)

donde se introducen g y g , las i son las tres matrices de Pauli y

e ( x ) i Wi ( x ) .
W (1.9)
2
Las propiedades de transformacin de los campos de gauge quedan fijadas: son las
que hacen que los D j ( x ) se transformen igual que los j ( x ), es decir,

G 1
B ( x ) B ( x ) ( x ) , (1.10)
g
e ( x )U ( x ) i UL ( x ) U ( x ) .
G 
e ( x )
W UL ( x )W (1.11)
L L
g
1 Las transformaciones gauge son locales, es decir dependientes del punto espaciotemporal x.
2 Este convenio de signos es el ms habitual y el adoptado en el paquete informtico FeynArts [2].
4 Captulo 1: La teora electrodbil

Nota: En general, si { Ta } son los generadores del grupo, { Aa ( x )} los bosones de


gauge asociados y { a ( x )} los parmetros de la transformacin, es fcil comprobar
que la derivada covariante es
e ,
D = ig A e = Ta Aa
con A
si los campos se transforman
U, U = exp{iTa a ( x )}
e
A e U i ( U )U
UA
g
De este modo, D UD y /
D queda invariante.
Como hay cuatro parmetros de gauge, i ( x ) y ( x ), para mantener la invariancia
gauge, hemos tenido que introducir tres bosones vectoriales, Wi ( x ), uno por cada
generador de SU(2), y otro ms, B ( x ), para el grupo U(1). Ntese que la simetra
dicta la forma de las interacciones. Los acoplamientos g y g , as como las hipercargas
yi , son parmetros libres.3 El lagrangiano
3
/ j (x)
L F = i j ( x ) D (1.12)
j =1

es, por tanto, invariante bajo las transformaciones gauge de G. Para que la teora sea
completa han de aadirse los trminos cinticos para los bosones de gauge:
1 1 n e e o 1 1 i
L G = B B Tr W W = B B W Wi (1.13)
4 2 4 4
donde
B B B , (1.14)
h   i
e i
W e , igW
igW e = W e W
e ig[W
e , W e ] , (1.15)
g
e i W
W i
, i
W
j
= Wi Wi + gijk W Wk (1.16)
2
 
i j
y hemos sustituido las constantes de estructura de SU(2): , = iijk k .
2 2 2
e se
El tensor B es invariante bajo las transformaciones de G, mientras que W
transforma covariantemente,
G G
e e U ,
B B , W UL W L (1.17)
as que L G es tambin invariante gauge. Como SU(2) es no abeliano, L G da lugar a
autointeracciones cbicas y curticas entre sus bosones de gauge. La intensidad de
tales interacciones viene dada por el mismo acoplamiento g que aparece en la parte
ferminica L F .
3 El
acoplamiento de los fermiones a los bosones de gauge de SU(2) es nico, g, debido a que este
grupo es no abeliano.
1.1. El Modelo Estndar 5

Interacciones de corrientes cargadas

u d
W W W W

d u

Figura 1.1: Vrtices de interaccin de corrientes cargadas.

El lagrangiano L F contiene interacciones entre fermiones y bosones de gauge,


3
e 1 g B y j j j .
L F g1 W (1.18)
j =1

El trmino que contiene la matriz


!
W3 2W
e = i Wi = 1
W (1.19)
2 2 2W W3
da lugar a interacciones
de corrientes cargadas con el campo vectorial cargado
de las
W , W (W1 + iW2 )/ 2 y su complejo conjugado W (W1 iW2 )/ 2,
g n
o
LCC = W f ( x ) (1 5 ) f ( x ) + h.c. . (1.20)
2 2

Interacciones de corrientes neutras

f f
Z
f = u, d, f = u, d, ,

Figura 1.2: Vrtices de interaccin de corrientes neutras.

La ecuacin (1.18) tambin contiene interacciones con los campos de gauge neutros
W3 y B . Nos gustara identificar estos bosones con el Z y el fotn. Sin embargo, como
el fotn tiene las mismas interacciones con ambas quiralidades ferminicas, el bosn
de gauge singlete B no puede ser el campo electromagntico A . Para ello habra que
imponer y1 = y2 = y3 y g y j = eQ j , lo que no puede cumplirse simultneamente.
Como ambos campos son neutros, podemos probar con una combinacin arbitraria
de ellos:
! ! !
W3 cos W sin W Z
. (1.21)
B sin W cos W A
6 Captulo 1: La teora electrodbil

En trminos de Z y A el lagrangiano de corrientes neutras queda:


3     
LNC = j A gT3 sin W + g y j cos W + Z gT3 cos W g y j sin W j ,
j =1
(1.22)
donde T3 = 3 /2 (0) es la tercera componente del isospin del doblete (singlete). Para
obtener la electrodinmica cuntica (QED) de la parte con A hay que imponer las
condiciones:
g sin W = g cos W = e , Y = Q T3 , (1.23)
donde Q es el operador de carga elctrica,
!
Qf 0
Q1 = , Q2 = Q f , Q3 = Q f . (1.24)
0 Qf

La primera igualdad relaciona los acoplamientos g y g de SU(2) y U(1), respectiva-


mente, con el acoplamiento electromagntico e, lo que proporciona la unificacin de las
interacciones electrodbiles. La segunda fija las hipercargas ferminicas Y en trminos
de las cargas elctricas y los nmeros cunticos de isospin dbil:
1 1
= Q f + , y2 = Q f , y3 = Q f .
y1 = Q f (1.25)
2 2
Sustituyendo las cargas de los quarks y los leptones, observamos que los neutrinos
right tienen carga e hipercarga nulas, es decir no se acoplan ni al fotn ni a la Z, y
tampoco se acoplan a los W , pues slo lo hacen los campos left. Por tanto los R son
estriles y, si los neutrinos no tuvieran masa, no hara falta introducirlos.
El lagrangiano de corrientes neutras queda finalmente:
Z
LNC = LQED + LNC , (1.26)
donde
LQED = eA Q f ( ) f( ) ( x ) f ( ) ( x ) ,

(1.27)
= eZ f( ) ( x ) (v f a f 5 ) f ( ) ( x ) ,
Z
LNC (1.28)
f f
con v f = (T3 L 2Q f sin2 W )/(2 sin W cos W ) y a f = T3 L /(2 sin W cos W ).

Autointeracciones de bosones de gauge

Del lagrangiano L G se extraen los trminos de autointeraccin triple y curtica:4


n o

L3 = ie cot W W W Z W W Z W W Z
n o
+ie W W A W
W A W W F , (1.29)
4 Resulta conveniente usar la relacin de anticonmutacin de las matrices de Pauli, {i , j } = 2ij .
1.1. El Modelo Estndar 7

W W
Z

W W
W W W W W Z

W W W W Z W Z

Figura 1.3: Vrtices de autointeraccin de bosones de gauge.

 2 
e2
L4 = W W W W W W
2 sin2 W
n o
2 2
e cot W W W Z Z W Z W Z
n o
+e2 cot W 2W W Z A W Z W A W A W Z
n o
e2 W W A A W A W A , (1.30)

donde W = W W . Ntese que siempre hay como mnimo un par de bosones


cargados W y que no hay ningn vrtice neutro con slo fotones y bosones Z.

1.1.2 La rotura espontnea de la simetra gauge: origen de las masas

La simetra gauge, que ha determinado cmo son las interacciones, prohibe trminos
de masa para los bosones de gauge. Tampoco son posibles los trminos de masa para
los fermiones.
La rotura espontnea de la simetra (SSB) aparece cuando el vaco del sistema
(estado de mnima energa) est degenerado. El vaco fsico es uno entre los posibles
estados de mnima energa conectados por las simetras del lagrangiano. Cuando la
naturaleza lo elige se rompe la simetra de los estados fsicos, aunque se preserva la
del lagrangiano.
El resultado de la SSB depende del tipo de simetras. Si el lagrangiano es invariante
bajo un grupo continuo de simetras G, pero el vaco es invariante slo bajo un subgru-
po H G, entonces aparecen tantos estados sin masa y spin 0 (bosones de Goldstone)
como generadores de G que no lo son de H, es decir, el nmero de simetras que
se han roto (teorema de Goldstone [3, 4]). Si las simetras del lagrangiano son locales
(gauge) estos bosones de Goldstone son comidos por los bosones de gauge asociados a
las simetras rotas dotndolos de una masa (mecanismo de Higgs-Kibble [5]).
Ilustremos la SSB con el ejemplo ms sencillo: un campo escalar complejo ( x ) con
8 Captulo 1: La teora electrodbil

V() V()

1
||
||

2
Figura 1.4: Forma del potencial escalar (1.31) para 2 > 0 (izquierda) y 2 < 0 (dere-
cha). En el segundo caso existe un continuo de vacos degenerados, correspondientes
a diferentes fases, concectados a travs de una excitacin de campo sin masa 2 .

lagrangiano

L = V ( ) , V ( ) = 2 + ( )2 . (1.31)

Este lagrangiano es invariante bajo transformaciones globales de fase U(1),


U (1)
( x ) exp{i }( x ) . (1.32)

Para que el potencial V () est acotado inferiormente (es decir, exista un estado de
mnima energa, el vaco) el parmetro > 0. Respecto a 2 , existen dos posibilidades:
Si 2 > 0, el potencial tiene slo un mnimo trivial, en ( x ) = 0. Se trata entonces
de un campo escalar de masa y acoplamiento curtico .
Si 2 < 0, el mnimo corresponde a las configuraciones del campo que satisfacen
r
2 v
|h0|( x )|0i| |0 ( x )| = >0, V (0 ) = v4 . (1.33)
2 2 4

Debido a la invariancia de fase del lagrangiano, existen por tanto un nmero infinito
de estados de mnima energa, todos ellos conectados por las transformaciones de fase,
v
0 ( x ) = exp{i } . (1.34)
2
Eligiendo uno de ellos como el estado fundamental del sistema (el vaco fsico), por
ejemplo = 0, la simetra se rompe espontneamente. Si parametrizamos las excita-
ciones del campo sobre el vaco fsico como
1
( x ) = [v + 1 ( x ) + i2 ( x )] , (1.35)
2
donde 1 ( x ) y 2 ( x ) son campos reales, el potencial toma la forma

2
V () = V (0 ) 2 21 + v1 ( 21 + 22 ) + ( + 22 )2 . (1.36)
4 1
1.1. El Modelo Estndar 9

p
Vemos que 1 tiene masa m 1 = 22 , mientras que 2 no tiene masa. La aparicin
de esta partcula sin masa (bosn de Goldstone) es fcil de entender: 2 describe las
excitaciones a lo largo de una direccin plana del potencial, es decir a estados que tie-
nen la misma energa del estado fundamental. Estas excitaciones no cuestan energa y
corresponden por tanto a un estado sin masa. En este caso hay un solo bosn de Golds-
tone porque al elegir un vaco hemos roto la nica simetra (bajo transformaciones de
fase) del vaco.

Masas para los bosones de gauge dbiles

Veamos ahora cmo implementar este mecanismo para dar masa a los bosones de
gauge dbiles del SM. En el SM la simetra est rota del siguiente modo,
SSB
SU(2) L U(1)Y U(1)QED . (1.37)
Para lograr este esquema de SSB hemos de introducir un doblete de campos escalares
complejos (cuatro campos reales: dos cargados y dos neutros),
!
(+)
= (1.38)
(0)

y el lagrangiano invariante bajo SU(2) L U(1)Y ,

L S = ( D ) D V () , V ( ) = 2 + ( )2 (1.39)

con > 0, 2 < 0 y


h i 1
e
D = igW + ig y B , y = Q T3 = . (1.40)
2
El potencial escalar es similar al anterior y el mnimo degenerado corresponde a
! r
1 0 2
|h0|( x )|0i| |0 ( x )| = , v= . (1.41)
2 v

Solo los campos escalares neutros pueden adquirir un valor esperado en el vaco (vev)
pues la carga es una cantidad conservada. Ntese que el fotn slo se acopla a los
campos escalares cargados, cuyo vev es nulo, lo que ser crucial para que el fotn no
adquiera masa, como veremos. Al elegir uno entre todos los posibles estados funda-
mentales (1.41), todos ellos conectados por transformaciones SU(2) L U(1)Y (cuatro
generadores), se rompe espontneamente esta simetra quedando como remanente
U(1)QED (un generador), lo que da lugar a la aparicin de tres escalares sin masa.
Parametrizamos ahora el doblete escalar en trmino de excitaciones sobre el vaco
fsico,
!
n o 1 0
( x ) = exp i i i ( x ) , (1.42)
2 2 v + H (x)
10 Captulo 1: La teora electrodbil

donde sigue habiendo cuatro campos escalares reales, i ( x ) y H ( x ). Los tres campos
i ( x ), son los que seran bosones de Goldstone pero haciendo uso de la invariancia gauge
del langrangiano podemos transformar ( x ) en cada punto x por un campo en el que
stos desaparecen, preservndose como nico campo escalar fsico el bosn de Higgs
H ( x ). As, en el llamado gauge unitario,
!
n o 1 0
G
( x ) exp i i i ( x ) ( x ) = [v + H ( x )] . (1.43)
2 2 1

Los tres grados de libertad que aparentemente se pierden se convierten en el estado


de polarizacin longitudinal de W y Z pues, tras la SSB, W y Z se convierten en
campos masivos de spin 1. En efecto,
 2 
G 1 2 g g2
( D ) D H H + (v + H ) W W + Z Z , (1.44)
2 4 8 cos2 W
que contiene los trminos de masa para los bosones dbiles,
1
MZ cos W = MW = vg , (1.45)
2
mientras que el fotn permanece sin masa. Todo ello preservndose la simetra gauge
del lagrangiano. El precio que hemos de pagar es la introduccin del campo de Higgs.

El bosn de Higgs

H H H
H

H H H

Figura 1.5: Autoacoplamientos del bosn de Higgs.

El LS de (1.39) incluye el bosn de Higgs y sus autointeracciones cbicas y curticas


L H (Figs 1.5), as como las interacciones del Higgs con los bosones de gauge L HV 2
(Fig. 1.6):
1
LS v4 + L H + L HV 2 , (1.46)
4
donde
1 1 2 2 M2H 3 M2H 4
LH = H H M H H H 2H , (1.47)
2 2 2v 8v
 2   
2 2 H 1 2 2 H2
L HV 2 = MW W W 1 + H + 2 + MZ Z Z 1 + H + 2 (1.48)
v v 2 v v
1.1. El Modelo Estndar 11

W Z
H H

W Z
W H Z H

W H Z H

Figura 1.6: Acoplamientos del Higgs con los bosones de gauge.

y la masa de Higgs viene dada por


q
MH = 22 = 2v . (1.49)

El LHC anunci en julio de 2012 el descubrimiento de una partcula con propiedades


consistentes con las esperadas para el bosn de Higgs del SM y una masa de unos
125 GeV [6]. Los datos de Tevatron son compatibles con este descubrimiento [7].

Parmetros del modelo: predicciones y medidas

Hasta ahora hemos introducido cuatro parmetros libres: g, g , y , o equivalente-


mente, = e2 /(4 ), sin2 W , MZ y M H . Ntese que el modelo predice que MW < MZ ,
lo que est de acuerdo con los valores experimentales [8]:

MZ = 91.1876 0.0021 GeV , MW = 80.385 0.015 GeV . (1.50)

De estos valores experimentales se deduce el ngulo de mezcla electrodbil


2
MW
2
sin W = 1 2 = 0.223 , (1.51)
MZ

valor que est de acuerdo con el que se obtiene a partir de la medida de la constante
de Fermi GF = (1.1663787 0.0000006) 105 GeV2 [8], que a su vez se obtiene de la
medida de la vida media del mun ( = (2.1969811 0.0000022) 106 s [8]):

1 G2F m5
= = 3
f (m2e /m2 ) , f ( x ) 1 8x + 8x3 x4 12x2 log x , (1.52)
192

recordando que, a partir del modelo de Fermi de cuatro fermiones,

g2 g2 4
2 q2
2
= 4 2GF . (1.53)
MW MW sin2 W MW
2
12 Captulo 1: La teora electrodbil

Usando las medidas de 1 = 137.035999074 (44) [8], MW y GF se obtiene sin2 W =


0.215, en bastante buen acuerdo con (1.51). La pequea discrepancia se resuelve cuan-
do se incluyen las correcciones radiativas (cunticas).
La constante de Fermi tambin proporciona directamente el vev del campo escalar
(la llamada escala electrodbil),
 1/2
v= 2GF 246 GeV . (1.54)

Masas para los fermiones

H
f = u, d,

Figura 1.7: Acoplamiento del bosn de Higgs con fermiones.

Consideremos por el momento slo una familia de quarks y leptones. Un trmino


de masa ferminico Lm = m = m(L R + R L ) no est permitido porque
rompe explcitamente la simetra gauge. Sin embargo, como hemos introducido un
doblete escalar adicional en el modelo, podemos escribir el siguiente acoplamiento
fermin-escalar invariante gauge:
! ! !
 (+)  (0) (+)
LY = y1 u, d L d R y2 u, d L uR y3 (e , e) L e R + h.c. ,
( 0 ) () (0)
(1.55)
donde el segundo trmino involucra el campo escalar conjugado de carga c i2
(que se transforma bajo SU(2) de la misma forma que ) y hemos supuesto que no
existe el R . Despus de la SSB, este lagrangiano tipo Yukawa toma la forma
1 
+ y2 uu + y3 ee

LY = (v + H ) y1 dd (1.56)
2
en el gauge unitario. As que la SSB tambin genera las masas de los fermiones, pro-
porcionales a los correspondientes acoplamientos de Yukawa:
v v v
m d = y1 , m u = y2 , m e = y3 . (1.57)
2 2 2
Las masas de los fermiones se determinan experimentalmente. Los acoplamientos de
Yukawa se fijan en trminos de las masas:
 
H 
+ mu uu + me ee .
LY = 1 + md dd (1.58)
v
1.2. Rplicas de familias ferminicas 13

1.2 Rplicas de familias ferminicas


Sabemos que en la naturaleza existen tres familias de quarks y leptones. Se trata de
copias idnticas de la misma estructura SU(2) L U(1)Y , siendo los valores de las
masas la nica diferencia.
Consideremos el caso general de nG generaciones de fermiones y denotemos jI , jI ,
u jI , d jI los miembros de la familia j (j = 1, . . . , nG ), con propiedades de transformacin
bien definidas bajo el grupo de gauge. Hasta ahora habamos omitido el superndice I.
El lagrangiano de Yukawa invariante gauge ms general tiene la forma
( " ! ! #
  (+) (0)
(d) (u )
LY = u jI , djI y jk I
dkR + y jk I
ukR
L ( 0 ) ()
jk
! )
  (+)
(l )
+ jI , jI y jk I
kR + h.c., (1.59)
L ( 0 )

(d) (u ) (l )
donde y jk , y jk and y jk son constantes de acoplamiento arbitrarias y seguimos supo-
niendo que no existen neutrinos right.

1.2.1 Autoestados de masa y de interaccin

Despus de la SSB, de el lagrangiano de Yukawa puede escribirse


 
H n I o
LY = 1 + d L Md d RI + u LI Mu u RI + l LI Ml l RI + h.c. . (1.60)
v
Los smbolos d I , u I y l I denotan vectores en el espacio de sabor nG -dimensional. Las
matrices de masa vienen dadas por
(d) v (u ) v (l ) v
(Md )ij yij , (Mu )ij yij , (Ml )ij yij . (1.61)
2 2 2
La diagonalizacin de estas matrices determina los autoestados de masa d j , u j y j , com-
binaciones lineales de autoestados de interaccin d jI , u jI y jI , respectivamente.
Las tres matrices M f pueden escribirse como

M f = H f U f = Sf M f S f U f (1.62)
q
donde H f M f Mf es una matriz hermtica definida positiva y U f es unitaria. Cada
H f puede diagonalizarse mediante una matriz unitaria S f . La matriz resultante, M f ,
es diagonal y definida positiva.
En trminos de las matrices diagonales
Md = diag(md , ms , mb , . . .) , Mu = diag(mu , mc , mt , . . .) , Ml = diag(me , m , m , . . .)
(1.63)
14 Captulo 1: La teora electrodbil

u c t
dj ui

W Vij W Vij
ui dj
d s b
Figura 1.8: Transiciones que cambian el sabor a travs de acoplamientos de corrientes
cargadas con bosones W .

el lagrangiano de Yukawa toma la forma


 
H n o
LY = 1 + d Md d + u Mu u + l Ml l , (1.64)
v

donde los autoestados de masa se definen mediante

d L Sd d LI , u L Su u LI , l L Sl l LI ,
d R Sd Ud d RI , u R Su Uu u RI , lR Sl Ul lRI . (1.65)

Ntese, que los acoplamientos con el Higgs son proporcionales a las masas de los
fermiones.

1.2.2 Conservacin del sabor en corrientes neutras y GIM

Como f LI f LI = f L f L y f RI f RI = f R f R ( f = u, d, ), la forma del lagrangiano de corrientes


neutras es la misma en trminos de los autoestados de masa. Por eso, no existen
corrientes neutras que cambien el sabor (FCNC) en el SM (mecanismo GIM) [9].

1.2.3 Mezcla de sabores de quarks: la matriz de CKM

Sin embargo u LI d LI = u L Su Sd d L 6= u L d L , pues en general Su 6= Sd . Se define la


matriz de Cabibbo-Kobayashi-Maskawa (CKM) [10],

V Su Sd u L d L = u L V d L . (1.66)

La matriz nG nG de CKM es unitaria y aparece en interacciones de corrientes carga-


das de quarks:
( " # )
g
LCC = W ui (1 5 ) Vij d j + (1 5 ) + h.c. .(1.67)
2 2 ij = e,,

La matrix V acopla cada quark tipo up a todos los quarks de tipo down.
Hemos supuesto que los neutrinos no tienen masa. En ese caso, siempre podemos
redefinir los sabores de los neutrinos de modo que eliminamos la mezcla anloga en
1.2. Rplicas de familias ferminicas 15

el sector leptnico: LI l LI = LI Sl l L L l L y tenemos conservacin de sabor. Ntese


que si los ui o los d j tuvieran masas degeneradas podramos igualmente redefinir los
campos y habra tambin conservacin de sabor en el sector de quarks. Si se incluyen
campos R podran introducirse acoplamientos de Yukawa para los neutrinos, dando
()
lugar a una matriz de masas (M )ij yij v/ 2 y obtendramos violacin del sabor
leptnico a travs de una matriz de mezcla anloga a la CKM. El fenmeno de las
oscilaciones de neutrinos, que estudiaremos en la siguiente seccin, nos indica que en
realidad los neutrinos tienen masa, aunque diminuta.
Las masas de los fermiones y la matriz de mezcla V de los quarks vienen deter-
(f)
minadas por las correpondientes matrices de acoplamientos de Yukawa yij , que son
parmetros libres. Una matriz nG nG unitaria general se caracteriza por n2G par-
metros reales: nG (nG 1)/2 mdulos y nG (nG + 1)/2 fases. Varias de estas fases
son irrelevantes, porque uno puede redefinir las fases de los campos (no son fsicas):
ui eii ui y d j ei j d j , de modo que Vij Vij ei( j i ) . Esto significa que hay
2nG 1 fases inobservables. Por tanto, el nmero de parmetros libres fsicos se redu-
ce a (nG 1)2 : nG (nG 1)/2 mdulos y (nG 1)(nG 2)/2 fases.
As, si slo se mezclan dos generaciones V viene determinada por un solo parme-
tro, el ngulo de Cabibbo:

cos C sin C
V = . (1.68)
sin C cos C
Para nG = 3, la matriz de CKM viene descrita por 3 ngulos y una fase. Existen diferen-
tes (pero equivalentes) representaciones en la literatura. La llamada parametrizacin
estndar [8] es:

Vud Vus Vub

V = V cd V cs V cb


Vtd Vts Vtb

1 0 0 c13 0 s13 ei13 c12 s12 0

= 0 c23 s23
0 1 0 s
12 c12 0

0 s23 c23 s13 ei13 0 c13 0 0 1

c12 c13 s12 c13 s13 e i13

i i
= s12 c23 c12 s23 s13 e 13 c12 c23 s12 s23 s13 e 13 s23 c13 , (1.69)

s12 s23 c12 c23 s13 ei13 c12 s23 s12 c23 s13 ei13 c23 c13
donde cij cos ij y sij sin ij (i, j = 1, 2, 3). Los ngulos 12 , 13 y 23 pueden
hacerse yacer todos en el primer cuadrante, mediante una redefinicin apropiada de
las fases de los campos de los quarks. De este modo, cij 0 , sij 0 y 0 13 2 .
Ntese que 13 es la nica fase compleja del lagrangiano del SM. Por ello, es la
nica fuente posible de violacin de CP. De hecho, fue por esta razn que se supuso
16 Captulo 1: La teora electrodbil

exista una tercera generacin, antes del descubrimiento del bottom y el . Con slo
dos generaciones, el SM no podra explicar la violacin de CP en el sistema de kaones,
por ejemplo.
Experimentalmente se tiene acceso slo a los mdulos de Vij . En la tabla 1.3 se
presentan los valores que se han podido determinar directamente. El resto se obtienen
utilizando la unitariedad de la matriz.

Tabla 1.3: Determinaciones directas de elementos de matriz CKM Vij . Extrado de [11].

CKM Valor Fuente


|Vud | 0.9740 0.0005 Desintegracin nuclear
0.9729 0.0012 n p e e
0.9749 0.0026 + 0 e+ e
0.9739 0.0005 promedio
|Vus | 0.2220 0.0025 K e+ e
0.2199 0.0026 Desintegraciones de hiperones
0.2208 0.0034 Desintegraciones de
0.2219 0.0025 K+ / +
+ y retculo
0.2212 0.0025 promedio
|Vcd | 0.224 0.012 d cX
|Vcs | 0.97 0.11 W+ cs
0.975 0.013 W+ had. , Vuj , Vcd , Vcb
|Vcb | 0.0414 0.0021 B D
0.0410 0.0015 b c
0.0411 0.0015 promedio
|Vub | 0.0033 0.0006 B l ,
0.0047 0.0009 b u
0.0037 0.0005 promedio
q
+0.16
|Vtb | / q |Vtq |2 0.97 0.12 t b W/q W
13 60 14 sistemas K y B

1.3 Masas, mezclas y oscilaciones de neutrinos


Hemos visto que si los neutrinos no tuvieran masa (o si todos tuvieran la misma
masa aunque no fuera nula) no habra mezcla de sabores en el sector leptnico, se
conservara el sabor leptnico: el nmero de electrones, el de muones y el de taus.
1.3. Masas, mezclas y oscilaciones de neutrinos 17

Sin embargo, debido el fenmeno de las oscilaciones de neutrinos, sabemos que los
neutrinos no estn degenerados en masa. Podran entonces darse procesos tales como
e, y otros parecidos, que estudiaremos en otro captulo. En ste nos centraremos
en qu son las oscilaciones, en qu experimentos se han observado y qu informacin
nos aportan sobre las masas de los neutrinos y la matriz de mezcla de los leptones.
Previamente necesitamos introducir el concepto de fermin de Majorana.

1.3.1 Fermiones de Dirac y de Majorana

A diferencia de los quarks y los leptones cargados, los neutrinos pueden ser su propia
antipartcula (fermiones de Majorana), porque todas sus cargas son nulas. Esto abre
la posibilidad de que neutrinos y antineutrinos se mezclen, enriqueciendo an ms la
mezcla de sabores.
Recordemos que un fermin de Dirac es un campo (espinor) con cuatro componentes
independientes: dos estados de quiralidad (left y right) para los estados de partcula y
antipartcula:

L = PL , R = PR , cL (L )c = PR c , Rc (R )c = PL c , (1.70)

donde c C T = i2 es el espinor conjugado (transformado bajo conjugacin de


carga) con C = i2 0 , = 0 y PR,L = 12 (1 5 ).
Un fermion de Majorana tiene en cambio dos grados de libertad pues c :

L = Rc , R = cL , (1.71)

donde | |2 = 1. Veremos que la fase es proporcional a la CP-paridad, = iCP .


Ntese que C = C T = C1 = C y C C1 = T . Veamos que la CP-paridad
de un campo de Majorana es CP = i:5

UCP ( x )UCP CP 0 ( xP ) , donde x ( x0 , ~x ) , xP ( x0 , ~x) (1.72)

UCP ( x )UCP =
CP 0T ( xP ) , pues (0 ) = ( 0 )T = 0T (1.73)

UCP C T ( x )UCP =
CP C0T T ( xP ) , T 0 T
pues = ( ) = 0T
(1.74)

UCP C T ( x )UCP =
CP 0 C T ( xP ) , pues C C 0T 1
= 0
(1.75)

UCP c ( x )UCP =
CP 0 c ( xP ) . (1.76)

Comparando la primera y la ltima igualdad y utilizando que = c :



CP = CP CP = i q.e.d. (1.77)

Veamos que hay tres tipos de trminos de masa podemos construir a partir de
5 Los operadores sobre el espacio de Dirac (ej. C) conmutan con los que actan sobre el espacio de
Fock (ej. UCP ).
18 Captulo 1: La teora electrodbil

todos los bilineales escalares posibles:

L R = Rc cL , R L = cL Rc (F = 0)
)
L cL , cL L (1.78)
(|F| = 2)
R Rc , Rc R

El trmino de masa tipo Dirac conecta componentes L y R del mismo campo,

LD = m D R L + h.c. (1.79)

Los de tipo Majorana conectan componentes L y R de campos conjugados,


1 1
LM = m L cL L + m R Rc R + h.c. . (1.80)
2 2
Ntese que c = T C.
Vemos que el trmino de masa de Dirac conserva el nmero ferminico (F = 0)
mientras que los de Majorana lo violan en dos unidades (|F| = 2). En general, ambos
tipos de trminos pueden estar presentes y entonces
1 1
LDM = m D R L + m L cL L + m R Rc R + h.c. . (1.81)
2 2

Conviene introducir un doblete de campos de Majorana autoconjugados (0c 0


i = i ):
! ! !
0 c
L
0 = 1
= 0L + 0R , 0L = , 0R = 0c
L =
L
. (1.82)
20 c
R R

Entonces
1 1 1 0
LDM = 0c
L M0L + h.c. = 0T 0 0
L CM L + h.c. = R M L + h.c. , (1.83)
2 2 2
" #
mL mD
donde M = .
mD mR
La matriz M es cuadrada, simtrica (y real si se conserva CP). Puede diagonalizarse
con una matriz unitaria Ue (ortogonal Ue = O si se conserva CP) mediante:

Ue T MUe = M = diag(m1 , m2 ) , 0L = Ue L , 0R = 0c e
L = U R . (1.84)

Para conseguir que los autovalores sean reales y positivos, la matriz Ue puede multi-

plicarse por una matriz diagonal de fases complejas :

Ue U Ue , ij = i ij , i R, (1.85)

que corresponde a elegir los campos fsicos como


c
i = iL + i iL , (1.86)
1.3. Masas, mezclas y oscilaciones de neutrinos 19

de donde ic = i i . Comprobaremos que si se conserva CP las i son los signos de los


correspondientes autovalores mi :

i = signo(mi ) , (1.87)
mi = i mi . (1.88)

= i0 C ( x ). T
Veamos ahora que si hay invariancia CP entonces: UCP L ( x )UCP L P
T
0 C ( x ), donde es una fase que vamos a determinar. Si
Sea UCP L ( x )UCP L P
= L
el lagrangiano LDM es invariante bajo CP entonces: UCP LDM ( x )UCP DM ( xP ). Por
tanto:

UCP TL ( x )CM L ( x )UCP = TL ( xP )CM L ( xP ) (1.89)
T
L ( xP )MC L ( xP ) = TL ( xP )CM L ( xP ) (1.90)

M = M , pues C = C (1.91)

de donde = i. Elegimos = i. Tambin obtenemos que M es real (M = M ) pues es


simtrica.
Veamos finalmente que si = c entonces la CP-paridad de es CP = i. En
efecto:

UCP L ( x )UCP = U UCP 0L ( x )UCP

, pues L = U 0L 0L = U L (1.92)
T T
= iU 0 C 0L ( xP ) , pues UCP 0L ( x )UCP

= i0 C 0L ( xP ) (1.93)
T T T
= iU U 0 C L ( xP ) , pues 0L = U L 0L = U L (1.94)
T p
= i0 C L ( xP ) , pues U = O T , U = O U = O (1.95)
= i0 R ( xP ) . (1.96)

Por otro lado, tenemos que



UCP ( x )UCP CP 0 ( xP ) (1.97)

UCP L ( x )UCP = CP 0 R ( xP ) . (1.98)

Por tanto

CP = i (1.99)

El fermin de Dirac como caso particular de dos de Majorana

Si los trminos de masa de Majorana son m L = m R = 0 encontramos que


" #
1 1 1
m1 = m D , m2 = m D , O = . (1.100)
2 1 1
20 Captulo 1: La teora electrodbil

Los autoestados
1 1
1 = (01 02 ) 1L = (L Rc ) , c
1R = 1L , (1.101)
2 2
1 1
2 = (01 + 02 ) 2L = (L + Rc ) , c
2R = 2L , (1.102)
2 2
deben ser reemplazados por los estados fsicos
c
1 = 1L + 1 1L [ 1 = 1 ] , (1.103)
c
2 = 2L + 2 2L [ 2 = + 1 ] , (1.104)

que tienen masa positiva,

1
L = m D (1 1 + 2 2 )
2
1
= m D (1 1 + 2 2 )
2
= m D ( R L + L R ) . (1.105)

Vemos que dos fermiones de Majorana de igual masa y CP-paridades opuestas forman
un fermin de Dirac.
Ntese que la transformacin que proporciona directamente los estados fsicos es
efectivamente
" # " #
i 0 1 i 1
U =O =O = . (1.106)
0 1 2 i 1

1.3.2 Seesaw: por qu los neutrinos son tan ligeros?



Figura 1.9: Ilustracin del mecanismo de seesaw.

En el SM con un doblete de Higgs es imposible construir un trmino de masas


del tipo Lc L que sea invariante gauge. Por tanto, necesariamente m L = 0. En cambio,
un trmino del tipo Rc R (singlete) puede introducirse a mano sin romper la simetra.
Consideremos por tanto la matriz de masas
" #
0 mD
M= (1.107)
mD mR
1.3. Masas, mezclas y oscilaciones de neutrinos 21

que es diagonalizada por la matriz


" #
cos sin 2m D mR
O= , tan 2 = , cos 2 = q , (1.108)
sin cos mR m2R + 4m2D

dando los autovalores


 q 
1 2 2
m1,2 = m R m R + 4m D . (1.109)
2

En el caso de que m D m R , obtenemos un neutrino ligero () y otro muy pesado


(N) con CP-paridades opuestas y un pequesimo ngulo de mezcla (mecanismo de
seesaw [12]) :

m2D p
m m1 , m N m2 m R m , m /m N 1 , (1.110)
mR
1 L + 1 Lc [ 1 = 1 ] , N 2 Rc + 2 R [ 2 = + 1 ] . (1.111)

Sabemos que existen nG = 3 generaciones de neutrinos left [iL (i = 1, . . . , nG )] y


puede haber un nmero arbitrario nR de campos right [jR ( j = 1, . . . , nR )]. La matriz
de masas es entonces la matriz cuadrada, compleja y simtrica (nG + nR ) (nG + nR ),
" #
0 mD T
M= , con mD : nR nG y mR : nR nR . (1.112)
mD mR

As, si suponemos que mD es del orden de la escala electrodbil ( 200 GeV) y la


escala a la que se violara el nmero leptnico, es muy alta (del orden de la escala de
gran unificacin, mR 1015 GeV) obtenemos nG = 3 neutrinos ligeros (i ) con masas
m (102 101 ) eV, que es justamente el orden de magnitud correcto para explicar
las diminutas masas de los neutrinos que son compatibles con los experimentos de os-
cilaciones, y nR extremadamente pesados (Nj ) que jugaran un papel muy importante
para generar la asimetra barinica del universo a partir de sus desintegraciones fuera
del equilibrio (leptognesis).

1.3.3 Mezcla de sabores leptnicos: la matriz de PMNS

Si el mecanismo de seesaw fuera cierto, los neutrinos seran partculas de Majorana


(i = i ic , Nj = j Njc ). Los tres autoestados de masa ms ligeros i (i = 1, 2, 3) corres-
ponderan a una mezcla de autoestados de interaccin6 ( = e, , ), anloga a la
definida en (1.65) para los quarks y los leptones cargados,

| i = Ui |i i , o bien |i i = Ui | i (1.113)
i

6 Pondremos una letra griega como subndice en vez de un superndice I para indicar que se trata
de autoestados de interaccin. Los de masa tendrn como subndice una letra latina.
22 Captulo 1: La teora electrodbil

j i

W Uji W Uji
i j

Figura 1.10: Transiciones que cambian el sabor leptnico a travs de acoplamientos de


corrientes cargadas con bosones W .

con dos importantes diferencias: los campos contienen ambas quiralidades y la ma-
triz U contiene dos fases fsicas adicionales 1 , 2 (fases de Majorana), que no pue-
den ser absorbidas mediante redefinicin de fases de los campos, ya que la relacin
i = i ic lo impide. U se conoce como la matriz de Pontecorvo-Maki-Nakagawa-Sakata
(PMNS) [13]. En la parametrizacin estndar:

Ue1 Ue2 Ue3

U= U 1 U 2 U 3


U1 U2 U3

c12 c13 s12 c13 s13 e i13 i1
e 0 0

= s12 c23 c12 s23 s13 ei13 c12 c23 s12 s23 s13 ei13 s23 c13 0 ei2 0
.

s12 s23 c12 c23 s13 ei13 c12 s23 s12 c23 s13 ei13 c23 c13 0 0 1

(1.114)
Obviamente los valores de estos parmetros han de determinarse experimentalmente
y no tienen nada que ver con los del sector de quarks. sta es la matriz que aparece
en la interaccin de corrientes cargadas de leptones,
( " # )
g
LCC = W (1 5 ) Ui i + h.c. , (1.115)
2 2 i

en la base en la que los leptones cargados son diagonales (Fig. 1.10).


Veremos en seguida que los experimentos de oscilaciones de neutrinos no son sen-
sibles a las fases de Majorana, y por tanto son incapaces de discenir si los neutrinos
son partculas de Dirac o de Majorana. 7 Para ello se necesita un experimento que com-
pruebe la conservacin del nmero leptnico, violado por los trminos de Majorana.

1.3.4 Oscilaciones de neutrinos

Se trata de un fenmeno mecano-cuntico debido a que los autoestados de masa |i i


(de energa bien definida) no coinciden con los de interaccin | i (los que se producen
7
Excepto si existen nuevas interacciones de los neutrinos right, pues entonces se propagan de forma
diferente en materia [14].
1.3. Masas, mezclas y oscilaciones de neutrinos 23

en una corriente cargada acompaando al leptn cargado = e, , ),


| i = Ui |i i . (1.116)
i

La evolucin temporal del estado inicial | i viene dada por el operador evolucin
temporal, que es diagonal en la base de autoestados de masa:
t=0: | (0)i = | i
t: | (t)i = eiEi t Ui |i i . (1.117)
i

En la prctica, los neutrinos son relativistas (mi Ei ), as que t L (la distancia que
han recorrido desde que se produjeron) y, si se han producido con momento p E,
q m2 m2
Ei = p2 + m2i p + i p + i . (1.118)
2p 2E
Por tanto, al cabo de una distancia L el neutrino puede oscilar a cualquier sabor
con una probabilidad
2


P( ; L) = |h | ( L)i|2 = hj |Uj eiEi L Ui |i i
ij
2 2

2
= Ui Ui eiEi L = Ui Ui eimi L/2E
i i
im2ij L/2E
= U j Uj Ui Ui e
ij

= + 2 Re(U j Uj Ui Ui )[cos(m2ij L/2E) 1]


i> j

+2 Im(U j Uj Ui Ui ) sin(m2ij L/2E) . (1.119)


i> j

donde se ha usado hj |i i = ij , se ha definido m2ij m2i m2j , se ha separado la


sumatoria en

= ++ , (1.120)
ij i= j i> j i< j

y se ha utilizado la unitariedad de U que lleva a la igualdad:

(U j Uj Ui Ui ) = (U j Uj ) (Ui Ui ) (U j Uj Ui Ui )
i= j j i i 6= j

= 2 Re(U j Uj U i Ui ) . (1.121)
i> j

Finalmente, conviene escribir


P( ; L) = 4 Re(U j Uj Ui Ui ) sin2 [1.27m2ij L/E]
i> j

+2 Im(U j Uj Ui Ui ) sin[2.54m2ij L/E] , (1.122)


i> j
24 Captulo 1: La teora electrodbil

donde se ha introducido
L [km]
m2ij L/4E 1.27m2ij [eV2 ] . (1.123)
E [GeV]

Ntese que las fases de Majorana son irrelevantes y que

P( ; U) = P( ; U ) (1.124)

de modo que si la invariancia CPT se satisface,

P( ) = P( ) (1.125)

tenemos que

P( ; U) = P( ; U ) , (1.126)

y si CP se conserva entonces

P( ) = P( ) , (1.127)

de lo contrario, el ltimo trmino de (1.122) expresa la violacin de CP.


En la naturaleza parece haber tres sabores y, por tanto, dos diferencias de masas
m221 m232 m231 , que resultan ser muy distintas. Entonces,

corta larga
P( 6= ) P + P (1.128)

con
corta
P = 4U23 U23 sin2 [1.27m232 L/E] (1.129)
larga
P = 4U 1 U1 U 2 U2 sin2 [1.27m221 L/E] (1.130)

donde se han despreciado por simplicidad efectos de violacin de CP y se ha usado la


unitariedad de U. Seleccionando el rango apropiado de L/E la oscilacin es sensible
slo a la componente corta o a la larga, con lo que ambos tipos de oscilaciones estn
desacopladas y se pueden tratar como si de forma efectiva slo hubiera mezcla de dos
sabores.
En el caso de oscilaciones entre dos sabores y , la matriz unitaria U se reduce
a
" #
cos sin
U= , (1.131)
sin cos

y las probabilidades de oscilacin entre estos dos sabores son

P( ) = 1 sin2 2 sin2 [1.27m2 L/E] , (1.132)


2 2 2
P( 6= ) = sin 2 sin [1.27m L/E] . (1.133)
1.3. Masas, mezclas y oscilaciones de neutrinos 25

Tabla 1.4: rdenes de magnitud de los valores de m2 que pueden explorarse en


distintos experimentos. SBL (LBL) significa short (long) baseline, respectivamente.
Experimento L [m] E [MeV] m2 [eV2 ]
Reactores SBL 102 1 102
Reactores LBL 103 1 103
Aceleradores SBL 103 103 1
Aceleradores LBL 106 103 103
Atmosfricos 107 103 104
Solares 1011 1 1011

Si m2 L/E 1 la probabilidad de transicin es muy sensible a la distancia (pinsese


en una fuente extensa, por ejemplo) y entonces resulta una probabilidad promediada,
independiente de m2 ,
1
P( ) = 1 sin2 2 , (1.134)
2
1
P( 6= ) = sin2 2 . (1.135)
2
En la Tabla 1.4 se ilustran los m2 que pueden explorarse en distintos experimentos.
Cuando los neutrinos viajan en materia densa (atravesando el Sol, la Tierra o una
supernova, por ejemplo) interaccionan con el las partculas del medio de forma di-
ferente segn el sabor. Es lo que se denomina efecto Mikheyev-Smirnov-Wolfenstein
(MSW). Las probabilidades de transicin anteriores se ven modificadas para acomodar
este efecto, pero siguen dependiendo de diferencias de cuadrados de masas, siendo
tambin independientes de las fases de Majorana.

Experimentos de oscilaciones de neutrinos

Son sensibles generalmente a un rango determinado de energas (limitado por el sis-


tema de deteccin). Existen esencialmente dos tipos de experimentos:
Experimentos de aparicin: En los que se detectan sabor(es) que no estaban pre-
sentes en el haz de inicial. Es decir, miden P( ).
Experimentos de desaparicin: En los que se detectan menos de los que se espera-
ban procedentes del haz inicial: Es decir, miden P( ) = 1 P( X ).
Las fuentes de neutrinos son variadas, unos de origen natural y otros producidos
en reacciones nucleares o en aceleradores de partculas:

Los neutrinos solares son e y se producen en reacciones termonucleares: ciclos


pp (Fig. 1.11) y CNO (Fig. 1.12). El primero produce el 98 % de la energa que
emite el Sol. Su flujo y su energa son variados (Fig. 1.13).
26 Captulo 1: La teora electrodbil

(pp) p + p ! 2H + e+ + e p + e + p ! 2H + e (pep)

99.6% XXXXXXXX  0.4%


XXXX
?
2 H + p ! 3 He +

X
    XXXXXXXXX
 XXXXX
85%   XX 2  10 5 %
? ?
3 He + 3 He ! 4He + 2 p 3 He + p ! 4 He + e+ + e

?15% (hep)
3 He + 4 He ! 7Be +

PPPPPPP
99.87%  PP 0.13%
? ?
(7 Be) 7 Be + e ! 7 Li + e 7 Be + p ! 8 B +

? ?
7 Li + p ! 2 4 He 8 B ! 8 Be + e+ + e (8 B)

?
8 Be ! 2 4 He

Figura 1.11: El ciclo pp.

12 C + p ! 13N + - 13N ! 13C + e+ + e (13 N)


6
?
15 N + p ! 12 C + 4 He 12C + p ! 14N +
699:9%
?
(15 O) 15O ! 15N + e+ + e  14N + p ! 15O +
0:1% 6
?
15N + p ! 16O + 17O + p ! 14N + 4He
6
?
16 O + p ! 17F + - 17F ! 17O + e+ + e (17 F)

Figura 1.12: El ciclo CNO.


1.3. Masas, mezclas y oscilaciones de neutrinos 27

Figura 1.13: Flujo de neutrinos solares a una unidad astronmica de distancia.

Los atmosfricos son producidos por rayos csmicos (p, ncleos, etc) en la at-
msfera terrestre:

rayo csmico + nuclen (K ) + X


(K ) + ( )
e + e (e ) + ( ) . (1.136)

Por tanto, si no hubiera oscilaciones, uno esperara el doble de que de e . Su


energa vara entre unos pocos MeV y 100 GeV. El baseline vara dependiendo del
ngulo cenital con que se observen:

L 15 km [ = 0 , downgoing]
L 13000 km [ = 180 , upgoing atravesando la Tierra] . (1.137)

Su flujo es aproximadamente de 100 m2 sr1 s1 .

Otros neutrinos naturales son los producidos por supernovas (colapso estelar),

e + p n + e
e + e+ +
n + p n + p + , (1.138)

con energas tpicas del orden de 10 MeV, y los producidos por Ncleos Galcti-
cos Activos (AGN), del orden de 1 TeV.
28 Captulo 1: La teora electrodbil

En reactores nucleares se producen e en la desintegracin de productos de


fisin inestables. Su flujo es del orden de 1020 s1 GW1 y su energa del orden
del MeV. Los detectores se suelen situar a una distancia de la central nuclear del
orden de 1 km.
Finalmente, en aceleradores de partculas se producen haces de neutrinos ha-
ciendo colisionar protones de unos 100 GeV contra un blanco, lo que da lugar a
(de , K ) y e, (de ), con una energa del orden del GeV.

Resultados

Todos los experimentos son consistentes con la oscilaciones entre tres sabores de neu-
trinos. Los anlisis implican 2 diferencias de masa, 3 ngulos de mezcla y 1 fase que
viola CP. De las oscilaciones de neutrinos solares y atmosfricos se deduce que
m221 = m2 m2atm = |m231 | |m232 | . (1.139)
Hasta 2012 slo m221 , |m231 |, 12 y 23 estaban relativamente bien medidos, mientras
que de 13 se conoca una cota superior y casi nada se saba de la fase de CP CP ni
del signo de m231 . La situacin ha cambiado drsticamente en el ltimo ao gracias
a los datos de los experimentos de reactores Daya Bay, Reno y Double Chooz que,
junto con la mejora en estadstica de los experimentos de long baseline T2K y MINOS,
han permitido la determinacin clara de 13 . Vase [15]. En la Fig. 1.14 se muestran los
resultados del fit global a las oscilaciones de 3. Los diferentes contornos corresponden
a regiones permitidas a 1, 90 %, 2, 99 % y 3 CL. Se encuentran los siguientes rangos
de valores (Fig. 1.14) [15]:
m221 = (7.50 0.185) 105 eV2 ,
 
m231 = 2.47 +0.069
0.067 10
3
eV2 (jerarqua normal) ,
 
2
m32 = 2.43 0.065 103 eV2 (jerarqua invertida) ,
+0.042

12 = (33.3 0.8) ,
   
+2.1 +1.2
23 = 40.0 1.5 50.4 1.3 ,
 
+0.44
13 = 8.6 0.46 ,
 
+66
CP = 300 138 . (1.140)

Los experimentos actuales son prcticamente insensibles a la fase de CP. Ntese


que la mezcla entre y es (compatible con) mxima, la de e y es casi mxima
y la de e y es muy pequea. Por tanto nuestro conocimiento actual de la matriz de
PMNS es

0.795 0.846 0.513 0.585 0.126 0.178

|U|3 = 0.205 0.543 0.416 0.730 0.579 0.808 .
(1.141)
0.215 0.548 0.409 0.725 0.567 0.800
1.3. Masas, mezclas y oscilaciones de neutrinos 29

Figura 1.14: Fit global a las oscilaciones de 3. Los diferentes contornos corresponden
a regiones permitidas a 1, 90 %, 2, 99 % y 3 CL. Extrado de [15].
30 Captulo 1: La teora electrodbil

m2 m2
e

m 32 m 22
solar~7.6105eV2
m 12
atmospheric
~2.5103eV2
atmospheric
m2 2 ~2.5103eV2
solar~7.6105eV2
m1 2 m 32

? ?
0 0

Figura 1.15: Espectro de masas normal (izquierda) e invertido (derecha) que es consis-
tente con los experimentos. La fraccin de e , y de cada autoestado de masa se
indica mediante disintas zonas rayadas.

En cuanto al espectro de masas de los neutrinos (Fig. 1.15), ntese que el fenmeno
de las oscilaciones no permite conocer ms que diferencia de masas y por tanto no nos
da informacin sobre la escala de las mismas. Por otro lado el signo de m231 no se
conoce todava, as que el espectro podra ser normal (como el de la Figura) o invertido
(intercambiando las dos masas inferiores con la superior) q o incluso degenerado si el
neutrino ms ligero tuviera una masa mucho mayor que m2atm 0.05 eV.
Tenemos acceso a los valores individuales de las masas (actualmente cotas supe-
riores) a partir de otros tipos de experimentos. En particular, la no observacin de
distorsin alguna en el punto final del espectro de electrones en la radiacin del tritio
impone [8]
r
m2i |Uei |2 < 2 eV. (1.142)
i

Finalmente de los datos de astrofsica y cosmologa obtenemos informacin (depen-


diente del modelo) sobre la suma de las masas de los neutrinos [16],

mi <
(0.36 1.5) eV. (1.143)
i

1.3.5 Test de la violacin del nmero leptnico: 0

Se llama 0 al proceso ( A, Z) ( A, Z + 2) + 2e , en el que un ncleo con A


nucleones, de los cuales Z son protones, se desintegra a otro ncleo con Z + 2 protones
emitiendo dos electrones. Este proceso viola claramente la conservacin del nmero
1.3. Masas, mezclas y oscilaciones de neutrinos 31

Figura 1.16: El mecanismo dominante para 0. Se necesita que i = i .

leptnico (vase Fig. 1.16) y compite con el proceso doble beta estndar en el que
adems se emiten dos antineutrinos, ( A, Z) ( A, Z + 2) + 2e + 2e , el cual est
cinemticamente ms suprimido por disponer de menor espacio fsico. La amplitud
de 0 es proporcional a la masa de Majorana efectiva,

hmi mi U2ei . (1.144)


i

Hay varios grupos experimentales intentando medir este proceso, pero de momento
sin resultados concluyentes. Dado el rango de parmetros acotados por los experimen-
tos de oscilaciones, m221 , m231 , 12 , 23 y 13 , y las fases de CP de Dirac y de Majorana,
pueden hallarse las regiones permitidas para hmi en funcin de min(m j ) suponiendo
un espectro de neutrinos jerrquico normal (NH), invertido (IH) o cuasi-degenerado
(QD), segn se muestra en la Fig. 1.17 (vase [8]).

Figura 1.17: Masa de Majorana efectiva hmi en funcin de min(m j ) (incluyendo una
incertidumbre de 2) compatible con de los experimentos de oscilaciones. Las fases de
Majorana se varan en el intervalo [0, ] y la de Dirac se ha tomado cero. Las bandas
verdes y azules corresponden a combinaciones que conservan CP y las rojas son zonas
donde se viola CP. (Extrada de [8]).
32 Captulo 1: La teora electrodbil
Captulo 2

Observables

2.1 Seccin eficaz

2.1.1 Qu significa?

v
vt

A NB
Blanco

NH
Haz

Figura 2.1: Un blanco con NB partculas es bombardeado por un haz de NH partculas


de velocidad v.

La seccin eficaz es el rea efectiva de una partcula (blanco) vista por un pro-
yectil (en el haz incidente). Supongamos que en el blanco hay NB partculas y que la
superficie de colisin es A. Entonces,

NB
Probabilidad de colisin = . (2.1)
A
Si en el haz hay NH partculas, entonces

NB (# sucesos)
(# sucesos) = NH = A. (2.2)
A NH NB

En la prctica, el haz est formado por una nube de partculas de densidad que

33
34 Captulo 2: Observables

se mueve con velocidad v, as que


(# sucesos) (# sucesos)
NH = vtA = A=
vtANB v tNB
probabilidad de transicin por unidad de t
= , (2.3)
flujo incidente
donde
probabilidad de transicin
por unidad de t = (# sucesos) por unidad de t y por cada dispersor ,
flujo incidente = v .

2.1.2 Probabilidad de transicin y matriz S

p1, m1 p3, m3

.
.
.
p2, m2 pn+2, mn+2

Figura 2.2: Scattering de dos partculas yendo a n en el estado final.

Sean los estados inicial (antes) y final (despus) de la colisin:

|i i | p 1 p 2 i ,
| f i |p3 p4 . . . pn+2 i , (2.4)

y sea pi (p f ) la suma de los cuadri-momentos inciales (finales), respectivamente.


La matriz S conecta los estados asintticos in (t ) y out (t ),

out h f |i iin S f i = h f |S|i i i f + i(2 )4 4 ( pi p f )T f i . (2.5)


Z
S es unitaria, S f i 2 dN f = 1. Por tanto, la probabilidad de transicin a | f i 6= |i i es

2
S f i dN f = (2 )8 4 ( pi p f )4 (0)|T f i |2 dN f
= (2 )4 4 ( pi p f )VT |T f i |2 dN f , (2.6)

donde hemos usado que


Z
4 d4 x ip x
( p) = e (2 )4 4 (0) = VT . (2.7)
(2 )4
VT es un cuadri-volumen infinito que no aparecer en la magnitud observable. La
probabilidad de transicin por unidad de tiempo ser:
2
S f i dN f
probabilidad de transicin = = (2 )4 4 ( pi p f )|T f i |2 VdN f . (2.8)
T
2.1. Seccin eficaz 35

Calcularemos ahora dN f . Primero hemos de recordar cmo se define el estado de


una partcula de momento p:
q
|pi = 2Ep ap |0i , (2.9)

donde el operador ap (ap ) crea (aniquila) una partcula de momento p. Estos operado-
res verifican la regla de conmutacin:

[ aq , ap ] = (2 )3 3 (p q) , (2.10)
p
El factor 2Ep es necesario para que

hq|pi = 2Ep (2 )3 3 (p q) (2.11)

sea invariante Lorentz. En efecto, hagamos un boost de p en la direccin del eje z.


Entonces,

3 (p q ) E3 (p q) E
3 (p q ) = dE
= = 3 (p q )
( dp + 1) ( p3 + E) E
3

Ep 3 ( p q ) = Ep 3 ( p q ) . (2.12)

En el primer paso se ha usado

( x x0 )
( f ( x ) f ( x0 )) = ,
f ( x ) = p3 ( p3 ) = ( E + p3 ) , (2.13)
df
dx ( x = x0 )

en el segundo,
q
dE p
= 3 , pues E = m2 + | p |2 , (2.14)
dp3 E

y en el tercero,

E = (E + p3 ) . (2.15)

As el operador unidad sobre estados de un partcula es


Z
d3 p
1= |pihp| . (2.16)
(2 )3 2Ep
En efecto:
Z Z
d3 p d3 p
1|qi = |pihp|qi = |pi(2 )3 2Ep 3 (p q) = |qi . (2.17)
(2 )3 2Ep 3
(2 ) 2Ep
Con esta normalizacin y usando que
Z
d3 x ipx
3 (p ) = e (2 )3 3 (0) = V , (2.18)
(2 )3
36 Captulo 2: Observables

tenemos que

hp|pi = (2 )3 2Ep 3 (0) = 2Ep V , (2.19)

que podemos interpretar como la probabilidad de encontrar una partcula con momen-
to entre p y p + dp. Entonces, el nmero de estados de una partcula con momentos
entre p y p + dp ser

d3 p Vd3 p
dN = hp|pi = . (2.20)
(2 )3 2Ep (2 )3
Finalmente, el nmero de estados de n partculas del estado final con momentos entre
pi y pi + dpi ser
n +2
Vd3 pi
dN f = . (2.21)
i =3
(2 )3

A partir de (2.8) y (2.21) concluimos que


n +2
Vd3 pi
probabilidad de transicin = (2 )4 4 ( pi p f )|T f i |2 V . (2.22)
i =3
(2 )3

2.1.3 Flujo incidente

Consideremos un haz de densidad igual a una partcula por unidad de volumen:


1
= . (2.23)
V
El flujo incidente ser entonces

p1 p2
v = |v1 v2 | =
1 = | E2 p1 E1 p2 | . (2.24)
V E E2 VE1 E2
1

Para un sistema colineal (p1 ||p2 ) es fcil comprobar que

| E2 p1 E1 p2 | = {( p1 p2 )2 m21 m22 }1/2 , (2.25)

as que

{( p1 p2 )2 m21 m22 }1/2


v = . (2.26)
VE1 E2

2.1.4 Frmula final

Usando (2.22) y (2.3) la seccin eficaz (2.3) queda

(2 )4 4 ( pi p f )|T f i |2 2
n +2
Vd3 pi
d = 2E1 2E2 V . (2.27)
4 {( p1 p2 )2 m21 m22 }1/2 i =3
(2 )3
2.1. Seccin eficaz 37

Definiendo la amplitud invariante de scattering M f i (directamente relacionada con


las reglas de Feynman) como

n +2
Mfi (2Ei V )1/2 T f i (2.28)
i =1

tenemos finalmente

1 2 4 4
n +2 d3 p j
d = |M fi | ( 2 ) ( p i p f
) . (2.29)
4 {( p1 p2 )2 m21 m22 }1/2 j =3
(2 )3 2E j

Si hay ki partculas idnticas de la especie i en el estado final la seccin eficaz total,


tras integrar sobre el espacio fsico, debe dividirse por el factor de simetra

S= ki ! . (2.30)
i

Si el estado incial no est polarizado y/o la polarizacin del estado final no se


mide debe promediarse sobre las polarizaciones iniciales y/o sumarse sobre las finales,
respectivamente.

2.1.5 Caso 2 2 en el sistema centro de masas

p1, m1 p3, m3

p2, m2 p4, m4

Figura 2.3: Scattering de dos partculas yendo a dos en el estado final.

Consideremos el caso de un estado inicial i = {1, 2} a uno final f = {3, 4} en el


sistema centro de masas (CM). Entonces la integral sobre el espacio fsico se reduce a
Z Z
d3 p 3 d3 p 4
d2 (2 )4 4 ( p1 + p2 p3 p4 )
(2 )3 2E3 (2 )3 2E4
Z
d3 p 3
= (ECM E3 E4 )
(2 )2 2E3 2E4
Z
|p|2 d E3 E4
=
(2 )2 4E3 E4 |p|(E3 + E4 )
Z
|p|d
= , (2.31)
16 2 ECM
38 Captulo 2: Observables

donde se ha usado:

d3 p3 |p3 |2 d|p3 |d (2.32)


(|p3 | |p|)
(ECM E3 E4 ) = ( f (|p3 |)) = (2.33)
| f (|p3 | = |p|)|
 
f E3 f E4 | p3 | | p3 | E3 + E4
f (|p3 |) = + = + = | p3 | (2.34)
E3 |p3 | E4 |p3 | E3 E4 E3 E4
q
E3 = m23 + |p3 |2 (2.35)
q
E4 = m24 + |p1 + p2 p3 |2 . (2.36)

El factor de flujo se simplifica si las partculas que colisionan tienen la misma masa
m m1 = m2 , pues entonces

p1 (E, q) , p2 = (E, q) , 2E = ECM ,


4 {( p1 p2 )2 m21 m22 }1/2 = 4ECM |q| . (2.37)

En este caso
d 1 |p|
(1, 2 3, 4) = 2
|M f i |2 . (2.38)
d 64 2 ECM |q|

2.2 Anchura de desintegracin

p1, m1

P, M

p2, m2

Figura 2.4: Desintegracin a dos partculas.

El ritmo de desintegracin (anchura) de una partcula de masa M a n partculas


finales viene dado, en su sistema de referencia en reposo, por
n
1 d3 p i
d(i f ) = |M f i |2 (2 )4 4 ( P p f ) . (2.39)
2M i =1
(2 )3 2Ei
 1/2
La expresin es anloga a (2.29) cambiando el factor 4 ( p1 p2 ) m21 m22 por 2M.
Se obtiene tomando como flujo v = 1.
En el caso de n = 2 partculas en el estado final, basta aplicar el resultado de (2.31)
con ECM = M:
d 1 |p|
(i 1, 2) = |M f i |2 . (2.40)
d 32 2 M2
2.2. Anchura de desintegracin 39

Ntese que en este caso las masas M, m1 y m2 determinan completamente la energa


y los momentos finales:

M2 m22 + m21 M2 m21 + m22


E1 = , E2 = ,
2M 2M
 2 1/2
[ M (m1 + m2 )2 ][ M2 (m1 m2 )2 ]
| p | | p1 | = | p2 | = . (2.41)
2M

La anchura total se obtiene sumando las anchuras parciales a todos los canales de
desintegracin. Su inversa es la vida media de la partcula,

= 1 . (2.42)

Nota sobre las dimensiones de las distintas magnitudes utilizadas:

S f i = i f + i(2 )4 4 ( p f pi )T f i [S f i ] = [energa]0 , [T f i ] = [energa]4


ni +n
Mfi = (2Ej V )1/2 T f i [M f i ] = [energa]4ni n
j =1
n +2 d3 p j
dn = (2 )4 4 ( pi p f ) [dn ] = [energa]4+2n
j =2
(2 )3 2E j
|M f i |2 dn
d(ni = 2 n) = [energa]2
4 {( p1 p2 )2 m21 m22 }1/2
1
d(ni = 1 n) = |M f i |2 dn [energa]
2M
Resultan convenientes los factores de conversin:

h = 6.582 1022 MeV s (2.43)


2 2
(hc) = 0.389 GeV mbarn (2.44)

que son fciles de recordar a partir de:

1 hc 200 MeV fm , c 3 108 m/s , 1 fm = 1015 m , 1 barn 1024 cm2 .


40 Captulo 2: Observables
Captulo 3

Reglas de Feynman

3.1 Reglas generales


Para el clculo de funciones de Green o de amplitudes invariantes de scattering M f i .

1. Dibujar todos los diagramas conectados y topolgicamente distintos en el orden


deseado de teora de perturbaciones.
En cada diagrama:

2. Asociar momentos externos a todas las lneas externas y L momentos internos


a los L loops. Determinar los momentos de las lneas internas de modo que el
cuadri-momento se conserve en cada vrtice.

3. Asignar un propagador a cada lnea interna:

i
[bosn escalar] (3.1)
p2 m2 + i
i( /
p + m)
[fermin spin 1/2] (3.2)
p m2 + i
2
 
i ( 1) p p
[bosn vectorial] g + 2 (R )(3.3)
p2 m2 + i ( p m2 )

( = 1: gauge t Hooft-Feynman; = 0: gauge de Landau; = : gauge unitario)

4. A cada vrtice asignar un peso compuesto por los siguientes factores:

a) La constante de acoplamiento que aparezca en iLint .


b) Por cada derivada de un campo cualquiera asociar (ip ) donde p es
el correspondiente momento entrante.
c) Un factor proviniente de la degeneracin de partculas idnticas en cada
vrtice. (Por ejemplo, 2 para ZZH, 4 para ZZHH.)

41
42 Captulo 3: Reglas de Feynman

Los vrtices genricos ms frecuentes y los vrtices del SM se listan ms abajo.

5. Por cada momento interno q no fijado por la conservacin de momento en cada


vrtice (loops), introducir un factor
Z
d4 q
(2 )4
e integrar, (si es necesario) despus de regularizar.

6. Multiplicar la contribucin de cada diagrama por:

a) Un factor (1) entre diagramas que difieren entre s solo por el intercambio
de dos fermiones externos idnticos. (Por ejemplo, los dos diagramas del
scattering de Mller, e e e e , o los dos del scattering de Bhabha,
e+ e e+ e , a nivel rbol.)
b) Un factor de simetra 1/S donde S el nmero de permutaciones de lneas
internas y vrtices que deja invariante el diagrama si las lneas externas
permanecen fijadas.
c) Un factor (1) por cada loop ferminico.

7. Para obtener iM f i , poner las lneas externas sobre su capa de masas, es decir
p2i = m2i . Poner por cada lnea ferminica externa un espinor: u( p) [o v( p)] para
fermiones [o antifermiones] entrantes con momento p; u( p) [o v( p)] para fermio-
nes [o antifermiones] salientes con momento p. Poner vectores de polarizacin
( p, ) [o ( p, )] para bosones vectoriales entrantes [o salientes] con momen-
to p.
p

u(p)
(p)
u(p)
v(p)
(p)
v(p)

3.2 Algunos vrtices genricos


Consideremos el siguiente lagrangiano de interaccin (hermtico) que contiene las in-
teracciones entre campos escalares, ferminicos y vectoriales ms habituales, con aco-
plamientos genricos:
n o
L = e V i ( gV g A 5 ) j + e i ( gS gP 5 ) j + e KV V + h.c.
 
+ie GV i j ie J W W V W
W V W W V , (3.4)

donde ( ).
3.3. Vrtices del Modelo Estndar 43

Las reglas de Feynman para los correspondientes vrtices, con todos los momentos
entrantes, e ignorando posibles factores de degeneracin de partculas idnticas, son
entonces:
[V FF]: ie ( gV g A 5 ) = ie ( g L PL + gR PR )
[SFF]: ie( gS gP 5 ) = ie(c L PL + c R PR )
[SV V ]: ieKg
[V S( p1 )S( p2 )]: ieG ( p1 p2 )
 
[V (k1 )V (k2 )V (k3 )]: ieJ g (k2 k1 ) + g (k3 k2 ) + g (k1 k3 )

3.3 Vrtices del Modelo Estndar

Los acoplamientos genricos anteriores toman los siguientes valores en el SM.1 Intro-
ducimos las abreviaturas: sW sin W y cW cos W .

VFF fi f j Z fi f j W + ui d j W dj ui W + i j W j i
f 1 1 1 1
gL Q f ij g+ ij Vij Vij Uji U ji
2sW 2sW 2sW 2sW
f
gR Q f ij g ij 0 0 0 0
f f
donde g L,R gV g A y g v f a f con v f = (T3 L 2Q f s2W )/(2sW cW ) y a f =
f
T3 L /(2sW cW ). En el viejo SM los neutrinos no tienen masa, y entonces Uij = ij .

SFF H fi f j fi f j + ui d j dj ui
1 m fi i f m fi 1 mui 1 md j
cL ij 2T3 L ij + Vij Vij
2sW MW 2sW MW 2sW MW 2sW MW
1 m fi i f m fi 1 md j 1 mu j
cR + 2T3 L Vij + Vij
2sW MW ij 2sW MW ij 2sW MW 2sW MW
SFF + i j j i
1 mi 1 m j
cL + U ji U ji
2sW MW 2sW MW
1 m j 1 mi
cR U ji + U ji
2sW MW 2sW MW
donde c L,R gS gP . En el viejo SM mi = 0 y Uij = ij .

1 Se
han incluido los bosones de Goldstone y pues es necesario tenerlos en cuenta si no se
trabaja en el gauge unitario. stos corresponden a parametrizar las excitaciones sobre el vaco como

+ ( x )
( x ) = , ( x ) = [+ ( x )] .
1 [ v + H ( x ) + i( x )]
2
44 Captulo 3: Reglas de Feynman

SVV HZZ HW + W W W Z
K MW /sW c2W MW /sW MW MW sW /cW

VSS ZH Z W H W
i c2W s2W 1 i
G 1
2sW cW 2sW cW 2sW 2sW
VVV W + W ZW + W
J 1 cW /sW
Por completitud, listamos a continuacin las reglas de Feynman para los dems
vrtices que aparecen en el SM, en el gauge unitario.2
[SSS]: ieC3
[SSSS]: ie2 C4
[SSV V ]: ie2 C2 g
 
[V (k1 )V (k2 )V (k3 )V (k4 )]: ie2 C 2g g g g g g
Son las siguientes:

SSS HHH SSSS HHHH SSVV HHW W + HHZZ


3M2H 3M2H 1 1
C3 C4 C2
2MW sW 2 s2
4MW W
2s2W 2sW c2W
2

VVVV W + W + W W W + W ZZ W + W Z W + W
1 c2W cW
C 2 1
s2W sW sW

2 En
un gauge ms general hay tambin vrtices con bosones de Goldstone en [SSS], [SSSS] y [SSVV],
as como nuevas interacciones con los campos fantasma de Faddeev-Popov de tipo [SUU] y [UUV].
Captulo 4

Clculo de correcciones cunticas a un


loop

4.1 Estructura de las amplitudes a un loop


Consideremos el diagrama genrico a un loop con N patas externas de la Fig. 4.1,

p1 p2
q + k1

m1
q m0

mN 1

q + kN 1
pN pN 1

Figura 4.1: Esquema de un diagrama genrico a un loop.

donde
N 1
k 1 = p1 , k 2 = p1 + p2 , ... k N 1 = pi (4.1)
i =1

Este diagrama contiene en general integrales del tipo


Z
i dD q q 1 q P
2
TN1 ... P 4 D .(4.2)
16 (2 )D [q2 m20 ][(q + k1 )2 m21 ] [(q + k N 1 )2 m2N 1 ]

Ntese que las integrales son simtricas bajo permutaciones de los ndices de Lorentz.
La integracin en D dimensiones es propia de regularizacin dimensional. La escala se
introduce para que la integral tenga las dimensiones correctas.

45
46 Captulo 4: Clculo de correcciones cunticas a un loop

P es el nmero de qs en el numerador y determina la estructura tensorial de la


integral (escalar si P = 0, vectorial si P = 1, etc.). Ntese que P N. Habitualmente
se usa la notacin A para T 1 , B para T 2 , etc. Por ejemplo, las integrales escalares
son A0 , B0 , etc. Las integrales tensoriales pueden descomponerse en una combinacin
lineal de los tensores covariantes Lorentz que puedan construirse con el tensor mtrico
g y un conjunto linealmente independiente de momentos [17]. La eleccin de la base
no es nica. Usaremos la base formada por g y los momentos ki [18], que presenta
la ventaja de que los coeficientes tensoriales son totalmente simtricos en sus ndices.
Esta base es la empleada por el paquete informtico LoopTools [19].
Nos centraremos en la descomposicin de las siguientes integrales tensoriales:1
B = k1 B1 , (4.3)
B = g B00 + k1 k1 B11 , (4.4)
C = k1 C1 + k2 C2 (4.5)
2
C = g C00 + ki k j Cij . (4.6)
i,j=1

Veremos que las integrales escalares A0 y B0 y los coeficientes de las integrales


tensoriales B1 , B00 , B11 y C00 son divergentes en D = 4 dimensiones (divergencia
ultravioleta, equivalente a tomar un corte en q).
Es posible expresar cada uno de esos coeficientes en trminos de integrales escala-
res (reduccin tensorial [18]), pero aqu no lo haremos.

4.2 Clculo explcito de las integrales

4.2.1 Ingredientes bsicos

La funcin Gamma de Euler. Verfica la relacin de recurrencia:


( x + 1) = n( x ) . (4.7)
El desarrollo en serie de Taylor en torno a sus polos ( x = 0, 1, 2, . . . ) es:
1
x=0: ( x ) = + O( x ), (4.8)
x
(1)n 1
x = n : ( x ) = + 1 + + + O( x + n), (4.9)
n!( x + n) n
donde 0.5772 . . . es la constante de Euler-Mascheroni.
Parmetros de Feynman.
Z 1
!
n
1 ( n 1) !
= dx1 dxn xi 1 (4.10)
a1 a2 a n 0 i =1
[ x 1 a1 + x 2 a2 + x n a n ] n
1 No haremos tampoco la descomposicin de C pues no la necesitaremos en este curso.
4.2. Clculo explcito de las integrales 47

Integrales en D dimensiones. Es fcil comprobar que, si 0+ :


Z  
dD q 1 (1)n i (n D/2) 1 n D/2
= (4.11)
(2 )D (q2 + i)n (4 )D/2 (n)
Z  
dD q q2 (1)n1 i D (n D/2 1) 1 n D/21
= (4.12)
(2 )D (q2 + i)n (4 )D/2 2 (n)
En efecto. Hagamos la integral (4.11) en el espacio eucldeo, q0 = iq0E , q = q E , q2 =
q2E ,
Z Z
dD q 1 dD q E 1
2
= i(1)n 2
(4.13)
(2 ) (q + i)n
D D
(2 ) (qE + )n
que es equivalente a rotar el contorno de integracin (Fig. 4.2) en el plano complejo de
q0 un ngulo de 90 (rotacin de Wick). En adelante omitiremos el i de los propaga-
dores, que no debe confundirse con 4 D.

Im q 0
= q2 +

+i 90
2
Re q 0

+ i
2

Figura 4.2: Ilustracin de la rotacin de Wick.

Esta integral es resoluble en coordenadas esfricas en D dimensiones:


Z Z Z
dD q E 1 1
= d D dqE qED1 I A IB (4.14)
(2 )D (q2E + )n 0 (q2E + )n
donde
Z
2 D/2
IA = d D = (4.15)
( D/2)
Z D Z Z Z

x2 D 2 2
pues ( ) D
= dx e = dD x e i=1 xi = d D dx x D1 e x
0
Z  Z Z 
1 1
= d D dt tD/21 et = d D ( D/2) (4.16)
2 0 2
y haciendo un par de cambios de variables: t = q2E , z = /(t + ), tenemos
  Z  
1 1 n D/2 1 n D/21 D/21 1 1 n D/2 (n D/2)( D/2)
IB = dz z (1 z ) = (4.17)
2 0 2 (n)
Z 1
( )( )
usando la funcin Beta de Euler, B(, ) = dz z1 (1 z) 1 = .
0 ( + )
La integral (4.12) se obtiene sustituyendo q2 = (q2 ) + y usando (4.11).
48 Captulo 4: Clculo de correcciones cunticas a un loop

4.2.2 Funciones de dos puntos

q + k1
p m1 p

m0
q

Figura 4.3: Esquema de una funcin de dos puntos a un loop.

Consideremos ahora los diagramas con dos patas externas (Fig. 4.3),
Z
i dD q {1, q , q q }
{ B0 , B , B } (args) = 4 D   (4.18)
16 2 (2 )D q2 m20 (q + p)2 m21

donde k1 = p. Las integrales dependern de las masas m0 , m1 y del invariante p2 ,

(args) = ( p2 ; m20 , m21 ). (4.19)

Utilizando los parmetros de Feynman,


Z 1
1 1
= dx , (4.20)
a1 a2 0 [ a1 x + a2 (1 x )]2
se obtiene
Z 1 Z
i dD q {1, A , q q + A A }
2
{ B0 , B , B } = 4 D dx (4.21)
16 0 (2 )D ( q 2 2 )2
con

2 = x2 p2 + x (m21 m20 p2 ) + m20 , (4.22)

donde se han identificado

a1 = (q + p)2 m21 , (4.23)


a2 = q2 m20 , (4.24)

y se ha desplazado la variable de integracin para obtener un cuadrado perfecto en el


denominador,

q q A , A = xp . (4.25)

Por tanto la funcin escalar es:


Z 1 Z
i dD q 1
B0 = 4 D dx (4.26)
16 2 0 (2 ) (q 2 )2
D 2
Z 1
2
B0 = dx ln 2 + O() [ D = 4 ] (4.27)
0
4.2. Clculo explcito de las integrales 49

2
donde + ln 4 y se ha desarrollado en serie de Taylor la Gamma de Euler

en torno a x = 0 para D = 4 :
 2 D/2  
4 D i(2 D/2) 1 i 2
= ln 2 + O() (4.28)
(4 )D/2 2 16 2
ya que x = exp{ ln x } = 1 + ln x + O(2 ).
Comparando con las definiciones de los coeficientes tensoriales (4.3,4.4) tenemos:
Z Z
i 4 D
1 dD q A
B = dx (4.29)
16 2 0 (2 )D (q2 2 )2
Z 1
1 2
B1 = + dx x ln 2 + O() [ D = 4 ] (4.30)
2 0
Z 1 Z
i 4 D dD q (q2 /D ) g + A A
B = dx (4.31)
16 2 0 (2 )D ( q 2 2 )2
1
B00 = ( p2 3m20 3m21 )( + 2 1) + O() [ D = 4 ] (4.32)
12
Z 1
1 2
B11 = dx x2 ln 2 + O() [ D = 4 ] (4.33)
3 0
donde se ha cambiado q q por (q2 /D ) g en el integrando y se ha desarrollado la
Gamma de Euler en torno a x = 1 para D = 4 :
 1 D/2
4 D i(1 D/2) 1 i 1
= 2 ( + 2 1) + O() (4.34)
D/2
(4 ) 2(2) 2 16 2 2

4.2.3 Funciones de tres puntos

p1

q + k1
m1
q m0 p2 p1
m2
q + k2

p2

Figura 4.4: Esquema de una funcin de tres puntos a un loop.

Consideremos finalmente los diagramas con tres patas externas (Fig. 4.4),
Z
i dD q {1, q , q q }
{C0 , C , C } (args) = 4 D    ,
16 2 (2 )D q2 m20 (q + p1 )2 m21 (q + p2 )2 m22
(4.35)
50 Captulo 4: Clculo de correcciones cunticas a un loop

donde, por conveniencia, hemos elegido los momentos externos de forma que: k1 = p1 ,
k2 = p2 . Las integrales dependern de las masas m0 , m1 , m2 y de los invariantes:

(args) = ( p21 , Q2 , p22 ; m20 , m21 , m22 ), Q 2 ( p 2 p 1 )2 . (4.36)

Utilizando los parmetros de Feynman,

Z 1 Z 1 x
1 1
=2 dx dy , (4.37)
a1 a2 a3 0 0 [ a1 x + a2 y + a3 (1 x y)] 3

se obtiene

Z 1 Z 1 x Z
i dD q {1, A , q q + A A }
2
{C0 , C , C } = 24 D dx dy (4.38)
16 0 0 (2 )D ( q 2 3 )3

con

3 = x2 p21 + y2 p22 + xy( p21 + p22 Q2 ) + x (m21 m20 p21 ) + y(m22 m20 p22 ) + m20(4.39)
,

donde se han identificado

a1 = (q + p1 )2 m21 , (4.40)
2
a2 = ( q + p 2 ) m22 , (4.41)
2
a3 = q m20 , (4.42)

y se ha desplazado la variable de integracin para obtener un cuadrado perfecto en el


denominador,


q q A , A = xp1 + yp2 . (4.43)
4.2. Clculo explcito de las integrales 51

Comparando con las definiciones de los coeficientes tensoriales (4.5,4.6) tenemos:


Z 1 Z 1 x Z
i dD q 1
C0 = 24 D dx dy (4.44)
16 2 0 0 (2 ) (q 3 )3
D 2
Z 1 Z 1 x
1
C0 = dx dy [ D = 4] (4.45)
0 0 3
Z 1 Z 1 x Z
i dD q A
2
C = 24 D dx dy (4.46)
16 0 0 (2 )D (q2 3 )3
Z 1 Z 1 x
x
C1 = dx dy [ D = 4] (4.47)
0 0 3
Z 1 Z 1 x
y
C2 = dx dy [ D = 4] (4.48)
0 0 3
Z 1 Z 1 x Z
i dD q (q2 /D ) g + A A
C = 24 D dx dy (4.49)
16 2 0 0 (2 )D ( q 2 3 )3
Z 1 Z 1 x
x2
C11 = dx dy [ D = 4] (4.50)
0 0 3
Z 1 Z 1 x
y2
C22 = dx dy [ D = 4] (4.51)
0 0 3
Z 1 Z 1 x
xy
C12 = dx dy [ D = 4] (4.52)
0 0 3
Z Z 1 x
1 1 1 3
C00 = dx dy ln 2 + O() [ D = 4 ] (4.53)
4 2 0 0

2
donde + ln 4 y se ha cambiado q q por (q2 /D ) g en el integrando.

En el clculo de C00 se ha desarrollado en serie de Taylor la Gamma de Euler en
torno a x = 0 para D = 4 :
 2 D/2  
4 D i(2 D/2) 1 i 1 3
= ln 2 + O() . (4.54)
(4 )D/2 (3) 3 16 2 2

Nota sobre Diracologa en D dimensiones. Hay que tener cuidado con las trazas de
matrices de Dirac cuando se trabaja en D dimensiones (regularizacin dimensional),
ya que

+ = 2g 144 , g g = Tr{ g } = D . (4.55)

As, pueden demostrarse las siguientes identidades que involucran contracciones:

= D (4.56)

= ( D 2) (4.57)

= 4g (4 D ) (4.58)

= 2 + (4 D )

(4.59)
52 Captulo 4: Clculo de correcciones cunticas a un loop

4.3 Algunos casos sencillos

1. Para el clculo del momento dipolar magntico anmalo del electrn en QED,
necesitaremos las siguientes funciones de tres puntos, evaluadas en:

p21 = p22 = m2 (electrones on-shell)


Q2 = 0 (fotn on-shell)
m0 = 0 (masa del fotn)
m1 = m2 = m (masa del electrn)
3 = m 2 ( x + y )2 .

Las integrales bsicas son entonces

C0 = divergente en el infrarrojo (no se necesita),


1
C1 = C2 = ,
2m2
1
C11 = C22 = 2 C12 = 2 .
6m
C00 = divergente en el ultravioleta (no se necesita),

donde C C(m2 , 0, m2 ; 0, m2, m2 ).

2. Para el clculo de las contribuciones dbiles (y de supersimetra) a los momen-


tos dipolares magnticos se necesitan las siguientes funciones de tres puntos,
evaluadas en:

p21 = p22 = 0 (se desprecian las masas de los fermiones externos)


2
Q =0 (fotn on-shell)
m0 = M1 (masa de la partcula virtual no acoplada al fotn externo)
m1 = m2 = M2 (masa de las otras partculas virtuales)
3 = ( M22 M12 )( x + y) + M12 .

Las integrales bsicas son

1 1 x21 + ln x21
C0 = ,
M12 (1 x21 )2
2 2 ln x
1 3 + 4x21 x21 21
C1 = C2 = ,
M12 4(1 x21 )3
2 2x3 + 6 ln x
1 11 18x21 + 9x21 21 21
C11 = C22 = 2 C12 = 2 4
,
M1 18 ( 1 x 21 )
C00 = divergente en el ultravioleta (no se necesita).
4.3. Algunos casos sencillos 53

O bien
1 1 + x21 x21 ln x21
C0 = ,
M12 (1 x21 )2
2 2x2 ln x
1 1 4x21 + 3x21 21 21
C1 = C 2 = 2 3
,
M1 4 ( 1 x 21 )
2 + 11x3 6x3 ln x
1 2 + 9x21 18x21 21 21 21
C11 = C22 = 2 C12 = 2 4
,
M1 18 ( 1 x 21 )

donde C C(0, 0, 0; M12 , M22 , M22 ), C C(0, 0, 0; M22 , M12 , M12 ) y x21 M22 /M12 .

3. Para el clculo de las contribuciones dbiles (y de supersimetra) a las transicio-


nes radiativas del tipo e se usan las funciones de tres puntos anteriores.
Para comprobar que esta transicin es puramente magntica, es decir no contri-
buyen las auto-energas de las patas externas, conviene conocer explcitamente
C00 evaluada en la misma configuracin anterior:

1
C00 (0, 0, 0; M12 , M22 , M22 ) = B1 (0; M12 , M22 )
2
y las siguientes funciones de dos puntos evaluadas en p2 = 0, m0 = M1 , m1 =
M2 :

M12 2 M22
M12 ln M2 ln 2
2
B0 (0; M12 , M22 ) = + 1 2 2
M1 M2
M12
4M14 3M24 M12 M22 2 ln
1 M22
B1 (0; M12 , M22 ) = +
2 4( M12 M22 )2
= B0 (0; M22 , M12 ) B1 (0; M22 , M12 )
54 Captulo 4: Clculo de correcciones cunticas a un loop
Captulo 5

Aplicacin: factores de forma dipolares


a un loop

5.1 El vrtice vector-fermin ms general

p1 j

V i ( p1 , p2 )
p2 i

Figura 5.1: Vrtice efectivo vector-fermin.

La estructura Lorentz ms general del vrtice vector-fermin (Fig. 5.1) contiene 24


trminos independientes, que son combinaciones de los cuadrivectores p p1 + p2 ,
q p2 p1 y las 16 matrices de Dirac (indicadas abajo entre parntesis):

(1 ) : p , q ,
( 5 ) : 5 p , 5 q ,
( ) : , p / p, p q/, q /
p, q q/, p q ,
( 5 ) : 5 , 5 p /
p, 5 p q/, 5 q /
p, 5 q q/, 5 p q ,
( ) : p , q , p p q , q p q ,
p , q , p p q , q p q .

Con frecuencia el vrtice se escribe de la siguiente forma:

i ( p1 , p2 ) = ie [ ( FV FA 5 ) + (iFM + FE 5 ) q + (iFS + FP 5 )q
+( FMV + iFEV 5 ) p + ( FTS + iFTP 5 ) p + . . . ] . (5.1)

Los factores de forma Fi son en general funciones de todos los escalares indepen-
dientes (invariantes Lorentz) que se puedan construir con los vectores p1 y p2 , es decir,

55
56 Captulo 5: Aplicacin: factores de forma dipolares a un loop

Fi ( p21 , p22 , q2 ). La constante e se ha introducido por conveniencia, de modo que los aco-
plamientos quedan normalizados a los de la electrodinmica cuntica (QED).
Si ambos fermiones estn on-shell (es decir, p2 = m2 ), la ecuacin de Dirac nos
permite eliminar los trminos omitidos anteriormente y tambin FMV , FEV FTS y FTP ,
pues ya no son independientes y entonces
 
ij on-shell : i ( p1 , p2 ) = ie ( FV FA 5 ) + (iFM + FE 5 ) q + (iFS + FP 5 )q . (5.2)

Para demostrarlo basta usar la siguiente relacin entre matrices de Dirac:

i
5 = ( + + ), (5.3)
6

la ecuacin de Dirac (ED): p/1 u( p1 ) = m1 u( p1 ), p/2 u( p2 ) = m2 u( p2 ), y las identidades


de Gordon (que se deducen de la ED y + = 2g ):

u( p2 ) ( p2 p1 ) u( p1 ) = u( p2 ) {i(m2 m1 ) + i( p2 p1 ) } u( p1 ), (5.4)

u( p2 )5 ( p2 p1 ) u( p1 ) = u( p2 ) {i(m2 m1 ) 5 + i5 ( p2 p1 ) } u( p1(5.5)
).

Si el bosn vectorial V tambin est on-shell, su polarizacin1 satisface q = 0 y


por tanto los factores de forma FS , FP no contribuyen, y el vrtice se reduce a:

Vij on-shell : i ( p1 , p2 ) = ie [ ( FV FA 5 ) + (iFM + FE 5 ) q ] . (5.6)

Los factores de forma FV , FA y FM,E se denominan vectorial, axial y dipolares, respecti-


vamente.
Si V = (fotn) la invariancia gauge U(1) impone la conservacin de la corriente,
q = 0, y por tanto para fermiones on-shell:

[V = ] (mi m j ) FV + iq2 FS = 0, (5.7)


ij on-shell (mi + m j ) FA + q2 FP = 0. (5.8)

En consecuencia, si tambin el fotn est on-shell (q2 = 0) y los fermiones son idnticos
(m = mi = m j ), necesariamente FA = 0. El vrtice electromagntico viene entonces des-
crito por tres constantes, relacionadas con la carga y los momentos dipolar magntico
y dipolar elctrico:


ii on-shell : ii = j = ie [ FV + (iFM + FE 5 ) q ]

1Una partcula masiva de spin 1 de momento p tiene tres grados de libertad de polarizacin ( =

1, 2, 3) que verifican p () = 0 y () ( ) = . En reposo: p = ( M, 0, 0, 0), 1 = (0, 1, 0, 0),

2 = (0, 0, 1, 0), 3 = (0, 0, 0, 1). En movimiento: p = ( E, 0, 0, p), x = (0, 1, 0, 0), y = (0, 0, 1, 0),

L = ( p/M, 0, 0, E/M ) [circular: = 1/ 2(x iy )]. Si tiene masa nula (ej. el fotn) no existe el s.r.
en reposo y slo existen las dos polarizaciones transversales.
5.1. El vrtice vector-fermin ms general 57

donde, de acuerdo con nuestra convencin para la derivada covariante,


eQ f eFV (0) = carga elctrica del fermin f ,
 e 
FV (0) + eFM (0) = momento dipolar magntico (MDM),
2m
FM (0)
a 2m = momento dipolar magntico anmalo (AMDM),
FV (0)
d = eFE (0) = momento dipolar elctrico (EDM).

As, a nivel rbol (electrodinmica clsica), un electrn tiene acoplamientos FV = 1,


FA = FM = FE = 0, y por tanto carga Qe = 1 y momento dipolar magntico
e e
S = gS, g = 2 interaccin no relativista B = B (5.9)
2m 2m
donde S = 21 es el spin y g es la razn giromagntica o factor de Land.2
Las correcciones cunticas inducen valores no nulos de AMDM y EDM. Las condi-
ciones de renormalizacin fijan FV (0) = Q f (a todo orden de teora de perturbacio-
nes), pero aparece un AMDM que viene dado por
g2 F (0 ) eQ f
a= = 2m M = (1 + a ). (5.10)
2 Qf 2m

Por otro lado, las ecuaciones anteriores implican FV = FA = 0 para fermiones distin-
tos. Es decir, procesos tales como e se deben slo a transiciones dipolares,

ij on-shell : ii 6= j = ie(iFM + FE 5 ) q (5.11)

En general, todos los factores de forma son reales a nivel rbol para fermiones
externos iguales, por la hermiticidad del lagrangiano de interaccin, pero se pueden
hacer complejos al introducir las correcciones cunticas (regla de Cutkosky).3
Los factores de forma que acompaan a los operadores de dimensin mayor que
cuatro (todos menos FV y FA ), por ejemplo los dipolares, son nulos a nivel rbol en
cualquier teora renormalizable. Por tanto sus correcciones a un loop son finitas. Ade-
ms acoplan fermiones de quiralidades contrarias, por lo que deben ser proporcionales
a alguna masa ferminica, ya sea interna o externa.
Los factores de forma FV , FA y FM multiplican sendos bilineales pares bajo CP,
mientras que FE acompaa a uno impar. Esto significa que si CP se conserva el mo-
mento dipolar FE se anula si i = j, aunque esto no ocurre si los fermiones externos son
distintos. Similarmente, si P se conserva (ej. en QED) FA y FE son nulos.
Los diagramas que contribuyen a un loop al vrtice efectivo vector-fermin pueden
agruparse en seis clases o topologas distintas (Fig. 5.2).
2 Ntese que el momento anmalo y la razn giromagntica se definen slo para partculas cargadas.
Sin embargo una partcula neutra puede tener momento magntico dado por = eFM (0).
3 La amplitud se hace compleja cuando sea posible cortar el diagrama en dos diagramas tales que

ambos describan procesos fsicos. Se trata de una aplicacin del teorema ptico. Es fcil darse cuenta
de que si V = la amplitud ha de ser siempre real porque el fotn tiene masa nula.
58 Captulo 5: Aplicacin: factores de forma dipolares a un loop

j j j
l l l
V r V r V r

k k k
i i i

I II III
j j j
l l k
V r V r V r

k k l
i i i

IV V VI

Figura 5.2: Clases de diagramas que contribuyen al vrtice efectivo vector-fermin a


un loop.

5.2 El momento magntico anmalo

Los momentos magnticos anmalos de electrn y mun son observables medidos con
gran precisin. Como se deben enteramente a correcciones cunticas ponen especial-
mente a prueba la consistencia de la teora.
El momento magntico del electrn se ha medido en un ciclotrn en Harvard con
una precisin impresionante [8]:

ge
= 1.001 159 652 180 76 (27) (5.12)
2

El momento magntico del mun se obtiene a partir de la frecuencia de precesin


del spin respecto a un campo magntico homogneo en un anillo de almacenamiento
de muones:

eB (g 2 )
a = a , a = . (5.13)
2m 2

Se ha medido con gran precisin en el experimento E821 de Brookhaven [20]:

g
= 1.001 165 920 80 (63) (5.14)
2

5.2.1 El momento magntico anmalo en QED

En QED slo existe un diagrama a un loop (clase I, Fig. 5.3) y el nico acoplamiento
no nulo es del tipo [VFF] con gV = 1, g A = 0. La configuracin de masas y momentos
5.2. El momento magntico anmalo 59

e
e

e
e

Figura 5.3: nico diagrama fotn-electrn en QED a un loop.


W
, Z H,

I II III

W

IV V VI

Figura 5.4: Diagramas fotn-leptn en el SM a un loop.

es tambin muy simple. El AMDM del electrn es entonces:


1
2m(C1 + C2 + C11 + C22 + 2C12 ) =
FM (0) = , (5.15)
4 4 m
g2
a= = 2m FM (0) = , (5.16)
2 2
donde = e2 /4 es la constante de estructura fina ye hemos utilizado las funciones
de tres puntos con argumentos (m2 , 0, m2; 0, m2 , m2 ) evaluadas en el captulo anterior.

5.2.2 El momento magntico anmalo en el SM

Los diagramas a un loop en el gauge de t Hooft-Feynman (incluyendo QED) se mues-


tran en la Fig. 5.4.
Para calcular los nuevos diagramas necesitaremos ms paciencia, las reglas de
Feynman del SM y las funciones de tres puntos con argumentos del tipo (0, 0, 0; M12 , M22 , M22 )
evaluadas en el captulo anterior (se puede despreciar la masa del leptn ). Sumando
todas las contribuciones a un loop:
( !)
(g 2 ) GF 10 1 h i m 2
M 2
a = = + m2 5 (1 4s2W )2 + O
2
ln H (5.17)
2 2
|{z} 8 2
2 3
|{z} | 3 {z } MH m2
QED W Z
| {z }
H
60 Captulo 5: Aplicacin: factores de forma dipolares a un loop

donde

GF = (1 + r ) = 1.166387 (6) 105 GeV2 comparando con (5.18)

2s2W MW
2

1 = 137.035 999 074 (44) comparando con (ge 2) en QED a 8 loops! (5.19)
M2
s2W = 1 W = 0.223, me = 0.511 MeV, m = 0.106 GeV, m = 1.777 GeV.(5.20)
M2Z

Ntese que (1 4s2W )2 0.012 por lo que la Z contribuye aproximadamente la mitad


que la W y con signo opuesto. La contribucin del Higgs es despreciable.

Tabla 5.1: Predicciones del SM y medidas actuales del momento anmalo del mun
a .

CLCULOS TERICOS Contribucin a a (1011 )



n
QED coeficiente de
n=1 0.5 116 140 973
n=2 0.765 857 410 (27) ...
n=3 24.050 509 64 (87) ...
n=4 130.991 6 (80) ...
n=5 663. (20) ...
Total 116 584 718
Dbil 1. loop 195
2. loop 41
Hadrnica hadronic vacuum polarization 6 803
light by light [NLO] 117
TOTAL ateo
= 116 591 792 (49)
exp
MEDIDA EXPERIMENTAL: E821 (Brookhaven 06) a = 116 592 080 (63)

En la tabla 5.1 resumimos las predicciones del SM y las medidas actuales del mo-
mento anmalo del mun a [8]. Existe una discrepancia de 3.6 entre ambos valo-
res que, de mantenerse, abrira una ventana a nueva fsica.4 La contribucin hadrni-
ca se extrae a partir de las medidas de (e+ e hadrones) usando relaciones de
dispersin. Alternativamente esta contribucin se puede extraer de las medidas de
+ hadrones, que se relacionan con las secciones eficaces hadrnicas asumiendo
simetra de isospin, en cuyo caso la discrepancia 2.4, algo menor pero tambin muy
significativa.
 2
4 100 GeV
Los modelos supersimtricos contribuyen con aSUSY
= 130 1011 tan .
mSUSY
5.3. El proceso raro e 61


W W
i i i i

W W
e e e e

II IV V VI

Figura 5.5: Diagramas e a un loop en el SM con neutrinos masivos.

5.3 El proceso raro e

Se trata de un proceso con violacin de sabor leptnico (LFV), que en el SM con


neutrinos sin masa est prohibido. Sin embargo, en el SM con neutrinos masivos o en
otras extensiones del SM, como supersimetra, este proceso puede darse.
La colaboracin MEG lleva acabo un experimento en el PSI (Suiza) desde el 2004
con el haz de muones ms intenso del mundo. No han observado ningn suceso, lo
que pone una cota actualmente de B( e) < 2.4 1012 [21]. El objetivo es llegar
en unos aos hasta 1014 . Los experimentos BaBar en el PEP-II de SLAC (EE UU)
y Belle en el KEKB (Japn) ponen cotas a desintegraciones similares del . Las ms
actuales son B( ) < 4.4 108 [22, 23] y B( e) < 3.3 108 [22].
Recordemos que se trata de transiciones dipolares, lo que puede comprobarse ex-
plcitamente hallando las contribuciones a FV y FA , que son nulas. Las anchuras y
fracciones de desintegracin relevantes son

3  
( j i ) = m j | FM |2 + | FE |2 , (5.21)
2
G2F m5 W
j
( j i j i ) = , G F = , (5.22)
192 3 2MW 2

B( j i ) ( j i )
= (5.23)
B( j i j i ) ( j i i j )
4  
12 MW 4 2  2 2

= | FM | + | FE | , (5.24)
m2 W
j

donde B( j i j i ) = 1/0.17/0.17 para j i = e//e.

5.3.1 e en el SM con neutrinos masivos

Los diagramas a un loop en el gauge de t Hooft-Feynman se muestran en la Fig. 5.5. A


continuacin listamos las contribuciones de cada clase de diagramas que se obtienen
usando las funciones de tres puntos con argumentos (0, 0, 0; m2i , MW
2 , M2 ). Definiendo
W
62 Captulo 5: Aplicacin: factores de forma dipolares a un loop

xi m2i /MW
2 :

W  
II: FM = iFE = m Uei Ui 3C11 C1 (5.25)
16 i
 
W 3
IV: FM = iFE = m Uei Ui xi C0 + 3C1 + C11 (5.26)
16 i
2
V: FM = iFE = 0 (5.27)

VI: FM = iFE = W m Uei Ui C1 (5.28)
16 i
W m
Total: FM = iFE = 2 Uei Ui FW ( xi ) (5.29)
16 MW i
10 33x + 45x2 4x3 3x3 5 x
donde FW ( x ) = 3
+ 4
ln x + O( x2 ) (5.30)
12(1 x ) 2 (1 x ) 6 4

Por tanto, para neutrinos ligeros y usando la unitariedad de U,


2 2
3 3

B( e)|SM = U U
F x
ei i W i
( ) U U
ei i i <
x 1054 ,(5.31)
2 i 32 i

donde se han sustituido los ngulos de mezcla y m2ij medidos en oscilaciones.


Nota importante: En las expresiones anteriores se ha despreciado me . Para recuperar la
contribucin de la W al momento magntico anmalo conviene reinsertar me :
W n o

FM = m Uei Ui + me Uei Ui [. . . ] (5.32)
16 i
W n o

iFE = m Uei Ui me Uei Ui [. . . ] (5.33)
16 i

Entonces encontramos que en efecto, para = = e, la contribucin de la W a a es

GF 10 GF
aW
= 2m FM (0) = 4m2 FW (0) = m2 (5.34)
2
8 2 3 8 2 2

pues, despreciando las correcciones radiativas de GF ,

GF 1
= W 2 , (5.35)
8 2 2 16 MW

y d = 0 si no hay fases complejas en U o si los neutrinos no tienen masa.


Bibliografa

[1] S.L. Glashow, Nucl. Phys. 22, 579 (1961);


S. Weinberg, Phys. Rev. Lett. 19, 1264 (1967);
A. Salam, Proceedings of the 8th Nobel Symposium, 367 (1968);
M. Gell-Mann, Phys. Lett. 8 214 (1964);
G. Zweig, Preprint CERN-TH-412 (1964).

[2] J. Kblbeck, M. Bohm and A. Denner, Comput. Phys. Commun. 60, 165 (1990);
T. Hahn, Nucl. Phys. Proc. Suppl. 89, 231 (2000) [arXiv:hep-ph/0005029],
http://www.feynarts.de

[3] Y. Nambu, Phys. Rev. Lett. 4, 380 (1960).

[4] J. Goldstone, Nuov. Cim. 19, 154 (1961).

[5] F. Englert and R. Brout, Phys. Rev. Lett. 13, 508 (1964);
P. W. Higgs, Phys. Rev. Lett. 13, 321 (1964); Phys. Lett. 12, 132 (1964);
G. S. Guralnik, C. R. Hagen and T. W. B. Kibble, Phys. Rev. Lett. 13, 585 (1964);
P. W. Higgs, Phys. Rev. 145, 1156 (1966);
T. W. B Kibble, Phys. Rev. 155, 1554 (1967).

[6] G. Aad et al. [ATLAS Collaboration], Phys. Lett. B 716, 1 (2012) [arXiv:1207.7214
[hep-ex]];
S. Chatrchyan et al. [CMS Collaboration], Phys. Lett. B 716, 30 (2012) [ar-
Xiv:1207.7235 [hep-ex]].

[7] T. Aaltonen et al. [CDF and D0 Collaborations], Phys. Rev. Lett. 109, 071804 (2012)
[arXiv:1207.6436 [hep-ex]].

[8] J. Beringer et al. [Particle Data Group], Review of Particle Physics, Phys. Rev. D86,
010001 (2012), http://pdg.web.cern.ch/pdg/

[9] S.L. Glashow, J. Iliopoulos and L. Maiani, Phys. Rev. D2, 1285 (1970).

[10] N. Cabibbo, Phys. Rev. Lett. 10, 531 (1963);


M. Kobayashi and T. Maskawa, Prog. Theor. Phys. 42, 652 (1973).

[11] A. Pich, arXiv:hep-ph/0502010 (2005).

63
64 BIBLIOGRAFA

[12] T. Yanagida, in Proceedings of the Workshop on Unified Theory and Baryon Number in
the Universe, eds. O. Sawada and A. Sugamoto (KEK, Tsukuba, 1979);
M. Gell-Mann, P. Ramond and R. Slansky, in Supergravity, eds. D. Freedman and P.
van Nieuwenhuizen (North Holland, Amsterdam), 315 (1979);
R. Mohapatra and G. Senjanovic, Phys. Rev. Lett. 44, 912 (1980); Phys. Rev. D23,
165 (1981).

[13] B. Pontecorvo, Zh. Eksp. Teor. Fiz. 33, 549 (1957);


Z. Maki, N. Nakagawa and S. Sakata, Prog. Theor. Phys. 28, 870 (1962);
B. Pontecorvo, Sov. Phys. JETP 26, 984 (1968).

[14] F. del guila, J. Syska and M. Zraek, Phys. Rev. D 76, 013007 (2007) [arXiv:hep-
ph/0702182].

[15] M. C. Gonzalez-Garcia, M. Maltoni, J. Salvado and T. Schwetz, arXiv:1209.3023


[hep-ph] (2012).

[16] M. C. Gonzalez-Garcia, M. Maltoni and J. Salvado, JHEP 1008, 117 (2010) [ar-
Xiv:1006.3795 [hep-ph]].

[17] G. Passarino and M. J. G. Veltman, Nucl. Phys. B 160, 151 (1979).

[18] A. Denner, Fortsch. Phys. 41, 307 (1993) [arXiv:0709.1075 [hep-ph]].

[19] T. Hahn and M. Prez-Victoria, Comput. Phys. Commun. 118, 153 (1999)
[arXiv:hep-ph/9807565], http://www.feynarts.de/looptools/

[20] G. W. Bennett et al. [Muon G-2 Collaboration], Phys. Rev. D 73, 072003 (2006)
[arXiv:hep-ex/0602035].

[21] J. Adam et al. [MEG Collaboration], Phys. Rev. Lett. 107, 171801 (2011) [ar-
Xiv:1107.5547 [hep-ex]].

[22] B. Aubert et al. [BABAR Collaboration], Phys. Rev. Lett. 104, 021802 (2010) [ar-
Xiv:0908.2381 [hep-ex]].

[23] K. Hayasaka et al. [Belle Collaboration], arXiv:0705.0650 [hep-ex].

También podría gustarte