## Some optimal entanglement-assisted quantum codes constructed from quaternary Hermitian linear complementary dual codes

Masaaki Harada ∗

## Abstract

We establish the existence of optimal entanglement-assisted quantum [[ n, k, d ; n -k ]] 2 codes for ( n, k, d ) = (14 6 7), (15 , , , 7 7), (17 , , 6 9), , (17 7 8), (19 , , , 7 9) and (20 7 10). , , , These codes are obtained from quaternary Hermitian linear complementary dual codes. We also give some observation on the largest minimum weights.

## 1 Introduction

Let F q denote the finite field of order q , where q is a prime power. In this note, an [ n, k ] q code means a code over F q of length n and dimension k . The Euclidean dual code C ⊥ of an [ n, k ] q code C is defined as C ⊥ = { x ∈ F n q | 〈 x, y 〉 = 0 for all y ∈ C , } where 〈 x, y 〉 = ∑ n i =1 x y i i for x = ( x , . . . , x 1 n ) , y = ( y , . . . , y 1 n ) ∈ F n q . For any x ∈ F q 2 , the conjugation of x is defined as x = x q . The Hermitian dual code C ⊥ H of an [ n, k ] q 2 code C is defined as C ⊥ H = { x ∈ F n q 2 | 〈 x, y 〉 H = 0 for all y ∈ C , } where 〈 x, y 〉 H = ∑ n i =1 x y i i for x = ( x , . . . , x 1 n ) , y = ( y , . . . , y 1 n ) ∈ F n q 2 . Let 0 n denote the zero vector of length n . Acode C over F q is called Euclidean linear complementary dual if C ∩ C ⊥ = { 0 n } . A code C over F q 2 is called Hermitian linear complementary dual if C ∩ C ⊥ H = { 0 n } . These two families of codes are collectively called linear complementary dual (LCD for short) codes.

∗ Research Center for Pure and Applied Mathematics, Graduate School of Information Sciences, Tohoku University, Sendai 980-8579, Japan. email: mharada@tohoku.ac.jp .

LCD codes were introduced by Massey [10] and gave an optimum linear coding solution for the two user binary adder channel. Recently, much work has been done concerning LCD codes for both theoretical and practical reasons. In particular, Carlet, Mesnager, Tang, Qi and Pellikaan [3] showed that any code over F q is equivalent to some Euclidean LCD code for q ≥ 4 and any code over F q 2 is equivalent to some Hermitian LCD code for q ≥ 3. This motivates us to study Euclidean LCD codes over F q ( q = 2 3) and quater-, nary Hermitian LCD codes. Here, we consider only the latter. In addition, it is known that quaternary Hermitian LCD codes give entanglement-assisted quantum [[ n, k, d ; n -k ]] 2 codes (see e.g. [4], [5], [7], [8] and [9] for background material on entanglement-assisted quantum codes). More precisely, if there is a Hermitian LCD [ n, k, d ] 4 code, then there is an entanglement-assisted quantum [[ n, k, d ; n -k ]] 2 code (see e.g. [7], [8] and [9]). From this point of view, quaternary Hermitian LCD codes play an important role in the study of entanglement-assisted quantum [[ n, k, d ; n -k ]] 2 codes. Note that quaternary Hermitian LCD codes are also called zero radical codes (see e.g. [7], [8] and [9]).

A Hermitian LCD [ n, k, d ] 4 code is called optimal if there is no Hermitian LCD [ n, k, d ′ ] 4 code for d ′ &gt; d . An entanglement-assisted quantum [[ n, k, d ; c ]] 2 code is called optimal if there is no entanglement-assisted quantum [[ n, k, d ′ ; c ]] 2 code for d ′ &gt; d . We denote the largest minimum weight d by d Q ( n, k ). For k ≤ n ≤ 20, the current state of knowledge about d Q ( n, k ) are listed in [5, Table II] and [9, Table 6]. Many optimal entanglementassisted quantum [[ n, k, d ; n -k ]] 2 codes codes are constructed from optimal quaternary Hermitian LCD codes. As a contribution in this direction, in this note, we establish the existence of optimal entanglement-assisted quantum [[ n, k, d ; n -k ]] 2 codes for

$$( n, k, d ) = ( 1 4, 6, 7 ), ( 1 5, 7, 7 ), ( 1 7, 6, 9 ), ( 1 7, 7, 8 ), ( 1 9, 7, 9 ), ( 2 0, 7, 1 0 ).$$

From [5, Table II] and [9, Table 6], we determine the largest minimum weight as follows:

$$d _ { Q } ( 1 4, 6 ) & = d _ { Q } ( 1 5, 7 ) = 7, d _ { Q } ( 1 7, 6 ) = d _ { Q } ( 1 9, 7 ) = 9, \\ d _ { Q } ( 1 7, 7 ) & = 8 \text{ and } d _ { Q } ( 2 0, 7 ) = 1 0.$$

In addition, we establish the existence of an entanglement-assisted quantum [[20 , 8 9; 12]] , 2 code. We also give some observation on the largest minimum weights for Hermitian LCD [ n, k ] 4 codes for k = n -1 , n -2 and n -3.

All computer calculations in this note were done by Magma [1].

## 2 New optimal codes

## 2.1 Optimal quaternary Hermitian LCD codes

We denote the finite field of order 4 by F 4 = { 0 1 , , ω, ω 2 } , where ω 2 = ω +1. A linear [ n, k ] 4 code C is a k -dimensional vector subspace of F n 4 . All codes over F 4 in this note are linear. A code over F 4 is called quaternary . The weight wt( x ) of a vector x ∈ F n 4 is the number of non-zero components of x . A vector of C is called a codeword of C . The minimum non-zero weight of all codewords in C is called the minimum weight d C ( ) of C . An [ n, k, d ] 4 code is an [ n, k ] 4 code with minimum weight d . Two [ n, k ] 4 codes C and C ′ are equivalent if there is an n × n monomial matrix P over F 4 with C ′ = { xP | x ∈ C } .

Every [ n, k, d ] 4 code is equivalent to a code with generator matrix of the form ( I k A ) , where A is a k × ( n -k ) matrix and I k denotes the identity matrix of order k . Let r i be the i -th row of A . Here, we may assume that A satisfies the following conditions:

- (i) r 1 = ( 0 n - -k d +1 , 1 d -1 ), where 1 s denotes the all-one vector of length s ,
- (ii) wt( r i ) ≥ d -1,
- (iii) the first nonzero element of r i is 1,

$$( \text{iv} ) \ r _ { 1 } < r _ { 2 } < \dots < r _ { k } \text{ if } d \geq 3 \text{ and } r _ { 1 } \leq r _ { 2 } \leq \dots \leq r _ { k } \text{ if } d \leq 2,$$

where we consider some order &lt; on the set of vectors of length n -k . The set of matrices A is constructed, row by row, under the condition that the minimum weight of the [ n + m -k, m ] 4 code with generator matrix

$$\left ( \begin{array} { c } r _ { 1 } \\ I _ { m } & \vdots \\ r _ { m } \end{array} \right ) \\, 3, \dots, k - 1. \ I t \ \,.$$

is at least d for each m = 2 3 , , . . . , k -1. It is obvious that the set of all [ n, k, d ] 4 codes obtained in this approach contains a set of all inequivalent [ n, k, d ] 4 codes. It is known that a quaternary code C is Hermitian LCD if and only if GG T is nonsingular for a generator matrix G of C , where A T and A denote the transposed matrix and the conjugate matrix for a matrix A , respectively. In addition, it is known that a quaternary code C is Hermitian LCD if and only if C ⊥ H is Hermitian LCD (see e.g. [3] and [7]).

By the above approach, our exhaustive computer search found a Hermitian LCD code with parameters [15 7 7] , [17 , , 4 , 6 9] , [17 , 4 , 7 8] , 4 and [20 , 7 10] . , 4 We denote these codes by C 15 , C 17 1 , , C 17 2 , and C 20 , respectively. These codes have generator matrices ( I 7 M 15 ) , ( I 6 M 17 1 , ) , ( I 7 M 17 2 , ) and ( I 7 M 20 ) , respectively, where M 15 , M 17 1 , , M 17 2 , and M 20 are listed in Figure 1.

Let C be an [ n, k ] 4 code. A shortened code of C on the coordinate i is the set of all codewords in C which are 0 in the i -th coordinate with that coordinate deleted. We denote the code by S C, i ( ). A punctured code of C on the coordinate i is the code obtained from C by deleting the i -th coordinate. Let C 14 be the code S C ( 15 , 4). We verified that C 14 is a Hermitian LCD [14 , 6 7] , 4 code. We denote by C 19 the punctured code of C 20 on the first coordinate. We verified that C 19 is a Hermitian LCD [19 7 9] , , 4 code.

Therefore, we have the following result.

Proposition 1. There is a Hermitian LCD [ n, k, d ] 4 code for

$$( n, k, d ) = ( 1 4, 6, 7 ), ( 1 5, 7, 7 ), ( 1 7, 6, 9 ), ( 1 7, 7, 8 ), ( 1 9, 7, 9 ), ( 2 0, 7, 1 0 ).$$

The weight enumerator of an [ n, k ] 4 code C is defined as ∑ n i =0 A y i i , where A i denotes the number of codewords of weight i in C . The weight enumerators of the codes C 14 , C 15 , C 17 1 , , C 17 2 , , C 19 and C 20 are listed in Table 1.

## 2.2 Optimal entanglement-assisted quantum codes

An entanglement-assisted quantum [[ n, k, d ; c ]] 2 code C encodes k information qubits into n channel qubits with the help of c pairs of maximally entangled Bell states. The parameter d is called the minimum weight of C . The entanglement-assisted quantum code C can correct up to /floorleft d -1 2 /floorright errors acting on the n channel qubits (see e.g. [7] and [9]). An entanglement-assisted quantum [[ n, k, d ; 0]] 2 code is a standard quantum code. If there is a Hermitian LCD [ n, k, d ] 4 code, then there is an entanglement-assisted quantum [[ n, k, d ; n -k ]] 2 code (see e.g. [7] and [9]).

An entanglement-assisted quantum [[ n, k, d ; c ]] 2 code is called optimal if there is no entanglement-assisted quantum [[ n, k, d ′ ; c ]] 2 code for d ′ &gt; d . We denote the largest minimum weight d by d Q ( n, k ). The largest minimum weights d Q ( n, k ) have been widely studied in [5] for n ≤ 20. The current state of knowledge about d Q ( n, k ) can be found in [5, Table II] and [9, Table 6] for

Figure 1: Matrices M 15 , M 17 1 , , M 17 2 , and M 20

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00244v2-figure-2bcd2067-2733-487f-912d-44d176f74e47.jpg)

Table 1: Weight enumerators

| Code     | Weight enumerator                                                                                                    |
|----------|----------------------------------------------------------------------------------------------------------------------|
| C 14     | 1 +210 y 7 +252 y 8 +588 y 9 +945 y 10 +882 y 11 +819 y 12 +336 y 13 +63 y 14                                        |
| C 15     | 1 +336 y 7 +756 y 8 +1323 y 9 +2415 y 10 +4095 y 11 +3759 y 12 +2289 y 13 +1197 y 14 +213 y 15                       |
| C 17 , 1 | 1 +201 y 9 +279 y 10 +492 y 11 +777 y 12 +840 y 13 +849 y 14 +456 y 15 +174 y 16 +27 y 17                            |
| C 17 , 2 | 1 +204 y 8 +549 y 9 +1053 y 10 +1977 y 11 +3117 y 12 +3711 y 13 +3111 y 14 +1875 y 15 +642 y 16 +144 y 17            |
| C 19     | 1 +111 y 9 +423 y 10 +801 y 11 +1509 y 12 +2595 y 13 +3291 y 14 +3315 y 15 +2502 y 16 +1362 y 17 +402 y 18 +72 y 19  |
| C 20     | 1 +297 y 10 +441 y 11 +978 y 12 +1767 y 13 +2685 y 14 +3381 y 15 +3078 y 16 +2349 y 17 +1038 y 18 +318 y 19 +51 y 20 |

n ≤ 20. From [5, Table II] and [9, Table 6], we have the following:

$$d _ { Q } ( 1 4, 6 ) = 6 \text{ or } 7, \text{ } d _ { Q } ( 1 5, 7 ) = 6 \text{ or } 7,$$

$$d _ { Q } ( 1 7, 6 ) = 8 \text{ or } 9, \text{ } d _ { Q } ( 1 7, 7 ) = 7 \text{ or } 8,$$

$$d _ { Q } ( 1 9, 7 ) = 8 \text{ or } 9, \text{ } d _ { Q } ( 2 0, 7 ) = 9 \text{ or } 1 0.$$

Therefore, from quaternary Hermitian LCD codes given in Proposition 1, we have the following:

Proposition 2. (i) There is an optimal entanglement-assisted quantum [[ n, k, d ; n -k ]] 2 code from a Hermitian LCD [ n, k, d ] 4 code for

$$( n, k, d ) = ( 1 4, 6, 7 ), ( 1 5, 7, 7 ), ( 1 7, 6, 9 ), ( 1 7, 7, 8 ), ( 1 9, 7, 9 ), ( 2 0, 7, 1 0 ).$$

$$( \text{ii} ) \quad \begin{array} { c c } d _ { Q } ( 1 4, 6 ) = d _ { Q } ( 1 5, 7 ) = 7, & d _ { Q } ( 1 7, 6 ) = d _ { Q } ( 1 9, 7 ) = 9, \\ d _ { Q } ( 1 7, 7 ) = 8, & d _ { Q } ( 2 0, 7 ) = 1 0. \end{array}$$

Let d 4 ( n, k ) denote the largest minimum weight among all Hermitian LCD [ n, k ] 4 codes. From [5, Table II] and [9, Table 6], it is known that d 4 (14 6) , ≤ 7, d 4 (15 7) , ≤ 7, d 4 (17 6) , ≤ 9, d 4 (17 7) , ≤ 8, d 4 (19 7) , ≤ 9 and d 4 (20 7) , ≤ 10. Hence, quaternary Hermitian LCD codes listed in Proposition 1 are optimal.

$$\text{Proposition} \ 3. \begin{array} { c } d _ { 4 } ( 1 4, 6 ) = d _ {$$

## 2.3 Largest minimum weights

From [5, Table II] and [9, Table 6], it is known that d Q (12 6) = 5 or 6. By the , approach given in the beginning of this section, our exhaustive search shows that there is no Hermitian LCD [12 6 6] , , 4 code. In addition, our exhaustive computer search found a Hermitian LCD [12 6 5] , , 4 code D 12 . The code D 12 has generator matrix ( I 6 N 12 ) , where

The weight enumerator of D 12 is given by:

$$N _ { 1 2 } = \left ( \begin{array} { c c c c } 0 & 0 & 1 & 1 & 1 & 1$$

$$1 + 7 2 y ^ { 5 } + 1 7 7 y ^ { 6 } + 3 7 8 y ^ { 7 } + 7 9 2 y$$

Proposition 4. d 4 (12 6) = 5 , .

It is worthwhile to determine whether there is a entanglement-assisted quantum [[12 6 6; 6]] , , 2 code.

From [5, Table II] and [9, Table 6], it is known that d Q (20 8) = 8 9 or 10. , , By the approach given in the beginning of this section, our computer search found a Hermitian LCD [20 8 9] , , 4 code D 20 . The code D 20 has generator matrix ( I 8 N 20 ) , where

.

The weight enumerator of D 20 is given by:

$$N _ { 2 0 } = \left ( \begin{array} {$$

$$1 + 2 8 8 y ^ { 9 } + 7 1 4 y ^ { 1 0 } + 1 7 2 5 y ^ { 1 1 } +$$

Proposition 5. (i) There is a Hermitian LCD [20 , 8 9] , 4 code and there is an entanglement-assisted quantum [[20 , 8 9; 12]] , 2 code.

- (ii) d 4 (20 8) = 9 , or 10 and d Q (20 8) = 9 , or 10 .

$$3 \quad d _ { 4 } ( n, k ) \text{ for } k = n - 1, n - 2$$

In this section, we study d 4 ( n, k ) for k = n -1 , n -2 , n -3.

Let C be an [ n, n -1] 4 code. We may assume without loss of generality that C has generator matrix of the following form:

$$& \quad \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots$$

where a i ∈ { 0 1 , } ( i = 1 2 , , . . . , n -1) and a = ( a , a 1 2 , . . . , a n -1 ). The matrix ( a 1 · · · a n -1 1 ) is a generator matrix of C ⊥ H . It follows that C ⊥ H is Hermitian LCD if and only if wt( a ) ≡ 0 (mod 2). In other words, C is Hermitian LCD if and only if wt( a ) ≡ 0 (mod 2). Hence, we have the following:

Proposition 6. Suppose that n ≥ 2 . Then

$$d _ { 4 } ( n, n - 1 ) = \begin{cases} 1 & \text{if $n$$$

The following lemma is a key idea for the determination of d 4 ( n, n -2) and d 4 ( n, n -3).

Lemma 7. Let i be an integer with 2 ≤ i &lt; n . If n &gt; 4 i -1 3 , then d 4 ( n, n -i ) = 2 .

Proof. Let C be an [ n, n -i, d ] 4 code with generator matrix of the form:

$$G = \left ( \begin{array} {$$

Since GG T = I n -i , C is Hermitian LCD. By the construction, it is trivial that C has minimum weight 2. By the sphere-packing bound, if d ≥ 3, then n ≤ 4 i -1 3 . The result follows.

## Proposition 8.

$$d _ { 4 } ( n, n - 2 ) = \begin{cases} 3 & \text{if $n=$$

Proof. It is known that d 4 (3 , 1) = 3, d 4 (4 , 2) = 2 and d 4 (5 , 3) = 2 [9]. If n ≥ 6, then d 4 ( n, n -2) = 2 by Lemma 7.

## Proposition 9.

$$d _ { 4 } ( n, n - 3 ) = \begin{cases} 3 & \text{if $4\leq n\leq 18$,$$

Proof. It is known that d 4 ( n, n -3) = 3 for n = 4 5 , , . . . , 8 [9]. If n ≥ 22, then d 4 ( n, n -3) = 2 by Lemma 7.

It is known that the largest minimum weight among (unrestricted) [ n, n -3] 4 codes is 3 for n = 9 10 , , . . . , 21. By the approach given in the beginning of the previous section, our exhaustive search shows that there is no Hermitian LCD [ n, n -3 3] , 4 code for n = 19 20 21. , , Let E n ( n = 19 20 21) be the , , [ n, n -3] 4 code with generator matrix of the form:

$$\left ( \begin{array} { c c c } 1 & 1 & 0 \\ I _ { n - 3 } & \vdots & \vdots & \$$

As described in the proof of Lemma 7, E n ( n = 19 20 21) is a Hermitian , , LCD [ n, n -3 2] , 4 code.

Let E 18 be the [18 , 15] 4 code with generator matrix ( I 15 L 18 ) , where

We define the codes E i ( i = 17 16 , , . . . , 9) by the shortened codes as follows:

$$L _ { 1 8 } ^ { T } = \left ( \begin{array} {$$

$$S ( E _ { 1 8 }, 1 ), S ( E _ { 1 7 }, 2 ), S ( E _ { 1 6 }, 1 ),$$

respectively. We verified that E n is a Hermitian LCD [ n, n -3 3] , 4 code for n = 9 10 , , . . . , 18. The result follows.

Acknowledgment. This work was supported by JSPS KAKENHI Grant Numbers 15H03633 and 19H01802. The author would like to thank the anonymous referee and the editor Markus Grassl for the useful comments.

## References

- [1] W. Bosma, J. Cannon and C. Playoust, The Magma algebra system I: The user language, J. Symbolic Comput. 24 (1997), 235-265.
- [2] T.A. Brun, I. Devetak and M.H. Hsieh, Correcting quantum errors with entanglement, Science 314 (2006), 436-439.
- [3] C. Carlet, S. Mesnager, C. Tang, Y. Qi and R. Pellikaan, Linear codes over F q are equivalent to LCD codes for q &gt; 3, IEEE Trans. Inform. Theory 64 (2018), 3010-3017.
- [4] X. Chen, S. Zhu and X. Kai, Entanglement-assisted quantum MDS codes constructed from constacyclic codes, Quantum Inf. Process. 17 (2018), Art. 273, 18 pp.
- [5] C.-Y. Lai and A. Ashikhmin, Linear programming bounds for entanglement-assisted quantum error-correcting codes by split weight enumerators, IEEE Trans. Inform. Theory 64 (2018), 622-639.
- [6] C.-Y. Lai, T.A. Brun and M.M. Wilde, Dualities and identities for entanglement-assisted quantum codes, Quantum Inf. Process. 13 (2014), 957-990.
- [7] R. Li, X. Li and L. Guo, On entanglement-assisted quantum codes achieving the entanglement-assisted Griesmer bound, Quantum Inf. Process. 14 (2015), 4427-4447.
- [8] L. Lu, R. Li and L. Guo, Entanglement-assisted quantum codes from quaternary codes of dimension five, Int. J. Quantum Inf. 15 (2017), 1750017, 28 pp.
- [9] L. Lu, R. Li, L. Guo and Q. Fu, Maximal entanglement entanglementassisted quantum codes constructed from linear codes, Quantum Inf. Process. 14 (2015), 165-182.

[10] J.L. Massey, Linear codes with complementary duals, Discrete Math. 106/107 (1992), 337-342.
Masaaki Harada
Some optimal entanglement-assisted quantum codes constructed from quaternary Hermitian linear complementary dual codes
We establish the existence of optimal maximal entanglement
entanglement-assisted quantum $[[n,k,d;n-k]]_2$ codes for $(n,k,d)=(14,6,7)$,
$(15,7,7)$, $(17,6,9)$, $(17,7,8)$, $(19,7,9)$ and $(20,7,10)$. These codes are
obtained from quaternary Hermitian linear complementary dual codes. We also
give some observation on the largest minimum weights.