On lattices whose minimal vectors form a 6-design (Q1011514)

In 1977, \textit{P. Delsarte}, \textit{J.M. Goethals} and \textit{J.J. Seidel} [Geom. Dedicata 6, 363--388 (1977; Zbl 0376.05015)] introduced pherical designs, which were extensively studied by Bannai. A Spherical t-design is a finite subset \(X\) of the sphere such that every polynomial on \(R_n\) of total degree at most t has the same average over \(X\) as over the entire sphere. The theory of lattices has been used quite successfully to classify good designs of minimal possible cardinality. It is interesting that the authors use the theory of designs to construct good lattices here. A t-design is a lattice \(\Lambda\) in Euclidean space such that its minimal vectors \(\text{Min}(\Lambda) := \{\lambda \in \Lambda \mid (\lambda,\lambda) = \min(\Lambda) \}\) form a spherical design and generate the lattice \(\Lambda\). A \(t\)-design-lattice is also \(t'\)-design-lattice for all \(t' \leq t\). The 4-design-lattices are exactly the strongly perfect lattices that are generated by their minimal vectors, which are classified up to dimension 12. The authors establish, for the 6-design lattices of dimension \(23 \neq n \leq 24\), the theorem: Let \(t \geq 6\), be even and let \(\Lambda\) be a \(t\)-design-lattice of dimension \(n \leq 24\), then one of the following holds: {\parindent=5mm \begin{itemize}\item[a)]\(n = 1\), and \(\Lambda\) is similar to \(\mathbf Z\), \item[b)]when \(n = 8, \Lambda\) is similar to the root lattice of \(E_8\) and \(t = 6\), \item[c)]\(n = 16\), and \(\Lambda\) is similar to Barnes-Wall lattice \(BW_{16}\) and \(t =6\), \item[d)]\(n = 23, t = 6\). In this dimension there are at least two 6-design-lattices, namely the shorter Leech, \item[e)]\(n = 24\), and \(\Lambda\) is similar to Leech Lattice \(\Lambda_{24}\) and \(t \leq 10\). \end{itemize}} The open problem that remained is that whether there are t-design-lattice for \(t \leq 10\).