Rationality of the inner products of spherical $s$-distance $t$-designs for $t\ge 2s-2$, $s\ge 3$

Abstract

We prove that the inner products of spherical $s$-distance $t$-designs with $t\ge 2s-2$ (Delsarte codes) and $s\ge 3$ are rational with the only exception being the icosahedron. In other formulations, we prove that all sharp configurations have rational inner products and all spherical codes which attain the Levenshtein bound, have rational inner products, except for the icosahedron.

10 pages