arXiv++ Combinatorics

We classify the maximal $m$-distance sets in $\mathbb{R}^{n-1}$ which contain the representation of the Johnson graph $J(n, m)$ for $m = 2, 3$. Furthermore, we determine the necessary and sufficient condition for $n$ and $m$ such that the representation of the Johnson graph $J(n, m)$ is not maximal as an $m$-distance set. Also, we classify the maximal two-distance sets in $\mathbb{R}^{n-1}$ which contain the representation of $J(n - 1, 2)$.

We give a new example of Euclidean tight 6-design in $\mathbb R^{22}$.

We give classifications of integral lattices which include the Barnes-Wall lattice $BW_{16}$ or laminated lattices of dimension $1 \leqslant d \leqslant 8$ and of minimum 4. Also, we give certain lattice neighboring from each lattice. Furthermore, we study spherical designs and the other properties.

A set of vectors all of which have a constant (non-zero) norm value in an Euclidean lattice is called a shell of the lattice. Venkov classified strongly perfect lattices of minimum 3 (Réseaux et "designs" sphérique, 2001), whose minimal shell is a spherical 5-design. This note considers the classification of integral lattices whose shells of norm 3 are 5-designs.

An integral lattice which is generated by some vectors of norm $q$ is called $q$-lattice. Classification of 3-lattices of dimension at most four is given by Mimura (On 3-lattice, 2006). As a expansion, we give a classification of 3-lattices of dimension at most seven. In addition, we consider the spherical designs from its shells.

We want to introduce a construction of spherical designs from finite graphs with the theory of crystal lattice. We start from a finite graph, and we consider standard realization of the crystal lattices as the maximal Abelian covering of the graph. Then, we take the set of vectors which form the crystal lattice. If every vector has the same norm, then we can consider a finite set on Euclidean sphere, and then we get a spherical design. In this paper, we observe the results by numerical calculations. We tried constructing vectors from various finite graphs, strongly regular graphs, distance regular graphs, and so on. We also introduce some facts and conjectures.