Quantum group codes for non-Clifford logic: enhanced decoding, addressability and parallelizability
📄 arXiv:2606.27211 · 📥 PDF · 2026-06-25 · quant-ph
Authors: Jean Gasnier [arXiv · scholar] , Virgile Guémard [arXiv · scholar]
🕰 Orloj analysis
Tato práce zavádí rámec kvantových grupových kódů založených na klasických kvazigrupových kódech, které podporují adresovatelné a paralelizovatelné transverzální multi-kontrolní-Z brány. Pomocí lifting procedury dosahují vylepšené složitosti dekódování a paralelizovatelnosti, což vede ke snížení časové složitosti protokolů destilace magických stavů.
💡 Práce představuje inovativní přístup k návrhu kvantových kódů s významným dopadem na efektivitu implementace ne-Cliffordových bran a destilace magických stavů.
✓ falsifiable, modest_claims
📄 Abstract
We introduce a framework based on classical quasi group codes to define a class of quantum CSS codes, called quantum group codes, supporting transversal multi-control-$Z$ gates which are both addressable and parallelizable, thus allowing to efficiently implement circuits composed of non-Clifford gates at the logical level. Building on this, we use a lifting procedure of classical AG codes established from class field theory to construct good quantum group codes with improved decoding complexity and logical multi-control-$Z$ gate parallelizability. More precisely, on input a good quantum AG code over the alphabet $\mathbb F_q$ with transversal $\mathsf{C}^m\mathsf Z$ gate, we apply this lifting procedure to its underlying classical AG code and obtain a quantum group code over the alphabet $\mathbb F_{q^2}$ supporting a transversal $\mathsf{C}^m\mathsf Z$ gate as well as addressable and parallelizable $\mathsf{C}^{m-1}\mathsf Z$ gates. In addition, this quantum code admits a quasi-quadratic time decoder with a linear decoding radius. This is to be compared with the previous quantum AG codes which have a cubic-time decoder. Hence, our work implies a decrease of the time complexity of state-of-the-art magic-state distillation protocols by an almost linear factor.