{"id":"arxiv/2606.04458","url":"https://arxiv.org/abs/2606.04458","tags":["cs.CG","math.MG"],"score":0,"title":"A Certified Lower Bound for Lebesgue's Universal Cover Problem","domain":"cs.CG","source":"arxiv","authors":["Niantao Xie"],"reviews":0,"subject":"cs.CG","summary":"Lebesgue's universal cover problem asks for the infimum of the areas of planar sets that contain a congruent copy of every planar set of diameter at most one. We work in the convex Brass$-$Sharifi three-test-set framework, where the test sets are a closed disk, an equilateral triangle, and a regular pentagon of diameter one. For each normalized placement $v$, let $A(v)$ denote the area of the convex hull of these three test sets. We construct a finite certificate proving $A(v)\\ge 0.833$ throughout the admissible normalized domain. The threshold $0.833$ yields a certified improvement over the…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-06-03","reactions":{}}