\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*{causal locality}

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

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

[[!include physicscontents]]

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

[[!include AQFT and operator algebra contents]]

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

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{InAlgebraicQuantumFieldTheory}{In algebraic quantum field theory}\dotfill \pageref*{InAlgebraicQuantumFieldTheory} \linebreak
\noindent\hyperlink{in_smatrix_theories_and_string_theory}{In S-matrix theories and string theory}\dotfill \pageref*{in_smatrix_theories_and_string_theory} \linebreak
\noindent\hyperlink{related_concepts}{Related concepts}\dotfill \pageref*{related_concepts} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak
\noindent\hyperlink{in_local_quantum_field_theory}{In local quantum field theory}\dotfill \pageref*{in_local_quantum_field_theory} \linebreak
\noindent\hyperlink{in_algebraic_quantum_field_theory_2}{In algebraic quantum field theory}\dotfill \pageref*{in_algebraic_quantum_field_theory_2} \linebreak
\noindent\hyperlink{in_smatrix_theories_and_string_theory_2}{In S-matrix theories and string theory}\dotfill \pageref*{in_smatrix_theories_and_string_theory_2} \linebreak


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

A basic characteristic of [[physics]] in the context of [[special relativity]] and [[general relativity]] is that causal influences on a [[Lorentzian manifold]] [[spacetime]] propagate in [[timelike]] or [[lightlike]] directions but not [[spacelike]].

The fact that any two spacelike-separated regions of spacetime thus behave like \href{http://ncatlab.org/nlab/show/quantum+mechanics#Subsystems}{independent subsystems} is called \textbf{causal locality} or, with a slightly stronger technical definition, \textbf{Einstein causality}.

(One sometimes sees a further criterion to causality, that the causal influences in timelike and lightlike directions only propagate into the [[future]], but this is not so simply dealt with; it probably only makes sense as a statement about coarse-grained [[entropy]] in [[statistical physics]].)

From (\hyperlink{Grigoriev}{Grigor'ev 197x}):

\begin{quote}%
Microcausality condition

a requirement that the causality condition (which states that cause must precede effect) be satisfied down to an arbitrarily small distance and time interval. The microcausality condition usually refers to distances  $10^{-16}$ [[meter|cm]] and to times  $10^{-24}$ [[second|sec]].

It is shown in the theory of [[special relativity|relativity]] that the assumption of the existence of physical signals that propagate with a velocity greater than the velocity of [[light]] leads to violation of the causality requirement. Thus, the microcausality condition prohibits the propagation of signals at a velocity greater than the velocity of [[light]] ``in the small''.

In [[quantum physics|quantum theory]], where [[quantum operator|operators]] correspond to physical quantities, the microcausality condition requires the interchangeability of any operators that pertain to two points of [[space-time]] if these points cannot be linked by a light signal. This interchangeability means that the physical quantities to which these operators correspond can be precisely determined independently and simultaneously. The microcausality condition is important in [[quantum field theory]], especially in the dispersion and [[AQFT|axiomatic approaches]]; these approaches are not based on specific [[model (physics)|model]] concepts of interaction and therefore can be used for direct verification of the microcausality condition. In the most highly developed branch of [[quantum field theory]] --- [[quantum electrodynamics]] --- the microcausality condition has been experimentally verified for distances  $10^{-15}$ cm (and, correspondingly, for times  $10^{-25}$ sec).

The violation of the microcausality condition would make it necessary to radically alter the method of describing physical processes and to reject the dynamic description used in modern theories, in which the state of a physical system at a given moment of time (the effect) is determined by the states of the system at preceding times (the cause).


\end{quote}
Notice that $10^{-15}$[[cm]] $= 10^{-17}m  = 10^{-2}$[[fm]] and that the (charge) [[radius]] of the [[proton]] is about 0.8 [[fm]]. So the bound cited by (\hyperlink{Grigoriev}{Grigor'ev 197x}) in the above quote is about 1/100 the diameter of a proton.

It seems that \hyperlink{Grigoriev}{Grigor'ev 197x} just cited the length scale resolution of particle accelerators at that time. More recently, the [[LHC]] (see there) probes scales $\simeq 10^{-20}m$.

\hypertarget{InAlgebraicQuantumFieldTheory}{}\subsection*{{In algebraic quantum field theory}}\label{InAlgebraicQuantumFieldTheory}

In [[algebraic quantum field theory]] causal locality is formalized as follows. This is a key statement in the [[Haag-Kastler axioms]] on [[causally local nets of quantum observables]]:

\begin{defn}
\label{CausalLocalityOfAlgebrasOfObservables}\hypertarget{CausalLocalityOfAlgebrasOfObservables}{}
\textbf{(causal locality of algebras of observables)}

A [[co-presheaf]] of [[algebras of quantum observables]] $\mathcal{A}$ on some [[spacetime]] is \emph{causally local} if the algebras $\mathcal{A}(\mathcal{O})$ localized in [[spacelike]] separated [[spacetime]] regions $\mathcal{O}$ commute with each other (inside any of the algebras of observables localized in the causal closure $\mathcal{O}$ of the union of the two spacetime regions).

\begin{displaymath}
\left(
    \mathcal{O}_1 
     \;\text{spacelike separated from}
     \;
    \mathcal{O}2
  \right)
  \;\Rightarrow\;
  \left(
    [\mathcal{A}(\mathcal{O}_1), \mathcal{A}(\mathcal{O}_2)]
    \;=\;
    0
    \;\;\;\;
    \in \mathcal{A}( \mathcal{O} )
  \right)
  \,.
\end{displaymath}
\end{defn}
Under [[Wick rotation]], this causal locality becomes ``statistical locality'' (see at \emph{[[Osterwalder-Schrader theorem]]}).

In [[perturbative algebraic quantum field theory]] this condition follows from the [[causal additivity]] of the [[S-matrix]] (see there the section \emph{\href{S-matrix#CausalLocality}{Causal locality and Quantum obsrvables}}).

There are variants that one may consider:

\begin{defn}
\label{StrongLocality}\hypertarget{StrongLocality}{}
\textbf{(strong causal locality of algebras of observables)}

A [[local net of quantum observables]] is \textbf{strongly causally local} if it is causally local in that algebras $A_1 = A(O_1)$ and $A_2 = A(O_2)$ associated with spacelike separated regions commute with each other, and in addition for all commutative subalgebras $C_1 \subset A_1$ and $C_2 \subset A_2$ the algebra $C_1 \vee C_2 \subset A(O_1 \vee O_2)$ satisfies

\begin{enumerate}%
\item $(C_1 \vee C_2) \cap A_1 = C_1$


\item $(C_1 \vee C_2) \cap A_2 = C_2$.



\end{enumerate}
\end{defn}
This is (\hyperlink{Nuiten11}{Nuiten 11, def. 14}).

There have been various proposals to understand these conditions from other principles:

\begin{enumerate}%
\item In (\hyperlink{Schreiber09}{Schreiber 09}) the condition \ref{CausalLocalityOfAlgebrasOfObservables} is related to [[n-functor|n-functoriality]] of a corresponding ([[Schrödinger picture]]) [[functorial quantum field theory]].


\item In (\hyperlink{Nuiten11}{Nuiten 11, theorem 4.2}) the condition \ref{StrongLocality} us shown to be implied by the associated pre-sheaf of [[Bohr toposes]] satisfying spatial [[descent]] by [[local geometric morphisms]].


\item In (\hyperlink{BrunettiFredenhagenImaniRejzner12}{Brunetti-Fredenhagen-Imani-Rejzner 12}) condition def. \ref{CausalLocalityOfAlgebrasOfObservables} is shown to be equivalent to the [[co-presheaf]] of observables being a [[monoidal functor]] is a suitable way.



\end{enumerate}
\hypertarget{in_smatrix_theories_and_string_theory}{}\subsection*{{In S-matrix theories and string theory}}\label{in_smatrix_theories_and_string_theory}

In [[S-matrix]] theories [[causal additivity]] is meant to also be incarnated in terms of [[analytic function|analyticity]] properties of the [[scattering amplitudes]] (for this reason one often speaks of ``the analytic S-matrix'').

One S-matrix theory is [[perturbative string theory]]. Discussion of causality in string theory includes \hyperlink{Martinec95}{Martinec 95} and (\hyperlink{ErlerGross04}{Erler-Gross 04}). The latter write in their introduction:

\begin{quote}%
Perhaps then it comes as a surprise that critical string theory produces an analytic [[S-matrix]] consistent with macroscopic causality. In absence of any other known theoretical mechanism which might explain this, despite appearances one is lead to believe that string interactions must be, in some sense, local.


\end{quote}
and

\begin{quote}%
We find that string theory avoids problems with nonlocality in a surprising way. In particular, we find that the Witten vertex is ``local enough'' to allow for a nonsingular description of the theory which is completely local along a single null direction.


\end{quote}
and

\begin{quote}%
unlike lightcone string field theory, it is clear that cubic string field theory at least has a local limit where all spacetime coordinates are taken to the midpoint. We investigate this limit with a careful choice of regulator and show that at any stage the theory is nonsingular but arbitrarily close to being local and manifestly causal. We believe that the existence of this limit, though singular, must account for the macroscopic causality of the string S-matrix. Thus, string theory is local enough to avoid the inconsistencies of a theory which is acausal and nonlocal in time, but is nonlocal enough to make string theory different from quantum field theory


\end{quote}
Then they comment on Martinec's account above, and other's, by saying:

\begin{quote}%
To motivate our particular perspective, it seems appropriate to discuss earlier attempts to understand the role of locality, causality and time in string theory, and explain why we feel these approaches do not adequately address the problems just raised.


\end{quote}
\hypertarget{related_concepts}{}\subsection*{{Related concepts}}\label{related_concepts}

\begin{itemize}%
\item [[causal order]]


\item [[causal structure]]


\item [[causal additivity]]


\item [[causal closure]]


\item [[causal perturbation theory]]


\item [[local prequantum field theory]]


\item [[local quantum field theory]]


\item in [[AQFT]]:

[[local net of observables]], [[Haag-Kastler axioms]]


\item in [[FQFT]]:

[[extended field theory]]


\item [[string theory FAQ]]: \emph{\href{string+theory+FAQ#IsStringTheoryCausal}{Is string theory causal, given that it is not local on the string scale?}}



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

\hypertarget{in_local_quantum_field_theory}{}\subsubsection*{{In local quantum field theory}}\label{in_local_quantum_field_theory}

\begin{itemize}%
\item V. I. Grigor'ev, \emph{Microcausality condition}, The Great Soviet Encyclopedia, 3rd Edition (1970-1979) (\href{http://encyclopedia2.thefreedictionary.com/Microcausality+Condition}{web})


\item Jessey Wright, \emph{Quantum field theory: Motivating the Axiom of Micorcausality}, PhD thesis 2012 (\href{http://uwspace.uwaterloo.ca/bitstream/10012/6998/1/Wright_Jessey.pdf}{pdf})


\item Anthony Duncan, \emph{The Conceptual Framework of Quantum Field Theory -- Dynamics IV: Aspects of locality: clustering, microcausality, and analyticity}, Oxford Scholarship Online (\href{http://www.oxfordscholarship.com/view/10.1093/acprof:oso/9780199573264.001.0001/acprof-9780199573264-chapter-6}{web})


\item [[John Bell]], \emph{The theory of local beables} (1975) (\href{http://cds.cern.ch/record/980036/files/197508125.pdf}{pdf})


\item \href{http://ptp.oxfordjournals.org/content/52/1/335.full.pdf}{pdf}



\end{itemize}
\hypertarget{in_algebraic_quantum_field_theory_2}{}\subsubsection*{{In algebraic quantum field theory}}\label{in_algebraic_quantum_field_theory_2}

For references on the traditional discussion in [[AQFT]] see at \emph{[[Haag-Kastler axioms]]} and at \emph{[[causally local net of observables]]}. Proposals to understand the causal locality axiom from other principles include

\begin{itemize}%
\item [[Urs Schreiber]], \emph{AQFT from $n$-functorial QFT} , Comm. Math. Phys., Volume 291, Issue 2, pp.357-401 2009 (\href{http://ncatlab.org/schreiber/files/AQFTfromFQFT.pdf}{pdf})


\item [[Joost Nuiten]], \emph{[[schreiber:bachelor thesis Nuiten|Bohrification of local nets]]}, Proceedings of \href{http://qpl.science.ru.nl/}{QPL 2011}, \href{http://rvg.web.cse.unsw.edu.au/eptcs/content.cgi?QPL2011}{EPTCS 95, 2012}, pp. 211-218 (\href{http://arxiv.org/abs/1109.1397}{arXiv:1109.1397})


\item [[Romeo Brunetti]], [[Klaus Fredenhagen]], Paniz Imani, [[Katarzyna Rejzner]], \emph{The Locality Axiom in Quantum Field Theory and Tensor Products of $C^*$-algebras} (\href{https://arxiv.org/abs/1206.5484}{arXiv:1206.5484})



\end{itemize}
\hypertarget{in_smatrix_theories_and_string_theory_2}{}\subsubsection*{{In S-matrix theories and string theory}}\label{in_smatrix_theories_and_string_theory_2}

Discussion of causality in [[string theory]] includes the following:

A brief look at the causality property of the string 2-point function is in

\begin{itemize}%
\item [[Emil Martinec]], \emph{Strings and Causality} (\href{http://cds.cern.ch/record/569030/files/9311129.pdf}{pdf}) in L. Baulieu, V. Dotsenko, V. Kazakov, P. Windey (eds.) Quantum Field Theory and String Theory , NATO ASI Series B: Physics Vol. 328 (1995)

\end{itemize}
An in-depth discussion of causality of the [[string scattering amplitude|string scattering]] [[S-matrix]] via [[open string field theory]] is in

\begin{itemize}%
\item [[Theodore Erler]], [[David Gross]], \emph{Locality, Causality, and an Initial Value Formulation for Open String Field Theory} (\href{https://arxiv.org/abs/hep-th/0406199}{arXiv:hep-th/0406199})

\end{itemize}
This rediscovered some facts that had earlier been noticed in

\begin{itemize}%
\item M. Maeno, \emph{Canonical quantization of Witten's string field theory using midpoint light-cone time}, Phys. Rev. D43 no. 12 (1991).

\end{itemize}
See also

\begin{itemize}%
\item Gianluca Calcagni, Leonardo Modesto, \emph{Nonlocality in string theory}, J. Phys. A: Math. Theor. 47 (2014) 355402 (\href{https://arxiv.org/abs/1310.4957}{arXiv:1310.4957})

\end{itemize}
Discussion in theories with [[higher curvature corrections]] of the gravitational background and in [[string theory]] includes

\begin{itemize}%
\item Xian O. Camanho, Jose D. Edelstein, [[Juan Maldacena]], Alexander Zhiboedov, \emph{Causality Constraints on Corrections to the Graviton Three-Point Coupling} (\href{http://arxiv.org/abs/1407.5597}{arXiv:})


\item Giuseppe D'Appollonio, [[Paolo Di Vecchia]], [[Rodolfo Russo]], [[Gabriele Veneziano]], \emph{Regge behavior saves String Theory from causality violations} (\href{http://arxiv.org/abs/1502.01254}{arXiv:1502.01254})



\end{itemize}
[[!redirects causal locality]]

[[!redirects Einstein causality]] [[!redirects Einstein-causality]]

[[!redirects Einstein locality]] [[!redirects Einstein-locality]]

[[!redirects microlocality]] [[!redirects microcausality]]

[[!redirects locality]]

[[!redirects causality]]



\end{document}