We extend the stabilizer formalism to a class of nonadditive quantum codes which are constructed from non-linear classical codes. As an example, we present infinite families of nonadditive codes which are derived from Goethals and Preparata codes.
Introduction Most quantum error-correcting codes (QECCs) that are designed to correct local errors are stabilizer codes that correspond to additive classical codes. Because of this correspondence, stabilizer codes are also referred to as additive codes, while nonstabilizer codes are called nonadditive codes. Shortly after the invention of stabilizer codes by Gottesman [G96a] and independently Calderbank et al. [CRS+98], the nonadditive ((5, 6, 2)) code was found [RHS+97], which constitutes the first example of a nonadditive quantum code with a higher dimension than any stabilizer code of equal length and minimum distance. About ten years later, the first one-error-correcting ((9, 12, 3)) code and the optimal ((10, 24, 3)) code were found [YCL+09, YCO07], both better than any stabilizer code of the same length. Here we describe a framework that not only allows a joint description of these codes, but also enables the construction of new nonadditive codes with better parameters than the best known stabilizer codes. These codes are based on the classical nonlinear Goethals and Preparata codes, which themselves are better than any classical linear code. In Section 10.3, the framework will be presented from two different points of view, namely union stabilizer codes and codeword stabilized codes, each highlighting different aspects of the construction. To illustrate the relationship of these nonadditive codes to stabilizer codes we first recall the main aspects of the latter. Section 10.4 is devoted to methods for obtaining new codes, including the aforementioned quantum Goethals–Preparata codes.
Nonadditive Quantum Codes from Z4-Codes
Non additive binary quantum codes are constructed by using classical Z4-linear binary codes.
Codeword-stabilized quantum codes provide a unified approach to constructing quantum error-correcting codes, including both additive and nonadditive quantum codes. Standard codeword-stabilized quantum codes encode quantum information into subspaces. The more general notion of encoding quantum information into a subsystem is known as an operator (or subsystem) quantum error-correcting code. Most operator codes studied to date are based in the usual stabilizer formalism. We introduce operator quantum codes based on the codeword-stabilized quantum code framework. Based on the necessary and sufficient conditions for operator quantum error correction, we derive an error-correction condition for operator codeword-stabilized quantum codes. Based on this condition, the word operators of a operator codeword-stabilized quantum code are constructed from a set of classical binary errors induced by generators of the gauge group. We use this scheme to construct examples of both additive and nonadditive codes that encode quantum information into a subsystem.