Abstract
In this note, we report two versions of Gilbert–Varshamov-type existential bounds for asymmetric quantum error-correcting codes.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Quantum error-correcting codes (QECCs) are important for construction of quantum computers, as the fault-tolerant quantum computation is based on QECC [13]. There are two kinds of errors in quantum information: One is called a bit error, and the other is called a phase error. Steane [16] first studied the asymmetry between probabilities of the bit and the phase errors, and he also considered QECC for asymmetric quantum errors, which are called asymmetric quantum error-correcting codes (AQECC). Research on AQECC has become very active recently; see [7, 9, 16] and the references therein.
On the other hand, in the study of error-correcting codes, it is important to know the optimal performance of codes. For classical error-correcting codes, the Gilbert–Varshamov (GV) bound [11] is a sufficient condition for existence of codes whose parameters satisfies the GV bound. By the GV bound, one can know that the optimal performance of classical codes is at least as good as the GV bound.
For QECC, Ekert and Macchiavello obtained a GV-type existential bound for general QECCs. An important subclass of general QECCs is the stabilizer codes [2, 3, 8], as they enable efficient encoding and decoding. Calderbank et al. [2] obtained a GV-type existential bound for the stabilizer QECCs. After that, Feng and Ma [6] and Jin and Xing [10] obtained improved versions of GV-type bounds for the stabilizer QECCs.
The Calderbank–Shor–Steane (CSS) QECCs [4, 15] are an important subclass of the stabilizer QECCs, as the CSS codes enable more efficient implementation of the fault-tolerant quantum computation than the stabilizer codes.
Those existential bounds [2, 4,5,6, 10] did not consider the asymmetric quantum errors, while the asymmetry in quantum errors is important in practice [14]. As far as the author knows, nobody has reported existential bounds for the stabilizer or the CSS QECC for asymmetric quantum errors. In this note, we report such ones. Our proof arguments are similar to ones in [2, 4].
2 A GV-type existential bound for the CSS codes
An \([[n,k,d_x,d_z]]_q\) QECC encodes k q-ary qudits into n q-ary qudits and detects up to \(d_x\) bit errors and up to \(d_z\) phase errors. It is known [1, 3] that a nested classical code \(C_2 \subset C_1 \subset \mathbf {F}_q^n\) with dimensions \(k_2\) and \(k_1\) can construct an \([[n,\dim C_1-\dim C_2]]_q\) CSS code, where \(\mathbf {F}_q\) is a finite field with q elements. A quantum error can be expressed as a pair \((\mathbf {e}_x\), \(\mathbf {e}_z)\), where \(\mathbf {e}_x \in \mathbf {F}_q^n\) corresponds to the bit error component of a quantum error and \(\mathbf {e}_x \in \mathbf {F}_q^n\) does to the phase error component.
Let \(\mathrm {GL}_n(\mathbf {F}_q)\) be the group of \(n\times n\) invertible matrices over \(\mathbf {F}_q\). Let \(B_n = \{ (C_1\), \(C_2 ) \mid \) \(C_2 \subset C_1 \subset \mathbf {F}_q^n\), \(\dim C_1 = k_1\), \(\dim C_2 = k_2\}\). For a nonzero vector \(\mathbf {e} \in \mathbf {F}_q^n\), let \(B_{n,x}(\mathbf {e})\) (resp. \(B_{n,z}(\mathbf {e})\)) be the set of nested code pairs that cannot detect \(\mathbf {e}\) as a bit error (resp. a phase error), that is, \(B_{n,x}(\mathbf {e}) = \{ (C_1, C_2) \in B_n \mid \mathbf {e} \in C_1 {\setminus } C_2 \}\) (resp. \(B_{n,z}(\mathbf {e}) = \{ (C_1, C_2) \in B_n \mid \mathbf {e} \in C_2^\perp {\setminus } C_1^\perp \}\)), where \(C_1^\perp \) is the dual code of \(C_1\) with respect to the standard inner product.
Lemma 1
For nonzero \(\mathbf {e}\), we have
Proof
As each pair \(C_2 \subset C_1\) has \(\sharp C_1 {\setminus } C_2 = q^{k_1}-q^{k_2}\) undetectable errors, we have
For nonzero \(\mathbf {e}_1, \mathbf {e}_2 \in \mathbf {F}_q^n\), we claim \(\sharp B_{n,x}(\mathbf {e}_1) = \sharp B_{n,x}(\mathbf {e})_2\). Assuming the claim, we have
Combining these two equalities, we have
We finish the proof by proving the claim. Let \(\mathbf {e}_1, \mathbf {e}_2\) be nonzero vectors. We have
where \(\tau ' \in \mathrm {GL}_n(\mathbf {F}_q)\) such that \(\tau '\mathbf {e}_1 = \mathbf {e}_2\).
For phase errors, we can make a similar argument with \(C_2^\perp \supset C_1^\perp \). \(\square \)
Theorem 2
Let n, \(k_1\), \(k_2\), \(d_x\) and \(d_z\) be positive integers such that
then an \([[n,k_1-k_2, d_x,d_z]]_q\) CSS QECC exists.
Proof
Recall that each quantum error can be expressed by its bit error component \(\mathbf {e}_x \in \mathbf {F}_q^n\) and its phase error component \(\mathbf {e}_z \in \mathbf {F}_q^n\). The bit error component \(\mathbf {e}_x\) cannot be detected by codes in \(B_{n,x}(\mathbf {e}_x)\), and the phase error component \(\mathbf {e}_z\) cannot be detected by codes in \(B_{n,z}(\mathbf {e}_z)\). The detectabilities of the bit errors and the phase errors are independent of each other. Therefore, if Eq. (1) holds, then there exists at least one \((C_1, C_2) \in B_n\) that can detect all the bit errors with weight up to \(d_x-1\) and all the phase errors with weight up to \(d_z-1\), which implies it is an \([[n,k_1-k_2, d_x, d_z]]_q\) quantum code. \(\square \)
Classical coding theorists often have interest in asymptotic versions of GV-type existential bounds [11]. They are stated in terms of information rate and relative distance of classical error-correcting codes. In the classical error correction, information rate is the ratio of the number of information symbols to the code length, and relative distance is the ratio of the minimum distance to the code length.
We can also derive an asymptotic version of Theorem 2. For an \([[n,k, d_x, d_z]]_q\) AQECC, we may define the relative distance \(\delta _x\) for bit errors as \(d_x / n\) and the relative distance \(\delta _z\) for bit errors as \(d_z / n\). The information rate of an \([[n,k]]_q\) QECC is defined as k / n [13].
Recall [11] that for \(0 \le \delta \le 1-1/q\) we have
where \(h_q(\delta )= \delta \log _q(q-1) - \delta \log _q \delta - (1-\delta )\log _q(1-\delta )\).
Corollary 3
Let \(\delta _x\) and \(\delta _z\) be real numbers such that \(0 \le \delta _x \le 1-1/q\) and \(0 \le \delta _z \le 1-1/q\). If
then, for sufficiently large n, there exists an \([[n,\lfloor n R_1\rfloor - \lceil nR_2\rceil ,\lfloor n\delta _x\rfloor ,\lfloor n\delta _z\rfloor ]]_q\) CSS QECC exists.
In Corollary 3, \(R_1\) is the information rate of classical ECC \(C_1\), and \(R_2\) is the information rate of classical ECC \(C_2\). The corresponding quantum CSS code has information rate \(R_1-R_2\), relative distance \(\delta _x\) for bit errors, and relative distance \(\delta _z\) for phase errors.
Proof
Assume that Eq. (3) holds. Then for sufficiently large n, we have
Similarly, for sufficiently large n Eq. (4) implies
Equations (5) and (6) imply that the assumption of Theorem 2 becomes true for sufficiently large n, which shows Corollary 3. \(\square \)
3 A GV-type existential bound for the stabilizer codes
Let \(C \subset \mathbf {F}_q^{2n}\) be a \(\mathbf {F}_q\)-linear space of dimension \(n-k\) self-orthogonal with respect to the standard symplectic inner product in \(\mathbf {F}_q^{2n}\). C can be viewed as an \([[n,k]]_q\) stabilizer QECC. Let \(A_n\) be the set of all such C’s. A nonzero \(\mathbf {e} \in \mathbf {F}_q^{2n}\) can be viewed as a quantum error on n qudits. Let \(A_n(\mathbf {e})\) be the set of stabilizer codes that cannot detect \(\mathbf {e}\) as an error, that is, \(A_n(\mathbf {e}) = \{ C \in A_n \mid \mathbf {e} \in C^{\perp \mathrm {s}} {\setminus } C \}\), where \(C^{\perp \mathrm {s}}\) is the dual of C with respect to the symplectic inner product. Then \(\sharp A_n(\mathbf {e}) \le \frac{1-q^{-2k}}{1-q^{-2n}}\cdot \frac{1}{q^{n-k}}\sharp A_n\) [12, Lemma 9].
Recall that, for C to be \([[n,k,d_x,d_z]]_q\), C must be able to detect all \(d_x\) or less bit errors and all \(d_z\) or less phase errors. The number of such errors is
By the same argument as [12, Remark 10] (or as the last section), we have the following theorem:
Theorem 4
Let n, \(k_1\), \(k_2\), \(d_x\) and \(d_z\) be positive integers such that
then there exists an \([[n,k,d_x,d_z]]_q\) stabilizer QECC. \(\square \)
By almost the same argument as Corollary 3, we can derive the following asymptotic version of Theorem 4.
Corollary 5
Let \(\delta _x\) and \(\delta _z\) be real numbers such that \(0 \le \delta _x \le 1-1/q\) and \(0 \le \delta _z \le 1-1/q\). If
then, for sufficiently large n, there exists an \([[n, \lfloor nR\rfloor , \lfloor n\delta _x\rfloor , \lfloor n\delta _z \rfloor ]]_q\) stabilizer QECC. \(\square \)
The quantum stabilizer code in Corollary 5 has information rate R, relative distance \(\delta _x\) for bit errors, and relative distance \(\delta _z\) for phase errors.
By the relation between the CSS and the stabilizer QECCs [3], we see that the assumption in Corollary 3 is less demanding than that in Corollary 5 for the same n, \(R=R_1-R_2\), \(\delta _x\) and \(\delta _z\), which means that Corollary 5 is a stronger existential bound than Corollary 3.
Remark 6
Theorems 2 and 4 and Corollaries 3 and 5 do not admit direct comparisons against previously known GV-type bounds even when \(d_x = d_z\). The reason is as follows: For a binary QECC to be \([[n,k,2,2]]_2\), it must detect at least \(n^2\) different errors. On the other hand, for a binary \([[n,k]]_2\) QECC to detect all single symmetric errors, it only has to detect 3n errors, which is generally much fewer than \(n^2\). The above example shows that the number of asymmetric quantum errors is much different from that of corresponding symmetric quantum errors, even if we assume the same number of bit errors and phase errors in asymmetric quantum errors.
In addition, the famous \([[5,1,3]]_2\) binary stabilizer code in [3, 8] can detect up to four bit errors if there is no phase error, and can detect up to four phase errors if there is no bit error. Thus, it is simultaneously both \([[5,1,1,5]]_2\) AQECC and \([[5,1,5,1]]_2\) AQECC. This phenomenon makes the direct comparison even more difficult.
References
Ashikhmin, A., Knill, E.: Nonbinary quantum stabilizer codes. IEEE Trans. Inform. Theory 47(7), 3065–3072 (2001)
Calderbank, A.R., Rains, E.M., Shor, P.W., Sloane, N.J.A.: Quantum error correction and orthogonal geometry. Phys. Rev. Lett. 78(3), 405–408 (1997)
Calderbank, A.R., Rains, E.M., Shor, P.W., Sloane, N.J.A.: Quantum error correction via codes over GF(4). IEEE Trans. Inform. Theory 44(4), 1369–1387 (1998)
Calderbank, A.R., Shor, P.W.: Good quantum error-correcting codes exist. Phys. Rev. A 54(2), 1098–1105 (1996)
Ekert, A., Macchiavello, C.: Quantum error correction for communication. Phys. Rev. Lett. 77(12), 2585–2588 (1996)
Feng, K., Ma, Z.: A finite Gilbert–Varshamov bound for pure stabilizer quantum codes. IEEE Trans. Inform. Theory 50(12), 3323–3325 (2004). doi:10.1109/TIT.2004.838088
Galindo, C., Geil, O., Hernando, F., Ruano, D.: Improved constructions of nested code pairs. IEEE Trans. Inform. Theory (2017). doi:10.1109/TIT.2017.2755682
Gottesman, D.: Class of quantum error-correcting codes saturating the quantum Hamming bound. Phys. Rev. A 54(3), 1862–1868 (1996)
Ioffe, L., Mézard, M.: Asymmetric quantum error-correcting codes. Phys. Rev. A 75, 032345 (2007). doi:10.1103/PhysRevA.75.032345
Jin, L., Xing, C.: Quantum Gilbert–Varshamov bound through symplectic self-orthogonal codes. In: Proceedings 2011 IEEE International Symposium on Information Theory, pp. 455–458. Sait Petersburg, Russia (2011). doi:10.1109/ISIT.2011.6034167
MacWilliams, F.J., Sloane, N.J.A.: The Theory of Error-Correcting Codes. Elsevier, Amsterdam (1977)
Matsumoto, R., Uyematsu, T.: Lower bound for the quantum capacity of a discrete memoryless quantum channel. Jo. Math. Phys. 43(9), 4391–4403 (2002). doi:10.1063/1.1497999
Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)
Sarvepalli, P.K., Klappenecker, A., Rötteler, M.: Asymmetric quantum codes: constructions, bounds and performance. Proc. R. Soc. A Math. Phys. Eng. Sci. 465(2105), 1645–1672 (2009). doi:10.1098/rspa.2008.0439
Steane, A.M.: Multiple particle interference and quantum error correction. Proc. R. Soc. Lond. Ser. A 452(1954), 2551–2577 (1996)
Steane, A.M.: Simple quantum error-correcting codes. Phys. Rev. A 54(6), 4741–4751 (1996). doi:10.1103/PhysRevA.54.4741
Acknowledgements
The author would like to thank an anonymous reviewer for careful reading and the helpful report that improved this note, and Prof. Fernando Hernando for drawing his attention to the asymmetric quantum error correction.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Matsumoto, R. Two Gilbert–Varshamov-type existential bounds for asymmetric quantum error-correcting codes. Quantum Inf Process 16, 285 (2017). https://doi.org/10.1007/s11128-017-1748-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11128-017-1748-y