stringtranslate.com

matriz S

En física , la matriz S o matriz de dispersión relaciona el estado inicial y el estado final de un sistema físico que sufre un proceso de dispersión . Se utiliza en mecánica cuántica , teoría de dispersión y teoría cuántica de campos (QFT).

Más formalmente, en el contexto de QFT, la matriz S se define como la matriz unitaria que conecta conjuntos de estados de partículas asintóticamente libres (los estados internos y externos ) en el espacio de Hilbert de estados físicos. Se dice que un estado de múltiples partículas es libre (o no interactúa) si se transforma bajo transformaciones de Lorentz como un producto tensorial , o producto directo en el lenguaje físico, de estados de una partícula como lo prescribe la ecuación (1) a continuación. Asintóticamente libre significa entonces que el Estado tiene esta apariencia ya sea en el pasado distante o en el futuro distante.

Si bien la matriz S puede definirse para cualquier fondo ( espacio-tiempo ) que sea asintóticamente solucionable y no tenga horizontes de sucesos , tiene una forma simple en el caso del espacio de Minkowski . En este caso especial, el espacio de Hilbert es un espacio de representaciones unitarias irreductibles del grupo no homogéneo de Lorentz (el grupo de Poincaré ); la matriz S es el operador de evolución entre (el pasado distante) y (el futuro distante). Se define únicamente en el límite de densidad de energía cero (o distancia infinita de separación de partículas).

Se puede demostrar que si una teoría cuántica de campos en el espacio de Minkowski tiene una brecha de masa , el estado en el pasado asintótico y en el futuro asintótico se describen mediante espacios de Fock .

Historia

Los elementos iniciales de la teoría de la matriz S se encuentran en el artículo de Paul Dirac de 1927 "Über die Quantenmechanik der Stoßvorgänge". [1] [2] La matriz S fue presentada correctamente por primera vez por John Archibald Wheeler en el artículo de 1937 "Sobre la descripción matemática de los núcleos ligeros mediante el método de estructura de grupos resonantes". [3] En este artículo, Wheeler introdujo una matriz de dispersión : una matriz unitaria de coeficientes que conecta "el comportamiento asintótico de una solución particular arbitraria [de las ecuaciones integrales] con el de las soluciones de una forma estándar", [4] pero no desarrolló completamente.

En la década de 1940, Werner Heisenberg desarrolló y fundamentó de forma independiente la idea de la matriz S. Debido a las divergencias problemáticas presentes en la teoría cuántica de campos en ese momento, Heisenberg se sintió motivado a aislar las características esenciales de la teoría que no se verían afectadas por cambios futuros a medida que la teoría se desarrollara. Al hacerlo, se vio obligado a introducir una matriz S unitaria "característica" . [4]

Hoy en día, sin embargo, los resultados exactos de la matriz S son importantes para la teoría de campos conforme , los sistemas integrables y varias áreas más de la teoría cuántica de campos y la teoría de cuerdas . Las matrices S no sustituyen a un tratamiento de teoría de campos, sino que complementan los resultados finales del mismo.

Motivación

En física de partículas de alta energía uno está interesado en calcular la probabilidad de diferentes resultados en experimentos de dispersión . Estos experimentos se pueden dividir en tres etapas:

  1. Hacer colisionar una colección de partículas entrantes (generalmente dos tipos de partículas con altas energías).
  2. Permitir que las partículas entrantes interactúen. Estas interacciones pueden cambiar los tipos de partículas presentes (por ejemplo, si un electrón y un positrón se aniquilan , pueden producir dos fotones ).
  3. Medición de las partículas salientes resultantes.

El proceso por el cual las partículas entrantes se transforman (a través de su interacción ) en partículas salientes se llama dispersión . Para la física de partículas, una teoría física de estos procesos debe ser capaz de calcular la probabilidad de que diferentes partículas salgan cuando diferentes partículas entrantes colisionen con diferentes energías.

La matriz S en la teoría cuántica de campos logra exactamente esto. Se supone que la aproximación de densidad de energía pequeña es válida en estos casos.

Usar

La matriz S está estrechamente relacionada con la amplitud de la probabilidad de transición en la mecánica cuántica y con las secciones transversales de diversas interacciones; Los elementos (entradas numéricas individuales) de la matriz S se conocen como amplitudes de dispersión . Los polos de la matriz S en el plano energético complejo se identifican con estados ligados , estados virtuales o resonancias . Los cortes de rama de la matriz S en el plano de energía complejo están asociados a la apertura de un canal de dispersión .

En el enfoque hamiltoniano de la teoría cuántica de campos, la matriz S puede calcularse como una exponencial ordenada en el tiempo del hamiltoniano integrado en la imagen de interacción ; también se puede expresar utilizando las integrales de trayectoria de Feynman . En ambos casos, el cálculo perturbativo de la matriz S conduce a diagramas de Feynman .

En la teoría de la dispersión , la matriz S es un operador que mapea los estados internos de las partículas libres con los estados externos de las partículas libres ( canales de dispersión ) en la imagen de Heisenberg . Esto es muy útil porque a menudo no podemos describir la interacción (al menos no las más interesantes) exactamente.

En mecánica cuántica unidimensional

En primer lugar, se considera un prototipo simple en el que la matriz S es bidimensional, con fines ilustrativos. En él, las partículas con energía intensa E se dispersan desde un potencial localizado V según las reglas de la mecánica cuántica unidimensional. Este modelo simple ya muestra algunas características de casos más generales, pero es más fácil de manejar.

Cada energía E produce una matriz S = S ( E ) que depende de V. Por lo tanto, la matriz S total podría, en sentido figurado, visualizarse, de manera adecuada, como una "matriz continua" con todos los elementos cero excepto los bloques 2 × 2 a lo largo de la diagonal para una V dada .

Definición

Considere una barrera de potencial unidimensional localizada V ( x ) , sometida a un haz de partículas cuánticas con energía E. Estas partículas inciden sobre la barrera de potencial de izquierda a derecha.

Las soluciones de la ecuación de Schrödinger fuera de la barrera de potencial son ondas planas dadas por

vector de ondaACBD

La "amplitud de dispersión", es decir, la superposición de transición de las ondas salientes con las ondas entrantes es una relación lineal que define la matriz S ,

La relación anterior se puede escribir como

SV ( x )

propiedad unitaria

La propiedad unitaria de la matriz S está directamente relacionada con la conservación de la corriente de probabilidad en la mecánica cuántica .

La densidad de corriente de probabilidad J de la función de onda ψ ( x ) se define como

Para la conservación de la corriente de probabilidad, J L = J R . Esto implica que la matriz S es una matriz unitaria .

Prueba

Simetría de inversión del tiempo

Si el potencial V ( x ) es real, entonces el sistema posee simetría de inversión del tiempo . Bajo esta condición, si ψ ( x ) es una solución de la ecuación de Schrödinger, entonces ψ *( x ) también es una solución.

La solución invertida en el tiempo está dada por

B *C *A *D *

Están nuevamente relacionados por la matriz S ,


S

Combinando la simetría y la unitaridad, la matriz S se puede expresar en la forma:

matriz de transferencia

La matriz de transferencia relaciona las ondas planas del lado derecho del potencial de dispersión con las ondas planas del lado izquierdo : [ 5]

[6]

En el caso de simetría de inversión temporal, la matriz de transferencia se puede expresar mediante tres parámetros reales:

r = 1

Pozo cuadrado finito

El problema unidimensional, no relativista con simetría de inversión temporal de una partícula con masa m que se aproxima a un pozo cuadrado finito (estático) , tiene la función potencial V con

paquete de ondas

La matriz S para la onda plana con número de onda k tiene la solución: [6]

Donde es el número de onda (aumentado) de la onda plana dentro del pozo cuadrado, ya que el valor propio de energía asociado con la onda plana debe permanecer constante:

La transmisión es

En el caso de entonces y por lo tanto y es decir, una onda plana con número de onda k pasa por el pozo sin reflexión si por un

Barrera cuadrada finita

La barrera cuadrada es similar al pozo cuadrado con la diferencia de que para .

Hay tres casos diferentes dependiendo del valor propio de energía de las ondas planas (con números de onda k resp. k ) alejadas de la barrera:

Coeficiente de transmisión y coeficiente de reflexión.

El coeficiente de transmisión desde la izquierda de la barrera de potencial es, cuando D = 0 ,

El coeficiente de reflexión desde la izquierda de la barrera de potencial es, cuando D = 0 ,

De manera similar, el coeficiente de transmisión desde la derecha de la barrera de potencial es, cuando A = 0 ,

El coeficiente de reflexión desde la derecha de la barrera de potencial es, cuando A = 0 ,

Las relaciones entre los coeficientes de transmisión y reflexión son

S.

Con simetría de inversión temporal, la matriz S es simétrica y, por tanto, y .

Teorema óptico en una dimensión.

En el caso de partículas libres V ( x ) = 0 , la matriz S es [8]

V ( x ) es diferente de cero, la matriz S
funciones complejasrt

El análogo de esta identidad en tres dimensiones se conoce como teorema óptico .

Definición en la teoría cuántica de campos.

Imagen de interacción

Una forma sencilla de definir la matriz S comienza considerando la imagen de interacción . [9] Dividamos el hamiltoniano H en la parte libre H 0 y la interacción V , H = H 0 + V . En esta imagen, los operadores se comportan como operadores de campo libre y los vectores de estado tienen dinámica según la interacción V. Dejar

S

donde S es el operador S. La gran ventaja de esta definición es que el operador de evolución temporal U que evoluciona un estado en la imagen de interacción se conoce formalmente, [10]

Tproducto ordenado en el tiempo
AmpliarUserie Dyson
V

Al ser un tipo especial de operador de evolución temporal, S es unitario. Para cualquier estado inicial y cualquier estado final se encuentra

Este enfoque es algo ingenuo en el sentido de que los problemas potenciales se esconden debajo de la alfombra. [11] Esto es intencional. El enfoque funciona en la práctica y algunas de las cuestiones técnicas se abordan en las otras secciones.

Estados de entrada y salida

Aquí se adopta un enfoque ligeramente más riguroso para abordar problemas potenciales que no se tuvieron en cuenta en el enfoque de imagen de interacción anterior. El resultado final es, por supuesto, el mismo que si se toma la ruta más rápida. Para ello, se necesitan las nociones de estados de entrada y salida. Estos se desarrollarán de dos maneras, a partir de estados de vacío y de partículas libres. No hace falta decir que los dos enfoques son equivalentes, pero iluminan las cuestiones desde ángulos diferentes.

De vacío

Si a ( k ) es un operador de creación , su adjunto hermitiano es un operador de aniquilación y destruye el vacío,

En notación de Dirac , defina

estado cuántico de vacío0invariantes de Poincaré[11]
P μgenerador de traslaciónM μνtransformaciones de Lorentzoperadores de campocamposΦ iΦ oteoría escalar
ecuación libre de Klein-Gordon
π i , jcanónicamente conjugadoΦ i , ja i ( k )a f ( k )mismo espacio de Hilbert[12]distintos ( espacios de Fockif

La acción de los operadores de creación sobre sus respectivos vacíos y estados con un número finito de partículas en los estados de entrada y salida viene dada por

de n partículas

Se supone que los estados asintóticos tienen propiedades de transformación de Poincaré bien definidas, es decir, se supone que se transforman como un producto directo de estados de una partícula. [13] Esta es una característica de un campo que no interactúa. De esto se deduce que los estados asintóticos son todos estados propios del operador de momento P μ , [11]

Generalmente se postula que el vacío es estable y único, [11] [nb 1]

La interacción se supone activada y desactivada adiabáticamente.

imagen de heisenberg

A partir de ahora se utilizará el cuadro de Heisenberg . En esta imagen, los estados son independientes del tiempo. Por tanto, un vector de estado de Heisenberg representa la historia espacio-temporal completa de un sistema de partículas. [13] El etiquetado de los estados de entrada y salida se refiere a la apariencia asintótica. Un estado Ψ α , en se caracteriza porque cuando t → −∞ el contenido de partículas es el representado colectivamente por α . Asimismo, un estado Ψ β , out tendrá el contenido de partículas representado por β para t → +∞ . Utilizando el supuesto de que los estados de entrada y salida, así como los estados que interactúan, habitan el mismo espacio de Hilbert y asumiendo la integridad de los estados de entrada y salida normalizados (postulado de completitud asintótica [11] ), los estados iniciales se pueden expandir en un base de estados finales (o viceversa). La expresión explícita se proporciona más adelante, después de que se haya introducido más notación y terminología. Los coeficientes de expansión son precisamente los elementos de la matriz S que se definirán a continuación.

Si bien los vectores de estado son constantes en el tiempo en la imagen de Heisenberg, los estados físicos que representan no lo son . Si se encuentra que un sistema está en un estado Ψ en el momento t = 0 , entonces se encontrará en el estado U ( τ )Ψ = e iHτ Ψ en el momento t = τ . Este no es (necesariamente) el mismo vector de estado de Heisenberg, pero es un vector de estado equivalente , lo que significa que, tras la medición, se encontrará que es uno de los estados finales de la expansión con un coeficiente distinto de cero. Dejando que τ varíe, se ve que el Ψ observado (no medido) es de hecho el vector de estado de imagen de Schrödinger . Repitiendo la medición suficientes veces y promediando, se puede decir que de hecho se encuentra el mismo vector de estado en el momento t = τ que en el momento t = 0 . Esto refleja la expansión de un estado interno hacia estados externos.

De estados de partículas libres

Desde este punto de vista, se debe considerar cómo se realiza el experimento arquetípico de dispersión. Las partículas iniciales se preparan en estados bien definidos en los que están tan alejadas que no interactúan. De alguna manera se les hace interactuar, y las partículas finales se registran cuando están tan separadas que han dejado de interactuar. La idea es buscar en la imagen de Heisenberg estados que en el pasado lejano tenían la apariencia de estados de partículas libres. Este será el en los estados. Asimismo, un estado externo será un estado que en un futuro lejano tenga la apariencia de un estado de partícula libre. [13]

Se utilizará la notación de la referencia general para esta sección, Weinberg (2002). Un estado general de múltiples partículas que no interactúan está dado por

Estos estados se normalizan como

sS kkk -estado de partícula
s
completos
αα(Λ, a )

donde W (Λ, p ) es la rotación de Wigner y D ( j ) es la representación dimensional (2 j + 1) de SO(3) . Al poner Λ = 1, a = ( τ , 0, 0, 0) , para lo cual U es exp( iHτ ) , en (1) , se sigue inmediatamente que

Ψ +Ψ
para τgghamiltoniano HH 0VH = H 0 + VΦ γH 0

Los estados de entrada y salida se definen como estados propios del hamiltoniano completo,

τ → −∞τ → +∞
± iε para hacer invertible el operador en el LHS. V → 0
H 0ecuación de Lippmann-Schwinger

En estados expresados ​​como estados externos

Los estados iniciales se pueden ampliar en base a estados finales (o viceversa). Usando la relación de completitud,

| C m | 2
S

La matriz S

La matriz S ahora está definida por [13]

Aquí α y β son abreviaturas que representan el contenido de partículas pero suprimen las etiquetas individuales. Asociado a la matriz S está el operador S definido por [13]

donde los Φ γ son estados de partículas libres. [13] [nb 2] Esta definición se ajusta al enfoque directo utilizado en la imagen de interacción. Además, debido a la equivalencia unitaria,

Como requisito físico, S debe ser un operador unitario . Esta es una declaración de conservación de la probabilidad en la teoría cuántica de campos. Pero

SS. [13] [nb 3]transformación canónica cuántica definalesSenfuera[nb 4]

En términos de operadores de creación y aniquilación, esto se convierte en

SS

Si S describe una interacción correctamente, estas propiedades también deben ser ciertas:

Operador de evolución U

Defina un operador de creación y aniquilación dependiente del tiempo de la siguiente manera,

Permitimos una diferencia de fase, dada por

S

Sustituyendo la expresión explícita por U , se tiene

Por inspección, se puede ver que esta fórmula no es explícitamente covariante.

Serie Dyson

La expresión más utilizada para la matriz S es serie Dyson. Esto expresa el operador de matriz S como la serie :

dónde:

La matriz no S

Dado que la transformación de partículas del agujero negro en radiación de Hawking no se podía describir con una matriz S , Stephen Hawking propuso una "matriz no S ", para la que utilizó el signo del dólar ($), y que por eso también se llamó "matriz del dólar". [14]

Ver también

Observaciones

  1. ^ Esto no es cierto si se estudia un sistema abierto. Bajo la influencia de un campo externo, los vacíos de entrada y salida pueden diferir, ya que el campo externo puede producir partículas.
  2. ^ Aquí se supone que el hamiltoniano H completo se puede dividir en dos términos, un hamiltoniano H 0 de partícula libre y una interacción V , H = H 0 + V tal que los estados propios Φ γ de H 0 tengan la misma apariencia que el estados dentro y fuera con respecto a la normalización y las propiedades de transformación de Lorentz. Véase Weinberg (2002), página 110.
  3. ^ Si Λ es una transformación de Lorentz ortocrónica adecuada (homogénea ) , entonces el teorema de Wigner garantiza la existencia de un operador unitario U (Λ) que actúa sobre Hi o H f . Se dice que una teoría es invariante de Lorentz si la misma U ( Λ) actúa sobre Hi y Hf . Usando la unitaridad de U (Λ) , S βα = ⟨ i , β | f , α ⟩ = ⟨ yo , β | U (Λ) U (Λ)| f , α . El lado derecho se puede ampliar utilizando el conocimiento sobre cómo se transforman los estados que no interactúan para obtener una expresión, y esa expresión debe tomarse como una definición de lo que significa que la matriz S sea invariante de Lorentz. Véase Weinberg (2002), la ecuación 3.3.1 da una forma explícita.
  4. ^ Aquí se emplea el postulado de completitud asintótica . Los estados de entrada y salida abarcan el mismo espacio de Hilbert, que se supone concuerda con el espacio de Hilbert de la teoría de la interacción. Este no es un postulado trivial. Si las partículas pueden combinarse permanentemente en estados ligados, la estructura del espacio de Hilbert cambia. Véase Greiner y Reinhardt 1996, sección 9.2.

Notas

  1. ^ Dirac, Paul (1 de agosto de 1927). "Über die Quantenmechanik der Stoßvorgänge". Zeitschrift für Physik (en alemán). 44 (8): 585–595. doi :10.1007/BF01451660. ISSN  0044-3328.
  2. ^ Sanyuk, Valerii I.; Sujánov, Alexander D. (1 de septiembre de 2003). "Dirac en la física del siglo XX: una evaluación del centenario". Física-Uspekhi . 46 (9): 937–956. ISSN  1063-7869.
  3. ^ John Archibald Wheeler, "Sobre la descripción matemática de núcleos ligeros mediante el método de estructura de grupo resonante", Phys. Rev. 52, 1107–1122 (1937).
  4. ^ ab Jagdish Mehra , Helmut Rechenberg , El desarrollo histórico de la teoría cuántica (páginas 990 y 1031) Springer, 2001 ISBN 0-387-95086-9 , ISBN 978-0-387-95086-0  
  5. ^ "Formulación de matriz de transferencia de la teoría de la dispersión en dimensiones arbitrarias" (PDF) . gemma.ujf.cas.cz . Consultado el 29 de octubre de 2022 .
  6. ^ ab "EE201/MSE207 Conferencia 6" (PDF) . intra.ece.ucr.edu . Consultado el 29 de octubre de 2022 .
  7. ^ "La barrera potencial". quantummechanics.ucsd.edu . Consultado el 1 de noviembre de 2022 .
  8. ^ Merzbacher 1961 Ch 6. Una convención más común, utilizada a continuación, es hacer que la matriz S vaya a la identidad en el caso de partículas libres.
  9. ^ Greiner y Reinhardt 1996 Sección 8.2.
  10. ^ Greiner y Reinhardt 1996 Ecuación 8.44.
  11. ^ abcde Greiner y Reinhardt 1996 Capítulo 9.
  12. ^ Weinberg 2002 Capítulo 3. Véase el comentario especial al comienzo de la sección 3.2.
  13. ^ abcdefg Weinberg 2002 Capítulo 3.
  14. Leonard Susskind , Guerra del Agujero Negro , capítulo 11.

Referencias