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

Abstract

We prove that the inner products of spherical $s$-distance $t$-designs with $t \geq 2s-2$ (Delsarte codes) and $s \geq 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.