Haag's theorem

Rudolf Haag postulated that the interaction picture does not exist in an interacting, relativistic quantum field theory (QFT), something now commonly known as Haag's Theorem. Haag's original proof was subsequently generalized by a number of authors, notably Hall and Wightman, who reached the conclusion that a single, universal Hilbert space representation does not suffice for describing both free and interacting fields. In 1975, Reed and Simon proved that a Haag-like theorem also applies to free neutral scalar fields of different masses, which implies that the interaction picture cannot exist even under the absence of interactions.

Formal description of Haag's theorem

In its modern form, the Haag theorem may be stated as follows:

Consider two representations of the canonical commutation relations (CCR), $(H_1,\{O^i_1\})$ and $(H_2,\{O^i_2\})$ (where $H_n$ denote the respective Hilbert spaces and $\{O^i_n\}$ the collection of operators in the CCR). The two representations are called unitarily equivalent if and only if there exists some unitary mapping $U$ from Hilbert space $H_1$ to Hilbert space $H_2$ such that for j, $O^j_2 = U O^j_1 U^{-1}$. Unitary equivalence is a necessary condition for both representations to deliver the same expectation values of the corresponding observables. Haag's theorem states that, contrary to ordinary non-relativistic quantum mechanics, within the formalism of QFT such a unitary mapping does not exist, or, in other words, the two representations are unitarily inequivalent. This confronts the practitioner of QFT with the so-called choice problem, namely the problem of choosing the 'right' representation among a non-denumerable set of inequivalent representations.

Although there is no widely accepted solution to the choice problem, an unchecked formalism claiming to avoid it was published in 2015. The author, Ed Seidewitz, describes himself as "an amateur (but serious) theoretical physicist".

Physical (heuristic) point of view

As was already noticed by Haag in his original work, it is the vacuum polarization that lies at the core of Haag's theorem. Any interacting quantum field (including non-interacting fields of different masses) is polarizing the vacuum, and as a consequence its vacuum state lies inside a renormalized Hilbert space $H_R$ that differs from the Hilbert space $H_F$ of the free field. Although an isomorphism could always be found that maps one Hilbert space into the other, Haag's theorem implies that no such mapping would deliver unitarily equivalent representations of the corresponding CCR, i.e. unambiguous physical results.

Workarounds

Among the assumptions that lead to Haag's theorem is translation invariance of the system. Consequently, systems that can be set up inside a box with periodic boundary conditions or that interact with suitable external potentials escape the conclusions of the theorem. Haag and Ruelle have presented the Haag-Ruelle scattering theory that is dealing with asymptotic free states and thereby serving to formalize some of the assumptions needed for the LSZ reduction formula. These techniques, however, cannot be applied to massless particles and have unsolved issues with bound states.

Conflicting reactions of the practitioners of QFT

While some physicists and philosophers of physics have repeatedly emphasized how seriously Haag's theorem is shaking the foundations of QFT, the majority of QFT practitioners simply dismiss the issue. Most quantum field theory texts geared to practical appreciation of the Standard Model of elementary particle interactions do not even mention it, implicitly assuming that some rigorous set of definitions and procedures may be found to firm up the powerful and well-confirmed heuristic results they report on.

They shrug off asymptotic structure (cf. QCD jets), as they have not stumbled on a specific calculation in agreement with experiment but nevertheless failing by dint of Haag's theorem. As was pointed out by P. Teller: Everyone must agree that as a piece of mathematics Haag's theorem is a valid result that at least appears to call into question the mathematical foundation of interacting quantum field theory, and agree that at the same time the theory has proved astonishingly successful in application to experimental results. T. Lupher has suggested that the wide range of conflicting reactions to Haag's theorem may partly be caused by the fact that the same exists in different formulations, which in turn were proved within different formulations of QFT such as Wightman's axiomatic approach or the LSZ formalism. According to Lupher, The few who mention it tend to regard it as something important that someone (else) should investigate thoroughly.

Sklar further points out: There may be a presence within a theory of conceptual problems that appear to be the result of mathematical artifacts. These seem to the theoretician to be not fundamental problems rooted in some deep physical mistake in the theory, but, rather, the consequence of some misfortune in the way in which the theory has been expressed. Haag’s Theorem is, perhaps, a difficulty of this kind.