11,980 research outputs found
Conformal Designs based on Vertex Operator Algebras
We introduce the notion of a conformal design based on a vertex operator
algebra. This notation is a natural analog of the notion of block designs or
spherical designs when the elements of the design are based on self-orthogonal
binary codes or integral lattices, respectively. It is shown that the subspaces
of fixed degree of an extremal self-dual vertex operator algebra form conformal
11-, 7-, or 3-designs, generalizing similar results of Assmus-Mattson and
Venkov for extremal doubly-even codes and extremal even lattices. Other
examples are coming from group actions on vertex operator algebras, the case
studied first by Matsuo. The classification of conformal 6- and 8-designs is
investigated. Again, our results are analogous to similar results for codes and
lattices.Comment: 35 pages with 1 table, LaTe
Self-Dual Codes
Self-dual codes are important because many of the best codes known are of
this type and they have a rich mathematical theory. Topics covered in this
survey include codes over F_2, F_3, F_4, F_q, Z_4, Z_m, shadow codes, weight
enumerators, Gleason-Pierce theorem, invariant theory, Gleason theorems,
bounds, mass formulae, enumeration, extremal codes, open problems. There is a
comprehensive bibliography.Comment: 136 page
The invariants of the Clifford groups
The automorphism group of the Barnes-Wall lattice L_m in dimension 2^m (m not
3) is a subgroup of index 2 in a certain ``Clifford group'' C_m (an
extraspecial group of order 2^(1+2m) extended by an orthogonal group). This
group and its complex analogue CC_m have arisen in recent years in connection
with the construction of orthogonal spreads, Kerdock sets, packings in
Grassmannian spaces, quantum codes, Siegel modular forms and spherical designs.
In this paper we give a simpler proof of Runge's 1996 result that the space
of invariants for C_m of degree 2k is spanned by the complete weight
enumerators of the codes obtained by tensoring binary self-dual codes of length
2k with the field GF(2^m); these are a basis if m >= k-1. We also give new
constructions for L_m and C_m: let M be the Z[sqrt(2)]-lattice with Gram matrix
[2, sqrt(2); sqrt(2), 2]. Then L_m is the rational part of the mth tensor power
of M, and C_m is the automorphism group of this tensor power. Also, if C is a
binary self-dual code not generated by vectors of weight 2, then C_m is
precisely the automorphism group of the complete weight enumerator of the
tensor product of C and GF(2^m). There are analogues of all these results for
the complex group CC_m, with ``doubly-even self-dual code'' instead of
``self-dual code''.Comment: Latex, 24 pages. Many small improvement
Almost simple groups with socle acting on Steiner quadruple systems
Let , {}, a prime power, be a projective linear
simple group. We classify all Steiner quadruple systems admitting a group
with N \leq G \leq \Aut(N). In particular, we show that cannot act as a
group of automorphisms on any Steiner quadruple system for .Comment: 5 pages; to appear in: "Journal of Combinatorial Theory, Series A
- …