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.

Quasi-Cyclic LDPC Codes: an Algebraic Construction, Rank Analysis, and Codes on Latin Squares.

A class of QC-LDPC codes with low error floor and linear encoding complexity

VLSI Decoding Design of Low-Density Parity-Check Codes Based on Circulant Matrices

Practical implementation of geometric quasi-cyclic LDPC codes

Construction of structured low density lattice codes based on finite fields

Design of Quasi-Cyclic LDPC Code Families Based on Algebraic Method and Matrix Transformation

LDPC Block and Convolutional Codes Based on Circulant Matrices

Construction of High-Rate Regular Quasi-Cyclic LDPC Codes Based on Cyclic Difference Families

Construction D$^\prime$ Lattices from Quasi-Cyclic Low-Density Parity-Check Codes

A Novel Quasi-Cyclic LDPC Codes Construction Method for High-Speed Parallel Decoding

Decoding Quasi-Cyclic Quantum LDPC Codes

Construction of Non-binary QC-LDPC Codes

Structured Non-Binary LDPC Codes with Large Girth

Combinatorial Construction of Low-Density Parity-Check Codes for Short Block Length and High Rate Applications

Practical Encoder and Decoder for Power Constrained QC-LDPC lattices

Construction and Encoding of QC-LDPC Codes Using Group Rings

Structural Analysis Of Nonbinary Cyclic And Quasi-Cyclic Ldpc Codes With Alpha-Multiplied Parity-Check Matrices

A New Design Method Of Multi-Rate Quasi-Cyclic Ldpc Codes

Algebra-Assisted Construction of Quasi-Cyclic LDPC Codes for 5G New Radio

Quasi Cyclic LDPC Codes Based on Finite Set Systems

Code Design and Shuffled Iterative Decoding of a Quasi-Cyclic LDPC Coded OFDM System