Cuestiones conceptuales sobre la formulación de la integral de trayectoria de QFT

Actualmente estoy tratando de aprender por mí mismo la formulación de la integral de ruta de QFT (habiendo estudiado el enfoque canónico anteriormente), pero tengo algunas dificultades conceptuales que espero poder aclarar aquí.

Para simplificar, considere el caso de un solo campo escalar real libre. La formulación de la integral de trayectoria para un correlador de dos puntos en este caso viene dada por

0 | T { ϕ ^ ( X ) ϕ ^ ( y ) } | 0 = ( i 2 ) 1 Z [ 0 ] d 2 Z [ j ] d j ( X ) d j ( y ) | j = 0
dónde
Z [ j ] = D ϕ mi i d 4 X ( 1 2 ϕ ( + metro 2 ) ϕ + j ( X ) ϕ ( X ) )
es el generador funcional para la teoría libre.

Aquí es donde radica mi problema. son los campos ϕ ( X ) en lo funcional Z [ j ] campos clásicos o son campos de operadores?

Si son campos clásicos, entonces la integral de trayectoria define algún tipo de mapeo entre operadores de campo ϕ ^ ( X ) y sus análogos clásicos (número c)?

Los libros que he estado leyendo hasta ahora (el libro QFT de Srednicki y "QFT & the Standard Model" de M. Schwartz) parecen un poco ambiguos en esta área.

La integral de trayectoria integra campos clásicos.
@ACuriousMind Eso es lo que pensé, pero quería asegurarme. Por "campo clásico" se entiende simplemente que el valor del campo en un punto del espacio-tiempo X m es un valor propio del operador de campo ϕ ^ ( X ) ¿en ese punto? Además, ¿hay algún libro sobre el enfoque integral de ruta que recomendaría especialmente?
Esencialmente un duplicado de physics.stackexchange.com/q/9183/2451
Campos clásicos. El LHS es solo un número (debido al valor esperado <0| ... |0>). Por lo tanto, el RHS también tiene que ser solo un número, por lo que los campos no pueden ser valorados por operadores en el RHS. Este es un desafortunado abuso de notación.

Respuestas (1)

En la integral de trayectoria, ϕ no es un operador, sino una variable de integración ficticia que se ejecuta en todas las configuraciones de campo clásicas posibles.

Puede pasar entre los dos formalismos usando la siguiente relación:

0 | T { a ^ b ^ . . . z ^ } | 0 = D ϕ mi i S [ ϕ ] / a ( ϕ ) b ( ϕ ) . . . z ( ϕ ) D ϕ mi i S [ ϕ ] / ,

dónde:

  • S [ ϕ ] es la acción clásica
  • a ( ϕ ) , b ( ϕ ) , . . . , z ( ϕ ) son algunos observables clásicos (funciones en el espacio de configuración)
  • a ^ , b ^ , . . . , z ^ son los operadores cuánticos correspondientes. Aquí hay una ambigüedad en el orden, pero se resuelve con el
  • T es el símbolo de ordenación cronológica (reordena una cadena de operadores por la coordenada de tiempo, de forma descendente)
En el lado derecho de la ecuación en su respuesta, ¿se sigue esto de los operadores que actúan sobre los estados propios del campo, por ejemplo a ^ | ϕ = a ( ϕ ) | ϕ ? ¿Es una especie de mapeo entre el formalismo del operador y el formalismo de la integral de trayectoria, de modo que produzcan las mismas funciones de correlación?
@Se exactamente. La prueba se puede encontrar en casi cualquier libro de texto QFT.
¿Hay algún libro de QFT en particular que recomendaría?
@Will Peskin & Schreder sería mi elección, aunque podría haber mejores opciones
En la derecha, dentro de la integral: ¿Dónde están los a ( ϕ ) evaluado? Dado que son funciones del espacio de configuración, y no funcionales, debería ser algo así como a ( ϕ ( X ) ) o algo así.
@Quantumwhisp a cada operador cuántico, podemos asociar un funcional de una configuración clásica. Los detalles de este procedimiento se pueden encontrar en cualquier introducción sobre integrales de trayectoria.