About the structure of the Pauli group, which is the group generated by tensor products of the Pauli matrices, including the identity. It has nice algebraic properties which are useful in many areas of quantum information science, in particular quantum error correction and classical simulations of some types of quantum computation. We will discuss how certain subgroups of the Pauli group, and in particular stabilisers and normalisers of these subgroups, slice the Pauli group into interesting cosets that have a group structure of their own. We will also look at the Clifford group, which is a set of unitary operators that preserve the Pauli group under conjugation and describes the easy part of quantum computation.
We have already seen the (single-qubit) Pauli matrices, along with a brief look into their algebraic structure, in Section 3.3.
Recall that these matrices span the entire space of
As one final reminder, we often refer to the Pauli matrices as “matrices”, but they are defined as operators by the commutations relations, without reference to any particular basis.
That is, the Pauli operators