Matriz S

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

En mecánica cuántica, la matriz S o matriz de scattering es un tipo de formalismo usado para calcular el resultado de un problema de scattering (dispersión) de partículas cuánticas interactuantes. Matemáticamente viene dado por un operador S entre dos espacios de Hilbert, cuando el conjunto de estados cuánticos 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).

Introducción[editar]

En el formalismo habitual, muchos problemas de dispersión con partículas subatómicas que se influyen mútuamente mediante interacción electromagnética, interacción fuerte o interacción débil no pueden ser resueltos de manera exacta. El formalismo de la matriz S permite realizar los cálculos numéricos para muchos casos que no admiten un tratamiento exacto. La idea básica del método consiste en suponer que los estados inicial y final de un sistema de partículas interectuantes son autoestados del hamiltoniano libre (sin interacción). El estado inicial se considera un estado del pasado remoto (que físicamente se concibe como el estado de las partículas cuando están muy lejos entre sí, antes de empezar a interacutar, y por tanto son autoestados "libres"), mientras que el estado final se considera también como un estado libre de interacción en el futuro remoto, como el que alcanzarán las partículas cuando se hayan separado definitivamente y no se ejerzan influencias mútuas. Estas consideraciones permiten construir los espacios de Hilbert de las partículas entrantes y salientes, a partir del espacio de Hilbert de una partícula libre aislada.

Motivación[editar]

En la física de partículas de altas energías, resulta importante calcular las probabilidades de los diferentes posibles resultados (estados finales) de diversos experimentos de dispersión. Estos experimentos pueden dividirse en tres etapas:

  1. Colisión conjunta de una colección de partículas subatómicas entrantes (usualmente dos partículas de alta energía).
  2. Interacción entre las partículas. Estas interacciones pueden cambiar los tipos de partículas presentes (por ejemplo un electrón y un positrón puede aniquilarse mútuamente produciendo dos fotores salientes) o pueden simplemente provocar atracción o repulsión, emergiendo de nuevo las mismas partículas aunque con direcciones diferentes de las de entrada.
  3. Medida y cómputo de las partículas salientes.

Para que el formalismo de la matriz S sea aplicable es necesario poseer una teoría física del proceso de interacción que permita calcular las probabilidades de los diferentes resultados posibles. El proceso de colisión no es enteramente determinista, además el producto o estado final depende de la energía entrante. La energía inicial afecta críticamente a cual será rl resultado más probable, es decir, según la energía de las partículas entrantes el resultado más probable puede ser uno u otro. Cuando las condiciones de densidad de partículas son las suficientemente bajas se considera que puede usarse con bastante buena aproximación el formalismo de la matriz S, para aproximar la solución exacta de la teoría cuántica de campos para el problema de dispersión.

Uso de matrices S[editar]

La matriz S esá estrechamente relacionada con las amplitudes de probabilidad de transición de la mecánica cuántica y con las secciones eficaces de las diversas interacciones. Las componentes o entradas numéricas de la matriz S se conocen como amplitudes de scattering. La amplitud de probabilidad de observar un proceso de scattering con un estado inicial |a\rangle y con un estado final |b\rangle viene dada por definición por:

\mathrm{Prob}(a\to b)\equiv \,_{out}\langle b|a\rangle_{in}=\,_{out}\langle b|S|a\rangle_{out}
=\,_{in}\langle b|S|a\rangle_{in}\equiv S_{ba}

Cada elemento de matriz S representa, por tanto, una amplitud de probabilidad de un proceso físico. Donde debe señalarse que los estados a y b son estados idealizados o asintóticos definidos por la ausencia de interacción entre ambos (debido a que ambos describan partículas alejadas de la localización donde se produce la interacción).

La matriz S así definida depende de la energía de la colisión, si se extiende al plano complejo la función que da la matriz S en términos de la energía, resulta que los polos de dicha función pueden identificarse con los estados ligados los estados virtuales o las resonancias. Los punto de ramifición de la matriz S en el plano complejo están asociados a la abertura de un canal de scattering.

En el enfoque hamiltoniano de la teoría cuántica de campos, la matriz S puede calcularse como la exponencial temporalmente ordenada de la integral del hamiltoniano en la "imagen" de interacción. El cálculo de dicha exponencial puede expresarse también como integral de camino. En cualquiera de esas dos representaciones puede usarse un cálculo perturbativo de la matriz S mediante diagramas de Feynman.

En teoría de la dispersión, la matriz S es un operador que aplica al estado de las partículas entrantes, el estado de una partícula saliente en la "imagen" de Heisenberg. Esto resulta muy útil ya que frecuentemente no es posible describir exactamente todos los detalles de la interacción (o al menos algunos de los más interesantes).

Aspectos formales[editar]

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

S:\mathcal{H}_{in}\to \mathcal{H}_{out}

El primer espacio de Hilbert contiene vectores que representan los estados asintóticamente posibles de una partícula o conjunto de partículas "entrante" y el segundo representa al conjunto de estados asintóticos de las partículas "salientes". La idea básica es representar el efecto de una colisión o interacción compleja de partículas observando las partículas entrantes y observando las partículas salientes. La matriz S puede predecir la probabilidad de cada posible estado final en función del estado inicial, de hecho el estado inicial y final están relacionados por:

|\psi\rangle_{in} \equiv S|\psi\rangle_{out}\;;\quad|\psi\rangle_{out} \equiv S^{\dagger}|\psi\rangle_{in}

Técnicamente la matriz se puede definir para cualquier espacio-tiempo asintóticamente soluble sin horizonte, aunque comúnmente se plantea sobre un espacio-tiempo plano de Minkowski, ya que matemáticamente es la situación más simple. Para este caso particularmente simle, el espacio de Hilbert entrante y saliente es el espacio donde actúa una representación irreducible unitaria del grupo de Lorentz inhomogéneo. Y además la matriz S admite una representación como producto de operadores unitarios de evolución.

Definición matemática[editar]

Usando la notación de Dirac, el estado del vacío cuántico se representa sencillamente como |0\rangle. Si a^{\dagger}(k) es un operador de creación, su conjugado hermítico, es el operador de aniquilación o destrucción, cuya acción sobre el vector asociado al estado de vacío cuántico es:

a(k)\left |0\right\rangle = 0.

En estas condiciones se definen dos tipos de operadores de creación y destrucción que actúan sobre diferentes espacios de Hilbert (el espacio de estados inicial i, y el espacio de estados final f), a_i^\dagger (k) and a_f^\dagger (k). De tal manera que:

\mathcal H_\mathrm{IN} = \operatorname{span}\{ \left| I, k_1\ldots k_n \right\rangle = a_i^\dagger (k_1)\cdots a_i^\dagger (k_n)\left| I, 0\right\rangle\},
\mathcal H_\mathrm{OUT} = \operatorname{span}\{ \left| F, p_1\ldots p_n \right\rangle = a_f^\dagger (p_1)\cdots a_f^\dagger (p_n)\left| F, 0\right\rangle\}.

Es posible asumir que \left| I, 0\right\rangle y \left| F, 0\right\rangle son ambos invariantes bajo traslaciones y que los estados \left| I, k_1\ldots k_n \right\rangle y \left| F, p_1\ldots p_n \right\rangle son autoestados del operador de momento lineal \mathcal P^\mu, "conectando" y "desconectando" adiabáticamente la interacción.

En la "imagen" de Heisenberg los estados son independientes del tiempo, de tal manera que los estados iniciales pueden expresarse como combinación lineal de una base para los estados finales y viceversa, tal como sigue:

\left| I, k_1\ldots k_n \right\rangle = C_0 \left| F, 0\right\rangle\ + \sum_{m=1}^\infty \int{d^4p_1\ldots d^4p_mC_m(p_1\ldots p_m)\left| F, p_1\ldots p_m \right\rangle}

donde \left|C_m\right|^2 es la probabilidad de que la interacción transforme \left| I, k_1\ldots k_n \right\rangle en \left| F, p_1\ldots p_m \right\rangle

De acuerdo con el teorema de Wigner, S debe ser un operador unitario tal que \left \langle I,\beta \right |S\left | I,\alpha\right\rangle = S_{\alpha\beta} = \left \langle F,\beta | I,\alpha\right\rangle. Es más, S deja el estado de vacío cuántico invariante y las transformaciones de campos del espacio de estados iniciales en estados del espacio final:

S\left|0\right\rangle = \left|0\right\rangle, \qquad \phi_f=S^{-1}\phi_i S

Si la S describe la interacción correctamente debe cumplirse que dos estados inicial y final, para los cuales su amplitud de probabilidad no sea nula deban tener la misma energía y momento (y eventualmente otras leyes de conservación también deben cumplirse).

Relación entre la matriz S y el operador de evolución U[editar]

Usando la imagen de Heisenberg para relacionarlos operadores relevantes en la interacción, se tiene que:

a\left(k,t\right)=U^{-1}(t)a_i\left(k\right)U\left( t \right)
\phi_f=U^{-1}(\infty)\phi_i U(\infty)=S^{-1}\phi_i S.

Por tanto,

S= \lim_{t\to\infty} e^{i\alpha}U(t) donde
e^{i\alpha}= \lim_{t\to\infty} \left\langle 0|U(t)|0\right\rangle^{-1}

porque

S\left|0\right\rangle = \left|0\right\rangle.

Substituyendo la expresión explícita para U se obtiene:

S=\frac{1}{\left\langle 0|U(\infty)|0\right\rangle}\mathcal T e^{-i\int{d\tau V_i(\tau)}}.

Esta ecuación sin embargo no es explícitamente covariante.

Nota histórica[editar]

La matriz S fue introducida por primer vez por John Archibald Wheeler en un artículo de 1937 titulado "'On the Mathematical Description of Light Nuclei by the Method of Resonating Group Structure'".[1] En ese artículo Wheeler introdujo una matriz de scattering que era una matriz unitaria de coeficientes que conectaban "el comportamiento asintótico de una solución particular arbitraria [de un sistema de ecuaciones integrales] con las soluciones de una forma estándar".[2]

En la década de 1940 Werner Heisenberg desarrolló, independientemente, la idea de la matriz S. Debido a las divergencias que plagaban la teoría cuántica de campos tal como se usaba en ese tiempo, Heisenberg trató de aislar las características esenciales de la teoría que pudieran no verse afectadas por cambios futuros en la teoría. Al hacer eso introdujo una matriz S "característica" unitaria.[2]

Cálculo explícito de la matriz S[editar]

Serie de Dyson[editar]

El hamiltoniano cuántico que describe un sistema puede ser dividido en una parte que representa la evolución libre sin interacción (hamiltoniano libre o no perturbado) \scriptstyle \hat{H}^0, y que por tanto no contiene términos de interacción y una segunda parte que incluye todos los términos de interacción (hamiltoniano de intercción o perturbación) \scriptstyle \hat{H}^I.

En la imagen de evolución temporal de Schrödinger es válida la ecuación de Schrödinger:

i \hbar \frac{\partial \left|\psi_S (t)\right\rangle}{\partial t} = H_S \left|\psi_S (t)\right\rangle

Definiendo la llamada imagen de interacción como:

\left|\psi_I (t)\right\rangle =
e^{\frac{i}{\hbar} H^0_S t} \left|\psi_S (t)\right\rangle

de aquí pude escribirse:

i \hbar \frac{\partial}{\partial t} \left|\psi_I (t)\right\rangle = i \hbar \frac{\partial}{\partial t} \left ( e^{\frac{i}{\hbar} H^0_S t} \left|\psi_S (t)\right\rangle \right ) = - H^0_S e^{\frac{i}{\hbar} H^0_S t} \left|\psi_S (t)\right\rangle + e^{\frac{i}{\hbar} H^0_S t} i \hbar \frac{\partial}{\partial t} \left|\psi_S (t)\right\rangle =
= - H^0_S \left|\psi_I (t)\right\rangle + e^{\frac{i}{\hbar} H^0_S t} \left|\psi_S (t)\right\rangle = -H^0_S \left|\psi_I (t)\right\rangle + H_S \left|\psi_I (t)\right\rangle = H^I_S \left|\psi_I (t)\right\rangle

es decir, en la imagen de interacción, los estados evolucionan de acuerdo con una dinámica dada excplusivamente por el hamiltoniano de interacción.

Para obtener la matriz S, se definen sus elementos como:

S_{f,i} = \left \langle \psi_f | \psi ( t = + \infty ) \right \rangle = \left \langle \psi_f | S | \psi_i \right \rangle

Para calcular explícitamente S_{f,i} se reescribe en forma integral la ecuación de Schrödinger para la función de donda en la imagen de interacción:

\left|\psi_I (t)\right\rangle = \left|\psi_I (t = - \infty)\right\rangle - i \hbar \int_{- \infty}^{t} d \tau H_S^I \left ( \tau \right ) \left|\psi_I ( \tau )\right\rangle

Dado que \left|\psi_I ( \tau )\right\rangle satisface una ecuación análoga es posible iterar una y otra vez esta ecuación hasta obtener un desarrollo perturbativo:

\left|\psi_I (t)\right\rangle = \left [ 1 + \sum_{n = 1}^{\infty} \int_{-\infty}^{\infty} dt_1 \int_{-\infty}^{t_1} dt_2 \int_{-\infty}^{t_2} dt_3 \ldots \int_{-\infty}^{t_{n-1}} dt_n \left ( H_S^I (t_1) \cdot H_S^I (t_2) \cdot H_S^I (t_3) \cdot \ldots \right. \right.
\ldots \left. \left. \cdot H_S^I (t_n) \right ) \right ] \left|\psi_I (t = - \infty)\right\rangle

Y a partir de ese desarrollo se obtiene:

S = 1 + \sum_{n = 1}^{\infty} \int_{-\infty}^{\infty} dt_1 \int_{-\infty}^{t_1} dt_2 \int_{-\infty}^{t_2} dt_3 \ldots \int_{-\infty}^{t_{n-1}} dt_n \left ( H_S^I (t_1) \cdot H_S^I (t_2) \cdot H_S^I (t_3) \cdot \ldots \cdot H_S^I (t_n) \right ). =1 + \sum_{n = 1}^{\infty} \frac{1}{n!}\int_{-\infty}^{\infty} dt_1 \int_{-\infty}^{+\infty} dt_2 \int_{-\infty}^{+\infty} dt_3 \ldots \int_{-\infty}^{+\infty} dt_n T \left ( H_S^I (t_1) \cdot H_S^I (t_2) \cdot H_S^I (t_3) \cdot \ldots \cdot H_S^I (t_n) \right ),

donde T indica el producto cronológicamente ordenado de los operadores entre paréntesis:

T\phi(x)\psi(y)=\theta(x^0-y^0)\left( \phi(x)\psi(y)\right)+\theta(y^0-x^0)\left(\psi(y)\phi(x)\right)

donde \theta\left(x^0-y^0\right) es la función escalón unitario de Heaviside.

El desarrollo anterior es precisamente la serie de Dyson para la matriz S. Y por tanto dicha matriz puede ser calculada hasta cualquier orden de aproximación mediante la serie anterior, usando el teorema de Wick.

Formalismo LSZ[editar]

De manera alternativa puede usarse la fórmula de reducción de LSZ para calcular los elementos de la matriz S. Este procedimiento es más sofisticado y es preferible en teoría cuántica de campos, no hace uso de la serie de Dyson, aunque sí usa la funciones de Green proporcionandas por la formulación mediante integrales funcionales.

Para ilustrar este tipo de cálculo se considera un caso particular, el de un campo escalar \phi con masa asociada m y con una accción dada por_

\mathcal{S}[\phi]=\int \text{d}^4 x \frac{1}{2}\left(\partial_\mu \phi \partial^\mu \phi -m^2\phi^2 \right) - V(\phi)

donde V(\phi) puede ser, por ejemplo, un témrino de interacción del tipo \lambda\phi^4, que por el momento no es necesario especificar.

Las funciones de Green de n puntos están definidas como los valores esperados sobre el vacío del producto cronológico ordenado de n campos:

G^{(n)}(x_1,x_2,\dots,x_n)\equiv \langle 0 |T
\left( \phi(x_1)\phi(x_2)\dots\phi(x_n) \right) |0\rangle=
\frac{\int \mathcal{D}\phi \,\phi(x_1)\phi(x_2)\dots\phi(x_n)\,e^{i\mathcal{S}}}{\int \mathcal{D}\phi \,e^{i\mathcal{S}}}

Estas funciones son calculables perturbativamente a través 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 físicas de las partículas, debido a que cuando p_\mu p^\mu=m^2 dichas funciones tienen un polo. A estos polos le corresponden propiamente los estados asintóticos de la teoría: de hecho, estos estados son creados o destruidos por los campos "in" y "out", que satisfacen la ecuación de Klein-Gordon

(\Box_x + m^2 ) \phi_{in}(x)=(\Box_x + m^2 ) \phi_{out}(x)=0

que difieren de las ecuaciones de movimiento correctas sólo por la ausencia del potencial de interacción. en consecuencia, y de modo intutivo, es necesario extraer la contribución de los polos de las funciones de Green para obtener las funcioone de Green construidas con los campos asintóticos, que generan propiamente los elementos de la matriz S deseados. Si en el estado inicial están presentes m partículas con momentos lineales q1,...,qm y en el estado final hay n partículas con momentos p1,...,pn, la fórmula que describe el procedimiento viene dada por:


\langle p_1,\ldots,p_n\ \mathrm{out}|q_1,\ldots,q_m\ \mathrm{in}\rangle = \int \prod_{i=1}^{m}
\left\{ \mathrm{d}^4x_i\ i\frac{e^{-iq_i\cdot x_i}}{(2\pi)^{3/2} Z^{1/2}} \left(\Box_{x_i}+m^2\right) \right\} \times

\times \prod_{j=1}^{n} \left\{ \mathrm{d}^4y_j\ i\frac{e^{+ip_j\cdot y_j}}{(2\pi)^{3/2} Z^{1/2}} \left(\Box_{y_j}+m^2\right) \right\} G^{(n+m)}(x_1,\dots,x_m,y_1,\dots,y_n)

El proceso de extracción del polo es más evidente si la fórmula se escrib en términos de la transformada de Fourier de la función de Green. A parte de la multiplicación por algunas constantes (entre las cuales están la constante del normalización de los campos Z) la fórmula muestra que basta multiplicar las funziones de Green por los factores p^2-m^2, que eliminan los polos, y después hacer el límite on-shell de los momentos lineales, es decir, p^2\to m^2 correspondiente al las partículas físicas:

 \langle p_1,\ldots,p_n\ 
\mathrm{out}|q_1,\ldots,q_m\ \mathrm{in}\rangle =
\prod_{i=1}^{m} \left\{ \frac{-i}{(2\pi)^{3/2} Z^{1/2}}
\left(p_i^2-m^2\right) \right\}\times

\times
\prod_{j=1}^{n}
   \left\{
   \frac{-i}{(2\pi)^{3/2} Z^{1/2}}
   \left(q_i^2-m^2\right)
   \right\}
\tilde{G}^{(n+m)}(p_1,\ldots,p_n;-q_1,\ldots,-q_m)

Referencias[editar]

  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. a b 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-95086-0

Bibliografía[editar]