1: \begin{definition}[Quantum error probability]

2: The {\em quantum error probability} of a sampling strategy $\Psi = (P_T,P_S,f)$ is defined as the following value, parametrized by $0 < \delta < 1$: 

3: \[

4: \Qep = \max_{\H_E} \max_{\ket{\varphi_{AE}}}\min_{\tilde{\rho}_{TSAE}} \dist(\rho_{TSAE},\tilde{\rho}_{TSAE}) \, ,

5: \]

6: where the first $\max$ is over all finite-dimensional state spaces $\H_E$, the second $\max$ is over all state vectors $\ket{\varphi_{AE}} \in \H_A \otimes \H_E$, and the $\min$ is over all ideal states $\tilde{\rho}_{TSAE}$ as in \eqref{eq:IdealState}.%

7: \footnote{It is not too hard to see, in particular after having gained some more insight via the proof of Theorem~\ref{thm:quanterr} below, that these $\min$ and $\max$ exist. }

8: \end{definition}

9: