diff --git a/thesis/chapters/stabilizer.tex b/thesis/chapters/stabilizer.tex index a81ed77..edda92d 100644 --- a/thesis/chapters/stabilizer.tex +++ b/thesis/chapters/stabilizer.tex @@ -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}