arXiv++ Combinatorics

Universal bounds for the potential energy of weighted spherical codes are obtained by linear programming. The universality is in the sense of Cohn-Kumar -- every attaining code is optimal with respect to a large class of potential functions (absolutely monotone), in the sense of Levenshtein -- there is a bound for every weighted code, and in the sense of parameters (nodes and weights) -- they are independent of the potential function. We derive a necessary condition for optimality (in the linear programming framework) of our lower bounds which is also shown to be sufficient when the potential is strictly absolutely monotone. Bounds are also obtained for the weighted energy of weighted spherical designs. We explore our bounds for several previously studied weighted spherical codes.

We find the set of all universal minimum points of the potential of the $16$-point sharp code on $S^4$ and (more generally) of the demihypercube on $S^d$, $d\geq 5$, as well as of the $2_{41}$ polytope on $S^7$. We also extend known results on universal minima of three sharp configurations on $S^{20}$ and $S^{21}$ containing no antipodal pair to their symmetrizations about the origin. Finally, we prove certain general properties of spherical $(2m-1)$-designs contained in as few as $m$ parallel hyperplanes (all but one configuration considered here possess this property).

We use linear programming techniques to find points of absolute minimum over the unit sphere $S^{d}$ in $\mathbb R^{d+1}$ of the total potential of a point configuration $ω_N\subset S^{d}$ which is a spherical $(2m-1)$-design contained in the union of some $m$ parallel hyperplanes. The interaction between points is described by the kernel $K({\bf x},{\bf y})=f(\left|{\bf x}-{\bf y}\right|^2)$, where $\left|\ \!\cdot\ \!\right|$ is the Euclidean norm in $\mathbb R^{d+1}$. The potential function $f$ is assumed to have a convex derivative $f^{(2m-2)}$. Points of minimum do not depend on $f$ and are those and only those which form exactly $m$ distinct dot products with points of $ω_N$. The proof of this theorem was presented at a workshop at ESI in January 2022. Using this result, we find sets of universal minima of certain six configurations on higher-dimensional spheres.