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.

Minimum Pseudo-Codewords of Ldpc Codes

Minimum Pseudo-Weight and Minimum Pseudo-Codewords of LDPC Codes

On the minimum pseudo-codewords of LDPC codes

On Pseudocodewords and Decision Regions of Linear Programming Decoding of HDPC Codes

Fast Reliability-based Algorithm of Finding Minimum-weight Codewords for LDPC Codes

Improved Linear Programming Decoding of LDPC Codes and Bounds on the Minimum and Fractional Distance

Weight Distributions of Regular Low-Density Parity-Check Codes over Finite Fields

Multistep Linear Programming Approaches for Decoding Low-Density Parity-Check Codes

Low Complexity Linear Programming Decoding of Nonbinary Linear Codes

Lower Bounds on the Minimum Pseudodistance for Linear Codes with $q$-ary PSK Modulation over AWGN

Impact of redundant checks on the LP decoding thresholds of LDPC codes

Constructing LDPC Codes with Any Desired Girth

Graph-Cover Decoding and Finite-Length Analysis of Message-Passing Iterative Decoding of LDPC Codes

Reduced-Complexity Decoding of LDPC Codes

Decoding Quasi-Cyclic Quantum LDPC Codes

On the Minimum Distance of Full-Length Rs-Ldpc Codes

A Separation Algorithm for Improved LP-Decoding of Linear Block Codes

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

Protograph-Based LDPC Hadamard Codes

On the Stopping Distance of Finite Geometry LDPC Codes

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