Subsystem CSS codes, a tighter stabilizer-to-CSS mapping, and Goursat's Lemma
arXiv:2311.18003 · doi:10.22331/q-2024-07-10-1403
Abstract
The CSS code construction is a powerful framework used to express features of a quantum code in terms of a pair of underlying classical codes. Its subsystem extension allows for similar expressions, but the general case has not been fully explored. Extending previous work of Aly, Klappenecker, and Sarvepalli [quantph/0610153], we determine subsystem CSS code parameters, express codewords, and develop a Steane-type decoder using only data from the two underlying classical codes. Generalizing a result of Kovalev and Pryadko [Phys. Rev. A 88 012311 (2013)], we show that any subsystem stabilizer code can be "doubled" to yield a subsystem CSS code with twice the number of physical, logical, and gauge qudits and up to twice the code distance. This mapping preserves locality and is tighter than the Majorana-based mapping of Bravyi, Terhal, and Leemhuis [New J. Phys. 12 083039 (2010)]. Using Goursat's Lemma, we show that every subsystem stabilizer code can be constructed from two nested subsystem CSS codes satisfying certain constraints, and we characterize subsystem stabilizer codes based on the nested codes' properties.
27 pages, 2 figures
References in corpus (24)
- Topological Quantum Distillation
- Fault-tolerant conversion between the Steane and Reed-Muller quantum codes
- Dynamically Generated Logical Qubits
- Homological Error Correction: Classical and Quantum Codes
- Floquet codes without parent subsystem codes
- Anyon condensation and the color code
- Pauli stabilizer models of twisted quantum doubles
- Pauli topological subsystem codes from Abelian anyon theories
- Generalized Kitaev Models and Slave Genons
- Subsystem codes with high thresholds by gauge fixing and reduced qubit overhead
- Unifying flavors of fault tolerance with the ZX calculus
- Quantum Error Correcting Subsystem Codes From Two Classical Linear Codes
- Engineering 3D Floquet codes by rewinding
- Optimal error correction in topological subsystem codes
- Intrinsic sign problems in topological quantum field theories
- Topological error correcting processes from fixed-point path integrals
- Quantum XYZ Product Codes
- Parafermion stabilizer codes
- On the Cleaning Lemma of Quantum Coding Theory
- Floquet codes with a twist
- Stabilizer Formalism for Operator Algebra Quantum Error Correction
- Local Quantum Codes from Subdivided Manifolds
- Constructions of Subsystem Codes over Finite Fields
- Subsystem Codes