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.     

On the classification and enumeration of self-dual codes

A complete classification is given of all [22, 11] and [24, 12] binary self-dual codes. For each code we give the order of its group, the number of codes equivalent to it, and its weight distribution. There is a unique [24, 12, 6] self-dual code. Several theorems on the enumeration of self-dual codes are used, including formulas for the number of such codes with minimum distance ? 4, and for the sum of the weight enumerators of all such codes of length n. Selforthogonal codes which are generated by code words of weight 4 are completely characterized.     

Binary self-dual codes with automorphisms of order 23

The only example of a binary doubly-even self-dual [120,60,20] code was found in 2005 by Gaborit et al. (IEEE Trans Inform theory 51, 402–407 2005). In this work we present 25 new binary doubly-even self-dual [120,60,20] codes having an automorphism of order 23. Moreover we list 7 self-dual [116,58,18] codes, 30 singly-even self-dual [96,48,16] codes and 20 extremal self-dual [92,46,16] codes. All codes are new and present different weight enumerators.      

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.     

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.     

Cocyclic Codes of Length 40

There are 5 groups of order 20. This paper reports on the search for binary self-dual codes of length 40, cocyclic over any one of the first four groups, using cocyclic Hadamard matrices and the [I, A] construction. The fifth group is not investigated here. A total of 28 classes of extremal cocyclic self-dual codes were found—27 of these are doubly-even and one singly-even. The majority of these classes arise from the dihedral-cocyclic Hadamard matrices. There is also a class of dihedral-cocyclic Hadamard matrices which gives a large collection of [40, 20] codes with only one codeword of length 4.     

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     

2-(31,15,7), 2-(35,17,8) and 2-(36,15,6) designs with automorphisms of odd prime order,and their related Hadamard matrices and codes

We present the full classification of Hadamard 2-(31,15,7), Hadamard 2-(35, 17,8) and Menon 2-(36,15,6) designs with automorphisms of odd prime order. We also give partial classifications of such designs with automorphisms of order 2. These classifications lead to related Hadamard matrices and self-dual codes. We found 76166 Hadamard matrices of order 32 and 38332 Hadamard matrices of order 36, arising from the classified designs. Remarkably, all constructed Hadamard matrices of order 36 are Hadamard equivalent to a regular Hadamard matrix. From our constructed designs, we obtained 37352 doubly-even [72,36,12] codes, which are the best known self-dual codes of this length until now.      

Nonexistence of near-extremal formally self-dual even codes of length divisible by 8

It is a well-known fact that if C is an [n,k,d] formally self-dual even code with n>30, then d?2[n/8]. A formally self-dual (f.s.d.) even code with d=2[n/8] is called near-extremal. Kim and Pless [A note on formally self-dual even codes of length divisible by 8, Finite Fields Appl., available online 13 October 2005.] conjecture that there does not exist a near-extremal f.s.d. (not Type II) code of length n?48 with 8|n. In this paper, we prove that if n?72 and 8|n, then there is no near-extremal f.s.d. even code. This result comes from the negative coefficients of weight enumerators. In addition, we introduce shadow transform in near-extremal f.s.d. even codes. Using this we present some results about the nonexistence of near-extremal f.s.d. even codes with n=48,64.     

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.     

On binary self-dual codes of lengths 60, 62, 64 and 66 having an automorphism of order 9

A method for constructing binary self-dual codes having an automorphism of order p ² for an odd prime p is presented in (S. Bouyuklieva et al. IEEE. Trans. Inform. Theory, 51, 3678–3686, 2005). Using this method, we investigate the optimal self-dual codes of lengths 60 ≤ n ≤ 66 having an automorphism of order 9 with six 9-cycles, t cycles of length 3 and f fixed points. We classify all self-dual [60,30,12] and [62,31,12] codes possessing such an automorphism, and we construct many doubly-even [64,32,12] and singly-even [66,33,12] codes. Some of the constructed codes of lengths 62 and 66 are with weight enumerators for which the existence of codes was not known until now.      

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.     

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     

New constructions of optimal self-dual binary codes of length 54

The quaternary Hermitian self-dual [18,9,6]₄ codes are classified and used to construct new binary self-dual [54,27,10]₂ codes. All self-dual [54,27,10]₂ codes obtained have automorphisms of order 3, and six of their weight enumerators have not been previously encountered.      

<Emphasis Type="Italic">G</Emphasis>-projectable and Λ-projectable binary linear block codes

The binary [24,12,8] Golay code has projection O onto the quaternary [6,3,4] hexacode [9] and the [32,16,8] Reed-Muller code has projection E onto the quaternary self-dual [8,4,4] code [6]. Projection E was extended to projection G in [8]. In this paper we introduce a projection, to be called projection Λ, that covers projections O, E and G. We characterise G-projectable self-dual codes and Λ-projectable codes. Explicit methods for constructing codes having G and Λ projections are given and several so constructed codes that have best known optimal parameters are introduced.      

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     

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.     

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.     

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.     

Trellis Structure and Higher Weights of Extremal Self-Dual Codes

A method for demonstrating and enumerating uniformly efficient (permutation-optimal) trellis decoders for self-dual codes of high minimum distance is developed. Such decoders and corresponding permutations are known for relatively few codes.The task of finding such permutations is shown to be substantially simplifiable in the case of self-dual codes in general, and for self-dual codes of sufficiently high minimum distance it is shown that it is frequently possible to deduce the existence of these permutations directly from the parameters of the code.A new and tighter link between generalized Hamming weights and trellis representations is demonstrated: for some self-dual codes, knowledge of one of the generalized Hamming weights is sufficient to determine the entire optimal state complexity profile.These results are used to characterize the permutation-optimal trellises and generalized Hamming weights for all [32,16,8] binary self-dual codes and for several other codes. The numbers of uniformly efficient permutations for several codes, including the [24,12,8] Golay code and both [24,12,9] ternary self-dual codes, are found.