Among various classes of quantum error correcting codes (QECCs), non-stabilizer codes have rich properties and are of theoretical and practical interest. Decoding non-stabilizer codes is, however, a highly non-trivial task. In this paper, we show that a decoding circuit for Calderbank-Shor-Steane (CSS) codes can be straightforwardly extended to handle general QECCs. The key to the extension lies in the use of a pair of classical-quantum (CQ) codes associated with the QECC to be decoded. The decoding error of the proposed decoding circuit depends on the classical decoding errors of the CQ codes and their degree of complementarity. We demonstrate the power of the decoding circuit in a toy model of the black hole information paradox, improving decoding errors compared to previous results. In addition, we reveal that black hole dynamics may optimally encode quantum information but poorly encode classical information.
Among various classes of quantum error correcting codes (QECCs), non-stabilizer codes have rich properties and are of theoretical and practical interest. Decoding non-stabilizer codes is, however, a highly non-trivial task. In this paper, we show that a decoding circuit for Calderbank-Shor-Steane (CSS) codes can be straightforwardly extended to handle general QECCs. The key to the extension lies in the use of a pair of classical-quantum (CQ) codes associated with the QECC to be decoded. The decoding error of the proposed decoding circuit depends on the classical decoding errors of the CQ codes and their degree of complementarity. We demonstrate the power of the decoding circuit in a toy model of the black hole information paradox, improving decoding errors compared to previous results. In addition, we reveal that black hole dynamics may optimally encode quantum information but poorly encode classical information.
Stabilizer codes lie at the heart of modern quantum-error-correcting codes (QECCs). Of particular importance is a class called Calderbank-Shor-Steane (CSS) codes, which includes many important examples such as toric codes, color codes, and fractons. Recent studies have revealed that the decoding transition for these QECCs could be intrinsically captured by calculating information-theoretic quantities from the mixed state. Here we perform a simple analytic calculation of the coherent information for general CSS codes under local incoherent Pauli errors via diagonalization of the density matrices and mapping to classical statistical mechanical (SM) models. Our result establishes a rigorous connection between the decoding transition of the quantum code and the phase transition in the random classical SM model. It is also directly confirmed for CSS codes that exact error correction is possible if and only if the maximum-likelihood decoder always succeeds in the thermodynamic limit. Thus, the fundamental threshold is saturated by the optimal decoder.
Quantum error correction codes (QECCs) can be constructed from the known classical coding paradigm by exploiting the inherent isomorphism between the classical and quantum regimes, while also addressing the challenges imposed by the strange laws of quantum physics. In this spirit, this paper provides deep insights into the duality of quantum and classical coding theory, hence aiming for bridging the gap between them. Explicitly, we survey the rich history of both classical as well as quantum codes. We then provide a comprehensive slow-paced tutorial for constructing stabilizer-based QECCs from arbitrary binary as well as quaternary codes, as exemplified by the dual-containing and non-dual-containing Calderbank-Shor-Steane (CSS) codes, non-CSS codes and entanglement-assisted codes. Finally, we apply our discussions to two popular code families, namely to the family of Bose-Chaudhuri-Hocquenghem as well as of convolutional codes and provide detailed design examples for both their classical as well as their quantum versions.
Quantum error correction (QEC) is an effective way to overcome quantum noise and de-coherence, meanwhile the fault tolerance of the encoding circuit, syndrome measurement circuit, and logical gate realization circuit must be ensured so as to achieve reliable quantum computing. Steane code is one of the most famous codes, proposed in 1996, however, the classical encoding circuit based on stabilizer implementation is not fault-tolerant. In this paper, we propose a method to design a fault-tolerant encoding circuit for Calderbank-Shor-Steane (CSS) code based on stabilizer implementation and “flag” bits. We use the Steane code as an example to depict in detail the fault-tolerant encoding circuit design process including the logical operation implementation, the stabilizer implementation, and the “flag” qubits design. The simulation results show that assuming only one quantum gate will be wrong with a certain probability p, the classical encoding circuit will have logic errors proportional to p; our proposed circuit is fault-tolerant as with the help of the “flag” bits, all types of errors in the encoding process can be accurately and uniquely determined, the errors can be fixed. If all the gates will be wrong with a certain probability p, which is the actual situation, the proposed encoding circuit will also be wrong with a certain probability, but its error rate has been reduced greatly from p to p2 compared with the original circuit. This encoding circuit design process can be extended to other CSS codes to improve the correctness of the encoding circuit.
We propose fault-tolerant quantum encoders for Calderbank-Shor-Steane (CSS) and non-CSS codes over qudits by utilizing g-partite maximally entangled states. The qudits are grouped into g contiguous blocks such that entangled states are shared across the blocks, and multiqudit gates are applied locally to restrict the error propagation within each block. We also propose a transversal fault-tolerant block decoder to decode the blocks individually and recover the complete encoded quantum information. The optimum value of g to obtain an improvement in the probability of error propagation of the proposed encoders against non-fault-tolerant schemes is analytically determined for application in the encoding circuit. The proposed fault-tolerant scheme with entanglement assistance scales linearly with the number of g-partite entangled states and overcomes the limitations of diminishing coding rates for higher levels of concatenation within the concatenated coding scheme. We validate the proposed ideas by constructing fault-tolerant encoding circuits for the non-CSS [[5,1,3]]3 code and the [[7,1,3]]3 CSS code through illustrative examples. We reduced the probability of error propagation from 0.248 to 0.212 for the [[5,1,3]]3 code and from 0.207 to 0.174 for the [[7,1,3]]3 code. For example, over [[100,70]]2 quantum code without any fault tolerance, using three-partite entangled pairs, one can get two orders of improvement (1e-2) in the probability of error propagation compared to the non-fault-tolerant encoder by encoding over 190 physical qubits with the same number of stabilizers.
Quantum computers have the potential to provide exponential speedups over their classical counterparts. Quantum principles are being applied to fields such as communications, information processing, and artificial intelligence to achieve quantum advantage. However, quantum bits are extremely noisy and prone to decoherence. Thus, keeping the qubits error free is extremely important toward reliable quantum computing. Quantum error correcting codes have been studied for several decades and methods have been proposed to import classical error correcting codes to the quantum domain. Along with the exploration into novel and more efficient quantum error correction codes, it is also essential to design circuits for practical realization of these codes. This article serves as a tutorial on designing and simulating quantum encoder and decoder circuits for stabilizer codes. We first describe Shor’s 9-qubit code which was the first quantum error correcting code. We discuss the stabilizer formalism along with the design of encoding and decoding circuits for stabilizer codes such as the five-qubit code and Steane code. We also design nearest neighbor compliant circuits for the above codes. The circuits were simulated and verified using IBM Qiskit.
Given that quantum error correction processes are unreliable, an efficient error syndrome extraction circuit should use fewer ancillary qubits, quantum gates, and measurements, while maintaining low circuit depth, to minimizing the circuit area, roughly defined as the product of circuit depth and the number of physical qubits. We propose to design parallel flagged syndrome extraction with shared flag qubits for quantum stabilizer codes. Versatile parallelization techniques are employed to minimize the required circuit area, thereby improving the error threshold and overall performance. Specifically, measurement outcomes across multiple rounds of syndrome extraction are integrated into a lookup table decoder, enabling parallelization of multiple stabilizer measurements with shared flag qubits. Additionally, we introduce an adaptive technique to reduce the overhead from excessive syndrome extraction. We present flag-sharing and fully parallel schemes for the[[17,1,5]],[[19,1,5]]Calderbank-Shor-Steane (CSS) codes and the[[5,1,3]]non-CSS code, where the[[5,1,3]]implementation achieves the minimum known circuit area. Numerical simulations have demonstrated improved pseudo-thresholds for these codes by up to an order of magnitude compared to previous schemes in the literature.