Universally optimal distribution of points on spheres

Abstract

We study configurations of points on the unit sphere that minimize potential energy for a broad class of potential functions (viewed as functions of the squared Euclidean distance between points). Call a configuration sharp if there are m distances between distinct points in it and it is a spherical (2m-1)-design. We prove that every sharp configuration minimizes potential energy for all completely monotonic potential functions. Examples include the minimal vectors of the E_8 and Leech lattices. We also prove the same result for the vertices of the 600-cell, which do not form a sharp configuration. For most known cases, we prove that they are the unique global minima for energy, as long as the potential function is strictly completely monotonic. For certain potential functions, some of these configurations were previously analyzed by Yudin, Kolushov, and Andreev; we build on their techniques. We also generalize our results to other compact two-point homogeneous spaces, and we conclude with an extension to Euclidean space.

50 pages

References in corpus (3)

• New upper bounds on sphere packings I
• New upper bounds on sphere packings II
• The densest lattice in twenty-four dimensions

Cited by in corpus (70)

• Jammed Hard-Particle Packings: From Kepler to Bernal and Beyond
• The sphere packing problem in dimension 8
• Hyperuniform long-range correlations are a signature of disordered jammed hard-particle packings
• More efficient Bell inequalities for Werner states
• Basic Understanding of Condensed Phases of Matter via Packing Models
• Distributing many points on spheres: minimal energy and designs
• Next Order Asymptotics and Renormalized Energy for Riesz Interactions
• Algorithmic design of self-assembling structures
• Minimization of the Probabilistic p-frame Potential
• Coulomb and Riesz gases: The known and the unknown
• Set coherence: basis-independent quantification of quantum coherence
• Reformulation of the Covering and Quantizer Problems as Ground States of Interacting Particles
• Optimal simplices and codes in projective spaces
• Enumerating rigid sphere packings
• Sphere packing bounds via spherical codes
• New Duality Relations for Classical Ground States
• Generalized Clauser-Horne-Shimony-Holt inequalities maximally violated by higher dimensional systems
• Ground states and formal duality relations in the Gaussian core model
• A simple Proof of Stolarsky's Invariance Principle
• Quasi-Monte Carlo rules for numerical integration over the unit sphere ${\mathbb{S}}^2$
• Self Assembled Clusters of Spheres Related to Spherical Codes
• Periodic Discrete Energy for Long-Range Potentials
• Energy minimization, periodic sets and spherical designs
• Association schemes related to universally optimal configurations, Kerdock codes and extremal Euclidean line-sets
• Three-point bounds for energy minimization
• Optimality and uniqueness of the (4,10,1/6) spherical code
• Minimizing lattice structures for Morse potential energy in two and three dimensions
• Counterintuitive ground states in soft-core models
• Rigidity of spherical codes
• Realizable hyperuniform and nonhyperuniform particle configurations with targeted spectral functions via effective pair interactions
• 112 lines on smooth quartic surfaces (characteristic 3)
• New upper bounds for the density of translative packings of three-dimensional convex bodies with tetrahedral symmetry
• On Born's conjecture about optimal distribution of charges for an infinite ionic crystal
• Spherical designs via Brouwer fixed point theorem
• Apollonian Ball Packings and Stacked Polytopes
• $k$-point semidefinite programming bounds for equiangular lines
• The Gaussian core model in high dimensions
• Optimal lattice configurations for interacting spatially extended particles
• Maximal Theta Functions -- Universal Optimality of the Hexagonal Lattice for Madelung-Like Lattice Energies
• Stolarsky's invariance principle for projective spaces
• The contact polytope of the Leech lattice (complete version)
• Energy-minimizing error-correcting codes
• Newton Algorithm on Constraint Manifolds and the 5-electron Thomson problem
• "Magic" numbers in Smale's 7th problem
• Expected Riesz energy of some determinantal processes on flat tori
• On energy ground states among crystal lattice structures with prescribed bonds
• Locally and Globally Optimal Configurations of $N$ Particles on the Sphere with Applications in the Narrow Escape and Narrow Capture Problems
• Anticoherent Subspaces
• Moment methods in energy minimization: New bounds for Riesz minimal energy problems
• Three-dimensional lattice ground states for Riesz and Lennard-Jones type energies
• Density bounds for outer parallel domains of unit ball packings
• Effect of periodic arrays of defects on lattice energy minimizers
• An Extremal Property of the Hexagonal Lattice
• Bootstrap Equilibrium and Probabilistic Speaker Representation Learning for Self-supervised Speaker Verification
• Lattice ground states for Embedded-Atom Models in 2D and 3D
• The minimizers of the $p$-frame potential
• Singular Support of Minimizers of the Causal Variational Principle on the Sphere
• On the spectrum and linear programming bound for hypergraphs
• Analogs of Steiner's porism and Soddy's hexlet in higher dimensions via spherical codes
• Asymptotic Linear Programming Lower Bounds for the Energy of Minimizing Riesz and Gauss Configurations
• Six-dimensional sphere packing and linear programming
• Maximal polarization for periodic configurations on the real line
• How to Use Graph Data in the Wild to Help Graph Anomaly Detection?
• An optimization problem for finite point interaction families
• Bounds for the sum of distances of spherical sets of small size
• Dual Linear Programming Bounds for Sphere Packing via Discrete Reductions
• Random sequential covering of a one-dimensional lattice by $k$-mers
• Can one hear the shape of a crystal?
• The AGM of Gauss, Ramanujan's corresponding theory, and spectral bounds of self-adjoint operators
• A note on energy minimization in dimension 2