Related papers: The Triangular Bi-Pyramid Minimizes a Range of Pow…
We give a rigorous computer-assisted proof that the triangular bi-pyramid is the unique configuration of 5 points on the 2-sphere that globally minimizes the Coulomb (1/r) potential. We also prove the same result for the (1/r^2) potential.…
Let R_s(r)=sign(s)/r^s be the Riesz s-energy potential. (This is the usual power-law potential.) This monograph proves the existence of a computable number S=15.048... such that the triangular bi-pyramid is the unique minimizer with respect…
This work rigorously verifies the phase transition in 5-point energy minimization first observed by Melnyk-Knop-Smith in 1977. More precisely, we prove that there is a constant S = [15+24/512,15+25/512] such that the triangular bi-pyramid…
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…
Consider n points on the unit 2-sphere. The potential of the interaction of two points is a function f(r) of the distance r between the points. The total energy E of n points is the sum of the pairwise energies. The question is how to place…
P\'al's isominwidth theorem states that for a fixed minimal width, the regular triangle has minimal area. A spherical version of this theorem was proven by Bezdek and Blekherman, if the minimal width is at most $\tfrac \pi 2$. If the width…
We use methods of approximation theory to find the absolute minima on the sphere of the potential of spherical $(2m-3)$-designs with a non-trivial index $2m$ that are contained in a union of $m$ parallel hyperplanes, $m\geq 2$, whose…
We study the two dimensional Lennard-Jones energy per particle of lattices and we prove that the minimizer among Bravais lattices with sufficiently large density is triangular and that is not the case for sufficiently small density. We give…
We consider $\mathbb{S}^2$-valued maps on a domain $\Omega\subset\mathbb{R}^N$ minimizing a perturbation of the Dirichlet energy with vertical penalization in $\Omega$ and horizontal penalization on $\partial\Omega$. We first show the…
We study a large family of axisymmetric Riesz-type singular interaction potentials with anisotropy in three dimensions. We generalize some of the results of our recent work in two dimensions to the present setting. For potentials with…
We study the pair interaction on flat tori of functions whose Fourier coefficients are positive and decay sufficiently rapidly. In dimension one we find that the minimizer, up to translation, is the equidistant point set. In dimension two,…
A reformulation of the three circles theorem of Johnson with distance coordinates to the vertices of a triangle is explicitly represented in a polynomial system and solved by symbolic computation. A similar polynomial system in distance…
We prove a maximal Fourier restriction theorem for the sphere $\mathbb{S}^{d-1}$ in $\mathbb{R}^{d}$ for any dimension $d\geq 3$ in a restricted range of exponents given by the Stein-Tomas theorem. The proof consists of a simple…
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…
For a compact set A in Euclidean space we consider the asymptotic behavior of optimal (and near optimal) N-point configurations that minimize the Riesz s-energy (corresponding to the potential 1/t^s) over all N-point subsets of A, where…
In this paper, we study the relaxed energy for biharmonic maps from a $m$-dimensional domain into spheres. By an approximation method, we prove the existence of a minimizer of the relaxed energy of the Hessian energy, and that the minimizer…
We consider sets in $\mathbb R^N$ which minimise, for fixed volume, the sum of the perimeter and a non-local term given by the double integral of a kernel $g:\mathbb R^N\setminus\{0\}\to \mathbb R^+$. We establish some general existence and…
Inspired by previous work of Kusner and Bauer-Kuwert, we prove a strict inequality between the Willmore energies of two surfaces and their connected sum in the context of isoperimetric constraints. Building on previous work by…
Given a set of $n$ points on a plane, in the Minimum Weight Triangulation problem, we wish to find a triangulation that minimizes the sum of Euclidean length of its edges. This incredibly challenging problem has been studied for more than…
For integers $d \geq 2$ and $\epsilon = 0$ or 1, let $S^{1, d - 1}(\epsilon)$ denote the sphere product $S^{1} \times S^{d - 1}$ if $\epsilon = 0$ and the twisted $S^{d - 1}$ bundle over $S^{1}$ if $\epsilon = 1$. The main results of this…