arXiv subjects

Cameron Davies

Publications and source records attributed to Cameron Davies.

3 recordsLinked to original sources

arXiv2024

Bounds and Limiting Minimizers for a Family of Interaction Energies

We study a two parameter family of energy minimization problems for interaction energies $\mathcal{E}_{α,β}$ with attractive-repulsive potential $W_{α,β}$. We develop a concavity principle, which allows us to provide a lower bound on $\mathcal{E}_{α,β}$ if there exist $β_0<β<β_1$ with minimizers of $\mathcal{E}_{α,β_0}$ and $\mathcal{E}_{α,β_1}$ known. In addition to this, we also derive new conclusions about the limiting behaviour of $\mathcal{E}_{α,β}$ for $β\approx 2.$ Finally, we describe a method to show that, for certain values of $(α,β),$ $\mathcal{E}_{α,β}$ cannot be minimized by the uniform distribution over a top-dimensional regular unit simplex. Our results are made possible by two key factors -- recent progress in identifying minimizers of $\mathcal{E}_{α,β}$ for a range of $α$ and $β$, and an analysis of $\inf\mathcal{E}_{α,β}$ as a function on parameter space.

math.OC↗

arXiv2022

Classifying minimum energy states for interacting particles: Regular simplices

Densities of particles on $\Rn$ which interact pairwise through an attractive-repulsive power-law potential $W_{\al,\bt}(x) = |x|^\al/\al-|x|^\bt/\bt$ have often been used to explain patterns produced by biological and physical systems. In the mildly repulsive regime $\al> \bt \ge 2$ with $n \ge 2$, we show there exists a decreasing homeomorphism $\al_{Δ^n}$ from $[2,4]$ to itself such that: distributing the particles uniformly over the vertices of a regular unit diameter $n$-simplex minimizes the potential energy if and only if $\al\ge \al_{\De^n}(\bt)$. Moreover this minimum is uniquely attained up to rigid motions when $\al > \al_{\De^n}(\bt)$. We estimate $\al_{\De^n}(\bt)$ above and below, and identify its limit as the dimension grows large. These results are derived from a new northeast comparison principle in the space of exponents. At the endpoint $(\al,\bt)=(4,2)$ of this transition curve, we characterize all minimizers by showing they lie on a sphere and share all first and second moments with the spherical shell. Suitably modified versions of these statements are also established (i) for $W_{α,β}$ and corresponding energies in the case where $n=1$, and (ii) for the attractive-repulsive potentials $D_\al(x) = |x|^\al(\al\log |x|-1)$ that arise in the limit $\bt \nearrow \al$.

math-ph↗

arXiv2022

Classifying minimum energy states for interacting particles: Spherical Shells

Particles interacting through long-range attraction and short-range repulsion given by power-laws have been widely used to model physical and biological systems, and to predict or explain many of the patterns they display. Apart from rare values of the attractive and repulsive exponents $(α,β)$, the energy minimizing configurations of particles are not explicitly known, although simulations and local stability considerations have led to conjectures with strong evidence over a much wider region of parameters. For a segment $β=2<α<4$ on the mildly repulsive frontier we employ strict convexity to conclude that the energy is uniquely minimized (up to translation) by a spherical shell. In a companion work, we show that in the mildly repulsive range $α>β\ge2$, a unimodal threshold $2<α_{Δ^n}(β) \le \max\{β,4\}$ exists such that equidistribution of particles over a unit diameter regular $n$-simplex minimizes the energy if and only if $α\ge α_{Δ^n}(β)$ (and minimizes uniquely up to rigid motions if strict inequality holds). At the point $(α,β)=(2,4)$ separating these regimes, we show the minimizers all lie on a sphere and are precisely characterized by sharing all first and second moments with the spherical shell. Although the minimizers need not be asymptotically stable, our approach establishes $d_α$-Lyapunov nonlinear stability of the associated ($d_2$-gradient) aggregation dynamics near the minimizer in both of these adjacent regimes -- without reference to linearization. The $L^α$-Kantorovich-Rubinstein distance $d_α$ which quantifies stability is chosen to match the attraction exponent.

math.OC↗