Stabilizer groups#

Among the many subgroups of the Pauli group $\group{P}_n$, there is a particular type of subgroups, called the stabilizer group $S$, which satisfy the following properties, in addition to the group axioms:

  • All pairs of elements in $S$ commute, i.e. for every $P,Q \in S$, we have $PQ = QP$.
  • $-I = - I_0 \otimes I_1 \otimes \cdots \otimes I_{n-1}$ is not a part of $S$.

We will see later on why these properties are useful, but for now, let's try to create some examples of these groups so we can build some intuition.

Example: Let \begin{align} P_0 &= I \otimes I \otimes I, \\ P_1 &= Z \otimes Z \otimes I, \\ P_2 &= Z \otimes I \otimes Z, \\ P_3 &= I \otimes Z \otimes Z, \end{align} and consider the subset, \begin{equation} S = \set{P_0, P_1, P_2, P_3}, \end{equation} of $\group{P}_3$.

Task 1 (On paper)#

Produce the multiplication table of the subgroup $S$ defined in example above, to show that $S$ is closed under multiplication and hence a subgroup of $\group{P}_3$. (We will often just write $I$ instead of $P_0 = I\otimes I \otimes I$.)

$\times$ $I$ $P_1$ $P_2$ $P_3$
$I$
$P_1$
$P_2$
$P_3$

Further, we claim that $S$ is a stabilizer group.

  • From the multiplication table you just created, you can also read off the commutation relations. You can verify that all elements of $S$ commute.
  • Moreover $-I$ is not part of $S$, so the second property is trivially satisfied.

Task 2 (On paper)#

One way of constructing subgroups is to start with a subset of elements of the group. We multiply these elements together in every way possible. Whenever we create an element that is not part of the subset, we add it to the subset. Eventually, we will have exhausted all possible multiplications and we will have a subset closed under multiplication.

Take $P_1 = X \otimes X \otimes I$ and $P_2 = I \otimes X \otimes X$.

  • Multiply them together in every combination, till you find a set of elements that is closed.

  • Write down the multiplication table of this group, and verify that this is a stabilizer group.

Generators of a group#

This is an opportune moment to introduce the notion of the generators of a group. The generators of a group can be used to construct all other elements of the group.

Example: In the first example above, every element in the group is some product of $P_1$ and $P_2$, \begin{align} I \otimes I \otimes I &= P_1^2 = P_2^2, \\ Z \otimes Z \otimes I &= P_1, \\ I \otimes Z \otimes Z &= P_2, \\ Z \otimes I \otimes Z &= P_1P_2. \end{align} Therefore, $P_1$ and $P_2$ are called the generators of the group $S$.

The generators of a group is a subset of elements of the group, and that can be used to construct all elements of the group. The generators are not unique.

Example: In Task 2, you created a group generated by $X \otimes X \otimes I$ and $I \otimes X \otimes X$.

Question: Show that the stabilizer group in the first example, can be generated by $P_1$ and $P_3$ as well, i.e. show how to write every element of the group in terms of these two elements.

The advantage of identifying the generators for stabilizer groups is that they reduce the storage space for specifying a group. This is because of two properties.

  • Property of stabilizer groups: All elements commute.
  • Property of all Pauli operators: $P^2$ is either $I$ or $-I$.

Let $S$ be a stabilizer group, with generators $\set{g_i}_{i=0}^{m-1}$. The first property means that we can write any element $h$ in $S$ as the product. \begin{equation} h = g_0^{j_0} g_1^{j_1} \cdots g_{m-1}^{j_{m-1}}, \end{equation} where we don't care about the order of the generators in the product. The power of $j_i$ on each generator tells us how many times it appears in the product in order to create $h$.

The second property means that $j_i$ can only be $0$ or $1$.

This means that any element $h$ is completely specified by the bitstring $(j_0, j_1, \dots, j_{m-1})$. Recognizing that there are $2^m$ such strings, the following lemma immediately follows.

Lemma: If $S$ has $m$ generators, then it has $2^m$ elements.

To work with stabilizer codes, we will be depending highly on generators of the stabilizer groups.

Task 3 (On paper)#

Determine the bitstring representation of all elements in $S$ for

  • Example 1
  • Task 2

States stabilized by stabilizer groups#

In stabilizer states, we saw that multiple operators can stabilize the same state.

Since, stabilizer groups are just a set of operators, a very natural question to ask is, what states are stabilized by these operators?

Example: Above, we created the stabilizer group \begin{equation} S = \set{I \otimes I \otimes I, Z \otimes Z \otimes I, Z \otimes I \otimes Z, I \otimes Z \otimes Z}. \end{equation} Let's try to construct the state simultaneously stabilized by all these operators.

  • The identity stabilizes all states.
  • We already know that $Z \otimes Z \otimes I, I \otimes Z \otimes Z$ jointly stabilize $\set{\ket{000},\ket{111}}$.
  • It's easy to discover that $Z \otimes I \otimes Z$ has stabilizer states $\set{\ket{000}, \ket{010}, \ket{101}, \ket{111}}$.

Hence, the common intersection is $\set{\ket{000},\ket{111}}$. Therefore,

The group $S$ stabilizes the states $\set{\ket{000},\ket{111}}$, and any of their linear combinations.

We note that $\set{\ket{000},\ket{111}}$ is the basis of the repetition code. The connection between $S$ and repetition code will be fleshed out in the next notebook.

Generators are sufficient to determine the stabilizer states of a group#

Actually, we are doing too much work in determining the stabilizer states. Each element of $S$ is specified by a product of two generators $P_1$ and $P_2$. Note the following two self-evident properties.

  • If $P_1$ and $P_2$ both stabilize a state $\ket{\psi}$, then any $h \in S$ (which is just some product of $P_1$ and $P_2$) will also stabilize $\ket{\psi}$.

  • If $P_1$ or $P_2$ don't stabilize a state, then that state cannot be included in our final set of states.

Taken together this means that we only need to determine states that are stablized by the all generators to determine the states stabilized by the stabilizer group.

Lemma: The basis of states stabilized by a stabilizer group $S$, is the intersection of states stabilized by the generators of $S$.