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

Let C=1log2<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

zzωWα(zz)N(logN+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,

zzωWα(zz)NlogN.\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.

Sources & referencesView supporting material

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.