1: \begin{thebibliography}{1}
2:
3: \bibitem{GHT2005}
4: G.~Gilbert, {\em{et al.}},
5: \newblock {\em arXiv:quant-ph/0507141}.
6:
7: \bibitem{f10}
8: The superoperators $\mathcal{M}_{\{\mathrm{l}\rightarrow\mathrm{c}\}}$ and
9: $\mathcal{M}_{\{\mathrm{c}\rightarrow\mathrm{l}\}}$ are noiseless operations and do not represent transformations carried out by physical devices. These superoperators are {\em linking maps} that are mathematically required to relate states in the logical space $H_\mathrm{logical}$ to states in the computational space $H_\mathrm{comp}$. Since physical encoding and decoding operations must be performed by physical devices and are therefore subject to noise, such physical operations are properly a part of the operation described by $P$ and {\em not} of $\mathcal{M}_{\{\mathrm{l}\rightarrow\mathrm{c}\}}$ and
10: $\mathcal{M}_{\{\mathrm{c}\rightarrow\mathrm{l}\}}$.
11:
12: \bibitem{Preskill}
13: J.~Preskill,
14: \newblock Proc. Roy. Soc. Lond. A {\bf 454}, 385 (1998).
15:
16: \bibitem{Lidar}
17: D.~A.~Lidar, D.~Bacon, K.~B.~Whaley,
18: \newblock Phys. Rev. Lett. {\bf 84}, 4556 (1999).
19:
20: \bibitem{CMT}
21: G.~Gilbert,
22: {\em{et al.}},
23: \newblock {\em arXiv:quant-ph/0510116}.
24:
25: \bibitem{f11}
26: The quantum computational implementation inaccuracy, $\alpha$, should not be confused with thresholds for fault-tolerant quantum computation. The relationship between them is discussed in \cite{GHT2005}.
27:
28: \bibitem{f12}
29: The formulations, results and proofs presented and obtained here will be generalized to the case of non-Markovian underlying dynamics in a subsequent paper. There we will also consider time-dependent generalizations of the operators $A$, as well as time-dependent {\em perturbations} of $A$, and other variations of the dynamical parameters, such as variation in the strong topology instead of the overly restrictive norm topology.
30:
31: \bibitem{Friesen}
32: \newblock M.~Friesen, {\em{et al.}},
33: \newblock Appl. Phys. Lett., {\bf 81}, 4619 (2002).
34:
35: \bibitem{kitaev1997}
36: A.~Kitaev,
37: \newblock Russian Mathematical Surveys, {\bf 52}, 1191 (1997).
38:
39: \bibitem{f13}
40: Note that in \cite{aharonov98quantum}, Kitaev and co-authors discuss gates that may
41: be subject to noise. However, no specific connection between classical and quantum computation is developed in \cite{aharonov98quantum}. Our treatment provides quantitative, specific relations between the ideally defined quantum computation, $U$, the implementation inaccuracy thereof, $\alpha$, the instability of the actual open quantum system evolution, $P$, and the success probability, $p+\alpha$, of the classical computation, $F$.
42:
43: \bibitem{f14}
44: It is important to note that the probabilistic inaccuracy of the classical computation, $p$, and the implementation inaccuracy of the quantum computation, $\alpha$, are independent quantities.
45:
46: \bibitem{f15}
47: Since the perturbation $P\rightarrow P^\prime$ results in the replacement $\alpha\rightarrow\alpha^\prime$, stable computation requires that $\alpha^\prime + p < 1/2$.
48:
49: \bibitem{NielsenChuang}
50: M.~Nielsen, I.~Chuang,
51: \newblock {\em{Quantum Computation and Quantum Information}},
52: Cambridge University Press, Cambridge (2000).
53:
54: \bibitem{aharonov98quantum}
55: D.~Aharonov, {\em{et al.}},
56: \newblock Proceedings of the Thirtieth Annual ACM Symposium on Theory of Computation (STOC), 20, (1997).
57:
58: \bibitem{watrous}
59: B. Rogsen, J. Watrous,
60: \newblock {\em arXiv:cs.CC/0407056}.
61:
62: \bibitem{f16}
63: The QCC is a necessary condition in the sense that the SO norm is the smallest possible norm for which Theorem \ref{basic-probabilistic-estimate} holds.
64:
65: \bibitem{f17}
66: We note that the authors of \cite{aharonov98quantum} make use of the diamond norm of a difference of superoperators to bound the accumulation of errors in a quantum circuit.
67: However, since their analysis makes use of the diamond norm, their formulation does not properly account for the general situation in which the constituent states become correlated with the environment.
68:
69:
70: \end{thebibliography}
71: