Codenotti–Santos–Schymura conjecture on covering minima of weighted terminal simplices

Less than 1 year old · traced to

Let ω=(ω0,…,ωd)∈R>0d+1\omega=(\omega_0,\dots,\omega_d)\in\mathbb{R}^{d+1}_{>0} satisfy ω0⩽⋯⩽ωd\omega_0\leqslant\dots\leqslant\omega_d, and define the weighted terminal simplex

S(ω):=conv⁡(−ω01d,ω1e1,…,ωded)⊆Rd.S(\omega):=\operatorname{conv}(-\omega_0\mathbb{1}_d,\omega_1e_1,\dots,\omega_de_d)\subseteq\mathbb{R}^d.

For i∈[d]i\in[d], Codenotti–Santos–Schymura conjecture. The ii-th covering minimum of S(ω)S(\omega) is attained by projection to the first ii coordinates, namely

μi(S(ω))=∑0⩽j<k⩽i1ωjωk∑j=0i1ωj.\mu_i(S(\omega))=\frac{\sum\limits_{0\leqslant j<k\leqslant i}\frac{1}{\omega_j\omega_k}}{\sum\limits_{j=0}^i\frac{1}{\omega_j}}.

The source says that the covering radius of every weighted terminal simplex is known and that this conjecture gives the other covering minima, with the case i=1i=1 proved; the remaining cases are open in the supplied text.

References

Primary source

Katarina Krivokuća, “Upper Bounds on Covering Minima of Convex Bodies”, arXiv:2601.15173 (2026).

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.