The sharp zero-constant conjecture for the non-local interaction-energy bound

About 1 year old · traced to

Let C=1−log⁡2<0.31C=1-\log 2<0.31. For each finite set ω⊂R×(−π,π]\omega\subset\mathbb{R}\times(-\pi,\pi] with ∣ω∣=N|\omega|=N, consider the lower bound

∑z≠z′∈ωWα(z−z′)≥−N(log⁡N+C).\sum_{z\neq z'\in\omega}W_\alpha(z-z')\geq-N(\log N+C).

Sharp zero-constant conjecture. Proposition~ should remain true with C=0C=0; that is,

∑z≠z′∈ωWα(z−z′)≥−Nlog⁡N.\sum_{z\neq z'\in\omega}W_\alpha(z-z')\geq-N\log N.

If true, this would imply that the minimum energy is attained by equally spaced points on a circle x=x0x=x_0. Numerical experiments support the conjecture, but no proof or resolution is given in the source.

References

Primary source

Peter J. Grabner and Florian Theil, “Leading order asymptotics for non-local energies and the Read-Shockley law”, arXiv:2509.12041 (2025).

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.