{"id":"arxiv/2609.01284","url":"https://arxiv.org/abs/2609.01284","tags":["math.MG"],"score":0,"title":"An exact hierarchy for Lebesgue's universal covering constant and a certified 0.834 lower bound","domain":"math.MG","source":"arxiv","authors":["Shuai Zeng"],"reviews":0,"subject":"math.MG","summary":"Posed by Lebesgue in 1914, the universal covering problem asks for the smallest-area planar convex set containing a congruent copy of every set of diameter at most one. We introduce an exact Reuleaux-type variational hierarchy for this constant: its monotone finite-arc values $Λ_M$ satisfy $a_{\\mathrm{Leb}}=\\lim_{M\\to\\infty}Λ_M$, and each level is a continuous finite-dimensional problem. We prove $0\\le a_{\\mathrm{Leb}}-Λ_M\\le C M^{-2}$, giving a controlled finite-arc route to the constant itself. As a certified low-order realization, an outward-rounded interval certificate for a regular…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-01","reactions":{}}