¿Cómo describir la evolución del tiempo en QFT relativista?

Debo confesar que todavía estoy confundido acerca de la cuestión de la evolución del tiempo en la teoría cuántica relativista de campos (RQFT). A partir de argumentos de simetría, de la representación del grupo de Poincaré mediante operadores unitarios en un espacio de Hilbert, se sabe que el generador de traslaciones temporales es el operador hamiltoniano ( H ) del campo, y el operador unitario correspondiente a una traducción en tiempo finito de t 0 a t 1 es tu = Exp [ i H ( t 1 t 0 ) ] (con = 1 ). Así que aparentemente, a partir de argumentos de simetría, la imagen de Schrödinger está viva y bien (es decir, es válida y debe funcionar) en RQFT. Sin embargo, nunca he visto en la literatura sobre RQFT un vector de estado que describa el estado del campo cuántico en un tiempo finito. t , es decir, nunca he visto un | ψ ( t ) . Luego, está el artículo de Dirac en el que discrepa del operador de evolución temporal de Schrödinger. tu = Exp [ i H ( t 1 t 0 ) ] , mostrando prácticamente que no tiene ningún sentido sensato ("Electrodinámica cuántica sin madera muerta" publicado en Phys. Rev., http://journals.aps.org/pr/abstract/10.1103/PhysRev.139.B684 ).

te agradeceria mucho si me pudieras avisar si tu = Exp [ i H ( t 1 t 0 ) ] es de hecho el operador de evolución temporal en RQFT, y si la respuesta es sí, ¿por qué el vector de estado | ψ ( t ) nunca se define y calcula para un tiempo finito t . Esta pregunta también es importante para la cuantificación de la integral de trayectoria, ya que para construir una integral de trayectoria se usa la expresión tu = Exp [ i H ( t 1 t 0 ) ] para el operador de evolución temporal, y también vectores de estado en tiempo finito. De lo contrario, no se puede construir el método de la integral de trayectoria y se deben postular las fórmulas de la integral de trayectoria. ¿Son simplemente postulados?

EDITAR 1 : parece haber mucha confusión en los comentarios y respuestas entre la imagen de Schrodinger y la representación de Schrodinger (en QFT). Como en todos los libros de texto sobre QM que hay, por imagen de Schrödinger entiendo una descripción de un sistema cuántico por estados representados por vectores de estado abstractos dependientes del tiempo en algún espacio de Hilbert, y cuyos observables están representados por operadores independientes del tiempo en ese espacio de Hilbert. espacio. No hay nada confuso aquí, y no se trata de "funcionales" mal definidos ya que ninguna representaciónaún no se ha introducido, es decir, no se ha elegido ninguna base particular del espacio de Hilbert para pasar de vectores abstractos a funciones de onda (o funcionales de onda) proyectando los vectores abstractos sobre esa base.

De hecho, Dirac en su artículo usa vectores abstractos en el formalismo de la segunda cuantización. Lo que es realmente desconcertante, y esta es la causa principal de mi confusión, es que el operador de evolución temporal debería existir en la imagen de Schrödinger (es decir, debe haber un operador unitario que relacione dos vectores de estado cualesquiera que tengan diferentes argumentos temporales), basado en en la invariancia de Poincaré impuesta a cualquier sistema cuántico relativista. Sin embargo, como muestra Dirac, las matemáticas simplemente no tienen ningún sentido (y esto no se debe a algunos " funcionales ") y parece que la imagen de Schrödinger debe prohibirse en QFT, ¡y esto, a su vez, va en contra de la invariancia de Poincaré!

EDIT 2: Es interesante notar que tu ( t ) no existe ni en el cuadro de Heisenberg y ni siquiera para un campo libre. La construcción de V. Moretti es defectuosa ya que su tu ( t ) no tiene un dominio de definición. Por cierto, ψ ( X ) a pags + a pags . Por lo tanto, ( ψ ( X ) ) 2 ( a pags ) 2 + ( a pags ) 2 + . . . , y por lo tanto H ( ψ ( X ) ) 2 d 3 X pags { ( a pags ) 2 + ( a pags ) 2 + . . . } . Por eso, tu ( t ) t 2 pags ( a pags ) 2 ( a pags ) 2 ya en segundo orden en t . Por lo tanto, actuando en el estado de vacío tu ( t ) da (para finito t !), como ha demostrado Dirac en su artículo. Por lo tanto, tu ( t ) no tiene un dominio de definición y no puede existir, ¡incluso en la imagen de Heisenberg!

EDIT 3: @Valter Moretti Usted afirma en su respuesta que trabaja completamente en la imagen de Heisenberg. Por lo tanto, el campo depende tanto del espacio X y tiempo t . Sin embargo, cuando construye el hamiltoniano, "difumina" el campo con una función de prueba, pero integra solo sobre el espacio, es decir, sobre X , pero no con el tiempo t . Por lo tanto, su operador hamiltoniano debería depender del tiempo t . No puedes simplemente eliminar t ¡a menos que también te integres sobre él! ¡No existe tal construcción en la literatura! Si no es así, edite su respuesta mostrando cómo se deshace de la dependencia del tiempo en el hamiltoniano.

Funcionales de Schroedinger Ψ [ ϕ , t ] (aquí para un campo escalar ϕ ) son algo poco prácticos, pero incluso tienen una entrada en wikipedia en.wikipedia.org/wiki/Schr%C3%B6dinger_funcional , y sí, el operador de evolución temporal es ``el mismo de siempre'' (parafraseando a David Byrne) .
@ValterMoretti No estoy tratando de ofenderte de ninguna manera. Solo quiero saber tu opinión. ¿Tengo razón o no en mis afirmaciones? Un sí o un no sería suficiente. ¡Gracias!
Con respecto a Edit 2. Realizar cálculos rigurosos evitando objetos formales como a k o realizando estos cálculos formales con el debido cuidado, se ve que el problema no existe (hay que utilizar el llamado orden normal de operadores). Con respecto a Edit 3. El problema no existe en realidad: H es una constante de movimiento exactamente como en la mecánica clásica y la teoría de campos clásica, incluso si es una función de los campos clásicos que dependen del tiempo . Sin embargo, dentro de las constantes de movimiento, todas las dependencias temporales se anulan entre sí , como es bien sabido.
@ValterMoretti ¡Gracias por tu opinión! Soy una persona muy difícil de convencer y no me creo nada, a menos que vea una prueba rigurosa. Lo lamento. SE también es un sitio para aprender, y estaría muy agradecido si usted o alguien más pudiera refutar rigurosamente, proporcionando una demostración matemática rigurosa, las afirmaciones que hice en EDIT 2 y EDIT 3. ¡Muchas gracias!
@ValterMoretti No hay un principio dinámico en AQFT, es decir, ¡no se postula ninguna ecuación de movimiento de Heisenberg! Entonces, ¿cómo sabes cuáles son las constantes de movimiento? ¡Gracias!

Respuestas (2)

Sobre Dirac, teniendo en cuenta la comprensión moderna de QFT, estrictamente hablando, está equivocado. Dirac, como muchos otros en su época, estaba asustado por los «infinitos», pero ahora entendemos la naturaleza de estos infinitos. Primero, desde el punto de vista matemático, existen métodos de regularización confiables que convierten infinitos en cantidades finitas que dependen del parámetro de regularización. Se demuestra la corrección matemática de las regularizaciones. En segundo lugar, desde el punto de vista físico, una dependencia de la regularización significa dependencia de la teoría de más bajo nivel, la física en la (supuesta) escala de Planck si hablamos de teorías fundamentales.

Por lo tanto, la receta de Dirac para el cuadro de Schrödinger debe entenderse en sentido inverso . Cuando en un libro (generalmente de los años 60 o anterior) vemos una afirmación de que algo debe desecharse, que algo se niega a hacer debido a un infinito, debemos «traducirlo» al lenguaje moderno: se permite hacer, pero con la ayuda de la regularización.

Otros infinitos provienen de la idealización del intervalo de tiempo (opcional en principio). Es decir, el intervalo de tiempo Δ t h / mi , dónde mi Esta escala de energía del proceso se considera infinita. Δ t = . Esta idealización, junto con otros infinitos, conduce a características de QFT de aspecto extraño, pero comprensibles después de pensar un poco.

Ahora, teniendo en cuenta todo lo dicho anteriormente, veamos los estados en QFT y su dependencia del tiempo.

QFT viene con una representación inusual llamada representación física o de partículas libres . El espacio de Hilbert H es un espacio de Fock:

H = { j C j i ( norte i j ! ) 1 / 2 ( α i + ) norte i j | 0 | norte i j norte 0 , i norte i j < , C j C , j | C j | 2 = 1 } ,
y hamiltoniano H ^ los elementos de la matriz son
(*) a | H ^ | b = a | H ^ 0 | b + constante ,
dónde a , b H , y H ^ 0 tiene estructura hamiltoniana libre:
H ^ 0 = i mi i α ^ i + α ^ i .

La constante en (*) es infinita, entonces (como señaló Dirac) H ^ no se puede utilizar como un generador de dependencia de tiempo. (Pero recuerde que «no puede» significa «puede, pero con la debida regularización».) Pero equivalente (porque difiere solo en una constante sin sentido) H ^ 0 no tiene ese problema.

Pero H ^ 0 es un hamiltoniano libre! Entonces, ¿cómo se puede describir la evolución de los estados si, como sabemos, las partículas pueden reaccionar? La clave es que describe correctamente la evolución para intervalos de tiempo finitos, pero no para uno infinito. (Recuerde, cuando los infinitos aparecen en la vista, debemos usar la regularización y ser precisos con los límites). La reacción de las partículas requiere un tiempo infinito y se describen por S -matriz

S ^ = Exp ( 1 i h d t ( H ^ H ^ 0 constante ) ) ,
donde está implícita la regularización adecuada (por lo general, incluye pasar a un sistema en una caja de volumen finito y conmutación adiabática de interacción).

Al final, cuando se elimina la regularización, tenemos dos cosas bien definidas que describen la evolución temporal de los estados: partículas libres Hamiltoniano H ^ 0 y S -matriz S ^ . Pero no permiten seguir la reacción de las partículas en el tiempo en detalle.

Tal seguimiento detallado es posible usando un hamiltoniano verdadero regularizado. H ^ . Pero el cálculo es técnicamente difícil y, al mismo tiempo, el resultado dependerá completamente de la regularización, lo que significa que físicamente depende en gran medida de los detalles de la teoría más fundamental (a menudo desconocida).

Resumiendo todo lo anterior, la utilidad de la imagen de Schrödinger para cálculos específicos es muy limitada. Pero a nivel abstracto siempre podemos usar esta imagen con estados evolutivos.

tu = mi i H ( t 1 t 0 ) es de hecho el operador formal de evolución temporal en RQFT. Sin embargo, típicamente, el tu no existe para un sistema con un número infinito de grados de libertad y es por eso que uno nunca ve un ψ ( t ) calculado explícitamente.

En el libro de Dirac de 1966 "Lectures on Quantum Field Theory", la sección 7 en la página 31 estudia un modelo hamiltoniano para un sistema de fermiones de dimensión infinita. Dirac muestra que uno puede integrar las ecuaciones de movimiento de Heisenberg para el modelo hamiltoniano y no pasa nada malo. Luego muestra que el intento de obtener tu al integrar la ecuación de Schrödinger falla porque tu explota.

El libro de FA Berezin "El método de la segunda cuantificación" da fórmulas explícitas para tu para sistemas bosónicos y fermiónicos de dimensión infinita donde el generador (por ejemplo, hamiltoniano) es cuadrático en los operadores de creación y aniquilación (Berezin muestra que tu es una representación unitaria del grupo simpléctico de dimensión infinita Sp( ,R)). Con el fin de obtener una mejor comprensión de las conferencias de Dirac, utilicé el de Berezin. tu para el modelo hamiltoniano de Dirac, pero cambiado a un sistema bosónico, y descubrió que tu explota y no existe.

Esto significa que uno tiene que leer los libros QFT escritos después de la década de 1960 (por ejemplo, Itzykson y Zuber, Weinberg, Peskin y Schroeder) como obras de ficción porque tu aparece y los libros no mencionan eso tu no existe. El éxito de los cálculos prácticos en QFT parece ser el resultado de trabajar efectivamente con un número finito de grados de libertad (cuando tu existe) poniendo el sistema en un enrejado en una caja.

Mi propia opinión es que la inexistencia de tu está diciendo que QFT no puede decir nada sobre la evolución temporal de ψ ( t ) de modo que sólo tiene sentido una descripción en el infinito.

No entiendo lo que " tu no existe" significa! Para un campo libre, existe. Si incluye interacciones, hay problemas para tratar con interacciones locales (productos de al menos tres campos en el mismo punto), de lo contrario tu está bien definido.
Significa que evalúas la fórmula de Berezin y obtienes .
Tal vez te estés refiriendo al llamado teorema de Haag, que establece que la imagen de interacción no existe y este es otro tema...
Le sugiero que lea Berezin y Dirac.
La segunda cuantización está bien definida, el hamiltoniano de un campo bosónico es la suma directa H = k = 0 + H k dónde H k es el hamiltoniano bien definido para un sistema de idénticos k bosones H es autoadjunto porque admite un conjunto denso de vectores analíticos. Por lo tanto, por la teoría espectral elemental tu t = mi i t H es un grupo de operadores unitarios bien definido fuertemente continuo de un parámetro.
Como insististe en esta declaración incorrecta, voté -1, lo siento.
¿Le gustaría que ampliara mi respuesta con un modelo hamiltoniano cuadrático para un sistema con un número infinito de grados de libertad en el que las ecuaciones de movimiento de Heisenberg tienen una solución correcta, pero en el que la fórmula de Berezin para U explota? Entonces puedes decirme dónde metí la pata.
OK si quieres. Pero todo eso es literatura estándar de física matemática, por ejemplo, el libro de texto Bratteli-Robinson (dos volúmenes) estudia con gran detalle sistemas infinitos de bosones y fermiones idénticos y construye rigurosamente hamiltonianos autoadjuntos de segunda cuantización, etc.
@valtermoretti H ϕ ( X ) 2 ( a pags ) 2 + ( a pags ) 2 + . . . . Por lo tanto, tu ( t ) t 2 ( a pags ) 2 ( a pags ) 2 ya en segundo orden en t . Actuando sobre el vacío lo polariza y el resultado es , es decir, no tiene sentido, como muestra Dirac. Por lo tanto, tu ( t ) no tiene dominio de definición, y por lo tanto no existe! Puede eliminar con seguridad el -1 de StephenBlake