В «Квантовой теории поля» Марка Средненицкого, глава 9, стр. 67, после того, как он доказывает, что исчезает (это означает, что сумма всех связанных диаграмм с одним источником равна нулю), он делает следующее утверждение:
Рассмотрим теперь тот же бесконечный набор диаграмм, но замените единственный источник в каждой из них какой-либо другой поддиаграммой. Вот в чем дело: какой бы ни была эта замещающая поддиаграмма, сумма всех этих диаграмм все равно равна нулю. Поэтому нам не нужно утруждать себя вычислением любого из них! Правило таково: игнорировать любую диаграмму, которая при разрезании одной линии распадается на две части, одна из которых не имеет источников. Все эти диаграммы (известные как головастики) аннулируются контртерм, независимо от того, к какой поддиаграмме они присоединены.
Самый важный вопрос, который меня интересует, заключается в том, как он пришел к такому заключению из своего доказательства того, что можно использовать контртермин, чтобы сделать нуль.
Кроме того, что он имеет в виду под «поддиаграммой» здесь? Часть диаграммы, образованная путем разрезания одной из диаграмм, имеющей источник, или часть любой диаграммы, которая не обязательно имеет источник? Заменяет ли он каждую из различных диаграмм одним источником с идентичной поддиаграммой или заменяет каждый источник разными поддиаграммами? (Поскольку «поддиаграмма» в единственном числе, я предполагаю, что все они заменены идентичными поддиаграммами.)
Ref.1 рассматривает теория
Технически,
Мы скорректировали контртермин в теории, так что сумма (2) равна нулю:
Теперь мы рассмотрим тот же набор диаграмм Фейнмана с единственным источником заменяется фиксированной, но произвольной поддиаграммой . Соответствующая сумма снова обратится в нуль
Что касается головастиков, см. также, например, мой связанный с Phys.SE ответ здесь .
Использованная литература: