Skip to content
DraconiticResearch
Search Sources API
197,785 studies31 sourcesUpdated 32 min ago
PreprintCC BY 4.0arXiv

Energy minimization for eight points on the sphere

  • Liudmyla Kryvonos
  • Lukas Liehr
  • Mitchell A. Taylor
Open at sourcePDFDOICite

Abstract

We study the energy minimization problem for eight points on the unit sphere. For the logarithmic and Coulomb energies, we show that the unique global minimizer up to congruence is a square antiprism with height characterized by a unique stationarity equation. The proof is computer-assisted and fully verified in Lean. After this, we consider generalizations of the result to other important energies. For the Riesz s-energies, we provide a Lean-verified, non-computer-assisted proof that the square antiprism with height depending on s is the unique global minimizer for all sufficiently large s, and a computer-assisted proof that this in fact holds for all s≥ 0. We also give examples of energies arising from completely monotonic potentials for which the square antiprism is not a global minimizer, answering in the negative a universality question of Cohn and Woo.

Related

  1. The Constant in Thomae-Type Formulas for Eight Points on the Complex Projective Line
    Ryunosuke Nakano
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  2. Nucleation and propagation of brittle fracture as a constrained energy minimization problem
    Oscar Lopez-Pamies, Farhad Kamarei, Gilles A. Francfort +1
    arXivPreprintCC BY-NC-ND 4.0Full textMathematical physicsCondensed matterarXiv
  3. A Counterexample to the Exact Eight-Point Angular-Energy Conjecture
    Jinze Zhao
    arXivPreprintarXiv licenceFull textOptimisation & controlarXiv
  4. Stability of least-energy solutions of the harmonic map flow from the plane into the 2-sphere
    Juan Davila, Eliott Van Steirteghem
    arXivPreprintCC BY 4.0Full textAnalysis & PDEsarXiv
  5. The Pearl ensemble and the logarithmic energy on the Sphere
    Bianca Gariboldi, Giacomo Gigante
    arXivPreprintCC BY-NC-ND 4.0Full textAnalysis & PDEsarXiv

Cite

BibTeXRIS
BibTeX
@misc{kryvonos2026energy,
  title = {{Energy minimization for eight points on the sphere}},
  author = {Liudmyla Kryvonos and Lukas Liehr and Mitchell A. Taylor},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.22077},
  eprint = {2609.22077},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.22077},
  note = {CC BY 4.0},
}
RIS
TY  - UNPB
TI  - Energy minimization for eight points on the sphere
AU  - Liudmyla Kryvonos
AU  - Lukas Liehr
AU  - Mitchell A. Taylor
PY  - 2026
DA  - 2026/09/18
PB  - arXiv
DO  - 10.48550/arxiv.2609.22077
UR  - https://arxiv.org/abs/2609.22077
AB  - We study the energy minimization problem for eight points on the unit sphere. For the logarithmic and Coulomb energies, we show that the unique global minimizer up to congruence is a square antiprism with height characterized by a unique stationarity equation. The proof is computer-assisted and fully verified in Lean. After this, we consider generalizations of the result to other important energies. For the Riesz s-energies, we provide a Lean-verified, non-computer-assisted proof that the square antiprism with height depending on s is the unique global minimizer for all sufficiently large s, and a computer-assisted proof that this in fact holds for all s≥ 0. We also give examples of energies arising from completely monotonic potentials for which the square antiprism is not a global minimizer, answering in the negative a universality question of Cohn and Woo.
ER  -