On a 5-design related to an extremal doubly even self-dual code of length 72

It is shown that if there is a self-orthogonal 5-(72,16,78) design, then the rows of its block-point incidence matrix generate an extremal doubly even self-dual code of length 72. In other words, a putative extremal doubly even self-dual code of length 72 is generated by the codewords of minimum weight.

[1]  H. Mattson,et al.  New 5-designs , 1969 .

[2]  N. J. A. Sloane.  Is there a (72, 36) d = 16 self-dual code? (Corresp.) , 1973, IEEE Trans. Inf. Theory.

[3]  E. M. Rains,et al.  Self-Dual Codes , 2002, math/0208001.

[4]  VLADIMIR D. TONCHEV,et al.  A characterization of designs related to dodecads in the witt system S(5, 8, 24) , 1986, J. Comb. Theory, Ser. A.

[5]  N. J. A. Sloane,et al.  An Upper Bound for Self-Dual Codes , 1973, Inf. Control..