Varianza de un campo cuántico interactivo en su estado de vacío

Un campo cuántico que no interactúa ϕ ^ ( X ) se puede descomponer en a k y a k . Esto nos permite calcular la varianza de un campo libre. Por ejemplo, la varianza del campo escalar real libre, en el vacío | 0 de la teoría, se calcula que es (sin un límite de impulso)

V a r ( ϕ ) 0 = 0 | ϕ 2 | 0 ( 0 | ϕ | 0 ) 2 = d 3 k ( 2 π ) 3 1 k 2 + metro 2 .
Ahora, considere una teoría de campos cuánticos interactivos descrita por el hamiltoniano H y | Ω es el estado de vacío de la teoría de la interacción, es decir
H | Ω = 0 | Ω ( también,   PAG m | Ω = 0 | Ω ) .
Ya no es posible descomponer el campo en operadores de creación y aniquilación. Entonces, ¿cómo se calcula la varianza
V a r ( ϕ ) Ω = Ω | ϕ 2 | Ω ( Ω | ϕ | Ω ) 2
en λ ϕ 4 ¿teoría?

Si trabaja con Wightman QFT, una parte de la definición de QFT es la función de 2 puntos W ( X , y ) = 0 | ϕ ( X ) ϕ ( y ) | 0 . Esa función siempre tiene una singularidad en X = y -- su pregunta está mal planteada, la varianza siempre es divergente. Puede optar por regularizar la teoría redefiniendo el comportamiento de la función de 2 puntos a corta distancia, es decir, hacer que sea tal que W ( X , X ) = m . Entonces la varianza es igual a m por definición. Lo que demuestra que la varianza no es física (las cantidades físicas tienen límites bien definidos para m ).
Ni tu pregunta ni tu "cálculo" para el campo libre al principio tienen sentido para mí. Un campo cuántico no es un operador, es una distribución con valores de operador. ϕ , sin alimentarlo con nada, no es un operador y tiene tanto sentido preguntar por su varianza como preguntar por "el valor" de una función. ¿Está tratando de calcular la varianza de ϕ ( X ) ? ¿Por qué? Si es así, ¿por qué no hay X en tu primera ecuación? Tenga en cuenta también que ϕ ( X ) ϕ ( X ) es "la probabilidad de que una partícula presente en X para ser detectado en X ".
Sí. Estoy tratando de calcular la varianza. Debería ser obvio que simplemente suprimí el argumento "x". Está claramente escrito en la oración inicial. @ACuriousMind

Respuestas (2)

Como ya mencionaron otras personas, ϕ 2 ( X ) no está realmente bien definido porque hay una divergencia UV al tomar X y en ϕ ( X ) ϕ ( y ) . Pero en QFT podemos dar un significado a ϕ 2 ( X ) como operador compuesto . La divergencia UV que encontramos se puede restar orden por orden en la teoría de la perturbación y obtener una respuesta finita al final.

Permítanme asumir por simplicidad que el valor esperado de ϕ ( X ) es cero en el vacío. Entonces tenemos que calcular ϕ 2 ( X ) . Supongo que está familiarizado con el formalismo de la integral de caminos. Definamos una fuente L ( X ) al que el operador compuesto ϕ 2 ( X ) está acoplado. Entonces tenemos una función de partición

Z [ L ] = D ϕ Exp ( S [ ϕ ] + d d X L B ( X ) ( ϕ B ) 2 ( X ) ) ,
donde el subíndice " B " significa "desnudo". El campo se vuelve a normalizar con la normalización habitual de la función de onda ϕ B ( X ) = Z ϕ ϕ ( X ) y L se vuelve a normalizar como L B ( X ) = Z L L ( X ) . Tenemos por definición
( ϕ 2 ) B ( X ) = Z L 1 ( ϕ 2 ) ( X ) ,
donde uso los paréntesis para distinguir entre el cuadrado del operador ϕ y el operador ϕ 2 . Correladores con el operador ( ϕ 2 ) se puede calcular como
( ϕ 2 ) ( X 1 ) ( ϕ 2 ) ( X norte ) = 1 Z [ 0 ] d norte d L ( X 1 ) d L ( X norte ) Z [ L ] .
Si queremos considerar inserciones de puntos más altos de ( ϕ 2 ) , al contar potencias necesitaríamos agregar también un término a L 2 ( X ) y renormalizar el acoplamiento a , pero para este caso no nos importa.

Las reglas de Feynman son simples, simplemente agregue a las reglas para S [ ϕ ] un nuevo vértice con un L pierna y dos ϕ piernas. La función que necesitamos ( ϕ 2 ) ( X ) es la suma de todos los diagramas de Feynman con uno externo L pierna. En un bucle en dim-reg esto es

( Figura 1 ) = d d pag ( 2 π ) d 1 pag 2 + metro 2 = metro 4 m 2 ε 2 ( 4 π ) 3 ε ( 4 π m 2 metro 2 ) ε + ( F i norte i t mi ) .

A continuación, puede absorber ese polo en ε en la definición de Z L para obtener una respuesta finita en el METRO S esquema. Tenga en cuenta que si el campo no tiene masa, esta integral desaparece de manera idéntica en dim-reg.


Figura 1

renacuajo


[ 1 ] Damiano Anselmi, Renormalización . 14B1

No me queda claro que el "compuesto ϕ ( X ) 2 " está significativamente relacionado con lo que normalmente entendemos por la varianza de una variable aleatoria: cuando se define la ϕ 2 aquí, básicamente está definiendo una nueva regla de multiplicación para los operadores de campo (y una que no es asociativa, por ejemplo, para aprender cómo ϕ ( y ) 2 ϕ ( X ) 2 se relaciona con ϕ ( X ) 4 como y X uno necesita realizar una expansión del producto del operador), y no está claro que la definición estándar de la varianza ( X X ) 2 funciona para un producto tan no estándar. ¿Podrías comentar sobre eso?
mi definición de ϕ 2 es físicamente lo mismo que dividir puntos: límite X y ϕ ( X ) ϕ ( y ) d i v mi r gramo mi norte C mi , pero con un esquema diferente de regularización. Además, en la teoría de la perturbación, normalmente los operadores tienen un valor esperado cero en el vacío. Si hay alguna simetría espontánea que se rompe, típicamente uno redefine ϕ ( X ) = ϕ + x ( X ) . Así que creo que la fórmula para la varianza debería funcionar. Por último, con este formalismo puedes escribir operadores compuestos solo de campos fundamentales, por lo que no es realmente una regla de multiplicación. No hay ( ϕ 2 ) 2 ( X )
  1. No necesita calcular la varianza de un campo escalar para ver que siempre diverge: la expresión ϕ ( X ) ϕ ( X ) es esencialmente el límite del propagador para y X y ϕ ( X ) es constante porque es un invariante de Lorentz. El propagador debe divergir para y X ya que de lo contrario predeciría una probabilidad no unitaria de que una partícula se propague a partir del evento X al evento X , lo cual no tendría sentido.

  2. En la teoría de la interacción, cualquier intento de "cálculo" tendría que proceder calculando el propagador reanudado por Dyson con la precisión deseada y luego tomando el límite y X . Que, como se argumentó anteriormente, siempre divergirá, por lo que no tiene sentido intentarlo.

  3. Dato adicional: la falta de definición/divergencia de ϕ ( X ) 2 es un reflejo del hecho de que un campo cuántico es una distribución con valores de operador y no se puede elevar al cuadrado una distribución de una manera matemáticamente rigurosa.

Ah bien. ¿Tiene alguna idea de por qué las fluctuaciones de vacío del campo eléctrico resultan ser finitas en óptica cuántica pero no en QFT? ¿Parece que es porque encuentran la fluctuación del vacío para un solo modo? Aquí está el enlace de un video de 5 minutos de Alain Aspect. youtube.com/watch?v=jXxW82L6os8 No estoy seguro de por qué la fluctuación del vacío de un solo modo es experimentalmente significativa @ACuriousMind
@SRS No utilice comentarios para preguntas de seguimiento. Si tiene una nueva pregunta, haga una nueva pregunta. Tenga en cuenta que el campo eléctrico a) no es un escalar yb) no es un "campo cuántico" (en el sentido de que el valor exponencial de su cuadrado estaría relacionado con un propagador) ya que la variable dinámica del EM Lagrangiano es el potencial , no la intensidad del campo, por lo que no tiene nada que ver con la varianza de un campo cuántico escalar sobre el que hace su pregunta aquí.