Abstract
We use moment techniques to construct a converging hierarchy of optimization problems to lower bound the ground state energy of interacting particle systems. We approximate (from below) the infinite-dimensional optimization problems in this hierarchy by block diagonal semidefinite programs. For this we develop the necessary harmonic analysis for spaces consisting of subsets of another space, and we develop symmetric sum-of-squares techniques. We numerically compute the second step of our hierarchy for Riesz s-energy problems with five particles on the two-dimensional unit sphere, where the s = 1 case is the Thomson problem. This yields new numerically sharp bounds (up to high precision) and suggests that the second step of our hierarchy may be sharp throughout a phase transition and may be universally sharp for five particles on the unit sphere. This is the first time a four-point bound has been computed for a problem in discrete geometry.
Original language | English |
---|---|
Pages (from-to) | 1407-1453 |
Number of pages | 47 |
Journal | American Mathematical Society. Transactions |
Volume | 373 |
Issue number | 2 |
DOIs | |
Publication status | E-pub ahead of print - 2 Oct 2019 |
Keywords
- Four-point bounds
- Harmonic analysis on spaces of subsets
- Invariant polynomials
- Lasserre hierarchy
- Riesz s-energy
- Semidefinite programming
- Thomson problem