Universal optimality of $T$-avoiding spherical codes and designs
For mathematicians studying spherical codes and designs, this work extends universal optimality to a new restricted class of codes, though the results are incremental as they build on known structures.
The paper introduces T-avoiding spherical codes and designs, proving that certain codes from the Leech lattice, Barnes-Wall lattice, and strongly regular graphs are universally optimal within their restricted class, and also achieve maximal cardinality for given dimension and minimum distance in some cases.
Given an open set $T\subset [-1,1)$, we introduce the concepts of $T$-avoiding spherical codes and designs, that is, spherical codes that have no inner products in the set $T$. We show that certain codes found in the minimal vectors of the Leech lattice, as well as the minimal vectors of the Barnes--Wall lattice and codes derived from strongly regular graphs, are universally optimal in the restricted class of $T$-avoiding codes. We also extend a result of Delsarte--Goethals--Seidel about codes with three inner products $α, β, γ$ (in our terminology $(α,β)$-avoiding $γ$-codes). Parallel to the notion of tight spherical designs, we also derive that these codes are minimal (tight) $T$-avoiding spherical designs of fixed dimension and strength. In some cases, we also find that codes under consideration have maximal cardinality in their $T$-avoiding class for given dimension and minimum distance.