Abstract
This paper inquires into the concavity of the map N↦vs(N) from the integers N≥2 into the minimal average standardized Riesz pair-energies vs(N) of N-point configurations on the sphere S2 for various s∈R. The standardized Riesz pair-energy of a pair of points on S2 a chordal distance r apart is Vs(r)=s-1r-s-1, s≠0, which becomes V0(r)=ln1r in the limit s→0. Averaging it over the N2 distinct pairs in a configuration and minimizing over all possible N-point configurations defines vs(N). It is known that N↦vs(N) is strictly increasing for each s∈R, and for s<2 also bounded above, thus "overall concave." It is (easily) proved that N↦v-2(N) is even locally strictly concave, and that so is the map 2n↦vs(2n) for s<-2. By analyzing computer-experimental data of putatively minimal average Riesz pair-energies vsx(N) for s∈{-1,0,1,2,3} and N∈{2,…,200}, it is found that the map N↦v-1x(N) is locally strictly concave, while N↦vsx(N) is not always locally strictly concave for s∈{0,1,2,3}: concavity defects occur whenever N∈C+x(s) (an s-specific empirical set of integers). It is found that the empirical map s↦C+x(s),s∈{-2,-1,0,1,2,3}, is set-theoretically increasing; moreover, the percentage of odd numbers in C+x(s),s∈{0,1,2,3} is found to increase with s. The integers in C+x(0) are few and far between, forming a curious sequence of numbers, reminiscent of the "magic numbers" in nuclear physics. It is conjectured that these new "magic numbers" are associated with optimally symmetric optimal-log-energy N-point configurations on S2. A list of interesting open problems is extracted from the empirical findings, and some rigorous first steps toward their solutions are presented. It is emphasized how concavity can assist in the solution to Smale's 7th Problem, which asks for an efficient algorithm to find near-optimal N-point configurations on S2 and higher-dimensional spheres.