{"id":"arxiv/2610.14055","url":"https://arxiv.org/abs/2610.14055","tags":["math.MG","math.CO"],"score":0,"title":"Upper bounds for Jung constants of $\\ell_1^d$","domain":"math.MG","source":"arxiv","authors":["Xiao Li"],"reviews":0,"subject":"math.MG","summary":"For every integer $k\\ge1$, we prove that each nonempty bounded set in real $\\ell_1^{4k+1}$ has an ambient enclosing ball of radius at most $(4k-1)/(4k)$ times its diameter. The bound is sharp in dimension five: $J(\\ell_1^5)=3/4$. If a Hadamard matrix of order $4k$ exists, then $J(\\ell_1^{4k-1})=J(\\ell_1^{4k})=J(\\ell_1^{4k+1})=(4k-1)/(4k)$. The upper bound for every $k\\ge1$ has been formalized in Lean.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-06","reactions":{}}