Three-point bounds for energy minimization
arXiv:1103.0485 · doi:10.1090/S0894-0347-2012-00737-1
Abstract
Three-point semidefinite programming bounds are one of the most powerful known tools for bounding the size of spherical codes. In this paper, we use them to prove lower bounds for the potential energy of particles interacting via a pair potential function. We show that our bounds are sharp for seven points in RP^2. Specifically, we prove that the seven lines connecting opposite vertices of a cube and of its dual octahedron are universally optimal. (In other words, among all configurations of seven lines through the origin, this one minimizes energy for all potential functions that are completely monotonic functions of squared chordal distance.) This configuration is the only known universal optimum that is not distance regular, and the last remaining universal optimum in RP^2. We also give a new derivation of semidefinite programming bounds and present several surprising conjectures about them.
30 pages
References in corpus (9)
- Two-Dimensional Matter: Order, Curvature and Defects
- Universally optimal distribution of points on spheres
- New upper bounds for kissing numbers from semidefinite programming
- Experimental study of energy-minimizing point configurations on spheres
- Linear programming bounds for codes in Grassmannian spaces
- Semidefinite programming, multivariate orthogonal polynomials, and codes in spherical caps
- The D_4 root system is not universally optimal
- Optimality and uniqueness of the (4,10,1/6) spherical code
- Point configurations that are asymmetric yet balanced
Cited by in corpus (7)
- Distributing many points on spheres: minimal energy and designs
- A semidefinite programming hierarchy for packing problems in discrete geometry
- The Gaussian core model in high dimensions
- Energy-minimizing error-correcting codes
- Moment methods in energy minimization: New bounds for Riesz minimal energy problems
- Solving clustered low-rank semidefinite programs arising from polynomial optimization
- Potential theory with multivariate kernels