🤖 AI Summary
In quantum error correction (QEC), maximum-likelihood estimation (MLE) decoders for general qLDPC codes face a trade-off between computational efficiency and theoretical guarantees. This work introduces HyperBlossom: the first decoder that unifies MLE decoding as the minimum-weight perfect parity factor (MWPF) problem on hypergraphs and generalizes Edmonds’ blossom algorithm to hypergraph structures. Leveraging a primal-dual linear programming framework, HyperBlossom provides provable approximation ratio bounds—bridging the gap between heuristic and certifiable decoders. Implemented in the open-source software Hyperion, it achieves lower logical error rates than MWPM and BPOSD on surface codes and doubly-even bicycle codes. Notably, it maintains near-linear average-case time complexity even for codes of distance up to 99 and 31, respectively.
📝 Abstract
Fast and accurate quantum error correction (QEC) decoding is crucial for scalable fault-tolerant quantum computation. Most-Likely-Error (MLE) decoding, while being near-optimal, is intractable on general quantum Low-Density Parity-Check (qLDPC) codes and typically relies on approximation and heuristics. We propose HyperBlossom, a unified framework that formulates MLE decoding as a Minimum-Weight Parity Factor (MWPF) problem and generalizes the blossom algorithm to hypergraphs via a similar primal-dual linear programming model with certifiable proximity bounds. HyperBlossom unifies all the existing graph-based decoders like (Hypergraph) Union-Find decoders and Minimum-Weight Perfect Matching (MWPM) decoder, thus bridging the gap between heuristic and certifying decoders.
We implement HyperBlossom in software, namely Hyperion. Hyperion achieves a 4.8x lower logical error rate compared to the MWPM decoder on the distance-11 surface code and 1.6x lower logical error rate compared to a fine-tuned BPOSD decoder on the $[[90, 8, 10]]$ bivariate bicycle code under code-capacity noise. It also achieves an almost-linear average runtime scaling on both the surface code and the color code, with numerical results up to sufficiently large code distances of 99 and 31 for code-capacity noise and circuit-level noise, respectively.