Proves that the minimum and maximum of ||x||_p / ||x||_2 over non-zero zero-sum x in R^d equal the stated closed-form expressions for all d ≥ 4.
A conjecture on a tight norm inequality in the finite-dimensional l_p
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
We suggest a tight inequality for norms in $d$-dimensional space $l_p $ which has simple formulation but appears hard to prove. We give a proof for $d=3$ and provide a detailed numerical check for $d\leq 200$ confirming the conjecture. We conclude with a brief survey of solutions for kin problems which anyhow concern minimization of the output entropy of certain quantum channel and rely upon the symmetry properties of the problem. Key words and phrases: $l_p $-norm, R\'enyi entropy, tight inequality, maximization of a convex function.
fields
math.CA 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Proof of the Holevo-Utkin conjecture on sharp $\ell_p$ norms for zero-sum vectors
Proves that the minimum and maximum of ||x||_p / ||x||_2 over non-zero zero-sum x in R^d equal the stated closed-form expressions for all d ≥ 4.