Universidad Complutense de Madrid

Teorı́as Gauge de las Interacciones

Fundamentales

Ejercicios

Sebastián Quizhpi Salamea

1 Ejercicio 1
La teoria de perturbación quiral es una teorı́a efectiva de QCD construida dep esa manera. Los
campos están organizados por medio de una matriz unitaria 3 x 3 U ( ) ⌘ exp{i 2 (x)/F } donde:
0 0 1
⇡ ⌘8
8
p +p ⇡+ K+
X a B 2 6 C
⇡0
(x) ⌘ p a (x) = B @ ⇡ p
2
+p⌘8
6
K0 C A (1)
a=1
2 0 2⌘
K K p
6
8

y a es el generador del grupo SU(3). El lagrangiano para estos campos se puede escribir como:

F2
L= Dµ U † Dµ U + tr(U † + †
U) (2)
4

con F como una constante, Dµ = @µ irµ U + iU `µ , y:

= 2B0 diag(mu , md , ms ) (3)

B0 es un término constante (llamado gluon condensado), mi son las masas de los quarks. Calcular
las masas de los piones, kaones, partı́culas eta al orden mas bajo (es decir, sin loops) asumiendo
rµ = `µ = 0. Calcular, al orden mas bajo (sin loops) la sección eficaz para el proceso ⇡ + ⇡ ! ⇡ + ⇡
y ⇡ + ⇡ ! K + K y mostrar como el ratio de la sección eficaz depende de la masa de los quarks,
mi , para los casos:

a) rµ = `µ = 0
b) rµ = `µ = eQAµ , con Aµ es el campo electromagnético y Q = diag(2, 1, 1)/3

Resolución:

a. Masas de partı́culas ⇡ 0 , ⇡ ± , K 0 , K ± , ⌘
Expandimos el operador U:
8 0 1
> ⇡0 ⌘8
np o >
< p ! p
2
+ p
6
⇡+ K+
i 2 BB ⇡0
C
U ( ) ⌘ exp i 2 (x)/F ⇡ 1+ @ ⇡ p + ⌘8
p K0 C
A+
>
> F 2
0
6
: K K 2⌘
p8
6

0 12 9
⇡0 ⌘8 >
p !2 p
2
+ p
6
⇡+ K+ >
=
1 i 2 B ⇡0
C
+ B ⇡ + ⌘8
K0 CA + ...> (4)
p p
2! F @ 2 6
0 2⌘ >
;
K K p8
6

Hacemos lo mismo con su adjunto:

8 0 1
> ⇡0 ⌘8
n o >
< p ! p
2
+ p
6
⇡+ K+
p i 2 B ⇡0
C
U † ( ) ⌘ exp i 2 (x)/F ⇡ 1 B ⇡ + ⌘8
K0 C
A+
p p
> F @ 2 6
>
: 0 2⌘
K K p8
6

0 12 9
⇡0 ⌘8 >
p !2 p
2
+ p
6
⇡+ K+ >
=
1 i 2 B ⇡0
C
+ B ⇡ + ⌘8
K0 CA + ...> (5)
p p
2! F @ 2 6
0 2⌘ >
;
K K p8
6

1
Mediante uso de software realizamos el producto matricial y trazamos, teniendo en cuenta que
= †:
0 0 1 0 1 1
mu 0 0 mu 0 0
tr(U † + † U ) = tr @U † · 2B0 @ 0 md 0 A + 2B0 @ 0 md 0 A · UA (6)
0 0 ms 0 0 ms

4Bo h ⇣ p 0 ⌘
tr(U † + †
U) =
md 3F 4
+ 3⇡ 0 0
⇡ + ⌘ 8 ⌘ 8 + 6⇡ ⇡ +
+ 6k k 0
2 3⇡ ⌘8 +
3F 4
⇣ 0
⌘ ⇣ p ⌘i
+ms F 4 + 4⌘8 ⌘8 + 6k k + + k k 0 + mv 3F 4 + 3⇡ 0 ⇡ 0 + ⌘8 ⌘8 + 6⇡ ⇡ + + 2 3⇡ 0 ⌘8 (7)

8B0 + 8B0 0 8B0

= 4
(⇡ ⇡ )(md + mv ) + 4 (K K 0 )(md + ms ) + 4 (K + K )(ms + mv )+
F F F
p
4 B0 4 B0 8 3 B0 0
+ (⌘8 ⌘8 )(md + 4ms + mv ) + (md + mv ) + (⇡ ⌘8 )(mv md ) (8)
3 F4 3 F4 3 F4

El resultado lo expresamos como una matriz de masas:

0 p
4 3
1
(m + mv ) (mv md ) 0 0 0 0 0 0
p d 3
4 3 (m
B0 B 3 v md ) (md + 4ms + ms ) 0 0 0 0 0 0 C
B 0 0 0 4(md + mv ) 0 0 0 0 C
= B 0 0 4(md + mv ) 0 0 0 0 0 C
F4 @ 0
0
0
0
0
0
0
0
0
4(md + ms )
4(md + ms )
0
0
0
0
0
A
0 0 0 0 0 0 0 (ms + mv )
0 0 0 0 0 0 (ms + mv ) 0

(9)
Al diagonalizar la matriz encontramos el valor de las masas:
4B0
m2⇡± = (mu + md ) (10)
F2
4B0
m2K 0 = (md + ms ) (11)
F2
4B0
m2K ± = 2 (mu + ms ) (12)
F
" #
4B0 (mv + md ) p1 (mv md )
m2(⇡0 ,⌘) = 2 p1 (mu 1
3
4 (13)
F 3
md ) 3 (mu + md + 3 ms
)

b. Sección eficaz: ⇡ + ⇡ ! ⇡ + ⇡ y ⇡+⇡ ! K +K

Desarrollamos la parte cinética:

F2
L0 = tr(Dµ U )† (Dµ U ) (14)
4
8 9
2
>
< >
=
1 F
= tr(@µ )† (@ µ ) + tr (@µ U )† ( ieAµ [Q, U ]) + (ieAµ [Q, U ]† )(@ µ U ) + e2 Aµ Aµ [Q, U ][Q, U ]
2 4 >: | {z }>;
h.c.
2
1 F F2
= tr((@µ )† (@ µ )) + tr(ieAµ @µ U [Q, U ]† + h.c) + tr(e2 A2 [Q, U ][Q, U ]† )
2 4 4

Para derivar la matriz:

Z 1h p p p ih p p i
= exp[↵i 2 /F ]@µ (i 2 /F ) · exp(1 ↵)i 2 /F · exp[ i 2 /F ]Q Qexp( i 2 /F ) d↵
0

2
 p Z h i
i 2 1 p p p p
= d↵ exp(↵i 2 /F )@µ exp( ↵i 2 /F )Q exp( ↵i 2 /F )@µ exp(↵i 2 /F )Q
F 0
p Z 1 h
i 2 p p (( ( p p (((
= d↵ exp(↵i 2 /F )@µ ( (((2(/F )Q exp( ↵i 2 /F )@µ F (
exp(↵i (((2(/F )Q
exp(↵i
F 0
p p ((( p p (( (i
exp(↵i 2 /F )@µ ( ((i(2( /F )Q + exp( ↵i 2 /F )@µ F (
exp( (((2(/F )Q
exp(↵i (15)

1 F 2 e2
L0 = tr((@µ )† (@ µ )) + Aµ Aµ tr([Q, U ], [Q, U ]† ) (16)
2 4
1 F 2 e2
L0 = tr((@µ )† (@ µ )) + Aµ Aµ tr(Q2 QU QU † ) (17)
2 2

Realizamos la parte de la traza:

tr(Q2 QU QU † ) (18)
con Q: 0 1
2 0 0
1@
Q= 0 1 0 A
3
0 0 1
El lagrangiano tiene la forma:
p !
1 F2 1 3 0 4 4 2 0 5 0 0
L0 = tr((@µ )† (@ µ ))+e2 Aµ Aµ ⌘8 ⌘8 ⇡ ⌘8 + ⇡ ⇡ + K K+ + K K0 ⇡ ⇡
2 3 6 9 9 9 9 18
✓ ◆ (19)
1 4 4
L0 = tr((@µ )† (@ µ )) + e2 Aµ Aµ ⇡ ⇡+ K K +, (20)
2 9 9

Madiante la ayuda de software encontramos las interacciones que tiene el proceso a orden 4:
2 B0
= 54F 8 md + 54F 8 ms + 54F 8 mu + 9⇡ 0 ⇡ 0 ⇡ 0 ⇡ 0 (mu + md ) + ⌘8 ⌘8 ⌘8 ⌘8 (md + 16ms + mu )+
27 F 8
+F 4 ⇡ 0 ⇡ 0 (md +mu )+36⇡ ⇡ ⇡ + ⇡ + (md +mv )+18F 4 ⌘8 ⌘8 (md +4ms +mu )+18⇡ 0 ⇡ 0 ⌘8 ⌘8 (md +mu )+
0 0
36K K K + K + (ms +mu )+36K K K 0 K 0 (md +ms )+108F 4 ⇡ ⇡ + (md +mu )+36⇡ 0 ⇡ 0 ⇡ ⇡ + (md +mu )+
p p
+36⇡ ⇡ + ⌘8 ⌘8 (md +mu )+4 3⇡ 0 ⌘8 ⌘8 ⌘8 (mu md )+12 3⇡ 0 ⇡ 0 ⇡ 0 ⌘8 (mv md )+108F 4 K K + (ms +mu )+
0 0
+108F 4 K K 0 (md +ms )+18⇡ 0 ⇡ 0 K K + (ms +3mu )+18⇡ 0 ⇡ 0 K K 0 (3md +ms )+18⌘8 ⌘8 K K + (3ms +mu )+
0 0
+18⌘8 ⌘8 K K 0 (md + ms ) + 36⇡ ⇡ + K K + (md + ms + 2mu ) + 36⇡ ⇡ + K K 0 (2md + ms + mu )+
0 p p
+36K K + K K 0 (md + 2ms + mu ) + 36 3F 4 ⇡ 0 ⌘8 (mu md ) + 24 3⇡ 0 ⇡ ⇡ + ⌘8 (mv md )+
p 0 p p 0 p
+18 2⇡ 0 ⇡ K + K (mu md )+18 2⇡ 0 ⇡ + K K 0 (mu +md )+6 6⇡ ⌘8 ⇡ + K +12 3⇡ 0 ⌘8 K K + (mu ms )
p 0 p 0 p p 0 p
12 3⇡ 0 ⌘8 K K 0 12 6⇡ ⌘8 K + K 12 6⇡ + ⌘8 K K 0 +6 6⇡ ⌘8 K + K mu +6 6⇡ + ⌘8 K K 0 mu +
p 0
o
+18 3⇡ 0 ⌘8 K K 0 ms (21)

Nos centraremos únicamente en las interacciones con K ± , ⇡ ± :

2 B0
= 36 · ⇡ ⇡ ⇡ + ⇡ + · (md + mv ) + 36 · ⇡ ⇡ + K K + · (ms + ms + 2mu ) (22)
27 F 8

Como se trata de campos escalares, el propagador tiene la forma:

Z
d4 k 1
i ab = i ab
(2⇡)4 k 2 + i"

3
 Figure 1: Propagador Escalar

La sección eficaz para el primer proceso es proporcionaal vértice de interacción, calculamos la

matriz M:

Figure 2: Proceso: ⇡ + ⇡ ! ⇡ + ⇡

8 B0
|M|2 = {md + mv } (23)
3 F8
4B0 F2 2
m2⇡± = {mu + m d } ! {mu + m d } = m ±
F2 4B0 ⇡
Y finalmente definimos la sección eficaz:
d 1 kf
= |M|2 (24)
d⌦ 64⇡ 2 s ki
1 1
d = m2⇡± d⌦ (25)
96 F 6 ⇡ 2 s

El segundo proceso también es proporcional al vértice de interacción:

Figure 3: Proceso: ⇡ + ⇡ ! K + K

8 B0
|M|2 = {md + ms + 2mu } (26)
3 F8
4B0 4B0 4F 2 2
m2⇡± = 2
{mu + md } , m2K ± = 2 {mu + ms } ! (md + ms + 2mu ) = (m⇡± + m2K ± )
F F B0
Definimos la sección eficaz:
1 1
d = m2⇡± + m2K ± d⌦ (27)
96 F 6 ⇡ 2 s

4
2 Ejercicio 2
Suponemos que un Axion (una partı́cula pseudo escalar) con masa de unos pocos eV, interactua
con electrones por medio del lagrangiano L = g 5 A (Donde es el electrón y A el Axion)

2.1 Parte a
Escriba la amplitud del proceso + e ! A + e al orden más bajo en g y e. Verificar la invarianza
gauge del fotón y calcular la sección eficaz en el nivel no relativista de los electrones.

Tenemos los siguientes diagramas de Feynman para este proceso que involucra fermiones, cam-
pos escalares y semiescalares, los propagadores son de tipo fermiónicos:

Figure 4: Diagramas de Feynman del proceso: + e ! A + e : izquierda canal s, derecha canal

u

La amplitud del diagrama del canal s:

ge2 ⌫ 5
⇥ ⇤
Ts = u4 (k/1 + k/2 ) + m2 µ
u2 ✏ µ (28)
s m2
Tenemos que encontrar la amplitud conjugada del mismo, tenemos que seguir la siguiente consid-
eración: (u1 µ v2 )⇤ = (u†1 0 µ v2 )⇤ = (u1 µ v2† 0 ) = (u1 µ v 2 ):

ge2 ⇥ ⇤
2
Ts ⇤ =
u4 ⌫ 5 (k/1 + k/2 ) + m2 ⇤
µ u2 ✏ µ (29)
s m
La amplitud al cuadrado la planteamos de la siguiente manera:

2 g 2 e4 ⌫ 5
⇥ ⇤ ⇥ ⇤ ⇤
|Ts | = 2 u4 (k/1 + k/2 ) + m2 µ
u2 ✏ µ u4 ⌫
5
(k/1 + k/2 ) + m2 µ u2 ✏ µ (30)
(s m2 )
5
Ahora, tenemos que aplicar ciertas propiedades respecto a las matrices :
µ 5 µ 5 5 µ µ 5 5 µ
, = + =0! =

El producto de matrices es igual a la identidad: 5 · 5 = 1, aplicando la siguiente identidad:

✏µ · ✏⇤µ = 2, manipulamos algebraicamente la amplitud para contraer las matrices 5 , esto provoca
que el signo de las masas cambie:

2 2g 2 e4 X1 ⇥ ⇤ ⇥ ⇤
|Ts | = 2 tr k/4 + m2 ⌫
(k/1 + k/2 ) + m2 µ
· tr k/2 + m2 ⌫ (k/3 + k/4 ) + m2 µ
(s m2 ) s s
2
1 2
(31)
Recordamos que el producto impar de las matrices gamma se anulan, aplicando la identidades de
las trazas de 4 matrices gamma:

g 2 e4 ⇥ ⇤
= 2 16 (k4⌫ k1µ k4 k1 g µ⌫ + k4µ k1⌫ ) + (k4⌫ k2µ k4 k2 g µ⌫ + k4µ k2⌫ ) m2e g µ⌫ ·
(s m2 )

5
 · [ (k2⌫ k3µ k2 k3 gµ⌫ + k2µ k3⌫ ) + (k2⌫ k4µ k2 k4 gµ⌫ + k2µ k4⌫ ) m2e gµ⌫ ] (32)

La amplitud en función de los momentos:

2 32g 2 e4
|Ts | = 2 { (k4 k2 k1 k3 + k4 k3 k1 k2 )
(s m2 )

(2k4 k2 k1 k4 ) 2 (k4 k2 k2 k3 ) 2 (k4 k2 k2 k4 ) m2e (k4 k1 + 2k4 k2 + k2 k3 ) 2m4e (33)

Expresada en función de las variables de Maldestam:

⇢
2 32g 2 e4 (s m2 )2 (s + t)2
|Ts | = 2 + (s m2 )2 (t m2 ) 2 [(s m2 ) (t m2 )]m2e 2m2e
(s m2 ) 4 4
(34)

Ahora calculamos la amplitud del canal u, siguiendo las propiedades explicadas anteriormente:
ge2 µ 5
⇥ ⇤
Tu = u3 (k/2 k/3 ) + m2 ⌫
u2 ✏ µ (35)
u m2
La amplitud conjugada:
ge2 ⇥ ⇤
Tu ⇤ = u3 µ
5
(k/2 k/3 ) + m2 ⇤
⌫ u2 ✏ µ (36)
u m2
5
La amplitud total al cuadrado, luego de contraer las matrices :
2 g 2 e4 µ 5
⇥ ⇤ ⇥ ⇤ ⇤
|Tu | = 2 u3 (k/2 k/3 ) + m2 ⌫
u2 ✏ µ u3 µ
5
(k/2 k/3 ) + m2 ⌫ u2 ✏ µ (37)
(u m2 )
2 2
Usamos las variables de Maldestam, hacemos el siguiente cambio : u = (k2 k3 ) = (k1 k4 )
2 2g 2 e4 X1 ⇥ ⇤ ⇥ ⇤
|Tu | = 2 tr k/3 + m2 µ
(k/2 k/3 ) m2 ⌫
· tr k/2 m2 µ (k/1 k/4 ) + m2 ⌫
(s m2 ) s1 s2 2
(38)
Aplicando las identidades de las matrices gamma:
g 2 e4 ⇥ ⇤
= 2 16 (k3µ k1⌫ k3 k1 g µ⌫ + k3⌫ k1µ ) + (k3µ k4⌫ k3 k4 g µ⌫ + k3⌫ k4µ ) m2e g µ⌫ ·
(s m2 )
⇥ ⇤
· (k2µ k1⌫ k2 k1 gµ⌫ + k2⌫ k1µ ) + (k2µ k4⌫ k2 k4 gµ⌫ + k2⌫ k4µ ) m2e gµ⌫ (39)
La amplitud en función de los momentos:
2 32g 2 e4
|Tu | = 2 { (2k4 k2 k1 k1 ) 2 (k3 k2 k4 k1 + k3 k1 k4 k2 ) +
(u m2 )

+2 (k3 k2 k4 k4 ) m2e (k3 k1 + k3 k4 k2 k1 + k2 k4 ) 2m4e (40)

La amplitud en función de las variables de Maldestam:

⇢
2 32g 2 e4 (s m2 )2 (t m2 )2
|Tu | = 2 (t m2 )2 + m2e 2m4e (41)
(u m2 ) 2 2

Con las amplitudes listas, ahora procedemos a buscar la sección eficaz diferencial:

d |T |2 kf
= (42)
d⌦ 64⇡s ki

6
Con |T |2 = Ts2 + Tu2 + Ts Tu⇤ + Ts⇤ Tu donde Ts Tu⇤ y Ts⇤ Tu se cancelan, tenemos:

⇢ 
g 2 e4 1 (s m2 )2 (s + t)2
d = 2 2
+ (s m2 )2 (t m2 ) 2 (s t)m2e 2m4e +
2⇡s (s m ) 4 4

1 (s m2 )2 (t m2 )2 kf
+ (t m2 )2 + m2e 2m4e · · d⌦ (43)
(u m2 )2 2 2 ki
Los trimomentos se expresan:
kf 1 ⇥ 4 ⇤1/2
= M 4 M 2 me (me + !1 ) + m2e !12 (44)
ki 2me !1
Las variables de Maldestam son:

s = m2 + 2m!1 , t = 0, u = m2 2m!1

La amplitud en función de M, me y !:
⇢ 
g 2 e4 1 7 2
d = 2!12 + me !1 4m4e !12 m ·
2⇡(m2e + 2me !1 ) 4!12 4 e
 2
1 (m + 2me !1 M 2 )2 M4
· 2 2 M 2 + m2e 2m4e ·
4me !1 2 2
kf 1 ⇥ 4 ⇤1/2
· = M 4 M 2 me (me + !1 ) + m2e !12 · d⌦ (45)
ki 2me !1

2.2 Parte b
En el mismo lı́mite calcular la sección eficaz A + e+ ! A + e+ .

En este tipo de procesos, tenemos la interacción entre campos semiescalares y fermiones por medio
de propagadores fermiónicos:

Figure 5: Diagramas de Feynman del proceso A + e+ ! A + e+ , canal s y canal u

La amplitud y amplitud conjugada del canal s son:

ge2 ⌫ 5 µ 5
Ts = [u4 ][(k/1 + k/2 ) + me ][u2 ] (46)
s m2
ge2
Ts⇤ = [u4 ⌫
5
][(k/1 + k/2 ) + me ][u2 µ
5
] (47)
s m2

Seguimos los procesos anteriores para definir la amplitud total:

g 2 e4 X1
|T s |2 = 2 2
[u4 ⌫ 5
][(k/1 + k/2 ) + me ][u2 µ 5
] · [u4 ⌫
5
][(k/1 + k/2 ) + me ][u2 µ
5
] (48)
2(s m ) s s 2
1 2

7
 g 2 e4
|T s |2 = {tr(k/4 + me ) ⌫
[(k/1 + k/2 ) me ] µ
· tr(k/2 + me ) µ [(k/3 + k/4 ) me ] µ
} (49)
2(s m2 )2

16g 2 e4
|T s |2 = {(k4 k2 k1 k3 + k4 k3 k1 k2 ) + (k4 k2 k1 k4 + k4 k4 k1 k2 ) (k4 k2 k2 k3 + k4 k3 k2 k2 )}
(s m2 )2

+(k4 k2 k2 k4 + k4 k4 k2 k2 ) + m2e (2k4 k2 + k4 k1 + k2 k3 ) + 2m4e (50)

La amplitud total del canal s:

⇢
16g 2 e4 (s m2 ) 2 (s + t)2
|T s |2 = 2 2
+ + [(s m2 ) (t m2 )]m2e + 3m4e (51)
(s m ) 2 2

Seguimos las misma premisas para calcular la amplitud del canal u

ge2 µ 5 ⌫ 5
Tu = [u4 ][(k/2 k/3 ) + me ][u2 ] (52)
s m2
ge2
Tu⇤ = [u4 µ
5
][(k/2 k/3 ) + me ][u2 ⌫
5
] (53)
u m2
g 2 e4 X1
|T u |2 = 2 2
[u4 µ 5
][(k/2 k/3 ) + me ][u2 ⌫ 5
] · [u4 µ
5
][(k/2 k/3 ) + me ][u2 ⌫
5
] (54)
2(u m ) s s 2
1 2

g 2 e4
|T u |2 = {tr(k/4 + me ) µ
[(k/2 k/3 ) me ] ⌫
· tr(k/2 + me ) µ [(k/1 k/4 ) me ] ⌫
} (55)
2(u m2 )2

16g 2 e4
|T u |2 = {(k4 k2 k2 k1 + k4 k1 k2 k2 ) + (k4 k2 k2 k4 + k4 k4 k2 k2 ) (k4 k2 k3 k1 + k4 k1 k3 k2 )}
(u m2 )2

+(k4 k2 k3 k4 + k4 k4 k3 k2 ) + m2e (2k2 k4 k4 k3 + k2 k1 ) + 2m4e (56)

La amplitud total del canal u:
⇢
16g 2 e4 (t m2 )2 (s m2 )(s + t)
|T u |2 = 2 2
+ + [(s m2 ) (t m2 )]m2e + 3m4e (57)
(u m ) 2 2

Finalmente calculamos la sección eficaz difernecial, teniendo en cuenta que como en el caso ante-
rior: |T |2 = Ts2 + Tu2 + Ts Tu⇤ + Ts⇤ Tu donde Ts Tu⇤ y Ts⇤ Tu se cancelan, tenemos:
⇢ 
g 2 e4 1 (s m2 )2 (s + t)2
d = 2 2
+ + (s t)m2e + 3m4e +
4⇡s (s m ) 2 2

1 (t m2 )2 (s m2 )(s + t) kf
2 2
+ + (s t)m2e + 3m4e · · d⌦ (58)
(u m ) 2 2 ki
⇢ 
g 2 e4 1 7
d = 2 2 2!12 + m2e + 2me !12 + 2!1 + me +
4⇡(m + 2m!1 ) 4!1 2
 2 2 2
1 M (m + 2m!1 ) (m + 2m!)2 M
2
+ 2 2 + + (m2 2m!1 )m2e + 3m4e ·
4m !1 2 2 2
1 ⇥ 4 ⇤ 1/2
· M 4 M 2 me (me + !1 ) + m2e !12 · d⌦ (59)
2m!1

8
3 Ejercicio 3
Que pasa con la amplitud de probabilidad F (q 0 t0 , qt) cuando el lagrangiano no tiene la forma
canónica, con:
1 2
L= q̇ f (q)
2

Resolución:

El Hamiltoniano está en función de las variables canónicas p y q con [p, q] = i}, donde para
encontrar q̇ hacemos la transformada de legendre:

H (p, q) = pq̇ L (p, q) (60)

con momento canónico conjugado:

@L 1
p= = q̇f (q) , q̇ = pf (q) (61)
@ q̇

El hamiltoniano del sistema nos queda de la siguiente manera:

1 2 1
H (q, p) = p f (q) (62)
2

Ahora, partimos de la definición de integral de caminos:

n Z +1 n Z +1
( n ✓ ◆)
Y Y X qm + qm 1
0 0
F (q t , qt) = lim dq` dkJ=1 exp i pm (qm+1 qm ) tH pm ,
x!1 1 1 m=1
2
`=1 J=1
(63)

E introduciendo la expresión de hamiltoniano:

n Z n Z
( n ✓ ◆)
Y +1 Y +1 X qm + qm 1
F (q 0 t0 , qt) = lim dq` dkJ=1 exp i pm (qm+1 qm ) t p2m f 1
x!1 1 1 m=1
2
`=1 J=1
(64)
Realizamos la integración respecto a k, que corresponde a una integral tipo Gaussiana, esta
integral usualmente tiene la forma:
Z +1 ✓ ◆ ✓ ◆1 ✓ ◆
1 2 2⇡i 2 iJ 2
exp iax + iJx dx = exp (65)
1 2 a 2a

Al integrar, la expresión es la siguiente:

Z n ✓ ◆Y
n  ✓ ◆ 1 ( n ✓ ◆2 ✓ ◆)
+1 Y X
dq qJ+1 + qJ 2
t qm+1 qm qm+1 qm
F (q 0 t0 , qt) = lim p ` f exp i +
x!1 1 `=1 2⇡i 2 m=1
2 t 2
J=1
(66)
Cambiamos la notación:
Yn ✓ ◆
dq
Dq = p ` (67)
`=1
2⇡i
Tenemos la siguiente identidad:
n  ✓ ◆ 1 ( ✓ ◆)
Y qJ+1 + qJ 2
1X qJ+1 + qJ
f = exp Inf (68)
2 2 2
J=1 J

9
La expresión toma la forma:
Z ( n
"✓ ◆2 ✓ ◆# ✓ ◆)
X qj qJ+1 + qJ i qJ+1 + qJ
F (q 0 t0 , qt) = lim Dq exp 2i t f Inf
n!1 t 2 4 t 2
J=1
(69)

Tomamos el lı́mite al contı́nuo n ! 1, t ! 0 y reescribimos las siguientes expresiones:

X Z
ij
t ! dt, ! (ti tj )
t
q qJ+1 + qJ
! q̇,
t 2
( ✓ ◆) ⇢ Z ✓ ◆
1 X qJ+1 + qJ (0) qJ+1 + qJ
exp t In f ! exp dt In f
2 t 2 2 2
J

Finalmente, definimos la ecucación de la integral de camino con un lagrangiano de interacción

diferente al canónico: Z
F (q 0 t0 , qt) = Dq eiSef f (70)

Tomando en cuenta la acción efectiva:

Z Z
q̇f (q) i (0)
Sef f = 4 dt In f (q) = dt Lef f (q, q̇) (71)
2 8

10
4 Ejercicio 4
p
Considere el campo complejo ⇡ = (⇡1 + i ⇡2 ) / 2. El lagrangiano del campo es:
⇣ ⌘
2 4
L = @µ ⇡ ⇤ @ µ ⇡ + m |⇡| g |⇡|

Escribir la definición formal del generador de las funciones funciones de green 1PI, y, solo para
el caso de la dispersión elástica, el super potencial elevado a un loop en teorı́a de perturbaciones.

Resolución:

al lagrangiano lo expresamos de la siguiente manera:

2 2
L = (@µ ⇡ ⇤ @ µ ⇡ + m ⇡ ⇡ ⇤ ) g (⇡ ⇡ ⇤ ) (⇡ ⇡ ⇤ ) (72)

Partimos con la definición del Funcional generador de las funciones de Green:

⇢ Z Z
W0 [J (x) , J (y)] = W0 [0] exp i d4 x d4 y J (x) (x y) J (y) (73)

E introduciendo la notación:
J (x) = ⌘ ⇤ , J (y) = ⌘
La expresión es la siguiente:
⇢ Z Z
⇤ ⇤
W0 [⌘, ⌘ ] = W0 [0] exp i d x d4 y ⌘ (x)
4
(x y) ⌘ (y)

Donde abreviamos la notación:

⇢ Z
⇤
W0 [⌘, ⌘ ] = W0 exp i ⌘x⇤ xy ⌘y dx dy

Desarrollando el término en series de Taylor a primer orden:

" ✓ ◆2 # ⇢Z
⇣ g ⌘Z
⇤
W0 [⌘, ⌘ ] = 1 + 4
d z ⇤ exp ⌘⇤ xy ⌘ (74)
4! ⌘ (z) ⌘ (z)

Tomando las derivadas realizadas en el ejercicio anterior:

✓ ◆ ⇢ ✓Z ◆ ✓Z ◆
1 2 4 ⇤
exp {J J} = 3 0 + 6i 0 d x (x y) ⌘ (x) d4 y (x y) ⌘ (y) +
i Jz
✓Z ◆2 ✓Z ◆2 ⇢Z
4 ⇤ 4
+ d x (x y) ⌘ (x) d y (x y) ⌘ (y) exp J J

Ahora, sacamos el funcional generador de las funciones de green conexas:

Z [J] = i In [W (J)] (75)

⇢ ⇢Z
Z0 [⌘, ⌘ ⇤ ] = i In [...] exp J J (76)

Z ⇣ Z Z ✓Z ◆ ✓Z ◆
g⌘ 4 2 4 4 ⇤ 4
i (J J)+ d z 3i 0 + d z6 0 d x (x y) ⌘ (x) d y (x y) ⌘ (y) +
4!

Z Z ! ✓Z ◆2 )#
4 4 ⇤ 2 4
d zi d x (x y) ⌘ (x) d y (x y) ⌘ (y) (77)

11
 Para determinar el generador de las funciones 1PI definimos los campos:

z i W0 ⇣ g ⌘ Z ✓Z ◆
4 2 4 ⇤
1 (y) = = i d z6 0 d x (x y) ⌘ (x)
⌘ (y) W0 ⌘ (y) 4!
✓Z ◆2 ✓Z ◆
4 ⇤ 4 ⇤
2i 0 d x (x y) ⌘ (x) d y (x y) ⌘ (y) (78)

z i W0 ⇣ g ⌘ Z ✓Z ◆
4 2 4
2 (x) = = i d z6 0 d y (x y) ⌘ (y)
⌘ ⇤ (x) W0 ⌘ ⇤ (x) 4!
✓Z ◆ ✓Z ◆2
2i 0 d4 x (x y) ⌘ ⇤ (x) d4 y (x y) ⌘ (y) (79)

El generador de las funciones de Green 1PI se define como:

Z
( ) = Z [J] d4 x J (x) (x) (80)
Z Z
⇤
[ 1, 2] = Z [⌘, ⌘ ] 4
d y ⌘ (y) 1 (y) d4 x ⌘ ⇤ (x) 2 (x) (81)

Desarrollamos
 ⇣ g ⌘ ⇢Z  ✓Z ◆ ✓Z ◆
4 2 4 ⇤ 4
[ 1, 2] = iW0 i d z 3i 0 +6 0 d x (x y) ⌘ (x) d y (x y) ⌘ (y)
4!
✓Z ◆2 ✓Z ◆2
4 ⇤ 4 ⇤
i d x (x y) ⌘ (x) d y (x y) ⌘ (y) ]
Z  ⇣ g ⌘ Z  ✓Z ◆
4 i W0 4 2 4 ⇤
d y ⌘ (y) i d z 6 0 d x (x y) ⌘ (x)
W0 ⌘ (y) 4!
✓Z ◆2 ✓Z ◆
4 ⇤ 4
2i 0 d x (x y) ⌘ (x) d y (x y) ⌘ (y) ]
Z  ⇣ g ⌘ Z  ✓Z ◆
i W0
d4 x ⌘ ⇤ (x) i d 4
z 6 2
0 d 4
y (x y) ⌘ (y)
W0 ⌘ ⇤ (x) 4!
✓Z ◆ ✓Z ◆2
2i 0 d4 x (x y) ⌘ ⇤ (x) d4 y (x y) ⌘ (y) (82)

12
5 Ejercicio 5
Demuestre que el generador Z [J] es el generador de las funciones de Green Conexas tomando los
siguientes ejemplos:
Z Z
y
J1 J2 J1 J2 J3 J4

Subir 2 en la teorı́a escalar 4

y mostrar que todos los diagramas inconexos se cancelan.
Resolución:
4
Partimos desde el lagrangiano de la teorı́a :

L = L0 + LInt
1 1 2
L= @µ @ µ m 4
(83)
2 2 4!
Por definición, Z [J] es:
Z [J] ⌘ i InW [J] (84)
Aplicamos la derivada funcional:
2 2
Z 1 i Z
= 2 2
(85)
J1 J2 W J1 J2 W J1 J2
n R ⇣ ⌘o R
exp i dz LInt 1i Jz exp i
2 J (x) F (x y) J (y) dxdy
Z [J] = ⇥ R 1 i
R
exp i dz LInt i J z exp 2 J (x) F (x y)J (y) dxdy}]Jz=0 (86)
Donde el lagrangiano de interacción es:

4
LInt = (87)
4!
Introduciéndolo en la función anterior:
⇢ ⇣ ⌘4
R 1 i
R
exp i 4! i Jz dz exp 2 J (x) F (x y)J (y) dxdy}
Z [J] = h n R 4
o R
1 i
exp i 4! i J z dz exp 2 J (x) F (x y)J (y) dxdy}]Jz=0 (88)

Hacemos un desarrollo en serie de potencias:

( Z ✓ ◆4 ✓ ◆2 Z ✓ ◆8 ) ⇢ Z
1 1 3 i
= 1 dz + dz + O exp J (x) F (x y)J (y) dxdy} (89)
4! i Jz 4! i Jz 2

Aplicamos la deriva funcional. la que se define de la siguiente manera, usaremos la siguiente

notación: J (x) = Jx , F (z x) = zx , (z x) = zx :

F (Jz ) f [(Jx ✏ zx ) f (Jx )]

= lim (90)
Jz ✏!0 ✏

Donde tomaremos el funcional:

Z
F (Jz )
= Jx xy Jy dxdy (91)
Jz
Procedemos a hacer las derivadas para ver como se conectan a distintos puntos.

13
 La derivada a un solo punto:
R
Z R
i
dx·dx0 J(x0 ) (x0 x)J(x) i i
dt·dt0 J(x0 ) (x0 x)J(x)
·e 2 = ·2 dx00 J(x00 ) (x00 x)·e 2 (92)
J(x1 ) 2
Z R
i
dt·dt0 J(x0 ) (x0 x)J(x)
= i dx1 · J(x1 ) (x1 x0 ) · e 2

R
i J0 x0 x J
= i · J1 10 ·e (93)
| {z }
A

Derivada a dos puntos:

⇢ R ⇣ R ⌘
i J0 x0 x J i J0 x0 x J
= (A) · e +A· e
J(x2 ) J2 J2
⇢ R 0 ⇣ R ⌘
J0
= ( i J1 10 ) · e i J x0 x J + J1 10 · e i x0 x J
J(x2 ) J2 J2
8 9
< = R
J0
= ( i) 21 + ( i)2 J1 10 · J2 21 ·e i x0 x J
:| {z };
B

Derivada a tres puntos:

⇢ R ⇣ R ⌘
i J0 x0 x J i J0 x0 x J
= (B) · e +B· e
J(x3 ) J3 J3
8 9
< = R
= ( i) 31 · J2 21 + ( i)2 32 · J1 10 + ( i)2 21 · J3 32 + ( i)3 J1 10 · J2 21 · J3 32 ·e i Jx 0 x 0 x Jx
:| {z };
C

Derivada a cuatro puntos:

⇢ R ⇣ R ⌘
i Jx 0 x0 x Jx i Jx 0 x 0 x Jx
= (C) · e +C · e
J(x4 ) J4 J4
= ( i)2 [ 31 42 + 32 41 + 21 34 ] +

+( i)3 [ 31 · J2 21 · J3 43 + 32 · J1 10 · J4 43 + 21 · J3 32 · J4 43 +

+ 41 · J2 21 · J3 32 + 42 · J1 10 · J3 32 + 43 · J1 10 · J2 21 +
R
+̇( i)3 J1 10 · J2 21 · J3 32 · J4 43 } ·e i Jx 0 x 0 x Jx

Donde se puede observar ya la estructura de los siguientes propagadores:

Figure 6: Contribuciones

La derivada a 5 puntos:
⇢ R ⇣ R ⌘
i Jx 0 x0 x Jx i Jx 0 x 0 x Jx
= (D) · e +D· e
J(x5 ) J5 J5

14
 8 20 1
<
= ( 1)3 4@ 31 42 + 32 41 + 21 34
A · J5 54 +
: | {z }
A1
0 1 0 1

+@ 31 52 + 32 51 + 21 53
A · J4 43 +@ 21 54 + 41 53 + 42 51
A · J3 32 +
| {z } | {z }
A2 A3
0 1 0 1

+@ 31 54 + 41 53 + 43 51
A · J2 21 +@ 32 54 + 32 54 + 43
A · J1
52 10 +
| {z } | {z }
A4 A5
4
+( i) [ 21 (J5 54 · J4 43 · J3 31 ) + 31 (J5 54 · J4 43 · J2 21 ) + 32 (J5 54 · J4 43 · J1 10 ) +

+ 41 (J5 54 · J3 43 · J2 21 ) + 42 (J5 54 · J3 32 · J1 10 ) + 43 (J5 54 · J2 21 · J1 10 ) +

+ 51 (J4 43 · J3 32 · J2 21 ) + 52 (J4 43 · J3 32 · J1 10 ) + 53 (J4 43· J2 21 · J1 10 ) +

o R
52 (J3 32 · J2 21 · J1 10 ) + ( i)5 J5 54 · J4 43 · J3 32 · J2 21 · J1 10 ·e
i Jx 0 x 0 x Jx

La derivada a seis puntos:

⇢ R ⇣ R ⌘
i Jx 0 x0 x Jx i Jx0 x 0 x Jx
= (E) · e +E· e
J(x6 ) J6 J6
3
= ( 1) [ 65 (A1 ) + 64 (A2 ) + 63 (A3 ) + 62 (A4 ) + 61 (A5 )] +

+( i)4 [(A1 ) · J6 65 · J5 54 + (A2 ) · J6 65 · J4 43 + (A3 ) · J6 65 · J3 32

+(A4 ) · J6 65 · J2 21 + (A5 ) · J6 65 · J1 12 + (B1 ) · J5 54 · J4 43 +

+(B2 ) · J5 54 · J3 32 + (B3 ) · J5 54 · J2 21 + (B4 ) · J5 54 · J1 10 +

+(B5 ) · J4 43 · J3 32 + (B6 ) · J4 43 · J2 21 + (B7 ) · J4 43 · J1 10 +

+(B8 ) · J3 32 · J2 21 + (B9 ) · J3 32 · J1 10 + (B10 ) · J2 21 · J1 10 ]+

+( i)4 [ 51 (J4 43 · J3 32 · J2 21 ) + 52 (J4 43 · J3 32 · J1 10 ) +

53 (J4 43 · J2 21 · J1 10 ) + 54 (J3 32 · J2 21 · J1 10 )] +
5
+( i) [ 21 (J6 65 · J5 54 · J4 43 · J3 32 ) + 31 (J6 65 · J5 54 · J4 43 · J2 21 ) +

+ 32 (J6 65 · J5 54 · J4 43 · J1 10 ) + 41 (J6 65 · J5 54 · J3 32 · J2 21 ) +

+ 42 (J6 65 · J5 54 · J3 32 · J1 10 ) + 43 (J6 65 · J5 54 · J2 32 · J1 10 ) +

+ 61 (J5 54 · J4 43 · J3 32 · J2 21 ) + 62 (J5 54 · J4 43 · J3 32 · J1 10 ) +

+ 63 (J5 54 · J4 43 · J2 21 · J1 10 ) + 64 (J5 54 · J3 32 · J2 21 · J1 10 ) +

+ 65 (J4 43 · J3 32 · J2 21 · J1 10 ) +
o R
+( i)6 · J6 65 · J5 54 · J4 43 · J3 32 · J2 21 · J1 10 ·e i Jx 0 x 0 x Jx

Donde los factores B son productos entre propagadores:

B1 = (A1 + 31 62 + 32 61 + 21 63 ), B2 =( 21 64 + 41 62 + 42 61 + 31 62 + 32 61 + 21 63 ),

B3 = ( 31 64 + 41 63 + 43 61 31 64 + 43 61 + 41 63 ), B4 = ( 32 64 + 42 63 + 43 62 ),

B5 = ( 21 65 + 51 62 + 52 61 ), B6 = ( 31 65 + 53 61 + 51 63 ),

B7 = ( 32 65 + 52 63 + 53 62 + 32 65 ), B8 = ( 54 62 + 52 64 ),

B9 = ( 52 63 + 53 62 ), B10 = ( 53 64 + 54 63 ).

15
 Derivada a siete puntos:
⇢ R ⇣ R ⌘
i Jx 0 x0 x Jx i Jx 0 x0 x Jx
= (F ) · e +F · e
J(x7 ) J7 J7

= ( 1)4 [ 65 (A1 ) + 64 (A2 ) + 63 (A3 ) + 62 (A4 ) + 61 (A5 )] · J7 76 +

+( i)5 [(A1 ) · J6 65 · J5 54 + (A2 ) · J6 65 · J4 43 + (A3 ) · J6 65 · J3 32

+(A4 ) · J6 65 · J2 21 + (A5 ) · J6 65 · J1 12 + (B1 ) · J5 54 · J4 43 +

+(B2 ) · J5 54 · J3 32 + (B3 ) · J5 54 · J2 21 + (B4 ) · J5 54 · J1 10 +

+(B5 ) · J4 43 · J3 32 + (B6 ) · J4 43 · J2 21 + (B7 ) · J4 43 · J1 10 +

+(B8 ) · J3 32 · J2 21 + (B9 ) · J3 32 · J1 10 + (B10 ) · J2 21 · J1 10 ]·J7 76 +

5
+( i) [ 51 (J4 43 · J3 32 · J2 21 ) + 52 (J4 43 · J3 32 · J1 10 ) +

53 (J4 43 · J2 21 · J1 10 ) ++ 54 (J3 32 · J2 21 · J1 10 )] · J7 76 +

+( i)6 [ 21 (J6 65 · J5 54 · J4 43 · J3 32 ) + 31 (J6 65 · J5 54 · J4 43 · J2 21 ) +

+ 32 (J6 65 · J5 54 · J4 43 · J1 10 ) + 41 (J6 65 · J5 54 · J3 32 · J2 21 ) +

+ 42 (J6 65 · J5 54 · J3 32 · J1 10 ) + 43 (J6 65 · J5 54 · J2 32 · J1 10 ) +

+ 61 (J5 54 · J4 43 · J3 32 · J2 21 ) + 62 (J5 54 · J4 43 · J3 32 · J1 10 ) +

+ 63 (J5 54 · J4 43 · J2 21 · J1 10 ) + 64 (J5 54 · J3 32 · J2 21 · J1 10 ) +

+ 65 (J4 43 · J3 32 · J2 21 · J1 10 )] · J7 76 +

+( i)4 [J4 43 · J3 32 · (C1 ) + J4 43 · J2 21 · (C2 ) + J4 43 · J1 10 · (C3 )+

4
+( i) [J3 32 · J2 21 · (C4 ) + J3 32 · J1 10 · (C5 ) + J2 21 · J1 10 · (C6 )] +
+( i)4 [J6 65 · (C7 ) + J5 54 · (C8 ) + J4 43 · (C9 ) + J3 32 · (C10 ) + J2 21 · (C11 )+
+J1 10 · (C12 )] +
+( i)5 [J6 65 · J5 54 · J4 43 · (C13 ) + J6 65 · J5 54 · J3 32 · (C14 )+
+J6 65 · J5 54 · J2 21 · (C15 ) + J6 65 · J5 54 · J1 10 · (C16 )+
+J6 65 · J3 32 · J2 21 · (C17 ) + J6 65 · J3 32 · J1 10 · (C18 )+
+J6 65 · J2 21 · J1 10 · (C19 ) + J5 54 · J4 43 · J3 32 · (C20 )+
+J5 65 · J4 21 · J2 10 · (C21 ) + J5 54 · J4 43 · J1 10 · (C22 )+
+J5 54 · J3 31 · J2 21 · (C23 ) + J5 54 · J3 31 · J1 10 · (C24 )+
+J5 54 · J2 21 · J1 10 · (C25 ) + J4 43 · J3 32 · J2 21 · (C26 )+
+J4 43 · J3 31 · J1 10 · (C27 ) + J4 43 · J2 21 · J1 10 · (C28 )+
+J3 32 · J2 21 · J1 10 · (C29 )] +
+( i)6 [ 71 (J6 65 · J5 54 · J4 43 · J3 32 · J2 21 ) + 72 (J6 65 · J5 54 · J4 43 · J3 32 · J1 10 ) +

+ 73 (J6 65 · J5 54 · J4 43 · J2 21 · J1 10 ) + 74 (J6 65 · J5 54 · J3 32 · J2 21 · J1 10 ) +

+ 75 (J6 65 · J4 54 · J3 43 · J2 21 · J1 10 ) + 76 (J5 65 · J4 54 · J3 32 · J2 21 · J1 10 )] +
o R
+( i)7 · J7 76 · J6 65 · J5 54 · J4 43 · J3 32 · J2 21 · J1 10 ·e i Jx 0 x 0 x Jx

Los factores C de productos de propagadores:

C1 = ( 51 72 + 52 71 ), C2 = ( 53 71 + 51 73 ), C3 =( 52 73 + 53 72 ), C4 = ( 51 74 ),

C5 = ( 52 74 ), C6 = ( 53 74 ),

16
 C7 = (A1 · 75 + A2 · 74 + A3 · 73 + A2 · 72 + A5 · 71 ),

C8 = (A1 · 76 + P1 · 74 + P2 · 73 + P3 · 72 + P4 · 71 ),

C9 = (A2 · 76 + P1 · 75 + P5 · 73 + P6 · 72 + P7 · 71 ),

C10 = (A3 · 76 + P2 · 75 + P5 · 74 + P8 · 73 + P9 · 71 ),

C11 = (A4 · 76 + P3 · 75 + P6 · 73 + P8 · 72 + P10 · 71 ),

C12 = (A5 · 76 + P4 · 75 + P7 · 74 + P9 · 73 + P10 · 71 ),

C13 = ( 21 73 + 32 71 + 31 72 ), C14 =( 21 74 + 41 72 + 42 71 ),

C15 = ( 31 74 + 41 73 + 43 71 ), C16 =( 42 73 + 43 72 + 32 74 ),

C17 = ( 21 75 ), C18 =( 32 75 ), C19 =( 42 75 ), C20 =( 43 75 ), C21 =( 41 76 ),

C22 = ( 21 76 + 61 72 + 62 71 ), C23 =( 31 76 + 61 73 + 63 71 ),

C24 = ( 32 76 + 63 72 + 62 73 ), C25 =( 41 76 + 61 74 + 64 71 ),

C26 = ( 42 76 + 64 72 + 62 74 ), C27 =( 43 76 + 63 74 + 64 73 ),

C28 = ( 61 75 + 65 71 ), C29 =( 65 72 + 62 75 ), C30 =( 65 73 + 63 75 ), C31 =( 65 74 + 64 75 )

Derivada a ocho puntos:

⇢ R ⇣ R ⌘
i Jx 0 x0 x Jx i Jx 0 x 0 x Jx
= (G) · e +G· e
J(x8 ) J8 J8

= ( 1)5 [ 65 (A1 ) + 64 (A2 ) + 63 (A3 ) + 62 (A4 ) + 61 (A5 )] · J8 87 · J7 76 +

+( i)6 [(A1 ) · J6 65 · J5 54 + (A2 ) · J6 65 · J4 43 + (A3 ) · J6 65 · J3 32

+(A4 ) · J6 65 · J2 21 + (A5 ) · J6 65 · J1 12 + (B1 ) · J5 54 · J4 43 +

+(B2 ) · J5 54 · J3 32 + (B3 ) · J5 54 · J2 21 + (B4 ) · J5 54 · J1 10 +

+(B5 ) · J4 43 · J3 32 + (B6 ) · J4 43 · J2 21 + (B7 ) · J4 43 · J1 10 +

+(B8 ) · J3 32 · J2 21 + (B9 ) · J3 32 · J1 10 + (B10 ) · J2 21 · J1 10 ]·J8 87 · J7 76 +

6
+( i) [ 51 (J4 43 · J3 32 · J2 21 ) + 52 (J4 43 · J3 32 · J1 10 ) +

53 (J4 43 · J2 21 · J1 10 ) ++ 54 (J3 32 · J2 21 · J1 10 )] · J8 87 · J7 76 +
7
+( i) [ 21 (J6 65 · J5 54 · J4 43 · J3 32 ) + 31 (J6 65 · J5 54 · J4 43 · J2 21 ) +

+ 32 (J6 65 · J5 54 · J4 43 · J1 10 ) + 41 (J6 65 · J5 54 · J3 32 · J2 21 ) +

+ 42 (J6 65 · J5 54 · J3 32 · J1 10 ) + 43 (J6 65 · J5 54 · J2 32 · J1 10 ) +

+ 61 (J5 54 · J4 43 · J3 32 · J2 21 ) + 62 (J5 54 · J4 43 · J3 32 · J1 10 ) +

+ 63 (J5 54 · J4 43 · J2 21 · J1 10 ) + 64 (J5 54 · J3 32 · J2 21 · J1 10 ) +

+ 65 (J4 43 · J3 32 · J2 21 · J1 10 )] · J8 87 · J7 76 +

+( i)6 [J4 43 · J3 32 · (C1 ) + J4 43 · J2 21 · (C2 ) + J4 43 · J1 10 · (C3 )+

4
+( i) [J3 32 · J2 21 · (C4 ) + J3 32 · J1 10 · (C5 ) + J2 21 · J1 10 · (C6 )] +
+( i)5 [J6 65 · (C7 ) + J5 54 · (C8 ) + J4 43 · (C9 ) + J3 32 · (C10 ) + J2 21 · (C11 )+
+J1 10 · (C12 )] · J8 87 +

+( i)6 [J6 65 · J5 54 · J4 43 · (C13 ) + J6 65 · J5 54 · J3 32 · (C14 )+

+J6 65 · J5 54 · J2 21 · (C15 ) + J6 65 · J5 54 · J1 10 · (c16 )+
+J6 65 · J3 32 · J2 21 · (C17 ) + J6 65 · J3 32 · J1 10 · (C18 )+

17
 +J6 65 · J2 21 · J1 10 · (C19 ) + J5 54 · J4 43 · J3 32 · (C20 )+
+J5 65 · J4 21 · J2 10 · (C21 ) + J5 54 · J4 43 · J1 10 · (C22 )+
+J5 54 · J3 31 · J2 21 · (C23 ) + J5 54 · J3 31 · J1 10 · (C24 )+
+J5 54 · J2 21 · J1 10 · (C25 ) + J4 43 · J3 32 · J2 21 · (C26 )+
+J4 43 · J3 31 · J1 10 · (C27 ) + J4 43 · J2 21 · J1 10 · (C28 )+
+J3 32 · J2 21 · J1 10 · (C29 )] · J8 87 +

+( i)7 [ 71 (J6 65 · J5 54 · J4 43 · J3 32 · J2 21 ) + 72 (J6 65 · J5 54 · J4 43 · J3 32 · J1 10 ) +

+ 73 (J6 65 · J5 54 · J4 43 · J2 21 · J1 10 ) + 74 (J6 65 · J5 54 · J3 32 · J2 21 · J1 10 ) +

+ 75 (J6 65 · J4 54 · J3 43 · J2 21 · J1 10 ) + 76 (J5 65 · J4 54 · J3 32 · J2 21 · J1 10 )]·J8 87 +

4
+( i) [ 86 · (P7 ) + 85 · (P8 7) + 84 · (P9 ) + 83 · (P10 ) + 82 · (P11 ) + 81 · (P12 )] +
4
+( i) [J4 43 · (D1 ) + J3 32 · (D2 ) + J2 21 · (D3 ) + J1 10 · (D4 )] +
+( i)4 [J7 76 · J6 65 · (D5 ) + J7 76 · J5 54 · (D6 ) + J7 76 · J4 43 · (D7 ) + J7 76 · J3 65 · (D8 )+
+J7 76 · J2 21 · (D9 ) + J7 76 · J1 10 · (D10 ) + J6 76 · J5 43 · (D11 ) + J6 76 · J4 65 · (d12 )+
+J6 65 · J3 32 · (D13 ) + J6 65 · J2 21 · (D14 ) + J6 65 · J1 10 · (D15 ) + J5 54 · J4 43 · (D16 )+
+J5 54 · J3 32 · (D17 ) + J5 54 · J2 21 · (D18 ) + J5 54 · J1 10 · (D19 ) + J4 43 · J3 32 · (D20 )+
+J4 43 · J2 21 · (D21 ) + J4 43 · J1 10 · (D22 ) + J3 32 · J2 21 · (D23 ) + J3 32 · J1 10 · (D24 )+
+J2 32 · J1 10 · (D25 )] +
+( i)4 [J7 76 · J4 43 · J3 32 · (d26 ) + J7 76 · J4 43 · J2 21 · (D27 ) + J7 76 · J4 43 · J1 10 · (D28 )+
+ [J7 76 · J3 32 · J2 21 · (D29 ) + J7 76 · J3 32 · J1 10 · (D30 ) + J7 76 · J2 21 · J1 10 · (D31 )+
+J4 43 · J3 32 · J2 21 · (D32 ) + J4 43 · J3 32 · J1 10 · (D33 ) + J4 43 · J2 21 · J1 10 · (D34 )+
+ J3 32 · J2 21 · J1 10 · (D35 )] +
5
+( i) [J7 76 · J6 65 · J5 54 · J4 43 · (D36 ) + J7 76 · J6 65 · J5 54 · J3 32 · (D37 )+
J7 76 · J6 65 · J5 54 · J2 21 · (D38 ) + J7 76 · J6 65 · J5 54 · J1 10 · (D39 )+
J7 76 · J6 65 · J4 43 · J3 32 · (D40 ) + J7 76 · J6 65 · J4 43 · J2 21 · (D41 )+
+J7 76 · J6 65 · J4 43 · J1 10 · (D42 ) + J7 76 · J6 65 · J3 32 · J2 21 · (D43 )+
+J7 76 · J6 65 · J3 32 · J2 10 · (D44 ) + J7 76 · J6 54 · J3 43 · J1 32 · (D45 )+
+J7 76 · J6 65 · J2 21 · J1 10 · (D46 ) + J7 76 · J5 54 · J4 43 · J3 32 · (D47 )+
+J7 76 · J6 65 · J2 21 · J1 10 · (D48 ) + J7 76 · J5 54 · J4 43 · J3 32 · (D49 )+
+J7 76 · J5 54 · J4 43 · J2 21 · (D50 ) + J7 76 · J5 54 · J4 43 · J1 10 · (D51 )+
+J7 76 · J5 65 · J3 32 · J2 21 · (D52 ) + J7 76 · J5 54 · J3 32 · J1 10 · (D53 )+
+J7 76 · J5 54 · J2 21 · J1 10 · (D54 ) + J7 76 · J4 43 · J3 32 · J2 21 · (D55 )+
+J7 76 · J4 43 · J3 32 · J1 10 · (D56 ) + J7 76 · J4 43 · J2 21 · J1 10 · (D57 )+
+J7 76 · J3 32 · J2 21 · J1 10 · (D58 ) + J6 65 · J5 54 · J4 43 · J3 32 · (D59 )+
+J6 65 · J5 54 · J4 43 · J2 21 · (D60 ) + J6 65 · J5 54 · J4 43 · J1 10 · (D61 )+
+J6 65 · J5 54 · J3 32 · J2 21 · (D62 ) + J6 65 · J5 54 · J3 32 · J1 10 · (D63 )+
+J6 65 · J5 54 · J2 21 · J1 10 · (D64 ) + J5 65 · J4 43 · J3 32 · J2 21 · (D65 )+
+J5 54 · J4 43 · J3 32 · J1 10 · (D66 ) + J5 54 · J4 43 · J2 21 · J1 10 · (D67 )+
+ J5 54 · J3 43 · J2 32 · J1 10 · (D68 ) + J4 54 · J3 43 · J2 21 · J1 10 · (D69 )] +

18
 o R
+( i)8 · J8 87 · J7 76 · J6 65 · J5 54 · J4 43 · J3 32 · J2 21 · J1 10 ·e i Jx0 x 0 x Jx

Los factores D de productos de propagadores:

D1 = ( 83 ·C1 + 82 ·C2 + 81 ·C3 ), D2 = ( 84 ·C1 + 82 ·C4 + 81 ·C5 ), D3 = ( 84 ·P2 + 83 ·C4 + 81 ·C6 ),

D5 = ( 84 · C3 + 82 · C5 + 81 · C6 ),
D6 = ( 86 · A3 + 85 · A1 + 84 · C2 + 83 · A3 + 82 · A4 + 81 · A1 ),
D7 = ( 86 ·A1 + 84 ·C1 + 83 ·C2 + 83 ·C3 + 81 ·C4 ), D8 =( 86 ·A2 + 85 ·C1 + 83 ·C3 + 82 ·C6 + 81 ·C7 ),

D9 = ( 86 ·A4 + 85 ·C3 + 84 ·C6 + 83 ·C8 + 81 ·C10 ), D10 =( 86 ·A5 + 85 ·C4 + 84 ·C7 + 82 ·C10 + 83 ·C9 ),

D11 = ( 87 · A1 ), D12 = ( 87 · A2 ), D13 = ( 87 · A3 ), D14 = ( 87 · A4 ), D15 = ( 87 · A5 ),

D16 = ( 87 ·C1 ), D17 =( 87 ·C2 ), D18 =( 87 ·C3 ), D19 =( 87 ·C4 ), D20 =( 87 ·C5 ), D21 =( 87 ·C6 ),

D22 = ( 87 · C7 ), D23 = ( 87 · C8 ), D24 = ( 87 · C9 ), D25 = ( 87 · C10 ),

D26 = ( 51 82 + 52 81 ), D27 =( 51 83 + 53 81 ), D28 =( 53 82 + 52 83 ), D29 =( 51 84 + 54 81 ),

D30 = ( 52 84 + 54 82 ), D31 =( 53 84 + 54 83 ),

D32 = ( 51 87 ), D33 =( 52 87 ), D34 =( 53 87 ), D35 =( 54 87 ),

D36 = ( 21 83 + 31 82 + 32 81 ), D37 =( 31 84 + 41 83 + 43 81 ), D38 =( 32 84 + 43 83 + 42 82 ),

D39 = ( 21 85 ), D40 =( 31 85 ), D41 =( 32 85 ), D42 =( 41 85 ), D43 =( 42 85 ), D44 =( 43 85 ),

D45 = ( 21 86 + 61 82 + 62 81 ), D46 =( 31 86 + 61 83 + 63 81 ), D47 =( 32 86 + 63 83 + 62 82 ),

D48 = ( 41 86 + 61 84 + 64 81 ), d49 =( 42 86 + 62 84 + 64 82 ), d50 =( 32 86 + 63 83 + 62 82 ),

D51 = ( 43 86 + 63 84 + 64 83 ),

D52 = ( 61 85 + 65 81 ), D53 =( 62 85 + 65 82 ), D54 =( 63 85 + 65 83 ), D55 =( 64 85 + 65 84 ),

D56 = ( 21 87 ), D57 =( 31 87 ), D58 =( 32 87 ), D59 =( 41 87 ), D60 =( 42 87 ), D61 =( 43 87 ),

D62 = ( 61 87 ), D63 =( 62 87 ), D64 =( 63 87 ), D65 =( 64 87 ), D66 =( 65 87 )

(93)

Una vez que hemos realizado las derivadas realizamos la normalización y obtenemos las con-
tribuciones de los campos con sus respectivas interacciones:
( ✓ ◆ ✓ ◆2 " ✓Z ◆2 ✓Z ◆4 ✓Z ◆3 #)
2 1 2 2
W [0] = W [0] 1 + 3 i 0+ i 9 0 zy + 24 zy + 72 0 zy
2! 2 2!
(94)
Que se las puede representar de manera gráfica, simplificando notación y tiempo, en forma de
diagramas de Feynman:
2 0 13
6 B C7
6 B C7
6 B C7
6 B C7
6 B C7
6 B C7
6 1 B C7
W [0] = 61 + 3 + 2! B9 + 24 + 72 C7
6 B C7
6 B C7
6 B C7
6 B C7
6 B C7
4 @ A5

19
6 Ejercicio 6
Tomar una teorı́a en 4-dimensiones hecha con una campo real (H) y uno fermiónico ( ) que tenga
como única interacción el término de Yukawa LY = g H:
a) Es esta teorı́a renormalizable?
b) Sea n,m la función one-particle irreductile con n fermiones y m escalares. Decir cuales de las
n,m
son superficialmente divergentes y cuales no.
c) Dibujar las contribuciones a uno y a dos loops a 0,2 y 2,1 y decir cuales de ellas son divergentes.
d) Escribir, formalmente, el lagrangiano renormalizado en función del lagrangiano ”bare” con los
factores de renormalización Zi .
µ
e) Cambiamos la interacción de Yukawa por LI = @µ H, ¿Es la teorı́a renormalizable? Tomar
4,0
a un loop y determinar el grado superficial de divergencia.

a. Es renormalizable la teorı́a?
Para saber si la teorı́a es renormalizable o no, la constante de acoplo g debe tener d  0, primero
establecemos:

L0 = g · · H
[g][ ][ ][H] = d
Dimensión de los campos fermiónicos:
L0 = · @µ ·
[L0 ] = 2[ ] + 1
L0 = d
d 1=2·[ ]
[ ] = (d 1)/2
Dimensión de los campos escalares:
L0 = @ µ · H · @ µ · H
[L0 ] = 2[H] + 2 ! L0 = d
[H] = d/2 1
Expresamos en función de d:
[ ] = [ ] = (d 1)/2
[H] = d/2 1

Con esto, vamos al lagrangiano de interacción:

LI = g · · ·H (95)
[L] = [g] + 2 · [ ] + [H]
d = [g] + (d 1)/2 + (d 1)/2 + (d/2 1)
d = [g] + 3d/2 2
Establecemos la dimensión de la constante de acoplo en función de la dimensión d:
[g] = 2 d/2 (96)
Las dimensiones de la teorı́a es: d = 4
[g] = 2 4/2
[g] = 0
la teorı́a es renormalizable.

20
b. Funciones 1PI con n fermiones y m escalares.
El Vértice de interacción tipo Yukawa:
3
GSD = 4 B F [g]i (97)
2
con:
3
i = 4 + bi + fi + di ! [g]i = 0
2
3
GSD = 4 B F (98)
2
n m GSD
a 0 2 2
b 2 0 1
c 2 1 0
d 4 2 4

Figure 7: Funciones con m escalares y n fermiones

0,1 2,1
c. Contribuciones de y a 1 y 2 loops.
El grado superficial de divergencia lo determinamos usando la fórmula:
d 4 d 1 d 2
GSD = d V EF EE (99)
2 2 2
Con:
- d dimensión.
- V: vértices de interacción.
- EF : lı́neas fermiónicas externas.
- EE : lı́neas escalares externas.

Con 1 loop la función 0,2 de 2 escalares H y 0 fermiones tiene la contribución del siguiente
diagrama:
Se trata de un loop fermiónico con dos lı́neas escalares externas, su grado superficial de divergencia
es:
d
4 d 2
GSD = d ·2 ·2 (100)
2 2
GSD = 2

A 2 loops el diagrama que contribuye se trata de un loop fermiónico dividido por una lı́nea escalar
interna, el loop tiene dos lı́neas escalares externas:

21
grado sup, divergencia solo de líneas
externas

0,2
Figure 8: función a 1 loop

0,2
Figure 9: función a 2 loops.

d 4 d 2
GSD = d ·2 ·2 (101)
2 2
GSD = 2

La función 2,1 con 2 fermiones , y un escalar H a 1 loop tiene la siguiente contribución:

El gráfico se trata de 1 loop formado por una lı́nea fermiónica y un escalar con dos lineas fermion-
icas externas.

Conservación de carga

todas las combinaciones

posibles

2,1
Figure 10: a 1 loop

3 3
GSD = 4 B F =4 1 ·2=0 (102)
2 2
Las contribuciones a dos loops:

22
 2,1
Figure 11: Contribuciones de a 2 loop

3
GSD = 4 B F (103)
2
3
GSD = 4 1 ·2=0
2
Comprobamos en relación a los loops:

GSD = 4L f 2b (104)

GSD = 4(2) 4 2(2) = 0

c. Lagrangiano Renormalizado
Partimos de la expresión ”bare” del lagrangiano Z:

L = L0 + LI (105)
1 1 2
L0 = (@µ )2 m 2
+ (i@/ m2 ) ig H
2 2

Introducimos las variables Z:

p p Zs Zg
= Z , = Z R, mR = mR , g = p gR
Z Z Z

La expresión del lagrangiano renormalizado en función de las variables Z:

!
1 p p 1 Zs2 2 Zg p p p
µ
L = @µ ( Z R ) · @ ( Z R ) 2 mR Z 2 2R p gR Z R Z R Z H HR
2 2 Z Z ZH
(106)
1 µ 1 2 2 2
L = Z @µ R ·@ R Z m g R Zg R R HR (107)
2 2 S R R

en función de las delta z

L = L0 + L
Z =1+ Z

23
 Z =1+ Z

m2 Z ! m2 + m

m2 ! m2 + m
p
g Z !g+ g
1 1 2
L= @µ · @ µ m 2
g H (108)
2 2
1 1
L= Z (@µ )2 @m 2
+ Z /
(i@) i g
2 2

µ
d. Teorı́a LI = @µ H, ¿es renormalizable?
Determinamos la dimensión de la constante de acoplo:
3
[g] = bi + fi + di 4 (109)
2
3
[g] = 4 + 1 + (2) + 1
2
[g] = 1
El lagrangiano es no renormalizable

4,0
Para la función a un loop, tenemos las contribuciones de los siguientes diagramas:

4,0
Figure 12: Contribuciones de a 1 loop

24
 Todas las contribuciones se caracterizan por que el loop se compone por dos escalares y dos
fermiones, determinamos el grado superficial de divergencia:
3 X
GSD = 4 B F+ ni [g] (110)
2 i

3
GSD = 4 · 4 + 4( 1) = 4
2

25
7 Ejercicio 7
Sea:
X X
L= /
a (iD m)ab b + h†I [(iDh,µ )(iDhµ )]ij M2 ij hJ + Lghost + LI (111)
a,b=1,2 i,j=1,...,3

i
LI = a (⌧ )ab b hi + h.c. (112)
Donde ⌧ i son las matrices de Pauli, i = 1, 2, 3.
a) Asumiendo que el grupo de simetrı́a de gauge es SU(2) escribir las derivadas covariantes para
el doblete de fermiones y el triplete de escalares.
b) Escribir Lghost .
c) Dibujar las correcciones a un loop del propagador del fermión.
d) Escribir la amplitud de scattering elástica de dos fermiones a orden árbol. Si p1,2 son los
momentos de los fermiones iniciales, y en la hypotesis que m ⌧ M, pµ1,2 ⇠ m ⌧ M , simplificar el
módulo cuadrado de la amplitud hasta el primer orden no trivial en 1/M . Dibujar los diagramas
de Feynman relativos a esta amplitud simplificada.

7.1 Derivadas covariantes para el doblete de Fermiones y Triplete de

Escalares
En general, la derivada covariante actuando sobre un campo en la representación esta dada por:

Dµ = @µ igAaµ (T a ) (113)

Donde T a son los generadores de G en la representación escogida. Para el caso del doblete con
simetrı́a SU(2):
Dµ = 2 · @µ igAaµ ⇢(T a ) (114)
Con las matrices de Pauli como generadores:
✓ ◆ ✓ ◆ ✓ ◆
0 1 0 i 1 0
T1 = , T2 = , T3 =
1 0 i 0 0 1

Para el caso del triplete de escalares:

Dµ = 3 · @µ igAaµ ⇢(T a ) (115)

Con los generadores:
0 1 0 1 0 1
0 1 0 0 0 1 0 0 0
T1 = @ 1 0 0 A, T2 = @ 0 0 0 A, T3 = @ 0 0 1 A
0 0 0 1 0 0 0 1 0

[T a , T b ] = f abc T c (116)

7.2 Lagrangiano Ghost

El lagrangiano Ghost es el lagrangiano de Faddeev–Popov:
1 1
Lef f = (Fµ,⌫,a )2 (@ · Aa )2 + (@µ ca )( ab @
µ
+ g · fabc Aµc )cb (117)
4 2

Para los casos Abelianos todas las constantes de estructura f abc son cero y no existe acople de este
lagrangiano.
En el caso de QCD con simetrı́a SU (2) el acople del campo Ghost al vector de las particulas es
proporcional a las constantes de estrucutra del grupo, el acople es independiente del parámetro

26
gauge.

[T a , T b ] = i · f abc · T c (118)
Donde la constante de estructura para el grupo no abeliano SU(2) es el tensor de Levi-Civita:

f abc = 2 · "abc (119)

7.3 Contribuciones del Lagrangiano a la función 1PI

Figure 13: Contribuciones 1PI

7.4 Amplitud de Scattering Elástico

La amplitud de scattering elástica se da cuando las partı́culas entrantes son iguales a las que
salen. En este caso tenemos fermiones con dos tipos de lagrangianos de interacción: es escalar y
el electromagnético. La amplitud de scattering se puede dar entre fermion - fermion o fermión y
antifermión, al final la diferencia será el número de canales en la amplitud de scatering.
Aquı́ tomaremos el caso del scattering fermion - fermion correspondiente al scattering Moller. Para
el caso de la interacción electromagnética, a nivel árbol tenemos la contibución de los canales t y
u, estas nos ayudan a establecer las amplitudes:

Para el canal t:

Figure 14: Scattering Elástico: Interacción Canales t y u.

⇣ gµ⌫ ⌘
iMt = ( i · e)2 · u3 · µ
· u1 i · u4 · ⌫
· u2 (120)
t

27
 ( i · e)2 µ
Mt = · (u3 · · u1 ) · (u4 · µ · u2 ) (121)
t
( i · e)2
M⇤t = · (u1 · ⌫
· u3 ) · (u2 · ⌫ · u4 ) (122)
t
e4 ⇥ ⇤
|Mt |2 = 2
32 (k1 k2 k3 k4 + k3 k2 k1 k4 ) 32m2 k1 k3 32m2 k2 k4 + 64m4 (123)
t
32 · e4 ⇥ 2 2 ⇤
|Mt |2 = k1 k2 + k12 k42 + 2m2 (k1 k4 2k1 k2 ) (124)
t2
8 ⇥ ⇤
|Mt |2 = 2 s2 + u2 8m2 (s + u) + 24m4 (125)
t

El canal u: ⇣ gµ⌫ ⌘
iMu = ( i · e)2 · u3 · µ
· u2 i · u2 · ⌫
· u3 (126)
u
( i · e)2 µ
Mu = · (u3 · · u2 ) · (u4 · µ · u1 ) (127)
u
( i · e)2
M⇤u = · (u2 · ⌫
· u3 ) · (u1 · ⌫ · u4 ) (128)
u
e4 ⇥ ⇤
|Mu |2 = 2
32 (k1 k2 k3 k4 + k1 k3 k2 k4 ) 32m2 k2 k3 32m2 k1 k4 + 64m4 (129)
u
8 ⇥ ⇤
|Mu |2 = 2 s2 + t2 8m2 (s + t) + 24m4 (130)
u
Los términos cruzados de los canales t y u:

2( i · e)2 µ
Mtu = · (u3 · · u1 ) · (u4 · µ · u2 ) (131)
tu
2( i · e)2
M⇤tu = · (u3 · ⌫
· u1 ) · (u4 · ⌫ · u2 ) (132)
tu
e4 ⇥ ⇤
|Mtu |2 = 32 (k1 k2 k3 k4 ) + 2m2 (k2 k3 + k1 k3 + k1 k4 ) 2m4 (133)
tu
8 ⇥ 2 ⇤
|Mtu |2 = s 8m2 (s) + 12m4 (134)
tu
⇢
2 4 1 ⇥ 2 ⇤
|M| = 2e s + u2 8m2 (s + u) + 24m4 +
t2
1 ⇥ ⇤
+ 2 s2 + t2 8m2 (s + t) + 24m4 +
u
2 ⇥ 2 ⇤
+ s 8m2 (s) + 12m4 (135)
tu
Hacemos uso de las variables de Maldestam:
2
s = ECM , t = 2k 2 (cos✓ 1), u = 2k 2 ( cos✓ 1)

Definimos la sección eficaz:

d 1 pf
= 2 |M|2 (136)
d⌦ 64⇡ 2 ECM pi
d ↵2 ⇥ ⇤
= 2 4 4
4(m2 + 2k 2 )2 + (4k 4 3(m2 + 2k 2 )2 )sin2 ✓ + k 4 sin4 ✓ (137)
d⌦ ECM k sin ✓

Ahora, tenemos el mismo tipo de scattering pero con interacción escalar, donde tenemos los mismos
diagramas pero con distinto tipo de interacción:

28
 Figure 15: Scattering Elástico: Interacción escalar. Canales t y u.

Definimos la contribución del canal t:

✓ ◆
i
iMt = ( ie)2 · u3 · u1 · · u4 · u2 (138)
t
(i)( ie)2
iMt = · (u3 · u1 ) · (u4 · u2 ) (139)
t
(i)( ie)2
iM⇤t = · (u1 · u4 ) · (u2 · u1 ) (140)
t
e4 ⇥ ⇤
|Mt |2 = 2
16(k3 k1 · k4 k2 ) + m2 (k3 k1 + k4 k2 ) + m4 (141)
t
Contribución del canal u:
(i)( ie)2
iMu = · (u3 · u2 ) · (u4 · u1 ) (142)
u
(i)( ie)2
iM⇤u = · (u3 · u2 ) · (u4 · u1 ) (143)
u
e4 ⇥ ⇤
|Mu |2 = 2
16(k3 k2 · k4 k1 ) + m2 (k3 k2 + k4 k1 ) + m4 (144)
u
Finalmente los términos cruzados de tu:
(i)( ie)2
iMtu = · (u3 · u1 ) · (u4 · u2 ) (145)
tu
(i)( ie)2
iM⇤tu = · (u3 · u1 ) · (u4 · u2 ) (146)
tu
e4 ⇥ ⇤
|Mtu |2 = 16(k3 k1 · k4 k2 ) + m2 (k3 k1 + k4 k2 ) + m4 (147)
tu
⇢
1 ⇥
|M|2 = 2e4 2 16(k3 k1 · k4 k2 ) + m2 (k3 k1 + k4 k2 ) + m4 ]+
t
1 ⇥ ⇤
+ 2 16(k3 k2 · k4 k1 ) + m2 (k3 k2 + k4 k1 ) + m4 +
u
1 ⇥ ⇤
+ 16(k3 k1 · k4 k2 ) + m2 (k3 k1 + k4 k2 ) + m4 (148)
tu

Con las amplitudes listas podemos calcular la sección eficaz:

d 1 pf
= 2 2 |M|2 (149)
d⌦ 64⇡ ECM pi

d ↵2 1 2
= 2 (64ECM 16m2 (2k 2 (cos✓ 1)) + m4 )+
d⌦ ECM 2k 2 (cos✓ 1)
1 2
(64ECM 16m2 (2k 2 (cos✓ 1)) + m4 )+
2k 2 ( cos✓ 1)
1 2
+ 2 (64ECM + 8m2 + m4 ) (150)
2k (cps✓ 1)( cos✓ 1)

29
8 Ejercicio 8
En QCD calcular la parte divergnete del diagrama de la figura 21 donde µ, ⌫, rho son ı́ndices de
Lorentz y a, b, c son indices SU (3). Dado los resultados para las partes divergentes de los diagramas
en un loop de QCD hechos en clase comprobar las identidades Slanov-Taylor.

Figure 16: Triple Vértice de Gluones

Las identidades de Slanov-Taylor son:

µ⌫ (0)µ⌫
qµ q⌫ Dab (q) = qµ q⌫ Dab (q) (151)

Estas identidades nos dicen que a cualquier orden en teoria de perturbaciones la parte non transver-
sal del propagador del gluon es igual a su correspondiente parte del propagador libre.
Z
0 0 0 0 0 0
i g Taµ0 b⌫0 c⇢0 (p, q, k) i Dµa0aµ (p) i D⌫b 0b⌫ (q) i D⇢c 0c⇢ (k) = d4 x d4 y e ipx e iqy h0| T (Bµa (x)B⌫b (y)B⇢c (0)) |0i
(152)
p+q+k =0
Z
d 4 x d4 y e ipx
e iqy
h0| T (Bµa (x)B⌫b (y)B⇢c (0)) |0i =
Z
i 0 0 0 0
= g f a 0 b0 c 0 d 4 x d 4 y d4 z e ipx
e iqy
h0| T (Bµa (x)B⌫b (y)B⇢c (0)[@µ0 B⌫a0 (z) @⌫ 0 Bµa0 (z)]Bbµ0 (z)Bc⌫0 (z)) |0i
2
Z (153)
i 1 4 4 4 4 4 4 ipx iqy
= g f a 0 b0 c0 d x d y d z d p1 d p 2 d p 3 e e ·
2 (2⇡ 2 )
nh i
(0) (0) (0)µ0 (0)⌫ 0
· Dµ⌫ 0 aa0 (p1 )p1µ0 Dµµ0 aa0 (p1 )p1⌫ 0 D⌫bb0 (p2 )D⇢cc0 (p3 )e ip1 (x z) e ip2 (y z)
e ip3 (z)

nh i
(0) (0) (0)µ0 (0)⌫ 0
· D⌫⌫ 0 ba0 (p1 )p1µ0 D⌫µ0 ba0 (p1 )p1⌫ 0 Dµab0 (p2 )D⇢cc0 (p3 )e ip1 (y z) e ip2 (x z)
e ip3 (z)

nh i o
(0) (0) (0)µ0 (0)⌫ 0
· D⇢⌫ 0 ca0 (p1 )p1µ0 D⇢µ0 ca0 (p1 )p1⌫ 0 Dµab0 (p2 )D⌫bc0 (p3 )e ip1 (z) e ip2 (x z)
e ip3 (y z)
(154)

i 0 0 0 0 0 0 0 0 0 0 0 0
= g fa0 b0 c0 Dµa0aµ (p) i D⌫b 0b⌫ (q) i D⇢c 0c⇢ (k)[g µ ⌫ (p q)⇢ + g ⌫ ⇢
(q k)µ + g ⇢ µ (k p)⌫ ] (155)
2
En el orden mas pequeno de perturbaciones:

(0)µ⌫⇢ i
Tabc (p, k, q) = g fabc [g µ⌫ (p q)⇢ + g ⌫⇢ (q k)µ + g ⇢µ (k p)⌫ ] (156)
2
Para calcular la parte divergente establecemos el diagrama 1PI del vértice triple de gluones:
✓ ◆ Z ⇢ µ
abc 3 a b c d2 q / + m) ⇢ (/q + k/ m) µ (/q)
(/q p
µ⌫⇢ ig
2 2 2 ⇢⌫ (2⇡)4 [(q p)2 m2 + i"][(q + k)2 m2 + i"][q 2 m2 + i"]
(157)

30
Realizamos la parametrización de Feynman:

`=q yp + zk (158)

Tenemos el denominador:

D = x(q 2 m2 ) + y((q p)2 m2 ) + z((q + k)2 m2 ) + (x + y + z) ·i" (159)

| {z }
1

= q 2 + yp2 + zk 2 2ypq + 2zkq m2 (x + z) + i"

`2 D = m2 (y 1)2 z(x + y)k 2 + i" (160)
Con:
= m2 (y 1)2 + z(x + y)k 2 i" (161)
D = `2 + i" (162)
Planteamos la siguiente integral:
✓ ◆Z Z 1 Z 1 Z 1
abc 3 a b c dd ` Nµ
µ⌫⇢ = ig dx dy dz (x + y + z 1) (163)
2 2 2 (4⇡)2 0 0 0 (`2 + i")3
Donde definimos el numerador como:

Nµ = µ /̀ ⇢ /̀ ⌫ /̀
y 2 (y+1) µ
p
/
⇢
p
/
⌫
p 2
/ z (z+1)
µ
k/ ⇢
k/ ⌫
k/ y 2 µ /̀ ⇢
p
/
⌫
p
/ z(z+1)
µ /̀ ⇢
k/ ⌫
k/
µ ⇢ /̀ ⌫ /̀ µ ⇢ ⌫ µ ⇢ /̀ ⌫ /̀
(y 1) p
/ z(y + 1)(z + 1) p
/ k/ k/ + z k/ + zy 2 µ
k/ ⇢
p
/
⌫
p
/+
µ ⇢
m2 (164)
Donde es necesario definir la traza de 6 matrices gamma:
µ /̀ ⇢ /̀ ⌫ /̀ µ ⇢ ⌫ ⇠
tr · = tr · ` `⇢ `⇠
⇥
= 4 g µ (g ⇢ gvµ⇠ g ⇢⌫ g ⇠
g ⇢⇠ g ⌫
)
µ⇢ ⌫⇠ ⌫ ⇠ ⇠ ⌫
g (g g g g g g )+
+g µ (g ⇢ g ⌫⇠ g ⌫ ⇢⇠
g g ⇠ g ⇢⌫ )
g µ⌫ (g ⇢ g ⇠
g g ⇢⇠ go⇠ g ⇢ )+
⇤
g µ⇠ (g ⇢ g ⌫
g g ⇢⌫ g ⌫ g⇢ ) (165)
En el numerador, los términos con número impar de potencias de ` ası́ como las traza de matrices
gamma impares no contribuyen. Contrayendo los momentos tenemos que el numerador es:

Nµ = 4y(y + 1) pµ `2 g ⇢⌫ + p⌫ `2 g µ⇢ p⇢ `2 + 2p⇢ `µ `v + 2pµ `⌫ `⇢ 2p``⌫ g µ⇢

+4z(z + 1) k µ `2 g ⇢⌫ + k ⌫ `2 g µ⇢ k ⇢ `2 + 2k ⇢ `µ `v + 2k µ `⌫ `⇢ 2k``⌫ g µ⇢
4y 2 (y + 1) p2 pµ g ⇢⌫ p2 p⌫ g µ⇢ p2 p⇢ g µ⌫ + 4pµ p⌫ p⇢ +
4z 2 (z + 1) k 2 k µ g ⇢⌫ k 2 k ⌫ g µ⇢ k 2 k ⇢ g µ⌫ + 4k µ k ⌫ k ⇢ +
+4y 2 k µ p2 g ⇢⌫ + k ⌫ p2 g µ⇢ k ⇢ p2 g µ⌫ + 2k µ p⇢ p⌫ + 2k ⇢ pµ p⌫ 2kpp⌫ g µ⇢ + g µ⇢ 4m2
Hacemos uso de la siguiente identidad:
1 2 µ⌫
`µ `⌫ ! ` g
d
El numerador queda de esta forma:
⇢ ✓ ◆ ⇢ ✓ ◆
µ 2 2 µ ⇢⌫ ⌫ ⇢µ ⇢ µ⌫ 2 2
N = 4y(y+1) ` 1 [ p g +p g p g ] 4y(y+1) ` 1 [ k µ g ⇢⌫ + k ⌫ g ⇢µ k ⇢ g µ⌫ ] +
d d
⇥ ⇤
+4 y 2 (y + 1) p2 pµ g ⇢⌫ p2 p⌫ g µ⇢ p2 p⇢ g µ⌫ + 4pµ p⌫ p⇢

31
 ⇥ ⇤
z 2 (z + 1) k 2 k µ g ⇢⌫ k 2 k ⌫ g µ⇢ k 2 k ⇢ g µ⌫ + 4k µ k ⌫ k ⇢ +
⇥ ⇤
+̇y 2 k µ p2 g ⇢⌫ + k ⌫ p2 g µ⇢ k ⇢ p2 g µ⌫ + 2k µ p⇢ p⌫ + 2k ⇢ pµ p⌫ 2k ⌫ pµ p⇢ + g µ⇢ m2 (166)

Realizamos las integrales de Feynman, donde usamos las siguientes integrales tabuladas:
Z ✓ ◆n d/2 1
dd ` `2 ( 1)n 1 i d (n d/2 1) 1
= (167)
(2⇡)d (`2 )n (4⇡)d/2 2 (n)
Z ✓ ◆n d/2 1
dd ` `µ `⌫ ( 1)n 1 i g µ⌫ (n d/2 1) 1
d 2 n
= (168)
(2⇡) (` ) (4⇡)d/2 2 (n)
Hacemos uso:
✓ ◆2 d ✓ ◆
(2 d/2) 1 1 2
= log e + log(4⇡) + O(") (169)
(4⇡)d/2 (4⇡)2 "

Con: " = 4 d

La regularización dimensional es la siguiente:

✓ ◆Z 1 Z 1 Z 1
abc 3 a b c
µ⌫⇢ = ig dx dy dz (x+y+z 1) {[ 8y(y + 1) ( pµ g ⇢⌫ + p⌫ g µ⇢ p⇢ g µ⌫ ) +
2 2 2 0 0 0
"✓ ◆ ✓ ◆2 d/2 #
µ ⇢⌫ ⌫ µ⇢ ⇢ µ⌫ d i (2 d/2) 1
+8z(z + 1) ( k g + k g k g )] · 1 +
2 (4⇡)d/2 (3)
⇥ ⇥ ⇤
+4 y 2 (y + 1) p2 pµ g ⇢⌫ p2 p⌫ g µ⇢ p2 p⇢ g µ⌫ + 4pµ p⌫ p⇢
⇥ ⇤
z 2 (z + 1) k 2 k µ g ⇢⌫ k 2 k ⌫ g µ⇢ k 2 k ⇢ g µ⌫ + 4k µ k ⌫ k ⇢ +
⇥ ⇤ ⇤
+̇y 2 k µ p2 g ⇢⌫ + k ⌫ p2 g µ⇢ k ⇢ p2 g µ⌫ + 2k µ p⇢ p⌫ + 2k ⇢ pµ p⌫ 2k ⌫ pµ p⇢ + g µ⇢ m2 ·
" ✓ ◆ ✓ ◆2 d/2 #)
i 1 (2 d/2) 1
· (170)
(4⇡)d/2 (3)
✓ ◆Z 1 Z 1 Z 1 ⇢ ✓ ◆
abc 3 a b c d
µ⌫⇢ = ig dx dy dz (x+y+z 1) 4y(y + 1) 1 ( pµ g ⇢⌫ + p⌫ g µ⇢ p⇢ g µ⌫ ) +
2 2 2 0 0 0 2
+4z(z + 1) ( k µ g ⇢⌫ + k ⌫ g µ⇢ k ⇢ g µ⌫ )] +
✓ ◆
1 ⇥ ⇥ ⇤
+2 y 2 (y + 1) p2 pµ g ⇢⌫ p2 p⌫ g µ⇢ p2 p⇢ g µ⌫ + 4pµ p⌫ p⇢
⇥ ⇤
z 2 (z + 1) k 2 k µ g ⇢⌫ k 2 k ⌫ g µ⇢
k 2 k ⇢ g µ⌫ + 4k µ k ⌫ k ⇢ +
⇥ ⇤ ⇤
+̇y 2 k µ p2 g ⇢⌫ + k ⌫ p2 g µ⇢ k ⇢ p2 g µ⌫ + 2k µ p⇢ p⌫ + 2k ⇢ pµ p⌫ 2k ⌫ pµ p⇢ + g µ⇢ m2 ·
 ✓ ✓ ◆◆
i 2 4⇡
· + log + O(") (171)
(4⇡)2 " e E
La parte divergente el diagrama es proporcional a:
 ✓ ✓ ◆◆
i 2 4⇡
· + log + O(") (172)
(4⇡)2 " e E

Donde dependiendo del esquema de renormalización, pordemos prescindir de 2/" o la constante de

Euler-M.

32
9 Ejercicio 9
Investigación sobre las transformaciones Becchi-Rouet- Stora (BRS) en QCD.

La cuantización involucra la ruptura de la invarianza gauge, por este motivo, se introducen las
identidades BRS que son una transformación bajo simetrı́a en QCD. Estas transformaciones gen-
eran condiciones para que teorias no abelianas sean renormalizables.
La identidades BRS relaciona a los campos ghost con los modos longitudinales de los campos
gluónicos, de forma que se cancelan entre si. Ası́ los campos ghost no aparecen en los procesos
fı́sicos.
Otra consecuencia de las identidades es la igualdad de las cargas eléctricas ”bare” y las cargas
eléctricas renormalizadas. Esto debido a que bajo transformaciones locales la conservación de la
carga es dependiente de la transformación gauge. (En QED implica las identidades de Ward.)

En los casos no abelianos como QCD, la forma de remover las polarizaciones no fisicas de bosones
gauge de forma sutil involucra a los campos ghost, presentes en el lagrangiano de Faddev Poppov:
1 a 2 "
L= / + (B a )2 + B a @ µ Aaµ + ca ( @ µ Dµac )cc
(F ) + (iD) (173)
4 µ⌫ 2
Una interpretación fı́sica general de los campos ghost es: son ”partı́culas” que sirven como grados
negativos de libertad que cancelan el efecto de las polarizaciones no fı́sicas de bosones gauge. Estos
campos anticonmutan.
Los operadores BRS nos brinda una relación precisa entre las polarizaciones no fı́sicas de los bosones
gauge con los ghost y antighost como grados de libertad positivos y negativos. Mediante las trans-
formadas de BRS los términos cruzados entre polarizaciones fı́sicas y no fı́sicas s desvanecen, las
únicas sobrevivientes son los términos cruzados entre polarizaciones longitudinales y transversales.

Si Q es una transformación BRS del campo : = Q . La acción del operador sobre un

bosón gauge es:
QAaµ = Dµac cc
Esto implica que: Q2 = 0. Esta propiedad hace que el operador Q sea Nilpotente.
Un operador nilpotente que conmuta con H divide los autoestados de H en tres sub espacios de
Hilbert H0 , H1 y H2 .
Por lo que se puede observar que en los single-particle states de una teoria gauge, los bosones po-
larizados longitudinalmente pertenecen a H2 y los polarizados transversalmente pertenecen a H0 .
De manera mas general decimos que que los estados asintóticos que contienen los ghost, antighost,
o bosones gauge de polarizaciones no fı́sicas siempre pertenecen a H1 o H2 mientras los estados
asintóticos pertenecientes a bosones gauge con polarización transversa a H0

Aplicando este principio a partı́culas de teorı́as gauge no abelianas, en el lı́mite del acoplo nulo, y
siguiendo las transformaciones que veremos adelante, Q se convierte en el componente longitudinal
de Aaµ en un campo ghost, equivalentemente, Q convierte la componente polarizado longitudinal
de un boson gauge en un ghost. Cuando tenemos g = 0 Q aniquila un estado ghost, al mismo
tiempo, Q convierte el antighost en los componentes polarizados trasversalmente de los bosones
gauge tales que: k µ ✏µ (k) 6= 0

Ahora introduciremos las transformaciones BRS respecto a . El factor respecto al que deriva-
mos es un número de Grassman, infinitesimal con propiedades anti conmutativas. Esto garantiza
que los campos originales y los transformados se comporten. Consideramos:
0 i
q↵A (x) ! q↵A (x) = q↵A (x) + g !↵a a (x)q
A
(x)
2
0A i
qA A
↵ (x) ! q ↵ = q ↵ g q A (x)! a↵ a (x)
2
Baµ ! Ba0µ (x) = Baµ (x) + g ! fabc Bbµ (x) c (x) + ! @µ a

33
 0 1
a (x) ! a (x) = a (x) g fabc b (x) c (x)
2
0
a (x) ! a (x) = a (x) + @µ Baµ (x)
a

La ley de transformación correspondiente a transformaciones gauge es: ✓a (x) = a (x). El

campo ✓(x) es real, esto implica:
[ a (x)]† = a (x)
Esta igualdad nos indica que la segunda ley de tansformación es consecuencia de la primera:
0 1
a (x) ! a (x) = a (x) g fabc b (x) c (x)
2
Las ultimas dos identidades define como los campos ghost transforman bajo las identidades BRS.
Esto conlleva una generalización de las transformaciones gauge a la teorı́a.
La parte clásica del lagrangiano de QCD es invariante BRS y solamente consideraremos las términos
gauge fixing y ghost. Para los que tenemos las leyes de trasnformación:

[@ µ Bµa (x)][@ ⌫ B⌫a (x)] ! [@ µ Bµ0a (x)][@ ⌫ B⌫0a (x)] =

= [@ µ Bµa (x)][@ ⌫ B⌫a (x)] + 2 [@µ Baµ (x)]@⌫ [Dab
⌫
b (x)]
µ 0µ 0 µ
Dab b (x) ! Dab b (x) = Dab b (x)

La última transformación se da esta manera:

0µ 0 µ 1
Dab b (x) = Dab b (x) + g 2 fabc fbst Bcµ (x) s (x) t (x)
2
g fatb fbcs Bcµ (x) s (x) t (x)

Deonde el caracter anticonmutativa de los campos ghost fue usada. Poemos escribir la identidad
de Jacobi:
[fatb fcsb + ftcb fasb + fcab ftsb ] s (x) t (x) = 0
1
fatb fbcs s (x) t (x) = fabc fbst s (x) t (x)
2
µ 0 0µ 0
[@µ a (x)]Dab b (x) ! [@µ a (x)]Dab b (x) =
µ µ
= [@µ a (x)]Dab b (x)[@µ @⌫ Ba⌫ (x)]Dab
+ b (x)
2
Podemos ver que bajo las leyes de transformación de BSR el lagrangiano inicial transforma:
⇢
µ
L0 (x) ! L00 (x) @µ [@µ Baµ (x)]Dab b (x)
a

Ası́, se muestran como son las transformaciones de simetrı́a de la densidad lagrangiana de QCD.

34
References
[1] Kresimir Kumeric�kis. Feynman diagrams for beginners. 2016.
[2] Daniel V. Schroeders Michael E. Peskin. An introduction to quantum field theory. 1995.
[3] Lewis H. Ryders. Quantum field theory. 1996.
[4] Vladimir A. Smirnov. Evaluating feynman integrals. 2017.

[5] P. Pascual R. Tarrach. Qcd: Renormalization for the practitioners. 1984.

35