Self-Orthogonal 3-(56,12,65) Designs and Extremal Doubly-Even Self-Dual Codes of Length 56

In this paper, we show that the code generated by the rows of a block-point incidence matrix of a self-orthogonal 3-(56,12,65) design is a doubly-even self-dual code of length 56. As a consequence, it is shown that an extremal doubly-even self-dual code of length 56 is generated by the codewords of minimum weight. We also demonstrate that there are more than one thousand inequivalent extremal doubly-even self-dual [56,28,12] codes. This result shows that there are more than one thousand non-isomorphic self-orthogonal 3-(56,12,65) designs. AMS Classification: 94B05, 05B05     

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.     

On Harmonic Weight Enumerators of Binary Codes

We define some new polynomials associated to a linear binary code and a harmonic function of degree k. The case k=0 is the usual weight enumerator of the code. When divided by (xy) ^k , they satisfy a MacWilliams type equality. When applied to certain harmonic functions constructed from Hahn polynomials, they can compute some information on the intersection numbers of the code. As an application, we classify the extremal even formally self-dual codes of length 12.     

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     

Extremal Self-Dual [50, 25, 10] Codes with Automorphisms of Order 3 and Quasi-Symmetric 2-(49, 9,6) Designs

Five non-isomorphic quasi-symmetric 2-(49, 9, 6) designs are known. They arise from extremal self-dual [50, 25, 10] codes with a certain weight enumerator. Four of them have an automorphism of order 3 fixing two points. In this paper, it is shown that there are exactly 48 inequivalent extremal self-dual [50, 25, 10] code with this weight enumerator and an automorphism of order 3 fixing two points. 44 new quasi-symmetric 2-(49, 9, 6) designs with an automorphism of order 3 are constructed from these codes.     

The extremal codes of lengths 76 with an automorphism of order 19

We find all extremal [76,38,14] binary self-dual codes having automorphism of order 19. There are three inequivalent such codes. One of them was previously known. The other two are new. These codes are the shortest known self-dual codes of minimal weight 14 as well as the best-known linear codes of that length and dimension.     

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.     

Existence of New Extremal Doubly-Even Codes and Extremal Singly-Even Codes

Recently the author and Kimura have considered a construction of doubly-even codes from a given doubly-even code. In this note, we show that the restricutoion of doubly-even can be removed in the above construction. As an application, at least 137 inequivalent extremal doubly-even [56,28,12] codes and at least 1000 inequivalent extremal doubly-even [40,20,8] codes are constructed from known self-dual codes. The existence of new extremal singly-even codes is also described.     

Self-Dual [24, 12, 8] Quaternary Codes with a Nontrivial Automorphism of Order 3

All (Hermitian) self-dual [24, 12, 8] quaternary codes which have a non-trivial automorphism of order 3 are obtained up to equivalence. There exist exactly 205 inequivalent such codes. The codes under consideration are optimal, self-dual, and have the highest possible minimum distance for this length.     

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.     

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.     

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.     

Classification of Extremal Formally Self-Dual Even Codes of Length 22

 Lengths 22 and 30 are so far the only open cases in the classification of extremal formally self-dual even codes. In this paper, a classification of the extremal formally self-dual even codes of length 22 is given. There are 41520 such codes.A variety of properties of these codes are investigated. In particular, new 2-(22, 6, 5) designs are constructed from the codes. Received: February 9, 2000     

Binary Optimal Odd Formally Self-Dual Codes

In this paper, we study binary optimal odd formallyself-dual codes. All optimal odd formally self-dual codes areclassified for length up to 16. The highest minimum weight ofany odd formally self-dual codes of length up to 24 is determined. We also show that there is a unique linearcode for parameters [16, 8, 5] and [22, 11, 7], up to equivalence.     

New Extremal Type I Codes of Lengths 40, 42, and 44

It is known that it is possible to construct a generator matrix for a self-dual code of length 2n+2 from a generator matrix of a self-dual code of length 2n. With the aid of a computer, we construct new extremal Type I codes of lengths 40, 42, and 44 from extremal self-dual codes of lengths 38, 40, and 42 respectively. Among them are seven extremal Type I codes of length 44 whose weight enumerator is 1+224y ⁸+872y ¹⁰+·. A Type I code of length 44 with this weight enumerator was not known to exist previously.     

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.     

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.     

New extremal doubly-even [64, 32, 12] codes

In this paper, we consider a general construction of doubly-even self-dual codes. From three symmetric 2-(31, 10, 3) designs, we construct at least 3228 inequivalent extremal doubly-even [64, 32, 12] codes. These codes are distinguished by their K-matrices.     

Classification of Hadamard matrices of order 44 with automorphisms of order 7

The Hadamard matrices of order 44 possessing automorphisms of order 7 are classified. The number of their equivalence classes is 384. The order of their full automorphism group is calculated. These Hadamard matrices yield 1683 nonisomorphic 3-(44,22,10) designs, 57932 nonisomorphic 2-(43,21,10) designs, and two inequivalent extremal binary self-dual doubly even codes of length 88 (one of them being new).