The <centralizer of a stabilizer group> is
$$
C(\mathcal S)=\{P\in\mathcal P_n:PS=SP\text{ for every }S\in\mathcal S\}.
$$
The nontrivial logical Pauli operators are represented by
$$
\operatorname{LO}_{\mathcal S}=C(\mathcal S)\setminus\mathcal S,
$$
or more invariantly by the quotient $C(\mathcal S)/\mathcal S$ after phases are removed.

For $P=E_a^\dagger E_b$, there are three cases. If $P\in\mathcal S$, it acts as a scalar on the code. If $P\notin C(\mathcal S)$, it anticommutes with a stabilizer and $\Pi_{\mathcal L}P\Pi_{\mathcal L}=0$. If $P\in C(\mathcal S)\setminus\mathcal S$, it acts as a nontrivial logical operator and is not proportional to the identity. Therefore
$$
\boxed{
\text{the KL conditions hold}
\iff E_a^\dagger E_b\notin\operatorname{LO}_{\mathcal S}
\quad\text{for every }a,b.}
$$

Solution

Past exam of the mathematics course of the University of Cambridge / 2025 / iii / Paper 342 / 2 / b / Solution

 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/iii/paper-342/2/b/solution