1: \begin{definition}

2: The \textbf{\textquotedblleft quadratic overlapper\textquotedblright\ }is the

3: operation $\mathcal{R}^{\text{QO}}:B^{1}\left(  \mathcal{K}\right)

4: \rightarrow B^{1}\left(  \mathcal{L}\right)  $ defined by%

5: \begin{equation}

6: \mathcal{R}^{\text{QO}}\left(  \upsilon_{\mathcal{K}}\right)

7: =\operatorname*{Tr}_{\mathcal{E}}G_{\mathcal{K}\rightarrow

8: \mathcal{\mathcal{LE}}}^{\left(  +\right)  }\upsilon_{\mathcal{K}}\left(

9: G_{\mathcal{K}\rightarrow\mathcal{\mathcal{LE}}}^{\left(  +\right)  }\right)

10: ^{\dag}\text{,}\label{eq def PGO}%

11: \end{equation}

12: where $G_{\mathcal{K}\rightarrow\mathcal{\mathcal{LE}}}\in V_{\mu,\phi}$ is

13: the \textquotedblleft small-angle guess\textquotedblright\ of Lemma

14: \ref{lemma construction of overlap guess}, with directional iterate

15: $G_{\mathcal{K}\rightarrow\mathcal{\mathcal{LE}}}^{\left(  +\right)  }$ given

16: by equations $\ref{eq for JRF iterate for overlap problem}$%

17: -$\ref{formula Q for overlap problem}$ of Theorem

18: $\ref{Theorem iteration for overlap purifications}$.

19: \end{definition}