The Wightman Reconstruction Theorem

The Wightman reconstruction theorem turns a compatible hierarchy of vacuum distributions into a quantum field theory: a Hilbert space, vacuum, positive-energy Poincaré representation, common invariant domain, and operator-valued fields. It is an existence-and-uniqueness theorem for a cyclic representation. It does not manufacture missing higher-point functions, prove that a proposed hierarchy is positive, or force the reconstructed theory to be Gaussian.

Required background. Theorem-first claim records supplies the theorem/hypothesis discipline; Wightman fields, domains, and axioms gives the target objects; and Wightman functions and spectral support gives the input conditions.

Helpful background. Hilbert-space completion and the Riesz theorem explains the quotient-completion step, while positive functionals and operator algebras supplies the GNS analogy.

Reconstruction statement

Let $W_0=1$ and $W_n\in\mathcal S'(M^n)$ for $n\geq1$. In the neutral scalar case, assume:

• temperedness and continuity on every $\mathcal S(M^n)$;
• Poincaré covariance and translation invariance;
• the spectral support condition in relative momenta;
• Hermiticity under reversal of the arguments;
• Wightman positivity for every finite test-function sequence;
• local commutativity under adjacent spacelike exchanges;
• the chosen vacuum-uniqueness or cluster condition, if uniqueness is wanted.

Then there exist $\mathcal H$, a unit vector $\Omega$, a strongly continuous positive-energy representation $U$ of the proper orthochronous Poincaré group, a dense invariant domain $\mathcal D$, and a scalar operator-valued tempered distribution $\phi$ satisfying the corresponding Wightman axioms and reproducing all $W_n$. The polynomial field vectors generated from $\Omega$ are dense. Two cyclic reconstructions with the same full hierarchy are related by a unitary that maps vacuum, fields on the polynomial domain, and Poincaré representation to one another. A standard precise treatment is Streater and Wightman 2016, § 3-4, pp. 117–131, building on the vacuum-expectation-value formulation of Wightman 1956, pp. 860–866.

For field multiplets, the statement includes the finite-dimensional Lorentz representation, adjoint labels, and graded locality. Those data cannot be recovered from scalar distributions after being discarded.

Quotient, completion, and fields

Form the Borchers–Uhlmann test-function algebra

$$\mathfrak B=\bigoplus_{n=0}^{\mathrm{finite}}\mathcal S(M^n),$$

with product given by tensor concatenation and involution by conjugation and reversal. The hierarchy defines a linear functional

$$\mathcal W(\underline f)=\sum_n W_n(f_n),$$

and a sesquilinear form

$$\langle\underline f,\underline g\rangle_{\mathcal W} =\mathcal W(\underline f^*\times\underline g).$$

Positivity makes this form nonnegative. Quotient by the null space $\mathcal N=\{\underline f:\langle\underline f,\underline f\rangle=0\}$ and complete to obtain $\mathcal H$. The vacuum is the class of $(1,0,0,\ldots)$. Left tensor multiplication defines

$$\phi(f)[\underline g]=[(0,f,0,\ldots)\times\underline g]$$

on the dense subspace of finite sequences. The Cauchy–Schwarz inequality for a positive semidefinite form shows that null vectors are orthogonal to every vector; the left ideal property then ensures that the displayed operator is well-defined on equivalence classes.

Poincaré transformations act on every argument of every component. Covariance of $W_n$ makes the induced action isometric, hence unitary after completion. Spectral support gives positive translation spectrum. The local exchange identities make spacelike commutators vanish on the polynomial domain. Thus each output axiom is tied to a distinct input condition; reconstruction is not a black box.

Generalized free fields

The positive measure is the same spectral datum developed physically in the Källén–Lehmann representation. Here it is used as the input to a full reconstruction.

Let $\rho$ be a positive measure on $[0,\infty)$ with sufficient polynomial growth control that

$$W_2(x-y)=\int_0^\infty \rho(d\mu^2)\,\Delta_+(x-y;\mu^2)$$

is tempered. Set odd $W_n$ to zero and define every even $W_n$ by the sum over Wick pairings of $W_2$. Positivity can be seen by realizing the one-particle space as the direct integral of positive-energy mass-shell spaces and taking symmetric Fock space. Covariance, spectrum, and locality follow mass by mass and survive the positive integral. Reconstruction therefore produces a generalized free field, as developed in Greenberg 1961, pp. 158–176.

This example is decisive for scope. The axioms permit a continuous mass spectrum and do not imply a Klein–Gordon equation with one mass. They also do not imply interaction: Gaussian higher functions have vanishing truncated correlations above order two.

Now keep the same positive $W_2$ but append an arbitrary Lorentz-invariant $W_4$. Reconstruction cannot be invoked until the complete hierarchy satisfies the quadratic positivity inequalities, permutation/locality relations, and spectral conditions. In particular, the theorem does not silently replace the proposed $W_4$ by its Gaussian Wick value. This is the chapter’s adversarial consistency test.

Checks and converse boundaries

The construction is a specialized GNS argument, but its unbounded fields live initially only on the polynomial domain. It does not prove essential self-adjointness of $\phi(f)$ or existence of products at coincident points. Conversely, every cyclic Wightman theory yields a hierarchy satisfying the listed conditions, so reconstruction recovers its cyclic representation up to unitary equivalence. Without cyclicity, the vacuum functions cannot see orthogonal spectator sectors, and uniqueness fails.

An independent check is to compute the norm of a one-field vector:

$$\|\phi(f)\Omega\|^2=W_2(\bar f\otimes f)\geq0.$$

For two-field vectors, positivity necessarily involves $W_2$, $W_3$, and $W_4$. This exposes why checking only the two-point kernel is insufficient.

Exercises

Show that the null space of the reconstruction form is orthogonal to all of $\mathfrak B$.

Solution

For a positive semidefinite sesquilinear form, Cauchy–Schwarz follows by requiring $\langle f+\lambda g,f+\lambda g\rangle\geq0$ for every complex $\lambda$. If $f\in\mathcal N$, then $\langle f,f\rangle=0$, so $|\langle f,g\rangle|^2\leq\langle f,f\rangle\langle g,g\rangle=0$. Hence $\langle f,g\rangle=0$ for every $g$, and the quotient inner product is well-defined.

References

• Greenberg, Oscar W. 1961. “Generalized Free Fields and Models of Local Field Theory.” Annals of Physics 16: 158–176. DOI.
• Streater, Raymond F., and Arthur S. Wightman. 2016. PCT, Spin and Statistics, and All That. Princeton Landmarks in Physics. Princeton University Press. DOI.
• Wightman, Arthur S. 1956. “Quantum Field Theory in Terms of Vacuum Expectation Values.” Physical Review 101: 860–866. DOI.