Classification of Extremal Double Circulant Formally Self-Dual Even Codes

Formally self-dual even codes have recently been studied. Double circulant even codes are a family of such codes and almost all known extremal formally self-dual even codes are of this form. In this paper, we classify all extremal double circulant formally self-dual even codes which are not self-dual. We also investigate the existence of near-extremal formally self-dual even codes.     

Near-Extremal Formally Self-Dual Even Codes of Lengths 24 and 32

The weight enumerator of a formally self-dual even code is obtained by the Gleason theorem. Recently, Kim and Pless gave some restrictions on the possible weight enumerators of near-extremal formally self-dual even codes of length divisible by eight. In this paper, the weight enumerators for which there is a near-extremal formally self-dual even code are completely determined for lengths 24 and 32, by constructing new near-extremal formally self-dual codes. We also give a classification of near- extremal double circulant codes of lengths 24 and 32. Communicated by: P. Fitzpatrick     

On the Classification of Extremal Even Formally Self-Dual Codes

Bachoc bachoc has recently introduced harmonic polynomials for binary codes. Computing these for extremal even formally self-dual codes of length 12, she found intersection numbers for such codes and showed that there are exactly three inequivalent [12,6,4] even formally self-dual codes, exactly one of which is self-dual. We prove a new theorem which gives a generator matrix for formally self-dual codes. Using the Bachoc polynomials we can obtain the intersection numbers for extremal even formally self-dual codes of length 14. These same numbers can also be obtained from the generator matrix. We show that there are precisely ten inequivalent [14,7,4] even formally self-dual codes, only one of which is self-dual.     

Some extremal self-dual codes and unimodular lattices in dimension 40

In this paper, binary extremal singly even self-dual codes of length 40 and extremal odd unimodular lattices in dimension 40 are studied. We give a classification of extremal singly even self-dual codes of length 40. We also give a classification of extremal odd unimodular lattices in dimension 40 with shadows having 80 vectors of norm 2 through their relationships with extremal doubly even self-dual codes of length 40.     

Classification of Formally Self-Dual Even Codes of Lengths up to 16

In this note, we give the complete classification of binary formally self-dual even codes of lengths 10, 12, 14 and 16. There are exactly fourteen, 29, 99 and 914 inequivalent such codes of lengths 10, 12, 14 and 16, respectively. This completes the classification of formally self-dual even codes of lengths up to 16. The first example of formally self-dual even code with a trivial automorphism group is also found. This shows that 16 is the smallest length for which there is a formally self-dual even code with a trivial automorphism group.     

Binary extremal self-dual codes of length 60 and related codes

We give a classification of four-circulant singly even self-dual [60, 30, d] codes for \(d=10\) and 12. These codes are used to construct extremal singly even self-dual [60, 30, 12] codes with weight enumerator for which no extremal singly even self-dual code was previously known to exist. From extremal singly even self-dual [60, 30, 12] codes, we also construct optimal singly even self-dual [58, 29, 10] codes with weight enumerator for which no optimal singly even self-dual code was previously known to exist. Finally, we give some restriction on the possible weight enumerators of certain singly even self-dual codes with shadow of minimum weight 1.     

Classification of Extremal Double Circulant Self-Dual Codes of Lengths 64 to 72

Recently extremal double circulant self-dual codes have been classified for lengths n ≤ 62. In this paper, a complete classification of extremal double circulant self-dual codes of lengths 64 to 72 is presented. Almost all of the extremal double circulant singly-even codes given have weight enumerators for which extremal codes were not previously known to exist.     

Classification of extremal double circulant self-dual codes of lengths 74-88

A classification of all extremal double circulant self-dual codes of lengths up to 72 is known. In this paper, we give a classification of all extremal double circulant self-dual codes of lengths 74-88.     

On the classification of extremal doubly even self-dual codes with 2-transitive automorphism groups

In this note, we complete the classification of extremal doubly even self-dual codes with 2-transitive automorphism groups.     

The nonexistence of near-extremal formally self-dual codes

A code is called formally self-dual if and have the same weight enumerators. There are four types of nontrivial divisible formally self-dual codes over , and . These codes are called extremal if their minimum distances achieve the Mallows-Sloane bound. S. Zhang gave possible lengths for which extremal self-dual codes do not exist. In this paper, we define near-extremal formally self-dual (f.s.d.) codes. With Zhang’s systematic approach, we determine possible lengths for which the four types of near-extremal formally self-dual codes as well as the two types of near-extremal formally self-dual additive codes cannot exist. In particular, our result on the nonexistence of near-extremal binary f.s.d. even codes of any even length n completes all the cases since only the case 8|n was dealt with by Han and Lee.      

Extremal self-dual codes of length 64 through neighbors and covering radii

We construct extremal singly even self-dual [64,32,12] codes with weight enumerators which were not known to be attainable. In particular, we find some codes whose shadows have minimum weight 12. By considering their doubly even neighbors, extremal doubly even self-dual [64,32,12] codes with covering radius 12 are constructed for the first time.     

A complete classification of ternary self-dual codes of length 24

Ternary self-dual codes have been classified for lengths up to 20. At length 24, a classification of only extremal self-dual codes is known. In this paper, we give a complete classification of ternary self-dual codes of length 24 using the classification of 24-dimensional odd unimodular lattices.     

The binary extremal self-dual codes of lengths 38 and 40

We classify the extremal self-dual codes of lengths 38 or 40 having an automorphism of order 3 with six independent 3-cycles, 10 independent 3-cycles, or 12 independent 3-cycles. In this way we complete the classification of binary extremal self-dual codes of length up to 48 having automorphism of odd prime order.     

\mathbb{Z }_2\mathbb{Z }_4-Additive formally self-dual codes

We study odd and even \(\mathbb{Z }_2\mathbb{Z }_4\) formally self-dual codes. The images of these codes are binary codes whose weight enumerators are that of a formally self-dual code but may not be linear. Three constructions are given for formally self-dual codes and existence theorems are given for codes of each type defined in the paper.     

On the Covering Radius of Ternary Extremal Self-Dual Codes

In this paper, we investigate the covering radius of ternary extremal self-dual codes. The covering radii of all ternary extremal self-dual codes of lengths up to 20 were previously known. The complete coset weight distributions of the two inequivalent extremal self-dual codes of length 24 are determined. As a consequence, it is shown that every extremal ternary self-dual code of length up to 24 has covering radius which meets the Delsarte bound. The first example of a ternary extremal self-dual code with covering radius which does not meet the Delsarte bound is also found. It is worth mentioning that the found code is of length 32.     

Orthogonal Designs and Type II Codes over ℤ2k

Symmetric designs are used to construct binary extremal self-dual codes and Hadamard matrices and weighing matrices are used to construct extremal ternary self-dual codes. In this paper, we consider orthogonal designs and related matrices to construct self-dual codes over a larger alphabet. As an example, a number of extremal Type II codes over _2k are constructed.     

On the classification of the extremal self-dual codes over small fields with 2-transitive automorphism groups

There are seven binary extremal self-dual doubly-even codes which are known to have a 2-transitive automorphism group. Using representation theoretical methods we show that there are no other such codes, except possibly for length n = 1024. We also classify all extremal ternary self-dual and quaternary Hermitian self-dual codes.     

2n Bordered constructions of self-dual codes from group rings

Self-dual codes, which are codes that are equal to their orthogonal, are a widely studied family of codes. Various techniques involving circulant matrices and matrices from group rings have been used to construct such codes. Moreover, families of rings have been used, together with a Gray map, to construct binary self-dual codes. In this paper, we introduce a new bordered construction over group rings for self-dual codes by combining many of the previously used techniques. The purpose of this is to construct self-dual codes that were missed using classical construction techniques by constructing self-dual codes with different automorphism groups. We apply the technique to codes over finite commutative Frobenius rings of characteristic 2 and several group rings and use these to construct interesting binary self-dual codes. In particular, we construct some extremal self-dual codes of length 64 and 68, constructing 30 new extremal self-dual codes of length 68.     

Weight Enumerators of Double Circulant Codes and New Extremal Self-Dual Codes

In this paper it is shown that the weight enumerator of a bordered double circulant self-dual code can be obtained from those of a pure double circulant self-dual code and its shadow through a relationship between bordered and pure double circulant codes. As applications, a restriction on the weight enumerators of some extremal double circulant codes is determined and a uniqueness proof of extremal double circulant self-dual codes of length 46 is given. New extremal singly-even [44,22,8] double circulant codes are constructed. These codes have weight enumerators for which extremal codes were not previously known to exist.     

Extremal Ternary Self-Dual Codes Constructed from Negacirculant Matrices

In this paper, a construction of ternary self-dual codes based on negacirculant matrices is given. As an application, we construct new extremal ternary self-dual codes of lengths 32, 40, 44, 52 and 56. Our approach regenerates all the known extremal self-dual codes of lengths 36, 48, 52 and 64. New extremal ternary quasi-twisted self-dual codes are also constructed. Supported by an NSERC discovery grant and a RTI grant. Supported by an NSERC discovery grant and a RTI grant. A summer student Chinook Scholarship is greatly appreciated.