Logarithmic and Coulomb point-set optimality conjecture

Let Es(ωN)E_s(\omega_N) denote the Riesz ss-energy of a configuration ωNS2\omega_N\subset\mathbb{S}^2, let Elog(ωN)E_{\log}(\omega_N) denote its logarithmic energy, and let ωNlog\omega_N^{\log} and ωNCoul\omega_N^{\mathrm{Coul}} be the minimal logarithmic-energy and Coulomb point configurations, respectively. Let σ\sigma be normalized surface area measure, let Λ2\Lambda_2 be the regular triangular lattice, and let ζΛ2\zeta_{\Lambda_2} be its Epstein–Zeta function. Logarithmic and Coulomb optimality conjecture. For all 2<s<4-2<s<4, s0s\neq 0, the minimal logarithmic-energy points and Coulomb points are asymptotically minimal to second-term precision: with ωN=ωNlog\omega_N=\omega_N^{\log} or ωN=ωNCoul\omega_N=\omega_N^{\mathrm{Coul}}, either

limNEs(ωN)Is[σ]N2Es(N)Is[σ]N2=1\lim_{N\to\infty}\frac{E_s(\omega_N)-\mathcal{I}_s[\sigma]N^2}{\mathcal{E}_s(N)-\mathcal{I}_s[\sigma]N^2}=1

or

limNEs(ωN)(3/2)s/2ζΛ2(s)(4π)s/2N1+s/2Es(N)(3/2)s/2ζΛ2(s)(4π)s/2N1+s/2=1.\lim_{N\to\infty}\frac{E_s(\omega_N)-\frac{(\sqrt{3}/2)^{s/2}\zeta_{\Lambda_2}(s)}{(4\pi)^{s/2}}N^{1+s/2}}{\mathcal{E}_s(N)-\frac{(\sqrt{3}/2)^{s/2}\zeta_{\Lambda_2}(s)}{(4\pi)^{s/2}}N^{1+s/2}}=1.

Furthermore, Coulomb points are minimal for logarithmic energy to third-term precision:

limNElog(ωNCoul)(1/2log2)N2+(1/2)NlogNElog(N)(1/2log2)N2+(1/2)NlogN=1.\lim_{N\to\infty}\frac{E_{\log}(\omega_N^{\mathrm{Coul}})-(1/2-\log2)N^2+(1/2)N\log N}{\mathcal{E}_{\log}(N)-(1/2-\log2)N^2+(1/2)N\log N}=1.

The claim is explicitly conditional on the preceding Riesz-energy conjectures for the relevant ranges; the source reports numerical support but no proof.

Sources & referencesView supporting material

Primary source

D. P. Hardin, T. J. Michaels and E. B. Saff, “A Comparison of Popular Point Configurations on S^2”, arXiv:1607.04590 (2016).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.