A General-Purpose Quantum Error Correction Decoder That Actually Runs in Real Time

GARI++ pipelines a fast iterative decoder into a fallback stage, matching MWPM accuracy across three code families with sub-microsecond FPGA latency. A rare decoder paper with hardware numbers.

Imagine you're a mail sorter at a massive postal hub. Most packages have clear addresses — you route them in seconds with a simple scanner. But maybe 5% have smudged labels, and those you hand off to a human specialist with a magnifying glass. The key insight: instead of running every package through the slow specialist, you triage fast and only escalate the hard cases. That's GARI++. The committed claim: a single two-stage decoder pipeline achieves accuracy competitive with state-of-the-art correlated MWPM across surface codes, bivariate bicycle codes, and color codes — without using ensembles. The first stage is a normalized min-sum decoder running random serial scheduling on a transformed parity-check matrix. Only non-converging cases get escalated to a configurable second stage. Critically, the first stage forwards both residual syndrome and soft information, and uses a predictive selection mechanism to choose which iteration's output feeds best into stage two. Where does this sit on the ladder? For surface codes under circuit-level depolarizing noise at physical error rate p=0.001, GARI++'s accuracy matches correlated MWPM — the current gold standard — while the FPGA first stage achieves average latencies from 201 ns (distance 7) to 11.8 μs (distance 25). The residual second-stage decoding on a single Apple M2 CPU core stays below 1 μs per round even at distance 51 using Union-Find. That sub-microsecond residual time at distance 51 is the headline number. The paper also demonstrates generality across three code families, which most decoder papers don't attempt. Architecturally, GARI++ belongs to the belief-propagation family — specifically normalized min-sum with random serial scheduling — but structurally transformed via the GARI matrix transform to improve convergence on quantum LDPC codes' degenerate structure. The second stage is pluggable: Union-Find for surface codes, potentially other decoders for other families. The hardware thesis is a hybrid FPGA-CPU split, with the fast iterative stage on FPGA and the rare fallback on general-purpose CPU. This is a practical architecture choice — FPGAs handle the hot path, CPUs absorb the long tail. Integrity-wise, the validation is simulation-based under uniform circuit-level depolarizing noise, which is the standard noise model for decoder benchmarks. The comparison target — correlated MWPM — is the right one to compare against, not a strawman. But this is self-reported simulation, not an independent replication or a run on actual quantum hardware with real noise. The FPGA latency numbers come from the authors' own implementation. No pre-registration, no public benchmark suite in the community-standard sense, though the noise model and code families are standard. The milestone question is concrete: real-time decoding must keep pace with the syndrome measurement cycle of the physical hardware, typically on the order of 1 μs per round. GARI++ claims to be in that ballpark for practically relevant distances. The next real threshold is demonstrating this on actual hardware with non-uniform, correlated noise — the gap between depolarizing simulation and a real superconducting chip is significant. Distance 51 surface codes are not being built today, but the latency scaling curve matters for when they are. The obvious experiment not run: deployment on real quantum hardware with device-specific noise. The authors almost certainly don't have access to a distance-25+ surface code experiment — nobody does yet at that scale. The other missing piece is a head-to-head against neural-network-based decoders (e.g., AlphaQubit or similar ML decoders) on the same benchmarks. The honest read is (a): real hardware access is the bottleneck, and ML decoder comparison may be coming in a follow-up.