Coherent error threshold for quantum LDPC codes
AuthorsZhengyi Han, Yuanchen Zhao, Yijia Xu, Yixu Wang, Zi-Wen Liu
AffiliationsYau Mathematical Sciences Center, Tsinghua University, Beijing 100084, China · State Key Laboratory of Low Dimensional Quantum Physics, Department of Physics, Tsinghua University, Beijing, 100084, China · Joint Center for Quantum Information and Computer Science, University of Maryland, College Park, Maryland 20742, USA · Shanghai Institute for Mathematics and Interdisciplinary Sciences (SIMIS), Shanghai 200433, China
Resources
This work shows that quantum LDPC codes can still reliably correct coherent errors below a universal noise threshold, strengthening the foundations of scalable fault-tolerant quantum computers.
Key results
Each coherent-error expansion term is bounded by 2 sin|η| in diamond norm.
Cluster resummation yields a finite bound when the large-cluster activity satisfies Ξ<1.
What the paper found
This paper establishes the first general rigorous coherent-error threshold for quantum low-density parity-check codes. For any qLDPC family whose distance satisfies d=Ω(log n), arbitrary local coherent noise from a constant-depth circuit, including non-Pauli Hermitian generators acting on at most r qubits, can be suppressed below a nonzero noise strength: the logical error in diamond distance decays exponentially with code distance, even when errors interfere within the same syndrome sector. The result holds for both optimal recovery and the practical minimum-weight Pauli decoder, and extends from unitary coherent noise to local CPTP channels. The central innovation is cluster resummation: instead of taking norms configuration by configuration, the proof isolates a connected error cluster and exactly resums all disconnected errors first, avoiding exponential dependence on system size. A local channel term has diamond norm at most 2 sin|η|, and convergence follows when the large-cluster activity satisfies Ξ<1; the resulting optimal-recovery bound scales as 2√[D n/(χ(1−q))]q^{d/(2r)}, with q=2χ sin|η|. Minimum-weight decoding has a related exponential bound with a larger polynomial prefactor and a lower guaranteed threshold. The theorem covers topological, expander, bivariate bicycle, and asymptotically good qLDPC families, broadening rigorous guarantees beyond linear-distance constructions. It complements experimental scaling efforts such as Google Quantum AI while identifying noisy syndrome extraction and non-Markovian noise as the next major gaps.
Original abstract
A key appeal of quantum low-density parity check (qLDPC) codes is their ability to suppress stochastic Pauli noise below nonzero thresholds. Coherent errors are fundamentally different: they produce superpositions of error patterns whose amplitudes can interfere even after syndrome measurement. Rigorous understanding of coherent errors remains limited. Here we show that general qLDPC codes admit a nonzero code capacity threshold against local coherent noise and more generally local channel noise. For any family of qLDPC codes with distance $d=Ω(\log n)$, we show that there is a constant noise strength below which the logical recovery error in diamond distance decays exponentially with the code distance. The result is established for optimal recovery as well as the minimum-weight decoder. The key technical ingredient is what we call a \emph{cluster resummation}: rather than bounding superposed error configurations one by one, we isolate a large connected error cluster in the channel expansion and exactly resum all errors disconnected from it before taking norms. Standard cluster counting then yields exponential suppression. This work resolves a longstanding challenge in fault tolerance theory, providing general robustness guarantees for qLDPC codes against coherent noise and laying a rigorous foundation for future studies of fault-tolerant quantum technologies.
Read the original paperMore in AI Hardware
Browse all 34 papers →AI as a Compiler: Compiling Triton kernels without the Triton compiler
François Costa, Charly Castes, Thomas Bourgeat, Azalia Mirhoseini
An LLM learns to replace parts of the GPU compiler stack by translating Triton code directly into fast, verified PTX kernels.
Purlin: Separating Orchestration from the Datapath of Collectives
Osayamen Jonathan Aimuyo, Swapnil Gandhi, Christos Kozyrakis
Purlin makes GPU collective communication more modular and faster, improving large-scale LLM and diffusion inference across modern hardware.
RESOLVE: Language-Agnostic Validation of GPU Kernels Through Testing, Reduction, and Proof
Ashkan Vedadi Gargary, Guido Martínez, Sebastian Burckhardt, Gabriel Ebner, Abhinav Jangda, Madan Musuvathi, Tyler Sorensen
RESOLVE makes AI-written GPU kernels safer by combining race-finding tests with formal proofs that optimized code still computes the right result.