\section{<A section>}

The development of low energy, high intensity electron accelerators raises the possibility of conducting fundamental experiments in photo-pion production from the proton and neutron (in few body targets)  by detection of small angle electro-pion production at very low $Q^{2}$ values. This  builds on  the demonstrated value of high current electron scattering experiments with thin, polarized  targets  by the BLAST experiment at Bates\cite{BLAST}. It was a planned future project at Bates\cite{POLITE} which was not carried out due to the termination of funding. The method will first be presented followed by a few important possibilities.

Forward angle electron scattering (virtual photon tagging) is potentially significantly more effective than conventional photon tagging and  will open up significant experimental possibilities. The reason is that all of the detected electrons will have interacted in the target and have lost energy. This allows for the use of higher currents, thin targets and the detection of low energy changed particles. This can also allow the utilization of atomic beam polarized targets which are isotopically pure but thin. In a conventional tagger the photons are produced in an upstream radiator which is limited by the maximum allowable rate in the tagger detectors (typically $\leq$ 1 MHz). Most of the tagged  photons do not interact in the target. This loss is compensated for by the use of thick targets which do not allow for the detection of low energy charged particles (For the latest photo-pion production experimental results and references to tagged photons see\cite{Hornidge}). In addition, to obtain polarized targets one must use complex materials such as butanol (H10,C4,O) which produce large backgrounds due to the heavier elements.

A schematic version of small angle electron scattering is shown in Fig.\ref{fig:setup}. An electron beam is incident on a target and the scattered electrons are detected at small angles, preferably with $\phi$ symmetry to increase the counting  rate and also to enable simultaneous determination of reactions with a range of out of plane angles.
The use of a magnetic spectrometer enables measurements of the electron energy loss. The main background rate in the electron detector is due to Moller scattering. Fig.\ref{fig:Moller} shows the energy loss $\Delta$E of the scattering electrons versus electron angle for incident energies of 300 and 500MeV and the count rate for
the anticipated luminosity(see discussion after Eq.\ref{eq:lum}).It can be seen that for  $\Delta$E ~ 200 MeV, which is required for pion production, one needs angles $\simeq 4^{0} (2^{0})$ for incident electron energies of 300 (500) MeV in order to have the Moller electron energy loss sufficiently large to be able to eliminate this background by magnetic analysis. For smaller electron angles the rates could be handled down to $\theta_{e} \simeq 2^{0}(1^{0})$ but probably not at smaller angles.
\begin{figure}
  \includegraphics[height=.25\textheight, width = 0.55\textwidth]{target-setup.pdf}
  \includegraphics[height=.25\textheight]{b-mag.pdf}
  \caption{Schematic internal target setup.Left panel: Target and detectors in a magnetic field. Right panel: forward tagger magnet. See text for discussion  }
  \label{fig:setup}
\end{figure}
\begin{figure}
  \includegraphics[height=.3\textheight,width = 0.45\textwidth]
   {Moller-delta_E.pdf}
  \includegraphics[height=.3\textheight,width = 0.45\textwidth]{Moller-cts.pdf}
  \caption{Moller scattering for incident energies of 300 and 500 MeV. Left Panel: energy loss $\Delta$E of scattered electrons versus $\theta_{e}$. Right panel: count rate in Hz into a 10 mrad angular ring versus $\theta_{e}$ for an electron luminosity  = 6x$10^{32} cm^{-2}sec^{-1}$ corresponding to a current of 1 mA and a target density of $10^{17} cm^{-2}$(see text for discussion). }
  \label{fig:Moller}
\end{figure}

To a good approximation the relationship between small angle electron scattering and the photo-hadron cross section is\cite{Donnelly}
\begin{eqnarray}
d\sigma^{e,e'x}/(d\Omega_{e} | dE^{'}|  d \Omega_{x}) \simeq R_{0}/sin^{2}(\theta_{e}/2) d\sigma^{\gamma,x}/d\Omega_{x} \\  \nonumber
R_{0} =    \alpha /(8 \pi E_{\gamma}) (1+(E^{'}/E)^{2}), ~ ~ E_{\gamma} - E - E^{'}   \\ \nonumber
\Delta E_{\gamma} \int d\Omega_{e} d\sigma^{e,e'x}/(d\Omega_{e} dE^{'} d \Omega_{x}) \simeq 4~\Delta E_{\gamma}~ R_{0} ~\Delta \phi_{e}~ ln(\theta_{e}^{max}/\theta_{e}^{min} ) d\sigma^{\gamma,x}/d\Omega_{x}
 \label{eq:dsig}
\end{eqnarray}
where E(E') is the incident(final) electron energy,$\theta_{e}$ the final electron angle in the lab frame, x the produced hadron, and $E_{\gamma}$ the photon energy. For low $Q^{2}$ values the longitudinal contribution to the cross section is negligible (estimated to be less than $\sim$ 2\%) and the photons are almost real. It has been assumed that $\theta_{e} > 5 m_{e}/E(\simeq 0.5^{0}$ at E =300 MeV) but still small enough so that $sin(\theta_{e}) \simeq \theta_{e}$.To compute the count rate we have to integrate the cross section over the solid angle of the scattered electron assumed to be a ring extending from $\theta_{e}^{min}$ to $\theta_{e}^{max}$, with the result depending only mildly on their ratio. Based on Eq.\ref{eq:dsig} we can compare the luminosities of virtual tagging(vTag) with those of conventional photon tagging(tag).
\begin{eqnarray}
L_{\gamma}^{vTag} = N_{e}^{vTag} ~R_{\gamma}^{vTag} ~N_{T}^{vTag}\simeq 8x10^{27}cm^{-2}sec{-1}\\  \nonumber
R_{\gamma}^{vTag} =   4~ R_{0}~ \Delta \phi_{e}~ ln(\theta_{e}^{max}/\theta_{e}^{min} ) \simeq 1.2x10^{-5}MeV^{-1}   \\ \nonumber
L_{\gamma}^{tag} = N_{e}^{tag}~ \epsilon_{tag} ~N_{T}^{tag}\simeq 8x10^{27}cm^{-2}sec^{-1}
 \label{eq:lum}
\end{eqnarray}
where for the virtual tagger we have assumed a beam energy of 300 MeV, a photon energy of 150 MeV, an electron current of 1 mA, integrated the outgoing electrons from 4 to 14 deg. in $\theta_{e}$ and over half of the ring in $\phi$ as shown in Fig.\ref{fig:setup}, and a target density of $10^{17}/cm^{2}$.This corresponds to an unpolarized target pressure of $\simeq$ 1 mm Hg and a target length of 4 cm. For a polarized target BLAST has achieved a target density of $\simeq 10^{14}$ protons(deuterons) per $cm^{2}$\cite{BLAST} with a target tube diameter of 1.5 cm. It is anticipated that this diameters can be reduced by an order of magnitude and this would increase the target density to the desired range(see\cite{Bernauer} for a discussion).With these parameters the photon luminosity will equal the one utilized by the A2 collaboration at Mainz[Mainz] for which $N_{e}^{tag} \simeq 5x10^{5}Hz, N_{T}^{tag} \simeq 8x10^{22} cm^{-2}, \epsilon_{Tag} \simeq 0.2$.This is essential to achieve high quality results.Virtual tagging has two main advantages over the conventional tagging technique. First and most important would be he pure, thin targets. In addition, with the magnetic elimination of the Moller electrons, the main count rate limitations are due to the maximum current and energy of the accelerator. and  the throughput of the detector system.

Based on these considerations we can now discuss some of the fundamental physics possibilities in photo-pion production which are created by the development of high intensity electron beams (for the present status of the field see\cite{Hornidge,AB,Cesar}). Due to the low target density we can detect low energy charged particles from the reactions. One new possibility is the measurement of the nn s wave scattering length $a_{nn}$ from the $\gamma D \rightarrow nn \pi^{+}$ reaction just above threshold\cite{Lensky}. If charge symmetry holds then $a_{nn} = a_{pp}$. There has been a long standing experimental problem in the the determination of $a_{nn}$ which is illustrated in Fig.\ref{fig:a_nn} in that several experiments have reported significantly different results(see \cite{Lensky} for references). Thus it is not clear if charge symmetry is violated or not. It is of importance to have an independent check. To measure $a_{nn}$ from the $\gamma D \rightarrow nn \pi^{+}$ reaction one should choose kinematics where the two neutrons emerge at low relative momenta.
 Due to chiral symmetry the $\pi$ N interaction is weak at low energies so that its interaction with the neutron pair is small. This reaction has been carefully studied using ChPT(chiral perturbation theory)\cite{Lensky} and the sensitivity to $a_{nn}$ is shown in Fig.\ref{fig:a_nn}. The curves are shown in terms of the magnitude of the relative momentum of the two outgoing neutrons  $\vec{p_{r}} =(\vec{p_{1}}- \vec{p_{2}}$)/2. The peak for small $p_{r}$ is senstive to $a_{nn}$. The peak at larger $p_{r}$ is due to  quasi-free production of the two neutrons; this peak is present when the angle $\theta_{r} = 90^{0}$ and not for $\theta_{r} = 0^{0}$(angles defined relative to the incident photon momentum).This sensitivity indicates that a kinematically complete experiment must be performed in order to obtain the full sensitivity to $a_{nn}$. It has the advantage that with one experiment the reaction calculation and the deuteron wave function can be tested by a measurement of the quasi-free peak and the magnitude of $a_{nn}$ from the low $p_{r}$ peak. Another advantage of this reaction is that it can be extended to other charge states. The well known value of $a_{np}$  can also be obtained from a measurement of the $\gamma D \rightarrow \pi^{0} np$ reaction; this will provide an excellent test of the method and the reaction calculation.
\begin{figure}
  \includegraphics[height=.29\textheight, width = 0.55\textwidth]
  {a_nn.pdf}
  \includegraphics[height=.25\textheight]{Vadim.pdf}
  \caption{.Left panel: Experimental status of $a_{nn}$ and $a_{pp}$ The first two points come from the $n D \rightarrow nnp$ reaction, the third from the $\pi^{-} D \rightarrow \pi^{0}nn$ reaction(see\cite{Lensky} for references and discussion). Right panel: The theoretical cross section for the $\gamma D \rightarrow n n \pi^{+}$ reaction\cite{Lensky} versus the relative momentum of the two outgoing neutrons $p_{r}$. The cross sections are in units of $10^{-5} \mu b ~sr^{-2} MeV^{-2}$ for a CM energy of 5 MeV above threshold and a pion CM production angle $\theta_{\pi} = 135^{0}$. The solid(dashed) curves are for $\theta_{r} = 90^{0}(0^{0})$ shown for $a_{nn}$ = 18,19, and 20 fm(angles defined relative to the incident photon momentum as the z axis). See text for discussion.  }
  \label{fig:a_nn}
\end{figure}

The use of deuterium targets will also allow for the accurate measurement of pion production amplitudes from the neutron, a topic which has hardly been addressed by previous and current experiments. The value of low density targets allows for the measurement of the coherent cross section for the $\gamma D \rightarrow \pi^{0} D$ reaction by measurement of the recoil deuterons. Near threshold, to first approximation the cross section is sensitive to the square of the coherent sum of the s wave electric dipole amplitudes of the proton and neutron $| E_{0+}(\gamma p \rightarrow \pi^{0}p) + E_{0+}(\gamma n \rightarrow \pi^{0}n)|^{2}$. An accurate measurement of this cross section will allow for a determination of both the relative signs and magnitudes of these quantities for the first time and provide a stringent test of ChPT calculations. This apparatus can also be extended to make measurements at low values of the four momentum transfer $Q^{2}$.

An important  use of deuterium (and possibly polarized $^{3}He$) targets is to obtain the neutron amplitudes in the $\gamma N \rightarrow \pi$N reactions to test chiral calculations and also, for the first time, to check isospin conservation.
\begin{eqnarray}
A(\gamma p \rightarrow \pi^{+}n) + A(\gamma n \rightarrow \pi^{-}p) = \sqrt 2[~ A(\gamma n \rightarrow \pi^{o}n) - A(\gamma p \rightarrow \pi^{0}p) ~]
 \label{eq:IS}
\end{eqnarray}
where A is any multipole amplitude ($E_{0+}, M_{1+}$,..). In principle this relationship should be modified by corrections due  to the up, down quark mass differences. This has always been assumed to be correct, but  has never been tested experimentally nor have the corrections been theoretically estimated. One  isospin breaking correction is due to $\pi^{0}, \eta, \eta^{'}$mixing which causes a 2.2\% correction to the amplitude for the $\pi^{0} \rightarrow \gamma \gamma$ decay rate\cite{AB-RMP}. There should also be additional electromagnetic corrections which show up in the neutron, proton and  charged, neutral pion mass differences. The experiments would involve extractions  the $\gamma n \rightarrow \pi^{0}n, \pi^{-}p$ cross sections and asymmetries from the $\gamma D \rightarrow \pi^{0}n, \pi^{-}p$ reactions. A clear check on the calculations of the few body reaction dynamics would be to extract the proton amplitudes and check them against the measured quantities.

The previous examples do not require polarized targets, which if employed, could lead to other important experiments.The polarized target asymmetry T for transverse polarized targets are sensitive to the final state $\pi$N  phase shifts. Such measurements will lead to a  test of the Fermi-Watson (final state interaction) theorem. The most likely reason for a violation would be due to isospin breaking. An accurate measurement T in the near threshold region shows  the unitary cusp in the $\gamma \vec{p} \rightarrow \pi^{0}p$ reaction\cite{AB} and  will determine the s wave charge exchange scattering length  $a_{cex} (\pi^{+} n) \rightarrow \pi^{0}p)$ which can be compared to the measurement of $a_{cex}(\pi^{-}p \rightarrow \pi^{0}n)$ to test the predicted violation of isospin conservation in the $\pi$N system\cite{AB,Martin}. This can be extended to higher energies where isospin is also expected to be broken by both electromagnetic and quark mass difference dynamics.

In conclusion, some important experiments that can be performed with a high intensity electron beam with energies $\geq$ 300 MeV have been sketched. It also may be possible to extend some of these measurements to somewhat higher photon virtualities $Q^{2}$, particularly if the beam energies are increased. This would measure the spatial extent (RMS  radius) of these transition matrix elements. To exploit this possibility will require careful design work for each experiment and close collaboration between theory and experiment. These fundamental experiments will test ChPT and its link to  QCD, and hopefully future lattice calculations. With sufficient precision isospin breaking due to the mass difference of the up and down quarks can be probed.

\section{General Overview}

The \aipcls{} is a \LaTeXe{} document class for conference proceedings
of the American Institute of Physics and other documents with similar
layout requirements.  Your file will be used to reproduce
your paper as is, the only modifications done by the publisher are
adding appropriate page numbers and the copyright line. It is
therefore essential that you embed all fonts when saving your file.

This version of the guide explains all features of the class some of
which are only applicable to certain proceeding layouts.

The class provides essentially the same markup as implemented by
\LaTeX's standard
\texttt{article} class.  In addition to this it implements the
following:
\begin{itemize}
\item extended set of front matter commands,
\item automatic placement of floats into column or page areas
  including turning of table floats by 90\textdegree{} if necessary,
\item allows mixing column and page-wide floats without getting the
  numbering out of sync,
\item footnotes will appear below bottom floats,
\item extended set of citation commands if the \texttt{natbib} system
  is installed,
\item support for table notes,
\item support for textual page references like ``on the next page''.
\end{itemize}

Due to the extended functionality an article written for \LaTeX{}'s
standard article class might need adjustments in the following places
before it can be used with the \aipcls{}
(a more detailed description is given in later sections):
\begin{itemize}
\item
  In the preamble, since the \aipcls{} requires a |\layoutstyle|
  declaration.
\item
  In the front matter, since  the \aipcls{} uses an extended set of
  title/author declarations.
\item
  In the body of floats, since the \aipcls{} only allows a single
  |\caption| command and processes the body in horizontal mode.
\end{itemize}

\section{Checking your \LaTeX{} distribution}

To ensure that your installation of \LaTeX{} contains everything
necessary to successfully use the \aipcls{}, run the file
\texttt{aipcheck.tex} through \LaTeX, e.g.,
\begin{verbatim}
  latex aipcheck
\end{verbatim}
It will try to determine if everything
necessary is available and if not, will make recommendations what can
be done about it. In certain cases you might be able to use the class
if you follow the suggestions, in other cases the only solution is to
upgrade your \LaTeX{} installation.

Unfortunately it is impossible to check for all potential problems. If
\texttt{aipcheck.tex} claims everything is fine, but you nevertheless
have difficulties, consult the ``Frequently Asked Question''
(\texttt{FAQ.txt}) and the readme file in the distribution.

\section{Class details}

\subsection{Selecting the target layout}

The class supports different layouts. These are selected by
placing a |\layoutstyle| declaration in the preamble of the document.

\BDefC{layoutstyle}[m]{layout name}

This command is required.
With version 1.3 of the \aipcls{} the
following \Larg{layout name}s can be specified.
\begin{description}
\item[6x9]          Layout for the AIP Conference Proceedings with
  6 x 9 inches single column format (short name |6s|).
\item[8x11single] Layout for the AIP Conference Proceedings with
  8.5 x 11 inches single column format (short name |8s|).
\item[8x11double] Layout for the AIP Conference Proceedings with
  8.5 x 11 inches double column format (short name |8d|).
\item[arlo] Layout for the ``Acoustics Research Letters Online'' --- ARLO.
\end{description}
For example, the current guide was produced using the declaration
|\layoutstyle{|\texttt{\selectedlayoutstyle}|}|.

\subsection{Supported options}\label{suppopt}

As the class is based on the article class of standard \LaTeX{} all
reasonable\footnote{Reasonable means not conflicting with fixed
requirements for the AIP class, e.g., as this class requires 10pt body
size option \texttt{11pt} and \texttt{12pt} are ignored and produce a
warning.} options of this class are supported automatically.
In addition there are a number of options unique to the \aipcls.

\subsubsection{Paper selection}

Two options control the placement of the text on the physical
page. Choose the one that corresponds to your printer paper.
\begin{description}
\item[letterpaper] Directs the class to assume that the output is
printed on US letter sized paper (default).

\emph{Please note that the paper format is typically also specified in
the program that turns the \LaTeX{} output into PostScript. For
example, some \texttt{dvips} installations have A4 as their default
paper (typically those in Europe). In that case you have to call the
\texttt{dvips} program  with the option \texttt{-t letter} to ensure
that the resulting PostScript file has the correct margins!}

\item[4apaper] Directs the class to assume that the output is
printed on A4 sized paper.
\end{description}

\subsubsection{Font selection}

Five options control the selection of fonts in the document; use at
most one of them.
\begin{description}
\item[mathptmx] Directs the class to use PostScript Times and Symbol
  fonts (a few missing glyphs are taken from Computer Modern) for
  math by loading the \texttt{mathptmx} package.
  This option is the default.

  This option does not support the |\boldmath| command since there
  exists no PostScript Symbol font in bold. It is possible, however to
  use |\mathbf| which allows you to get at least a bold Latin
  Alphabet.

\item[mathptm] Directs the class to use PostScript Times and Symbol
  fonts but used the older package \texttt{mathptm} which has upright
  greek lowercase letters.

  This option does not support the |\boldmath| command since there
  exists no PostScript Symbol font in bold. It is possible, however to
  use |\mathbf| which allows you to get at least a bold Latin
  Alphabet.

\item[mathtime] Directs the class to use MathTime fonts for math by
  loading the \texttt{mathtime} package. These fonts are commercial so
  that this option will not work if you don't own them.
  If this option is chosen one can also use the options for this
  package as global options to the class.

\item[mtpro] Directs the class to use MathTime Professional fonts for math by
  loading the \texttt{mtpro} package. These fonts are commercial (the
  successors to the MathTime fonts from the previous option) so
  that this option will not work if you don't own them.
  If this option is chosen one can also use the options for this
  package as global options to the class.

\item[nomathfonts] Directs the class not to set up math fonts (which
  means using the installation default which is usually Computer
  Modern). This option is intended in case a special math font setup
  is loaded in the document preamble.

\item[cmfonts] Directs the class to use standard Computer Modern fonts
  for math and text. This does not conform to the specification for this
  class and is intended for draft preparation in environments where
  the required fonts are unavailable.
\end{description}

\subsubsection{Textual references}

The next options enable textual references; if this is desired select
one of them:
\begin{description}
\item[varioref] Loads the \texttt{varioref} package
  (see \cite[p.68ff]{A-W:MG04})
  allowing to produce textual page references. See section on
  Cross-references~\vpageref{xref} for details.
\item[nonvarioref] Disables the |\reftextvario| command so that the
  strings produced by \texttt{varioref} commands will not depend on
  the number of references seen so far. Implies the varioref option.
\end{description}

\subsubsection{Table note markers}

Notes to tables can be influenced as follows:
\begin{description}
\item[tnotealph] Produce raised lower case alphabetic marks to
  indicate table notes.
\item[tnotesymbol] Use footnote symbols to indicate table notes
  (default).
\end{description}

\subsubsection{Citation mode}

The citation mode can be influenced with the following two options:
\begin{description}
\item[numcites] Citations are typeset using numbers. Depending on the
  proceeding style these might appear raised or in brackets, etc.~(default).
\item[bibliocites] Citations are typeset using an author/year
  scheme. This requires the installation of the \texttt{natbib} system.
\end{description}
In some layout styles these options might be without effect.

\subsubsection{Heading numbers}

Heading numbers can be turned on or off with the following two options:
\begin{description}
\item[numberedheadings] Headings are numbered.
\item[unnumberedheadings] Headings are unnumbered (default).
\end{description}
In some layout styles these options might be without effect.

\subsubsection{Drafts}

Finally there is one standard \texttt{article} class option which has
its functionality extended:
\begin{description}
\item[draft] Allows |\tableofcontents| and similar commands to work
  without error message (during development of article). It marks
  overfull boxes and
  also provides page numbers in the printout.

  \textbf{Remove this option when producing the final paper.}
\end{description}

\subsection{Front matter}

The class supports an extended set of front matter commands. These
commands differ from those used by standard \LaTeX's \texttt{article}
class. Thus, if an article already written is adapted to be used with
the \aipcls{}, the front matter has to be modified somewhat.

Some of the commands below
are required only for certain proceedings. Declarations that are not
required will be silently ignored.

\BDefC{title}[om]{short title}{title text}
In standard \LaTeX{} this command has no optional argument. In the
\aipcls{} one can specify an abbreviated title text which is used,
for example, in the running footer in draft mode.

\BDefC{author}[mm]{author name}{author information}

In standard \LaTeX{} this command had only one argument containing
both author name and address information. In this class it has two
arguments and the second argument contains data structured using
key/value pairs separated by commas.

For example, the authors of this paper have been specified as:
\begin{verbatim}
\author{F. Mittelbach}{
  address={Zedernweg 62, Mainz},
 ,email=
{frank.mittelbach@latex-project.org}}
\author{D. P. Carlisle}{
  address={Willow House, Souldern},
 ,email={david@dcarlisle.demon.co.uk}}
\end{verbatim}
Supported keywords will be \texttt{address}, \texttt{email},
\texttt{altaddress}, \texttt{homepage},
and \texttt{thanks}.
(With release 1.3 of \aipcls{} only
\texttt{address}, \texttt{altaddress} and \texttt{email} should be used; support for the other
keywords will be added later.)
Depending on the layout of the target proceedings
some of the keys may get ignored!

\BDefC{classification}[m]{data}
Some proceedings require classification data, e.g., PACS numbers. If not,
this declaration is ignored.

\BDefC{keywords}[m]{data}
Some layouts require keyword data. If not, this declaration is
ignored.

\BDefC{copyrightholder}[m]{name}
Some layouts require copyright information.  Normally a default
is provided by the class. With this declaration the copyright holder
can be overwritten.

\BDefC{copyrightyear}[m]{year}
Some layouts require copyright data. With this declaration the
copyright year can be specified. (If such data is required the current
year is provided as default).

\BDefE{abstract}
In contrast to standard \LaTeX{} the abstract environment has to
appear before the |\maketitle| command.

\BDefC{maketitle}
This command inserts the actual front matter data. It has to follow the
above declarations.

\subsubsection{Multiple authors}

Multiple authors are entered by specifying one |\author| command per
author. Care needs to be taken when specifying shared addresses: they
have to be absolutely identical. Depending on the chosen layout the
class will merge such addresses but will recognize them only as
identical, if the input including spaces is the same!

The |\and| command as defined in the \texttt{article} class to
separate multiple authors is not supported.

\subsubsection{Dates}

\BDefC{received}[m]{date}
\BDefC{revised}[m]{date}
\BDefC{accepted}[m]{date}
Some layouts require specification of date of arrival, revision,
and/or acceptance. The above declarations provide a way to specify such
dates if necessary.

\BDefC{date}[m]{date}
The article class provides the |\date| command which is not used
by \aipcls. If supplied it will be ignored unless the \texttt{draft}
option is specified in which case it will show up in a footer line
together with the title and the page number to ease document
development.

\subsubsection{Other front matter commands}

The |\tableofcontents|, |\listoffigures|, and |\listoftables| commands
are provided but produce (beside output) an error message unless the
\texttt{draft} option was selected. This is done since the \aipcls{}
does not support page numbering and thus the above commands
essentially produce incorrect data.

\subsection{Headings}

The \aipcls{} officially supports three heading levels, i.e.,
|\section|, |\subsection|, and |\subsubsection|.

It also supports the commands |\paragraph| and |\subparagraph|
although the latter heading levels are not part of the \aipcls{}
specification and are therefore discouraged.

In some layouts |\section| headings are changed to UPPERCASE. Special care is
taken not to uppercase math material, but this support is only available if
the package |textcase| is part of the \LaTeX{} distribution.

\subsection{Cross-references}\label{xref}

Cross-references to page numbers are not possible with the \aipcls{}
as the page numbers are determined after production. For this reason
the |\pageref| command of \LaTeX{} is disabled by default.

Since headings in most layouts do not carry numbers they can't be
referenced either.

References to tables, figures, and equations are possible using
the \LaTeX{} commands |\label| and |\ref|.

However if the class option \texttt{varioref} or \texttt{nonvarioref}
is used, references to page numbers are possible again as they will
generate textual references of the form ``on the following page'' or
``on an earlier page'' etc. The produced strings are customizable as
described in detail in the \texttt{varioref} package documentation or
in \cite[p.68ff]{A-W:MG04}.

The class defaults are as follows and can be changed with
|\renewcommand| in the document preamble. The \texttt{varioref}
package normally distinguishes between reference to facing pages and
references to pages that need turning over using different strings in
these cases. However, since with \aipcls{} class page numbers are not
determined at the time of production no assumption can be made that
page $x$ and $x+1$ actually fall onto the same double spread. For this
reason the defaults used here do not produce strings containing the
word ``facing'' or ``opposite''.
\begin{verbatim}
 \renewcommand\reftextfaceafter
    {on the next page}
 \renewcommand\reftextfacebefore
    {on the \reftextvario{previous}
                  {preceding} page}
 \renewcommand\reftextafter
    {on the \reftextvario{next}
                  {following} page}
 \renewcommand\reftextbefore
    {on the \reftextvario{previous
                page}{page before}}
 \renewcommand\reftextcurrent
    {on \reftextvario{this}
                {the current} page}
\end{verbatim}
Normally, text for references which are ``far away'' are produced
using |\reftextfaraway| in \texttt{varioref}. However, to produce
textual references without referring to actual page numbers even in
this case, this command was hijacked in the \aipcls{} and redefined to
determine whether or not this is a reference to some earlier or later
page. So instead of changing this command the class provides the
following two commands for customization:
\begin{verbatim}
 \renewcommand\reftextearlier
    {\reftextvario{on an earlier
                 page}{earlier on}}
 \renewcommand\reftextlater
    {\reftextvario{later on}
                    {further down}}
\end{verbatim}
To illustrate the result of this package all references in this
document are made using |\vref| or |\vpageref|, e.g., references to
Figure~\vref{fig:b} and Figure~\vref{fig:a}. These commands work best
if used only for important references. Be careful when using them
several times close to each other as the automatically generated texts
then may sound strange (as they do in the example in this paragraph).

\BDefC{eqref}[m]{label}

For reference to equation numbers |\eqref| can be used instead of
the standard |\ref| command. The |\eqref| command will automatically add any
frills required by the layout style, while |\ref| will only typeset
the plain number.
For example, in the \texttt{arlo} style it will
print ``Eq.~(1)'' while |\ref| would result in ``1''.

\subsection{Lists}

The \aipcls{} supports all standard list environments like
\texttt{itemize}, \texttt{enumerate}, etc.

\subsection{Graphics support}

Support for including and manipulating graphics is provided as the
standard \LaTeX{} \texttt{graphicx} package is automatically loaded by
the \aipcls. For detailed descriptions of the commands made available
by this package see~\cite{A-W:GMR97} or the package documentation
coming with the \LaTeX{} release. A sufficient introduction is also
given by~\cite{A-W:LLa94} although there only the \texttt{graphics}
package (a subset of the \texttt{graphicx} package) is described.

A typical application is given in the following example where a
picture is resized to span 70\% of one column:
\begin{verbatim}
\begin{figure}[!b]
 \resizebox{.7\columnwidth}{!}
  {\includegraphics{escher}}
 \source{Guy Shaw}
 \caption{An illustration taken
          from~\cite{A-W:MG04}}
 \label{fig:a}
\end{figure}
\end{verbatim}
resulting in figure \vref{fig:a}.
\begin{figure}[!b]
 \resizebox{.7\columnwidth}{!}
  {\includegraphics[draft=false]{escher}}
 \source{Guy Shaw}
 \caption{An illustration taken
          from~\cite{A-W:MG04}}
 \label{fig:a}
\end{figure}

\subsection{Floats}

Floats are objects which do not have to stay in sync with the running
text but are allowed to move from their original place to some other
position where they fit better for page breaking reasons. Such objects
they are typically numbered so that they can be referenced from within
the running text.

\LaTeX{} by default supports two float types: figures and
tables. These float types are also supported by the \aipcls{} although
their internal implementation is quite different resulting in a number
of important differences in behavior:\footnote{There exist packages
that extend the number of float types. (This information is given as a
footnote to show that footnotes in this class come out below a bottom
float.)}
\begin{itemize}
\item The position of the float caption is determined automatically,
  independently of the placement of the |\caption| command within the
  float body.
\item
  Depending on its width the float automatically spans two
  columns.
  In case of a table the whole object (including its caption)
  might be rotated automatically if its exceeds |\textwidth|.
\item The body of the float environments are processed in L-R mode and
  not in paragraph mode as in standard \LaTeX. This is necessary for
  measuring its width. Thus if paragraph mode is needed one has to put
  a \texttt{minipage} environment of the appropriate width (e.g.,
  |\columnwidth|) into the body.
\item Only one |\caption| command per float is allowed.
\end{itemize}

\subsubsection{Figures}

\BDefE{figure}[o]{pos}

Like with standard \LaTeX{} the optional \Larg{pos} argument can be
used to specify into which float areas this float is allowed to
migrate (default is |tbp|).

The environment \texttt{figure*} is not supported as figures that need
to span both columns are automatically recognized in two column mode.

\BDefC{source}[m]{text}
Command to specify the origin of the picture shown. The \Larg{text}
will be printed in small italics below the illustration.

A typical example of a figure float would be
\begin{verbatim}
\begin{figure}
 \resizebox{.8\textwidth}{!}
           {\includegraphics{outline}}
 \caption{PostScript example taken
          from~\cite{A-W:MG04}}
 \label{fig:b}
 \source{F. Mittelbach}
\end{figure}
\end{verbatim}
The result is shown in Figure~\vref{fig:b}.

\begin{figure}
\resizebox{.8\textwidth}{!}{\includegraphics[draft=false]{outline}}
\caption{PostScript example taken from~\cite{A-W:MG04}}
\label{fig:b}
\source{F. Mittelbach}
\end{figure}

\BDefC{spaceforfigure}[mm]{horizontal}{vertical}
If the illustration is to be manually pasted into the final document
one can leave the right amount of space by using this command as
follows:
\begin{verbatim}
\begin{figure}
 \spaceforfigure{2in}{1cm}
 \caption{Caption for a figure to be
          pasted in later}
 \label{fig:3}
 \source{F. Mittelbach}
\end{figure}
\end{verbatim}
All standard \TeX{} units can be used to specify the space needed. The
above example make room for an illustration that is two inches wide and
one centimeter high. The result is shown as Figure~\vref{fig:3}.

\begin{figure}
 \spaceforfigure{2in}{1cm}
 \caption{Caption for a figure to be
          pasted in later}
 \label{fig:3}
 \source{F. Mittelbach}
\end{figure}

\subsubsection{Tables}

\BDefE{table}[o]{pos}

Like with standard \LaTeX{} the optional \Larg{pos} argument can be
used to specify into which float areas this float is allowed to
migrate (default is |tbp|).

The environment \texttt{table*} is not supported as tables that need
to span both columns are automatically recognized in two column mode.

Typically the body of the environment would consist of a
\texttt{tabular} environment responsible for producing the actual
table including the table and stub headers.

\BDefC{tablehead}[mmmm]{cols}{h-pos}{v-pos}{heading text}

To ease the production of tables the command |\tablehead| is provided
which is essentially and abbreviation for a |\multicolumn| command
that additionally boldens its text argument. I.e., \Larg{cols}
specifies the number of columns the \Larg{heading text} should span
and \Larg{h-pos} defines the horizontal positioning of the text of the
column(s), e.g., |l|, |r|, |c|, or |p{...}|.  In contrast to a simple
|\multicolumn| command the \Larg{heading text} can be split vertically
by using |\\| to denote the line breaks.  The \Larg{v-pos} argument
should contain either |t|, |c|, or |b| denoting the vertical placement
of the text in relation to other cells of that row. It is only
relevant if the \Larg{heading text} consists of more than one
line. See the example table \vpageref[below]{tab:source} that
demonstrates the use of this command.

\BDefC{source}[m]{text} Command to specify the origin of the data
given in the table. The \Larg{text} will be printed in small italics
below the table.

\BDefC{tablenote}[m]{text}

Command to produce a note to the table. It can only be used within a
\texttt{table} environment and should be used only at the right
end of a table cell. The command produces a raised footnote symbol at
the place used which sticks into the right margin. As far as \LaTeX{}
is concerned this symbol does not occupy any space. Thus is will not
modify the alignment of table columns. The \Larg{text} will appear
below the table.

In the current release notes to |\caption| or |\source| are not
possible.

\BDefC{tablenote*}[m]{text}
Like |\tablenote| but this time the raised footnote symbol will occupy
space. This version is intended to be used in the middle of cells.

An example showing the use of all commands described above is shown in
Table~\vref{tab:a}. It was produced by the following input:\label{tab:source}
\begin{verbatim}
\begin{table}
\begin{tabular}{lrrrr}
\hline
 &\tablehead{1}{r}{b}{Single\\outlet}
 &\tablehead{1}{r}{b}{Small\tablenote
       {2-9 retail outlets}\\multiple}
 &\tablehead{1}{r}{b}{Large\\multiple}
 &\tablehead{1}{r}{b}{Total}   \\
\hline
1982 & 98  & 129 & 620    & 847\\
1987 & 138 & 176 & 1000  & 1314\\
1991 & 173 & 248 & 1230  & 1651\\
1998\tablenote{predicted}
     & 200 & 300 & 1500  & 2000\\
\hline
\end{tabular}
\source{Central Statistical Office,
        UK}
\caption{Average turnover per shop: by
  type of retail organisation}
\label{tab:a}
\end{table}
\end{verbatim}

\begin{table}
\begin{tabular}{lrrrr}
\hline
  & \tablehead{1}{r}{b}{Single\\outlet}
  & \tablehead{1}{r}{b}{Small\tablenote{2-9 retail outlets}\\multiple}
  & \tablehead{1}{r}{b}{Large\\multiple}
  & \tablehead{1}{r}{b}{Total}   \\
\hline
1982 & 98 & 129 & 620    & 847\\
1987 & 138 & 176 & 1000  & 1314\\
1991 & 173 & 248 & 1230  & 1651\\
1998\tablenote{predicted} & 200 & 300 & 1500  & 2000\\
\hline
\end{tabular}
\source{Central Statistical Office, UK}
\caption{Average turnover per shop: by type
  of retail organisation}
\label{tab:a}
\end{table}

\BDefC{setlength}[mm]{\texttt{\upshape\string\hlinesep}}{value}

Vertical spacing between horizontal lines produced from |\hline|
inside a tabular environment is controlled by the length parameter
|\hlinesep| in this class. The default value (1pt) gives one point
extra space above such lines and three times as much (i.e. 3pt) extra
space below. This is done to implement the layout requirements for
tables in the AIP proceedings (which are not supposed to have vertical
lines in the tables). If tables with vertical lines are necessary for
some reason, then the value of this parameter should be set to
\texttt{0pt} either globally for the whole document or locally within
the \texttt{table} environment. Otherwise the vertical lines will have
strange gaps whenever a |\hline| command is used to produce a
horizontal line.

\subsubsection{Counters}

The |\alph| and |\fnsymbol| commands to represent counter values have
extended ranges. For example |\alph| will now count up to 52 (zz) and
the |\fnsymbol| command will produce the following symbols
\makeatletter
\@fnsymbol{1},
\@fnsymbol{2},
\@fnsymbol{3},
\@fnsymbol{4},
\@fnsymbol{5},
\@fnsymbol{6},
\@fnsymbol{7},
\@fnsymbol{8},
\@fnsymbol{9},
\@fnsymbol{10},
\@fnsymbol{11},
\@fnsymbol{12},
\@fnsymbol{13},
\@fnsymbol{14},
\@fnsymbol{15}, and
\@fnsymbol{16}.
\makeatother
This will allow for up to 16 table notes per table. For documents that
need a larger number of table notes select the option
\texttt{tnotealph} to switch to lower case alphabetic letters to mark
such notes.

\subsubsection{Long tables}

Tables which are longer than one page cannot be placed into a
\texttt{table} environment as floats cannot have a size larger than a
page. Such tables are supported by the standard \LaTeX{} package
\texttt{longtable} written by David Carlisle. However this package
only works in single column mode.

With two-column layouts, such as the one for the AIP 8x11 double
column proceedings, such tables can only be added at the end of the
paper by preceding the |longtable| environments with a |\onecolumn|
declaration.

The package is supported by the class in the sense that captions
within a \texttt{longtable} environment will be formatted using the
appropriate style; however in contrast to the \texttt{table}
environment it is the responsibility of the user to place the caption
at the top of the table. The commands |\source| and |\tablenote| are
not supported within this environment, but the |\tablehead| command
can be used to produce column heads if desired.

Refer to the \texttt{longtable} package documentation or to
\cite[p.122ff]{A-W:LLa94} for a detailed description of the syntax of
the \texttt{longtable} environment.

A possible alternative is the package \texttt{supertabular} written by
Johannes Braams; however in this case no attempt has been made to
ensure that a table produced with \texttt{supertabular} conforms to
the layout specification for the \aipcls{}. Be aware that this package
defines its own |\tablehead| command (with a completely different
function).

Refer to the package documentation for the syntax description. A
detailed comparison between \texttt{supertabular} and
\texttt{longtable} can be found in Chapter~5 of \cite{A-W:LLa94}.

\subsubsection{Building floats manually}

The original \LaTeX{} environments \texttt{figure} and \texttt{table}
as well as their star forms are still available under the names
\texttt{ltxfigure} and \texttt{ltxtable}. They should not be used in
normal circumstances but are provided in case the automatism of
the \aipcls{} needs overwriting.

Please note that if these environments are used the position of the
|\caption| command determines the placement of the caption within the
float body and that the special commands for figures and tables, e.g.,
|\tablenote|, etc.\ as provided by this class are not available within
these environments.

\begin{table}[!t]
\makeatletter
\if8\expandafter\@car\selectedlayoutstyle\@nil\relax
\else
  \fontsize{7}{8}\selectfont
\fi
\makeatother
\begin{tabular}{rrrp{.6\textwidth}}
\hline
  \tablehead{1}{r}{b}{File} &
  \tablehead{1}{c}{b}{Date} &
  \tablehead{1}{c}{b}{Version} &
  \tablehead{1}{c}{b}{Description} \\
\hline
 aipproc.cls &    2000/08/31 & v1.2a & AIP Proceedings (FMi) \\
fixltx2e.sty &    1999/12/01 & v1.0b & fixes to LaTeX \\
    calc.sty &    1998/07/07 & v4.1b & Infix arithmetic (KKT,FJ) \\
  ifthen.sty &    1999/09/10 & v1.1b & Standard LaTeX ifthen package (DPC) \\
graphicx.sty &    1999/02/16 & v1.0f & Enhanced LaTeX Graphics (DPC,SPQR) \\
  keyval.sty &    1999/03/16 & v1.13 & key=value parser (DPC) \\
graphics.sty &    1999/02/16 & v1.0l & Standard LaTeX Graphics (DPC,SPQR) \\
    trig.sty &    1999/03/16 & v1.09 & sin cos tan (DPC) \\
graphics.cfg & \\
   dvips.def &    1999/02/16 & v3.0i & Driver-dependant file (DPC,SPQR) \\
     url.sty &    1999/03/28 &  ver 1.5x  & Verb mode for urls, etc. \\
 article.cls &    2000/05/19 & v1.4b & Standard LaTeX document class \\
  size10.clo &    2000/05/19 & v1.4b & Standard LaTeX file (size option) \\
  aipxfm.sty & \\
 mathptm.sty &   2000/01/12 &PSNFSS-v8.1 &Times + math package (SPQR) \\
   times.sty &   2000/01/12 &PSNFSS-v8.1 &Times font as default roman(SPQR) \\
  ot1ptm.fd  &  2000/01/12  &PSNFSS-v8.1 & font definitions for OT1/ptm. \\
 fontenc.sty & \\
   t1enc.def &   2000/08/30 & v1.91 &Standard LaTeX file \\
   t1ptm.fd  &  2000/01/12  &PSNFSS-v8.1 & font definitions for T1/ptm. \\
textcomp.sty &   2000/08/30 &v1.91 &Standard LaTeX package \\
  ts1enc.def &   1998/06/12 & v3.0d & (jk/car/fm) Standard LaTeX file \\
varioref.sty &   1999/12/02 &v1.2c &package for extended references (FMi) \\
  aip-8s.clo & \\
ttct0001.sty & \\
shortvrb.sty &   2000/07/04  &v2.0m & Standard LaTeX documentation package
 (FMi) \\
hyperref.sty &   2000/05/08  &v6.70f & Hypertext links for LaTeX \\
  pd1enc.def &   2000/05/08  &v6.70f & Hyperref: PDFDocEncoding definition
 (HO) \\
hyperref.cfg & \\
  hdvips.def &   2000/05/08  &v6.70f & Hyperref driver for dvips \\
 pdfmark.def &   2000/05/08  &v6.70f & Hyperref definitions for pdfmark
 specials \\
  ts1cmr.fd  &  1999/05/25  &v2.5h & Standard LaTeX font definitions \\
 nameref.sty &   2000/05/08  &v2.18 & Cross-referencing by name of section \\
   t1pcr.fd  &  2000/01/12  &PSNFSS-v8.1 & font definitions for T1/pcr. \\
ot1ptmcm.fd  &  2000/01/03  &Fontinst v1.801 & font definitions for
 OT1/ptmcm. \\
omlptmcm.fd  &  2000/01/03  &Fontinst v1.801 & font definitions for
 OML/ptmcm. \\
omspzccm.fd  &  2000/01/03  &Fontinst v1.801 & font definitions for
 OMS/pzccm. \\
omxpsycm.fd  &  2000/01/03 & Fontinst v1.801  &font definitions for
 OMX/psycm. \\
  ts1ptm.fd  &  2000/01/12 & PSNFSS-v8.1  &font definitions for TS1/ptm. \\
  escher.eps &   &&  Graphic file (type eps) \\
 outline.eps &  & &  Graphic file (type eps)  \\
\hline
\end{tabular}
\caption{Files used by the \aipcls{}}
\label{tab:b}
\source{Output of \texttt{\string\listfiles} when processing
        \texttt{aipguide.tex}}

\end{table}

\subsection{Urls}

\BDefC{url}[m]{data}

For documenting URLs and related data the |\url| command is provided.
It allows breaking the URL in certain places and typesets it in an
adequate font and format. Instead of using curly brackets the argument
can be delimited by two identical characters not used in the argument.

\subsection{Bibliography}

Referring to other articles, books, etc.\ can be done using the |\cite|
command of standard \LaTeX{}. The list of references itself can
either be produced using standard \LaTeX{} methods or using
\textsc{Bib}\TeX.

If installed, the \aipcls{} class includes the \texttt{natbib} system
which offers an extended set of citation commands. These commands have
been originally developed to support author/year citation styles but
are also useful with numerical citation styles.

The \texttt{natbib} system has two basic citation commands, |\citet| and
|\citep| for \emph{textual} and \emph{parenthetical} citations, respectively.
There also exist the starred versions |\citet*| and |\citep*| that print
the full author list, and not just the abbreviated one.
All of these may take one or two optional arguments to add some text before
and after the citation. Table~\vref{tab:natbib} shows some examples.
\begin{table}
\begin{tabular}{@{}l@{\quad$\Rightarrow$\quad}l}
\hline
\multicolumn{2}{@{}l}{\bfseries Author/year style} \\
\hline
  |\citet{jon90}| & Jones et al. (1990)\\
  |\citet[chap.~2]{jon90}| & Jones et al. (1990, chap.~2)\\[0.5ex]
  |\citep{jon90}| & (Jones et al., 1990)\\
  |\citep[chap.~2]{jon90}| & (Jones et al., 1990, chap.~2)\\
  |\citep[see][]{jon90}| & (see Jones et al., 1990)\\
  |\citep[see][chap.~2]{jon90}| & (see Jones et al., 1990, chap.~2)\\[0.5ex]
  |\citet*{jon90}| & Jones, Baker, and Williams (1990)\\
  |\citep*{jon90}| & (Jones, Baker, and Williams, 1990) \\
\hline
\multicolumn{2}{@{}l}{\bfseries Numerical style} \\
\hline
  |\citet{jon90}| & Jones et al. [21]\\
  |\citet[chap.~2]{jon90}| & Jones et al. [21, chap.~2]\\[0.5ex]
  |\citep{jon90}| & [21]\\
  |\citep[chap.~2]{jon90}| & [21, chap.~2]\\
  |\citep[see][]{jon90}| & [see 21]\\
  |\citep[see][chap.~2]{jon90}| & [see 21, chap.~2]\\[0.5ex]
  |\citep{jon90a,jon90b}| & [21, 32]\\
\hline
\end{tabular}
\caption{Example of \texttt{natbib} commands and their results}
\label{tab:natbib}
\end{table}
There are many more commands and variants, see \cite{man:Daly99a} or
\cite{man:Daly99b} for further details.

\subsubsection{Bibliography produced manually}

\BDefE{thebibliography}[m]{widest-label}

Environment to hold the list of references.

\BDefC{bibitem}[m]{label}

Command to start a bibliographical entry having the label \Larg{label}
for use in |\cite| commands. Refer to the publishers manual, e.g.,
\cite{man:aipproceed}, for information on how to lay out individual
entries. For example:
\begin{verbatim}
\bibitem{Brown2000}
   M.~P. Brown and K. Austin,
  \emph{The New Physique},
  Publisher Name, Publisher City,
  2000, pp. 212--213.
\end{verbatim}

If commands from \texttt{natbib} (e.g., from table~\ref{tab:natbib})
should be usable, then additional information has to be passed to the
|\bibitem| via an optional argument.

\BDefC{bibitem}[om]{display-info}{label}

The optional argument \Larg{display-info} should then, and only then,
contain the author(s) name(s) followed by the year in parentheses
without any spaces, for example:
\begin{verbatim}
\bibitem[Brown and Austin(2000)]
        {Brown2000}
  ...
\end{verbatim}
The essential feature is that the label (the part in brackets) consists
of the author names, as they should appear in the citation, with the year
in parentheses following. There must be no space before the opening
parenthesis!
This will be automatically produced if \BibTeX{} is used.

\subsubsection{Bibliography produced using \textsc{Bib}\TeX}

The \aipcls{} is accompanied by \BibTeX{} style files which can be used
to produce compliant reference lists from \BibTeX{} database
files. To use \BibTeX{} one first has to run the source file through
\LaTeX{} then run \BibTeX{} and then rerun \LaTeX{} twice to get all
references resolved. \BibTeX{} is described in more detail in appendix
B of \cite{A-W:LLa94} and in chapter~13 of \cite{A-W:MG04}.

\BDefC{bibliographystyle}[m]{style-name}
This declaration specifies to \BibTeX{} that the style
\Larg{style-name} should be used. It can be placed anywhere within the
document but is usually positioned directly in front of the command
described below.

For a discussion which of the supplied \BibTeX{} styles should be used
for which proceedings see the section ``Special requirements\ldots''
below.

\BDefC{bibliography}[m]{bib-list}

This command denotes the position where the reference list produced by
\BibTeX{} will be included in the document. The \Larg{bib-list} is a
comma separated list of \BibTeX{} database files.

\section{General requirements and restrictions}

This class was designed to work with \LaTeXe{} release 1999/06/01 or a
later version. Earlier releases may work but have not been tested.

With the exception of the packages \texttt{natbib} and \texttt{url} it
only requires files which are part of a standard \LaTeX{}
distribution, i.e., it should work if your installation contains the
following components:
\texttt{base}, \texttt{tools}, \texttt{graphics}, and \texttt{psnfss},
see \vref{tab:b} for files used to produce this document.

The most recent \LaTeX{} distribution as well as \texttt{natbib} and
\texttt{url} can be obtained from CTAN sites (Comprehensive \TeX{}
Archive Network).

Refer to \url{http://www.tug.org} for more information on CTAN and
\TeX{} in general.

A ready to run \TeX{} system for various platforms which has
everything required is available on CD-ROM, look into
\url{http://www.tug.org/texlive.html}.

This \TeX{} implementation is also made available as an add-on to
several books on \LaTeX, e.g., \cite{A-W:KD04,A-W:MG04}.

For loading individual packages from a CTAN archive refer to
\url{http://www.ctan.org} and search for the package name. Please omit
extensions such as \texttt{.sty} when searching, e.g., search for
\texttt{natbib} rather than \texttt{natbib.sty}, as such packages are
often distributed in source form only, e.g., as a \texttt{.dtx} file.

It is also possible to download a complete \TeX/\LaTeX{} installation
from CTAN, e.g., Miktex + Winedit + Ghostview. Finally, it is also
possible to download a CD-ROM image of the \TeX-live CD from CTAN
(roughly 300MB): search for \texttt{texlive} (and make sure you select
a suitable mirror near you).

\section{Special requirements for individual layouts}

\subsection{AIP proceeding layout 6x9}

\begin{itemize}
\raggedright
\item
 The entire paper will be reduced 15\% in the printing process. Please
 make sure all figures as well as the text within the figures are
 large enough in the manuscript to be readable in the finished book.
\item
 The use of the |\source| command is discouraged.
\item
 Compliant \BibTeX{} styles are \texttt{aipproc} (for use with
 \texttt{natbib}) and  \texttt{aipprocl} (if \texttt{natbib} is
 missing at the site).
\item
 The options \texttt{bibliocites} and \texttt{numberedheadings} have
 no effect.
\end{itemize}

\subsection{AIP proceeding layout 8x11 single/double}

\begin{itemize}
\raggedright
\item
 The use of the |\source| command is discouraged.
\item
 Compliant \BibTeX{} styles are \texttt{aipproc} (for use with
 \texttt{natbib}) and  \texttt{aipprocl} (if \texttt{natbib} is
 missing at the site).
\item
 The options \texttt{bibliocites} and \texttt{numberedheadings} have
 no effect.
\end{itemize}

\subsection{ARLO}

Note: the ARLO layout is no longer supported.

\begin{itemize}
\raggedright
\item
A copyright year (|\copyrightyear|) needs to be provided.

\item
Pacs numbers should be provided (|\classification|).

\item
  The \texttt{arlo} layout offers one additional environment to specify
  multimedia files:
\begin{verbatim}
\begin{multimedia}
 \multimediauid{523}
 \multimediatype{gif}
 \multimediasize{1.2Mb}
 \multimediaurl{http://yorktown.%
       eng.yale.edu/test/msXXX/}
 \multimediacaption{Fancy video}
 \label{fv}
\end{multimedia}
\end{verbatim}
  References to a multimedia file can be made using |\label| and
  |\ref|. Instead of the latter command |\multimediaref| can be used
to automatically get the appropriate frills, e.g., `Mm.~2' instead of
just `2' as produced by |\ref|.

\item
  Select the \texttt{draft} option for the initial submission and the
  copy-editing stage. Replace it by the \texttt{final} option when
  producing the final paper, so that page numbers and other
  items are stripped away.

\item
  To conform to the layout specification for citations the
  \texttt{natbib} system has to be installed.

\item
 For ARLO two compliant \BibTeX{} styles are available:
 \texttt{arlonum} should be used together with the class option
 \texttt{numcites}, while \texttt{arlobib} should be used together with
 the option \texttt{bibliocites}.

\item
 The options \texttt{bibliocites} and \texttt{numberedheadings} can be
 used to switch to author/year citation scheme and numbered headings,
 respectively.
\end{itemize}


\section{Introduction}
The renormalization group (RG) \cite{RGA, RGB, RGC}, fundamental to our conceptual understanding of quantum field theory and critical phenomena, is also the basis of important approaches to many-body problems. In RG methods, the microscopic Hamiltonian of an extended system is simplified through a sequence of coarse-graining transformations until a fixed point of the RG flow is reached. From this scale invariant fixed point, the universal, low energy properties of the phase can then be extracted. The RG is also at the core of certain holographic constructions, where the many-body system is regarded as the boundary of another system in one additional dimension corresponding to scale. A prominent example is the AdS/CFT duality \cite{AdSCFTA, AdSCFTB, AdSCFTC} of string theory, where a conformal field theory (CFT) in $d+1$ space-time dimensions is dual to a gravity theory in anti-de Sitter (AdS) space-time in $d+2$ dimensions.

Entanglement renormalization \cite{ERA, ERB} is a modern formulation of real-space RG for quantum systems on a lattice, based on the removal of short-range entanglement at each coarse-graining step. By concatenating coarse-graining transformations, one obtains the multi-scale entanglement renormalization ansatz (MERA) \cite{MERA}, an efficient tensor network representation of the many-body ground state, see Fig. \ref{fig:DirectedMERA}(a). The MERA spans an additional dimension corresponding to RG scale and is thus regarded as a lattice realization of holography \cite{WhatIsHolography, Swingle}. Importantly, this tensor network (and generalizations thereof \cite{BranchingA, BranchingB}) is expected to produce a holographic description of \textit{any} many-body system and, in particular, it is not restricted to operate in the so-called \textit{strong coupling, large-$N$} regime that produces a \textit{weakly coupled, semi-classical} gravity dual --- as required in many practical applications of the AdS/CFT correspondence \cite{AdSCFTA, AdSCFTB, AdSCFTC}. As a result, the MERA is a promising tool to gain insights into the structure of holography for a generic many-body system \cite{Swingle, Swingle2, BranchingA, BranchingB, Metric, AllA, AllB, AllC, AllD, AllE, Singh, LongCFT2}, regardless of whether it has e.g. a weakly coupled, semi-classical gravity dual. For instance, in Ref. \onlinecite{LongCFT2} the authors already used the MERA to explore the \textit{modular} character of holography ---namely the possibility of building a holographic description of a complex system by stitching together pieces (or modules) corresponding to the holographic description of simpler systems--- and apply it to the study of critical systems with impurities, boundaries, interfaces, and $Y$-junctions.

In this paper we propose a theory of \textit{minimal updates} in holography. Specifically, we address the following question: Given the ground states $\ket{\psi}$ and $\ket{\tilde{\psi}}$ of two Hamiltonians $H$ and $\tilde{H}$ that only differ in a region $\mathcal{R}$ of a $d$-dimensional lattice $\mathcal{L}$ \cite{dVersusdPlus1}, how much do we have to modify the holographic description of $\ket{\psi}$ in order to produce a holographic description of $\ket{\tilde{\psi}}$? We claim that the answer to this question can be formulated in simple geometric terms: \textit{ A holographic description for $\ket{\tilde{\psi}}$ can be obtained by modifying that of $\ket{\psi}$ only in the causal cone $\mathcal{C}(\mathcal{R})$ of region $\mathcal{R}$}, where $\mathcal{C}(\mathcal{R})$ is the part of the holographic description that traces the evolution of the region $\mathcal{R}$ under coarse-graining. This claim, supported by abundant numerical evidence \cite{LongCFT2}, will be justified here theoretically in terms of a notion of \textit{directed influence} in the RG flow, which we argue to also underpin the success of Wilson's numerical renormalization group (NRG) \cite{RGA, RGB, RGC, NRGreview} for impurity problems. Directed influence leads to an extremely compact, accurate holographic representation of a critical system with an impurity by minimally updating the MERA of a homogeneous system. More generally, as argued in Ref. \onlinecite{LongCFT2}, directed influence implies the modular character of holography.

\begin{figure}[!tbph]
\begin{center}
\includegraphics[width=8.5cm]{F1DirectedMERA.eps}
\caption{ (a) MERA tensor network for the ground state $\ket{\psi}$ of a lattice Hamiltonian $H$ in $d=1$ space dimensions (modified binary scheme of Ref. \onlinecite{LongCFT1}). Scale and translation invariance result in a compact description: two tensors ($u,w$) are repeated throughout the infinite tensor network.
(b) The ground state $\ket{\tilde{\psi}}$ of the Hamiltonian $\tilde{H} = H + H_{\mathcal{R}}^{\imp}$ is represented by a MERA with the same tensors ($u,w$) outside the causal cone $\mathcal C(\mathcal R)$ (shaded). Inside, scale invariance implies again a very compact description: two new tensors ($\tilde{u},\tilde{w}$) repeated throughout the semi-infinite causal cone. (c-d) The same illustrations, without drawing the tensors of the network.}
\label{fig:DirectedMERA}
\end{center}
\end{figure}

For concreteness, let us consider a hypercubic lattice $\mathcal{L}$ in $d$ space dimensions, and a particular MERA for the ground states $\ket{\psi}$ and $\ket{\tilde{\psi}}$ of $H$ and $\tilde{H}$ based on a coarse-graining transformation that maps a hyper-cubic block of $2^d$ sites into one effective site, as illustrated for $d=1$ in Fig. \ref{fig:DirectedMERA}(a) \cite{ManyMERASchemes}. We emphasize that the MERA describes both the ground state of the system and a sequence of coarse-graining transformations, where the latter are labeled with a scale parameter $s$, with $s\in \{0,1,2,\cdots\}$. To simplify the notation, we will assume that $H$ is a translation invariant, quantum critical Hamiltonian corresponding to a fixed-point of the RG flow, so that $\ket{\psi}$ is invariant both under translations and changes of scale. Accordingly the MERA for $\ket{\psi}$ can be completely specified by a single pair ($u,w$) of tensors that are repeated throughout the entire tensor network \cite{Giovannetti, Pfeifer, LongCFT1}. [However, the proposed minimal updates do not require translation or scale invariance.]

\section{Causal cones}
The causal cone $\mathcal{C}(\mathcal{R})$ of a region $\mathcal{R}$ of the lattice $\mathcal{L}$, see Fig. \ref{fig:DirectedMERA}(b), was originally defined as the part of the holographic tensor network that can affect the properties of the state $\ket{\psi}$ in region $\mathcal{R}$ \cite{MERA}. The peculiar structure of causal cones in the MERA is the key reason why one can \textit{efficiently} compute expectation values of local observables from this tensor network \cite{Algorithms}. Here we argue that the causal cone $\mathcal{C}(\mathcal{R})$ also defines the region of the MERA that needs to be updated in order to account for a change of the Hamiltonian in region $\mathcal{R}$, Fig. \ref{fig:DirectedMERA}(c)-(d). We emphasize that this new role of the causal cones, of clear physical significance and (as we will argue) ultimately connected to the existence of different energy scales in the Hamiltonian $H$, is unrelated to the computational considerations that guided the design of the MERA \cite{MERA,Algorithms}.
Geometrically, the causal cone $\mathcal{C}(\mathcal{R})$ is the part of the tensor network that contains the evolution of region $\mathcal{R}$ under successive coarse-graining transformations. To further simplify the analysis, we will assume that $\mathcal{R}$ is a hyper-cubic region $\mathcal{R}$ made of $2^d$ sites \cite{ModularityAlsoForLargeR}. This region can be see to be mapped into an identical hyper-cubic region with $2^d$ sites under coarse-graining transformations (see Appendix \ref{ApdxA}).

\section{Minimal update}
Let us now consider the ground state $\ket{\tilde{\psi}}$ of Hamiltonian $\tilde{H} = H + H_{\mathcal{R}}^{\imp}$, where $H_{\mathcal{R}}^{\imp}$ accounts for an impurity on the hyper-cubic region $\mathcal{R}$ made of $2^d$ sites. Our claim is that a MERA for $\ket{\tilde{\psi}}$ can be obtained from the MERA for the ground state $\ket{\psi}$ in the absence of the impurity by simply replacing, inside the causal cone $\mathcal{C}(\mathcal{R})$, the tensors ($u$, $w$) with new tensors. Specifically, if the impurity is itself already a new RG fixed-point (e.g. a conformal defect in a CFT \cite{ConformalDefect}), which implies that $\ket{\tilde{\psi}}$ is still scale invariant, then the entire causal cone $\mathcal{C}(\mathcal{R})$ can be completely specified by a single new pair ($\tilde{u}$, $\tilde{w}$) of tensors, see Fig. \ref{fig:DirectedMERA}(b).

In Ref. \onlinecite{LongCFT2,BoundaryMERA} we have presented abundant numerical evidence supporting the validity of the proposed minimal update, and have argued that this construction naturally reproduces: ($i$) the power-law scaling of expectation values of local observables (e.g. of the local magnetization in the case of a magnetic impurity) with the distance to the impurity; and ($ii$) the set of new scaling operators and scaling dimensions attached to the impurity \cite{ConformalDefect}. The above compact description in terms of just two pairs of tensors $\{(u, w), (\tilde{u}, \tilde{w})\}$, valid even in the thermodynamic limit, is somewhat surprising. After all, one would expect that coarse-graining the impurity system, which is not translation invariant, would require the use of different coarse-graining tensors $(u(x), w(x))$ at different locations $x$ of lattice $\mathcal{L}$. Accordingly, the number of variational parameters, proportional to the number of different tensors in the MERA, would grow linearly in the size of the system. Instead, by only updating the causal cone $\mathcal{C}(\mathcal{R})$ [which amounts to exploiting the translation invariance of Hamiltonian $H$ to describe the ground state of $\tilde{H}$] we can address an impurity system directly in the thermodynamic limit, and thus avoid finite size effects when extracting the universal properties of the critical impurity \cite{BoundaryMERA,LongCFT2}.

Similar constructions are also possible for more complex systems, including systems with a boundary, an interface or a $Y$-junction, see Fig. \ref{fig:Defects}, for which recursive application of minimal updates leads to the modular MERA, as discussed in \cite{LongCFT2}. Below we shall argue that the validity of the proposed minimal update follows a more fundamental property of RG flows, that we call directed influence. In order to discuss the latter, we must first introduce an effective lattice model that describes the causal cone $\mathcal{C}(\mathcal{R})$.

\begin{figure}[!tbph]
\begin{center}
\includegraphics[width=8.5cm]{F2Defects.eps}
\caption{
Updating only the causal cone of $\mathcal{R}$ also produces a simple holographic description of a scale-invariant boundary, in terms of tensors $(u,w)$ in the bulk and a boundary tensor $\tilde{w}$, as described in Ref. \onlinecite{BoundaryMERA}. More complex systems, such as (b) an interface, and (c) a $Y$-junction, can be similarly described by a \textit{modular} MERA, consisting of a bulk tensors $(u_{\alpha}, w_{\alpha})$ for each type of material $\alpha$ ($\alpha = A,B,\cdots$) and defect tensors $(\tilde{u},\tilde{w})$ that glue the different modules together \cite{LongCFT2}.
}
\label{fig:Defects}
\end{center}
\end{figure}

\section{Wilson chain}
We call the \textit{Wilson chain} of region $\mathcal{R}$, denoted $\mathcal{L}^{\Wilson}_{\mathcal{R}}$, the semi-infinite, one-dimensional lattice built by coarse-graining the $d$-dimensional lattice $\mathcal{L}$ by all the tensors in the MERA that lay outside the causal cone $\mathcal{C}(\mathcal{R})$. More precisely, each site of the Wilson chain $\mathcal{L}^{\Wilson}_{\mathcal{R}}$ is uniquely labeled by a value of the scale parameter $s$ and it collects together all the effective sites at scale $s$ obtained through the above coarse-graining, see Fig. \ref{fig:DirectedMPS}(a)-(b). By construction, site $s$ of $\mathcal{L}^{\Wilson}_{\mathcal{R}}$ effectively represents the $O(2^{ds})$ sites of $\mathcal{L}$ located roughly at a distance [measured in lattice spacing] $2^s$ away from region $\mathcal{R}$. Thus, progressing from site $s$ to site $s+1$ of the Wilson chain $\mathcal{L}^{\Wilson}_{\mathcal{R}}$ corresponds to simultaneously increasing length scale and moving away from region $\mathcal{R}$.

\begin{figure}[!tbph]
\begin{center}
\includegraphics[width=8.5cm]{F3DirectedMPS.eps}
\caption{
(a) Tensors inside the causal cone $\mathcal{C}(\mathcal{R})$ in $d=1$ dimensions. Site $s$ of the Wilson chain $\mathcal{L}^{\Wilson}_{\mathcal{R}}$ corresponds to the two effective sites at scale $s$. By replacing three tensors $(u,w,w)$ with a single tensor $v$, we obtain an MPS representation of the ground state of $H^{\Wilson}_{\mathcal{R}}$.
(b) Equivalent construction in $d=2$ dimensions. In this case, 12 effective sites at scale $s$ become a single site of $\mathcal{L}^{\Wilson}_{\mathcal{R}}$, whereas each MPS tensor $v$ corresponds to five tensors $(u,w,w,w,w)$.
(c)-(d) Directed influence: changing the Wilson chain Hamiltonian $H^{\Wilson}_{\mathcal{R}}$ on site $s^{*}$ results in a new ground state MPS where only tensors $v_s$ for scales $s\geq s^*$ are updated.
}
\label{fig:DirectedMPS}
\end{center}
\end{figure}

The Wilson chain is equipped with an effective Hamiltonian $H^{\Wilson}_{\mathcal{R}}$, obtained by coarse-graining $H$, of the form
\begin{equation}\label{eq:hWilson}
    H^{\Wilson}_{\mathcal{R}} = h_{[0]} + \sum_{s=0}^{\infty} \Lambda^{-s} h^{\Wilson}_{[s,s+1]}.
\end{equation}
The nearest neighbor term $\Lambda^{-s} h^{\Wilson}_{[s,s+1]}$ consists of a two-site hermitian operator $h^{\Wilson}_{[s,s+1]}$ that is \textit{independent} of $s$, multiplied by a negative power of an amplitude $\Lambda > 1$, which takes the value $\Lambda=2^{z}$, where $z$ is the dynamic critical exponent of $H$ (e.g. $z=1$ for Lorentz invariant quantum critical points), see Appendix \ref{ApdxD} for details and also Refs. \onlinecite{LongCFT2,BoundaryMERA} for complimentary derivations of the effective Hamiltonian for the Wilson chain.

The structure of the one-dimensional Hamiltonian $H^{\Wilson}_{\mathcal{R}}$, with exponentially decaying nearest-neighbor terms, is similar to that obtained by Wilson as part of his resolution of the Kondo impurity problem -- a single impurity in a three dimensional bath of three fermions \cite{RGA, RGB, RGC}. However, we note that while having a free fermion bath was key in Wilson's derivation of an effective one-dimensional lattice model, here we use the MERA to (at least in principle) address non-perturbatively any type of $d$-dimensional bath.

\section{Directed influence} Following Wilson's NRG method \cite{RGA, RGB, RGC, NRGreview} (see Appendix \ref{ApdxB}), the ground state of $H^{\Wilson}_{\mathcal{R}}$ can be obtained by identifying, progressing iteratively over $s$, the low energy subspace $\mathbb{H}_s$ of the first $s+1$ sites of $\mathcal{L}^{\Wilson}_{\mathcal{R}}$,
\begin{equation}\label{eq:Hsub}
    \mathbb{H}_s \subseteq \mathbb{V}_0 \otimes \mathbb{V}_1 \otimes \cdots \otimes \mathbb{V}_s,
\end{equation}
where $\mathbb{V}_s$ is the vector space of site $s$ in $\mathcal{L}^{\Wilson}_{\mathcal{R}}$. More specifically, $\mathbb{H}_s$ is chosen (by means of a suitable energy minimization) to be the low energy subspace of $\mathbb{H}_{s-1} \otimes \mathbb{V}_{s}$, and is characterized by a linear map $v_s$,
\begin{equation}\label{eq:v}
    v_s:\mathbb{H}_s \rightarrow \mathbb{H}_{s-1} \otimes \mathbb{V}_s.
\end{equation}
Then the tensors $\{v_1,v_2, \cdots\}$ form a \textit{matrix product state} (MPS) \cite{MPSA, MPSB} representation of the ground state of $H^{\Wilson}_{\mathcal{R}}$.

For the present purposes, the most important feature of the NRG method is that the low energy subspace $\mathbb{H}_s$ (equivalently, tensor $v_s$) only depends on the restriction of the Hamiltonian to sites $\{0,1, \cdots, s\}$,
\begin{equation}\label{eq:terms}
    h_{[0]} + \Lambda^0 h^{\Wilson}_{[0,1]} + \Lambda^{-1} h^{\Wilson}_{[1,2]} + \cdots + \Lambda^{-s+1} h^{\Wilson}_{[s-1,s]},
\end{equation}
and not on the Hamiltonian terms related to larger length scales. In other words, if we modify the Hamiltonian at some site $s^*$, then NRG produces an MPS representation of the new ground state where only the tensors $v_s$ for $s\geq s^*$ are modified, see Fig. \ref{fig:DirectedMPS}(c)-(d). That is, assuming the validity of the NRG approach, changes in the Hamiltonian at length scale $s^{*}$ only affect the ground state representation at larger length scales, a property that we refer to as \textit{directed influence} in the RG flow. We emphasize that the validity of Wilson's NRG, and thus also directed influence, relies heavily on the factor $\Lambda^{-s}$ to induce a separation of energy scales in the problem. When such a separation of energy scales is present, then the treatment of one energy scale at a time as prescribed by the NRG approach can be justified from perturbation theory (see Appendix \ref{ApdxB}). In the absence of such a factor the NRG approach would typically fail \cite{DMRG}, such that directed influence would also fail, and a change in the Hamiltonian at length scale $s^{*}$ could affect the ground state representation at all length scales $s$.

We are finally ready to show that the validity of the proposed minimal update in the MERA follows from assuming the validity of directed influence in Wilson chains. Let us modify the Hamiltonian from $H$ to $\tilde{H} = H + H^{\imp}_{\mathcal{R}}$ to account for an impurity, and study how the ground state MPS for different Wilson chains (corresponding to different regions of lattice $\mathcal{L}$) must react to this change according to directed influence.

\begin{figure}[!tbph]
\begin{center}
\includegraphics[width=8.5cm]{F4MERAproof.eps}
\caption{
(a) The causal cones $\mathcal{C}(\mathcal{R})$ and $\mathcal{C}(\mathcal{S})$ for two regions $\mathcal{R}$ and $\mathcal{S}$ separated by $r$ sites become coincident at scale $s^* \approx \log_2(r)$.
(b) MPS representation of the ground state in the Wilson chain $\mathcal{L}^{\Wilson}_{\mathcal{S}}$.
(c) In the presence of an impurity in region $\mathcal{R}$, a minimal update change only the tensors inside $\mathcal{C}(\mathcal{R})$. This amounts to changing the tensors inside $\mathcal{C}(\mathcal{S})$ only at scales $s\geq s^{*}$.
(d) Directed influence justifies this minimal update of tensors in the MERA: Hamiltonians $H^{\Wilson}_{\mathcal{S}}$ and $\tilde{H}^{\Wilson}_{\mathcal{S}}$ only differ at scale $s^{*}$, and therefore the tensors in the causal cone $\mathcal{C}(\mathcal{S})$ indeed only need to be updated at length scales $s\geq s^{*}$.
}
\label{fig:MERAproof}
\end{center}
\end{figure}

First, we notice that the effective Hamiltonian of the Wilson chain $\mathcal{L}^{\Wilson}_{\mathcal{R}}$ for the causal cone $\mathcal{C}(\mathcal{R})$ is modified from $H^{\Wilson}_{\mathcal{R}}$ in Eq. \ref{eq:hWilson} to
\begin{equation}\label{eq:htildeWilson}
    \tilde{H}^{\Wilson}_{\mathcal{R}} = \tilde{h}_{[0]} + \sum_{s=0}^{\infty} \Lambda^{-s} h^{\Wilson}_{[s,s+1]}.
\end{equation}
where $\tilde{h}_{[0]} = h_{[0]} + H^{\imp}_{\mathcal{R}}$ includes the impurity Hamiltonian. In this case, directed influence tells us to change all the tensors in the MPS representation of the ground state of $\tilde{H}^{\Wilson}_{\mathcal{R}}$. This is equivalent to the announced modification of all the tensors in the causal cone $\mathcal{C}(\mathcal{R})$ of the MERA representation of the ground state $\ket{\tilde{\psi}}$ of $\tilde{H}$.

Second, let us consider the causal cone $\mathcal{C}(\mathcal{S})$ of another small region $\mathcal{S}$ of the original lattice $\mathcal{L}$ that is diplaced $\vec r$ from $\mathcal R$, and the corresponding Wilson chain $\mathcal{L}^{\Wilson}_{\mathcal{S}}$, see Fig. \ref{fig:MERAproof}. Here we see that the effective Hamiltonians $H^{\Wilson}_{\mathcal{S}}$ and $\tilde{H}^{\Wilson}_{\mathcal{S}}$, corresponding to the homogeneous and impurity systems respectively, only differ at the length scale $s^* \sim \log_2 |\vec r|$, where the causal cones $\mathcal{C}(\mathcal{R})$ and $\mathcal{C}(\mathcal{S})$ become coincident. Directed influence implies that the MPS representations of the ground states of $H^{\Wilson}_{\mathcal{S}}$ and $\tilde{H}^{\Wilson}_{\mathcal{S}}$ only need to differ at scales $s\geq s^*$, i.e. that the tensors in $\mathcal C(\mathcal S)$ at scales $s<s^*$, which lie outside of the causal cone $\mathcal C(\mathcal R)$, may be left unchanged. This argument is general for any local region $\mathcal S$, thus justifying the proposal of minimal updates in MERA.

\section{Discussion} The holographic description of a many-body system based on real-space RG is not unique. Since the MERA is built by concatenating several coarse-graining transformations, there is indeed some freedom as to how we choose to coarse-grain the system at a given length scale, provided that we compensate for our choice when coarse-graining the system at larger length scales. The minimal update discussed in this paper corresponds to a particular choice of this freedom in coarse-graining. By restricting the update to the causal cone $\mathcal{C}(\mathcal{R})$ of region $\mathcal{R}$, an impurity that is initially localized in space remains localized in space under coarse-graining, and this leads to a very efficient holographic description of $\ket{\tilde{\psi}}$ \cite{NoDMRG}. We conclude with remarks on how the structure of minimal updates in the MERA may translate into a property of the AdS/CFT correspondence \cite{AdSCFTA, AdSCFTB, AdSCFTC}. It is natural to speculate that the non-uniqueness of MERA descriptions, originating in the freedom existing in real-space coarse-graining, is closely related to diffeomorphism invariance in the bulk of the gravity dual. Accordingly, the minimal updates discussed in this paper would be possible also in the gravity dual of the AdS/CFT correspondence after a proper choice of gauge. However, making these ideas more concrete may first require a better understanding of the bulk metric in the MERA \cite{Metric,Swingle2}.

The authors thank Davide Gaiotto, Rob Myers, and Brian Swingle for insightful comments. G.E. is supported by the Sherman Fairchild Foundation.