arXiv++ Combinatorics

The binary Type~I self-dual [26,13,6] code is classical. We give what appears to be the first direct non-computational proof of its uniqueness. We first determine the weight enumerators of the code and its shadow. Degree-one harmonic MacWilliams identities supply the required 1-designs. Elementary intersection counts then show that the two minimal half-shadows each contain 13 words; these words label the 26 coordinates as 13 points and 13 lines, and the two shadow classes become the point-stars and line-stars. From this structure we give two uniqueness proofs: one reconstructs the projective plane of order 3 and the plane code, including the full automorphism group PGL(3,3):2; the other deletes an intrinsic flag, obtains the odd Golay code together with a deep hole coset, and reconstructs the length 26 code and the size of the automorphism group from this coset datum. Thus the natural length-24 object behind the code is the odd Golay code together with its unique orbit of deep hole cosets.

We introduce self-dual codes over the Kleinian four group $K = \mathbb{Z}_2 \times \mathbb{Z}_2$ for a natural quadratic form on $K^n$ and develop the theory. Topics studied are: weight enumerators, mass formulas, classification up to length 8, neighbourhood graphs, extremal codes, shadows, generalized t-designs, lexicographic codes, the Hexacode and its odd and shorter cousin, automorphism groups, marked codes. Kleinian codes form a new and natural fourth step in a series of analogies between binary codes, lattices and vertex operator algebras. This analogy will be emphasized and explained in detail.