Está en la página 1de 140

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
Programa

La teora electrodbil
El Modelo Estndar (SM)
La simetra gauge: origen de las interacciones
Rotura espontnea de la simetra gauge: origen de las masas
Rplicas de familias ferminicas
Autoestados de masa y de interaccin
Conservacin de sabor en corrientes neutras y GIM
Mezcla de sabores de quarks: la matriz de CKM
Masas, mezclas y oscilaciones de neutrinos
Fermiones de Dirac y de Majorana
Seesaw: por qu los neutrinos son tan ligeros?
Mezcla de sabores leptnicos: la matriz de PMNS
Oscilaciones de neutrinos
Test de violacin de nmero leptnico: 0

2
Observables
Seccin eficaz
Anchura de desintegracin

Reglas de Feynman
Reglas generales
Algunos vrtices genricos
Vrtices del SM

Clculo de correcciones cunticas a un loop


Estructura de las amplitudes a un loop
Clculo explcito de las integrales
Algunos casos sencillos

Aplicacin: factores de forma dipolares a un loop


El vrtice vector-fermin ms general
El momento magntico anmalo en QED y en el SM
El proceso raro e en el SM con neutrinos masivos
3
Captulo 1
La teora electrodbil

4
El Modelo Estndar (SM) [Glashow 61, Weinberg 67, Salam 68; Gell-Mann, Zweig 64]

Teora gauge basada en el grupo de simetras locales SU(3)c SU(2) L U(1)Y


Interacciones intercambio de bosones de gauge (spin 1)
Fuerte: 8 gluones sin masa.
Electromagntica: 1 fotn sin masa ().
Dbil: 3 bosones dbiles masivos (W y Z).
Contenido de materia ferminica (spin 12 ): 3 familias de quarks y 3 de leptones.
Cada familia formada por dos partculas, f y f , con carga elctrica Qf = Qf + 1
en unidades de la carga del protn, y sus corrrespondientes antipartculas.
Los quarks aparecen en tres posibles estados de color [RGB].
Los campos se agrupan en multipletes (representaciones irreducibles):
Bajo SU(3)c los quarks son tripletes y los leptones singletes de color.
Bajo SU(2) L los campos left son dobletes y los right singletes de isospin dbil.
Las tres familias con idnticas interacciones, slo difieren en masas y sabor.
Simetra rota espontneamente bosones dbiles y fermiones masivos Higgs
El Modelo Estndar 5
Fermiones I II III Q Bosones
1
spin 2 Quarks f uuu ccc ttt 2/3 spin 1 8 gluones Int. fuerte
f ddd sss bbb 1/3 Int. electromagntica
Leptones f e 0 W , Z Int. dbil
f e 1 spin 0 Higgs Origen de las masas

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



1
uL cL tL
Quarks (3, 2,
6)
dL sL bL
Q = T3 + Y
(3, 1, 32 ) uR cR tR
(3, 1, 31 ) dR sR bR Q: carga elct.

eL L L T: isospin dbil
Leptones (1, 2, 12 ) Y: hipercarga
eL L L
(1, 1, 1) eR R R
(1, 1, 0) eR R R

El Modelo Estndar 6
A continuacin construiremos el lagrangiano del Modelo Estndar de las
interacciones electromagnticas y dbiles (teora electrodbil) para una sola
familia de quarks y leptones.

Ignoraremos las interacciones fuertes, que son independientes del sabor.

El Modelo Estndar 7
La simetra gauge: origen de las interacciones
Sea un mundo con slo dos fermiones (quarks o leptones) de spin 12 f y f libres y
sin masa (campos f ( x ) y f ( x ), resp.). Descrito por el lagrangiano de Dirac:

L0F = i f( x )/
f ( x ) + i f ( x )/
f (x) = i j ( x )/
j ( x ) , ,
con /
j=1,3

agrupando las componentes left en un doblete y las right en dos singletes,



fL
1 = , 2 = f R , 3 = f R ,
f L
( )
fR,L = f( ) PL,R , con PR,L = 12 (1 5 ).
()
donde f R,L = PR,L f ( ),
Para que el lagrangiano sea invariante bajo transformaciones gauge (locales) bajo
G = SU(2) L U(1)Y :
n o
G i i
1 ( x ) UL ( x ) exp{iy1 ( x )}1 ( x ) , UL ( x ) = exp i ( x ) , i = 1, 2, 3 ,
2
G
2 ( x ) exp{iy2 ( x )}2 ( x ) ,
G
3 ( x ) exp{iy3 ( x )}3 ( x ) ,
El Modelo Estndar La simetra gauge 8
hemos de reemplazar por la derivada covariante (convencin de signos):
h i

e ( x ) + ig y1 B ( x ) 1 ( x ) ,
D 1 ( x ) igW


D 2 ( x ) + ig y2 B ( x ) 2 ( x ) ,


D 3 ( x ) + ig y3 B ( x ) 3 ( x ) ,

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

e ( x ) i Wi ( x ) .
W
2

Las propiedades de transformacin de los campos de gauge (B , Wi ) quedan


fijadas. Son las que hacen que los D j ( x ) se transformen igual que los j ( x ):

G 1
B ( x ) B ( x )
( x ) ,
g
e G e i 
W ( x ) UL ( x )W ( x )UL ( x ) UL ( x ) UL ( x ) .
g

El Modelo Estndar La simetra gauge 9


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 )}
i
e
A e
U A U ( U )U
g
D queda invariante.
De este modo, D UD y /

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.

El Modelo Estndar La simetra gauge 10


El lagrangiano resultante es invariante bajo las transformaciones gauge de G:

3
L F = i j ( x )D
/ j (x)
j=1

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
4 2 4 4
donde

B B B ,
i h   i
e
W e , igW
igW e = W e W
e ig[We , W e ] ,
g
i i i j
e
W W , W = Wi Wi + gijk W Wk .
2
 
i j k
y hemos sustituido las constantes de estructura de SU(2): , = iijk .
2 2 2
El Modelo Estndar La simetra gauge 11
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

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 .

El Modelo Estndar La simetra gauge 12


Interacciones de corrientes cargadas
El lagrangiano L F contiene interacciones entre fermiones y bosones de gauge,
3
L F g 1 W
e 1 g B y j j j .
j=1

El trmino que contiene la matriz



3 2W
i 1
e = Wi =
W
W
2 2 2W W3

da lugar a interacciones de corrientes cargadas con el campo vectorial cargado de


1 2
1 2

las W , W (W + iW )/ 2 y su complejo conjugado W (W iW )/ 2,
g n o
LCC = W f ( x ) (1 5 ) f ( x ) + h.c. .
2 2
u d
W W W W

d u
El Modelo Estndar La simetra gauge 13
Interacciones de corrientes neutras

El trmino anterior
3
L F g 1 W
e 1 g B y j j j
j=1

tambin contiene interacciones con los campos de gauge neutros W3 y B . Nos


gustara identificar estos campos con los del Z y el fotn, respectivamente.
Sin embargo, como el fotn tiene las mismas interacciones con ambas quiralidades
ferminicas, el bosn de gauge B no puede ser el campo electromagntico A .
Para ello habra que imponer y1 = y2 = y3 y g y j = eQ j , lo que es imposible.

Como ambos campos son neutros, probemos con una combinacin de ellos:

W3 cos W sin W Z
.
B sin W cos W A

El Modelo Estndar La simetra gauge 14


En trminos de Z y A el lagrangiano de corrientes neutras quedara:
3     
LNC
= j A gT3 sin W + g y j cos W + Z gT3 cos W g y j sin W j ,
j=1

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 imponer:

g sin W = g cos W = e , Y = Q T3

Qf 0
donde Q1 = , Q2 = Q f , Q3 = Q f es el operador de carga elctrica.
0 Qf

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


acoplamiento electromagntico e: 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
y1 = Q f = Qf + , y2 = Q f , y3 = Q f .
2 2
El Modelo Estndar La simetra gauge 15
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 ,

donde
LQED = eA Q f ( ) f( ) ( x ) f ( ) ( x ) ,

Z
LNC ( ) ( )
= eZ f ( x ) (v f a f 5 ) f ( x ) ,
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 ).

f f
Z
f = u, d, f = u, d, ,
El Modelo Estndar La simetra gauge 16
Autointeracciones de bosones de gauge

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


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

W W
Z

W W

El Modelo Estndar La simetra gauge 17


 2 
e2
L4 = W W W
W W W
2 sin2 W
n o
e2 cot2 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
2
e W W A A W A W A

W W W W W Z

W W W W Z W Z

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.

El Modelo Estndar La simetra gauge 18


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. Tambin 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 G, pero el vaco es
invariante slo bajo un subgrupo H G, 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).
[Nambu 60, Goldstone 61]

Si las simetras del lagrangiano son locales (gauge) estos bosones de Goldstone
son comidos por los bosones de gauge asociados a las simetras rotas y se hacen
masivos (mecanismo de Higgs-Kibble). [Higgs; Englert, Brout; Guralnik, Hagen, Kibble 64]

El Modelo Estndar Rotura espontnea de la simetra gauge 19


Ejemplo ms sencillo de SSB: un campo escalar complejo ( x ) con lagrangiano

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

donde > 0 para que exista un estado de mnima energa (el vaco).
Este lagrangiano es invariante bajo transformaciones globales de fase U(1),
U(1 )
( x ) exp{i }( x ) .

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 .

El Modelo Estndar Rotura espontnea de la simetra gauge 20


Si 2 < 0, el mnimo corresponde a las configuraciones del campo que satisfacen
r
2 v 4
|h0|( x )|0i| |0 ( x )| = >0, V (0 ) = v .
2 2 4

Existe entonces un nmero infinito de vacos, conectados por transformaciones


v
0 ( x ) = exp{i } .
2
Eligiendo uno como el estado fundamental del sistema (vaco fsico), por ejemplo
= 0, la simetra se rompe espontneamente.
El Modelo Estndar Rotura espontnea de la simetra gauge 21
Si parametrizamos las excitaciones del campo sobre el vaco fsico como
1
( x ) = [v + 1 ( x ) + i2 ( x )] ,
2
donde 1 ( x ) y 2 ( x ) son campos reales, el potencial toma la forma
2
V () = V (0 ) 2 21 + v1 ( 21 + 22 ) + ( 1 + 22 )2 .
4
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 tienen 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 Goldstone porque al elegir un vaco hemos roto
la nica simetra (bajo transformaciones de fase) del vaco.

El Modelo Estndar Rotura espontnea de la simetra gauge 22


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 .

Para lograr este esquema de SSB hemos de introducir un doblete de campos


escalares complejos (cuatro campos reales: dos cargados y dos neutros):

(+)
=
(0 )

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

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

con > 0, 2 < 0 y


h i 1

e + ig y B ,
D = igW y = Q T3 = .
2
El Modelo Estndar Rotura espontnea de la simetra gauge 23
El potencial escalar es similar al anterior y el mnimo degenerado corresponde a
r
1 0 2
|h0|( x )|0i| |0 ( x )| = , v= .
2 v

Slo 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 los posibles estados fundamentales, 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 el doblete escalar como excitaciones sobre el vaco fsico,

n o 1 0
i i ,
( x ) = exp i ( x )
2 2 v + H (x)

donde sigue habiendo cuatro campos escalares reales, i ( x ) y H ( x ).


El Modelo Estndar Rotura espontnea de la simetra gauge 24
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 i i .
( x ) exp i ( x ) ( x ) = [v + H ( x )]
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 2 
G 1 g g
( D ) D H H + (v + H )2 W W + 2
Z Z
,
2 4 8 cos W
que contiene los trminos de masa para los bosones dbiles,
1
MZ cos W = MW = vg ,
2
mientras que el fotn permanece sin masa. Todo ello preservndose la simetra
gauge del lagrangiano. El precio a pagar es la introduccin del campo de Higgs.
El Modelo Estndar Rotura espontnea de la simetra gauge 25
El bosn de Higgs

LS incluye el bosn de Higgs y sus autointeracciones (cbicas y curticas), L H , as


como las interacciones del Higgs con los bosones de gauge, L HV 2 :
1
LS v4 + L H + L HV 2 ,
4
donde
1 1 2 2 M2H 3 M2H 4
LH = H H M H H H 2H ,
2 2 2v 8v
 2   2
2 2 H 1 2 H
L HV 2 = MW W W 1 + H + 2 + M2Z Z Z 1 + H + 2
v v 2 v v
y la masa de Higgs viene dada por
q
2
M H = 2 = 2v .

El Modelo Estndar Rotura espontnea de la simetra gauge 26


W Z
H H

W Z

W H Z H

W H Z H

H H H
H

H H H

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. Los datos de Tevatron son compatibles con este
descubrimiento. [ATLAS; CMS; CDF, D0 12]

El Modelo Estndar Rotura espontnea de la simetra gauge 27


Parmetros del modelo: predicciones y medidas
Hasta ahora hemos introducido cuatro parmetros libres:
g, g , y o equivalentemente = 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:

MZ = 91.1876 0.0021 GeV , MW = 80.385 0.015 GeV .

De estos valores experimentales se deduce el ngulo de mezcla electrodbil


2
MW
2
sin W = 1 2 = 0.223 ,
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 , que a su vez se
obtiene de la medida de la vida media del mun,
= (2.1969811 0.0000022) 106 s:

1 GF2 m5 2 2
= = f ( m e /m ) , f ( x ) 1 8x + 8x3 x4 12x2 log x ,
192 3

El Modelo Estndar Rotura espontnea de la simetra gauge 28


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

g2 g2 4
2 2
2 = 2 2
4 2GF .
MW q MW sin W MW

Usando las medidas de 1 = 137.035999074 (44), MW y GF se obtiene


sin2 W = 0.215, en bastante buen acuerdo con el valor obtenido anteriormente.
La pequea discrepancia se resuelve cuando 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 .

El Modelo Estndar Rotura espontnea de la simetra gauge 29


Masas para los 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 = y 1 d L
u, d L
d R y2 u, uR y3 (e , e)
L
eR + h.c. ,
( 0) () ( 0)

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 


+ y3 ee
LY = (v + H ) y1 dd + y2 uu
2
en el gauge unitario.
El Modelo Estndar Rotura espontnea de la simetra gauge 30
As que la SSB tambin genera las masas de los fermiones, proporcionales a los
correspondientes acoplamientos de Yukawa:
v v v
m d = y1 , m u = y2 , m e = y3 .
2 2 2

Las masas de los fermiones se determinan experimentalmente. Los acoplamientos


de Yukawa se fijan en trminos de las masas:
 
H 
LY = 1 + + mu uu
md dd
+ me ee
v

H
f = u, d,

El Modelo Estndar Rotura espontnea de la simetra gauge 31


Rplicas de familias ferminicas
En la naturaleza existen tres familias de quarks y leptones. Son copias idnticas
de la misma estructura SU(2) L U(1)Y . Slo difieren en los valores de las masas.
Consideremos el caso general de n G generaciones de fermiones y denotemos
jI , jI , u jI , d jI los miembros de la familia j (j = 1, . . . , n G ), 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)
u jI , djI y jk
( d ) dI + y ( u ) uI
LY = kR jk kR
L ( 0 ) ()
jk

  (+)
+ jI , jI y jk
(l ) I
( 0 ) kR + h.c.,
L

(d) (u) (l )
donde y jk , y jk and y jk son constantes de acoplamiento arbitrarias y seguimos
suponiendo que no existen neutrinos right.
El Modelo Estndar Rplicas de familias ferminicas 32
Autoestados de masa y de interaccin
Despus de la SSB, the el lagrangiano de Yukawa puede escribirse
 n o
H I I I I I I
LY = 1 + d L Md d R + u L Mu u R + l L Ml l R + h.c. .
v
Los smbolos d I , u I y l I denotan vectores en el espacio de sabor n G -dimensional.
Las matrices de masa vienen dadas por
(d) v (u) v (l ) v
(Md )ij yij , (Mu )ij yij , (Ml )ij yij .
2 2 2
La diagonalizacin de estas matrices determina los autoestados de masa d j , u j y j ,
combinaciones 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 M f Mf = H2f = Sf M2f S f
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.
El Modelo Estndar Rplicas de familias ferminicas 33
En trminos de las matrices diagonales

Md = diag(md , ms , mb , . . .) ,
Mu = diag(mu , mc , mt , . . .) ,
Ml = diag(me , m , m , . . .)

el lagrangiano de Yukawa toma la forma


 n o
H
LY = 1 + d Md d + u Mu u + l Ml l ,
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 , l R Sl Ul l RI .

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

El Modelo Estndar Rplicas de familias ferminicas 34


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 tanto, no existen corrientes neutras que cambien el sabor (FCNC) en el SM


(mecanismo GIM). [Glashow, Iliopoulos, Maiani 70]

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): [Cabibbo 63; Kobayashi, Maskawa 73]

V Su Sd u LI d LI = u L V d L .

La matriz n G n G de CKM es unitaria y aparece en interacciones de corrientes


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

El Modelo Estndar Rplicas de familias ferminicas 35


La matriz V acopla cada quark tipo up a todos los quarks de tipo down.

dj ui

W Vij W Vij
ui dj

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 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 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.
El Modelo Estndar Rplicas de familias ferminicas 36
Las masas de los fermiones y la matriz de mezcla V de los quarks vienen
(f)
determinadas por las correpondientes matrices de acoplamientos de Yukawa yij ,
que son parmetros libres.

Una matriz n G n G unitaria general se caracteriza por n2G parmetros reales:


n G (n G 1)/2 mdulos y n G (n G + 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
2n G 1 fases inobservables. Por tanto, el nmero de parmetros libres fsicos se
reduce a (n G 1)2 : n G (n G 1)/2 mdulos y (n G 1)(n G 2)/2 fases.

As, si slo se mezclan dos generaciones V viene determinada por un solo


parmetro, el ngulo de Cabibbo:

cos C sin C
V = .
sin C cos C

El Modelo Estndar Rplicas de familias ferminicas 37


Para n G = 3, la matriz de CKM viene descrita por 3 ngulos y una fase. Existen
diferentes (pero equivalentes) representaciones. La parametrizacin estndar es:

Vud Vus Vub


V = Vcd Vcs Vcb
Vtd Vts Vtb

1 0 0 c13 i
0 s13 e 13 c12 s12 0


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

c12 c13 s12 c13 s13 ei13


= s12 c23 c12 s23 s13 ei13 c12 c23 s12 s23 s13 ei13 s23 c13 ,

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 redefinicin de fases de los campos. As cij 0 , sij 0 y 0 13 2 .
El Modelo Estndar Rplicas de familias ferminicas 38
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 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 siguiente


tabla se presentan los valores que se han podido determinar directamente. El
resto se obtienen utilizando la unitariedad de la matriz.

El Modelo Estndar Rplicas de familias ferminicas 39


[A. Pich 05]
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

El Modelo Estndar Rplicas de familias ferminicas 40


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.

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.

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 41


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 ,

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 ,

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


El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 42
Ntese que: C = C T = C 1 = C y C C 1 = T .

Veamos que la CP-paridad de un campo de Majorana es CP = i:


Nota: Los operadores sobre el espacio de Dirac (ej. C) conmutan con los que actan sobre el espacio de Fock (ej. UCP ).


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

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

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

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

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

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



CP = CP CP = i q.e.d.

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 43


Veamos que hay tres tipos de trminos de masa podemos construir a partir de
todos los bilineales escalares posibles:

L R = Rc cL , R L = cL Rc (F = 0)

L cL , cL L
(|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.

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. .
2 2
Ntese que c = T C.

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 44


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 L L + m R Rc R + h.c. .
c
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
.
20 c
R R

Entonces
1 0 1 0T 0 1 0 0
LDM = 0c M L + h.c. = L CM L + h.c. = M L + h.c. ,
2 L 2 2 R

mL mD
donde M = .
mD mR
El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 45
M es una matriz cuadrada, simtrica (y real si se conserva CP).
Puede diagonalizarse con una matriz unitaria U (u ortogonal Ue = O ) mediante:

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

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

multiplicarse por una matriz diagonal de fases complejas :

Ue U Ue , ij = i ij , i R,

que corresponde a elegir los campos fsicos como


c
i = iL + i iL ,

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


de los correspondientes autovalores mi :

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

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 46


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


UCP LT ( x )CM L ( x )UCP = LT ( xP )CM L ( xP )
T
L ( xP )MC L ( xP ) = LT ( xP )CM L ( xP )
M = M , pues C = C

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

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 47


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
0 T 0 0 T
= iU C 0L ( xP ) , 0
pues UCP L ( x )UCP = i C L ( xP )
0 T T T
= iU U C L ( xP ) , pues L = U L 0L = U L
0

0 T T p
= i C L ( xP ) , pues U = O , U = O U = O
= i0 R ( xP ) .

Por otro lado, tenemos que



UCP ( x )UCP CP 0 ( xP )

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

Por tanto
CP = i

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 48


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 = .
2 1 1

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

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 49


Los estados fsicos 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 ) .

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


en efecto

i 0 1 i 1
U =O =O = ,
0 1 2 i 1

como queramos comprobar.

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 50


Seesaw: por qu los neutrinos son tan ligeros?
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=
mD mR

que es diagonalizada por la matriz



cos sin 2m D mR
O= , tan 2 = , cos 2 = q ,
sin cos m R m2R + 4m2D

Sus autovalores son:


 q 
1

m1,2 = mR m2R + 4m2D .
2
El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 51
Si 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): [Yanagida 79; Gell-Mann, Ramond, Slansky 79; Mohapatra, Senjanovic 80]

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

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


puede haber un nmero arbitrario n R de campos right [jR ( j = 1, . . . , n R )].
La matriz de masas es entonces la matriz cuadrada, compleja y simtrica
( n G + n R ) ( n G + n R ),

0 mD T
M= , con mD : n R n G y mR : n R n R .
mD mR
El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 52
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:

n G = 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 oscilaciones, y

n R 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).

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 53


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) corresponderan a una


mezcla de autoestados de interaccin ( = e, , ),

| i = Ui |i i , o bien |i i = Ui | i .
i

Pondremos una letra griega como subndice en vez de un superndice I para indicar que autoestados de interaccin.
Los de masa tendrn como subndice una letra latina.

Esta matriz unitaria (la mezcla con los neutrinos pesados es despreciable) es
anloga a la definida para los quarks y los leptones cargados, pero hay dos
importantes diferencias:
los campos contienen ambas quiralidades, y
la matriz U contiene dos fases fsicas adicionales 1 , 2 (fases de Majorana),
que no pueden ser absorbidas mediante redefinicin de fases de los campos,
ya que la relacin i = i ic lo impide.
El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 54
U se conoce como la matriz de Pontecorvo-Maki-Nakagawa-Sakata (PMNS).
[Pontecorvo 57; Maki, Nakagawa, Sakata 62; Pontecorvo 68]

En la parametrizacin estndar:

Ue1 Ue2 Ue3


U = U1 U2 U3
U1 U2 U3

c12 c13 s12 c13 s13 ei13 ei1 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

Estos parmetros se determinan experimentalmente (distintos a los 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. ,
2 2 i

en la base en la que los leptones cargados son diagonales.


El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 55
i j

W Uji W Uji
j i

Veremos en seguida que los experimentos de oscilaciones de neutrinos no son


sensibles a las fases de Majorana, y por tanto son incapaces de discenir si los
neutrinos son partculas de Dirac o de Majorana.
Excepto si existen nuevas interacciones de los neutrinos right, pues entonces se propagan de forma diferente en materia.
[del guila, Syska, Zraek 07]

Para ello se necesita un experimento que compruebe la conservacin del nmero


leptnico, violado por los trminos de Majorana.

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 56


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 en una corriente cargada acompaando al leptn cargado = e, , ),

| i = Ui |i i .
i

La evolucin en el tiempo 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 .
i

En la prctica, los neutrinos son relativistas (mi Ei ), as que t L (distancia


recorrida). Si se han producido con momento p E entonces:
q m 2 m 2
Ei = p2 + m2i p + i p + i .
2p 2E

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 57


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
2
imij 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) .


i> j

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 58


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

= ++ ,
ij i= j i> j i< j

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

(Uj Uj Ui Ui ) = (Uj Uj ) (Ui Ui ) (Uj Uj Ui Ui )


i= j j i i6= j

= 2 Re(U j Uj Ui Ui ) .
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] ,


i> j

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

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 59


Ntese que las fases de Majorana son irrelevantes y que

P( ; U) = P( ; U )

de modo que si la invariancia CPT se satisface,

P( ) = P( )

tenemos que

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

y si CP se conserva (U = U ) entonces

P( ) = P( ) ,

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

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 60


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

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

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.

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 61


En el caso de oscilaciones entre dos sabores y , la matriz unitaria U se reduce
a

cos sin
U= ,
sin cos

y las probabilidades de oscilacin entre estos dos sabores son

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


P( 6= ) = sin2 2 sin2 [1.27m2 L/E] .

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 ,
2
1
P( 6= ) = sin2 2 .
2

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 62


En la siguiente tabla se ilustran los 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

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
diferente segn el sabor. Es el 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.
El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 63
Experimentos de oscilaciones de neutrinos
Son sensibles generalmente a un rango determinado de energas (limitado por el
sistema de deteccin). Existen esencialmente dos tipos de experimentos:
Experimentos de aparicin: En los que se detectan sabor(es) que no estaban
presentes en el haz de inicial. Es decir, miden P( 6= ).
Experimentos de desaparicin: En los que se detectan menos de los que se
esperaban procedentes del haz inicial. Es decir, miden P( ).
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 y CNO. El primero produce el 98% de la energa que emite el Sol. Su flujo y su
energa son variados.

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 64


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

99.6% XXXXXXXX     0.4%


XXXX
?
2 H + p ! 3 He +

  XXXXX
    XXXXX
 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 +

  PPPP
99.87%  PPP 0.13%
PP
? ?
(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

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 65


Ciclo CNO:
12 C + p ! 13N + - 13N ! 13C + e+ + e (13 N)
6
?
15 N + p ! 12C + 4He 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)

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 66


Flujo de neutrinos solares (a una unidad astronmica de distancia):

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 67


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

rayo csmico + nuclen (K ) + X


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

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] .

Su flujo es aproximadamente de 100 m2 sr1 s1 .

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 68


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

e + p n + e
e + e+ +
n + p n + p + ,

con energas tpicas del orden de 10 MeV, y los producidos por Ncleos Galcticos
Activos (AGN), del orden de 1 TeV.

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 sitan a una distancia de la central nuclear del orden
de 1 km.

Finalmente, en aceleradores de partculas se producen haces de neutrinos


haciendo colisionar protones de unos 100 GeV contra un blanco.
As se producen (de , K ) y e, (de ), con una energa del orden del GeV.

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 69


Resultados

Todos los experimentos son consistentes con la oscilaciones entre tres sabores de
neutrinos. 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 | .

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 .

A continuacin 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. [M.C. Gonzlez Garca et al., arXiv: 1209.3023]

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 70


El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 71
Se encuentran los siguientes rangos de valores: [M.C. Gonzlez Garca et al. 12]

m221 = (7.50 0.185) 105 eV2 ,


 
m231 = 2.47 + 0.069
0.067 10
3
eV2 (jerarqua normal) ,
 
m232 = 2.43 + 0.042
0.065 10 3
eV 2
(jerarqua invertida) ,
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 .

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 72


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 .

0.215 0.548 0.409 0.725 0.567 0.800

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 73


En cuanto al espectro de masas de los neutrinos:
m2 m2
e

m32 m 22
solar~7.6105eV2
m 12
atmospheric
~2.5103eV2
atmospheric
m22 ~2.5103eV2
solar~7.6105eV2
m12 m 32

? ?
0 0

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 74


Ntese que el fenmeno de las oscilaciones no permite conocer ms que
diferencia de masas y por tanto no nos da informacin sobre su escala.

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) o incluso degenerado si el neutrino ms ligero tuviera
q
una masa mucho mayor que m2atm 0.05 eV.

Tenemos acceso a los valores individuales de las masas (actualmente cotas


superiores) 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
q
radiacin del tritio impone i m2i |Uei |2 < 2 eV. Finalmente de los datos de
astrofsica y cosmologa obtenemos informacin (dependiente del modelo) sobre
la suma de las masas de los neutrinos, i mi < (0.36 1.5) eV.

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 75


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 la conservacin del nmero leptnico y compite con el proceso
doble beta estndar, en el que adems se emiten dos antineutrinos, 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 i mi U2ei . Hay varios grupos experimentales intentando medir este proceso,
pero de momento sin resultados concluyentes.

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 76


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.

El Modelo Estndar Masas, mezclas y oscilaciones de neutrinos 77


Captulo 2
Observables

78
Seccin eficaz
Qu significa? v
vt

A NB
Blanco

NH
Haz

La seccin eficaz es el rea efectiva de una partcula (en el blanco) vista por un
proyectil (en el haz incidente).
Si en el blanco hay NB partculas y la superficie de colisin es A, entonces
NB
Probabilidad de colisin = .
A
Si en el haz hay NH partculas, entonces
NB (# sucesos)
(# sucesos) = NH = A.
A NH NB

Seccin eficaz Qu significa? 79


En la prctica, el haz est formado por una nube de partculas de densidad que
se mueve con velocidad v, as que
(# sucesos) (# sucesos)
NH = vtA = A=
vtANB v tNB
probabilidad de transicin por unidad de t
= ,
flujo incidente
donde
probabilidad de transicin
por unidad de t = (# sucesos) por unidad de t y por cada dispersor ,
flujo incidente = v .

Seccin eficaz Qu significa? 80


Probabilidad de transicin y matriz S
p1, m1 p3, m3

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

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

|i i | p1 p2 i ,
| f i |p3 p4 . . . pn+2 i ,

y sea pi (p f ) la suma de los cuadri-momentos iniciales (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|ii i f + i(2 )4 4 ( pi p f )T f i .

Seccin eficaz Probabilidad de transicin y matriz S 81


Z
S es unitaria, S f i 2 dN f = 1. Por tanto, la probabilidad de transicin a | f i 6= |ii
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 ,
donde hemos usado que
Z
4 d4 x ip x 4 4
( p) = e ( 2 ) (0) = VT .
(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 .
T
Calcularemos ahora dN f . Primero hemos de recordar cmo se define el estado de
una partcula de momento p:
q
|pi = 2Ep ap |0i ,

donde el operador ap (ap ) crea (aniquila) una partcula de momento p.


Seccin eficaz Probabilidad de transicin y matriz S 82
Estos operadores verifican la regla de conmutacin:

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

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

sea invariante Lorentz.

Entonces,
En efecto, hagamos un boost de p en la direccin del eje z.

3 3 ( p q ) E3 (p q) E

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

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

Seccin eficaz Probabilidad de transicin y matriz S 83


En el primer paso se ha usado
( x x0 )
( f ( x ) f ( x0 )) = , f ( x ) = p3 ( p3 ) = ( E + p3 ) ,
df
dx
x = x0

en el segundo,
q
dE p3
= , pues E = m2 + | p |2 ,
dp3 E
y en el tercero,

E = ( E + p3 ) .

As el operador unidad sobre estados de un partcula es


Z
d3 p
1= |pihp| .
(2 )3 2Ep
En efecto:
Z Z
d3 p d3 p 3 3
1|qi = 3
|pihp|qi = 3
| p i( 2 ) 2Ep (p q) = |qi .
(2 ) 2Ep (2 ) 2Ep
Seccin eficaz Probabilidad de transicin y matriz S 84
Con esta normalizacin y usando que
Z
3 d3 x ipx
(p) = e (2 )3 3 (0) = V ,
(2 )3
tenemos que

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


(probabilidad de encontrar una partcula con momento entre p y p + dp.)
Entonces, el nmero de estados de una partcula con momentos [p, p + dp] es
d3 p Vd3 p
dN = hp|pi 3
= 3
.
(2 ) 2Ep (2 )
As, el nmero de estados de n partculas finales con momentos [p j , p j + dp j ] es
n +2 Vd3 p j
dN f = .
j=3
(2 )3
Por tanto
n +2 Vd3 p j
probabilidad de transicin = (2 )4 4 ( pi p f )|T f i |2 V .
j=3
(2 )3
Seccin eficaz Probabilidad de transicin y matriz S 85
Flujo incidente
Consideremos un haz de densidad igual a una partcula por unidad de volumen:
1
= .
V
El flujo incidente ser entonces

1 p1 p2
| E2 p1 E1 p2 |
v = |v1 v2 | = = .
V E1 E2 VE1 E2

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

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

as que

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


v = .
VE1 E2

Seccin eficaz Flujo incidente 86


Frmula final
Uniendo las expresiones anteriores queda
(2 )4 4 ( pi p f )|T f i |2 2
n +2 Vd3 p
j
d = 2 2 2 1/2
2E1 2E2 V 3
.
4 {( p1 p2 ) m1 m2 } j=3
( 2 )

Introduciendo la amplitud invariante de scattering M f i


n +2
1/2
Mfi j
( 2E V ) Tfi (directamente relacionada con las reglas de Feynman)
j=1

tenemos finalmente
n +2 d3p
1 2 4 4 j
d = 2 2 2 1/2
|M fi | ( 2 ) ( p i p f
) 3
.
4 {( p1 p2 ) m1 m2 } j=3
(2 ) 2Ej
Si hay k i partculas idnticas de la especie i en el estado final la seccin eficaz total
(integrado el espacio fsico) debe dividirse por el factor de simetra S = k i !.
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.
Seccin eficaz Frmula final 87
Caso 2 2 en el sistema centro de masas
p1, m1 p3, m3

p2, m2 p4, m4

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
4 4 d3 p3 d3 p4
d2 (2 ) ( p1 + p2 p3 p4 )
(2 )3 2E3 (2 )3 2E4
Z
d3 p3
= ( ECM E3 E4 )
(2 )2 2E3 2E4
Z
|p|2 d E3 E4
=
(2 )2 4E3 E4 |p|( E3 + E4 )
Z
|p|d
= ,
16 2 ECM

Seccin eficaz Caso 2 2 en el sistema centro de masas 88


donde se ha usado:

d3 p3 |p3 |2 d|p3 |d
(|p3 | |p|)
( ECM E3 E4 ) = ( f (|p3 |)) =
| f (|p3 | = |p|)|
 
f E3 f E4 |p | |p | E3 + E4
f (|p3 |) = + = 3 + 3 = | p3 |
E3 |p3 | E4 |p3 | E3 E4 E3 E4
q
E3 = m23 + |p3 |2
q
E4 = m24 + |p1 + p2 p3 |2 .

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| .

En este caso
d 1 |p| 2
(1, 2 3, 4) = 2
|M f i | .
d 2
64 ECM | q |
Seccin eficaz Caso 2 2 en el sistema centro de masas 89
Anchura de desintegracin
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 d 3p
1 j
d(i f ) = |M f i |2 (2 )4 4 ( P p f ) 3 2E
,
2M j=1
( 2 ) j

 2 2
1/2
anloga a la expresin de d cambiando el factor 4 ( p1 p2 ) m1 m2 por 2M.
Se obtiene tomando como flujo v = 1.

Anchura de desintegracin 90
Caso 1 2
p1, m1

P, M

p2, m2

Si n = 2 basta aplicar el resultado de 2 2 con ECM = M para obtener

d 1 |p| 2
(i 1, 2) = 2 2
|M f i | .
d 32 M
Ntese que las masas M, m1 y m2 fijan la energa y los momentos finales:

M2 m22 + m21 M2 m21 + m22


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

Anchura de desintegracin Caso 1 2 91


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 .
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 = (2EjV )1/2 T f i [M f i ] = [energa]4ni n
j=1
n +2 d3 p j 4+2n
dn = (2 )4 4 ( pi p f ) [ d n ] = [energa ]
j=2
(2 )3 2Ej
|M f i |2 dn 2
d(ni = 2 n) = [energa ]
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 [1 h c 200 MeV fm]:

h = 6.582 1022 MeV s


( h c)2 = 0.389 GeV2 mbarn
Anchura de desintegracin Caso 1 2 92
Captulo 3
Reglas de Feynman

93
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]
p2 m2
i(/
p + m)
[fermin spin 1/2]
p2 m2
 
i ( 1 ) p p

[bosn vectorial] g + (R )
p2 m2 ( p2 m2 )
( = 1: gauge t Hooft-Feynman; = 0: gauge de Landau; = : gauge unitario)
Reglas generales 94
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.)
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.

Reglas generales 95
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.

Reglas generales 96
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
fermiones [o antifermiones] salientes con momento p. Poner vectores de
polarizacin ( p, ) [o ( p, )] para bosones vectoriales entrantes [o salientes]
con momento p.
p

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

Reglas generales 97
Algunos vrtices genricos
Consideremos el siguiente lagrangiano de interaccin (hermtico) que contiene las
interacciones entre campos escalares, ferminicos y vectoriales ms habituales,
con acoplamientos 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 ,



donde ( ).

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 )
Algunos vrtices genricos 98
Vrtices del Modelo Estndar
Los acoplamientos genricos anteriores toman los siguientes valores en el SM.
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

Introduciremos las abreviaturas: sW sin W y cW cos W .

VFF fi f j Z fi f j W + u i 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 2 ) /(2s c ) y f
donde g L,R gV g A y g v f a f con v f = ( T3 L 2Q f sW W W
f
a f = T3 L /(2sW cW ).
En el viejo SM los neutrinos no tienen masa, y entonces Uij = ij .

Vrtices del Modelo Estndar 99


SFF H fi f j fi f j + u i d j dj ui
1 m fi i f L m fi 1 m ui 1 md j
cL 2T + Vij Vij
2sW MW ij 2sW 3 MW ij 2sW WM 2sW WM
1 m fi i f L m fi 1 md j 1 mu j
cR ij + 2T3 ij Vij + Vij
2sW MW 2sW MW 2sW MW 2sW MW

SFF + i j j i
1 mi 1 m j
cL + U ji U ji
2sW W M 2sW W M
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 .

SVV HZZ HW + W W W Z

K 2
MW /sW cW MW /sW MW MW sW /cW

VSS ZH Z W H W
i 2 s2
cW 1 i
W
G 1
2sW cW 2sW cW 2sW 2sW
Vrtices del Modelo Estndar 100
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.
[SSS]: ieC3
[SSSS]: ie2 C4
[SSV V ]: ie2 C2 g
2
 
[V (k1 )V (k2 )V (k3 )V (k4 )]: ie 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 2 2 c2
2 s2
4MW 2sW 2sW
2MW sW W W

VVVV W + W + W W W + W ZZ W + W Z W + W
2
1 cW cW
C 2
2 1
sW sW sW
Vrtices del Modelo Estndar 101
Nota: 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].

Vrtices del Modelo Estndar 102


Captulo 4
Clculo de correcciones
cunticas a un loop

103
Estructura de las amplitudes a un loop
Consideremos el siguiente diagrama genrico a un loop con N patas externas:
p1 p2
q + k1

m1
q m0

mN 1

q + kN 1
pN pN 1

N 1
k 1 = p1 , k 2 = p1 + p2 , ... k N 1 = pi
i =1

Este diagrama contiene en general integrales del tipo


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

Estructura de las amplitudes a un loop 104


La integracin en D dimensiones es propia de regularizacin dimensional.

Las integrales son simtricas bajo permutaciones de los ndices de Lorentz.

La escala se introduce para que la integral tenga las dimensiones correctas.

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.

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. [Pasarino, Veltman 79]

La eleccin de la base no es nica.


Usaremos la base formada por g y los momentos k i , que presenta la ventaja de
que los coeficientes tensoriales son totalmente simtricos en sus ndices. [Denner 93]
Esta base es la empleada por el paquete informtico LoopTools.
[www.feynarts.de/looptools]

Estructura de las amplitudes a un loop 105


Nos centraremos, por simplicidad, en la descomposicin de las siguientes
integrales tensoriales:

B = k1 B1 ,
B = g B00 + k1 k1 B11 ,
C = k1 C1 + k2 C2
2
C = g C00 + k i k j Cij ,
i,j=1
C = . . . no la haremos . . .

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


escalares (reduccin tensorial), pero aqu no lo haremos. [Denner 93]

Estructura de las amplitudes a un loop 106


Clculo explcito de las integrales
Introduzcamos previamente algunos ingredientes bsicos:

La funcin Gamma de Euler:

( x + 1) = x( x )

Desarrollo en serie de Taylor en torno a sus polos ( x = 0, 1, 2, . . . ):


1
x=0: ( x ) = + O( x ),
x
(1)n 1
x = n : ( x ) = + 1 + + + O( x + n),
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
a1 a2 a n 0 i =1
[ x1 a1 + x2 a2 + x n a n ] n

Clculo explcito de las integrales Ingredientes bsicos 107


Las integrales, con 0+ :
Z  n D/2
dD q 1 (1)n i (n D/2) 1
=
(2 ) D (q2 + i)n (4 ) D/2 (n)
Z  n D/21
dD q q2 n 1
(1) i D (n D/2 1) 1
=
(2 ) D (q2 + i)n (4 ) D/2 2 (n)

Hagamos la primera integral en el espacio eucldeo: q0 = iq0E , q = q E , q2 = q2E ,


Z Z
dD q 1 n dD q E 1
= i ( 1 )
(2 ) D (q2 + i)n (2 ) D (q2E + )n

que es equivalente a rotar el contorno de integracin en el plano complejo de q0


un ngulo de 90 (rotacin de Wick).
Im q 0
= q2 +

+i 90
2
Re q 0

+ i
2

Nota: En adelante omitiremos el i de los propagadores. No confundir con 4 D.

Clculo explcito de las integrales Ingredientes bsicos 108


Esta integral es resoluble en coordenadas esfricas en D dimensiones:
Z Z Z
dD q E 1 1
2
= d D dq E q ED1 2
I A IB
(2 ) (q E + )
D n 0 (q E + ) n

donde
Z
2 D/2
IA = d D =
( D/2)

Z D Z Z Z

x2 iD=1 xi2 2
pues ( ) D = dx e = dD x e = d D dx x D1 e x
0
Z  Z Z 
1 D/21 t 1
= d D dt t e = d D ( D/2)
2 0 2
y haciendo un par de cambios de variables: t = q2E , z = /(t + ), tenemos
 n D/2 Z 1  n D/2
1 1 1 1 (n D/2)( D/2)
IB = dz zn D/21(1 z) D/21 =
2 0 2 (n)
Z 1
()( )
usando la funcin Beta de Euler, B(, ) = dz z1 (1 z) 1 = .
0 ( + )
Clculo explcito de las integrales Ingredientes bsicos 109
Funciones de dos puntos
q + k1
p m1 p

m0
q

Z
i 4 D dD q {1, q , q q }
{ B0 , B , B } ( args ) =  
16 2 2 2 2
(2 ) q m0 (q + p) m1
D 2

k1 = p

Las integrales dependern de las masas m0 , m1 y del invariante p2 ,

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

Clculo explcito de las integrales Funciones de dos puntos 110


Utilizando los parmetros de Feynman,
Z 1
1 1
= dx 2
,
a1 a2 0 [ a1 x + a2 (1 x )]

Z 1 Z
i 4 D dD q {1, A , q q + A A }
{ B0 , B , B } = dx
16 2 0 (2 ) D ( q 2 2 ) 2
con

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

donde se han identificado

a1 = (q + p)2 m21 ,
a2 = q2 m20 ,

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


en el denominador,

q q A , A = xp .

Clculo explcito de las integrales Funciones de dos puntos 111


Por tanto la funcin escalar es:
Z 1 Z
i 4 D dD q 1
B0 = dx
16 2 0 (2 ) D (q2 2 )2
Z 1
2
B0 = dx ln 2 + O() [ D = 4 ]
0
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 ) D/2 2 16 2

ya que x = exp{ ln x } = 1 + ln x + O(2 ).


Comparando con las definiciones de los coeficientes tensoriales tenemos:
1 Z Z
i 4 D dD q A
2
B = dx
16 0 (2 ) D (q2 2 )2
Z 1
1 2
B1 = + dx x ln 2 + O() [ D = 4 ]
2 0

Clculo explcito de las integrales Funciones de dos puntos 112


Z Z
i 4 D
1 dD q (q2 /D) g + A A
2
B = dx
16 0 (2 ) D ( q 2 2 ) 2
1
B00 = ( p2 3m20 3m21 )( + 2 1) + O() [ D = 4 ]
12
Z 1
1 2 2
B11 = dx x ln 2 + O() [ D = 4 ]
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
i(1 D/2) 1 i 1
4 D = 2
2 ( + 2 1) + O()
(4 ) D/2 2(2) 2 16 2

Clculo explcito de las integrales Funciones de dos puntos 113


Funciones de tres puntos
p1

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

p2

Z
i 4 D dD q {1, q , q q }
{ C0 , C , C } ( args ) =   
16 2 2 2 2 2 2 2
(2 ) q m0 (q + p1 ) m1 (q + p2 ) m2
D

Por conveniencia, hemos elegido los momentos externos de forma que:

k 1 = p1 , k 2 = p2 .

Las integrales dependern de las masas m0 , m1 , m2 y de los invariantes:

(args) = ( p21 , Q2 , p22 ; m20 , m21 , m22 ), Q2 ( p2 p1 )2 .

Clculo explcito de las integrales Funciones de tres puntos 114


Utilizando los parmetros de Feynman,
Z 1 Z 1 x
1 1
=2 dx dy 3
,
a1 a2 a3 0 0 [ a1 x + a2 y + a3 (1 x y)]
Z 1 Z 1 x Z
i 4 D dD q {1, A , q q + A A }
{ C0 , C , C } = 2 dx dy
16 2 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 ,

donde se han identificado

a1 = (q + p1 )2 m21 ,
a2 = (q + p2 )2 m22 ,
a3 = q2 m20 ,

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


en el denominador,

q q A , A = xp1 + yp2 .

Clculo explcito de las integrales Funciones de tres puntos 115


Comparando con las definiciones de los coeficientes tensoriales tenemos:
Z 1 Z 1 x Z
i 4 D dD q 1
C0 = 2 dx dy
16 2 0 0 (2 ) D (q2 3 )3
Z 1 Z 1 x
1
C0 = dx dy [ D = 4]
0 0 3

Z 1 Z 1 x Z
i 4 D dD q A
C = 2 dx dy
16 2 0 0 (2 ) D (q2 3 )3
Z 1 Z 1 x
x
C1 = dx dy [ D = 4]
0 0 3
Z 1 Z 1 x
y
C2 = dx dy [ D = 4]
0 0 3

Clculo explcito de las integrales Funciones de tres puntos 116


Z 1 Z 1 x Z
i 4 D dD q (q2 /D) g + A A
C = 2 dx dy
16 2 0 0 (2 ) D ( q 2 3 ) 3
Z 1 Z 1 x
x2
C11 = dx dy [ D = 4]
0 0 3
Z 1 Z 1 x
y2
C22 = dx dy [ D = 4]
0 0 3
Z 1 Z 1 x
xy
C12 = dx dy [ D = 4]
0 0 3
Z Z 1 x
1 1 1 3
C00 = dx dy ln 2 + O() [ D = 4 ]
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  
i(2 D/2) 1 i 1 3
4 D = ln + O() .
(4 ) D/2 (3) 3 16 2 2 2

Clculo explcito de las integrales Funciones de tres puntos 117


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

As, pueden demostrarse las siguientes identidades que involucran contracciones:

= D
= ( D 2)
= 4g (4 D)
= 2 + (4 D)

Clculo explcito de las integrales 118


Algunos casos sencillos
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 = m2 ( 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 ).
Algunos casos sencillos Integrales para (g 2)e en QED 119
Para el clculo de las contribuciones dbiles (y de supersimetra) a los momentos
dipolares magnticos se necesitan las siguientes funciones de tres puntos,
evaluadas en:

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


Q2 = 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 = 2 2
,
M1 (1 x21 )
2 2 ln x
1 3 + 4x21 x21 21
C1 = C2 = 2 3
,
M1 4(1 x21 )
2 2x 3 + 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).
Algunos casos sencillos Integrales para (g 2) en SM y MSSM 120
O bien
1 1 + x21 x21 ln x21
C0 = ,
M12 (1 x21 )2
2 2x 2 ln x
1 1 4x21 + 3x21 21 21
C1 = C2 = ,
M12 4(1 x21 )3
2 + 11x 3 6x 3 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 .

Algunos casos sencillos Integrales para (g 2) en SM y MSSM 121


Para el clculo de las contribuciones dbiles (y de supersimetra) a las transiciones
radiativas del tipo e se usan las funciones de tres puntos anteriores.

Para comprobar que esta transicin es puramente magntica, es decir no


contribuyen 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 2
M2 ln 2

B0 (0; M12 , M22 ) = + 1
M12 M22
M12
4M14 3M24 M12 M22 2 ln 2
1 M2
B1 (0; M12 , M22 ) = +
2 4( M12 M22 )2
= B0 (0; M22 , M12 ) B1 (0; M22 , M12 )

Algunos casos sencillos Integrales para transiciones magnticas en SM y MSSM 122


Captulo 5
Aplicacin: factores de forma
dipolares a un loop

123
El vrtice vector-fermin ms general

p1 j

V i ( p1 , p2 )
p2 i

La estructura Lorentz ms general del vrtice vector-fermin 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 .

El vrtice vector-fermin ms general 124


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 + . . . ] .

Los factores de forma Fi son en general funciones de todos los escalares


independientes (invariantes Lorentz) que se puedan construir con los vectores p1
y p2 , es decir, Fi ( p21 , p22 , q2 ). La constante e se ha introducido por conveniencia, de
modo que los acoplamientos 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 .

El vrtice vector-fermin ms general 125


Basta usar la siguiente relacin entre matrices de Dirac:

i
5 = ( + + ),
6
la ecuacin de Dirac (ED): /
p1 u ( p1 ) = m1 u ( p1 ), /
p2 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 ),
u ( p2 )5 ( p2 p1 ) u( p1 ) = u ( p2 ) {i(m2 m1 ) 5 + i5 ( p2 p1 ) } u( p1 ).

Si el bosn vectorial V tambin est on-shell, su polarizacin 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 ] .

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


respectivamente.
Una 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.

El vrtice vector-fermin ms general 126


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,
ij on-shell (mi + m j ) FA + q2 FP = 0.

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 descrito 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 ]

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).
El vrtice vector-fermin ms general 127
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
2m 2m
donde S = 21 es el spin y g es la razn giromagntica o factor de Land.
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).

Las correcciones cunticas inducen valores no nulos de AMDM y EDM. Las


condiciones de renormalizacin fijan FV (0) = Q f (a todo orden de teora de
perturbaciones), pero aparece un AMDM que viene dado por
g2 FM (0) eQ f
a= = 2m = (1 + a).
2 Qf 2m
Por otro lado, las ecuaciones anteriores implican FV = FA = 0 para fermiones
distintos. Es decir, procesos tales como e se deben slo a transiciones
dipolares,

ij on-shell : ii6= j = ie(iFM + FE 5 ) q

El vrtice vector-fermin ms general 128


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).
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.

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.
Adems 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
momento 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.
El vrtice vector-fermin ms general 129
Los diagramas que contribuyen a un loop al vrtice efectivo vector-fermin
pueden agruparse en seis clases o topologas distintas:

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

El vrtice vector-fermin ms general 130


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 especialmente a prueba la consistencia de la teora.
El momento magntico del electrn se ha medido en un ciclotrn en Harvard con
una precisin impresionante: [Particle Data Group, Phys. Rev. D86 (2012) 010001]

ge
= 1.001 159 652 180 76 (27)
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 = .
2m 2
Se ha medido con gran precisin en el experimento E821 de Brookhaven:
[G.W. Bennett et al., Phys. Rev. D 73 (2006) 072003]

g
= 1.001 165 920 80 (63)
2
El momento magntico anmalo 131
El momento magntico anmalo en QED
e
e

e
e

En QED slo existe un diagrama a un loop (clase I) y el nico acoplamiento no


nulo es del tipo [VFF] con gV = 1, g A = 0. La configuracin de masas y
momentos es tambin muy simple. El AMDM del electrn es entonces:
1
FM (0) = 2m(C1 + C2 + C11 + C22 + 2C12 ) = ,
4 4 m
g2
a= = 2m FM (0) = ,
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.

El momento magntico anmalo en QED 132


El momento magntico anmalo en el SM
Los diagramas a un loop en el gauge de t Hooft-Feynman (incluyendo QED) son:


W
, Z H,

I II III

W

IV V VI

Para los nuevos, 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 ).
El momento magntico anmalo en el SM 133
Sumando todas las contribuciones a un loop:
( !)
(g 2) GF 10 1 h i m2 M2H
a = = + m2 2 2
5 (1 4sW ) +O 2
ln 2
2 2 8 2
|{z}
2 3 | 3
|{z} {z } MH m
QED W Z
| {z }
H

donde

GF = 2 M2
(1 + r ) = 1.1663787 (6) 105 GeV2 comparando con
2sW W
1 = 137.035 999 074 (44) comparando con (ge 2) en QED a 8 loops!
2
MW
2
sW = 1 2 = 0.223, me = 0.511 MeV, m = 0.106 GeV, m = 1.777 GeV.
MZ

2 )2 0.012 por lo que la Z contribuye aproximadamente la


Ntese que (1 4sW
mitad que la W y con signo opuesto. La contribucin del Higgs es despreciable.

A continuacin resumimos las predicciones del SM y las medidas actuales del


momento anmalo del mun a [Particle Data Group, Phys. Rev. D86 (2012) 010001]

El momento magntico anmalo en el SM 134


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)
Discrepancia de 3.6 !! de (e+ e hadrones) (2.4 de + hadrones)

El momento magntico anmalo en el SM 135


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 . 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 y B( e) < 3.3 108 .

El proceso raro e 136


Recordemos que se trata de transiciones dipolares, lo que puede comprobarse
explcitamente hallando las contribuciones a FV y FA , que son nulas.

Las anchuras y fracciones de desintegracin relevantes son


3  2 2

( j i ) = m j | FM | + | FE | ,
2
GF2 m5 W
j
( j i j i ) = 3
, GF = ,
192 2MW 2

B( j i ) ( j i )
=
B( j i j i ) ( j i i j )
4  2  
12 MW 4 2 2
= | FM | + | FE | ,
m2 W
j

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

El proceso raro e 137


e en el SM con neutrinos masivos
Los diagramas a un loop en el gauge de t Hooft-Feynman son:


W W
i i i i

W W
e e e e

II IV V VI

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 ).
W

El proceso raro e en el SM con neutrinos masivos 138


2
Definiendo xi m2i /MW
W
 
II: FM = iFE = m Uei Ui 3C11 C1
16 i
 
W 3
IV: FM = iFE = m Uei Ui xi C 0 + 3C1 + C11
16 i
2
V: FM = iFE = 0

VI: FM = iFE = W m Uei Ui C1
16 i
W m
Total: FM = iFE = 2 U ei U i FW ( xi )
16 MW i
10 33x + 45x2 4x3 3x3 5 x 2
donde FW ( x ) = 3
+ 4
ln x + O( x )
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 = Uei Ui FW ( xi ) Uei Ui xi < 1054 ,
2 i 32 i

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


El proceso raro e en el SM con neutrinos masivos 139
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 [. . . ]
16 i
W n o

iFE = m Uei Ui me Uei Ui [. . . ]
16 i

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


es
GF 10 GF
a = 2m FM (0) = 4m2 FW (0) = m2
8 2 2 3 8 2 2
pues, despreciando las correcciones radiativas de GF ,
GF W 1
= 2
,
2
8 2 16 MW

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

El proceso raro e en el SM con neutrinos masivos 140