Existence of Pauli-like stabilizers for every quantum error-correcting code

Jhih-Yuan Kao,Hsi-Sheng Goan
DOI: https://doi.org/10.1103/PhysRevA.108.032414%7D
2023-08-30
Abstract:The Pauli stabilizer formalism is perhaps the most thoroughly studied means of procuring quantum error-correcting codes, whereby the code is obtained through commutative Pauli operators and ``stabilized'' by them. In this work we will show that every quantum error-correcting code, including Pauli stabilizer codes and subsystem codes, has a similar structure, in that the code can be stabilized by commutative ``Paulian'' operators which share many features with Pauli operators and which form a \textbf{Paulian stabilizer group}. By facilitating a controlled gate we can measure these Paulian operators to acquire the error syndrome. Examples concerning codeword stabilized codes and bosonic codes will be presented; specifically, one of the examples has been demonstrated experimentally and the observable for detecting the error turns out to be Paulian, thereby showing the potential utility of this approach. This work provides a possible approach to implement error-correcting codes and to find new codes.
Quantum Physics,Information Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: **Prove that every quantum error - correcting code (including Pauli stabilizer codes and subsystem codes) can be stabilized by a set of commuting "Paulian" operators, and these operators have many similarities with Pauli operators, forming a Paulian stabilizer group.** Specifically, the goal of the paper is to show how to find a set of "Paulian" operators similar to Pauli operators for any quantum error - correcting code, so that these operators can be used to detect and correct errors. This will provide a new method for implementing quantum error - correcting codes and help to discover new quantum error - correcting codes. ### Main contributions of the paper 1. **Existence of Paulian stabilizer group**: - It is proved that every quantum error - correcting code can be stabilized by a set of commuting Paulian operators. - These operators can be measured by controlled - gate operations to obtain error syndromes. 2. **Definition of Paulian operators**: - Paulian operators are a special class of operators. They are either involutions or counterinvolutions with eigenvalues of ±1, and they are unitary. - Paulian operators have two isomorphic eigenspaces, unless they have only one eigenspace. 3. **Application examples**: - Specific examples of codeword - stabilized codes and bosonic codes are provided, and one of the examples has been verified in experiments. - It is shown how to detect errors by Paulian operators and the potential practicality of this method is illustrated. ### Mathematical formula representation - **Definition of Paulian operators**: \[ \text{Paulian operators} = \begin{cases} \text{Involution or counterinvolution with eigenvalues of} \pm 1 \\ \text{Unitary operator} \\ \text{Has two isomorphic eigenspaces} \end{cases} \] - **Error - correction condition**: \[ \Pi_C E^\dagger F \Pi_C \propto \Pi_C \quad \forall E, F \in E \] where \(\Pi_C\) is the projection operator on the code space, and \(E\) and \(F\) are elements in the error set. - **Generation of Paulian stabilizer group**: \[ S := \langle ZS_1, \dots, ZS_m \rangle \] where \(ZS_i\) are Paulian operators, which commute with each other on a specific subspace and form an Abelian group. Through these works, the paper provides a new theoretical basis and practical tools for the design and implementation of quantum error - correcting codes.