ArticlePublisher preview available

MDS codes with Euclidean and Hermitian hulls of flexible dimensions and their applications to EAQECCs

Authors:
To read the full-text of this research, you can request a copy directly from the authors.

Abstract

The hull of a linear code is the intersection of itself with its dual code with respect to certain inner product. Both Euclidean and Hermitian hulls are of theorical and practical significance. In this paper, we construct several new classes of maximum distance separable (MDS) codes via (extended) generalized Reed-Solomon (GRS) codes and determine their Euclidean or Hermitian hulls. As a consequence, four new classes of MDS codes with Hermitian hulls of flexible dimensions and six new classes of MDS codes with Euclidean hulls of flexible dimensions are constructed. As applications, for the former, we further construct four new families of entanglement-assisted quantum error-correcting codes (EAQECCs) and four new families of MDS EAQECCs of length n>q+1n>q+1n>q+1. Meanwhile, many of the distance parameters of our MDS EAQECCs are greater than ⌈q2⌉q2\lceil \frac{q}{2} \rceil or q; for the latter, we show some examples on Euclidean self-orthogonal and one-dimensional Euclidean hull MDS codes. In addition, two new general methods for constructing extended GRS codes with (k-1)(k1)(k-1)-dimensional Hermitian hull and Hermitian self-orthogonal extended GRS codes are also provided.
Quantum Information Processing (2023) 22:153
https://doi.org/10.1007/s11128-023-03900-x
MDS codes with Euclidean and Hermitian hulls of flexible
dimensions and their applications to EAQECCs
Yang Li1·Ruhao Wan1·Shixin Zhu1
Received: 13 November 2022 / Accepted: 27 February 2023 / Published online: 22 March 2023
© The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2023
Abstract
The hull of a linear code is the intersection of itself with its dual code with respect to
certain inner product. Both Euclidean and Hermitian hulls are of theorical and practi-
cal significance. In this paper, we construct several new classes of maximum distance
separable (MDS) codes via (extended) generalized Reed-Solomon (GRS) codes and
determine their Euclidean or Hermitian hulls. As a consequence, four new classes of
MDS codes with Hermitian hulls of flexible dimensions and six new classes of MDS
codes with Euclidean hulls of flexible dimensions are constructed. As applications,
for the former, we further construct four new families of entanglement-assisted quan-
tum error-correcting codes (EAQECCs) and four new families of MDS EAQECCs of
length n>q+1. Meanwhile, many of the distance parameters of our MDS EAQECCs
are greater than q
2or q; for the latter, we show some examples on Euclidean self-
orthogonal and one-dimensional Euclidean hull MDS codes. In addition, two new
general methods for constructing extended GRS codes with (k1)-dimensional
Hermitian hull and Hermitian self-orthogonal extended GRS codes are also provided.
Keywords Hulls ·Entanglement-assisted quantum error-correcting codes ·
Generalized Reed–Solomon codes ·Extended generalized Reed–Solomon codes
Mathematics Subject Classification 94B05 ·81P70
This research was supported by the National Natural Science Foundation of China (Nos.U21A20428 and
12171134).
BShixin Zhu
zhushixinmath@hfut.edu.cn
Yang Li
yanglimath@163.com
Ruhao Wan
wanruhao98@163.com
1School of Mathematics, HeFei University of Technology, Hefei 230601, China
123
Content courtesy of Springer Nature, terms of use apply. Rights reserved.
... Naturally, there is a problem: how to construct self-dual codes? In recent year, authors studied self-dual (MDS) codes constructed by GRS codes [7,8,13,14,28,25,15,19] and TGRS codes [9,3,30,22,29]. For a 1-TGRS code to be self-dual, Huang et al. presented a condition that is both sufficient and necessary in [12]. ...
... For more details on the encoding procedure, one can see [23,30]. Moreover, an [[n, k, d; c]] q EAQECC is just an [[n, k, d]] q QECC if c = 0. Note that the introduction of EAQECCs have sparked another boom in the research of quantum coding theory and many interesting EAQECCs have been constructed in the literature (see for example [4,5,8,9,12,13,16,17,19,24,26]). ...
Article
Full-text available
Maximum distance separable (MDS) quantum error-correcting codes (QECCs) and MDS entanglement-assisted QECCs (EAQECCs) play significant roles in quantum information theory. In this paper, we construct several new families of MDS QECCs and MDS EAQECCs by utilizing Hermitian self-orthogonal generalized Reed–Solomon codes. These newly obtained MDS QECCs contain some known classes of MDS QECCs as subclasses and some of them have larger minimum distance. In addition, many q-ary MDS QECCs and MDS EAQECCs in our constructions have length exceeding q+1q+1 and minimum distance surpassing q2+1q2+1\frac{q}{2}+1.
Article
Full-text available
Formally self-dual (FSD) codes and linear codes with small Euclidean (resp. Hermitian) hulls have recently attracted a lot of attention due to their theoretical and practical importance. However, there has been not much attention on FSD codes with small hulls. In this paper, we introduce two kinds of polynomial four Toeplitz codes and prove that they must be FSD. We characterize the linear complementary dual (LCD) properties and one-dimensional hull properties of such codes with respect to the Euclidean and Hermitian inner products. Using these characterizations, we find some improved binary, ternary Euclidean and quaternary Hermitian FSD LCD codes, as well as many non-equivalent ones that perform equally well with respect to best-known (FSD) LCD codes in the literature. Furthermore, some (near) maximum distance separable FSD codes with both one-dimensional Euclidean hull and one-dimensional Hermitian hull are also given as examples.
Article
Hermitian hulls of linear codes are interesting for theoretical and practical reasons alike. In terms of recent application, linear codes whose hulls meet certain conditions have been utilized as ingredients to construct entanglement-assisted quantum error correcting codes. This family of quantum codes is often seen as a generalization of quantum stabilizer codes. Theoretically, compared with the Euclidean setup, the Hermitian case is much harder to deal with. Hermitian hulls of MDS linear codes with low dimensions have been explored, mostly from generalized Reed-Solomon codes. Characterizing Hermitian hulls which themselves are MDS appears to be more involved and has not been extensively studied. This paper introduces some tools to study linear codes whose Hermitian hulls are MDS. Using the tools, we then propose explicit constructions of such codes. We consider Hermitian hulls of both Reed-Solomon and non Reed-Solomon types of linear MDS codes. We demonstrate that, given the same Hermitian hull dimensions, the codes from our constructions have dimensions which are larger than those in the literature.
Article
Full-text available
Linear codes with small hulls over finite fields have been extensively studied due to their practical applications in computational complexity and information protection. In this paper, we develop a general method to determine the exact value of D4H(n,k,1)D4H(n,k,1)D_4^H(n,k,1) for n≤12n12n\le 12 or k∈{1,2,3,n-1,n-2,n-3}k{1,2,3,n1,n2,n3}k\in \{1,2,3,n-1,n-2,n-3\}, where D4H(n,k,1)D4H(n,k,1)D_4^H(n,k,1) denotes the largest minimum distance among all quaternary linear [n, k] codes with one-dimensional Hermitian hull. As a consequence, we solve a conjecture proposed by Mankean and Jitman on the largest minimum distance of a quaternary linear code with one-dimensional Hermitian hull. As an application, we construct some binary entanglement-assisted quantum error-correcting codes (EAQECCs) from quaternary linear codes with one-dimensional Hermitian hull. Some of these EAQECCs are optimal codes, and some of them are better than previously known ones.
Article
Full-text available
The entanglement-assisted quantum error-correcting (EAQEC) codes have the potential to greatly generalize and enhance the performance of existing quantum error-correcting codes. In this paper, we investigate EAQEC codes of length q2-1rq21r\frac{q^2-1}{r}, where r is a positive divisor of q+1q+1. Most of these codes are new, and some of them have better performance than ones obtained in the literature. The resulting EAQEC codes are maximum-distance-separable (MDS) if the minimum distance d≤n+22dn+22d\le \frac{n+2}{2}.
Article
The hull of a linear code over finite fields is the intersection of the code and its dual, which was introduced by Assmus and Key to classify finite projective planes. The main purpose of this paper is to obtain the closed mass formula for binary linear codes with various hull dimensions, which simplifies the mass formula obtained by Sendrier in (SIAM J. Discrete Math., 10(2): 282-293, 1997). We show that almost all binary linear codes with \ell -dimensional hull are odd-like codes with odd-like duals for fixed \ell . We also study the largest minimum distance of a binary linear [n,k] code with \ell -dimensional hull. Most importantly, we give a complete classification of binary linear codes with various hull dimensions for n12n\leq 12 using a building-up construction, which is confirmed by double-checking with our mass formula. We also give the classification of optimal binary linear [n,k] codes with various hull dimensions for n13n\leq 13 . Combining with known results, we obtain the classification of (optimal) binary linear codes with small parameters.
Article
Full-text available
The intersection CCH\textbf{C}\cap \textbf{C}^{\perp _H} of a linear code CFq2n\textbf{C} \subset \textbf{F}_{q^2}^n and its Hermitian dual CH\textbf{C}^{\perp _H} is called the Hermitian hull of this code. A linear code CFq2n\textbf{C} \subset \textbf{F}_{q^2}^n satisfying CCH\textbf{C} \subset \textbf{C}^{\perp _H} is called Hermitian self-orthogonal. Many Hermitian self-orthogonal codes were given for the construction of MDS quantum error correction codes (QECCs). In this paper we prove that for a nonnegative integer h satisfying 0hk0 \le h \le k, a linear Hermitian self-orthogonal [n,k]q2[n, k]_{q^2} code is equivalent to a linear h-dimension Hermitian hull code. Therefore a lot of new MDS entanglement-assisted quantum error correction (EAQEC) codes can be constructed from previous known Hermitian self-orthogonal codes. Actually our method shows that previous constructed quantum MDS codes from Hermitian self-orthogonal codes can be transformed to MDS entanglement-assisted quantum codes with nonzero consumption parameter c directly. We prove that MDS EAQEC [[n,k,d;c]]q[[n, k, d; c]]_q codes with nonzero c parameters and dn+22d\le \frac{n+2}{2} exist for arbitrary length n satisfying nq2+1n \le q^2+1. Moreover any QECC constructed from k-dimensional Hermitian self-orthogonal codes can be transformed to k different EAQEC codes. We also prove that MDS entanglement-assisted quantum codes exist for all lengths nq2+1n\le q^2+1.
Article
Full-text available
Asymmetric quantum error-correcting codes (AQECCs) are quantum codes defined over quantum channels where qudit-flip errors and phase-shift errors may have different probabilities. In this paper, we propose several classes of Hermitian self-orthogonal MDS codes with subcodes of arbitrary dimensions are constructed. Take advantage of the special structure of these classic MDS codes, we obtain several new classes of optimal AQECCs. Using our construction methods, a large number of optimal AQECCs can be generated.
Article
Full-text available
Entanglement-assisted quantum error-correcting codes (EAQECCs) are a generalization of standard stabilizer quantum error-correcting codes, which can be possibly constructed from any classical codes by relaxing the duality condition and utilizing pre-shared entanglement between the sender and receiver to boost the rate of transmission. In this paper, we present some constructions of generalized Reed–Solomon codes and calculate the dimension of their hulls. With these generalized Reed–Solomon codes, we obtain four infinite families new constructions of EAQECCs, which are optimal with respect to the Singleton bound for EAQECCs. Notably, the parameters of our EAQECCs are flexible.
Article
Full-text available
The hull of a linear code C is the intersection of C with its dual CC^\perp . The hull with low dimensions gets much interest due to its crucial role in determining the complexity of algorithms for computing the automorphism group of a linear code and for checking permutation equivalence of two linear codes. The hull of linear codes has recently found its application to the so-called entanglement-assisted quantum error-correcting codes (EAQECCs). In this paper, we provide a new method to construct linear codes with one-dimensional hull. This construction method improves the code lengths and dimensions of the recent results given by the author. As a consequence, we derive several new classes of optimal linear codes with one-dimensional hull. Some new EAQECCs are presented.
Article
Full-text available
The hull of a linear code over finite fields is the intersection of the code and its dual, which was introduced by Assmus and Key. In this paper, we develop a method to construct linear codes with trivial hull (LCD codes) and one-dimensional hull by employing the positive characteristic analogues of Gauss sums. These codes are quasi-abelian, and sometimes doubly circulant. Some sufficient conditions for a linear code to be an LCD code (resp. a linear code with one-dimensional hull) are presented. It is worth mentioning that we present a lower bound on the minimum distances of the constructed linear codes. As an application, using these conditions, we obtain some optimal or almost optimal LCD codes (resp. linear codes with one-dimensional hull) with respect to the online Database of Grassl.
Article
Full-text available
We present two new constructions of entanglement-assisted quantum error-correcting codes using some fundamental properties of (classical) linear codes in an effective way. The main ideas include linear complementary dual codes and related concatenation constructions. Numerical examples in modest lengths show that our constructions perform better than known constructions in the literature. We also give a proof on a generalization of binary Singleton type bound on entanglement-assisted quantum error-correcting codes to arbitrary q-ary entanglement-assisted quantum error-correcting codes.
Article
Full-text available
In this paper, some new classes of entanglement-assisted quantum MDS codes (EAQMDS codes for short) are constructed via generalized Reed–Solomon codes over finite fields of odd characteristic. Among our constructions, there are many EAQMDS codes with new lengths. The lengths of these EAQMDS codes may not be divisors of q2±1q2±1q^2\pm 1, which are new and have never been reported.
Article
Full-text available
The hull of a linear code over finite fields, the intersection of the code and its dual, has been of interest and extensively studied due to its wide applications. For example, it plays a vital role in determining the complexity of algorithms for checking permutation equivalence of two linear codes and for computing the automorphism group of a linear code. People are interested in pursuing linear codes with small hulls since, for such codes, the aforementioned algorithms are very efficient. In this field, Carlet, Mesnager, Tang and Qi gave a systematic characterization of LCD codes, i.e, linear codes with null hull. In 2019, Carlet, Li and Mesnager presented some constructions of linear codes with small hulls. In the same year, Li and Zeng derived some constructions of linear codes with one-dimensional hull by using some specific Gaussian sums. In this paper, we use general Gaussian sums to construct linear codes with one-dimensional hull by utilizing number fields, which generalizes some results of Li and Zeng (IEEE Trans. Inf. Theory 65(3), 1668–1676, 2019) and also of those presented by Carlet et al. (Des. Codes Cryptogr. 87(12), 3063–3075, 2019). We give sufficient conditions to obtain such codes. Notably, some codes we obtained are optimal or almost optimal according to the Database. This is the first attempt on constructing linear codes by general Gaussian sums which have one-dimensional hull and are optimal. Moreover, we also develop a bound of on the minimum distances of linear codes we constructed.
Article
The construction of quantum maximum distance separable (abbreviated to MDS) error-correcting codes has become one of the major concerns in quantum coding theory. In this paper, we further generalize the approach developed in the previous paper, and construct several new classes of Hermitian self-orthogonal generalized Reed-Solomon (GRS) codes. By employing these classical MDS codes, we obtain several classes of quantum MDS codes with large minimum distance. It turns out that our quantum MDS codes exhibited here have less constraints on the selection of code length and some of them have not been constructed before, and in some cases, have larger minimum distance than previous literature. Meanwhile, about half of the distance parameters of our codes are greater than q2+1.
Article
The intersection of a linear code and its dual is called the hull of this code. The code is a linear complementary dual (LCD) code if the dimension of its hull is zero. In this paper, we develop a method to construct LCD codes and linear codes with one-dimensional hull by association schemes. One of constructions in this paper generalizes that of linear codes associated with Gauss periods given in [5]. In addition, we present a generalized construction of linear codes, which can provide more LCD codes and linear codes with one-dimensional hull. We also present some examples of LCD MDS, LCD almost MDS codes, and MDS, almost MDS codes with one-dimensional hull from our constructions.