Quantization Domains
We study the quantization of certain classical field theories using reflection positivity. We give elementary conditions that ensure the resulting vacuum state is cyclic for products of quantum field operators, localized in a bounded Euclidean spacetime region O at positive time. We call such a domain a quantization domain for the classical field. The fact that bounded regions are quantization domains in classical field theory is similar to the “Reeh-Schlieder” property in axiomatic quantum field theory. 1. Quantization Domains The Reeh-Schlieder property of quantum field theory states that one can recover all the properties described by the field, or by bounded functions of the field called observables, from information localized in any open (bounded) space-time domain O. The Reeh-Schlieder theorem states that any Wightman field theory, or any Haag-Kastler local quantum theory, has this property [8, 9, 4]. This result is a consequence of analyticity properties that follow in turn from the positivity of the energy and Lorentz covariance, as well as locality. Here we consider the analog of this result in the context of a classical field on a Euclidean space-time X . We assume that the classical field can be quantized by using the Osterwalder-Schrader property of reflection positivity. We say that a domain O for the classical field is a quantization domain, if the quantization of fields supported in O gives a dense set of vectors in the physical Hilbert space. Of course, the are well-known equivalence theorems for Wightman theory and Osterwalder-Schrader (OS) theory ensure that any bounded, positive-time domains in an OS theory is a quantization domain. However, we are interested in investigating field theories for which all the standard axioms may not apply or cases in which they have not been verified. Thus we pose weaker assumptions about the classical theory than the full OS axioms. For example, we replace the relativistic spectrum condition with a weaker assumption. 1.1. Quantization. Consider d = s+ 1 dimensional space-times X = R× Σ , where Σ = X1 × · · · × Xs and Xj = R or Xj = S . Call the variable t ≡ x0 ∈ R the time coordinate. 1 2 RATNARAJAN HOOLE, ARTHUR JAFFE, AND CHRISTIAN JÄKEL Now consider the Fock space E(X) over the one-particle space L2(X). Denote the Fock vacuum vector by ΩE0 ∈ E(X) and assume that the classical scalar field Φ(f) = ∫ Φ(x)f(x)dx , f ∈ C 0 (X) , defined in terms of the usual creation and annihilation operators, gives rise to the characteristic functional S(f) = 〈ΩE0, e Ω0〉 = ∞ ∑ n=0 i n! 〈ΩE0,Φ(f) Ω0〉 , which is convergent for f ∈ C 0 (X). Assume that the abelian spacetime translation group T (a) and the time reflection θ act covariantly on the field and leave the characteristic functional S(f) invariant. Divide X into a union of three disjoint parts X = X− ∪X0 ∪X+ , with the reflection θ leaving X0 invariant and interchanging X±. Let E±,0 ⊂ E denote the subspace of finite linear combinations