En QFT, ¿por qué un conmutador que desaparece asegura la causalidad?

En las teorías cuánticas de campos relativistas (QFT),

[ ϕ ( X ) , ϕ ( y ) ] = 0 i F ( X y ) 2 < 0 .

Por otro lado, incluso para una separación similar al espacio

ϕ ( X ) ϕ ( y ) 0 .

Muchos textos (por ejemplo, Peskin y Schroeder) prometen que esta condición asegura la causalidad. ¿Por qué el elemento de la matriz no es ψ | ϕ ( X ) ϕ ( y ) | ψ de interés físico?

¿Qué me impide preparar un experimento que pueda medir | ψ | ϕ ( X ) ϕ ( y ) | ψ | 2 ? ¿Qué hay de malo en interpretar? ψ | ϕ ( X ) ϕ ( y ) | ψ 0 como la amplitud (bastante pequeña) que puedo transmitir información más rápido que la velocidad de la luz?

Respuestas (2)

Recuerde que los observables conmutables en la mecánica cuántica son observables simultáneamente. Si tengo observables A y B, y conmutan, puedo medir A y luego B y los resultados serán los mismos que si midiera B y luego A (si insiste en ser preciso, entonces con lo mismo quiero decir en un sentido estadístico donde tomo promedios sobre muchos experimentos idénticos). Si no viajan, los resultados no serán los mismos: medir A y luego B producirá resultados diferentes que medir B y luego A. Entonces, si solo tengo acceso a A y mi amigo solo tiene acceso a B, al medir A varias veces puedo determinar si mi amigo ha estado midiendo B o no.

Por lo tanto, es crucial que si A y B no conmutan, no están separados como en el espacio. O para eliminar los dobles negativos, es crucial que A y B deban conmutar si están separados como un espacio. De lo contrario, puedo saber haciendo mediciones de A si mi amigo está midiendo B o no, aunque la luz no podría haberme llegado desde B. Entonces, con la magia de un espacio-tiempo lorentziano, podría terminar viajando hacia mi amigo y llegar antes de que él observara B y evitar que haga la observación.

La función de correlación que anotaste, la que no tiene el conmutador, es de hecho distinta de cero. Esto representa el hecho de que los valores del campo en diferentes puntos del espacio están correlacionados entre sí. Esto está completamente bien, después de todo, hay eventos que son comunes a ambos en su cono de luz pasado, si retrocedes lo suficiente. No han tenido historias completamente independientes. PERO el punto es que estas correlaciones no surgieron porque usted hizo mediciones. No puede acceder a estas correlaciones haciendo experimentos locales en un punto de espacio-tiempo fijo, solo puede ver estas correlaciones midiendo los valores de campo en la ubicación espacial x y luego comparando notas con su amigo que midió los valores de campo en la ubicación espacial y. Solo podéis comparar notas cuando habéis tenido tiempo de viajar para acercaros el uno al otro.

Es peligroso pensar que los campos crean partículas en lugares del espacio-tiempo, porque no se puede localizar una partícula relativista en el espacio con mayor precisión que su longitud de onda compton. Si está pensando en campos en el espacio de posición, es mejor pensar en lo que está midiendo como un campo y no pensar en partículas en absoluto.

(En realidad, debo decir que no creo que puedas realmente saber que tu amigo estaba midiendo B en y solo haciendo mediciones en A. Pero el estado del campo cambiaría y la evolución del campo sería acausal. I creo que este es un punto un tanto técnico, la idea principal es que no desea poder afectar lo que el campo va ALLÁ fuera del cono de luz al hacer mediciones AQUÍ MISMO porque tiene problemas con la causalidad)

Esta es una respuesta fantástica. Dos puntos: 1) No creo que puedas viajar a mi amigo y evitar que haga la observación porque todavía está separado como en el espacio, ¿verdad? 2) Creo que puedes saber que tu amigo estaba midiendo B si [A,B]=/=0, al menos en principio. Por ejemplo, podrías imaginarte preparando un experimento loco que preparara el campo cuántico en algún estado propio. Tu amigo podría estar haciendo algo que saca al campo de su estado propio. Entonces, si encuentras que tu campo no estaba en su estado propio original, sabes (superlumínicamente) que tu amigo hizo algo.
... pero por lo que entiendo, los campos en QFT no son realmente observables. Entonces, me parece, en el mejor de los casos , una heurística decir que es por eso que viajan en separaciones similares al espacio ... y, por lo tanto, no es una explicación real. Me interesaría saber si hay algo que me estoy perdiendo aquí; o si no, estaría interesado en otro argumento que explique por qué la localidad requiere [ ϕ ( t , X ) , ϕ ( t , y ) ] = 0 .

Si desea ver un pequeño cálculo para mostrar por qué la microcausalidad está relacionada con la desaparición del conmutador, aquí hay un ejercicio simple que puede hacer.

Considere algún operador A ( X , t ) del cual quiero medir el valor esperado de vacío en algún estado ψ

mi A ( X , t ) := ψ | A ( X , t ) | ψ .
Ahora dale una "patada" al hamiltoniano en un momento determinado t 0 (asumamos t 0 = 0 ). Con eso quiero decir que perturbamos el hamiltoniano por algún operador que no es cero solo para t > 0 . A saber
H = H 0 + θ ( t ) V ( t ) .
¿Cómo es el valor esperado de A cambio después de esta perturbación? Parece que el enfoque más conveniente sería la imagen de interacción , así que hagámoslo. Sin revisar los detalles, definimos el estado | ψ y los operadores O como operador de evolución temporal Exp ( i H 0 t ) aplicado en la imagen de Schrödinger
ψ i norte t ( t ) = mi i H 0 t ψ S ( t ) , H i norte t ( t ) = mi i H 0 t H mi i H 0 t .
El operador de evolución temporal tu ( t , t 0 ) debe satisfacer
i d d t ψ i norte t ( t ) := i d d t tu ( t , t 0 ) ψ i norte t ( t 0 ) = θ ( t ) V ( t ) tu ( t , t 0 ) ψ i norte t ( t 0 ) ,
donde la primera igualdad es una definición de tu y el segundo su ecuación diferencial. A primer orden en la perturbación V la solucion es
tu ( t , t 0 ) = 1 i t 0 t d t V ( t ) + O ( V 2 ) , t 0 > 0 .
Hasta ahora todo estándar. Se puede ver entonces que el valor esperado se transforma como
mi A ( X , t ) = ψ ( t ) | A ( X , t ) | ψ ( t ) = ψ | tu ( t , 0 ) mi i H 0 t A ( X , 0 ) mi i H 0 t tu ( t , 0 ) | ψ mi A ( X , 0 ) i 0 t d t ψ | A ( X , t ) V ( t ) V ( t ) A ( X , t ) | ψ .
Aquí simplemente usé todas las definiciones de la imagen de interacción y las expandí a primer orden en V . Ahora hagamos una suposición física. Esto es similar a lo que se hace en la teoría de la respuesta lineal. Consulte la fórmula de Kubo, por ejemplo.

la perturbación V que definí como una "patada" ocurre no solo en un momento específico, sino también en un lugar específico. Por lo tanto modificará el hamiltoniano como la integral de algún operador local B . A saber

V ( t ) = d d 1 X B ( X , t ) .
De este tiene
mi A ( X , t ) mi A ( X , 0 ) = 0 t d t d d 1 X ψ | [ A ( X , t ) , B ( X , t ) ] | ψ .
Aquí ves inmediatamente que la microcausalidad debe implicar que el correlador tiene que desaparecer fuera del cono de luz. Suponer que B crea una perturbación en algún lugar del espacio-tiempo, es imposible que A lo sabe si están separados como en el espacio. Tendría que esperar al menos el tiempo que tarda la luz en llegar allí para tener un cambio en el valor esperado. Por lo tanto, la única forma de preservar la causalidad es exigir
[ A ( X , t ) , B ( X , t ) ] = 0 i F ( X X ) 2 < 0 .
Una simple contradicción que uno podría inventar es la siguiente: dígale a un amigo que haga una perturbación al hamiltoniano en el momento t = 0 , o no hacerlo. Entonces te separas como en el espacio de tu amigo. Si A y B no viaje, puede inferir si su amigo ha decidido perturbar ser hamiltoniano o no simplemente midiendo mi A . Y como sabrán, esto conduce a todo tipo de paradojas en la relatividad especial.

Creo que hay un error en su derivación. Su definición perturbativa del operador de evolución tu está en la imagen de interacción (es decir, tu yo ). Cuando te expandes mi A ( X , t ) estas evolucionando | ψ con tu yo , como se requiere en la imagen de interacción: | ψ yo ( t ) = tu yo ( t , 0 ) | ψ . Sin embargo, la expresión para el operador A yo ( t ) tiene que leer mi i H 0 t A ( X ) mi i H 0 t por definición, en lugar de mi i H 0 t mi i H 0 t A ( X ) mi i H 0 t mi i H 0 t , ¿Correcto?
¿No deberías terminar con: mi A ( X , t ) = ψ | A yo ( t ) | ψ i 0 t . . . ? (donde también corregí un pequeño cartel y i error.)
De cualquier manera, la interpretación sigue siendo, como ψ | A yo ( t ) | ψ es simplemente el valor esperado del operador A evolucionado en el tiempo t de acuerdo con el hamiltoniano imperturbable (es decir, piense en la imagen de Heisenberg con H = H 0 ).