Experimental study of energy-minimizing point configurations on spheres

In this paper we report on massive computer experiments aimed at finding spherical point configurations that minimize potential energy. We present experimental evidence for two new universal optima (consisting of 40 points in 10 dimensions and 64 points in 14 dimensions), as well as evidence that there are no others with at most 64 points. We also describe several other new polytopes, and we present new geometrical descriptions of some of the known universal optima.Comment: 41 pages, 12 figures, to appear in Experimental Mathematic

New characterisations of the Nordstrom–Robinson codes

In his doctoral thesis, Snover proved that any binary $(m,256,\delta)$ code is equivalent to the Nordstrom-Robinson code or the punctured Nordstrom-Robinson code for $(m,\delta)=(16,6)$ or $(15,5)$ respectively. We prove that these codes are also characterised as \emph{completely regular} binary codes with $(m,\delta)=(16,6)$ or $(15,5)$, and moreover, that they are \emph{completely transitive}. Also, it is known that completely transitive codes are necessarily completely regular, but whether the converse holds has up to now been an open question. We answer this by proving that certain completely regular codes are not completely transitive, namely, the (Punctured) Preparata codes other than the (Punctured) Nordstrom-Robinson code

Uniformity in association schemes and coherent configurations: cometric Q-antipodal schemes and linked systems

Inspired by some intriguing examples, we study uniform association schemes and uniform coherent configurations, including cometric Q-antipodal association schemes. After a review of imprimitivity, we show that an imprimitive association scheme is uniform if and only if it is dismantlable, and we cast these schemes in the broader context of certain --- uniform --- coherent configurations. We also give a third characterization of uniform schemes in terms of the Krein parameters, and derive information on the primitive idempotents of such a scheme. In the second half of the paper, we apply these results to cometric association schemes. We show that each such scheme is uniform if and only if it is Q-antipodal, and derive results on the parameters of the subschemes and dismantled schemes of cometric Q-antipodal schemes. We revisit the correspondence between uniform indecomposable three-class schemes and linked systems of symmetric designs, and show that these are cometric Q-antipodal. We obtain a characterization of cometric Q-antipodal four-class schemes in terms of only a few parameters, and show that any strongly regular graph with a ("non-exceptional") strongly regular decomposition gives rise to such a scheme. Hemisystems in generalized quadrangles provide interesting examples of such decompositions. We finish with a short discussion of five-class schemes as well as a list of all feasible parameter sets for cometric Q-antipodal four-class schemes with at most six fibres and fibre size at most 2000, and describe the known examples. Most of these examples are related to groups, codes, and geometries.Comment: 42 pages, 1 figure, 1 table. Published version, minor revisions, April 201

Characterisation of a family of neighbour transitive codes

We consider codes of length $m$ over an alphabet of size $q$ as subsets of the vertex set of the Hamming graph $\Gamma=H(m,q)$. A code for which there exists an automorphism group $X\leq Aut(\Gamma)$ that acts transitively on the code and on its set of neighbours is said to be neighbour transitive, and were introduced by the authors as a group theoretic analogue to the assumption that single errors are equally likely over a noisy channel. Examples of neighbour transitive codes include the Hamming codes, various Golay codes, certain Hadamard codes, the Nordstrom Robinson codes, certain permutation codes and frequency permutation arrays, which have connections with powerline communication, and also completely transitive codes, a subfamily of completely regular codes, which themselves have attracted a lot of interest. It is known that for any neighbour transitive code with minimum distance at least 3 there exists a subgroup of $X$ that has a $2$-transitive action on the alphabet over which the code is defined. Therefore, by Burnside's theorem, this action is of almost simple or affine type. If the action is of almost simple type, we say the code is alphabet almost simple neighbour transitive. In this paper we characterise a family of neighbour transitive codes, in particular, the alphabet almost simple neighbour transitive codes with minimum distance at least $3$, and for which the group $X$ has a non-trivial intersection with the base group of $Aut(\Gamma)$. If $C$ is such a code, we show that, up to equivalence, there exists a subcode $\Delta$ that can be completely described, and that either $C=\Delta$, or $\Delta$ is a neighbour transitive frequency permutation array and $C$ is the disjoint union of $X$-translates of $\Delta$. We also prove that any finite group can be identified in a natural way with a neighbour transitive code.Comment: 30 Page