Вносят ли головастики вклад в собственную энергию?

При оценке вкладов в двухточечную функцию, скажем, ф 3 теория для:

0 | ф ( Икс ) ф ( у ) е я г 4 г λ 3 ! ф 3 ( г ) | 0 ,

в О ( λ 2 ) , одним из возможных сокращений является обычная диаграмма головастика. Однако в литературе часто говорится, что диаграммы, которые можно сделать несвязанными с помощью одного разреза, не вносят вклад в этот матричный элемент (перенормировка Коллинза, стр. 41, Пескин и Шредер, стр. 219).

Мой вопрос: означает ли это, что головастики не вносят свой вклад в собственную энергию, так как пузырь можно отделить от источника разрезом? Мне это кажется неправильным, но, возможно, я мог бы оставить их, но также включить контртермин.

0 | ф ( Икс ) ф ( у ) е я г 4 г ( λ 3 ! ф 3 ( г ) + с ф ) | 0 .

Можно было бы создать О ( λ 2 ) вклад через смешанный срок

г 4 г 1 г 4 г 2 λ 2 с 3 ! ф 3 ( г 1 ) ф ( г 2 )
что будет генерировать что-то вроде вклада головастика в двухточечную функцию. Я полагаю, что мое замешательство можно резюмировать следующим образом:

  1. Если я не игнорирую головастиков в двухточечной функции, должен ли я включать контрчлен с ф в лагранжиане взаимодействия?

  2. Если да, то удаляет ли контрчлен всю диаграмму или только расходящуюся часть (при условии, что вклад конечен + расходящийся)?

Ответы (1)

  • Да вообще собственная энергия Σ "=" г 0 1 г с 1 может содержать головастиков 1 даже если они не 1PI.

  • Однако если наложить условие перенормировки ф Дж "=" 0 "=" 0 , то можно показать, что собственная энергия содержит только 1PI-диаграммы и, следовательно, не содержит головастиков, ср. мой ответ Phys.SE здесь .

--

1 NB: обратите внимание, что диаграмма замкнутой петли не обязательно является диаграммой головастика, ср. Википедия .

Итак, я думаю, что это означает, решаю ли я для с требуя 0 | ф ( Икс ) ф ( у ) опыт ( я ( λ 3 ! ф 3 + с ф ) | 0 не имеют вклада головастиков или требуют 0 | ф ( Икс ) | 0 "=" 0 оба дают мне одинаковое значение для с . Это верно?
^ Обновление: я только что проверил, так и есть. Спасибо!