La teoría cuántica axiomática de campos es un enfoque de la teoría cuántica de campos basado en el uso de axiomas físicos formulados en una forma matemática rigurosa.
Su ventaja es que permite usar el método deductivo, como consecuencias de los teoremas correspondientes (por ejemplo, el teorema sobre la conexión del espín con la estadística y los teoremas CPT [1] ), para derivar consecuencias físicas observables experimentalmente que surgen de los conceptos físicos. del espacio-tiempo formulado por en forma de axiomas matemáticos y así verificar estas representaciones iniciales en sí mismas. También le permite verificar y refinar lógicamente, si es necesario, las disposiciones iniciales de la teoría cuántica de campos.
Su desventaja es que, además del teorema de la conexión entre espín y estadística y el teorema CPT, no es posible obtener de él otras consecuencias específicas verificadas experimentalmente (por ejemplo, no es posible construir una teoría de interacciones campos y también una teoría no trivial de la matriz S [1] ).
En la teoría cuántica axiomática de campos, por regla general, se utiliza la representación mecánica cuántica de Heisenberg [2] , en la que la dependencia del tiempo se describe mediante operadores y los vectores de estado no dependen del tiempo.
Los estados de un sistema físico se describen mediante rayos normalizados en un espacio de Hilbert enmarcado con una métrica definida positiva. Cada cantidad física medida está asociada con un operador autoadjunto . Si el valor corresponde al operador , entonces el valor corresponde al operador [3] [4] [5] .
Los valores medios de los observables físicos no cambian con respecto a las autotransformadas de Poincaré [2] [6] . Los vectores de estado se transforman según las representaciones del grupo universal de Poincaré cubriendo ( teorema de Bargman-Wigner ) [7] .
El postulado de localidad es una expresión del principio relativista de causalidad. Las medidas de los componentes de campo en puntos separados por un intervalo similar al espacio son independientes. Matemáticamente, esto significa que los operadores de campo en puntos separados por un intervalo similar al espacio conmutan o anticonmutan entre sí [8] [9] [10] .
aAquí, el signo de conmutación "-" corresponde al campo bosónico tensorial, el signo de anticonmutación "+" corresponde al campo de fermiones de espinor (teorema sobre la relación entre espín y estadística).
La representación del grupo de Poincaré que cubre universales, que se realiza en el espacio de vectores de estado de Hilbert, se descompone en representaciones irreducibles de solo tres clases [11] [12] :
Aquí está el cuadrado del operador de momento de cuatro dimensiones, es la masa de una partícula elemental, es el primer componente del operador de momento de cuatro dimensiones.
Hay dos enfoques principales que aseguran la formulación matemática exacta y la axiomatización de la teoría cuántica de campos: algebraica y topológica.
FQFT formaliza la imagen de Schrödinger de la mecánica cuántica (generalizada a la teoría cuántica de campos ), donde los espacios de estados cuánticos se asignan al espacio y las asignaciones lineales se asignan a trayectorias o interpolación espacio-temporal entre estos espacios.
![]() |
---|