Conmutadores, Medida y Causalidad en QFT

En Peskin y Schroeder pág. 27-28, discuten la teoría y la causalidad de Klein-Gordon. Para una separación espacial ( X y ) 2 < 0 , muestran que

0 | ϕ ( X ) ϕ ( y ) | 0 0

Continúan diciendo que esto en realidad no rompe la causalidad. Más bien, lo que uno debería mirar no es si las partículas pueden propagarse a lo largo de intervalos similares al espacio, sino si las mediciones separadas similares al espacio pueden afectarse unas a otras. Por lo tanto, argumentan que para comprender las medidas del campo ϕ ( X ) , uno debería estar tratando de entender el conmutador [ ϕ ( X ) , ϕ ( y ) ] .

Esta última afirmación me resulta opaca. En la configuración de QM, el orden de los operadores puede interpretarse físicamente como si uno se aplicara primero en el tiempo antes que el segundo. Sin embargo, esto no tiene sentido en el contexto QFT porque se aplica el operador en un punto específico del espacio-tiempo; cambiar el orden no es equivalente a cambiar el orden de tiempo de hacer las mediciones.

  1. En el contexto QFT, ¿qué significa la "medida de un campo", en analogía con la medida QM de algún operador?
  2. ¿Por qué el conmutador es el objeto de elección cuando se quiere entender la causalidad? ¿Cuál es la interpretación física del conmutador aquí, particularmente con respecto a las medidas de ϕ ( X ) ?
El conmutador se comporta como en QM: está comparando el resultado de aplicar un operador antes que el otro y viceversa; aquí, corresponde a la creación de un ϕ partícula en el punto X o y . Si el conmutador es 0 , el resultado es el mismo de cualquier manera: no hablan entre ellos. Si no es así, sus "medidas" pueden afectarse entre sí.
Bueno, si no recuerdo mal de las conferencias de Tong, esa expresión decae exponencialmente con la distancia espacial, y continuó explicando que no es tan malo, un exponencial negativo, y de todos modos es solo un valor de expectativa o probabilidad, pero no exactamente cero. Siguió con la clase. Me molestaba el distinto de cero. No sé si el decaimiento exponencial es rápido y agudo o no, y si no es cero, si uno podría tratar la probabilidad como una fluctuación, conceptualmente. Pero, ¿por qué la probabilidad de crearlo en x y aniquilar en y con xy espacial NO debería ser cero?
@Demosthene Gracias por el comentario, pero su respuesta no responde la pregunta fundamental de por qué debería comparar el resultado de aplicar un operador antes que el otro. En QM, el orden de los operadores corresponde al orden en el que mides en el tiempo. Evidentemente, esto no es cierto en el escenario QFT, pero la causalidad es una declaración sobre el orden del tiempo, por lo tanto, el significado del conmutador con relación a la causalidad se vuelve ambiguo (para mí). Asimismo, la interpretación de ϕ ( X ) como creando una partícula en X solo es cierto cuando actúa en el estado de vacío.
"la interpretación de ϕ(x) como la creación de una partícula en x". No creo que esto sea correcto. a + ( k ) crea una partícula de impulso (número de onda) k . La interpretación sería correcta si ϕ fuera la transformada de Fourier de a , pero existe el factor adicional de ( ω k ) 1 / 2 .
Excelente pregunta. Es lo que he estado tratando de entender. Si lo ha resuelto en los últimos dos años, responda su propia pregunta. Lo mejor que se me ocurre es que el conmutador es cero significa que puede elegir un estado | Ψ que es a la vez un vector propio de un operador y un vector propio del otro, pero si no es cero, no puede. Pienso en los estados como posibles universos de bloques, pero no tengo idea si esto es correcto. Y no estoy seguro de qué tiene esto que ver con la causalidad. Quizá la libertad de elegir vectores propios mutuos sea lo mismo que la no causalidad.

Respuestas (2)

Según Weinberg en su texto, los componentes de la mayoría de los campos cuánticos no se pueden medir de ninguna manera obvia, por lo que es mejor no pensar en esos términos.

Sin embargo, los campos tienen que conmutarse entre sí cuando evalúa la matriz S, y luego la invariancia de Lorentz de la matriz S depende de manera crucial de los campos que conmutan en separaciones similares al espacio.

Muchos aspectos de la interpretación física en QFT son, en el mejor de los casos, sutiles, y los argumentos heurísticos filosóficamente débiles pero que suenan plausibles no son infrecuentes. (Ya puedes ver a la gente discrepar sobre algo tan básico como si ϕ ¡crea una partícula en los comentarios!) Los primeros capítulos de Peskin me parecieron difíciles precisamente por esta razón: es mucho mejor cuando llegas a la fenomenología y la física es menos opaca. Si desea un libro con el que no pueda discutir, intente con Weinberg, pero esto tiene el precio de tomar el doble de tiempo para cubrir el material, desafortunadamente en una notación bastante idiosincrásica que hace que sea difícil entrar y salir.

Esta respuesta es para agregar algunos detalles a la respuesta de @ rwold.

En los experimentos de física de partículas, medimos la sección transversal de las interacciones de partículas que depende de la matriz S. La LSZ (fórmula de reducción de Lehmann-Symanzik-Zimmermann), que relaciona los elementos de la matriz S invariante de Lorentz F | S | i para norte estados propios de momento asintótico a una expresión que involucra los campos cuánticos ϕ ( X ) :

F | S | i = [ i d 4 X 1 ( + metro 2 ) mi i pag 1 X 1 ] [ i d 4 X norte ( + metro 2 ) mi + i pag norte X norte ] × Ω | T { ϕ ( X 1 ) ϕ ( X 2 ) ϕ ( X 3 ) ϕ ( X norte ) } | Ω
El T { } se refiere al producto pedido por tiempo e indica que todos los operadores deben ordenarse de modo que los de tiempos posteriores estén siempre a la izquierda de los de tiempos anteriores. P.ej T { ϕ ( X 1 ) ϕ ( X 2 ) } = ϕ ( X 2 ) ϕ ( X 1 ) si t 2 > t 1 independientemente de si ϕ ( X 1 ) y ϕ ( X 2 ) viajar o no. Sin embargo, si X 1 y X 2 son espacios como separados, entonces uno puede cambiar a un marco diferente que invierte el orden del tiempo. es decir, si pudiéramos tener t 2 > t 1 en un cuadro y t 1 > t 2 en otro. Por lo tanto, para que la matriz S sea invariante de Lorentz (es decir, independiente del marco) requerimos que [ ϕ ( X 1 ) , ϕ ( X 2 ) ] = 0 cuando X 1 y X 2 son espacios como separados.