¿En qué sentido es la integral de trayectoria una formulación independiente de la Mecánica Cuántica/Teoría de Campo?

Todos estamos familiarizados con la versión de la Mecánica Cuántica basada en el espacio de estado, los operadores, la ecuación de Schrödinger, etc. Esto nos permite calcular con éxito cantidades físicas relevantes como los valores esperados de los operadores en ciertos estados y luego compararlos con el experimento.

Sin embargo, a menudo se afirma que la integral de trayectoria es una forma "equivalente" de hacer todo esto. Para mí, la parte "equivalente" es un poco vaga. Entiendo que la integral de ruta de Feynman le permite calcular el propagador X | mi i H t | X simplemente usando el Lagrangiano clásico del sistema. Luego, cualquier valor esperado en un estado puede calcularse mediante dos resoluciones de la identidad para obtener una integral sobre este propagador. Esto muestra que la integral de trayectoria es una forma de calcular una cantidad que es muy útil, pero no mucho más que eso, ya que todavía necesitamos el concepto de operadores y su representación en el espacio de posición, así como las funciones de onda del espacio de posición, todo estos objetos junto con sus interpretaciones habituales.

En última instancia, independientemente de cómo calcule las cosas, QM seguirá basándose en probabilidades y, por lo tanto, en funciones de onda. Sin embargo, mi pregunta es, ¿hay algo análogo a los axiomas de la mecánica cuántica que se mencionan generalmente en los libros de texto que se basan en la integral de trayectoria?

La integral de ruta, si se ve como un objeto independiente, nos da el propagador, las funciones de correlación y la función de partición (y tal vez otros objetos que no conozco). ¿Son todos estos suficientes para darnos la misma información que nos da la mecánica cuántica basada en el espacio de Hilbert y los operadores? Realmente agradecería si alguien puede hacer estas conexiones precisas.

Esto está fuera de tema, pero qué demonios te hace comenzar una pregunta con "Todos estamos familiarizados con...". Abrir como "Todos sabemos..." es vergonzoso en cualquier caso, pero con esta pregunta directa en particular, es probable que los usuarios aquí no estén en su nivel de conocimiento, sino por encima o por debajo.
Lo siento por eso. Quise decir "todos sabemos..." en el sentido de que es la forma en que una persona familiarizada con el tema tradicionalmente pensará sobre las cosas.

Respuestas (2)

En el contexto de la teoría cuántica axiomática de campos, hay un teorema (ver el teorema 3-7 en PCT, Spin and Statistics, and All That de Streater y Wightman, a quienes me referiré como "SW"), que SW llama " teorema de reconstrucción", afirmando esencialmente que las funciones de correlación sirven para determinar completamente una teoría de campo correspondiente en el formalismo del Espacio de Hilbert. Específicamente, muestran que (parafraseando por brevedad)

Dada una secuencia W ( norte ) de distribuciones templadas definidas por norte puntos de espacio-tiempo (funciones de correlación) que satisfacen ciertas propiedades técnicas (descomposición de conglomerados, ley de transformación relativista, etc.) existe un espacio de Hilbert separable H , una representación unitaria continua tu de R 3 , 1 S O + ( 3 , 1 ) (el grupo ortocrono de Poincaré propio) en H , un estado de vacío invariante de Poincaré único | 0 , y un campo escalar hermitiano ϕ con dominio apropiado tal que

0 | ϕ ( X 1 ) ϕ ( X norte ) | 0 = W ( norte ) ( X 1 , , X norte )
Además, cualquier otra teoría de campos con estos valores esperados de vacío (vevs) es equivalente unitario a esta.

En otras palabras, las vev determinan una teoría de campo hasta la equivalencia unitaria, y una secuencia de funciones de correlación suficientemente bien comportadas determina completamente una teoría de campo con vev dadas, por lo que los correladores determinan una teoría de campo hasta la equivalencia unitaria.

El resultado. Dado que la integral de ruta le permite calcular todos los correladores en principio a través de la fórmula (algo esquemática)

ϕ ( X 1 ) ϕ ( X norte ) = [ d ϕ ] ϕ ( X 1 ) ϕ ( X norte ) mi i S [ ϕ ] [ d ϕ ] mi i S [ ϕ ]
la integral de trayectoria da una caracterización completa de una teoría de campo dada.

Nota. De ninguna manera soy un experto en la teoría axiomática de campos cuánticos, por lo que si he dicho algo aquí que no sea estrictamente matemáticamente correcto, pido disculpas por adelantado. Además, no estoy seguro de qué tan general es la caracterización de SW de la teoría de campo, por lo que mis comentarios no son completamente generales, pero creo que el espíritu de estos comentarios se considera válido para todas (o la mayoría) de las teorías físicas cuánticas de campo.

Además, esta ciertamente no es una respuesta particularmente física. Tendría curiosidad por saber de otro usuario acerca de la intuición física detrás de por qué uno podría esperar que los correladores sean tan fundamentales y que lo abarquen todo.

Por equivalencia unitaria, ¿quieren decir que si tomamos un conjunto de campos y aplicamos transformaciones unitarias al conjunto (esto es como un cambio de base), obtendremos el otro conjunto de campos, y es por eso que la función de correlación tambien seria lo mismo. Esencialmente, ¿son las dos teorías de campo simplemente un reempaquetado diferente el uno del otro?
@TusharGopalka Sí, eso es esencialmente lo que significa, pero realmente debería echar un vistazo a Streater y Wightman y leer las definiciones/teoremas usted mismo. En realidad, es bastante conciso y legible.

En definitiva, las cantidades que tienes que calcular y comparar con la realidad son probabilidades o probabilidades de transición, que son el cuadrado de las amplitudes o amplitudes de transición. El formalismo de la integral de trayectoria representa directamente amplitudes de transición. En mecánica cuántica, puede recuperar la ecuación de Schrödinger a partir de la expresión de la integral de trayectoria que representa la amplitud de transición X , t | X t . Tienes, para "funciones de onda", la ecuación integral X , t | ψ = d X X , t | X t X , t | ψ ,- con la expresión X , t | X t = [ d C ] mi i S ( C ) , dónde C es un camino de X a X , t a t , y S ( C ) es la acción para este camino - y tomando el límite t t , le dará la ecuación de Schrödinger.

El formalismo cuántico que puede utilizar (formalismo de integral de camino, formalismo de operador, representación de Schrödinger/Heinsenberg, etc.), es secundario, en el sentido de que estos formalismos son equivalentes. Es muy interesante mirar diferentes formalismos, pero, prácticamente, dependiendo de tu problema, elegirás el más simple.

Tomemos el ejemplo del oscilador armónico cuántico . Tienes diferentes estados propios ψ norte ( X , t ) correspondiente a las energías ( norte + 1 2 ) ω . Suponga que desea calcular la probabilidad de transición: | ψ norte | X | ψ norte + 1 | 2 . Puedes imaginarte haciendo la integral en X con las expresiones de ψ norte ( X , t ) , ψ norte + 1 ( X , t ) . Trabajarás con las "funciones de onda" y la representación de Schrödinger. Ahora es mucho más interesante, en este caso particular, trabajar con la representación de Heinseberg, con un operador X ( t ) . La ecuación para el operador X ( t ) es simple X ¨ ( t ) + ω 2 X ( t ) = 0 , con las restricciones de Heinsenberg : [ X ( t ) , PAGS ( t ) ] t = t = i . una solución es X ( t ) = metro ω ( a mi i ω t + a + mi i ω t ) , y, en la base de energía, los términos no nulos de a son a norte , norte + 1 = norte + 1 . Ahora, la probabilidad que estamos buscando es simplemente | X norte , norte + 1 | 2 = metro ω ( norte + 1 ) .

[De hecho, para comprender correctamente la mecánica cuántica, es mejor pensar en términos de representación de Heinseberg que de representación de Schrödinger. Por ejemplo, en la teoría cuántica de campos, estás trabajando en una "representación de Heinsenberg", es decir: trabajas con operadores Φ ( X , t ) dependiendo del espacio y el tiempo, no se suele trabajar con funciones de onda ψ ( Φ , X , t ) - incluso si este formalismo es posible].

Ahora, volviendo a las integrales de trayectoria, es la misma lógica. Si considera, por ejemplo, QFT, dependiendo de su problema, podría ser más interesante usar el formalismo de integral de camino, o usar el formalismo de operador (canónico). Por ejemplo, es posible que desee calcular la energía de vacío para un campo bosónico o un campo fermiónico. Es más simple usar el formalismo del operador, pero también puede usar el formalismo de la ruta integral (ver por ejemplo Zee, QFT en pocas palabras Capítulo II.5 p 121/126, primera edición), y encontrará el mismo resultado.

Si desea calcular funciones de Green y propagadores, es totalmente natural usar el formalismo de la ruta integral, por ejemplo, en una teoría de campos perturbativos, y esto conduce naturalmente a los diagramas de Feynmann, y los diagramas de Feynmann son necesarios para calcular las amplitudes de transición y las transiciones. probabilidades, en el proceso de colisión de partículas.