Osterwalder–Schrader Reconstruction

The corrected Osterwalder–Schrader reconstruction theorem sends a complete, uniformly controlled Euclidean Schwinger hierarchy to a unique Wightman hierarchy and hence, up to unitary equivalence, to a local positive-energy relativistic quantum field theory with a cyclic vacuum. The conclusion requires reflection positivity at every order and a growth hypothesis uniform in the order; a valid Euclidean two-point function alone is not enough.

Required background. Theorem-first claim records supplies the hypothesis-to-conclusion discipline. Euclidean random fields and Schwinger hierarchies supplies the input distributions. Osterwalder–Schrader axioms and reflection positivity states the Euclidean conditions. Reflection positivity and Hilbert-space reconstruction constructs the physical inner product and Hamiltonian.

Helpful background. The Wightman reconstruction theorem explains reconstruction from Lorentzian vacuum distributions. Transfer matrices and Euclidean-to-Hamiltonian QFT compares the continuum theorem with a regulated transfer construction.

A precise reconstruction statement

Consider a scalar Schwinger hierarchy $S=(S_n)_{n\geq0}$ in $d$ Euclidean dimensions, with $S_0=1$. The cited OS II theorem is written in four dimensions; $d$ below also covers the standard dimension-general formulations with the corresponding Euclidean and Lorentz groups. A standard form of the corrected theorem assumes:

• uniform regularity/growth: the $S_n$ obey the OS II condition E0′, or the stronger E0″ condition, with one fixed seminorm-order parameter and constants $\sigma_n$ of factorial growth;
• Euclidean invariance: simultaneous translations and proper rotations leave the scalar hierarchy invariant;
• reflection positivity: every finite positive-time sequence has nonnegative reflected quadratic form;
• symmetry: $S_n$ is invariant under permutations of its arguments;
• clustering: separated groups factorize in the stated spacelike Euclidean translation limit.

Schematically, E0′ has the crucial form

$$\lvert S_n(f)\rvert\leq \sigma_n\,\lVert f\rVert_{sn}, \qquad \sigma_n\leq A(n!)^B,$$

where $s,A,B$ are independent of $n$ and $\lVert\cdot\rVert_{sn}$ is the specified Schwartz-type seminorm on the admissible test space. The exact test space and seminorm are part of the theorem, not interchangeable decoration. Osterwalder and Schrader 1975, §IV.1, pp. 287–288 state E0′, E0″, and the corrected theorem.

Under these hypotheses there is a uniquely determined sequence of tempered Wightman distributions $W_n$ satisfying the Wightman axioms: Poincaré covariance, the spectrum condition, locality, positivity, hermiticity, and a cyclic vacuum. The Euclidean functions obtained from $W_n$ in ordered imaginary-time regions agree with the input $S_n$, and the reconstructed field theory is unique up to a vacuum-preserving unitary intertwiner.

The historical qualification is essential. The 1973 paper claimed that its original E0–E4 conditions sufficed. The 1975 paper says explicitly that it “extend[s] and correct[s]” that result and replaces the insufficient regularity step by stronger alternatives Osterwalder and Schrader 1975, §§I and III, pp. 281–287.

Construction and proof idea

The proof is a chain of distinct constructions.

1. Physical Hilbert space. Reflection positivity gives $\mathcal H=\overline{\mathcal D_+/\mathcal N}$, vacuum $\Omega$, spatial translations, and $e^{-\tau H}$ with $H\geq0$.
2. Euclidean generators. Euclidean covariance acts on suitable local domains. Rotations through the time direction provide the data from which Lorentzian boosts are recovered.
3. Analytic continuation. Ordered Euclidean configurations give real-analytic functions away from coincidences. They extend through successively enlarged complex domains. The uniform growth estimate controls approach to real Lorentzian boundary values Osterwalder and Schrader 1975, §§V–VI, pp. 289–303.
4. Spectrum and locality. Positivity of $H$ yields forward-cone spectral support after full covariance is established. Euclidean permutation symmetry, analyticity, and boundary values imply local commutativity at spacelike separation.
5. Fields and uniqueness. The Wightman distributions define fields on the standard polynomial domain. Wightman reconstruction then makes their vacuum representation unique up to unitary equivalence.

Each arrow uses hypotheses absent from the preceding step. In particular, the positive-time quotient by itself does not prove Lorentz covariance or locality, and analytic continuation without positivity does not prove a positive Hilbert-space metric.

First QFT application: the free scalar field

The massive Gaussian hierarchy supplies the canonical exact example behind reflection positivity and OS reconstruction: all orders are fixed by one reflection-positive covariance, so the theorem’s hierarchy-wide input can be checked rather than assumed. Its Euclidean two-point function is

$$S_2(\tau,\mathbf x) =\int\frac{d^{d-1}\mathbf p}{(2\pi)^{d-1}2\omega_{\mathbf p}} e^{i\mathbf p\cdot\mathbf x-\omega_{\mathbf p}\lvert\tau\rvert}, \qquad \omega_{\mathbf p}=\sqrt{\mathbf p^2+m^2}.$$

For ordered imaginary times, the reconstructed analytic function has the Lorentzian boundary value

$$W_2(t,\mathbf x) =\int\frac{d^{d-1}\mathbf p}{(2\pi)^{d-1}2\omega_{\mathbf p}} e^{-i\omega_{\mathbf p}t+i\mathbf p\cdot\mathbf x}.$$

Its Fourier transform is supported on $p^2=m^2$, $p^0>0$, so the spectrum condition is explicit. Swapping the order of the imaginary times selects the opposite analytic ordering; the time-ordered Feynman distribution is not identical to $W_2$. Wick’s rule reconstructs every higher $W_n$, giving the usual free scalar Wightman theory.

Independent checks are available at every stage: the reflected norm is a square, $e^{-\tau\omega_{\mathbf p}}$ is contractive, the mass-shell support lies in the closed forward cone, and the commutator obtained from the difference of the two boundary values vanishes at spacelike separation.

Adversarial hierarchy: a correct two-point function is insufficient

Keep the free $S_2$ but prescribe $S_4=0$ and all higher functions arbitrarily. For a real smearing $f$ with $v=S_2(f,f)>0$, let $X=\Phi(f)$. Positivity of the Euclidean polynomial $(X^2-v)^2$ would require

$$0\leq \mathbb E[(X^2-v)^2] =S_4(f,f,f,f)-2vS_2(f,f)+v^2=-v^2,$$

which is impossible. Thus the two-point function still has the correct mass-shell continuation, but the full hierarchy is not reflection positive—or even a probability moment hierarchy. There is no complete OS reconstruction.

This example also blocks a common shortcut: verifying the propagator pole prescription establishes at most a two-point statement. Interacting locality, positivity, and higher correlators cannot be inferred from it.

Conclusion boundaries

The theorem does not construct the Euclidean hierarchy; that is a separate constructive-QFT problem. It does not say that arbitrary lattice correlators have a continuum limit, that numerical analytic continuation is stable, or that a gauge-fixed elementary field belongs to a positive physical Hilbert space. It also does not make E0′ necessary for every conceivable reconstruction theorem: E0′ is a sufficient hypothesis in this precise corrected version.

Clustering controls the vacuum sector. If it is omitted while the remaining assumptions hold, one may still reconstruct a positive-energy representation, but the uniqueness/purity statement for the vacuum must be reformulated, often by decomposing into phases. The spectral consequences of quantitative clustering are treated separately in Clustering, vacuum uniqueness, and mass-gap implications.

References

• Osterwalder, Konrad, and Robert Schrader. “Axioms for Euclidean Green’s Functions.” Communications in Mathematical Physics 31 (1973): 83–112. doi:10.1007/BF01645738. Open PDF.
• Osterwalder, Konrad, and Robert Schrader. “Axioms for Euclidean Green’s Functions II.” Communications in Mathematical Physics 42 (1975): 281–305. doi:10.1007/BF01608978. Open PDF.
• Wightman, Arthur S. “Quantum Field Theory in Terms of Vacuum Expectation Values.” Physical Review 101 (1956): 860–866. doi:10.1103/PhysRev.101.860.