Abstract
We introduce some methods for constructing quaternary Hermitian self-orthogonal (HSO) codes, and construct quaternary HSO for . Furthermore, we present methods of constructing Hermitian linear complementary dual (HLCD) codes from known HSO codes, and obtain many HLCD codes with good parameters. As an application, 31 classes of entanglement-assisted quantum error correction codes (EAQECCs) with maximal entanglement can be obtained from these HLCD codes. These new EAQECCs have better parameters than those in the literature.
Keywords:
Hermitian self-orthogonal code; Hermitian linear complementary dual code; quantum error-correcting code MSC:
94B05; 11T71
1. Introduction
Let be the field with four elements, where , and be the n-dimensional row space over . For x, its conjugate is . A quaternary code is a k-dimensional subspace of , vectors in are called as codewords of . If the minimal Hamming weights of non-zero codewords in is d, then is denoted as . A linear code is optimal if there is no code; such a code is denoted as . For , , their Hermitian inner product is . The Hermitian dual code is defined as . If , then is called as an HSO code. In particular, if , then is called a Hermitian self-dual code. If , then is called an HLCD code.
In the past 30 years, much work has been conducted concerning quaternary optimal linear codes for both theoretical and practical reasons (see, e.g., [1,2,3,4,5] and the references given therein). By 1996, the parameters of all optimal linear codes with were determined [2,3,4]. Since 1996, people have paid much attention to optimal linear codes with ; to date, there are yet 104 open cases on the parameters of optimal linear codes (see [3,4,5,6]). If is not determined for a given , a code with the largest known distance is denoted as . Quaternary HSO codes and HLCD codes are special kinds of linear codes, these two kinds of codes have connections with many branches of mathematics and quantum information [7,8,9,10,11,12,13,14,15,16,17,18,19]. In recent years, there has been an increasing interest in optimal HSO and HLCD codes. A HSO (or HLCD) code is called optimal if there is no HSO (or HLCD) code for . Entanglement-assisted (EA) stabilizer formalism was devised by Brun et al. in [20]. It has been proven that each quaternary HLCD code gave a maximal entanglement-assisted quantum code with a parameter by [14,19,21]. Under this EA stabilizer formalism, any quaternary HLCD code can be transformed into a maximal EAQECC if the shared entanglement is available between sender and receiver. Hence, it is important to study optimal quaternary HLCD codes for constructing EAQECCs.
Recall that, from 1978 to 1998, people paid much attention to special HSO codes—self-dual codes with short lengths (see [7,8,9,10]). In 1998, Calderbank et al. [11] set up connections among quantum codes, binary symplectic codes, and HSO codes; this inspired people to study HSO codes over for general length n. Bouyukliev et al. [12] discussed the classification of optimal HSO codes over for length and low dimensions. Ma et al. [13] determined the parameters of optimal HSO codes over for all n and . Recently, Refs. [17,18] determined the parameters of optimal HSO codes for all and most HSO codes for . In [14], Lu et al. showed that an HLCD (also called zero radical) code can derive an EAQECC, they construct many good EAQECCs. According to [14,15,16], the parameters of optimal HLCD codes were determined for all n and . Refs. [14,19] discussed the construction of HLCD codes with and HLCD codes with , respectively. They have given some optimal HLCD codes and good low bounds on the distance of optimal HLCD codes. According to [3], the parameters of optimal linear codes for are known and can be constructed using a unified method of puncturing. Thus, the construction of optimal HSO codes for can be conducted as we conducted in [18] for constructing HSO codes with . According to [6,14,18,19], when discussing HSO codes and HLCD codes, we should consider codes with length n such that .
This paper is organized as follows. In Section 2, we prepare the definitions, notations, and basic results used in this paper. In Section 3, the construction of HSO codes is presented. In Section 4, we derive HLCD codes from known HSO codes and related EAQECCs. Finally, in Section 5, we conclude this paper.
2. Preliminaries
In this section, some notations, definitions, and basic results are given (for details, see Ref. [22]).
Throughout this paper, we use the following notations. We assume all codes are linear codes over , and use 2 and 3 to represent and in , respectively. Let = and = denote the all-one vector and the all-zero vector of length n, respectively. Let 0 denote a zero matrix of appropriate size and denote the identity matrix of order k. Let denote the transpose of a matrix A, and let denote the conjugate transpose of A.
Let = . A matrix G whose rows form a basis of is called a generator matrix. The weight enumerator of is , where is the number of codewords in with weight equal to i for . We say that two codes and are equivalent, provided there is a monomial matrix M such that = . A code is called an even code if all its codewords have even weights [22]. According to Ref. [11], is a HSO code if and only if it is an even code. Using the generator matrix, one can give the following criterion for a code to be HSO or HLCD.
Proposition 1
([15]). Let G be a generator matrix of ; then,
- (1)
- is an HSO code if and only if .
- (2)
- is a HLCD code if and only if is nonsingular.
Definition 1.
If is a matrix and the vectors formed by row linear combination of A have the largest weight δ, then A is called as an block. If , A is called an HSO block. If is nonsingular, A is called an HLCD block.
We introduce some methods for constructing new codes from known ones. Lemmas 1 and 2 are directly obtained from [17] for linear codes. Lemma 3 and 4 can be derived from [18]. These four lemmas give the constructions of HSO codes by juxtaposition, pasting, puncturing, and shorting, respectively.
Lemma 1
([17]). Suppose and are and HSO codes, respectively. If and have generator matrices and , respectively, then generates an HSO code.
Lemma 2
([17]). Suppose and are and HSO codes, respectively. If contains a codeword of weight at least , then there exists an HSO code.
Lemma 3.
Suppose is an HSO code with generator matrix and has a sub-matrix A. If A is an HSO (HLCD) block, then there is an HSO (HLCD) code.
Proof.
Let generator matrix , then
according to is a HSO code.
Let generate an HSO code . is a codeword in with minimum Hamming weight . Since HSO code , there is a codeword in with minimum Hamming weight d. . According to [22], generates an code with .
- (1)
- If is an HSO block, . Then, and generates an HSO code.
- (2)
- If is an HLCD block, and . Then, , generates an HLCD code.
□
Lemma 4.
Suppose and is an HSO code with . Then, there are HSO codes for .
3. Constructing HSO Codes
In this section, we discuss the construction of HSO codes for ; our results are given in two subsections.
3.1. HSO Codes for
In [3], the authors introduced a dual transform method for constructing new codes from known codes; they derived the existence of three codes with parameters , , and from three known codes with parameters , , and , respectively. Using Magma [23], we can check that these three codes , , have generator matrices , , and (see Appendix A.1) and weight enumerators , , and , respectively.
We try to find HSO blocks in . It is not difficult to see that and have submatrices and and and as follows, where
Columns , , , and from are added to matrices , , , and , respectively. One can obtain four matrices, , , , and , of , respectively, and they all satisfy for . It is easy to see that these are formed by different columns of , and each is a HSO block; thus, has , , , and HSO blocks. According to Lemma 3, by removing these blocks, in turn, from , HSO codes for can be constructed from . From previous discussions, using Lemmas 3 and 4, we can achieve the following theorem.
Theorem 1.
Based on the HSO code, HSO codes with the following parameters can be constructed:
- (1)
- for ;
- (2)
- for and .
Similar to the above discussion, we can show that has four submatrices, , , , and , and has four submatrices, , , , and , where
It is easy to see that these are formed by different columns of , with each being a HSO block; these are formed by different columns of , with each being a HSO block for . Hence, both of and have , , , and HSO blocks. According to Lemma 3, by removing these blocks, in turn, from and , HSO codes and for can be constructed from and , respectively. From previous discussions, by using Lemmas 3 and 4, we can achieve the following theorem.
Theorem 2.
Based on the and HSO codes, HSO codes with the following parameters can be constructed:
- (1)
- for ;
- (2)
- for and ;
- (3)
- for ;
- (4)
- for and .
3.2. HSO Codes for
In this subsection, we use the McDonald code and four known codes given in [4] to construct HSO codes for .
In [4], four optimal codes , , , and and their generator matrices are given. It is easy to see that these four codes are HSO codes. Using column permutation (special equivalent transform M), we obtain four equivalent HSO codes with generator matrices , , , and , respectively, all these matrices are given in Appendix A.2.
Lemma 5.
If , and there is an HSO code, then there are HSO codes with the following parameters: , for and for and .
Proof.
Suppose , where is a generator matrix of an HSO code. Then, generates an HSO code.
There are four submatrices in :
Adding column vectors , , , and from to submatrices , , , and , respectively, we obtain four submatrices, , , , and , of . It is obvious that these are formed by different columns of , all satisfy and are HSO blocks for . Hence, have , , , and HSO blocks.
By removing from , in turn, one can derive that there are HSO codes for . From , we can obtain HSO codes for , . □
Since there are four HSO codes , , , and , we have the following corollary.
Corollary 1.
There are four groups of HSO codes:
- (1)
- for , and for and ;
- (2)
- for , and for and ;
- (3)
- for , and for and ;
- (4)
- for , and for and .
Summarizing the above two subsections, we construct HSO codes for each n with .
4. Construction of HLCD Codes
In this section, we focus on constructing HLCD codes from known HSO codes in the last section by puncturing some HLCD blocks.
Lemma 6.
Let be HSO blocks for and . If , is a generator matrix of an HSO code and has HLCD blocks for . Then, there are HLCD codes for and .
Proof.
Let be HLCD blocks of for . Let for and . Then, these are HLCD blocks of for and . Puncturing these blocks form ; then, one can obtain the generator matrix of HLCD codes for and . □
According to Section 3.1, for , let , respectively; there are HSO codes with generator matrices , where , as shown in Section 3, and . Thus, if we can find that each has HLCD blocks for and , then we can obtain HLCD codes. We check these facts in three cases.
Case 1.
Let and . It is easy to check that has five HLCD blocks for , as follows:
Case 2.
Let , . It is easy to check that has five HLCD blocks for , as follows:
Case 3.
Let and . It is easy to check that has five HLCD blocks for as follows:
According to Section 3, for , let , respectively; there are HSO codes with generator matrices , where and . Thus, if we can find that each has HLCD blocks for and , then we can obtain HLCD codes. We check these facts in four cases.
Case 4.
Let , and is given in Appendix A.2. It is easy to check that has five HLCD blocks for , as follows:
Case 5.
Let , and is given in Appendix A.2. It is easy to check that has five HLCD blocks for , as follows:
Case 6.
Let , and is given in Appendix A.2. It is easy to check that has five HLCD blocks for , as follows:
Case 7.
Let , and is given in Appendix A.2. It is easy to check that has five HLCD blocks for , as follows:
Summarizing previous discussions, from seven HSO codes (which are also optimal codes), , , , , , , and , we can derive seven groups of HLCD codes, as follows.
Theorem 3.
Let . There are seven groups of HLCD codes with lengths :
, , , , , , and .
Comparing the parameters of the above new HLCD codes with those in [19], one can see that 31 of our HLCD codes have larger distances than those of the same lengths in [19], and most of the others have the same distances as those in [19]. Table 1 shows our 31 HLCD codes and theirs.
Table 1.
Comparison of HLCD codes.
For each of our HLCD codes given in Table 1, we can derive HLCD codes for .
Theorem 4.
If is one of our 31 HLCD codes given in Table 1, then there are EAQECCs for . Thus, we obtain 31 classes of EAQECCs better than those in [19] of the same lengths.
5. Conclusions
In this paper, we have studied the construction of HSO codes and HLCD codes with good minimum distances from known codes and further constructed EAQECCs with good parameters.
The largest minimum distance of HSO codes for has been given above. If is determined for a given n, for any optimal linear code , an HSO code with could be constructed. If is not determined for given n, for any linear code , an HSO code with could be constructed. The minimum distance has been optimized for all the above HSO codes.
Based on these HSO codes, we can further construct HLCD codes with lengths . The parameters of these HLCD codes are as follows: for , and . By comparing with ones in the literature, it is easy to know that our 31 HLCD codes in Table 1 have better parameters. From these HLCD codes, we have obtained 31 classes of entanglement-assisted quantum codes with maximal entanglement.
Author Contributions
Conceptualization, Y.R. and R.L.; methodology, R.L.; software, Y.R.; validation, Y.R. and R.L.; formal analysis, Y.R. and R.L.; investigation, Y.R.; data curation, Y.R. and H.S.; writing—original draft preparation, Y.R.; writing—review and editing, R.L. and H.S.; visualization, Y.R.; supervision, R.L.; funding acquisition, R.L. All authors have read and agreed to the published version of the manuscript.
Funding
This research was supported by the National Natural Science Foundation of China (under Grant No. U21A20428), the Natural Science Foundation of Shaanxi Province (under Grant Nos. 2023-JC-YB-003, 2023-JC-QN-0033, and 2024JC-YBMS-055).
Data Availability Statement
Data are available upon request to the corresponding author.
Acknowledgments
We sincerely appreciate the time and effort invested by anonymous reviewers; their comments are all valuable and helpful for improving our manuscript.
Conflicts of Interest
The authors declare no conflicts of interest.
Abbreviations
The following abbreviations are used in this manuscript:
| HSO | Hermitian self-orthogonal |
| HLCD | Hermitian linear complementary dual |
| EAQECC | Entanglement-assisted quantum error-correcting code |
Appendix A. Generator Matrices of Some Special Optimal HSO Codes
Appendix A.1. Generator matrices G 5,386 and G 5,407 in Section 3.1
Let , where
Let , where
Let , where
Appendix A.2. Generator Matrices G5,172, G5,194, G5,215, and G5,236 in Section 3.2
Let , where
Let , where
Let , where
Let , where
References
- Bhandari, M.C.; Garg, M.S. Optimum codes of dimension 3 and 4 over GF (4). IEEE Trans. Inf. Theory 1992, 38, 1562–1567. [Google Scholar] [CrossRef]
- Greenough, P.P.; Hill, R. Optimal linear codes over GF (4). Discret. Math. 1994, 125, 187–199. [Google Scholar] [CrossRef]
- Bouyukliev, I.; Grassl, M.; Varbanov, Z. New bounds for n4 (k, d) and classification of some optimal codes over GF (4). Discret. Math. 2004, 281, 43–66. [Google Scholar] [CrossRef]
- Code Tables: Bounds on the Parameters of Various Types of Codes. 2024. Available online: http://www.codetables.de/ (accessed on 25 March 2024).
- Rousseva, A.; Landjev, I. The geometric approach to the existence of some quaternary Griesmer codes. Des. Codes Cryptogr. 2020, 88, 1925–1940. [Google Scholar] [CrossRef]
- Kanda, H.; Maruta, T. Nonexistence of some linear codes over the field of order four. Discret. Math. 2018, 341, 2676–2685. [Google Scholar] [CrossRef]
- MacWilliams, F.J.; Odlyzko, A.M.; Sloane, N.J.A.; Ward, H.N. Self-dual codes over GF (4). J. Comb. Theory, Ser. A 1978, 25, 288–318. [Google Scholar] [CrossRef]
- Huffman, W.C. On the classification and enumeration of self-dual codes. Finite Fields Their. Appl. 2005, 11, 451–490. [Google Scholar] [CrossRef]
- Nebe, G.; Rains, E.M.; Sloane, N.J.A. Codes and invariant theory. Math. Nachrichten 2004, 274, 104–116. [Google Scholar] [CrossRef]
- Grassl, M.; Gulliver, T.A. On circulant self-dual codes over small fields. Des. Codes Cryptogr. 2009, 52, 57–81. [Google Scholar] [CrossRef]
- Calderbank, A.R.; Rains, E.M.; Shor, P.M.; Sloane, N.J.A. Quantum error correction via codes over GF (4). IEEE Trans. Inf. Theory 1998, 44, 1369–1387. [Google Scholar] [CrossRef]
- Bouyukliev, I.; Ostergard, P.R.J. Classification of Self-Orthogonal Codes over F3 and F4. SIAM J. Discret. Math. 2005, 19, 363–370. [Google Scholar] [CrossRef][Green Version]
- Ma, Y.; Zhao, X.; Feng, Y. Optimal Quaternary Self—Orthogonal Codes of Dimensions Two and Three. J. Air Force Eng. Univ.-Nat. Sci. Ed. 2005, 6, 63–66. (In Chinese) [Google Scholar]
- Lu, L.; Li, R.; Guo, L.; Fu, Q. Maximal entanglement entanglement-assisted quantum codes constructed from linear codes. Quantum Inf. Process. 2015, 14, 165–182. [Google Scholar] [CrossRef]
- Araya, M.; Harada, M.; Saito, K. Quaternary Hermitian linear complementary dual codes. IEEE Trans. Inf. Theory 2019, 66, 2751–2759. [Google Scholar] [CrossRef]
- Araya, M.; Harada, M. On the classification of quaternary optimal Hermitian LCD codes. Cryptogr. Commun. 2022, 14, 833–847. [Google Scholar] [CrossRef]
- Ren, Y.; Li, R.; Guo, G. New entanglement-assisted quantum codes constructed from Hermitian LCD codes. AIMS Math. 2023, 8, 30875–30881. [Google Scholar] [CrossRef]
- Li, R.; Ren, Y.; Song, H.; Liu, Y. On Some Problems of Quaternary Hermitian Self-orthogonal Codes. In Proceedings of the 2023 International Symposium on Coding and Cryptography, Hefei, China, 10 December 2023. [Google Scholar]
- Lu, L.; Li, R.; Guo, L. Entanglement-assisted quantum codes from quaternary codes of dimension five. Int. J. Quantum Inf. 2017, 15, 1750017. [Google Scholar] [CrossRef]
- Brun, T.; Devetak, I.; Hsieh, M.H. Correcting quantum errors with entanglement. Science 2006, 314, 436–439. [Google Scholar] [CrossRef] [PubMed]
- Lai, C.Y.; Brun, T.A.; Wilde, M.M. Dualities and identities for entanglement-assisted quantum codes. Quantum Inf. Process. 2014, 13, 957–990. [Google Scholar] [CrossRef][Green Version]
- Huffman, W.C.; Pless, V. Fundamentals of Error-Correcting Codes; Cambridge University Press: Cambridge, UK, 2010. [Google Scholar]
- Bosma, W.; Cannon, J.; Playoust, C. The Magma algebra system I: The user language. J. Symb. Comput. 1997, 24, 235–265. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2024 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).