{"id":"arxiv/2605.05243","url":"https://arxiv.org/abs/2605.05243","tags":["math.CA","math-ph","math.FA"],"score":0,"title":"Proof of the Holevo--Utkin conjecture on sharp $\\ell_p$ norms for zero-sum vectors","domain":"math.CA","source":"arxiv","authors":["Haonan Zhang"],"reviews":0,"subject":"math.CA","summary":"Let $d\\ge 3$ and $p>0$. Let $\\|x\\|_p$ denote the $\\ell_p$ (quasi-)norm of a $d$-dimensional vector $x$. Holevo and Utkin \\cite{HU26} conjectured that for $0<p\\le 1$, \\[ \\min \\left\\{\\frac{\\|x\\|_p}{\\|x\\|_2}:\\vec{0}\\neq x\\in\\mathbb R^d,\\ \\sum_{i=1}^d x_i=0\\right\\} =2^{1/p-1/2}; \\] for $1<p<2$, \\[ \\min \\left\\{\\frac{\\|x\\|_p}{\\|x\\|_2}:\\vec{0}\\neq x\\in\\mathbb R^d,\\ \\sum_{i=1}^d x_i=0\\right\\} = \\min\\left\\{2^{1/p-1/2},\\left(\\frac{(d-1)^{p/2}+(d-1)^{1-p/2}}{d^{p/2}}\\right)^{1/p}\\right\\}; \\] and for $2<q<\\infty$ \\[ \\max\\left\\{\\frac{\\|x\\|_q}{\\|x\\|_2}:\\vec{0}\\neq x\\in\\mathbb R^d,\\ \\sum_{i=1}^d…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-04","reactions":{}}