Representacion de Matrices de Dispercion

Matriz S
En mecnica cuntica, la matriz S o matriz de scattering es un tipo de formalismo usado
para calcular el resultado de un problema de scattering (dispersin) de partculas
cunticas interactuantes. Matemticamente viene dado por un operador S entre dos
espacios de Hilbert, cuando el conjunto de estados cunticos admisibles inicial y final es
finito 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 estados.
En el formalismo habitual, muchos problemas de dispersin con partculas subatmicas
que se influyen mtuamente mediante interaccin electromagntica, interaccin
fuerte ointeraccin dbil no pueden ser resueltos de manera exacta. El formalismo de la
matriz S permite realizar los clculos numricos para muchos casos que no admiten un
tratamiento exacto. La idea bsica del mtodo consiste en suponer que los estados inicial
y final de un sistema de partculas interectuantes son autoestados del hamiltoniano libre
(sin interaccin). El estado inicial se considera un estado del pasado remoto (que
fsicamente se concibe como el estado de las partculas cuando estn muy lejos entre s,
antes de empezar a interacutar, y por tanto son autoestados "libres"), mientras que el
estado final se considera tambin como un estado libre de interaccin en el futuro remoto,
como el que alcanzarn las partculas cuando se hayan separado definitivamente y no se
ejerzan influencias mtuas. Estas consideraciones permiten construir los espacios de
Hilbert de las partculas entrantes y salientes, a partir del espacio de Hilbert de una
partcula libre aislada.
Motivacin
En la fsica de partculas de altas energas, resulta importante calcular las probabilidades
de los diferentes posibles resultados (estados finales) de diversos experimentos de
dispersin. Estos experimentos pueden dividirse en tres etapas:
Colisin conjunta de una coleccin de partculas subatmicas entrantes (usualmente dos
partculas de alta energa).
Interaccin entre las partculas. Estas interacciones pueden cambiar los tipos de
partculas presentes (por ejemplo un electrn y un positrn puede aniquilarse mtuamente
produciendo dos fotores salientes) o pueden simplemente provocar atraccin o repulsin,
emergiendo de nuevo las mismas partculas aunque con direcciones diferentes de las de
entrada.
Medida y cmputo de las partculas salientes.
Para que el formalismo de la matriz S sea aplicable es necesario poseer una teora fsica
del proceso de interaccin que permita calcular las probabilidades de los diferentes
resultados posibles. El proceso de colisin no es enteramente determinista, adems el
producto o estado final depende de la energa entrante. La energa inicial afecta
crticamente a cual ser rl resultado ms probable, es decir, segn la energa de las
partculas entrantes el resultado ms probable puede ser uno u otro. Cuando las
condiciones de densidad de partculas son las suficientemente bajas se considera que
puede usarse con bastante buena aproximacin el formalismo de la matriz S, para
aproximar la solucin exacta de la teora cuntica de campos para el problema de
dispersin.
Uso de matrices S
La matriz S es estrechamente relacionada con las amplitudes de probabilidad de
transicin de la mecnica cuntica y con las secciones eficaces de las diversas
interacciones. Las componentes o entradas numricas de la matriz S se conocen
como amplitudes de scattering. La amplitud de probabilidad de observar un proceso
de scattering con un estado inicial y con un estado final viene dada por definicin
por:

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 definidos por la ausencia de interaccin entre ambos (debido a que ambos
describan partculas alejadas de la localizacin donde se produce la interaccin).
La matriz S as definida depende de la energa de la colisin, si se extiende al plano
complejo la funcin que da la matriz S en trminos de la energa, resulta que los polos de
dicha funcin pueden identificarse con los estados ligados los estados virtuales o
las resonancias. Los punto de ramificin 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).
Aspectos formales
Formalmente la matriz S se define como un operador unitario entre los espacios de
Hilbert.

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 final en funcin del estado inicial, de hecho el
estado inicial y final estn relacionados por:

Tcnicamente la matriz se puede definir 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 simle, el espacio de Hilbert entrante y saliente es el espacio donde acta
unarepresentacin irreducible unitaria del grupo de Lorentz inhomogneo. Y adems la
matriz S admite una representacin como producto de operadores unitarios de evolucin.


Definicin matemtica
Usando la notacin de Dirac, el estado del vaco cuntico se representa sencillamente
como . Si 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:

En estas condiciones se definen 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 final f), and . De tal manera que:


Es posible asumir que y son ambos invariantes bajo traslaciones y que los
estados y son autoestados del operador de momento
lineal , "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 finales y viceversa, tal como sigue:

donde es la probabilidad de que la interaccin transforme
en
De acuerdo con el teorema de Wigner, debe ser un operador unitario tal
que . Es ms, deja el estado de vaco
cuntico invariante y las transformaciones de campos del espacio de estados iniciales en
estados del espacio final:

Si la S describe la interaccin correctamente debe cumplirse que dos estados inicial y
final, 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).
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:


Por tanto,
donde

porque

Substituyendo la expresin explcita para U se obtiene:

Esta ecuacin sin embargo no es explcitamente covariante.
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 coeficientes que conectaban "el comportamiento
asinttico de una solucin particular arbitraria [de un sistema de ecuaciones integrales]
con las soluciones de una forma estndar".2
En la dcada de 1940 Werner Heisenberg desarroll, independientemente, la idea de la
matriz S. Debido a las divergencias que plagaban la teora cuntica de campos tal como
se usaba en ese tiempo, Heisenberg trat de aislar las caractersticas esenciales de la
teora que pudieran no verse afectadas por cambios futuros en la teora. Al hacer eso
introdujo una matriz S "caracterstica" unitaria.2
Clculo explcito de la matriz S
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) , y que
por tanto no contiene trminos de interaccin y una segunda parte que incluye todos los
trminos de interaccin (hamiltoniano de interccin o perturbacin) .
En la imagen de evolucin temporal de Schrdinger es vlida la ecuacin de Schrdinger:

Definiendo la llamada imagen de interaccin como:

de aqu pude escribirse:


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 definen sus elementos como:

Para calcular explcitamente se reescribe en forma integral la ecuacin de
Schrdinger para la funcin de donda en la imagen de interaccin:

Dado que satisface una ecuacin anloga es posible iterar una y otra vez esta
ecuacin hasta obtener un desarrollo perturbativo:


Y a partir de ese desarrollo se obtiene:
.
,
donde indica el producto cronolgicamente ordenado de los operadores entre
parntesis:

donde es la funcin escaln unitario de Heaviside.
El desarrollo anterior es precisamente la serie de Dyson para la matriz . Y por tanto
dicha matriz puede ser calculada hasta cualquier orden de aproximacin mediante la serie
anterior, usando el teorema de Wick.
Formalismo LSZ
Artculo principal: Frmula de reduccin de LSZ
De manera alternativa puede usarse la frmula de reduccin de LSZ para calcular los
elementos de la matriz S. Este procedimiento es ms sofisticado 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_

donde puede ser, por ejemplo, un tmrino de interaccin del tipo , que por el
momento no es necesario especificar.
Las funciones de Green de n puntos estn definidas como los valores esperados sobre el
vaco del producto cronolgico ordenado de n campos:

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 dichas funciones tienen un polo. A estos polos le corresponden
propiamente los estados asintticos de la teora: de hecho, estos estados son creados o
destruidos por los campos "in" y "out", que satisfacen la ecuacin de Klein-Gordon

que difieren 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 final hay n partculas con momentos p1,...,pn, la frmula
que describe el procedimiento viene dada por:


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 , que eliminan los polos, y despus hacer el lmite on-shell de los
momentos lineales, es decir, correspondiente al las partculas fsicas:





Multuplexor Interferometro de Mach-Zehnder
Interfermetro de Mach-Zender
La estructura bsica de un interfermetro de Mach-Zender (MZI, Mach-Zender
Interferometre ), consta de dos acopladores direccionales de 3dB (un splitter y un
combinador con = 0.5 ) interconectados mediante dos caminos de diferentes longitudes,
siendo la diferencia l. La seal introducida por una de las entradas se divide en dos
replicas iguales al atravesar el splitter . Debido a la diferencia de caminos se introduce un
desfase en una de las rplicas. Dependiendo de la longitud de onda de la seal se tendr
una interferencia constructiva o destructiva a la salida al combinarse las seales.

Estructura bsica de un Mach-Zender (MZI, Mach-Zender Interferometre)
Las utilidades de este dispositivo dependen del nmero de puertos de entrada y salida.
Normalmente se emplea como filtro si tiene una entrada y una salida; como multiplexor si
tiene dos entradas y una salida; y como demultiplexor si tiene una entrada y dos salidas.
Acoplador estrella pasivo
Un acoplador en estrella pasivo, Passive Star Coupler (PSC), es un dispositivo de N
puertos de entrada que, idealmente, reparte por igual la potencia ptica que entrada por
cualquiera de sus entradas entre sus N puertos de salida,

Un PSC puede ser construido concatenando acopladores 2 x 2. Luego para implementar
un PSC de N puertos se necesitan acopladores 2 x 2. As, un PSC con 8
puertos requiere 12 acopladores 2 x 2. Esta arquitectura es poco flexible, ya que se
requiere que N sea potencia de 2, N = 2 n , con n=1.