¿Por qué exigimos que los contratérminos en la teoría φ3φ3\varphi^3 sean O(g2)O(g2)O(g^2)?

En el libro QFT de Srednicki, sección 9, presenta el φ 3 lagrangiano:

(9.1) L = 1 2 Z φ ( m φ ) ( m φ ) 1 2 Z metro metro 2 φ 2 + 1 6 Z gramo gramo φ 3 + Y φ .

Luego, para los próximos capítulos, dice que "esperamos"

(1) Z i   =   1 + O ( gramo 2 ) , i { φ , metro , gramo } ,
y luego continúa y asume que este es el caso al resolverlos en la sección 14, pero nunca justifica esta suposición. ¿Por qué se justifica, es decir, por qué no se pueden 1 + O ( gramo ) ?

Creo que tiene algo que ver con la corrección de orden más bajo al propagador que es un diagrama de nivel de árbol con dos vértices, no uno, lo que genera un O ( gramo 2 ) corrección. Pero, ¿por qué no hacer que los contratérminos proporcionen una O ( gramo ) corrección, de modo que dominen la corrección de orden más bajo al propagador en lugar de los vértices adicionales?

Respuestas (3)

Los factores de renormalización Z i se producen mediante diagramas de bucle. Para Z φ y Z metro , esto significa diagramas con dos patas externas, ya que estos factores multiplican operadores con dos factores del campo φ . No es posible escribir un diagrama de bucle (¡o cualquier diagrama!) con dos patas externas con solo un vértice de tres partículas. Dado que cada tres- φ el vértice está asociado con un factor del acoplamiento gramo , no puede obtener una corrección para el propagador sin tener al menos dos vértices y, por lo tanto, un total gramo 2 .

El mismo argumento se aplica a Z gramo . Observe que cada vértice de tres puntos que agrega a un diagrama cambia el número de líneas de pares a impares, o viceversa. Así, un diagrama con un factor de gramo tiene un número impar de líneas externas; un diagrama con gramo 2 tiene un número par; y vuelves a un número impar en el pedido gramo 3 . Esto realmente asegura que cada Z i es una serie de potencias en gramo 2 , No solo gramo .

Hay un lindo argumento basado en la simetría, al menos en ese momento Y = 0 se trata como una perturbación. El gramo = Y = 0 la teoría tiene un Z 2 simetría ϕ ϕ . Dejar X ser algún observable que no sea cero a nivel de árbol, admitiendo una expansión en serie X = X ( gramo ) . Entonces X ( gramo ) debe ser una función par de gramo . QED!

Eso es un poco demasiado lindo, como en, es tan breve que no sé a qué te refieres.
Creo que faltan algunos pasos en la lógica. estas promocionando gramo a un Z 2 espurión que se transforma en gramo gramo bajo Z 2 ?
@MannyC sí, en el lenguaje moderno se podría decir que la teoría es Z 2 invariante si gramo y Y transformar como espuelas.

ecuación de OP (1) no es cierto en general. Depende crucialmente de la elección de las condiciones de renormalización. , véanse las ecuaciones. (14.7), (14.8) y (16.14) en la Ref. 1. Por ejemplo, solo el producto Z gramo gramo entra en la densidad lagrangiana (9.1), por lo que claramente se necesita algún tipo de condición para arreglar Z gramo y gramo individualmente. Las elecciones realizadas en la Ref. 1 son posiblemente las opciones más simples.

Por supuesto, el corazón de la O ( gramo 2 ) OP ya adivina el argumento y lo elabora en la respuesta del usuario Buzz.

Referencias:

  1. M. Srednicki, QFT, 2007; Capítulos 9 + 14 + 16. Un archivo PDF borrador previo a la publicación está disponible aquí .

--

Las 2 condiciones de renormalización en la ec. (9.2) de la Ref. 1. resulta no ser irrelevante para la ec. (1).