We prove that certain classical cyclic redundancy check codes can be used for classical error correction and not just classical error detection. We extend the idea of classical cyclic redundancy check codes to quantum cyclic redundancy check codes. This allows us to construct quantum stabilizer codes which can correct burst errors where the burst length attains the quantum Reiger bound. We then consider a certain family of quantum cyclic redundancy check codes for which we present a fast linear time decoding algorithm.
We prove that certain classical cyclic redundancy check codes can be used for classical error correction and not just classical error detection. We extend the idea of classical cyclic redundancy check codes to quantum cyclic redundancy check codes. This allows us to construct quantum stabilizer codes which can correct burst errors where the burst length attains the quantum Reiger bound. We then consider a certain family of quantum cyclic redundancy check codes for which we present a fast linear time decoding algorithm.
Quantum burst error correction codes (QBECCs) are of great importance to deal with the memory effect in quantum channels. As the most important family of QBECCs, quantum cyclic codes (QCCs) play a vital role in the correction of burst errors. In this work, we characterize the burst error correction ability of QCCs constructed from the Calderbank-Shor-Steane (CSS) and the Hermitian constructions. We determine the burst error correction limit of QCCs and quantum Reed-Solomon codes with algorithms in polynomial-time complexities. As a result, lots of QBECCs saturating the quantum Reiger bound are obtained. We show that quantum Reed-Solomon codes have better burst error correction abilities than the previous results. At last, we give the quantum error-trapping decoder (QETD) of QCCs for decoding burst errors. The decoder runs in linear time and can decode both degenerate and nondegenerate burst errors. What’s more, the numerical results show that QETD can decode much more degenerate burst errors than the nondegenerate ones.
Stabilizer codes form an important class of quantum error correcting codes which have an elegant theory, efficient error detection, and many known examples. Constructing stabilizer codes of length n is equivalent to constructing subspaces of Fpn×Fpn which are "isotropic" under the symplectic bilinear form defined by ⟨(a,b),(c,d)⟩=aTd−bTc. As a result, many, but not all, ideas from the theory of classical error correction can be translated to quantum error correction. One of the main theoretical contribution of this article is to study stabilizer codes starting with a different symplectic form. In this paper, we concentrate on cyclic codes. Modifying the symplectic form allows us to generalize the previous known construction for linear cyclic stabilizer codes, and in the process, circumvent some of the Galois theoretic no-go results proved there. More importantly, this tweak in the symplectic form allows us to make use of well known error correcting algorithms for cyclic codes to give efficient quantum error correcting algorithms. Cyclicity of error correcting codes is a "basis dependent" property. Our codes are no more "cyclic" when they are derived using the standard symplectic forms (if we ignore the error correcting properties like distance, all such symplectic forms can be converted to each other via a basis transformation). Hence this change of perspective is crucial from the point of view of designing efficient decoding algorithm for these family of codes. In this context, recall that for general codes, efficient decoding algorithms do not exist if some widely believed complexity theoretic assumptions are true.
In practical communication and computation systems, errors occur predominantly in adjacent positions rather than in a random manner. In this paper, we develop a stabilizer formalism for quantum burst error correction codes (QBECC) to combat such error patterns in the quantum regime. Our contributions are as follows. Firstly, we derive an upper bound for the correctable burst errors of QBECCs, the quantum Reiger bound (QRB). Secondly, we propose two constructions of QBECCs: one by heuristic computer search and the other by concatenating two quantum tensor product codes (QTPCs). We obtain several new QBECCs with better parameters than existing codes with the same coding length. Moreover, some of the constructed codes can saturate the quantum Reiger bounds. Finally, we perform numerical experiments for our constructed codes over Markovian correlated depolarizing quantum memory channels, and show that QBECCs indeed outperform standard QECCs in this scenario.
Abstract Certain classical codes can be viewed isomorphically as ideals of group algebras, while studying their algebraic structures help extracting the code properties. Research has shown that this was remarkably efficient in the case when the code generators are idempotents. In quantum error correction, the theory of stabilizer formalism requires classical self-orthogonal additive codes over the finite field GF(4), which, via the lens of group algebras, are essentially F2 F 2 -submodules over GF(4). Therefore, this paper provides a classification on idempotents in commutative group algebra GF(4)G, followed by a criterion that allows idempotents to generate stabilizer subgroups. Later, the construction of quantum stabilizer codes is done in the case when G is a cyclic group Cn C n , for n=2m−1 n = 2 m - 1 and n=2m+1 n = 2 m + 1 . Quantum bounds on their burst error minimum distance are subsequently determined.
It is well known that n-length stabilizer quantum error correcting codes (QECCs) can be obtained via n-length classical error correction codes (CECCs) over GF(4), that are additive and self-orthogonal with respect to the trace Hermitian inner product. But, most of the CECCs have been studied with respect to the Euclidean inner product. In this paper, it is shown that n-length stabilizer QECCs can be constructed via 3n-length linear CECCs over GF(2) that are self-orthogonal with respect to the Euclidean inner product. This facilitates usage of the widely studied self-orthogonal CECCs to construct stabilizer QECCs. Moreover, classical, binary, self-orthogonal cyclic codes have been used to obtain stabilizer QECCs with guaranteed quantum error correcting capability. This is facilitated by the fact that (i) self-orthogonal, binary cyclic codes are easily identified using transform approach and (ii) for such codes lower bounds on the minimum Hamming distance are known. Several explicit codes are constructed including two pure MDS QECCs.
In this paper, we construct explicit families of quantum error correcting codes based on cyclic codes. But for a crucial theoretical idea that we introduce here, namely working with a modified symplectic form as the basis of Weyl commutation, these codes would not have been possible - under the standard symplectic form, there are Galois theoretic no-go theorems on cyclic codes [7], [Corollary IV.5, page 651], [6], [Corollary 5.16, page 51] of certain lengths. More importantly, we circumvent the above no-go theorems without disturbing the one crucial property that cyclic codes have - efficient decoding algorithms. Recall that for general codes, efficient decoding algorithms do not exist if some widely believed complexity theoretic assumptions are true hence this is a crucial property to have. Cyclicity is a basis dependent property and for codes that we construct, is only evident in the modified symplectic setting. If we were to recast this code using the standard symplectic form, there would be a basis change on the underlying vector space that disturbs cyclicity. Hence, this change of perspective that we have here is crucial not only in the construction, where we had to circumvent the no-go theorems that we mentioned above, but also in the design of efficient decoding algorithm. Theoretically our result is also tight: we have a complete characterization (Theorem 6) of the codes that we construct here.