nLab Reeh-Schlieder theorem

Redirected from "Reeh-Schlieder Theorem".
Contents

Context

AQFT

algebraic quantum field theory (perturbative, on curved spacetimes, homotopical)

Introduction

Concepts

field theory:

Lagrangian field theory

quantization

quantum mechanical system, quantum probability

free field quantization

gauge theories

interacting field quantization

renormalization

Theorems

States and observables

Operator algebra

Local QFT

Perturbative QFT

Physics

physics, mathematical physics, philosophy of physics

Surveys, textbooks and lecture notes


theory (physics), model (physics)

experiment, measurement, computable physics

Contents

Idea

The Reeh-Schlieder theorem is a theorem about local nets of observables in the Haag-Kastler approach to quantum field theory (AQFT). It states that for certain nets the set of vectors (𝒪)Ω\mathcal{M}(\mathcal{O}) \Omega \hookrightarrow \mathcal{H}

(the local operator algebra of observables \mathcal{M} for a bounded open subset 𝒪\mathcal{O} of spacetime applied to the vacuum state Ω\Omega, cf. Haag-Kastler vacuum representation for definitions and details)

is dense in the given state space, a Hilbert space \mathcal{H}.

The Reeh-Schlieder theorem can be proven to be valid in the Haag-Kastler vacuum representation, but the statement itself is sometimes used as an axiom and called the Reeh-Schlieder property in this case.

The Reeh-Schlieder theorem is of central importance for the mathematical structure theory of the Haag-Kastler approach. The physical interpretation is counterintuitive and therefore to a certain degree controversial: Intuitively one might expect that for a localized observable A(𝒪)A \in \mathcal{M}(\mathcal{O}) the vector AΩA \Omega should be localized in 𝒪\mathcal{O}, that is the state should look like the vacuum in the causal complement of 𝒪\mathcal{O}. But the Reeh-Schlieder theorem says that every, arbitrary state can be approximated by states of the kind AΩA \Omega. This shows that the concept of localized states is nontrivial in AQFT and needs to be handled with care.

Complementary statements about the asymptotic “vacuum-like appearance” of localized observables exist, too, and are commonly referred to as cluster theorems.

In other parts of the physics literature, notably in the context of conformal field theory, the Reeh-Schlieder property is also called the state-operator correspondence. See also the remark by Schroer, footnote 14, page 34.

Abstract

We state the theorem for a vacuum representation on Minkowski spacetime. Since the theorem has some controverse consequences for the physical interpretation of the theory, some of which will be mentioned in the corresponding paragraph, we take a quick look at which axioms really enter into the proof of the theorem. The references include work on the generalization of the theorem to more general spacetimes as well as work concerned with dodging the theorem and its consequences by choosing an alternative set of axioms.

Definition

All necessary definitions can be found at Haag-Kastler vacuum representation.

Statement

Both the statement and the proof we mention here refer to the Haag-Kastler vacuum representation, but both the statement and the proof can be generalized resp. translated to different contexts, like e.g. to a Wightman theory, to more general spacetimes and to other states than the vacuum vector.

Theorem

(Reeh-Schlieder)
In the Haag-Kastler vacuum representation the vacuum vector Ω\Omega is cyclic and separating for every local algebra (𝒪)\mathcal{M}(\mathcal{O}).

The following proof does not strive for maximal generality, for example we specialize to d=4d = 4 dimensions. The generalization to other dimensions can be done by the reader. We will comment on which part of the axioms of the vacuum representation are actually used below.

Proof

First some preliminary observations:

The covariance axiom says that we have a strongly continuous representation UU of the Poincare group, the SNAG-Theorem (see spectral measure) therefore provides us with a spectral measure for the translation subgroup 𝒯\mathcal{T}, that we identify with 4\mathbb{R}^4

𝒰(x)= k 4e ix,k𝒫(k)x𝒯 4 \mathcal{U}(x) = \int_{k\in \mathbb{R}^4} e^{i \langle x, k\rangle} \mathcal{P}(k) \qquad \forall x \in \mathcal{T} \cong \mathbb{R}^4

We may restrict the domain of integration to the closure of the forward lightcone cloV +cloV_+ by the spectrum condition. The spectral measure can be used to define operators for z=x+iy 4+iV +z = x + i y \in \mathcal{R}^4 + i V_+ via

U(z) cloV +e iz,k𝒫(k) U(z) \;\coloneqq\; \int_{cloV_+} e^{i \langle z, k\rangle} \mathcal{P}(k)

The dominated convergence theorem for spectral integrals (see Banach space) tells us that the strong limit of the left side of the following equation exists and is equal to the right side:

lim y0U(x+iy)=U(x) \lim_{y \downarrow 0} U(x + i y) = U (x)

Next we choose a vector uu \in \mathcal{H} from our Hilbert space, a bounded operator AA on \mathcal{H} and form the complex-valued function

f u,A(z)u,U(z)AΩ, f_{u, A}(z) \;\coloneqq\; \langle u, U(z) A \Omega \rangle \,,

which is holomorphic on 4+iV +\mathcal{R}^4 + i V_+ by definition and continuous on 4+i(V +{0})\mathcal{R}^4 + i (V_+ \cup \{0 \}) by our last observation.

We can define a second such function gg on 4i(V +{0})\mathcal{R}^4 - i (V_+ \cup \{0 \}) by complex conjugation:

g u,A(z)=f u,A(z¯)¯ g_{u, A}(z) = \overline{f_{u, A}(\overline z)}

If there is a U 4U \subset \mathbb{R}^4 open such that f u,Af_{u, A} is real valued on UU, then f u,Af_{u, A} and g u,Ag_{u, A} coincide on UU and we can invoke a suitable version of the edge-of-the-wedge theorem? as stated on analytic geometry to conclude that f u,Af_{u, A} and g u,Ag_{u, A} are the branches of a unique holomorphic function, that is holomorphic at least on a complex neighborhood of UU.

Now the proof that Ω\Omega is cyclic for (𝒪)\mathcal{M}(\mathcal{O}):

Choose a bounded open 𝒪 0\mathcal{O}_0 and a neighborhood of zero V 4V \subset \mathcal{R}^4 such that 𝒪 0+V𝒪\mathcal{O}_0 + V \subset \mathcal{O}.

Suppose that Ω\Omega is not cyclic for (𝒪)\mathcal{M}(\mathcal{O}), then (𝒪)Ω\mathcal{M}(\mathcal{O}) \Omega is not dense in \mathcal{H} and we can choose a vector v,v0v \in \mathcal{H}, v \neq 0 such that

v,U(z)AΩ=0 \langle v, U(z) A \Omega \rangle = 0

for all A(𝒪)A \in \mathcal{M}(\mathcal{O}). In particular we have for all A 0(𝒪 0)A_0 \in \mathcal{M}(\mathcal{O}_0) and xVx \in V

f v,A 0(x)=v,U(x)A 0Ω=v,U(x)A 0U(x) 1Ω=0 f_{v, A_0} (x) = \langle v, U(x) A_0 \Omega \rangle = \langle v, U(x) A_0 U(x)^{-1} \Omega \rangle = 0

Now we see from our previous considerations that there is a function holomorphic in a complex neighborhood of VV that restricts to f v,A 0f_{v, A_0} on VV, vanishes on VV and has therefore to vanish everywhere. That means the previous equality holds for arbitrary translations U(x),x 4U(x), x \in \mathbb{R}^4.

Recall that weak additivity holds in the vacuum representation. This together with the previous statement implies that v,RΩ=0\langle v, R \Omega \rangle = 0 for all RR \in \mathcal{R}, the global algebra. But since Ω\mathcal{R} \Omega is dense in \mathcal{H} by assumption (see the axiom about the existence of a vacuum vector), we get that vv must be zero, contradiction: Ω\Omega has to be cyclic for (𝒪)\mathcal{M}(\mathcal{O}).

Now the proof that Ω\Omega is separating for (𝒪)\mathcal{M}(\mathcal{O}):

Choose a bounded open set 𝒪 2\mathcal{O}_2 such that 𝒪𝒪 2\mathcal{O} \perp \mathcal{O}_2, then by locality we have (𝒪)((𝒪 2))\mathcal{M}(\mathcal{O}) \subseteq (\mathcal{M}(\mathcal{O}_2))'. We know already that Ω\Omega is cyclic for (𝒪 2)\mathcal{M}(\mathcal{O}_2), therefore it is separating for (𝒪)\mathcal{M}(\mathcal{O}).

Preconditions Needed for the Proof

Since the theorem and its consequences are counterintuitive for the physical interpretation of the theory, it is worthwhile to take a look which axioms enter the proof: Is the theorem a true feature of quantum field theory or is it an artifact caused by ill chosen assumptions?

The proof that the vacuum vector is cyclic given in the previous paragraph makes use of:

  1. Strong representation of the translation subgroup and the spectrum condition.

Note that we do not need the representation of the whole Poincare group, but really only that of the translations.

  1. isotony,

  2. weak additivity and

  3. of course the existence of the vacuum vector itself and that Ω\mathcal{R} \Omega is dense in \mathcal{H}.

Now weak additivity can be proven to hold using isotony and additiviy.

It is sometimes argued that the Reeh-Schlieder theorem - that is the part that the vacuum vector is cyclic for every local algebra - is somehow a contradiction to locality . The remarkable fact in this context is that the locality axiom does not enter the proof that the vacuum vector is cyclic. (It was used for the proof that the vacuum vector is also separating, though).

For some further elaboration of this point see the paper by Halvorson cited in the references.

Consequences

The fact that the vacuum vector is separating implies that there cannot be a number operator NN associated to any bounded open set 𝒪\mathcal{O}, because NN would annihilate the vacuum vector. This implies that the notion of particles in relativistic quantum physics cannot be quite as simple as in classical physics or in nonrelativistic quantum physics.

More generally there cannot be a nonzero localized observable that annihilates the vacuum. This implies that the stress-energy tensor, if localized to a bounded region, cannot be a positive operator, since its expectation value in the vacuum is zero, in fact it cannot be bounded from below. This is sometimes mentioned as a pathology occuring in general spacetimes that do not have a global timelike Killing vector field, but in our context it actually holds in Minkowski spacetime in the vacuum state.

The fact that the vacuum vector is cyclic means that any arbitrary state in the vacuum representation can be approximated by measurements in an arbitrary small bounded open region applied to the vacuum vector. This fact is sometimes referred to as the existence of vacuum fluctuations. A direct consequence of the Reeh-Schlieder theorem is therefore that to any regions 𝒪 1,𝒪 2\mathcal{O}_1, \mathcal{O}_2, no matter how far apart, there are many projections in the corresponding local algebras that are positively correlated in the vacuum state.

References

See also

The Reeh-Schlieder theorem can be generalized from Minkowski spacetime to more general spacetimes, see for example:

  • Alexander Strohmaier, Rainer Verch, Manfred Wollenberg: Microlocal analysis of quantum fields on curved spacetimes: Analytic wavefront sets and Reeh-Schlieder theorems (arXiv)

About work to avoid the Reeh-Schlieder theorem and its counter intuitive implications see this:

  • Hans Halvorson, Reeh-Schlieder Defeats Newton-Wigner: On alternative localization schemes in relativistic quantum field theory (arXiv)

The observation that the Reeh-Schlieder property describes what elsewhere is called the operator-state correspondence is made explicit for instance in footnote 14 on page 34 of

Last revised on June 5, 2024 at 10:41:41. See the history of this page for a list of all contributions to it.