В Peskin Schroeder, раздел 10.2, вклады в
порядка
рассчитываются. Соответствующие диаграммы Фейнмана даны:
почему этой схемы НЕТ?
Незадолго до их заявления о том, что первые ненулевые поправки к -propagator те, что вы указали, они вычисляют однопетлевые поправки, используя условия перенормировки на оболочке , и обнаруживают, что они равны нулю:
Кажется, что для (двухпетлевых) поправок, то действительно следует рассматривать не только указанную вами диаграмму, но и другую с контрчленной вставкой, которая отменяет ее из-за приведенного выше однопетлевого результата в рассматриваемой схеме. Схематично:
Где четвертая диаграмма соответствует той, которую вы нарисовали, а пятый член - вклад с встречной вставкой.