Also known as Operator QECC (OQECC), Gauge QECC.
Description
Quantum code encoding information in a subsystem \(\mathsf{A}\) of the code space \(\mathsf{C}\), which is part of the system Hilbert space \(\mathsf{H}\), as \begin{align} \mathsf{H}=\mathsf{C} \oplus \mathsf{C}^{\perp} = \mathsf{A} \otimes \mathsf{B} \oplus \mathsf{C}^{\perp}~. \tag*{(1)}\end{align} Following an error, it is sufficient to revert back to the original state modulo a transformation on the auxiliary or gauge subsystem \(\mathsf{B}\). The subsystem \(\mathsf{B}\) therefore gives additional freedom to the error correction process, and is said to encode gauge qubits when its dimension is a power of two. While strictly speaking all operator QECCs are also ordinary QECCs, the attachment of a subsystem to a code allows for a wider variety of encoding procedures, fault-tolerant logical operations, and efficient error-correction protocols.
Protection
Necessary and sufficient [3] error-correction conditions are, for all errors \(E_a,E_b\) in an error set \(\cal{E}\), \begin{align} \Pi E^{\dagger}_a E_b \Pi = I_{\mathsf{A}} \otimes g_{ab}^{\mathsf{B}} \tag*{(2)}\end{align} where \(\Pi\) is a projector onto the codespace \(\mathsf{C}\), and \(g_{ab}^{\mathsf{B}}\) is an arbitrary operator on the gauge subsystem.
Notes
See Ref. [4] for an introduction to operator QEC.
Parents
- Operator-algebra QECC (OAQECC) — An OAQECC which has gauge structure (e.g., gauge qubits) but no block structure is a subsystem QECC.
- Quantum code
Children
Cousins
- Quantum error-correcting code (QECC) — A subsystem QECC reduces to an ordinary (i.e., subspace) QECC when the gauge subsystem is trivial. Conversely, any QECC with a tensor-product logical subspace can be turned into a subsystem code by treating a logical tensor factor as a gauge subsystem.
- Entanglement-assisted (EA) subsystem QECC — EA subsystem QECCs utilize additional ancillary subsystems in a pre-shared entangled state, but reduce to subsystem QECCs when said subsystems are interpreted as noiseless physical subsystems.
- Quantum-double code — Subsystem versions of quantum-double codes have been formulated [5].
- Knill code — Subsystem Knill codes can be formulated [6].
- Quantum error-transmuting code (QETC) — Subsystem codes are QETCs whose admissible error group decomposes as \(M = I \otimes G\) within the logical and gauge tensor-product space [7; Sec. 4].
- Subsystem hypergraph product (SHP) code — Classical information can also be encoded in subsystem codes using their gauge qubits [8].
References
- [1]
- D. Kribs, R. Laflamme, and D. Poulin, “Unified and Generalized Approach to Quantum Error Correction”, Physical Review Letters 94, (2005) arXiv:quant-ph/0412076 DOI
- [2]
- D. W. Kribs et al., “Operator quantum error correction”, (2006) arXiv:quant-ph/0504189
- [3]
- M. A. Nielsen and D. Poulin, “Algebraic and information-theoretic conditions for operator quantum error correction”, Physical Review A 75, (2007) arXiv:quant-ph/0506069 DOI
- [4]
- D. Kribs and D. Poulin, “Operator quantum error correction”, Quantum Error Correction 163 (2013) DOI
- [5]
- P. Kumar, “A Class of Quantum Double Subsystem Codes”, (2011) DOI
- [6]
- A. Klappenecker and P. K. Sarvepalli, “Clifford Code Constructions of Operator Quantum Error Correcting Codes”, (2006) arXiv:quant-ph/0604161
- [7]
- D. Zhang and T. Cubitt, “Quantum Error Transmutation”, (2023) arXiv:2310.10278
- [8]
- A. Nemec and A. Klappenecker, “Encoding classical information in gauge subsystems of quantum codes”, International Journal of Quantum Information 20, (2022) DOI
Page edit log
- Victor V. Albert (2022-03-02) — most recent
- Srilekha Gandhari (2021-12-14)
- Victor V. Albert (2021-11-24)
Cite as:
“Subsystem QECC”, The Error Correction Zoo (V. V. Albert & P. Faist, eds.), 2022. https://errorcorrectionzoo.org/c/oecc
Github: https://github.com/errorcorrectionzoo/eczoo_data/edit/main/codes/quantum/oecc.yml.