Quantum Error Correction via Codes over GF(4)

The problem of finding quantum error-correcting codes is transformed into the problem of finding additive codes over the field GF(4) which are self-orthogonal with respect to a certain trace inner product. Many new codes and new bounds are presented, as well as a table of upper and lower bounds on such codes of length up to 30 qubits.Comment: Latex, 46 pages. To appear in IEEE Transactions on Information Theory. Replaced Sept. 24, 1996, to correct a number of minor errors. Replaced Sept. 10, 1997. The second section has been completely rewritten, and should hopefully be much clearer. We have also added a new section discussing the developments of the past year. Finally, we again corrected a number of minor error

Quantum codes from a new construction of self-orthogonal algebraic geometry codes

[EN] We present new quantum codes with good parameters which are constructed from self-orthogonal algebraic geometry codes. Our method permits a wide class of curves to be used in the formation of these codes. These results demonstrate that there is a lot more scope for constructing self-orthogonal AG codes than was previously known.G. McGuire was partially supported by Science Foundation Ireland Grant 13/IA/1914. The remainder authors were partially supported by the Spanish Government and the EU funding program FEDER, Grants MTM2015-65764-C3-2-P and PGC2018-096446-B-C22. F. Hernando and J. J. Moyano-Fernandez are also partially supported by Universitat Jaume I, Grant UJI-B2018-10.Hernando, F.; Mcguire, G.; Monserrat Delpalillo, FJ.; Moyano-Fernández, JJ. (2020). Quantum codes from a new construction of self-orthogonal algebraic geometry codes. Quantum Information Processing. 19(4):1-25. https://doi.org/10.1007/s11128-020-2616-8S125194Abhyankar, S.S.: Irreducibility criterion for germs of analytic functions of two complex variables. Adv. Math. 74, 190–257 (1989)Abhyankar, S.S.: Algebraic Geometry for Scientists and Engineers. Mathematical Surveys and Monographs, American Mathematical Society, Providence (1990)Ashikhmin, A., Barg, A., Knill, E., Litsyn, S.: Quantum error-detection I: statement of the problem. IEEE Trans. Inf. Theory 46, 778–788 (2000)Ashikhmin, A., Barg, A., Knill, E., Litsyn, S.: Quantum error-detection II: bounds. IEEE Trans. Inf. Theory 46, 789–800 (2000)Ashikhmin, A., Knill, E.: Non-binary quantum stabilizer codes. IEEE Trans. Inf. Theory 47, 3065–3072 (2001)Bosma, W., Cannon, J., Playoust, C.: The Magma algebra system. I. The user language. J. Symb. Comput. 24, 235–265 (1997)Bierbrauer, J., Edel, Y.: Quantum twisted codes. J. Comb. Des. 8, 174–188 (2000)Calderbank, A.R., Rains, E.M., Shor, P.W., Sloane, N.J.A.: Quantum error correction and orthogonal geometry. Phys. Rev. Lett. 76, 405–409 (1997)Calderbank, A.R., Shor, P.W.: Good quantum error-correcting codes exist. Phys. Rev. A 54, 1098–1105 (1996)Calderbank, A.R., Rains, E.M., Shor, P.W., Sloane, N.J.A.: Quantum error correction via codes over GF(4). IEEE Trans. Inf. Theory 44(4), 1369–1387 (1998)Campillo, A., Farrán, J.I.: Computing Weierstrass semigroups and the Feng-Rao distance from singular plane models. Finite Fields Appl. 6, 71–92 (2000)Duursma, I.M.: Algebraic geometry codes: general theory. In: Advances in Algebraic Geometry Codes, Series of Coding Theory and Cryptology, vol. 5. World Scientific, Singapore (2008)Feng, K.: Quantum error correcting codes. In: Coding Theory and Cryptology, pp. 91–142. Word Scientific (2002)Feng, K., Ma, Z.: A finite Gilbert–Varshamov bound for pure stabilizer quantum codes. IEEE Trans. Inf. Theory 50, 3323–3325 (2004)Galindo, C., Geil, O., Hernando, F., Ruano, D.: On the distance of stabilizer quantum codes from $$J$$-affine variety codes. Quantum Inf. Process 16, 111 (2017)Galindo, C., Hernando, F., Matsumoto, R.: Quasi-cyclic construction of quantum codes. Finite Fields Appl. 52, 261–280 (2018)Galindo, C., Hernando, F., Ruano, D.: Stabilizer quantum codes from $$J$$-affine variety codes and a new Steane-like enlargement. Quantum Inf. Process 14, 3211–3231 (2015)Galindo, C., Hernando, F., Ruano, D.: Classical and quantum evaluation codes at the trace roots. IEEE Trans. Inf. Theory 16, 2593–2602 (2019)Garcia, A.: On AG codes and Artin–Schreier extensions. Commun. Algebra 20(12), 3683–3689 (1992)Goppa, V.D.: Geometry and Codes. Mathematics and its Applications, vol. 24. Kluwer, Dordrecht (1991)Goppa, V.D.: Codes associated with divisors. Probl. Inf. Transm. 13, 22–26 (1977)Gottesman, D.: A class of quantum error-correcting codes saturating the quantum Hamming bound. Phys. Rev. A 54, 1862–1868 (1996)Grassl, M., Rötteler, M.: Quantum BCH codes. In: Proceedings X International Symposium Theory Electrical Engineering, pp. 207–212. Germany (1999)Grassl, M., Beth, T., Rötteler, M.: On optimal quantum codes. Int. J. Quantum Inf. 2, 757–775 (2004)He, X., Xu, L., Chen, H.: New $$q$$-ary quantum MDS codes with distances bigger than $$q/2$$. Quantum Inf. Process. 15(7), 2745–2758 (2016)Hirschfeld, J.W.P., Korchmáros, G., Torres, F.: Algebraic Curves Over a Finite Field. Princeton Series in Applied Mathematics, Princeton (2008)Høholdt, T., van Lint, J., Pellikaan, R.: Algebraic geometry codes. Handb. Coding Theory 1, 871–961 (1998)Jin, L., Xing, C.: Euclidean and Hermitian self-orthogonal algebraic geometry codes and their application to quantum codes. IEEE Trans. Inf. Theory 58, 4489–5484 (2012)Ketkar, A., Klappenecker, A., Kumar, S., Sarvepalli, P.K.: Nonbinary stabilizer codes over finite fields. IEEE Trans. Inf. Theory 52, 4892–4924 (2006)La Guardia, G.G.: Construction of new families of nonbinary quantum BCH codes. Phys. Rev. A 80, 042331 (2009)La Guardia, G.G.: On the construction of nonbinary quantum BCH codes. IEEE Trans. Inf. Theory 60, 1528–1535 (2014)Lidl, R., Niederreiter, H.: Introduction to Finite Fields and Their Applications. Cambridge University Press, Cambridge (1994)Matsumoto, R., Uyematsu, T.: Constructing quantum error correcting codes for $$p^m$$ state systems from classical error correcting codes. IEICE Trans. Fund. E83–A, 1878–1883 (2000)McGuire, G., Yılmaz, E.S.: Divisibility of L-polynomials for a family of Artin–Schreier curves. J. Pure Appl. Algebra 223(8), 3341–3358 (2019)Munuera, C., Sepúlveda, A., Torres, F.: Castle curves and codes. Adv. Math. Commun. 3, 399–408 (2009)Munuera, C., Tenório, W., Torres, F.: Quantum error-correcting codes from algebraic geometry codes of castle type. Quantum Inf. Process. 15, 4071–4088 (2016)Pellikaan, R., Shen, B.Z., van Wee, G.J.M.: Which linear codes are algebraic-geometric. IEEE Trans. Inf. Theory 37, 583–602 (1991)Shor, P.W.: Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. In: Proceedings 35th Annual Symposium on Foundations of Computer Science, pp. 124–134. IEEE Computer Society Press (1994)Shor, P.W.: Scheme for reducing decoherence in quantum computer memory. Phys. Rev. A 52, R2493 (1995)Steane, A.M.: Multiple-particle interference and quantum error correction. Proc. R. Soc. Lond. Ser. A 452, 2551–2557 (1996)Stichtenoth, H.: Algebraic Function Fields and Codes. Springer, Berlin (2009)Tsfasman, M.A., Vlăduţ, S.G., Zink, T.: Modular curves, Shimura curves and AG codes, better than Varshamov–Gilbert bound. Math. Nachr. 109, 21–28 (1982

Quantum Error Correction beyond the Bounded Distance Decoding Limit

In this paper, we consider quantum error correction over depolarizing channels with non-binary low-density parity-check codes defined over Galois field of size $2^p$ . The proposed quantum error correcting codes are based on the binary quasi-cyclic CSS (Calderbank, Shor and Steane) codes. The resulting quantum codes outperform the best known quantum codes and surpass the performance limit of the bounded distance decoder. By increasing the size of the underlying Galois field, i.e., $2^p$, the error floors are considerably improved.Comment: To appear in IEEE Transactions on Information Theor

Authentication of Quantum Messages

Authentication is a well-studied area of classical cryptography: a sender S and a receiver R sharing a classical private key want to exchange a classical message with the guarantee that the message has not been modified by any third party with control of the communication line. In this paper we define and investigate the authentication of messages composed of quantum states. Assuming S and R have access to an insecure quantum channel and share a private, classical random key, we provide a non-interactive scheme that enables S both to encrypt and to authenticate (with unconditional security) an m qubit message by encoding it into m+s qubits, where the failure probability decreases exponentially in the security parameter s. The classical private key is 2m+O(s) bits. To achieve this, we give a highly efficient protocol for testing the purity of shared EPR pairs. We also show that any scheme to authenticate quantum messages must also encrypt them. (In contrast, one can authenticate a classical message while leaving it publicly readable.) This has two important consequences: On one hand, it allows us to give a lower bound of 2m key bits for authenticating m qubits, which makes our protocol asymptotically optimal. On the other hand, we use it to show that digitally signing quantum states is impossible, even with only computational security.Comment: 22 pages, LaTeX, uses amssymb, latexsym, time

Enhanced Feedback Iterative Decoding of Sparse Quantum Codes

Decoding sparse quantum codes can be accomplished by syndrome-based decoding using a belief propagation (BP) algorithm.We significantly improve this decoding scheme by developing a new feedback adjustment strategy for the standard BP algorithm. In our feedback procedure, we exploit much of the information from stabilizers, not just the syndrome but also the values of the frustrated checks on individual qubits of the code and the channel model. Furthermore we show that our decoding algorithm is superior to belief propagation algorithms using only the syndrome in the feedback procedure for all cases of the depolarizing channel. Our algorithm does not increase the measurement overhead compared to the previous method, as the extra information comes for free from the requisite stabilizer measurements.Comment: 10 pages, 11 figures, Second version, To be appeared in IEEE Transactions on Information Theor

Quantum Goethals-Preparata Codes

We present a family of non-additive quantum codes based on Goethals and Preparata codes with parameters ((2^m,2^{2^m-5m+1},8)). The dimension of these codes is eight times higher than the dimension of the best known additive quantum codes of equal length and minimum distance.Comment: Submitted to the 2008 IEEE International Symposium on Information Theor

An Adaptive Entanglement Distillation Scheme Using Quantum Low Density Parity Check Codes

Quantum low density parity check (QLDPC) codes are useful primitives for quantum information processing because they can be encoded and decoded efficiently. Besides, the error correcting capability of a few QLDPC codes exceeds the quantum Gilbert-Varshamov bound. Here, we report a numerical performance analysis of an adaptive entanglement distillation scheme using QLDPC codes. In particular, we find that the expected yield of our adaptive distillation scheme to combat depolarization errors exceed that of Leung and Shor whenever the error probability is less than about 0.07 or greater than about 0.28. This finding illustrates the effectiveness of using QLDPC codes in entanglement distillation.Comment: 12 pages, 6 figure