1 Introduction
An code over is a
dimensional vector subspace of
, where denotes the finite field of order and is a prime power. A code over is called binary. The parameters and are called the length and dimension of , respectively. The weight of a vector is the number of nonzero components of . A vector of is called a codeword of . The minimum nonzero weight of all codewords in is called the minimum weight of and an code with minimum weight is called an code. Two codes and over are equivalent, denoted , if there is an monomial matrix over with .The dual code of a code of length is defined as where is the standard inner product. A code is called linear complementary dual (or a linear code with complementary dual) if , where denotes the zero vector of length . We say that such a code is LCD for short.
LCD codes were introduced by Massey [12] and gave an optimum linear coding solution for the two user binary adder channel. LCD codes are an important class of codes for both theoretical and practical reasons (see [2], [3], [4], [7], [8], [10], [11], [12], [13], [14]
). It is a fundamental problem to classify LCD
codes and determine the largest minimum weight among all LCD codes. Recently, much work has been done concerning this fundamental problem (see [3], [4], [7], [8], [11], [13]). In particular, we emphasize the recent work by Carlet, Mesnager, Tang and Qi [4]. It has been shown in [4] that any code over is equivalent to some LCD code for . This motivates us to study binary LCD codes.Throughout this paper, let denote the largest minimum weight among all binary LCD codes. Recently, some bounds on the minimum weights of binary LCD codes have been established in [8]. More precisely, has been determined and the values have been calculated for . In this paper, we characterize binary LCD codes for small . The concept of covers of sets plays an important role in the study of such codes. Using the characterization, we give a classification of binary LCD codes and we determine . In this paper, a complete classification of binary LCD codes having the minimum weight is also given for .
The paper is organized as follows. In Section 2, definitions, notations and basic results are given. We also give a classification of binary LCD codes for . In Section 3, we give some characterization of binary LCD codes using covers of sets. This characterization is used in Sections 4, 5 and 6. In Section 4, we study binary LCD codes of dimension . We give a classification of binary LCD codes for , , , , and (Theorems 4.5 and 4.8). In Sections 5 and 6, we study binary LCD codes of dimension . In Section 5, we show that if and otherwise, for (Theorem 5.1). In Section 6, we establish the uniqueness of binary LCD codes for . In Section 7, we give a complete classification of binary LCD codes having the minimum weight for . Finally, in Section 8, we give constructions of LCD codes over from selforthogonal codes. As a consequence, the values are determined for .
All computer calculations in this paper were done with the help of Magma [1].
2 Preliminaries
2.1 Definitions, notations and basic results
Throughout this paper, and denote the zero vector and the allone vector of length , respectively. Let
denote the identity matrix of order
and let denote the transpose of a matrix .Let be an code over . The weight enumerator of is given by , where is the number of codewords of weight in . It is trivial that two codes with distinct weight enumerators are inequivalent. The dual code of is defined as where is the standard inner product. A code is called linear complementary dual (or a linear code with complementary dual) if . We say that such a code is LCD for short. A generator matrix of is a matrix whose rows are a set of basis vectors of . A paritycheck matrix of is a generator matrix of . The following characterization is due to Massey [12].
Proposition 2.1.
Let be a code over . Let and be a generator matrix and a paritycheck matrix of , respectively. Then the following properties are equivalent:

is LCD,

is LCD,

is nonsingular,

is nonsingular.
From now on, all codes mean binary unless otherwise specified. Throughout this paper, let denote the largest minimum weight among all LCD codes.
Lemma 2.2.
Let (resp. ) be a generator matrix (resp. a paritycheck matrix) of an LCD code.

Suppose that some two columns of are identical. Let be the matrix obtained from by deleting the two columns. Then the code with generator matrix is LCD.

Suppose that some two columns of are identical. Let be the matrix obtained from by deleting the two columns. Then the code with paritycheck matrix is LCD.
Proof.
Since and , the new codes are also LCD. ∎
Lemma 2.3.
Suppose that there is an LCD code . If , then .
Proof.
Suppose that . Then some column of a generator matrix of is . By deleting the column, an LCD code is constructed. ∎
Lemma 2.4.
Suppose that there is an LCD code with . If , then there is an LCD code with .
Proof.
We may assume without loss of generality that has generator matrix of the form where is a matrix. Since , no column of is . Since , some two columns of are identical. By Lemma 2.2, is LCD. ∎
Let be an code with . Then we may assume without loss of generality that
where is a punctured code of .
Lemma 2.5.
is LCD if and only if is LCD.
In this way, every LCD code with is constructed from some LCD code . In addition, two LCD codes with are equivalent if and only if two LCD codes are equivalent. Hence, all LCD codes with , which must be checked to achieve a complete classification, can be obtained from all inequivalent LCD codes .
2.2 LCD codes of dimensions
It is trivial that is an LCD code. It is known [7] that
Proposition 2.6.
There is a unique LCD code, up to equivalence.
Proof.
Let be an LCD code. We may assume without loss of generality that has generator matrix of the following form:
if is odd and even, respectively. The result follows. ∎
Proposition 2.7.

Suppose that is odd. Then there is a unique LCD code, up to equivalence.

Suppose that is even. Then there are inequivalent LCD codes.
Proof.
Let be an LCD code. We may assume without loss of generality that has generator matrix of the following form:
where . Then
is a paritycheck matrix of .

Suppose that is odd. Since , . Since is odd, . Hence, there is a unique LCD code, up to equivalence.

Suppose that is even. Since is LCD, the weight of is even. Let denote the code with generator matrix of the form , where and is even. It is easy to see that and are equivalent if and only if . Hence, there are LCD codes, up to equivalence.
This completes the proof. ∎
3 Constructions of LCD codes from covers
In this section, we study LCD codes constructed from covers of sets. We give a characterization of LCD codes of dimensions and using covers.
3.1 LCD codes from covers
Let and be positive integers. Let be a set with elements (for short set). A cover of is a collection of not necessarily distinct subsets of whose union is [5]. This concept plays an important role in the study of LCD codes for small dimensions.
We define a generator matrix from a cover of an set as follow. Since the matrix depends on the ordering chosen for , in this paper, we fix the order. More precisely, we define a cover as a sequence . Let be a cover of . We define the following subsets of :
where is an even positive integer and for a positive integer . Let be the characteristic vector of (). Then define the matrix such that is the th row. We denote the code with generator matrix of the form by .
Proposition 3.1.
The code is an LCD code with .
Proof.
Since is even, . Thus, is LCD. Since is a cover of , no column of is and some two columns of are identical. This implies that . ∎
Now we consider the case and . Let be a cover and a cover of , respectively. Let be a code and a code with generator matrix of the form , respectively. Let denote the code and the code with generator matrix of the following form:
respectively.
Proposition 3.2.
The code is LCD.
Proof.
For and , the result follows from
respectively. ∎
3.2 LCD codes from covers
Proposition 3.3.
Suppose that . Let be an LCD code with . Then there is a cover such that .
Proof.
We may assume without loss of generality that has generator matrix of the following form:
(1) 
where is a matrix such that no column is . If , then an LCD code is constructed by Lemma 2.4. By continuing this process, an LCD code with generator matrix of the form (1) is constructed. Hence, we show that such a code is constructed from a cover.
Since no column of is , it is sufficient to consider the codes with generator matrices:
Only the first code and the last two codes are LCD. It can be seen by hand that the last two LCD codes are equivalent. This means that the first code and the last code are and , respectively, where . ∎
Proposition 3.4.
Suppose that . Let be an LCD code with . Then there is a cover such that .
Proof.
We may assume without loss of generality that has generator matrix of the following form:
(2) 
where is a matrix such that no column is . If , then an LCD code is constructed by Lemma 2.4. By continuing this process, an LCD code with generator matrix of the form (2) is constructed.
Since no column of is , it is sufficient to consider the codes with generator matrices (2), where
Only the third code and the last code are LCD. It can be seen by hand that the two LCD codes are equivalent. In addition, the last code is , where . This completes the proof. ∎
3.3 LCD codes from covers
Proposition 3.5.
Suppose that . Let be an LCD code with . Then there is a cover such that .
Proof.
We may assume without loss of generality that has generator matrix of the following form:
(3) 
where is a matrix such that no column is . If , then an LCD code is constructed by Lemma 2.4. By continuing this process, an LCD code with generator matrix of the form (3) is constructed, where . Hence, we show that such a code is constructed from a cover.
Let be an LCD code with generator matrix of the form (3) satisfying that all columns of are distinct. Our computer search shows that is equivalent to the code with generator matrix
In addition, our computer search shows that is equivalent to the code with generator matrix
This means that the code is , where , and .
Let be an LCD code with generator matrix of the form (3) satisfying that all columns of are distinct. Our computer search shows that is equivalent to one of the codes and with generator matrices
respectively. In addition, our computer search shows that and are equivalent to the codes with generator matrices
respectively. This means that the codes are and , respectively, where , and .
Our computer search shows that an LCD code is equivalent to one of the codes and with generator matrices
respectively. This means that the codes are , and , respectively, where and . ∎
Proposition 3.6.
Suppose that . Let be an LCD code with . Then there is a cover such that .
Proof.
We may assume without loss of generality that has generator matrix of the following form:
(4) 
where is a matrix such that no column is . If , then an LCD code is constructed by Lemma 2.4. By continuing this process, an LCD code with generator matrix of the form (4) is constructed, where .
Let be an LCD code with generator matrix of the form (4) satisfying that all columns of are distinct. Then is equivalent to the code with generator matrix
Our computer search shows that is equivalent to the code with generator matrix
This means that the code is , where , and .
Let be an LCD code with generator matrix of the form (4) satisfying that all columns of are distinct. Our computer search shows that is equivalent to the code with generator matrix
In addition, our computer search shows that is equivalent to the code with generator matrix
This means that the code is , where and .
Our computer search shows that an LCD code with generator is equivalent to one of the codes and with generator matrices where
respectively, In addition, these codes are
respectively, where and . ∎
3.4 Remarks
The elements of an set may be taken to be identical. In this case, is called unlabelled. Let be a cover of . The order of the sets may not be material. In this case, is called disordered [5].
Proposition 3.7.
Let be a cover of an set . Let be the cover obtained from by a permutation of and a permutation of the elements of . Then .
Proof.
Consider a generator matrix of the LCD code constructed from a cover . A permutation of implies a permutation of rows of . A permutation of the elements of implies a permutation of columns of . The result follows. ∎
By the above proposition, when we consider codes constructed from all covers , which must be checked to achieve a complete classification, it is sufficient to consider only disordered covers of unlabelled sets.
Now let us consider LCD codes constructed from covers. Our computer search shows that there are six inequivalent LCD codes with . These codes have generator matrices where
respectively. The weight enumerators of the codes are listed in Table 1. It is easy to see that the number of disordered covers of an unlabelled set is [5, Table 1]. Only the codes are constructed from covers.


1  4  
2  5  
3  6  

4 LCD codes of dimension 2
It was shown in [8] that
for . Throughout this section, we denote by . In this section, we give a classification of LCD codes for , , , , and . In Section 3, we gave some observation of LCD codes of dimension , which is established from the concept of covers of sets. The observation is useful to complete the classification.
Lemma 4.1.
Suppose that and . If there is an LCD code then .
Proof.
Now suppose that and are an LCD code and an LCD code with and , respectively, for . By Propositions 3.3 and 3.4, we may assume without loss of generality that and have generator matrices of the following form:
respectively, where
(5) 
We denote the codes by and , respectively. Then the codes have the following weight enumerators for :
(6) 
For nonnegative integers and , we consider the following conditions:
(7)  
(8)  
(9)  
(10)  
(11) 
Lemma 4.2.
Proof.
All cases are similar, and we only give the details for .
From (