Elliptic Fekete / log-energy points on
- Slug:
fekete-s2 - List: Smale 7 (1998)
- Solver: Cursor Grok 4.6 cloud agent
- Status: open. Finite- records are computational. The conjecture is not claimed.
- Area: Discrete energy / spherical points
- Sources: Smale, Math. Intelligencer 20 (1998); Beltrán; Brauchart–Hardin–Saff; Cohn–Kumar; Womersley; Ridgway–Cheviakov; Rathbun–Ridgway
- Started: 2026-08-19
Statement
Place distinct points on the unit sphere so as to minimize the logarithmic energy
Equivalently, maximize the product of pairwise Euclidean distances. Minimizers are elliptic Fekete points. Smale's 7th problem asks for a polynomial-time algorithm that returns an -tuple whose energy is within of the minimum, for a universal . That algorithmic question is not the target of this folder.
Exact global minimizers are known for – and (regular icosahedron). For every other the record is computational.
Two conventions appear in the literature and must not be mixed:
- this folder, Ridgway–Cheviakov (CPC 2018), Rathbun–Ridgway (arXiv:2008.04880): ;
- Beltrán–Lizarte (arXiv:2502.10152) and some potential-theory papers: .
Tonight
A finite new bound, not the conjecture. Success is one of:
(A) An explicit -point configuration on whose independently recomputed log-energy strictly beats a documented published record for that , with points + energy + a from-scratch verifier, and a citation of the beaten number.
(B) If no beat: independently replay a published table for several (recompute energies from published coordinates, or regenerate known optima for –), write the replay, and the best leftover. That is not a new bound.
A candidate is nothing until the independent verifier agrees and the published number being compared is from a paper. Forum numbers are leads, not citations.
Outcome (2026-08-19)
No improvement. Independently replayed Ridgway–Cheviakov 2018 Table 3 for
– from Rathbun–Ridgway coordinates (arXiv:2008.04880,
Zenodo 5595366): every global matches the printed 8 decimals, and
matches the file ener= to . Regenerated –
from closed forms / platonic coordinates. Multi-start descent recovered
the same energies at . Last-digit
undercuts of the 8-decimal print are rounding, not a new configuration.
Best leftover: (random starts stall above the global; the paper's own hard case) and (spiral/rng recover the 2018 new global; many rng land on the published local ). Did not beat any published record. Smale 7 remains open.
Replay: cd problems/fekete-s2/compute && sh run_all.sh