Classification of optimal quaternary Hermitian LCD codes of dimension 2

04/15/2020 ∙ by Keita Ishizuka, et al. ∙ 0

Hermitian linear complementary dual codes are linear codes which intersect with the Hermitian dual codes trivially. The largest minimum weight among quaternary Hermitian linear complementary dual codes of dimension 2 is known for each length. We give the complete classification of optimal quaternary Hermitian linear complementary dual codes of dimension 2.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

1 Introduction

Let be the finite field of order four, where satisfies . The conjugate of is defined as . A quaternary code is a linear subspace of with dimension and minimum weight . Throughout this paper, we consider only linear quaternary codes and omit the term “linear quaternary”. Given a code

, a vector

is said to be a codeword of . The weight of a codeword is denoted by .

Let be vectors of . The Hermitian inner product is defined as . Given a code , the Hermitian dual code of is . A generator matrix of the code is any matrix whose rows form a basis of . Moreover, a generator matrix of the Hermitian dual code is said to be a parity check matrix of . Given a matrix , we denote the transpose of by and the conjugate of by . Hermitian linear complementary dual codes, Hermitian LCD codes for short, are codes whose intersection with the Hermitian dual codes are trivial. The concept of LCD codes was invented by Massey [7] in 1992. LCD codes have been applied in data storage, communication systems and cryptography. For example, it is known that LCD codes can be used against side-channel attacks and fault injection attacks [3]. We note that a code is a Hermitian LCD code if and only if its generator matrix satisfies  [5].

Two codes are equivalent if one can be obtained from the other by a permutation of the coordinates and a multiplication of any coordinate by a nonzero scalar. We denote the equivalence of two codes by . Let be generator matrices of two codes respectively. It is known that if and only if can be obtained from by an elementary row operation, a permutation of the columns and multiplication of any column by a nonzero scalar.

It was shown in [6] that the upper bound of the minimum weight of the Hermitian LCD codes is given as follows:

(1)

Also, it was proved that for all , there exists a Hermitian LCD code which meets this upper bound. We say that a Hermitian LCD code is optimal if it meets this upper bound. It was shown in [4] that any code over is equivalent to some Hermitian LCD code for . Furthermore, it was proved in [6] that a Hermitian LCD code constructs a maximal-entanglement entanglement-assisted quantum error correcting code. Motivated by the results, we are concerned with the complete classification of optimal Hermitian LCD codes of dimension .

This paper is organized as follows. In Section 2, we present a method to construct optimal Hermitian LCD codes of dimension

, including all inequivalent codes. Also, a method to classify optimal Hermitian LCD codes of dimension

is given. In Section 3, we classify optimal Hermitian LCD codes of dimension . Up to equivalence, the complete classification of optimal Hermitian LCD codes of dimension is given. It is shown that all inequivalent codes have distinct weight enumerators, which is used for the classification.

2 Classification Method

Let be the zero vector of length and be the all-ones vector of length . Let be a tuple of nonnegative integers. We introduce the following notation:

We denote by the code whose generator matrix is . By the same argument as in [1], we obtain the following lemma.

Lemma 1.

Given a code , define . Let denote the set of all inequivalent Hermitian LCD codes C such that the minimum weight of is . Then there exists a set of all inequivalent Hermitian LCD codes such that .

We assume by Lemma 1 and omit . Furthermore, throughout this paper, we use the following notations:

(2)

respectively, to save space.

Proposition 1.

Let be an code. Then there exist nonnegative integers such that and .

Proof.

Let be a generator matrix of the code . By multiplying rows by some non-zero scalars, is changed to a generator matrix which consists only of the columns of . Permuting the columns, is obtained from . Hence it holds that . Since the minimum weight of is , we may assume that the first row of is a codeword with weight , which yields . ∎

Given a code , we may assume without loss of generality that satisfies

(3)

by Proposition 1. This assumption on a generator matrix reduces computations later.

Lemma 2.

Let be an code . Then is a Hermitian LCD code if and only if satisfies the following conditions:

(4)
(5)
(6)
(7)
Proof.

Suppose is a Hermitian LCD code. Let be a generator matrix of the code . Let be the first and second rows of respectively. The number of columns of equals to the length . Thus, it holds that

(8)

Since the minimum weight of is , the following holds: . By (3), we have . Substituting (8) in each equation, we obtain (4) through (6).

The code is a Hermitian LCD code if and only if

where

Here we regard are elements of . Therefore, (4) through (7) hold if is a Hermitian LCD code and vice versa. ∎

Given an code , we define the following:

(9)
Lemma 3.

Let be the code with the parameters . Then is a Hermitian LCD code if and only if satisfies the following conditions:

(10)
(11)
Proof.

The result follows from Lemma 2. ∎

Given an code , we define the following:

(12)
Lemma 4.

Let be a Hermitian LCD code. Then is optimal if and only if the value of with respect to is given as follows:

Proof.

The result follows from (12). ∎

Lemma 5.

Let be a code . If is a Hermitian LCD code, then it holds that

Proof.

Substituting in (3), we obtain

(13)

Combining with (11), we obtain . Since , it follows that . ∎

Lemma 6.
(14)
Proof.

Multiply the second row of by . Permuting the columns, the result follows. Note that we may assume that the nonzero entry of a column is , provided that the entry of the other column is . ∎

By Lemma 6, we may assume . Notice that if and only if by (9).

3 Optimal Hermitian LCD Codes of Dimension

By Lemmas 3 through 6, it suffices to calculate all satisfying

(15)
(16)

in order to obtain optimal Hermitian LCD codes of dimension , including all inequivalent codes. Notice that are obtained by (10), (13) respectively. Our computer search found all integers satisfying (15) and (16). This calculation was done by Magma [2]. Recall that are obtained from by (9). For optimal Hermitian LCD codes of dimension , the integers are listed in Table 1, where the rows are in lexicographical order with respect to , and is a nonnegative integer.

Code
Table 1: Optimal Hermitian LCD codes of dimension
Lemma 7.

Suppose is a positive integer. Then

(17)
Proof.

Add the second row of to the first row. Permuting the columns, the result follows. Recall that is defined in (2). ∎

Lemma 8.

Suppose . Then

(18)
Proof.

Interchange the first row and the second row of . Permuting the columns, the result follows. ∎

Code




Table 2: Equivalent optimal Hermitian LCD codes of dimension

By Lemmas 6 through 8, we have the equivalences among some codes listed in Table 1, which are displayed in Table 2. Note that denotes the two codes are equivalent by . Also, denotes that, given two codes , there exists a code such that .

Table 3 gives the weight enumerators of representatives in Table 2. The weight enumerator is given by , where be the first and second rows of respectively. Since the weight enumerators are distinct, the codes in Table 3 are inequivalent. Table 4 gives the classification of optimal Hermitian LCD codes of dimension , with the case where is so small that some codes in Table 1 do not exist.

Recall that we have assumed by Lemma 1. It follows from (1) that there exists an optimal Hermitian LCD code such that the minimum weight of equals to if and only if . Consequently, we obtain the following theorem.

Theorem 1.
  1. [label=]

  2. Up to equivalence, there exist two optimal Hermitian LCD codes for every integer with .

  3. Up to equivalence, there exist two optimal Hermitian LCD codes for every integer with .

  4. Up to equivalence, there exists unique optimal Hermitian LCD codes for every integer with .

  5. Up to equivalence, there exists unique optimal Hermitian LCD codes for every integer with .

  6. Up to equivalence, there exist six optimal Hermitian LCD codes for every integer with . One of them is the code such that the minimum weight of the Hermitian dual code is .

Code Weight Enumerator





Table 3: Weight enumerators of representatives
Code





Table 4: Classification of optimal Hermitian LCD codes of dimension

Acknowledgements

The author would like to thank supervisor Professor Masaaki Harada for introducing the problem, useful discussions and his encouragement.

References

  • [1] M. Araya and M. Harada, On the classification of linear complementary dual codes, Discrete Math. 342 (2019), 270–278.
  • [2] W. Bosma, J. Cannon and C. Playoust, The Magma algebra system. I. The user language, J. Symbolic Comput. 24 (1997), 235–265.
  • [3] C. Carlet and S. Guilley, Complementary dual codes for counter-measures to side-channel attacks, Adv. Math. Commun. 10 (2016), 131–150.
  • [4] C. Carlet, S. Mesnager, C. Tang, Y. Qi and R. Pellikaan, Linear codes over are equivalent to LCD codes for , IEEE Trans. Inform. Theory 64 (2018), 3010–3017.
  • [5] C. Güneri, B. Özkaya and P. Solé, Quasi-cyclic complementary dual codes, Finite Fields Appl. 42 (2016), 67–80.
  • [6] L. Lu, R. Li, L. Guo and Q. Fu, Maximal entanglement entanglement-assisted quantum codes constructed from linear codes, Quantum Inf. Process. 14 (2015), 165–182.
  • [7] J. L. Massey, Linear codes with complementary duals, Discrete Math. 106/107 (1992), 337–342.