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.

From Generalization of Bacon-Shor Codes to High Performance Quantum LDPC Codes.

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

Small Quantum Codes from Algebraic Extensions of Generalized Bicycle Codes

Viderman's algorithm for quantum LDPC codes

Good Quantum LDPC Codes with Linear Time Decoders

Decoding Quasi-Cyclic Quantum LDPC Codes

Decodable quantum LDPC codes beyond the square root distance barrier using high dimensional expanders

List Decodable Quantum LDPC Codes

Single-Shot Decoding of Good Quantum LDPC Codes

Dynamical Logical Qubits in the Bacon-Shor Code

Quantum LDPC Codes of Almost Linear Distance via Homological Products

Degenerate Quantum LDPC Codes With Good Finite Length Performance

Constant-Overhead Quantum Error Correction with Thin Planar Connectivity

Quantum LDPC Codes Constructed from Point-Line Subsets of the Finite Projective Plane

A Joint Code and Belief Propagation Decoder Design for Quantum LDPC Codes

Analog information decoding of bosonic quantum LDPC codes

Effective Distance of Higher Dimensional HGPs and Weight-Reduced Quantum LDPC Codes

Fast and Parallelizable Logical Computation with Homological Product Codes

Quantum LDPC Codes with Transversal Non-Clifford Gates via Products of Algebraic Codes

An almost-linear time decoding algorithm for quantum LDPC codes under circuit-level noise