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

Как построить "пространство Фока" для теории с взаимодействием вообще, насколько я знаю, нерешенная проблема. Но поскольку физики получают информацию из экспериментов по рассеянию частиц, в которых фигурируют
асимптотически свободные состояния, они попросту
забивают на это дело делают вид, что "все хорошо".
Здесь стоит упомянуть о теореме Рудольфа Хаага (кстати, совсем недавно --- 5 января --- почившего

), которая в улучшенном варианте как раз и утверждает, что обычного пространства Фока недостаточно для описания свободных и взаимодействующих полей. В качестве начального Экскурса можно почитать статью в вики.