Унитарность виковской $T$-экспоненты

Приводится доказательство унитарности регуляризованной $S$-матрицы, записанной в виде виковской $T$-экспоненты, пригодное и при наличии производных во взаимодействии. Комбинаторная часть доказательства выполняется на языке функционального интегрирования. Сначала доказывается формальная унитарность нерегуляризованной $S$-матрицы, затем вводится регуляризация типа Паули–Вилларса (при такой регуляризации виковское и дайсоновское $T$-произведения операторов совпадают [1]), и в каждом порядке теории возмущений показывается унитарность регуляризованной $S$-матрицы.