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.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to design an efficient decoding algorithm for quasi - cyclic quantum low - density parity - check (qLDPC) codes, especially those constructed by the product of classical LDPC codes and repetition codes. These codes have a near - linear distance (i.e., \( \Omega(N / \log N) \), where \( N \) is the number of qubits in the codeword), and avoid using intractable inner codes. The main contribution of the paper is to provide a randomized decoding algorithm, which can correct \( \Theta(N / \log N) \) adversarial errors within polynomial time and has a very high probability of successful decoding, with only an exponentially small failure probability.
### Background of the Paper
Quantum low - density parity - check (qLDPC) codes are one of the important ways to achieve low - overhead quantum error correction. Besides the code design, the design of efficient decoding algorithms is also a key challenge, because these algorithms need to correct errors quickly before the errors occur in quantum devices. In recent years, researchers have constructed some asymptotically good qLDPC codes, which can be decoded in linear time, but usually rely on strong inner codes whose existence is proved by probabilistic methods, resulting in code lengths that are too large for practical applications.
### Main Contributions
The main contribution of the paper is to propose a new efficient decoding algorithm, which is suitable for quasi - cyclic qLDPC codes constructed by the product of classical LDPC codes and repetition codes. Specifically:
1. **Algorithm Efficiency**: The algorithm runs in \( O(N^{2 + O(\epsilon+\epsilon')}) \) time, where \( N \) is the codeword length, and \( \epsilon \) and \( \epsilon' \) are constants.
2. **Error - Correction Ability**: The algorithm can correct \( \Theta(\epsilon D) \) adversarial errors, where \( D \) is the code distance, and the probability of successful decoding is \( 1 - 2^{-N\epsilon'} \).
3. **Scope of Application**: The algorithm is not only applicable to quasi - cyclic qLDPC codes with near - linear distances, but can also be extended to other types of quasi - cyclic codes, such as hypergraph product codes.
### Overview of Decoding Technique
The decoding algorithm takes advantage of the quasi - cyclic property of the code, that is, the code space remains invariant under the action of the cyclic group. The specific steps include:
1. **Cyclic Shift**: Perform different numbers of cyclic shifts on the received syndromes.
2. **Classical Decoding**: Add these shifted syndromes and then obtain information about the original error through a classical LDPC code decoder.
3. **Iterative Process**: The algorithm contains \( \Theta(\log \ell) \) iterations, and each iteration is analyzed by a classical decoder, and finally all iteration results are combined to correct the error.
### Comparison with Existing Decoders
Compared with existing asymptotically good qLDPC code decoders (such as [GPT23, LZ23, DHLV23]), the decoding algorithm in this paper has the following characteristics:
1. **Scope of Application**: It is applicable to quasi - cyclic codes constructed by the product of classical LDPC codes and repetition codes, not just codes based on expander graphs.
2. **Implementation Difficulty**: The algorithm is based on the black - box application of the classical LDPC code decoder and may be easier to implement in practice.
3. **Performance**: It can be decoded in near - quadratic time, while other algorithms usually require higher time complexity.
### Open Problems
The paper also raises several open problems, including:
1. **Random Errors**: Can the decoding algorithm be adapted to randomly and dynamically growing errors?
2. **Syndrome Measurement Errors**: Can it handle errors in syndrome measurement?
3. **Parallelization**: Can the decoding algorithm be parallelized?
4. **Practical Application**: Can the decoding performance be improved in practical applications?
5. **Extension to a Wider Class of Codes**: Can the technique be extended to more general code classes or improved parameters?
In summary, this paper has made important progress in efficiently decoding quasi - cyclic qLDPC codes and provides new tools and methods for practical quantum error - correction applications.