Superiority conjecture for the cross-polytope bound

Let n2n\ge 2. The functions αΔn\underline{\alpha}_{\Delta^n}^* and αΔn\underline{\alpha}_{\Delta^n} satisfy the comparison

Superiority conjecture.

αΔn(β)αΔn(β)\underline{\alpha}_{\Delta^n}^*(\beta)\ge \underline{\alpha}_{\Delta^n}(\beta)

for any β2\beta\ge 2, with equality if and only if β=2\beta=2 or αΔn(β)=β\alpha_{\Delta^n}^*(\beta)=\beta.

This conjecture asserts that the starred family gives at least as strong a bound as the unstarred family; the source reports numerical evidence but no proof.

Sources & referencesView supporting material

Primary source

Cameron Davies, “Bounds and Limiting Minimizers for a Family of Interaction Energies”, arXiv:2404.02322 (2024).

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.