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

From papers

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(ω))=0j<ki1ωjωkj=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.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.