Movassagh-Ouyang Hamiltonian code[1]
Description
This is a family of codes derived via an algorithm that takes as input any binary classical code and outputs a quantum code (note that this framework can be extended to \(q\)-ary codes). The algorithm is probabalistic but succeeds almost surely if the classical code is random. An explicit code construction does exist for linear distance codes encoding one logical qubit. For finite rate codes, there is no rigorous proof that the construction algorithm succeeds, and approximate constructions are described instead.
This family strictly generalizes CSS codes (because CSS codes come only from linear or self orthogonal classical codes). These codes can be shown to be realized as a subspace of the ground space of a (geometrically) local Hamiltonian.
Protection
Let \(C \subset \{0,1,\dots,q-1\}^n\) be a classical code with distance \(d_x\). Let \(d_z\) satisfy \(q^n > 2 V_q(d_z-1) -1\), where \(V_q(r)\) is the volume of the \(q\)-ary Hamming ball of radius \(r\). Then the algorithm produces a quantum code with distance \(d = \text{min}(d_x,d_z)\). Asymptotically, the distance scales linearly with \(n\).Rate
The rate depends on the classical code, but distance can scale linearly with \(n\).Cousins
- Qubit stabilizer code— Many, but not all, Movassagh-Ouyang codes are stabilizer codes.
- Binary code— Movassagh-Ouyang codes are constructed from classical binary codes.
- Justesen code— Justesen codes can be used to build a family of \(n\)-qudit Movassagh-Ouyang Hamiltonian spin codes encoding one logical qubit with linear distance. These codes form the ground-state subspace of a frustration-free geometrically local Hamiltonian [1].
- Spin code— Justesen codes can be used to build a family of \(n\)-qudit Movassagh-Ouyang Hamiltonian spin codes encoding one logical qubit with linear distance. These codes form the ground-state subspace of a frustration-free geometrically local Hamiltonian [1].
- Frustration-free Hamiltonian code— Movassagh-Ouyang codes reside in the ground space of a Hamiltonian. Justesen codes can be used to build a family of \(n\)-qudit Movassagh-Ouyang Hamiltonian spin codes encoding one logical qubit with linear distance. These codes form the ground-state subspace of a frustration-free geometrically local Hamiltonian [1].
- Codeword stabilized (CWS) code— The Movassagh-Ouyang codes overlap the CWS codes but neither family is contained in the other [1].
Member of code lists
Primary Hierarchy
References
- [1]
- R. Movassagh and Y. Ouyang, “Constructing quantum codes from any classical code and their embedding in ground space of local Hamiltonians”, Quantum 8, 1541 (2024) arXiv:2012.01453 DOI
- [2]
- S. Bravyi, D. Lee, Z. Li, and B. Yoshida, “How much entanglement is needed for quantum error correction?”, (2024) arXiv:2405.01332
Page edit log
- Victor V. Albert (2021-12-16) — most recent
- Eric Kubischta (2021-12-15)
Cite as:
“Movassagh-Ouyang Hamiltonian code”, The Error Correction Zoo (V. V. Albert & P. Faist, eds.), 2021. https://errorcorrectionzoo.org/c/movassagh_ouyang