Калибровочная инвариантность спонтанно нарушенных неабелевых теорий в методе Боголюбова–Парасюка–Хеппа–Циммермана

Процедура регуляризации Боголюбова–Парасюка–Хеппа (БПХ) в формулировке Циммермана применена к неабелевым калибровочным теориям со спонтанным нарушением симметрии. В общей калибровке доказываются тождества Уорда для функции Грина. Из тождеств Уорда следует калибровочная инвариантность матричных элементов рассеяния физических частиц. Доказательство калибровочной инвариантности $S$-матрицы подробно разбирается на примере безмассового поля Янга–Миллса.