Quantum locally recoverable code (QLRC)[1]
Description
A QLRC of locality \(r\) is a block quantum code whose code states can be recovered after a single erasure by accessing at most \(r-1\) other subsystems and applying a recovery map.Protection
A Singleton-like QLRC bound states that an \(((n,K,d))_q\) QLRC of locality \(r\) and rate \(R = \frac{\log_q K}{n}\) must have relative distance [1; Thm. 35] \begin{align} \delta = \frac{d}{n} \leq \frac{1-R}{2} - \Omega\left(\frac{1}{r}\right)~, \tag*{(1)}\end{align} implying that locality restricts the distance of the code. Random QLRCs with qudit dimension \(q = 2^{O(r)}\) achieve a relative distance that is order \(O(1/r)\) below the bound [1; Prop. 5]. Codes constructed with the help of AEL distance amplification [2,3] admit a gap of order \(O(1/r^{1/4})\) [1; Prop. 6]. Folded quantum Tamo-Barg codes yield explicit QLRCs of arbitrary prime locality \(r\), rate at least \(R\), relative distance \(\delta \geq (1-R)/2 - O(1/\sqrt{r})\), and qudit dimension \(q = n^{O(r^2)}\) [1; Cor. 64].
QLRCs have been extended to codes with intersecting recovery sets, and a Singleton-like bound has been derived for such codes [4].
Decoding
Codes constructed with the help of AEL distance amplification [2,3] admit efficient decoders [1].Cousins
- Locally recoverable code (LRC)
- Galois-qudit CSS code— A Galois-qudit CSS code is a QLRC of locality \(r\) if each qudit participates in at least one \(X\)-type and one \(Z\)-type stabilizer whose union of supports has weight \(\leq r\) [1; Corr. 34].
- Random quantum code— Random QLRCs with qudit dimension \(q = 2^{O(r)}\) achieve a relative distance that is order \(O(1/r)\) below the Singleton-like QLRC bound [1; Prop. 5].
- Hypergraph product (HGP) code— A variant of the hypergraph product can be used to define QLRCs with intersecting recovery sets [4].
- Locally decodable code (LDC)— There are quantum counterparts of LDCs, but they can be transformed into (classical) LDCs which can be decoded well on average [5].
- Locally correctable code (LCC)— A quantum code cannot admit two disjoint local recovery sets for the same qudit unless that qudit is fixed, ruling out a natural quantum analogue of LCCs [1; Thm. 74].
- QLDPC code— Finite-dimensional block QLDPC stabilizer codes are QLRCs whose locality \(r \leq w\), where \(w\) is the maximum stabilizer-generator weight [1].
Primary Hierarchy
References
- [1]
- L. Golowich and V. Guruswami, “Quantum Locally Recoverable Codes”, (2023) arXiv:2311.08653
- [2]
- N. Alon, J. Edmonds, and M. Luby, “Linear time erasure codes with nearly optimal recovery”, Proceedings of IEEE 36th Annual Foundations of Computer Science 512 DOI
- [3]
- N. Alon and M. Luby, “A linear time erasure-resilient code with nearly optimal recovery”, IEEE Transactions on Information Theory 42, 1732 (1996) DOI
- [4]
- K. Bu, W. Gu, and X. Li, “Quantum locally recoverable code with intersecting recovery sets”, (2025) arXiv:2501.10354
- [5]
- J. Briët and R. de Wolf, “Locally Decodable Quantum Codes”, (2008) arXiv:0806.2101
Page edit log
- Victor V. Albert (2024-03-26) — most recent
Cite as:
“Quantum locally recoverable code (QLRC)”, The Error Correction Zoo (V. V. Albert & P. Faist, eds.), 2024. https://errorcorrectionzoo.org/c/quantum_locally_recoverable