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 (37)
- Fault-tolerant quantum computation by anyons
- Good Quantum Error-Correcting Codes Exist
- Multiple Particle Interference and Quantum Error Correction
- Quantum Error Correction and Orthogonal Geometry
- Topological Quantum Distillation
- Operator Quantum Error Correcting Subsystems for Self-Correcting Quantum Memories
- The Ryu-Takayanagi Formula from Quantum Error Correction
- Stabilizer Formalism for Operator Quantum Error Correction
- Topological and subsystem codes on low-degree graphs with flag qubits
- Fault-tolerant conversion between the Steane and Reed-Muller quantum codes
- Dynamically Generated Logical Qubits
- Quantum "hyperbicycle" low-density parity check codes with finite rate
- Fault-tolerant error correction with the gauge color code
- Majorana Fermion Codes
- 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
- How Quantum Are Non-Negative Wavefunctions?
- 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
- Floquet codes with a twist
- On the Cleaning Lemma of Quantum Coding Theory
- Stabilizer Formalism for Operator Algebra Quantum Error Correction
- PhD thesis: Homological Quantum Codes Beyond the Toric Code
- Local Quantum Codes from Subdivided Manifolds
- Constructions of Subsystem Codes over Finite Fields
- Subsystem Codes