\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{Reeh-Schlieder theorem}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{aqft}{}\paragraph*{{AQFT}}\label{aqft}

[[!include AQFT and operator algebra contents]]

\hypertarget{physics}{}\paragraph*{{Physics}}\label{physics}

[[!include physicscontents]]

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{abstract}{Abstract}\dotfill \pageref*{abstract} \linebreak
\noindent\hyperlink{definition}{Definition}\dotfill \pageref*{definition} \linebreak
\noindent\hyperlink{the_theorem}{the Theorem}\dotfill \pageref*{the_theorem} \linebreak
\noindent\hyperlink{preconditions_needed_for_the_proof}{Preconditions Needed for the Proof}\dotfill \pageref*{preconditions_needed_for_the_proof} \linebreak
\noindent\hyperlink{consequences}{Consequences}\dotfill \pageref*{consequences} \linebreak
\noindent\hyperlink{related_theorems}{Related theorems}\dotfill \pageref*{related_theorems} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

The Reeh-Schlieder theorem is a theorem about [[local nets]] in the [[Haag-Kastler approach]] to [[quantum field theory]]. It states that for certain nets the set of vectors $\mathcal{M}(\mathcal{O}) \Omega$ (local algebra of a bounded open set applied to the vacuum vector, see [[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 \textbf{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 \emph{physical interpretation} is counterintuitive and therefore to a certain degree controversial: Intuitively one might expect that for a localized observable $A \in \mathcal{M}(\mathcal{O})$ the vector $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 \Omega$. This shows that the concept of \emph{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 called [[cluster theorem]]s.

In other parts of the physics literature, notably in the context of [[CFT]], the Reeh-Schlieder property is also called the \textbf{state-operator correspondence}. See also the remark in (\hyperlink{Schroer}{Schroer, footnote 14, page 34}).

\hypertarget{abstract}{}\subsection*{{Abstract}}\label{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.

\hypertarget{definition}{}\subsection*{{Definition}}\label{definition}

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

\hypertarget{the_theorem}{}\subsection*{{the Theorem}}\label{the_theorem}

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.

\begin{utheorem}
In the [[Haag-Kastler vacuum representation]] the vacuum vector $\Omega$ is [[cyclic vector|cyclic]] and [[separating vector|separating]] for every local algebra $\mathcal{M}(\mathcal{O})$.

\end{utheorem}
\begin{proof}
This proof does not strive for maximal generality, for example we specialize to $d = 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.

First some preliminary observations:

The covariance axiom says that we have a strongly continuous representation $U$ 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 $\mathbb{R}^4$

\begin{displaymath}
\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
\end{displaymath}
We may restrict the domain of integration to the closure of the forward lightcone $cloV_+$ by the spectrum condition. The spectral measure can be used to define operators for $z = x + i y \in \mathcal{R}^4 + i V_+$ via

\begin{displaymath}
U(z) := \int_{cloV_+} e^{i \langle z, k\rangle} \mathcal{P}(k)
\end{displaymath}
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:

\begin{displaymath}
\lim_{y \downarrow 0} U(x + i y) = U (x)
\end{displaymath}
Next we choose a vector $u \in \mathcal{H}$ from our Hilbert space, a bounded operator $A$ on $\mathcal{H}$ and form the complex-valued function

\begin{displaymath}
f_{u, A}(z) := \langle u, U(z) A \Omega \rangle
\end{displaymath}
which is holomorphic on $\mathcal{R}^4 + i V_+$ by definition and continuous on $\mathcal{R}^4 + i (V_+ \cup \{0 \})$ by our last observation.

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

\begin{displaymath}
g_{u, A}(z) = \overline{f_{u, A}(\overline z)}
\end{displaymath}
If there is a $U \subset \mathbb{R}^4$ open such that $f_{u, A}$ is real valued on $U$, then $f_{u, A}$ and $g_{u, A}$ coincide on $U$ and we can invoke a suitable version of the [[edge-of-the-wedge theorem]] as stated on [[analytic geometry]] to conclude that $f_{u, A}$ and $g_{u, A}$ are the branches of a unique holomorphic function, that is holomorphic at least on a complex neighborhood of $U$.

Now the proof that $\Omega$ is [[cyclic vector|cyclic]] for $\mathcal{M}(\mathcal{O})$:

Choose a bounded open $\mathcal{O}_0$ and a neighborhood of zero $V \subset \mathcal{R}^4$ such that $\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 \in \mathcal{H}, v \neq 0$ such that

\begin{displaymath}
\langle v, U(z) A \Omega \rangle = 0
\end{displaymath}
for all $A \in \mathcal{M}(\mathcal{O})$. In particular we have for all $A_0 \in \mathcal{M}(\mathcal{O}_0)$ and $x \in V$

\begin{displaymath}
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
\end{displaymath}
Now we see from our previous considerations that there is a function holomorphic in a complex neighborhood of $V$ that restricts to $f_{v, A_0}$ on $V$, vanishes on $V$ and has therefore to vanish everywhere. That means the previous equality holds for arbitrary translations $U(x), x \in \mathbb{R}^4$.

Recall that weak additivity holds in the vacuum representation. This together with the previous statement implies that $\langle v, R \Omega \rangle = 0$ for all $R \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 $v$ must be zero, contradiction: $\Omega$ has to be cyclic for $\mathcal{M}(\mathcal{O})$.

Now the proof that $\Omega$ is [[separating vector|separating]] for $\mathcal{M}(\mathcal{O})$:

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

\end{proof}
\hypertarget{preconditions_needed_for_the_proof}{}\subsection*{{Preconditions Needed for the Proof}}\label{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:

\begin{enumerate}%
\item Strong representation of the translation subgroup and the spectrum condition.

\end{enumerate}
Note that we do not need the representation of the whole Poincare group, but really only that of the translations.

\begin{enumerate}%
\item isotony,


\item weak additivity and


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



\end{enumerate}
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 \emph{locality} . The remarkable fact in this context is that \textbf{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.

\hypertarget{consequences}{}\subsection*{{Consequences}}\label{consequences}

The fact that the vacuum vector is separating implies that there cannot be a number operator $N$ associated to any bounded open set $\mathcal{O}$, because $N$ would annihilate the vacuum vector. This implies that the notion of \emph{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 $\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.

\hypertarget{related_theorems}{}\subsection*{{Related theorems}}\label{related_theorems}

\begin{itemize}%
\item [[spin-statistics theorem]]


\item [[Osterwalder-Schrader theorem]]



\end{itemize}
\hypertarget{references}{}\subsection*{{References}}\label{references}

\begin{itemize}%
\item Stephen J. Summers: \emph{Yet More Ado About Nothing: The Remarkable Relativistic Vacuum State} (\href{http://de.arxiv.org/abs/0802.1854}{arXiv:0802.1854})


\item [[Edward Witten]], section 2 of \emph{Notes on Some Entanglement Properties of Quantum Field Theory} (\href{https://arxiv.org/abs/1803.04993}{arXiv:1803.04993})



\end{itemize}
See also

\begin{itemize}%
\item Wikipedia on the \href{http://en.wikipedia.org/wiki/Reeh%E2%80%93Schlieder_theorem}{Reeh-Schlieder Theorem}

\end{itemize}
The Reeh-Schlieder theorem can be generalized from [[Minkowski spacetime]] to more general [[spacetimes]], see for example:

\begin{itemize}%
\item Alexander Strohmaier, Rainer Verch, Manfred Wollenberg: \emph{Microlocal analysis of quantum fields on curved spacetimes: Analytic wavefront sets and Reeh-Schlieder theorems} (\href{http://xxx.uni-augsburg.de/abs/math-ph/0202003}{arXiv})

\end{itemize}
About work to avoid the Reeh-Schlieder theorem and its counter intuitive implications see this:

\begin{itemize}%
\item [[Hans Halvorson]], \emph{Reeh-Schlieder Defeats Newton-Wigner: On alternative localization schemes in relativistic quantum field theory} (\href{http://xxx.uni-augsburg.de/abs/quant-ph/0007060}{arXiv})

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

\begin{itemize}%
\item [[Bert Schroer]], \emph{Particle Physics and QFT at the Turn of the Century: Old principles with new concepts (\href{http://cds.cern.ch/record/367824/files/9810080.pdf}{pdf})}

\end{itemize}
[[!redirects Reeh-Schlieder Theorem]] [[!redirects Reeh-Schlieder property]] [[!redirects Reeh-Schlieder Property]]

[[!redirects operator-state correspondence]] [[!redirects state-operator correspondence]]



\end{document}