Abstract:Quantum low-density parity-check (qLDPC) codes are an important component in the quest for quantum fault tolerance. Dramatic recent progress on qLDPC codes has led to constructions which are asymptotically good, and which admit linear-time decoders to correct errors affecting a constant fraction of codeword qubits. These constructions, while theoretically explicit, rely on inner codes with strong properties only shown to exist by probabilistic arguments, resulting in lengths that are too large to be practically relevant. In practice, the surface/toric codes, which are the product of two repetition codes, are still often the qLDPC codes of choice. A previous construction based on the lifted product of an expander-based classical LDPC code with a repetition code (Panteleev & Kalachev, 2020) achieved a near-linear distance (of $\Omega(N/\log N)$ where $N$ is the number of codeword qubits), and avoids the need for such intractable inner codes. Our main result is an efficient decoding algorithm for these codes that corrects $\Theta(N/\log N)$ adversarial errors. En route, we give such an algorithm for the hypergraph product version these codes, which have weaker $\Theta(\sqrt{N})$ distance (but are simpler). Our decoding algorithms leverage the fact that the codes we consider are quasi-cyclic, meaning that they respect a cyclic group symmetry. Since the repetition code is not based on expanders, previous approaches to decoding expander-based qLDPC codes, which typically worked by greedily flipping code bits to reduce some potential function, do not apply in our setting. Instead, we reduce our decoding problem (in a black-box manner) to that of decoding classical expander-based LDPC codes under noisy parity-check syndromes. For completeness, we also include a treatment of such classical noisy-syndrome decoding that is sufficient for our application to the quantum setting.

Classical product code constructions for quantum Calderbank-Shor-Steane codes

Performance Analysis of Quantum CSS Error-Correcting Codes via MacWilliams Identities

Modified belief propagation decoders for quantum low-density parity-check codes

High-dimensional quantum XYZ product codes for biased noise

Partially Concatenated Calderbank-Shor-Steane Codes Achieving the Quantum Gilbert-Varshamov Bound Asymptotically

Quantum LDPC codes from intersecting subsets

Graphical Structures for Design and Verification of Quantum Error Correction

A Symbol-Pair Decoder for CSS Codes

Equivalence Classes of Quantum Error-Correcting Codes

Coherent information for CSS codes under decoherence

The Physics of (good) LDPC Codes II. Product constructions

Fast and Parallelizable Logical Computation with Homological Product Codes

Performance Analysis of Quantum Error-Correcting Surface Codes over Asymmetric Channels

Fault-tolerant Preparation of Stabilizer States for Quantum CSS Codes by Classical Error-Correcting Codes

Fault-tolerance of the [[8,1,3]] non-CSS code

Combining hard and soft decoders for hypergraph product codes

An algebraic characterization of binary CSS-T codes and cyclic CSS-T codes for quantum fault tolerance

Quantum Error Correcting Subsystem Codes From Two Classical Linear Codes

Synchronizable hybrid subsystem codes

Decoding Quasi-Cyclic Quantum LDPC Codes

Structure of CSS and CSS-T Quantum Codes