Sipser-Spielman meets Dijkgraaf-Witten: non-Abelian qLDPC codes via twisted sheaf gauge theory and almost-constant-overhead magic state fountain
Abstract
Sipser-Spielman codes and Dijkgraaf-Witten twisted gauge theories are among the most profound ideas in the last few decades in the areas of computer science and mathematical physics respectively. This work unifies them in the same framework using the language of sheaf cohomology, and produces a new framework of twisted sheaf gauge theories describing a class of quantum low-density parity-check (qLDPC) codes with non-Abelian D4 topological order. The corresponding twisted Clifford-stabilizer qLDPC code can be obtained from gauging a new type of 0-form sub-complex symmetry from a qLDPC code defined on a general sheaf complex, and can be interpreted as a topological defect network of non-Abelian D4 patches glued together with proper gapped interfaces. As an application, one can use this to realize a magic state fountain via the gauging measurement of the addressable logical CZ gates as 0-form subcomplex symmetries in a 2D hypergraph-product (HGP) sheaf code. This includes a scheme of subdividing an arbitrary constant-rate 2D HGP code with parameters [[n,Θ(n), Ω(n1/2)]] into a quantum sheaf code which allows preparation of Θ(n1/2) logical CZ magic states in parallel, equivalent to the recent geometric construction using the code-to-manifold mapping in (arXiv:2601.06736). Moreover, using the recent sheaf complex and algebraic code constructions by Golowich-Tamo-Zhu (arXiv:2609.27801) with parameters [[n,Θ(n1−ε), Ω(n(1−ε)/2)]] for arbitrary small ε, one can prepare Θ(n1−ε) CZ magic states in parallel and hence achieve an almost-constant magic rate.
Related
- Constant-Overhead Injection into Quantum Codes
- Maximal Total Quantum Dimension at Bounded Rank in Dijkgraaf-Witten Theories
- Hoeffding Concept Bottleneck Models with Applications to Overhead Images
- Trajectory-Initialized Neural Double Q-Routing for Large-Scale Overhead Hoist Transport Systems
- Finite abelian subgroups of algebraic groups
BibTeX
@misc{zhu2026sipserspielman,
title = {{Sipser-Spielman meets Dijkgraaf-Witten: non-Abelian qLDPC codes via twisted sheaf gauge theory and almost-constant-overhead magic state fountain}},
author = {Guanyu Zhu and Shi Jie Samuel Tan and Ryohei Kobayashi and Po-Shen Hsin},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2609.31541},
eprint = {2609.31541},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.31541},
}
RIS
TY - UNPB
TI - Sipser-Spielman meets Dijkgraaf-Witten: non-Abelian qLDPC codes via twisted sheaf gauge theory and almost-constant-overhead magic state fountain
AU - Guanyu Zhu
AU - Shi Jie Samuel Tan
AU - Ryohei Kobayashi
AU - Po-Shen Hsin
PY - 2026
DA - 2026/10/05
PB - arXiv
DO - 10.48550/arxiv.2609.31541
UR - https://arxiv.org/abs/2609.31541
AB - Sipser-Spielman codes and Dijkgraaf-Witten twisted gauge theories are among the most profound ideas in the last few decades in the areas of computer science and mathematical physics respectively. This work unifies them in the same framework using the language of sheaf cohomology, and produces a new framework of twisted sheaf gauge theories describing a class of quantum low-density parity-check (qLDPC) codes with non-Abelian D_4 topological order. The corresponding twisted Clifford-stabilizer qLDPC code can be obtained from gauging a new type of 0-form sub-complex symmetry from a qLDPC code defined on a general sheaf complex, and can be interpreted as a topological defect network of non-Abelian D_4 patches glued together with proper gapped interfaces. As an application, one can use this to realize a magic state fountain via the gauging measurement of the addressable logical CZ gates as 0-form subcomplex symmetries in a 2D hypergraph-product (HGP) sheaf code. This includes a scheme of subdividing an arbitrary constant-rate 2D HGP code with parameters [[n,Θ(n), Ω(n^1/2)]] into a quantum sheaf code which allows preparation of Θ(n^1/2) logical CZ magic states in parallel, equivalent to the recent geometric construction using the code-to-manifold mapping in (arXiv:2601.06736). Moreover, using the recent sheaf complex and algebraic code constructions by Golowich-Tamo-Zhu (arXiv:2609.27801) with parameters [[n,Θ(n^1−ε), Ω(n^(1−ε)/2)]] for arbitrary small ε, one can prepare Θ(n^1−ε) CZ magic states in parallel and hence achieve an almost-constant magic rate.
ER -