Superiority conjecture for the cross-polytope bound

About 2 years old · traced to

Let n≥2n\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.

References

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.