En la teoría cuántica de campos , las distribuciones de Wightman se pueden continuar analíticamente en funciones analíticas en el espacio euclidiano con el dominio restringido al conjunto ordenado de puntos en el espacio euclidiano sin puntos coincidentes. [1] Estas funciones se denominan funciones de Schwinger (nombradas en honor a Julian Schwinger ) y son real-analíticas, simétricas bajo la permutación de argumentos (antisimétricas para campos fermiónicos ), covariantes euclidianas y satisfacen una propiedad conocida como reflexión positiva . Las propiedades de las funciones de Schwinger se conocen como axiomas de Osterwalder-Schrader(nombrado en honor a Konrad Osterwalder y Robert Schrader ). [2] Las funciones de Schwinger también se conocen como funciones de correlación euclidianas .
Axiomas de Osterwalder-Schrader
Aquí describimos los axiomas de Osterwalder-Schrader (OS) para una teoría del campo cuántico euclidiano de un campo escalar de Hermite , . Tenga en cuenta que una teoría de campo cuántica típica contendrá un número infinito de operadores locales, incluidos también los operadores compuestos , y sus correlacionadores también deben satisfacer axiomas de OS similares a los que se describen a continuación.
Las funciones de Schwinger de se denotan como
Los axiomas de OS de [2] están numerados (E0) - (E4) y tienen el siguiente significado:
- (E0) Templanza
- (E1) Covarianza euclidiana
- (E2) Positividad
- (E3) Simetría
- (E4) Propiedad del clúster
Temperamento
El axioma de temperamento (E0) dice que las funciones de Schwinger son distribuciones templadas alejadas de los puntos coincidentes. Esto significa que pueden integrarse frente a funciones de prueba de Schwartz que desaparecen con todas sus derivadas en configuraciones en las que coinciden dos o más puntos. Se puede demostrar a partir de este axioma y otros axiomas de OS (pero no la condición de crecimiento lineal) que las funciones de Schwinger son de hecho analíticas reales lejos de puntos coincidentes.
Covarianza euclidiana
El axioma de covarianza euclidiana (E1) dice que las funciones de Schwinger se transforman covariantemente bajo rotaciones y traslaciones, a saber:
para una matriz de rotación arbitraria y un vector de traducción arbitrario . Los axiomas de OS se pueden formular para funciones de Schwinger de campos que se transforman en representaciones arbitrarias del grupo de rotación. [2] [3]
Simetría
El axioma de simetría (E3) dice que las funciones de Schwinger son invariantes bajo permutaciones de puntos:
- ,
dónde es una permutación arbitraria de . Las funciones de Schwinger de los campos fermiónicos son, en cambio, antisimétricas; para ellos esta ecuación tendría un signo ± igual a la firma de la permutación.
Propiedad de clúster
La propiedad de clúster (E4) dice que la función de Schwinger reduce al producto si dos grupos de puntos están separados entre sí por una gran traslación constante:
- .
El límite se entiende en el sentido de distribuciones. También hay una suposición técnica de que los dos grupos de puntos se encuentran en dos lados del hiperplano, mientras que el vector es paralelo a él:
Positividad de reflexión
Los axiomas de positividad (E2) afirman la siguiente propiedad llamada positividad de reflexión (Osterwalder-Schrader). Elija cualquier coordenada arbitraria τ y elija una función de prueba f N con N puntos como argumentos. Supongamos f N tiene su apoyo en el subconjunto "time-ordenado" de N puntos con 0 <τ 1 <... <τ N . Elija una de tales f N para cada positivo N , con el f de ser cero para todos los N mayor que algún entero M . Dado un punto, dejar ser el punto reflejado sobre el hiperplano τ = 0 . Luego,
donde * representa la conjugación compleja .
A veces, en la literatura de física teórica, la positividad de la reflexión se establece como el requisito de que la función de Schwinger de orden par arbitrario no sea negativa si los puntos se insertan simétricamente con respecto a la hiperplano:
- .
De hecho, esta propiedad se deriva de la positividad de la reflexión, pero es más débil que la positividad de la reflexión completa.
Comprensión intuitiva
Una forma de construir (formalmente) funciones de Schwinger que satisfagan las propiedades anteriores es a través de la integral de trayectoria euclidiana . En particular, las integrales de trayectoria euclidiana (formalmente) satisfacen la positividad de la reflexión. Sea F cualquier polinomio funcional del campo φ que no depende del valor de φ ( x ) para aquellos puntos x cuyas coordenadas τ no son positivas. Luego
Dado que la acción S es real y se puede dividir en S +, que solo depende de φ en el semiespacio positivo, y S , que solo depende de φ en el semiespacio negativo, y si S también es invariante bajo la acción combinada de tomar una reflexión y conjugar complejos todos los campos, entonces la cantidad anterior tiene que ser no negativa.
Teorema de Osterwalder-Schrader
El teorema de Osterwalder-Schrader [4] establece que las funciones de Schwinger euclidianas que satisfacen los axiomas anteriores (E0) - (E4) y una propiedad adicional (E0 ') llamada condición de crecimiento lineal pueden continuar analíticamente en las distribuciones de Wightman de Lorentzian que satisfacen los axiomas de Wightman y defina así una teoría cuántica de campos .
Condición de crecimiento lineal
Esta condición, llamada (E0 ') en, [4] afirma que cuando la función de orden de Schwingerestá emparejado con una función de prueba de Schwartz arbitraria que desaparece en puntos coincidentes, tenemos el siguiente límite:
dónde es una constante entera, es la seminorma de orden del espacio Schwartz , es decir
y una secuencia de constantes de crecimiento factorial , es decir con algunas constantes .
La condición de crecimiento lineal es sutil, ya que debe cumplirse para todas las funciones de Schwinger simultáneamente. Tampoco se ha derivado de los axiomas de Wightman , por lo que el sistema de axiomas de OS (E0) - (E4) más la condición de crecimiento lineal (E0 ') parece ser más fuerte que los axiomas de Wightman .
Historia
Al principio, Osterwalder y Schrader [2] afirmaron un teorema más fuerte de que los axiomas (E0) - (E4) por sí mismos implican los axiomas de Wightman , sin embargo, su demostración contenía un error que no podía corregirse sin agregar supuestos adicionales. Dos años más tarde [4] publicaron un nuevo teorema, con la condición de crecimiento lineal agregada como suposición y una prueba correcta. La demostración en [4] se basa en un complicado argumento inductivo (propuesto también por Vladimir Glaser en [5] ), mediante el cual la región de analiticidad de las funciones de Schwinger se extiende gradualmente hacia el espacio de Minkowski, y las distribuciones de Wightman se recuperan como límite. . La condición de crecimiento lineal (E0 ') se usa de manera crucial para mostrar que el límite existe y es una distribución templada.
Árbitro. [4] también contiene otro teorema que reemplaza (E0 ') por otro supuesto llamado. Este otro teorema se usa raramente, ya quees difícil de comprobar en la práctica. Ver, por ejemplo, [3] para una revisión de estos hechos.
Otros axiomas para las funciones de Schwinger
Axiomas de Glimm y Jaffe
Glimm y Jaffe describen en su libro un enfoque alternativo para la axiomatización de los correlacionadores euclidianos. [6] En este enfoque se supone que se le da una medida sobre el espacio de distribuciones . Entonces se considera un generador funcional
que se supone que satisface las propiedades OS0-OS4:
- (OS0) Analiticidad. Esto afirma que
es una función analítica completa de para cualquier colección de funciones de prueba con soporte compacto . Intuitivamente, esto significa que la medida decae más rápido que cualquier exponencial.
- (OS1) Regularidad . Esto exige un crecimiento con destino en términos de , como. Consulte [6] para conocer la condición precisa.
- (OS2) Invarianza euclidiana. Esto dice que el funcional es invariante bajo transformaciones euclidianas .
- (OS3) Reflexión positiva. Tome una secuencia finita de funciones de prueba que están todos apoyados en el medio espacio superior, es decir, en . Denotamos por dónde es una operación de reflexión definida anteriormente. Este axioma dice que la matriz tiene que ser positivo semidefinido.
- (OS4) Ergodicidad. El semigrupo de traducción de tiempo actúa ergódicamente en el espacio de medida. Consulte [6] para conocer la condición precisa.
Relación con los axiomas de Osterwalder-Schrader
Aunque los axiomas anteriores fueron nombrados por Glimm y Jaffe (OS0) - (OS4) en honor a Osterwalder y Schrader, no son equivalentes a los axiomas de Osterwalder-Schrader.
Dado (OS0) - (OS4), se pueden definir funciones de Schwinger de como momentos de la medida , y muestran que estos momentos satisfacen los axiomas de Osterwalder-Schrader (E0) - (E4) y también las condiciones de crecimiento lineal (E0 '). Entonces se puede apelar al teorema de Osterwalder-Schrader para mostrar que las funciones de Wightman son distribuciones templadas. Alternativamente, y mucho más fácil, uno puede derivar axiomas de Wightman directamente de (OS0) - (OS4). [6]
Sin embargo, tenga en cuenta que la teoría cuántica completa del campo contendrá infinitos otros operadores locales además de, como , y otros operadores compuestos construidos a partir de y sus derivados. No es fácil extraer estas funciones de Schwinger de la medida y demostrar que satisfacen los axiomas del sistema operativo, como debería ser el caso.
En resumen, los axiomas llamados (OS0) - (OS4) por Glimm y Jaffe son más fuertes que los axiomas de OS en cuanto a los correlacionadores del campo. están preocupados, pero son más débiles que el conjunto completo de axiomas del SO, ya que no dicen mucho sobre los correlacionadores de operadores compuestos.
Los axiomas de Nelson
Estos axiomas fueron propuestos por Edward Nelson . [7] Véase también su descripción en el libro de Barry Simon. [8] Como en los axiomas anteriores de Glimm y Jaffe, se supone que el campo es una distribución aleatoria con una medida . Esta medida es lo suficientemente regular para que el campotiene la regularidad de un espacio de Sobolev de orden de derivada negativa. La característica crucial de estos axiomas es considerar el campo restringido a una superficie. Uno de los axiomas es la propiedad de Markov , que formaliza la noción intuitiva de que el estado del campo dentro de una superficie cerrada depende solo del estado del campo en la superficie.
Ver también
- Rotación de la mecha
- Teoría de campos cuánticos axiomáticos
- Axiomas de Wightman
Referencias
- ^ Streater, RF; Wightman, AS (2000). PCT, spin y estadísticas, y todo eso . Princeton, Nueva Jersey: Princeton University Press. ISBN 978-0-691-07062-9. OCLC 953694720 .
- ^ a b c d Osterwalder, K. y Schrader, R .: "Axiomas para las funciones de Euclidean Green", Comm. Matemáticas. Phys. 31 (1973), 83–112; 42 (1975), 281-305.
- ^ a b Kravchuk, Petr; Qiao, Jiaxin; Rychkov, Slava (5 de abril de 2021). "Distribuciones en CFT II. Espacio Minkowski" . arXiv.org . Consultado el 10 de mayo de 2021 .
- ^ a b c d e Osterwalder, Konrad; Schrader, Robert (1975). "Axiomas para funciones de Euclidean Green II". Comunicaciones en Física Matemática . Springer Science and Business Media LLC. 42 (3): 281-305. doi : 10.1007 / bf01608978 . ISSN 0010-3616 .
- ^ Glaser, V. (1974). "Sobre la equivalencia de la formulación Euclidiana y Wightman de la teoría de campo". Comunicaciones en Física Matemática . Springer Science and Business Media LLC. 37 (4): 257–272. doi : 10.1007 / bf01645941 . ISSN 0010-3616 .
- ^ a b c d Glimm, James; Jaffe, Arthur (1987). Física cuántica: un punto de vista funcional integral . Nueva York, NY: Springer New York. ISBN 978-1-4612-4728-9. OCLC 852790676 .
- ^ Nelson, Edward (1 de enero de 1973). "Construcción de campos cuánticos a partir de campos Markoff" . Revista de análisis funcional . 12 (1): 97-112. doi : 10.1016 / 0022-1236 (73) 90091-8 . ISSN 0022-1236 . Consultado el 10 de mayo de 2021 .
- ^ Simon, Barry (1974). La teoría del campo P (phi) _2 euclidiana (cuántica) . Princeton, Nueva Jersey: Princeton University Press. ISBN 0-691-08144-1. OCLC 905864308 .