fixed some minor issues

This commit is contained in:
Daniel Knüttel 2019-12-17 10:56:09 +01:00
parent ee3f52198f
commit ebbd86ea93

View File

@ -95,10 +95,10 @@ measuring a qbit is given by the following lemma:
\begin{enumerate}
\item{If $J = \{\}$, one value is measured with probability $1$ and the stabilizers are unchanged.}
\item{If $J \neq \{\}$, $1$ and $0$ are measured with probability $\frac{1}{2}$ and the new state
$\ket{\psi'}$ is stabilized by
\item{If $J \neq \{\}$, $1$ and $0$ are measured with probability $\frac{1}{2}$ and after choosing
a $j \in J$ the new state $\ket{\psi'}$ is stabilized by
\begin{equation}
\langle \{(-1)^s g_a\} \cup \{K_G^{(i)} K_G^{(j)} | j \in J, i \in J \setminus \{j\} \} \cup \{K_G^{(i)} | i \in J^c\}\rangle
\langle \{(-1)^s g_a\} \cup \{S_i S_j | i \in J \setminus \{j\} \} \cup \{S_i | i \in J^c\}\rangle
\end{equation}}
\end{enumerate}
\end{lemma}