Abstract
In this work, we apply the idea of composite matrices arising from group rings to derive a number of different techniques for constructing self-dual codes over finite commutative Frobenius rings. By applying these techniques over different alphabets, we construct best known singly-even binary self-dual codes of lengths 80, 84 and 96 as well as doubly-even binary self-dual codes of length 96 that were not known in the literature before.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Self-dual codes form a family of widely studied linear codes which have many interesting properties and are intimately connected with many mathematical structures such as designs, lattices, modular forms and sphere packings. In recent history, much work has particularly been invested in developing techniques to construct extremal and optimal binary self-dual codes. The most famous of these techniques is quite possibly the pure double circulant construction, which utilises a generator matrix of the form \(G=(I_n\,|\,A)\) where \(I_n\) is the \(n\times n\) identity matrix and A is an \(n\times n\) circulant matrix. It follows that G is a generator matrix of a self-dual [2n, n] code if and only if \(AA^T=-I_n\). This technique has since been generalised by assuming a generator matrix of the form \(G=(I_n\,|\,\sigma (v))\) where \(\sigma \) is an isomorphism from a group ring to the ring of matrices which was introduced in [23]. The isomorphism \(\sigma \) is such that G is a generator matrix of a self-dual [2n, n] code if and only if v is unitary (see Sect. 2.4 for more details). Recent applications of this isomorphism in constructing self-dual codes can be seen in [1, 8, 15, 16].
In this work, we assume a generator matrix of the form \(G=(I_n\,|\,\varOmega (v))\) where \(\varOmega (v)\) is a matrix that arises from group rings which we call a composite matrix. It clearly follows that \((I_n\,|\,\varOmega (v))\) is a generator matrix of a self-dual code if and only if \(\varOmega (v)\varOmega (v)^T=-I_n\). The idea of composite matrices was first introduced in [11] as a way of generalising the structure of \(\sigma (v)\). The primary motivation for employing this technique is obtaining codes whose structures are atypical compared with those of codes constructed by more classical techniques. The main problem we face when attempting to construct codes with such a generator matrix is choosing parameters in such a way that allows for structural complexity of \(\varOmega (v)\) while also allowing for a reasonable set of necessary and sufficient conditions for the satisfaction of \(\varOmega (v)\varOmega (v)^T=-I_n\).
Using generator matrices of the form \((I_n\,|\,\varOmega (v))\) for a number of different composite matrices \(\varOmega (v)\), we find many self-dual codes with weight enumerator parameters of previously unknown values (relative to referenced sources). In total, 361 new codes are found, including 28 singly-even binary self-dual [80, 40, 14] codes, 107 binary self-dual [84, 42, 14] codes, 105 singly-even binary self-dual [96, 48, 16] codes and 121 doubly-even binary self-dual [96, 48, 16] codes.
The rest of the work is organised as follows. In Sect. 2, we give preliminary definitions on self-dual codes, Gray maps, circulant matrices and the alphabets we use. We also prove a few results concerning a simple matrix transformation, which we use in two of the composite matrix definitions. In Sect. 3, we define the composite matrices which we utilise in our constructions and we also prove the necessary and sufficient conditions needed by each construction to produce a self-dual code. In Sect. 4, we apply the constructions to obtain the new self-dual codes of length 80, 84 and 96 whose weight enumerator parameter values and automorphism group orders we detail. We also tabulate the results in this section. We finish with concluding remarks and discussion of possible expansion on this work.
2 Preliminaries
2.1 Self-dual codes
Let R be a commutative Frobenius ring. We consider codes over Frobenius due to their good duality properties, which are reflected by the equivalent statements in the following theorem given in [31].
Theorem 2.1
( [31]) If R is a finite ring, then the following are equivalent
- (i):
-
R is a Frobenius ring,
- (ii):
-
As a left module, \({\widehat{R}}\cong {}_RR\),
- (iii):
-
As a right module, \({\widehat{R}}\cong R{}_R\).
See [5] for a full description of Frobenius rings and codes over Frobenius rings. Throughout this work, we always assume R has unity. A code \({\mathcal {C}}\) of length n over R is a subset of \(R^n\) whose elements are called codewords. If \({\mathcal {C}}\) is a submodule of \(R^n\), then we say that \({\mathcal {C}}\) is linear. Let \(\mathbf{x },\mathbf{y }\in R^n\) where \(\mathbf{x }=(x_1,x_2,\dots ,x_n)\) and \(\mathbf{y }=(y_1,y_2,\dots ,y_n)\). The (Euclidean) dual \({\mathcal {C}}^{\bot }\) of \({\mathcal {C}}\) is given by
where \(\langle \cdot ,\cdot \rangle \) denotes the Euclidean inner product defined by
We say that \({\mathcal {C}}\) is self-orthogonal if \({\mathcal {C}}\subseteq {\mathcal {C}}^\perp \) and self-dual if \({\mathcal {C}}={\mathcal {C}}^{\bot }\).
A binary self-dual code \({\mathcal {C}}\) is said to be doubly-even (Type II), if all codewords \(\mathbf{c} \in {\mathcal {C}}\) have weight \(w(\mathbf{c} )\equiv 0\,({{\,\mathrm{mod}\,}}4)\), otherwise \({\mathcal {C}}\) is said to be singly-even (Type I).
An upper bound on the minimum (Hamming) distance of a doubly-even binary self-dual code was given in [27] and likewise for a singly-even binary self-dual code in [28]. Let \(d_{\text {I}}(n)\) and \(d_{\text {II}}(n)\) be the minimum distance of a singly-even and doubly-even binary self-dual code of length n, respectively. Then
and
A self-dual code whose minimum distance meets its corresponding bound is called extremal. A self-dual code with the highest possible minimum distance for its length is said to be optimal. Extremal codes are necessarily optimal but optimal codes are not necessarily extremal. A best known self-dual code is a self-dual code with the highest known minimum distance for its length.
2.2 Alphabets
In this paper, we consider the alphabets \({\mathbb {F}}_2\), \({\mathbb {F}}_2+u{\mathbb {F}}_2\) and \({\mathbb {F}}_4\).
Define
Then \({\mathbb {F}}_2+u{\mathbb {F}}_2\) is a commutative ring of order 4 and characteristic 2 such that \({\mathbb {F}}_2+u{\mathbb {F}}_2\cong {\mathbb {F}}_2[u]/\langle u^2\rangle \).
We define \({\mathbb {F}}_4\cong {\mathbb {F}}_2[\omega ]/\langle \omega ^2+\omega +1\rangle \) so that
We recall the following Gray maps from [7, 13]:
Note that these Gray maps preserve orthogonality in their respective alphabets. The Lee weight of a codeword is defined to be the Hamming weight of its binary image under any of the aforementioned Gray maps. A self-dual code in \(R^n\) where R is equipped with a Gray map to the binary Hamming space is said to be of Type II if the Lee weights of all codewords are multiples of 4, otherwise it is said to be of Type I.
Proposition 2.2
( [7]) Let \({\mathcal {C}}\) be a code over \({\mathbb {F}}_2+u{\mathbb {F}}_2\). If \({\mathcal {C}}\) is self-orthogonal, then \(\varphi _{{\mathbb {F}}_2+u{\mathbb {F}}_2}({\mathcal {C}})\) is self-orthogonal. The code \({\mathcal {C}}\) is a Type I (resp. Type II) code over \({\mathbb {F}}_2+u{\mathbb {F}}_2\) if and only if \(\varphi _{{\mathbb {F}}_2+u{\mathbb {F}}_2}({\mathcal {C}})\) is a Type I (resp. Type II) code over \({\mathbb {F}}_2\). The minimum Lee weight of \({\mathcal {C}}\) is equal to the minimum Hamming weight of \(\varphi _{{\mathbb {F}}_2+u{\mathbb {F}}_2}({\mathcal {C}})\).
Proposition 2.3
( [13]) Let \({\mathcal {C}}\) be a code over \({\mathbb {F}}_4\). If \({\mathcal {C}}\) is self-orthogonal, then \(\psi _{{\mathbb {F}}_4}({\mathcal {C}})\) is self-orthogonal. The code \({\mathcal {C}}\) is a Type I (resp. Type II) code over \({\mathbb {F}}_4\) if and only if \(\psi _{{\mathbb {F}}_4}({\mathcal {C}})\) is a Type I (resp. Type II) code over \({\mathbb {F}}_2\). The minimum Lee weight of \({\mathcal {C}}\) is equal to the minimum Hamming weight of \(\psi _{{\mathbb {F}}_4}({\mathcal {C}})\).
The next two corollaries follow directly from Propositions 2.2 and 2.3, respectively.
Corollary 2.4
Let \({\mathcal {C}}\) be a self-dual code over \({\mathbb {F}}_2+u{\mathbb {F}}_2\) of length n and minimum Lee distance d. Then \(\varphi _{{\mathbb {F}}_2+u{\mathbb {F}}_2}({\mathcal {C}})\) is a binary self-dual [2n, n, d] code. Moreover, the Lee weight enumerator of \({\mathcal {C}}\) is equal to the Hamming weight enumerator of \(\varphi _{{\mathbb {F}}_2+u{\mathbb {F}}_2}({\mathcal {C}})\). If \({\mathcal {C}}\) is a Type I (resp. Type II) code, then \(\varphi _{{\mathbb {F}}_2+u{\mathbb {F}}_2}({\mathcal {C}})\) is a Type I (resp. Type II) code.
Corollary 2.5
Let \({\mathcal {C}}\) be a self-dual code over \({\mathbb {F}}_4\) of length n and minimum Lee distance d. Then \(\psi _{{\mathbb {F}}_4}({\mathcal {C}})\) is a binary self-dual [2n, n, d] code. Moreover, the Lee weight enumerator of \({\mathcal {C}}\) is equal to the Hamming weight enumerator of \(\psi _{{\mathbb {F}}_4}({\mathcal {C}})\). If \({\mathcal {C}}\) is a Type I (resp. Type II) code, then \(\psi _{{\mathbb {F}}_4}({\mathcal {C}})\) is a Type I (resp. Type II) code.
2.3 Special matrices
We now recall the definitions and properties of some special matrices which we use in our work. We begin by defining a matrix transformation whose properties we utilise in some of the composite constructions we consider.
The following proposition is trivial and therefore the proof is omitted.
Proposition 2.6
Let A be \(n\times n\) matrix over a commutative ring R. Let \(\star :R^{n\times n}\rightarrow R^{n\times n}\) be the transformation such that \(A^{\star }\) is defined to be the matrix obtained after circularly shifting the columns of A to the right by one position. If
then \(A^{\star }=AP\).
The matrix P as defined in Proposition 2.6 is a permutation matrix and is therefore orthogonal, i.e. \(PP^T=I_n\). To see this, we have
which corresponds to P after circularly shifting its columns to the right by \(n-2\) places and so by Proposition 2.6 we have \(P{}^T=PP^{n-2}=P^{n-1}\). Clearly, if we circularly shift the columns of \(P{}^T=P^{n-1}\) to the right by one place we obtain \(I_n\) so that \(P{}^TP=P^{n-1}P=P^n=I_n\).
It also follows that \((P^k){}^T=P^{-k\,({{\,\mathrm{mod}\,}}n)}\) for \(k\in {\mathbb {N}}\). We can easily prove this by induction on \(k\in {\mathbb {N}}\). The cases \(k=0\) and \(k=1\) are trivial. Assume \((P^k){}^T=P^{-k\,({{\,\mathrm{mod}\,}}n)}\). Then we have \((P^{k+1}){}^T=(P^kP){}^T=P{}^T(P^k){}^T=P^{n-1}P^{-k\,({{\,\mathrm{mod}\,}}n)}=P^{n-k-1\,({{\,\mathrm{mod}\,}}n)}=P^{-(k+1)\,({{\,\mathrm{mod}\,}}n)}\) which concludes our induction step.
We also have the following properties which are easy to prove.
Lemma 2.7
Let A and B be \(n\times n\) matrices over a commutative ring R where \(n\ge 2\) and let \(\star \) be the transformation defined in Proposition 2.6.
- (i):
-
\((A+B)^{\star }=A^{\star }+B^{\star }\).
- (ii):
-
\(AB{}^T=A^{\star }B^{\star T}\).
Proof
(i) By Proposition 2.6, we have \((A+B)^{\star }=(A+B)P=AP+BP=A^{\star }+B^{\star }\).
(ii) By Proposition 2.6 and the fact that P is orthogonal, we have \(A^{\star }B^{\star T}=AP(BP){}^T=APP{}^TB{}^T=A(I_n)B{}^T=AB{}^T\). \(\square \)
Let \(\mathbf{a} =(a_0,a_1,\ldots ,a_{n-1})\in R^n\) where R is a commutative ring and let
Then A is an \(n\times n\) matrix called the circulant matrix generated \(\mathbf{a} \), denoted by \(A={{\,\mathrm{circ}\,}}(\mathbf{a })\).
If \(A={{\,\mathrm{circ}\,}}({a_0,a_1,\ldots ,a_{n-1}})\), then we see that \(A=a_0I_n+a_1I_n^{\star }+a_2(I_n^{\star })^{\star }+\ldots \) and so on. Using Proposition 2.6 and the properties of the matrix P, it follows that \(A=\sum _{i=0}^{n-1}a_iP^i\). Clearly, the sum of any two circulant matrices is also a circulant matrix. If \(B={{\,\mathrm{circ}\,}}(\mathbf{b })\) where \(\mathbf{b} =(b_0,b_1,\ldots ,b_{n-1})\in R^n\), then \(AB=\sum _{i=0}^{n-1}\sum _{j=0}^{n-1}a_ib_jP^{i+j}\). Since \(P^n=I_n\) there exist \(c_k\in R\) such that \(AB=\sum _{k=0}^{n-1}c_kP^k\) so that AB is also circulant. In fact, it is true that
for \(k\in \{0,\ldots ,n-1\}\), where \(\mathbf{x} _i\) and \(\mathbf{y} _i\) respectively denote the \(i^{\text {th}}\) row and column of A and B and \([i+j]_n\) denotes the smallest non-negative integer such that \([i+j]_n\equiv i+j\,({{\,\mathrm{mod}\,}}n)\). From this, we can see that circulant matrices commute multiplicatively. We also see that \(A^T\) is circulant such that \(A^T=\sum _{i=0}^{n-1}a_i(P^i)^T=\sum _{i=0}^{n-1}a_iP^{n-i}\).
Lemma 2.8
Let A be an \(n\times n\) matrix over a commutative ring R where \(n\ge 2\) and let \(\star \) be the transformation defined in Proposition 2.6. Let B be an \(n\times n\) circulant matrix over R.
- (i):
-
\(BP=PB\).
- (ii):
-
\((AB{}^T)^{\star }=A^{\star }B{}^T\).
- (iii):
-
\((AB^{\star T})^{\star }=AB{}^T\).
Proof
(i) Let \(B={{\,\mathrm{circ}\,}}({b_0,b_1,\ldots ,b_{n-1}})\). Then B can be expressed as \(B=\sum _{i=0}^{n-1}b_iP^i\) and so it is obvious that \(BP=PB\).
(ii) Since B is circulant, then \(B^T\) is circulant and so by (i), we have \((AB^T)^{\star }=(AB^T)P=A(B^TP)=(AP)B^T=A^{\star }B^T\).
(iii) Since B is circulant, then \(B^T\) is circulant and so by (i) and the fact that P is orthogonal, we have \((AB^{\star T})^{\star }=(A(BP)^T)P=AP^TB^TP=AP^TPB^T=A(I_n)B^T=AB^T\). \(\square \)
Let \(J_n\) be an \(n\times n\) matrix over R whose (i, j)th entry is 1 if \(i+j=n+1\) and 0 if otherwise. Then \(J_n\) is called the \(n\times n\) exchange matrix and corresponds to the row-reversed (or column-reversed) version of \(I_n\). Note that \([i+j]_n\) corresponds to the \((i+1,j+1)th\) entry of the matrix \(J_nV\) where \(V={{\,\mathrm{circ}\,}}({n-1,0,1,\ldots ,n-2})\) for \(i,j\in \{0,\ldots ,n-1\}\).
Let \(A_0,A_1,\ldots ,A_{k-1}\) be \(m\times n\) matrices over R and let
Then X is an \(km\times kn\) matrix called the block circulant matrix generated \(A_0,A_1,\ldots ,A_{k-1}\), denoted by \(X={{\,\mathrm{CIRC}\,}}({A_0,A_1,\ldots ,A_{k-1}})\).
2.4 Group rings and composite matrices
In this section, we recall the basic definition of a finite group ring and proceed to define the concept of a composite matrix.
Let G be a finite group order n and let R be a finite commutative Frobenius ring. Let \(RG=\{\sum _{i=1}^n\alpha _{g_i}g_i:\alpha _{g_i}\in R,g_i\in G\}\) and define addition in RG by
and define multiplication in RG by
Then RG is called the group ring of G over R and is a ring with respect to the aforementioned definitions of addition and multiplication.
Let \((g_1,g_2,\ldots ,g_n)\) be a fixed listing of the elements of G with \(g_1=1\) and let \(v=\sum _{i=1}^n\alpha _{g_i}g_i\in RG\). Define \(\sigma (v)\) to be the \(n\times n\) matrix whose \((i,j)^{\text {th}}\) entry is \(\alpha _{g_k}\) where \(g_k=g_i^{-1}g_j\) for \(i,j\in \{1,\ldots ,n\}\), i.e.
The matrix \(\sigma (v)\) was first given in [23] wherein it was proved that \(\sigma \) is an isomorphism from the ring RG to \(R^{n\times n}\). It follows that \(\sigma (v)\sigma (v)^T=-I_n\) if and only if \(vv^*=-1\) where \(v^*=\sum _{i=1}^n\alpha _{g_i}g_i^{-1}\). When R is of characteristic 2, we see that \(\sigma (v)\sigma (v)^T=I_n\) if and only if \(vv^*=1\), i.e. v is unitary with respect to the involution \(*\).
Suppose now that \(n>1\) is composite and let r be a fixed integer such that \(r\mid n:1<r<n\) and let \(m=n/r\). Let \(\{H_1,H_2,\ldots ,H_{\eta }\}\) be a collection of \(\eta \) groups of order r. Let \(H_t\) be a representative of one of these groups for \(t\in \{1,\ldots ,\eta \}\) and let \((h_{t:1},h_{t:2},\ldots ,h_{t:r})\) be a fixed listing of the elements of \(H_t\) with \(h_{t:1}=1\). Let \(H'\) be an \(m\times m\) matrix whose \((y,z)^{\text {th}}\) entry is \(h_{y,z}'\in \{1,\ldots ,\eta \}\) for \(y,z\in \{1,\ldots ,m\}\) and let \(P'\) be an \(m\times m\) matrix whose \((y,z)^{\text {th}}\) entry is \(p_{y,z}'\in {\mathbb {F}}_2\) for \(y,z\in \{1,\ldots ,m\}\). Define the mapping \(\varrho (y,z,i,j)=g_{r(y-1)+i}^{-1}g_{r(z-1)+j}\) for \(y,z\in \{1,\ldots ,m\}\) and \(i,j\in \{1,\ldots ,r\}\).
Define \(Z_{y,z}\) to be the \(r\times r\) matrix whose \((i,j)^{\text {th}}\) entry is given by
and define \(Z'_{t:y,z}\) to be the \(r\times r\) matrix whose \((i,j)^{\text {th}}\) entry is given by
where \({\mathcal {M}}_{H_t}(i,j)\) is the \((i,j)^{\text {th}}\) entry of the matrix of integers \(\ell \in \{1,\ldots ,r\}\) such that \(h_{t:\ell }=h_{t:i}^{-1}h_{t:j}\).
Define \(\varOmega (v)\) to be the block matrix whose \((y,z)^{\text {th}}\) block entry is given by
Then \(\varOmega (v)\) is an \(n\times n\) matrix composed of \(m^2\) blocks of size \(r\times r\) which we call the composite \((G,H_1,H_2,\ldots ,H_{\eta })\)-matrix of \(v\in RG\) with respect to \(H'\) and \(P'\). If \(P'=\mathbf{0} \) (i.e. the \(m\times m\) zero matrix), the matrix \(\varOmega (v)\) reduces to \(\sigma (v)\).
The concept of composite matrices defined in this way was first introduced in [11] as a way of generalising the structure of \(\sigma (v)\). See [9, 10, 26] for recent applications of composite matrices in constructing binary self-dual codes.
Example 2.9
Let \(G\cong D_4\cong \langle a,b\mid a^4=b^2=1,bab=a^{-1}\rangle \) with the fixed listing \(G=(g_{4j+i+1})=a^ib^j\) for \(i\in \{0,\ldots ,3\}\) and \(j\in \{0,1\}\). Then \(G=(g_1,g_2,g_3,g_4,g_5,g_6,g_7,g_8)=(1,a,a^2,a^3,b,ab,a^2b,a^3b)\). We have \(n=8\) and suppose we let \(r=4\mid n\) so that \(m=n/r=2\). Let \(\{H_1,H_2\}\) be a collection of groups of order \(r=4\). Let \(H_1\cong C_2\times C_2\cong \langle c,d\mid c^2=d^2=1,cd=dc\rangle \) with the fixed listing \(H_1=(h_{1:2j+i+1})=c^id^j\) for \(i\in \{0,1\}\) and \(j\in \{0,1\}\). Then \(H_1=(h_{1:1},h_{1:2},h_{1:3},h_{1:4})=(1,c,d,cd)\). Let \(H_2\cong C_{2\cdot 2}\cong \langle e\mid e^{2\cdot 2}=1\rangle \) with the fixed listing \(H_2=(h_{2:2j+i+1})=e^{2i+j}\) for \(i\in \{0,1\}\) and \(j\in \{0,1\}\). Then \(H_2=(h_{2:1},h_{2:2},h_{2:3},h_{2:4})=(1,e^2,e,e^3)\). Let
and let \(P'=\mathbf{1} \) (i.e. the \(2\times 2\) matrix of ones). Let \(v=\sum _{i=1}^{8}\alpha _{g_i}g_i\in RG\) and let \(\varOmega (v)\) be the composite \((G,H_1,H_2)\)-matrix of \(v\in RG\) with respect to \(H'\) and \(P'\). We have
and we also find that
By definition, the \((i,j)^{\text {th}}\) entry of \(Z_{1:1,1}'\) is given by \(\alpha _{\varrho (1,1,1,{\mathcal {M}}_{H_1}(i,j))}\) where \(\varrho (1,1,1,{\mathcal {M}}_{H_1}(i,j))=g_{1}^{-1}g_{{\mathcal {M}}_{H_1}(i,j)}=g_{{\mathcal {M}}_{H_1}(i,j)}\) so that
and similarly we find that
Therefore, we obtain
where \(A_1={{\,\mathrm{circ}\,}}({\alpha _{g_{1}},\alpha _{g_{2}}})\), \(A_2={{\,\mathrm{circ}\,}}({\alpha _{g_{3}},\alpha _{g_{4}}})\), \(B_1={{\,\mathrm{circ}\,}}({\alpha _{g_{5}},\alpha _{g_{6}}})\), \(B_2={{\,\mathrm{circ}\,}}({\alpha _{g_{7}},\alpha _{g_{8}}})\), \(C_1={{\,\mathrm{circ}\,}}({\alpha _{g_{5}},\alpha _{g_{8}}})\), \(C_2={{\,\mathrm{circ}\,}}({\alpha _{g_{7}},\alpha _{g_{6}}})\) and \(D_1={{\,\mathrm{circ}\,}}({\alpha _{g_{1}},\alpha _{g_{4}}})\), \(D_2={{\,\mathrm{circ}\,}}({\alpha _{g_{3}},\alpha _{g_{2}}})\).
3 Composite matrix constructions
In this section, we present our constructions which assume a generator matrix of the form \((I_n\,|\,\varOmega (v))\) where \(\varOmega (v)\) is a composite matrix. For each construction, we first define the structure of the corresponding composite matrix \(\varOmega (v)\) and subsequently prove the conditions that hold if and only if \((I_n\,|\,\varOmega (v))\) is a generator matrix of a self-dual [2n, n] code over R. We will hereafter assume that R is a finite commutative Frobenius ring of characteristic 2. For each \(v=\sum _{i=1}^n\alpha _{g_i}g_i\in RG\) that we define, we denote \(\mathbf{v} =(v_1,v_2,\ldots ,v_n)=(\alpha _{g_1},\alpha _{g_2},\ldots ,\alpha _{g_n})\) where \(\mathbf{v} _i\) denotes \(v_i=\alpha _{g_i}\) for \(i\in \{1,\ldots ,n\}\). We also use the following notation
for \(i,j\in \{1,\ldots ,n\}\). We also let \({{\,\mathrm{circ}\,}}(\mathbf{u ,\mathbf{v} })\) denote \({{\,\mathrm{circ}\,}}({u_1,u_2,\ldots ,u_n,v_1,v_2,\ldots ,v_n})\) for any \(\mathbf{u} ,\mathbf{v} \in R^n\) such that \(\mathbf{u} =(u_1,u_2,\ldots ,u_n)\) and \(\mathbf{v} =(v_1,v_2,\ldots ,v_n)\).
Definition 3.1
Let \(G\cong D_{10}\cong \langle a,b\mid a^{10}=b^2=1,bab=a^{-1}\rangle \) with the fixed listing \(G=(g_{10j+i+1})=a^ib^j\) for \(i\in \{0,\ldots ,9\}\) and \(j\in \{0,1\}\). Let \(H\cong D_{5}\cong \langle c,d\mid c^{5}=d^2=1,dcd=c^{-1}\rangle \) with the fixed listing \(H=(h_{5j+i+1})=a^ib^j\) for \(i\in \{0,\ldots ,4\}\) and \(j\in \{0,1\}\). Let \(H'=\mathbf{1} \) and \(P'=\mathbf{1} \). Let \(v=\sum _{i=1}^{20}{\alpha _{g_i}}g_i\in RG\). If \(\varOmega _{1}^{20}(v)\) is the composite (G, H)-matrix of \(v\in RG\) with respect to \(H'\) and \(P'\), then
where \(A_1={{\,\mathrm{circ}\,}}(\mathbf{v _{1:5}})\), \(B_1={{\,\mathrm{circ}\,}}(\mathbf{v _{6:10}})\), \(C_1={{\,\mathrm{circ}\,}}(\mathbf{v _{11:15}})\), \(D_1={{\,\mathrm{circ}\,}}(\mathbf{v _{16:20}})\), \(A_2={{\,\mathrm{circ}\,}}(\mathbf{v _1,\mathbf{v} _{10:7}})\), \(B_2={{\,\mathrm{circ}\,}}(\mathbf{v _{6:2}})\), \(C_2={{\,\mathrm{circ}\,}}(\mathbf{v _{11},\mathbf{v} _{20:17}})\) and \(D_2={{\,\mathrm{circ}\,}}(\mathbf{v _{16:12}})\).
Theorem 3.2
Let \(G=(I\,|\,\varOmega _{1}^{20}(v))\) where \(\varOmega _{1}^{20}(v)\) is as defined in Definition 3.1. Then G is a generator matrix of a self-dual code of length 40 over R if and only if
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10623-021-00976-3/MediaObjects/10623_2021_976_Figa_HTML.png)
Proof
We know that G is a generator matrix of a self-dual code of length 40 over R if and only if \(\varOmega _{1}^{20}(v)\varOmega _{1}^{20}(v)^T=I_{20}\). We find that
where
and
Clearly, \(Y_i=\mathbf{0} \) if and only if \(Y_i^T=\mathbf{0} \) for \(i\in \{1,2\}\). Thus, \(\varOmega _{1}^{20}(v)\varOmega _{1}^{20}(v)^T=I_{20}\) if and only if
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10623-021-00976-3/MediaObjects/10623_2021_976_Figb_HTML.png)
\(\square \)
Definition 3.3
Let \(G\cong C_5\times C_4\cong \langle a,b\mid a^5=b^4=1,ab=ba\rangle \) with the fixed listing \(G=(g_{5j+i+1})=a^ib^j\) for \(i\in \{0,\ldots ,4\}\) and \(j\in \{0,\ldots ,3\}\). Let \(H\cong D_{5}\cong \langle c,d\mid c^{5}=d^2=1,dcd=c^{-1}\rangle \) with the fixed listing \(H=(h_{5j+i+1})=a^ib^j\) for \(i\in \{0,\ldots ,4\}\) and \(j\in \{0,1\}\). Let \(H'=\mathbf{1} \) and \(P'=\mathbf{1} \). Let \(v=\sum _{i=1}^{20}{\alpha _{g_i}}g_i\in RG\). If \(\varOmega _{2}^{20}(v)\) is the composite (G, H)-matrix of \(v\in RG\) with respect to \(H'\) and \(P'\), then
where \(A={{\,\mathrm{circ}\,}}(\mathbf{v _{1:5}})\), \(B={{\,\mathrm{circ}\,}}(\mathbf{v _{6:10}})\), \(C={{\,\mathrm{circ}\,}}(\mathbf{v _{11:15}})\) and \(D={{\,\mathrm{circ}\,}}(\mathbf{v _{16:20}})\).
Theorem 3.4
Let \(G=(I\,|\,\varOmega _{2}^{20}(v))\) where \(\varOmega _{2}^{20}(v)\) is as defined in Definition 3.3. Then G is a generator matrix of a self-dual code of length 40 over R if and only if
![figure c](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10623-021-00976-3/MediaObjects/10623_2021_976_Figc_HTML.png)
Proof
We know that G is a generator matrix of a self-dual code of length 40 over R if and only if \(\varOmega _{2}^{20}(v)\varOmega _{2}^{20}(v)^T=I_{20}\). We find that
where
and
Thus, \(\varOmega _{2}^{20}(v)\varOmega _{2}^{20}(v)^T=I_{20}\) if and only if
![figure d](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10623-021-00976-3/MediaObjects/10623_2021_976_Figd_HTML.png)
\(\square \)
Definition 3.5
Let \(G\cong D_{21}\cong \langle a,b\mid a^{21}=b^2=1,bab=a^{-1}\rangle \) with the fixed listing \(G=(g_{21j+i+1})=a^ib^j\) for \(i\in \{0,\ldots ,20\}\) and \(j\in \{0,1\}\). Let \(H\cong C_7\times C_3\cong \langle c,d\mid c^7=d^3=1,cd=dc\rangle \) with the fixed listing \(H=(h_{7j+i+1})=a^ib^j\) for \(i\in \{0,\ldots ,6\}\) and \(j\in \{0,1,2\}\). Let \(H'=\mathbf{1} \) and \(P'=\mathbf{1} \). Let \(v=\sum _{i=1}^{42}{\alpha _{g_i}}g_i\in RG\). If \(\varOmega _{1}^{42}(v)\) is the composite (G, H)-matrix of \(v\in RG\) with respect to \(H'\) and \(P'\), then
where \(A_1={{\,\mathrm{circ}\,}}(\mathbf{v _{1:7}})\), \(A_2={{\,\mathrm{circ}\,}}(\mathbf{v _{8:14}})\), \(A_3={{\,\mathrm{circ}\,}}(\mathbf{v _{15:21}})\), \(B_1={{\,\mathrm{circ}\,}}(\mathbf{v _{22:28}})\), \(B_2={{\,\mathrm{circ}\,}}(\mathbf{v _{29:35}})\), \(B_3={{\,\mathrm{circ}\,}}(\mathbf{v _{36:42}})\), \(C_1={{\,\mathrm{circ}\,}}(\mathbf{v _{22},\mathbf{v} _{42:37}})\), \(C_2={{\,\mathrm{circ}\,}}(\mathbf{v _{36:30}})\), \(C_3={{\,\mathrm{circ}\,}}(\mathbf{v _{29:23}})\), \(D_1={{\,\mathrm{circ}\,}}(\mathbf{v _1,\mathbf{v} _{21:16}})\), \(D_2={{\,\mathrm{circ}\,}}(\mathbf{v _{15:9}})\) and \(D_2={{\,\mathrm{circ}\,}}(\mathbf{v _{8:2}})\).
Theorem 3.6
Let \(G=(I\,|\,\varOmega _{1}^{42}(v))\) where \(\varOmega _{1}^{42}(v)\) is as defined in Definition 3.5. Then G is a generator matrix of a self-dual code of length 84 over R if and only if
![figure e](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10623-021-00976-3/MediaObjects/10623_2021_976_Fige_HTML.png)
Proof
We know that G is a generator matrix of a self-dual code of length 84 over R if and only if \(\varOmega _{1}^{42}(v)\varOmega _{1}^{42}(v)^T=I_{42}\). We find that
where
and
Clearly, \(Y_i=\mathbf{0} \) if and only if \(Y_i^T=\mathbf{0} \) for \(i\in \{1,\ldots ,5\}\). Thus, \(\varOmega _{1}^{42}(v)\varOmega _{1}^{42}(v)^T=I_{42}\) if and only if
![figure f](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10623-021-00976-3/MediaObjects/10623_2021_976_Figf_HTML.png)
\(\square \)
Definition 3.7
Let \(G\cong D_{21}\cong \langle a,b\mid a^{21}=b^2=1,bab=a^{-1}\rangle \) with the fixed listing \(G=(g_{21j+i+1})=a^ib^j\) for \(i\in \{0,\ldots ,20\}\) and \(j\in \{0,1\}\). Let \(H\cong C_3\times C_7\cong \langle c,d\mid c^3=b^7=1,cd=dc\rangle \) with the fixed listing \(H=(h_{3j+i+1})=c^id^j\) for \(i\in \{0,1,2\}\) and \(j\in \{0,\ldots ,6\}\). Let \(H'=\mathbf{1} \) and \(P'=\mathbf{1} \). Let \(v=\sum _{i=1}^{42}{\alpha _{g_i}}g_i\in RG\). If \(\varOmega _{2}^{42}(v)\) is the composite (G, H)-matrix of \(v\in RG\) with respect to \(H'\) and \(P'\), then
where \(A_1={{\,\mathrm{circ}\,}}(\mathbf{v _{1:7}})\), \(A_2={{\,\mathrm{circ}\,}}(\mathbf{v _{8:14}})\), \(A_3={{\,\mathrm{circ}\,}}(\mathbf{v _{15:21}})\), \(B_1={{\,\mathrm{circ}\,}}(\mathbf{v _{22:28}})\), \(B_2={{\,\mathrm{circ}\,}}(\mathbf{v _{29:35}})\), \(B_3={{\,\mathrm{circ}\,}}(\mathbf{v _{36:42}})\), \(C_1={{\,\mathrm{circ}\,}}(\mathbf{v _{22},\mathbf{v} _{42:37}})\), \(C_2={{\,\mathrm{circ}\,}}(\mathbf{v _{36:30}})\), \(C_3={{\,\mathrm{circ}\,}}(\mathbf{v _{29:23}})\), \(D_1={{\,\mathrm{circ}\,}}(\mathbf{v _{1},\mathbf{v} _{21:16}})\), \(D_2={{\,\mathrm{circ}\,}}(\mathbf{v _{15:9}})\), \(D_2={{\,\mathrm{circ}\,}}(\mathbf{v _{8:2}})\) and \(\star \) is the transformation defined in Proposition 2.6.
Theorem 3.8
Let \(G=(I\,|\,\varOmega _{2}^{42}(v))\) where \(\varOmega _{2}^{42}(v)\) is as defined in Definition 3.7. Then G is a generator matrix of a self-dual code of length 84 over R if and only if
![figure g](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10623-021-00976-3/MediaObjects/10623_2021_976_Figg_HTML.png)
Proof
We know that G is a generator matrix of a self-dual code of length 84 over R if and only if \(\varOmega _{2}^{42}(v)\varOmega _{2}^{42}(v)^T=I_{42}\). Using Lemmas 2.7 and 2.8, we find that
where
and
Clearly, \(Y_i=\mathbf{0} \) if and only if \(Y_i^T=\mathbf{0} \), \(Y_i^{\star }=\mathbf{0} \) and \(Y_i^{\star T}=\mathbf{0} \) for \(i\in \{1,\ldots ,5\}\). Thus, \(\varOmega _{2}^{42}(v)\varOmega _{2}^{42}(v)^T=I_{42}\) if and only if
![figure h](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10623-021-00976-3/MediaObjects/10623_2021_976_Figh_HTML.png)
\(\square \)
Definition 3.9
Let \(G\cong C_{12}\times C_2\cong \langle a,b\mid a^{12}=b^2=1,ab=ba\rangle \) with the fixed listing \(G=(g_{12j+i+1})=a^ib^j\) for \(i\in \{0,\ldots ,11\}\) and \(j\in \{0,1\}\). Let \(H\cong D_3\cong \langle c,d\mid c^3=d^2=1,dcd=c^{-1}\rangle \) with the fixed listing \(H=(h_{3j+i+1})=c^id^j\) for \(i\in \{0,1,2\}\) and \(j\in \{0,1\}\). Let \(H'=\mathbf{1} \) and \(P'=\mathbf{1} \). Let \(v=\sum _{i=1}^{24}{\alpha _{g_i}}g_i\in RG\). If \(\varOmega _{1}^{24}(v)\) is the composite (G, H)-matrix of \(v\in RG\) with respect to \(H'\) and \(P'\), then
where \(\otimes \), \(I_2\) and \(J_2\) denote the Kronecker product, \(2\times 2\) identity matrix and \(2\times 2\) exchange matrix, respectively and
where \(A_1={{\,\mathrm{circ}\,}}(\mathbf{v _{1:3}})\), \(A_2={{\,\mathrm{circ}\,}}(\mathbf{v _{4:6}})\), \(B_1={{\,\mathrm{circ}\,}}(\mathbf{v _{7:9}})\), \(B_2={{\,\mathrm{circ}\,}}(\mathbf{v _{10:12}})\), \(C_1={{\,\mathrm{circ}\,}}(\mathbf{v _{13:15}})\), \(C_2={{\,\mathrm{circ}\,}}(\mathbf{v _{16:18}})\), \(D_1={{\,\mathrm{circ}\,}}(\mathbf{v _{19:21}})\) and \(D_2={{\,\mathrm{circ}\,}}(\mathbf{v _{22:24}})\).
Theorem 3.10
Let \(G=(I\,|\,\varOmega _{1}^{24}(v))\) where \(\varOmega _{1}^{24}(v)\) is as defined in Definition 3.9. Then G is a generator matrix of a self-dual code of length 48 over R if and only if
![figure i](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10623-021-00976-3/MediaObjects/10623_2021_976_Figi_HTML.png)
Proof
We know that G is a generator matrix of a self-dual code of length 48 over R if and only if \(\varOmega _{1}^{24}(v)\varOmega _{1}^{24}(v)^T=I_{24}\). We find that
where
with
and
Thus, \(\varOmega _{1}^{24}(v)\varOmega _{1}^{24}(v)^T=I_{24}\) if and only if
![figure j](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10623-021-00976-3/MediaObjects/10623_2021_976_Figj_HTML.png)
\(\square \)
Definition 3.11
Let \(G\cong D_{12}\cong \langle a,b\mid a^{12}=b^2=1,bab=a^{-1}\rangle \) with the fixed listing \(G=(g_{12j+i+1})=a^ib^j\) for \(i\in \{0,\ldots ,11\}\) and \(j\in \{0,1\}\). Let \(H\cong C_{2\cdot 6}\cong \langle c\mid c^{2\cdot 6}=1\rangle \) with the fixed listing \(H=(h_{6j+i+1})=c^{2i+j}\) for \(i\in \{0,\ldots ,5\}\) and \(j\in \{0,1\}\). Let \(H'=\mathbf{1} \) and \(P'=\mathbf{1} \). Let \(v=\sum _{i=1}^{24}{\alpha _{g_i}}g_i\in RG\). If \(\varOmega _{2}^{24}(v)\) is the composite (G, H)-matrix of \(v\in RG\) with respect to \(H'\) and \(P'\), then
where \(A_1={{\,\mathrm{circ}\,}}(\mathbf{v _{1:6}})\), \(A_2={{\,\mathrm{circ}\,}}(\mathbf{v _{7:12}})\), \(B_1={{\,\mathrm{circ}\,}}(\mathbf{v _{13:18}})\), \(B_2={{\,\mathrm{circ}\,}}(\mathbf{v _{19:24}})\), \(C_1={{\,\mathrm{circ}\,}}(\mathbf{v _{13},\mathbf{v} _{24:20}})\), \(C_2={{\,\mathrm{circ}\,}}(\mathbf{v _{19:14}})\), \(D_1={{\,\mathrm{circ}\,}}(\mathbf{v _{1},\mathbf{v} _{12:8}})\), \(D_2={{\,\mathrm{circ}\,}}(\mathbf{v _{7:2}})\) and \(\star \) is the transformation defined in Proposition 2.6.
Theorem 3.12
Let \(G=(I\,|\,\varOmega _{2}^{24}(v))\) where \(\varOmega _{2}^{24}(v)\) is as defined in Definition 3.11. Then G is a generator matrix of a self-dual code of length 48 over R if and only if
![figure k](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10623-021-00976-3/MediaObjects/10623_2021_976_Figk_HTML.png)
Proof
We know that G is a generator matrix of a self-dual code of length 48 over R if and only if \(\varOmega _{2}^{24}(v)\varOmega _{2}^{24}(v)^T=I_{24}\). Using Lemmas 2.7 and 2.8, we find that
where
and
Clearly, \(Y_i=\mathbf{0} \) if and only if \(Y_i^T=\mathbf{0} \), \(Y_i^{\star }=\mathbf{0} \) and \(Y_i^{\star T}=\mathbf{0} \) for \(i\in \{1,\ldots ,4\}\). Thus, \(\varOmega _{2}^{24}(v)\varOmega _{2}^{24}(v)^T=I_{24}\) if and only if
![figure l](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10623-021-00976-3/MediaObjects/10623_2021_976_Figl_HTML.png)
\(\square \)
Definition 3.13
Let \(G\cong D_{12}\cong \langle a,b\mid a^{12}=b^2=1,bab=a^{-1}\rangle \) with the fixed listing \(G=(g_{12j+i+1})=a^ib^j\) for \(i\in \{0,\ldots ,11\}\) and \(j\in \{0,1\}\). Let \(H\cong D_6\cong \langle c,d\mid c^6=d^2=1,dcd=c^{-1}\rangle \) with the fixed listing \(H=(h_{6j+i+1})=c^id^j\) for \(i\in \{0,\ldots ,5\}\) and \(j\in \{0,1\}\). Let \(H'=\mathbf{1} \) and \(P'=\mathbf{1} \). Let \(v=\sum _{i=1}^{24}{\alpha _{g_i}}g_i\in RG\). If \(\varOmega _{3}^{24}(v)\) is the composite (G, H)-matrix of \(v\in RG\) with respect to \(H'\) and \(P'\), then
where \(A_1={{\,\mathrm{circ}\,}}(\mathbf{v _{1:6}})\), \(A_2={{\,\mathrm{circ}\,}}(\mathbf{v _{7:12}})\), \(B_1={{\,\mathrm{circ}\,}}(\mathbf{v _{13:18}})\), \(B_2={{\,\mathrm{circ}\,}}(\mathbf{v _{19:24}})\), \(C_1={{\,\mathrm{circ}\,}}(\mathbf{v _{13},\mathbf{v} _{24:20}})\), \(C_2={{\,\mathrm{circ}\,}}(\mathbf{v _{19:14}})\), \(D_1={{\,\mathrm{circ}\,}}(\mathbf{v _{1},\mathbf{v} _{12:8}})\) and \(D_2={{\,\mathrm{circ}\,}}(\mathbf{v _{7:2}})\).
Theorem 3.14
Let \(G=(I\,|\,\varOmega _{3}^{24}(v))\) where \(\varOmega _{3}^{24}(v)\) is as defined in Definition 3.13. Then G is a generator matrix of a self-dual code of length 48 over R if and only if
![figure m](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10623-021-00976-3/MediaObjects/10623_2021_976_Figm_HTML.png)
Proof
We know that G is a generator matrix of a self-dual code of length 48 over R if and only if \(\varOmega _{3}^{24}(v)\varOmega _{3}^{24}(v)^T=I_{24}\). We find that
where
and
Clearly, \(Y_i=\mathbf{0} \) if and only if \(Y_i^T=\mathbf{0} \) for \(i\in \{1,2\}\). Thus, \(\varOmega _{3}^{24}(v)\varOmega _{3}^{24}(v)^T=I_{24}\) if and only if
![figure n](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10623-021-00976-3/MediaObjects/10623_2021_976_Fign_HTML.png)
\(\square \)
4 Results
In this section, we apply the theorems given in the previous section to obtain many new best known binary self-dual codes. In particular, we obtain 28 singly-even [80, 40, 14] codes, 107 [84, 42, 14] codes, 105 singly-even [96, 48, 16] codes and 121 doubly-even [96, 48, 16] codes.
We search for these codes using MATLAB and determine their properties using Q-extension [3] and Magma [2]. In MATLAB, we employ an algorithm which randomly searches for the construction parameters that satisfy the necessary and sufficient conditions stated in the corresponding theorem. For such parameters, we then build the corresponding binary generator matrices and print them to text files. We then use Q-extension to read these text files and determine the minimum distance and partial weight enumerator of each corresponding code. Furthermore, we determine the automorphism group order of each code using Magma. A database of generator matrices of the new codes is given online at [19]. The database is partitioned into text files (interpretable by Q-extension) corresponding to each code type. In these files, specific properties of the codes including the construction parameters, weight enumerator parameter values and automorphism group order are formatted as comments above the generator matrices. Partial weight enumerators of the codes are also formatted as comments below the generator matrices. Table 1 gives the quaternary notation system we use to represent elements of \({\mathbb {F}}_2+u{\mathbb {F}}_2\) and \({\mathbb {F}}_4\).
4.1 New self-dual codes of length 80
The weight enumerator of a singly-even binary self-dual [80, 40, 14] code is given in [33] as
where \(\alpha ,\beta \in {\mathbb {Z}}\). Previously known \((\alpha ,\beta )\) values for weight enumerator \(W_{80}\) can be found online at [30] (see [14, 16,17,18, 20, 29, 33]).
We obtain 28 new best known singly-even binary self-dual codes of length 80 which have weight enumerator \(W_{80}\) for
-
\(\beta =0\) and \(\alpha \in \{-z:z=65,80,120,125,130,135,140,145,150,155,165,175,190,195,205,210,215,230,235,250,270,275,280,360\}\);
-
\(\beta =10\) and \(\alpha \in \{-2z:z=130,150,160,185\}\).
Of the 28 new codes, 19 are constructed by applying Theorem 3.2 over \({\mathbb {F}}_4\) (Table 2); 4 are constructed by applying Theorem 3.4 over \({\mathbb {F}}_2+u{\mathbb {F}}_2\) (Table 3) and 5 are constructed by applying Theorem 3.4 over \({\mathbb {F}}_4\) (Table 4).
4.2 New self-dual codes of length 84
The possible weight enumerators of a binary self-dual [84, 42, 14] code are given in [6, 33] as
where \(\alpha ,\beta \in {\mathbb {Z}}\). It is unknown whether or not a code with weight enumerator \(W_{84,3}\) has been previously reported.
We obtain 107 new best known binary self-dual codes of length 84 which have weight enumerator \(W_{84,3}\) for
-
\(\beta =0\) and \(\alpha \in \{6z:z=336,350,358,365,372,386,392,393,399,400,406,407,413,414,420,421,427,428,434,435,441,442,448,449,455,456,462,463,469,470,476,477,483,484,490,491,497,498,504,505,511,512,518,519,525,526,532,533,539,540,546,553,554,560,567\}\);
-
\(\beta =21\) and \(\alpha \in \{6z:z=413,434,435,441,442,449,455,456,462,463,469,470,476,477,483,484,490,491,497,498,504,505,511,512,518,519,525,526,532,533,539,540,546,547,553,560,568,575,595\}\);
-
\(\beta =42\) and \(\alpha \in \{6z:z=490,512,518,525,526,539,540,547,553,560,568\}\);
-
\(\beta =63\) and \(\alpha \in \{6z:z=574,575\}\).
Of the 107 new codes, 55 are constructed by applying Theorem 3.6 over \({\mathbb {F}}_2\) (Table 5) and 52 are constructed by applying Theorem 3.8 over \({\mathbb {F}}_2\) (Table 6). In Tables 5 and 6, we only list 10 codes to save space. We refer to Database 2 of [19] for the remaining unlisted codes.
4.3 New self-dual codes of length 96
The possible weight enumerators of a singly-even binary self-dual [96, 48, 16] code are given in [21] as
where \(\alpha ,\beta ,\gamma \in {\mathbb {Z}}\). Previously known \((\alpha ,\beta ,\gamma )\) values for weight enumerator \(W_{96,2}^{\text {I}}\) can be found online at [30] (see [21]).
We obtain 105 new best known singly-even binary self-dual codes of length 96 which have weight enumerator \(W_{96,2}^{\text {I}}\) for
-
\(\gamma =0\) and \((\alpha ,\beta )\in \{(12z_1,-4z_2):(z_1,z_2)=(850,0),(896,0),(904,0),(805,1),(854,3),(808,4),(837,6),(926,6),(822,7),(865,9),(860,10),(860,12),(897,12),(900,12),(929,12),(1014,12),(877,13),(910,15),(877,16),(933,18),(908,19),(938,21),(952,22),(957,24),(990,24),(965,25),(1003,27),(947,28),(1038,30),(1052,31),(971,34),(1045,36),(1222,36),(1148,46),(1244,48),(1260,48),(1204,52),(1278,60)\}\);
-
\(\gamma =6\) and \((\alpha ,\beta )\in \{(12z_1,-4z_2):(z_1,z_2)=(909,30),(913,31),(922,33),(901,34),(902,36),(918,37),(944,39),(948,40),(932,42),(995,43),(949,45),(980,46),(1034,48),(1018,49),(969,51),(978,52),(1120,64)\}\);
-
\(\gamma =12\) and \((\alpha ,\beta )\in \{(12z_1,-4z_2):(z_1,z_2)=(928,60),(988,60),(992,60),(1048,60),(1056,60),(1076,60),(1096,60),(1104,60),(1120,60),(1148,60),(1160,60),(1168,60),(1176,60),(1208,60),(1216,60),(1232,60),(1240,60),(1264,60),(1280,60),(1288,60),(1320,60),(1336,60),(1520,60),(982,61),(975,63),(984,64),(997,66),(1133,66),(1148,66),(1236,66),(977,67),(1075,69),(1042,70),(1080,72),(1112,72),(1120,72),(1137,72),(1272,72),(1544,72),(1036,73),(1046,76),(1098,78),(1121,78),(1072,79),(1226,84),(1352,84),(1528,84),(1224,85),(1332,100),(1384,108)\}\).
Of the 105 new codes, 5 are constructed by applying Theorem 3.10 over \({\mathbb {F}}_2+u{\mathbb {F}}_2\) (Table 7); 56 are constructed by applying Theorem 3.10 over \({\mathbb {F}}_4\) (Table 8); 29 are constructed by applying Theorem 3.12 over \({\mathbb {F}}_2+u{\mathbb {F}}_2\) (Table 9) and 15 are constructed by applying Theorem 3.14 over \({\mathbb {F}}_2+u{\mathbb {F}}_2\) (Table 10). In Tables 8 and 9, we only list 10 codes to save space. We refer to Database 3 of [19] for the remaining unlisted codes.
The weight enumerator of a doubly-even binary self-dual [96, 48, 16] code is given in [21] as
where \(\alpha \in {\mathbb {Z}}\). Previously known \(\alpha \) values for weight enumerator \(W_{96}^{\text {II}}\) can be found online at [30] (see [4, 6, 12, 21, 22, 24, 25, 32]).
We obtain 121 new best known doubly-even binary self-dual codes of length 96 which have weight enumerator \(W_{96}^{\text {II}}\) for
-
\(\alpha \in \{6z:z=1379,1403,1419,1443,1459,1473,1499,1507,1523,1539,1547,1563,\)\(1579,1603,1619,1627,1643,1659,1667,1683,1699,1707,1723,1747,1759,1763,1779,\)\(1787,1795,1803,1811,1819,1827,1835,1843,1851,1859,1867,1875,1879,1883,1891,\)\(1899,1903,1907,1913,1915,1921,1923,1931,1939,1947,1957,1963,1971,1975,1979,\)\(1987,1995,2003,2007,2011,2015,2019,2023,2027,2031,2039,2043,2055,2059,2067,\)\(2071,2079,2083,2087,2091,2095,2103,2107,2119,2127,2135,2143,2147,2151,2163,\)\(2167,2175,2195,2199,2203,2207,2211,2215,2223,2231,2247,2255,2259,2263,2279,\)\(2283,2295,2311,2359,2379,2407,2423,2471,2483,2503,2519,2567,2599,2663,2695,\)\(2711,2759,2887,4751\}\).
Of the 121 new codes, 88 are constructed by applying Theorem 3.10 over \({\mathbb {F}}_2+u{\mathbb {F}}_2\) (Table 11); 8 are constructed by applying Theorem 3.10 over \({\mathbb {F}}_4\) (Table 12); 13 are constructed by applying Theorem 3.12 over \({\mathbb {F}}_2+u{\mathbb {F}}_2\) (Table 13) and 12 are constructed by applying Theorem 3.14 over \({\mathbb {F}}_2+u{\mathbb {F}}_2\) (Table 14). In Table 11, we only list 10 codes to save space. We refer to Database 4 of [19] for the remaining unlisted codes.
5 Conclusion
In this work, we applied the idea of composite matrices \(\varOmega (v)\) to derive a number of techniques assuming a generator matrix of the form \((I_n\,|\,\varOmega (v))\) to construct new binary self-dual codes. We defined each of the composite matrices that were implemented in the techniques and we proved the necessary conditions required by the techniques to produce self-dual codes. We applied these techniques directly over \({\mathbb {F}}_2\) as well as over the rings \({\mathbb {F}}_2+u{\mathbb {F}}_2\) and \({\mathbb {F}}_4\). By so doing, we were able to construct new best known binary self-dual codes with many different weight enumerator parameter values. In particular, we constructed 28 singly-even [80, 40, 14] codes, 107 [84, 42, 14] codes, 105 singly-even [96, 48, 16] codes and 121 doubly-even [96, 48, 16] codes.
The advantage of using composite matrices is that there are many different combinations of their determining parameters, i.e. the groups G and \(\{H_1,H_2,\ldots ,H_{\eta }\}\) and the parameter matrices \(H'\) and \(P'\). This allows for many different forms of the matrices \(\varOmega (v)\) which often have very unusual structures. For each of the composite matrices we defined, we assumed that \(H'=\mathbf{1} \) and \(P'=\mathbf{1} \). A suggestion for future work could be to investigate different choices for both \(H'\) and \(P'\). Another suggestion would be to use composite matrices determined by groups G and \(\{H_1,H_2,\ldots ,H_{\eta }\}\) of different orders. We could also investigate applying composite matrices over rings other than those used in this work.
Data availability
Not applicable.
References
Bortos M., Gildea J., Kaya A., Korban A., Tylyshchak A.: New self-dual codes of length 68 from a \(2\times 2\) block matrix construction and group rings. Adv. Math. Commun. (2020). https://doi.org/10.3934/amc.2020111.
Bosma W., Cannon J., Playoust C.: The Magma Algebra System I: the user language. J. Symb. Comput. 24(3–4), 235–265 (1997). https://doi.org/10.1006/jsco.1996.0125.
Bouyukliev I.G.: What is Q-extension? Serdica J. Comput. 1(2), 115–130 (2007).
Dontcheva R.: On the doubly-even self-dual codes of length 96. IEEE Trans. Inf. Theory 48(2), 557–561 (2002). https://doi.org/10.1109/18.979333.
Dougherty S.T.: Algebraic Coding Theory over Finite Commutative Rings, 1st edn. Springer, Cham (2017).
Dougherty S.T., Gulliver T.A., Harada M.: Extremal binary self-dual codes. IEEE Trans. Inf. Theory 43(6), 2036–2047 (1997). https://doi.org/10.1109/18.641574.
Dougherty S.T., Gaborit P., Harada M., Solé P.: Type II codes over \({\mathbb{F}}_2+u{\mathbb{F}}_2\). IEEE Trans. Inf. Theory 45(1), 32–45 (1999). https://doi.org/10.1109/18.746770.
Dougherty S.T., Gildea J., Kaya A.: \(2^n\) bordered constructions of self-dual codes from group rings. Finite Fields Appl. (2020). https://doi.org/10.1016/j.ffa.2020.101692.
Dougherty S.T., Gildea J., Korban A., Kaya A.: Composite matrices from group rings, composite G-codes and constructions of self-dual codes (2020). arXiv:2002.11614.
Dougherty S.T., Gildea J., Korban A., Kaya A.: New extremal self-dual binary codes of length 68 via composite construction, \({\mathbb{F}}_2+u{\mathbb{F}}_2\) lifts, extensions and neighbours. Int. J. Inf. Coding Theory 5(3–4), 211–226 (2020). https://doi.org/10.1504/IJICOT.2020.110703.
Dougherty S.T., Gildea J., Korban A.: Extending an established isomorphism between group rings and a subring of the \(n\times n\) matrices. Int. J. Algebra Comput. (2021). https://doi.org/10.1142/S0218196721500223.
Feit W.: A self-dual even \((96,48,16)\) code. IEEE Trans. Inf. Theory 20(1), 136–138 (1974). https://doi.org/10.1109/TIT.1974.1055153.
Gaborit P., Pless V., Solé P., Atkin O.: Type II codes over \({\mathbb{F}}_4\). Finite Fields Appl. 8(2), 171–183 (2002). https://doi.org/10.1006/ffta.2001.0333.
Gildea J., Kaya A., Tylyshchak A., Yildiz B.: A group induced four-circulant construction for self-dual codes and new extremal binary self-dual codes (2019). arXiv:1912.11758.
Gildea J., Kaya A., Korban A., Tylyshchak A.: Self-dual codes using bisymmetric matrices and group rings. Discret. Math. (2020). https://doi.org/10.1016/j.disc.2020.112085.
Gildea J., Korban A., Kaya A., Yildiz B.: Constructing self-dual codes from group rings and reverse circulant matrices. Adv. Math. Commun. (2020). https://doi.org/10.3934/amc.2020077.
Gildea J., Taylor R., Kaya A., Tylyshchak A.: Double bordered constructions of self-dual codes from group rings over Frobenius rings. Cryptogr. Commun. 12(4), 769–784 (2020). https://doi.org/10.1007/s12095-019-00420-3.
Gildea J., Korban A., Roberts A.M.: New binary self-dual codes of lengths 56, 58, 64, 80 and 92 from a modification of the four circulant construction. Finite Fields Appl. (2021). https://doi.org/10.1016/j.ffa.2021.101876.
Gildea J., Korban A., Roberts A.M.: Generator matrix database (2021). https://amr3-ys3da62trb.netlify.app.
Gulliver T.A., Harada M.: Classification of extremal double circulant self-dual codes of lengths 74–88. Discret. Math. 306(17), 2064–2072 (2006). https://doi.org/10.1016/j.disc.2006.05.004.
Gulliver T.A., Harada M.: On extremal double circulant self-dual codes of lengths 90–96. Appl. Algebra Eng. Commun. Comput. 30(5), 403–415 (2019). https://doi.org/10.1007/s00200-019-00381-3.
Harada M., Yorgova R.: Construction of a self-dual \([94,47,16]\) code. In: Eleventh International Workshop on Algebraic and Combinatorial Coding Theory, pp. 125–128. Pamporovo, Bulgaria (2008).
Hurley T.: Group rings and rings of matrices. Int. J. Pure Appl. Math. 31(3), 319–335 (2006).
Kaya A., Yildiz B.: Various constructions for self-dual codes over rings and new binary self-dual codes. Discret. Math. 339(2), 460–469 (2016). https://doi.org/10.1016/j.disc.2015.09.010.
Kaya A., Yildiz B., Siap I.: New extremal binary self-dual codes of length 68 from quadratic residue codes over \({\mathbb{F}}_2+u{\mathbb{F}}_2+u^2{\mathbb{F}}_2\). Finite Fields Appl. 29, 160–177 (2014). https://doi.org/10.1016/j.ffa.2014.04.009.
Korban A., Şahinkaya S., Ustun D.: New type I Binary \([72,36,12]\) self-dual codes from composite matrices and \(R_1\) Lifts (2021). arXiv:2102.00474.
Mallows C.L., Sloane N.J.A.: An upper bound for self-dual codes. Inf. Control 22(2), 188–200 (1973). https://doi.org/10.1016/S0019-9958(73)90273-8.
Rains E.M.: Shadow bounds for self-dual codes. IEEE Trans. Inform. Theory 44(1), 134–139 (1998). https://doi.org/10.1109/18.651000.
Roberts, A.M.: Constructions of extremal and optimal self-dual and Hermitian self-dual codes over finite fields using circulant matrices. Master’s thesis, University of Chester, Chester, UK (2020). https://drive.google.com/file/d/1CMjnuBvQtrXOY8foy6_gfXOcFFuHAaFs/view.
Roberts, A.M.: Weight enumerator parameter database for binary self-dual codes (2021). https://amr-wepd-bsdc.netlify.app.
Wood J.A.: Duality for modules over finite rings and applications to coding theory. Am. J. Math. 121(3), 555–575 (1999). https://doi.org/10.1353/ajm.1999.0024.
Yankov N.: Some new self-dual \([96,48,16]\) codes with an automorphism of order 15. Annu. Konstantin Preslavsky Univ. Shumen. XVI C:99–108 (2014).
Yankov N., Anev D., Gürel M.: Self-dual codes with an automorphism of order 13. Adv. Math. Commun. 11(3), 635–645 (2017). https://doi.org/10.3934/amc.2017047.
Finanzierung
The authors did not receive support from any organisation for the submitted work.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no conflicts of interest to declare that are relevant to the content of this article.
Code availability
Not applicable.
Zusätzliche Informationen
Communicated by V. A. Zinoviev.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gildea, J., Korban, A. & Roberts, A.M. New binary self-dual codes of lengths 80, 84 and 96 from composite matrices. Des. Codes Cryptogr. 90, 317–342 (2022). https://doi.org/10.1007/s10623-021-00976-3
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10623-021-00976-3