Mecánica Cuántica Avanzada — Carlos Pena 11-1

11. Notas sobre colisiones de partı́culas idénticas y colisiones rela-

tivistas
[Sak 7.9, Ynd 21.9-22.7]

Nota sobre colisiones de partı́culas idénticas

Por simplicidad, nos limitaremos a estudiar la dispersión elástica no relativista de

dos partı́culas idénticas.
Como sabemos, la función de onda de un sistema de partı́culas indistinguibles
debe ser simétrico (en el caso de bosones) o antisimétrico (fermiones) bajo el inter-
cambio de dos partı́culas cualesquiera. En el contexto del formalismo de dispersión,
esto se puede implementar fácilmente a nivel de la condición de radiación de Som-
merfeld,

eikr
ψ(x) ≈ eik·x + f (k, θ) , (11.1)
r→∞ r
que se convierte en (recuérdese que x := x1 − x2 es la posición relativa de las
partı́culas)
 
1 h ik·x i eikr
ψsim (x) ≈ √ e ±e −ik·x
+ [f (k, θ) ± f (k, π − θ)] , (11.2)
r→∞ 2 r

donde el signo + corresponde a bosones y el − a fermiones. En particular, la

amplitud de dispersión correcta es1
1
fsim (k, θ) = √ [f (k, θ) ± f (k, π − θ)] . (11.4)
2
La correspondiente fórmula para la sección eficaz diferencial queda
dσ 1
= |fsim (k, θ)|2 = |f (k, θ) ± f (k, π − θ)|2 . (11.5)
dΩ 2
A la hora de construir la fórmula para la sección eficaz total hay que tener en cuenta
en la integración sobre el ángulo sólido de la degeneración

(θ, ϕ) ←→ (π − θ, ϕ + π) , (11.6)
1
Si estuviéramos considerando un problema con una interacción no central, habrı́a que añadir la
dependencia en el ángulo azimutal,
1
fsim (k, θ) = √ [f (k, θ, ϕ) ± f (k, π − θ, ϕ + π)] (11.3)
2
11-2 Mecánica Cuántica Avanzada — Carlos Pena

lo que lleva a la expresión

Z +1 Z 2π
1 dσ
σ= d(cos θ) dϕ . (11.7)
2 −1 0 dΩ

Finalmente, por el mismo motivo la fórmula para el desarrollo en ondas parciales se

modifica debido a las propiedades inducidas en f por la simetrización,

2 X
fsim (k, θ) = (2l + 1) eiδl sin δl Pl (cos θ) , (11.8)
k
l=par/impar

donde la suma sobre l par es para bosones y la suma sobre l impar es para fermiones,
de acuerdo de nuevo con el principio de exclusión.
En la práctica, es suficiente calcular la amplitud de dispersión ignorando el
carácter idéntico de las partı́culas, para a continuación calcular los observables de
dispersión aplicando las fórmulas simetrizadas que acabamos de ver. Los efectos in-
teresantes para la fı́sica provienen de que la simetrización da lugar a interferencias,
con signo diferente dependiendo de si las partı́culas son bosones o fermiones. En
consecuencia, la dependencia angular de la sección eficaz diferencial tendrá carac-
terı́stica muy distintas.

Ejemplo: potencial de Yukawa en la aproximación de Born

Para ilustrar lo que ocurre con un ejemplo en el que tenemos un resultado com-
pacto para la amplitud de dispersión, utilizaremos el resultado para la amplitud de
dipersión en un potencial de Yukawa en la aproximación de Born,
ρ
f (B) (k, θ) = − . (11.9)
1+ 4k 2 r02 sin2 2θ

donde

2mV0 r03
ρ := (11.10)
~2
es una constante con dimensiones de longitud. Si simetrizamos la amplitud, para
describir un sistema de dos bosones, obtenemos
" #
(B) ρ 1 1
fbos (k, θ) = − √ +
2 1 + 4k 2 r02 sin2 2θ 1 + 4k 2 r02 sin2 π−θ
2 (11.11)
ρ 2 + 4k 2 r02
=−√ ,
2 (1 + 2k 2 r02 )2 − 4k 4 r04 cos2 θ
Mecánica Cuántica Avanzada — Carlos Pena 11-3

mientras que antisimetrizando se obtiene

" #
(B) ρ 1 1
ffer (k, θ) = − √ θ
− π−θ
2 1 + 4k 2 r02 sin2 2 1 + 4k 2 r02 sin2 2 (11.12)
ρ 4k 2 r02 cos θ
=−√ .
2 (1 + 2k 2 r02 )2 − 4k 4 r04 cos2 θ
La dependencia angular de las respectivas secciones eficaces diferenciales para kr0 =
2 — donde no esperamos necesariamente que la aproximación de Born sea buena —
es (fermiones: izquierda; distinguibles: centro; bosones: derecha)
1 dΣ 1 dΣ 1 dΣ
Ρ2 dW 2
2 Ρ dW Ρ2 dW
0.6 0.6 0.6
0.5 0.5 0.5
0.4 0.4 0.4
0.3 0.3 0.3
0.2 0.2 0.2
0.1 0.1 0.1
ȐРȐРȐΠ
0.0 0.2 0.4 0.6 0.8 1.0 0.0 0.2 0.4 0.6 0.8 1.0 0.0 0.2 0.4 0.6 0.8 1.0

dσ
Nótese, en particular, que en el caso fermiónico dΩ siempre se anula para θ = π2 ,
mientras que en el caso bosónico no hay un cero — aunque el valor es ∝ (kr0 )−2 , y
por lo tanto se hace arbitrariamente pequeño a altas energı́as. La diferencia entre
ambos casos es más evidente si se toma el cociente ( dσ dσbos
dΩ )/( dΩ ),
fer

dΣF dΣB

dW dW
1.0
0.8
0.6
0.4
0.2
ȐΠ
0.0 0.2 0.4 0.6 0.8 1.0
11-4 Mecánica Cuántica Avanzada — Carlos Pena

Nota sobre colisiones relativistas

Dos de las ventajas principales del formalismo de matriz S es que (1) permite obtener
información sobre procesos de dispersión con una cantidad mı́nima de hipótesis
sobre la naturaleza del sistema que se estudia, y (2) separa de manera evidente la
dinámica (contenida en las amplitudes de transición) de la cinemática. En esta nota
explotaremos estas propiedades para observar que con relativamente poco trabajo
es posible extender el formalismo al caso de colisiones relativistas. El objetivo es
proporcionar un “diccionario” que permita superar algunas de las dificultades de
lenguaje a las que se enfrenta un principiante en el estudio de la teorı́a relativista.

Unidades naturales
En fı́sica de altas energı́as es corriente el empleo de las llamadas unidades naturales,
en las que todas las cantidades tienen dimensiones de una potencia de la energı́a. A
menudo, se describen las unidades naturales como un sistema de unidades en el que
~ = c = 1; para ser más precisos, lo que se hace es convertir todas las cantidades a
unidades bien de energı́a, bien de longitud, multiplicando por potencias adecuadas
de ~ y/o c, y relacionar energı́a y longitud utilizando

~c ' 197.3 MeV · fm . (11.13)

Pongamos algunos ejemplos:2

me |nat = me c2 = 0.511 MeV = (386.1 fm)−1 = (3.861 × 10−3 Å)−1 ,

0.53 Å · 13.6 eV 0.7208 MeV · fm

aB · Ry|nat = = = 0.00365 , (11.14)
~c ~c
1b|nat = 10−28 m2 = 2.568 × 10−3 GeV−2 .
×(~c)−2

Cinemática I
En lugar de (E, p), en cinemática relativista se utiliza el cuadrimomento, que satis-
face la condición de capa de masas (on-shell)
 0 
p
p= , p2 = pµ pν ηµν = (p0 )2 − p2 = m2 . (11.15)
p

(Nótese que hemos usado unidades naturales; si no habrı́amos escrito m2 c4 .) Esto

es equivalente a que la energı́a E = p0 (no naturales: E/c = p0 ) esté determinada
2
El barn (b), equivalente a 10−28 m2 , es la unidad estándar de superficie en fı́sica subatómica,
cuyos múltiplos se usan corrientemente para expresar secciones eficaces.
 Mecánica Cuántica Avanzada — Carlos Pena 11-5

por la condición
p
p0 = m2 + p2 , (11.16)
p2
que sustituye el E = 2m no relativista.

Estados de partı́cula libre

En mecánica cuántica no relativista usamos estados con el momento espacial bien
definido, normalizados como

NR hp
0
|piNR = δ (3) (p − p0 ) . (11.17)
En el caso relativista se usan estados con cuadrimomento bien definido, y la condición
note by and later wede
willnormalización
denote by normalmente se toma como

)
3
! (2L) R hp
0
|piR = 2p0 δ (4) (p − p0 ) , (11.18)
, CL = Ak , (46) (46)
k=1 1
i.e. los estados (2p0 )− 2 |pi son ortonormales. La razón es que la normalización sólo
L
fficient the
of the (α/π)
total conterm.
L–loop δ (4)The
nopresent
coefficient (α/π)L term.
theprecision
esof invariante of theThe
experimental
Lorentz, present result [16,92]
precision
y es necesario ofintroducir
the experimental result 2p
el factor [16,92]
0.

0−11 , δaexp
µ = 63 × 10−11 , (47) (47)
prospects of possible improvements [111], whichSare expected to[111],
be able to reach
2
as well as the future
Formalismoprospects
de of possible
matriz improvements which are expected to be able to reach
 
−11
, δafin 
µ ∼ 10 ×
10
−11
, 
 (48) (48)

Esencialmente, no es necesario  cambiar� nada: por ejemplo, la. fórmula de Dyson
Im = estructura
cte.coefficients
× . X
ion at which we need
determine the the
sigue theoretical
precision prediction.
at which
siendo
required ası́For
we need
válida, thethe
como n–loop
theoretical
4 × la
prediction. multiplying
For the n–loop
genérica matriz. S.multiplying
de−8la coefficients Por motivos de
(α/π)n the
. (48) translates into the
error  accuracies:into
Eq. (48) translates ∼
δC1the  10−8 ,accuracies:
required δC2 ∼ X 101−5∼, δC
1 × δC ∼ , δC2 ∼ 1 × 10−5 , δC3 ∼
4 ×3 10
nd δC5 ∼7 ×
1×1010
consistencia notacional, en general se cambia la normalización de las amplitudes de
−33 . To match the current accuracy
, δC4 ∼ 3 and δC5 ∼ 1 × 103 . To match
one hasthe
to current
multiplyaccuracy
all estimates with
one has to multiply all estimates with
the experimental transición
a factor 6,error in isunits
which the ofpor un
10−10 . factor
experimental error trivial, viz.
in units of 10−10 .

ributions3.1. Universal Contributions NR hf |Ŝ|iiNR = δf i + iδ(Ef − Ei )δ (3) (pf − pi )TfNR

i ,
(11.19)
R hf |Ŝ|iiR = δf i + iδ (4) (pf − pi )TfRi .
70) the•leading ordertocontribution
According Eq. (70) theFig. 8 may
leading be written
order in theFig.
contribution form (see below)
8 may be written in the form (see below)
1 La expansión
"1 perturbativa en la interacción (esencialmente la serie de Dyson) se
1
(2)αQED α α 1
dx (1 − x) a=! describedx
,= a (1
menudo
− x) = usando
, una técnica diagramática:
(49)los diagramas de Feynman.
(49)
π 2 π π 2
0

valuate. which
This isisthe famous
trivial result of This
to evaluate. Schwinger
is the from 1948
famous [52].of Schwinger from 1948 [52].
result
γ γ 1) 2) 3)

γ
+ γ
+
4) 5) 6)

% % % % γ

Fig. 8. The universal lowest orderFig.

QED contribution
8. The a! . order QED contribution to aµ! . γ
universaltolowest µ γ e τ
7) 8) 9)

D there•are
At the
two9loops
diagrams shown
in QED in are
there Fig.the
9 which contribute
9 diagrams shown toinaµFig.
. The first 6 contribute
9 which diagrams, to aµ . The first 6 diagrams,
(int) 0 (int) 1Fig. 9. Diagrams 1-7 represent the universal second order contribution
(int) 2to a , diagram 8 yields the “light”, diagram 9 the
d two virtual
which photons to ∼
theO([
have attached external
two ]muon
Ĥvirtual ) photons
stringtoof∼ O([
lines
the Ĥ ]muon
contribute
external ) tomass
“heavy” the
string universal
of corrections.
dependent lines contribute ∼ O([toĤthe ] )
universal
µ

auge invariant subset of diagrams and yield the result

term. They form a gauge invariant subset of diagrams and yield theloops
• At three result
in QED there are the 72 diagrams shown in Fig. 10 contributing to g − 2 of the muon. In
closed fermion loops any of the SM fermions may circulate. The gauge invariant subset of 72 diagrams where
9 5π 2 π 2 (4) 3 279 5π 2 π2 3 (6)
all closed fermion loops are muon–loops yield the universal one–flavor QED contribution A1 uni . This set
+ − Aln 2 + =ζ(3)
− . + − ln 2 + ζ(3) . has been calculated analytically mainly by Remiddi and his collaborators [115], and Laporta and Remiddi
4 12 2 1 [1−6] 4 144 12 2 4 obtained the final result in 1996 after finding a trick to calculate the non–planar “triple cross” topology
diagram 25) of Fig. 10 [116] (see also [117]). The result turned out to be surprisingly compact and reads
includeThe
photon
last vacuum polarization
3 diagrams (vap / vacuum
include photon VP) duepolarization
to the lepton loops.
(vap / VP) Thedue onetowith
the lepton loops. The one ! with "
28259 17101 2 298 2 139 100 1 1 4 1
o universal in the loop
senseisthat
also ituniversal
contributes to sense
the mass
thatindependent correction
(6)
the muon in the it contributes to
A1 unithe
= mass + independent
π − π ln 2 correction
+ ζ(3) + Li4 ( ) + ln 2 − π 2 ln2 2
5184 810 9 18 3 2 24 24
239 4 83 2 215
2 − π + π ζ(3) − ζ(5) = 1.181 241 456 587 . . . (51)
119 π(4) 119 π 2 2160 72 24
= 1) = −A1 vap. (mµ /m! = 1) = − .
36 3 36 3 This famous analytical result largely confirmed an earlier numerical calculation by Kinoshita [117]. The
constants needed for the evaluation of Eq. (51) are given in Eqs. (A.13) and (A.14).
(4) (4) The big advantage of the analytic result is that it allows a numerical evaluation at any desired precision.
ersal” part
Theyields the
complete coefficient
“universal”Apart
1 calculated
yields thefirst by Petermann
coefficient [112]
directand
A1 calculated
The by by
first
numerical Som-Petermann
evaluation [112] andFeynman
of the multidimensional by Som- integrals by Monte Carlo methods is
7: merfield [113] in 1957: always of limited precision and an improvement is always very expensive in computing power.
• At four loops there are 891 diagrams [373 have closed lepton loops (see Fig. 11), 518 without fermion
loops=gauge invariant set Group V (see Fig. 12)] with common fermion lines. Their contribution has been
π2 π2 3 197 π 2 π2 3 calculated by numerical methods by Kinoshita and collaborators. The calculation of the 4–loop contribution
− ln 2A+(4) ζ(3)
1 uni = = −0.328
+ −478 965
ln 2579
+ 193ζ(3)78...
= −0.328 478 965to579
aµ is a193 (50)
78...task.
formidable Since the individual diagrams are much (50)
more complicated than the 3–loop ones,
12 2 4 144 12 2 4 only a few have been calculated analytically so far [118]–[120]. In most cases one has to resort to numerical
11-6 Mecánica Cuántica Avanzada — Carlos Pena

Cinemática II: secciones eficaces

Finalmente, otro de los detalles del formalismo que depende de la cinemática es
el cálculo del espacio de fases que aparece en la construcción de las secciones efi-
caces. Para una colisión relativista 2p → np, el factor asociado al flujo de partı́culas
incidente se sustituye por el objeto invariante
p
|p1 | |p1 | |p2 | λ(s, m21 , m22 )
v12 = −→ + = , (11.20)
m p01 p02 2p01 p02

donde

s := (p01 + p02 )2 c.m. , λ(a, b, c) := a2 + b2 + c2 − 2ab − 2ac − 2bc . (11.21)

Idem el espacio de fases de estado final,

d3 p01 d3 p0n
d3 p01 · · · d3 p0n −→ 00 · · · . (11.22)
2p1 2p0n0

Sobre esta base, basta repetir las integrales sobre deltas apropiadas para escribir
una expresión para la sección eficaz. En particular, para el caso 2p → 2p la fórmula
no relativista
  2
dσ  2  (NR) 
= (2π~m) T  (11.23)
dΩ c.m. fi

es sustituida por la fórmula relativista

 " #1/2
dσ  π 2 λ(s, m12 , m22 )
0 0  
 (R) 2
= Tfi  . (11.24)
dΩ c.m. 4s λ(s, m21 , m22 )