Matriz S

En mecnica cuntica, la matriz S o matriz de scatte(por ejemplo un electrn y un positrn puede aniquiring es un tipo de formalismo usado para calcular el relarse mtuamente produciendo dos fotores saliensultado de un problema de scattering (dispersin) de partes) o pueden simplemente provocar atraccin o retculas cunticas interactuantes. Matemticamente viene
pulsin, emergiendo de nuevo las mismas partculas
dado por un operador S entre dos espacios de Hilbert,
aunque con direcciones diferentes de las de entrada.
cuando el conjunto de estados cunticos admisibles ini3. Medida y cmputo de las partculas salientes.
cial y nal es nito entonces el operador S se reduce a
una matriz y de ah su nombre (ya que en sus inicios fue
concebido como una matriz entre un conjunto posible de Para que el formalismo de la matriz S sea aplicable es neestados).
cesario poseer una teora fsica del proceso de interaccin
que permita calcular las probabilidades de los diferentes
resultados posibles. El proceso de colisin no es entera1 Introduccin
mente determinista, adems el producto o estado nal depende de la energa entrante. La energa inicial afecta crEn el formalismo habitual, muchos problemas de ticamente a cual ser rl resultado ms probable, es decir,
dispersin con partculas subatmicas que se inu- segn la energa de las partculas entrantes el resultado
yen mtuamente mediante interaccin electromagntica, ms probable puede ser uno u otro. Cuando las condiinteraccin fuerte o interaccin dbil no pueden ser re- ciones de densidad de partculas son las sucientemente
sueltos de manera exacta. El formalismo de la matriz S bajas se considera que puede usarse con bastante buena
permite realizar los clculos numricos para muchos ca- aproximacin el formalismo de la matriz S, para aproxisos que no admiten un tratamiento exacto. La idea b- mar la solucin exacta de la teora cuntica de campos
sica del mtodo consiste en suponer que los estados ini- para el problema de dispersin.
cial y nal de un sistema de partculas interectuantes son
autoestados del hamiltoniano libre (sin interaccin). El
estado inicial se considera un estado del pasado remoto 1.2 Uso de matrices S
(que fsicamente se concibe como el estado de las partculas cuando estn muy lejos entre s, antes de empezar La matriz S es estrechamente relacionada con las amplia interacutar, y por tanto son autoestados libres), mien- tudes de probabilidad de transicin de la mecnica cuntras que el estado nal se considera tambin como un es- tica y con las secciones ecaces de las diversas interacciotado libre de interaccin en el futuro remoto, como el que nes. Las componentes o entradas numricas de la matriz
alcanzarn las partculas cuando se hayan separado de- S se conocen como amplitudes de scattering. La amplinitivamente y no se ejerzan inuencias mtuas. Estas con- tud de probabilidad de observar un proceso de scattering
sideraciones permiten construir los espacios de Hilbert de con un estado inicial |a y con un estado nal |b viene
las partculas entrantes y salientes, a partir del espacio de dada por denicin por:
Hilbert de una partcula libre aislada.
Prob(a

1.1

out b|S|aout

Motivacin

b)

in b|S|ain

out b|ain
Sba

Cada elemento de matriz S representa, por tanto, una amplitud de probabilidad de un proceso fsico. Donde debe
sealarse que los estados a y b son estados idealizados o
asintticos denidos por la ausencia de interaccin entre
ambos (debido a que ambos describan partculas alejadas
de la localizacin donde se produce la interaccin).

En la fsica de partculas de altas energas, resulta importante calcular las probabilidades de los diferentes posibles
resultados (estados nales) de diversos experimentos de
dispersin. Estos experimentos pueden dividirse en tres
etapas:

1. Colisin conjunta de una coleccin de partculas

La matriz S as denida depende de la energa de la colisubatmicas entrantes (usualmente dos partculas de
sin, si se extiende al plano complejo la funcin que da la
alta energa).
matriz S en trminos de la energa, resulta que los polos
2. Interaccin entre las partculas. Estas interacciones de dicha funcin pueden identicarse con los estados lipueden cambiar los tipos de partculas presentes gados los estados virtuales o las resonancias. Los punto
1

1 INTRODUCCIN

de ramicin de la matriz S en el plano complejo estn

asociados a la abertura de un canal de scattering.
En el enfoque hamiltoniano de la teora cuntica de campos, la matriz S puede calcularse como la exponencial
temporalmente ordenada de la integral del hamiltoniano
en la imagen de interaccin. El clculo de dicha exponencial puede expresarse tambin como integral de camino. En cualquiera de esas dos representaciones puede
usarse un clculo perturbativo de la matriz S mediante
diagramas de Feynman.
En teora de la dispersin, la matriz S es un operador que
aplica al estado de las partculas entrantes, el estado de
una partcula saliente en la imagen de Heisenberg. Esto
resulta muy til ya que frecuentemente no es posible describir exactamente todos los detalles de la interaccin (o
al menos algunos de los ms interesantes).

1.3

Aspectos formales

Formalmente la matriz S se dene como un operador unitario entre los espacios de Hilbert.

a(k) |0 = 0.
En estas condiciones se denen dos tipos de operadores
de creacin y destruccin que actan sobre diferentes espacios de Hilbert (el espacio de estados inicial i, y el espacio de estados nal f), ai (k) and af (k) . De tal manera
que:

HIN = span{|I, k1 . . . kn = ai (k1 ) ai (kn ) |I, 0},

HOUT = span{|F, p1 . . . pn = af (p1 ) af (pn ) |F, 0}.
Es posible asumir que |I, 0 y |F, 0 son ambos invariantes bajo traslaciones y que los estados |I, k1 . . . kn y
|F, p1 . . . pn son autoestados del operador de momento
lineal P , conectando y desconectando adiabticamente la interaccin.
En la imagen de Heisenberg los estados son independientes del tiempo, de tal manera que los estados iniciales
pueden expresarse como combinacin lineal de una base
para los estados nales y viceversa, tal como sigue:

S : Hin Hout
El primer espacio de Hilbert contiene vectores que representan los estados asintticamente posibles de una partcula o conjunto de partculas entrante y el segundo representa al conjunto de estados asintticos de las partculas salientes. La idea bsica es representar el efecto de
una colisin o interaccin compleja de partculas observando las partculas entrantes y observando las partculas
salientes. La matriz S puede predecir la probabilidad de
cada posible estado nal en funcin del estado inicial, de
hecho el estado inicial y nal estn relacionados por:
|in S|out ;

|out S |in

|I, k1 . . . kn = C0 |F, 0 +

1.4

Denicin matemtica

Usando la notacin de Dirac, el estado del vaco cuntico se representa sencillamente como |0 . Si a (k) es un
operador de creacin, su conjugado hermtico, es el operador de aniquilacin o destruccin, cuya accin sobre el
vector asociado al estado de vaco cuntico es:

d4 p1 . . . d4 pm Cm (p1 . . . pm ) |F, p1 . . .

m=1
2

donde |Cm | es la probabilidad de que la interaccin

transforme |I, k1 . . . kn en |F, p1 . . . pm
De acuerdo con el teorema de Wigner, S debe ser un
operador unitario tal que I, | S |I, = S =
F, |I, . Es ms, S deja el estado de vaco cuntico
invariante y las transformaciones de campos del espacio
de estados iniciales en estados del espacio nal:
S |0 = |0 ,

Tcnicamente la matriz se puede denir para cualquier

espacio-tiempo asintticamente soluble sin horizonte,
aunque comnmente se plantea sobre un espacio-tiempo
plano de Minkowski, ya que matemticamente es la situacin ms simple. Para este caso particularmente simple, el espacio de Hilbert entrante y saliente es el espacio
donde acta una representacin irreducible unitaria del
grupo de Lorentz inhomogneo. Y adems la matriz S
admite una representacin como producto de operadores
unitarios de evolucin.

f = S 1 i S

Si la S describe la interaccin correctamente debe cumplirse que dos estados inicial y nal, para los cuales su
amplitud de probabilidad no sea nula deban tener la misma energa y momento (y eventualmente otras leyes de
conservacin tambin deben cumplirse).

1.5 Relacin entre la matriz S y el operador

de evolucin U
Usando la imagen de Heisenberg para relacionarlos operadores relevantes en la interaccin, se tiene que:

a (k, t) = U 1 (t)ai (k) U (t)

f = U 1 ()i U () = S 1 i S.

2.1

Serie de Dyson

3
S (t)
i |t
= HS |S (t)

Por tanto,

Deniendo la llamada imagen de interaccin como:

0

|I (t) = e HS t |S (t)

S = lim ei U (t)
t

ei = lim 0|U (t)|0

de aqu pude escribirse:

porque

)
0
0
i
i

( i HS0 t
|S (t) = HS0 e HS t |S (t)+e HS t i
|I (t) = i
e
t
t
i

S |0 = |0 .
Substituyendo la expresin explcita para U se obtiene:

S=

1
T ei d Vi ( ) .
0|U ()|0

= HS0 |I (t)+e HS t |S (t) = HS0 |I (t)+HS |I (t) = HSI |I (

es decir, en la imagen de interaccin, los estados evolucionan de acuerdo con una dinmica dada excplusivamente
por el hamiltoniano de interaccin.
Para obtener la matriz S, se denen sus elementos como:

Sf,i = f |(t = +) = f |S|i

Esta ecuacin sin embargo no es explcitamente
Para calcular explcitamente Sf,i se reescribe en forma
covariante.
integral la ecuacin de Schrdinger para la funcin de
donda en la imagen de interaccin:

1.6

Nota histrica

La matriz S fue introducida por primer vez por John Archibald Wheeler en un artculo de 1937 titulado "'On the
Mathematical Description of Light Nuclei by the Method of Resonating Group Structure'".[1] En ese artculo
Wheeler introdujo una matriz de scattering que era una
matriz unitaria de coecientes que conectaban el comportamiento asinttico de una solucin particular arbitraria [de un sistema de ecuaciones integrales] con las soluciones de una forma estndar.[2]

| (t)
=
|I (t = )
t I
I
i d HS ( ) |I ( )

Dado que |I ( ) satisface una ecuacin anloga es posible iterar una y otra vez esta ecuacin hasta obtener un
desarrollo perturbativo:
[
|I (t) = 1 +

dt1

t1

dt2

t2

dt3 . . .

tn1

(
dtn HSI (t1 ) H

n=1
En la dcada de 1940 Werner Heisenberg desarroll, in)]
dependientemente, la idea de la matriz S. Debido a las di. . . HSI (tn ) |I (t = )
vergencias que plagaban la teora cuntica de campos tal
como se usaba en ese tiempo, Heisenberg trat de aislar Y a partir de ese desarrollo se obtiene:
las caractersticas esenciales de la teora que pudieran no
1
+ (
verse afectadas por cambios futuros en la teora. Al hacer
t1 = t2
S
tn1
dt
dt
dt
.
.
.
dtn HSI (t1 ) HSI (t2 ) H
eso introdujo una matriz S caracterstica unitaria.[2]
1
2
3
n=1

.
+
(
=
+
+1
+

1
dt
dt
dt
.
.
.
dtn T HSI (t1 ) HSI (t
1
2
3
n=1 n!

,
2 Clculo explcito de la matriz S

2.1

Serie de Dyson

El hamiltoniano cuntico que describe un sistema puede

ser dividido en una parte que representa la evolucin libre sin interaccin (hamiltoniano libre o no perturbado)
0 , y que por tanto no contiene trminos de interaccin
H
y una segunda parte que incluye todos los trminos de interaccin (hamiltoniano de interccin o perturbacin) H I
.

donde T indica el producto cronolgicamente ordenado

de los operadores entre parntesis:
T (x)(y) = (x0 y 0 ) ((x)(y)) +
(y x0 ) ((y)(x))
0

(
)
donde x0 y 0 es la funcin escaln unitario de Heaviside.

El desarrollo anterior es precisamente la serie de Dyson

para la matriz S . Y por tanto dicha matriz puede ser calEn la imagen de evolucin temporal de Schrdinger es culada hasta cualquier orden de aproximacin mediante
vlida la ecuacin de Schrdinger:
la serie anterior, usando el teorema de Wick.

2.2

Formalismo LSZ

De manera alternativa puede usarse la frmula de reduccin de LSZ para calcular los elementos de la matriz S.
Este procedimiento es ms sosticado y es preferible en
teora cuntica de campos, no hace uso de la serie de Dyson, aunque s usa la funciones de Green proporcionandas
por la formulacin mediante integrales funcionales.
Para ilustrar este tipo de clculo se considera un caso particular, el de un campo escalar con masa asociada m y
con una acccin dada por_
S[] =
V ()

(
)
d4 x 12 m2 2

El proceso de extraccin del polo es ms evidente si la frmula se escrib en trminos de la transformada de Fourier
de la funcin de Green. A parte de la multiplicacin por
algunas constantes (entre las cuales estn la constante del
normalizacin de los campos Z) la frmula muestra que
basta multiplicar las funziones de Green por los factores
p2 m2 , que eliminan los polos, y despus hacer el lmite on-shell de los momentos lineales, es decir, p2 m2
correspondiente al las partculas fsicas:

p1 , . . . , pn out|q1 , . . . , qm in =

m {

i=1

donde V () puede ser, por ejemplo, un tmrino de inter

4
accin del tipo , que por el momento no es necesario
j=1
especicar.
n

Las funciones de Green de n puntos estn denidas como

los valores esperados sobre el vaco del producto cronolgico ordenado de n campos:

G(n) (x1 , x2 , . . . , xn )
0|T
((x1 )(x2 ) . . . (xn )) |0

D (x1)(x2 )...(xn ) eiS

D eiS

REFERENCIAS

(2)3/2 Z 1/2

qi2

}
)

i
(2)3/2 Z 1/2

p2i m2

in

3 Referencias
[1] John Archibald Wheeler, 'On the Mathematical Description of Light Nuclei by the Method. of Resonating Group
Structure' Phys. Rev. 52, 1107 - 1122 (1937)
[2] Jagdish Mehra, Helmut Rechenberg, The Historical Development of Quantum Theory (Pages 990 and 1031) Springer, 2001 ISBN 0-387-95086-9, ISBN 978-0-387-950860

out

que dieren de las ecuaciones de movimiento correctas

slo por la ausencia del potencial de interaccin. en consecuencia, y de modo intutivo, es necesario extraer la contribucin de los polos de las funciones de Green para obtener las funcioone de Green construidas con los campos
asintticos, que generan propiamente los elementos de la
matriz S deseados. Si en el estado inicial estn presentes m partculas con momentos lineales q1 ,...,qm y en el
estado nal hay n partculas con momentos p1 ,...,pn, la
frmula que describe el procedimiento viene dada por:

p1 , . . . , pn out|q1 , . . . , qm in =

m {
d4 xi i
i=1

n {

d4 yj i
j=1

}
)
eiqi xi (
2

+
m
xi
(2)3/2 Z 1/2

}
)
e+ipj yj (
2
G(n+m) (x1 , . . . , xm , y1 , . . . , yn )
yj + m
(2)3/2 Z 1/2

(n+m) (p1 , . . . , pn ; q1 , . . . , qm )
G

Estas funciones son calculables perturbativamente a travs del citado teorema de Wick. Puede demostrarse que
la transformada de Fourier de las funciones de Green tienen polos que se corresponden con las masas fsicas de
las partculas, debido a que cuando p p = m2 dichas 3.1 Bibliografa
funciones tienen un polo. A estos polos le corresponden
Barut, A.O. (1967). The Theory of the Scattering
propiamente los estados asintticos de la teora: de hecho,
Matrix.
estos estados son creados o destruidos por los campos in
y out, que satisfacen la ecuacin de Klein-Gordon
Tony Philips (11 de 2001). Finite-dimensional
Feynman Diagrams. Whats New In Math.
American Mathematical Society. Consultado el 23
de octubre de 2007.
( + m2 ) (x) = ( + m2 ) (x) = 0
x

}
)

Texto e imgenes de origen, colaboradores y licencias

4.1

Texto

Matriz S Fuente: https://es.wikipedia.org/wiki/Matriz_S?oldid=82860651 Colaboradores: GermanX, Davius, Marcelo, ZroBot, KLBot2,

Invadibot, BenjaBot y Annimos: 2

4.2

Imgenes

4.3

Licencia de contenido

Creative Commons Attribution-Share Alike 3.0