Centralizer of a stabilizer group (source code)

= Centralizer of a stabilizer group

The Pauli centralizer $C(S)$ consists of Pauli operators commuting with every stabilizer. Elements of $C(S)\setminus S$, modulo stabilizers and phases, are the nontrivial logical Pauli operators.