Moser’s convex worm cover constant

Description of constant

$C_{13a}$ is the infimal area of a convex domain $\Omega$ that can contain a rigid motion (translation + rotation; no reflections) of every planar arc (curve, or “worm”) of length $1$.

Known upper bounds

Bound Reference Comments
$\frac{\pi}{4}=0.7853981633\dots$ Trivial disk of radius $1/2$
$\frac{\pi}{8}=0.3926990816\dots$ Meir [Wet1973] semicircle of radius $1/2$
$0.34501$ [Wet1973]  
$0.3214$ [G1972]  
$0.28610$ [GP1974]  
$0.27524$ [NPL1992]  
$0.270911861$ [Wan2006]  
$\frac{\pi}{12}=0.2617993878\dots$ [PW2021] 30° circular sector of radius 1 (“Wetzel’s sector”). Builds upon [MW2017]

Known lower bounds

Bound Reference Comments
$0.2194$ [Wet1973] Uses “broadworms” (building on work of Schaer on the broadest curve of unit length)
$0.227498$ [KS2009] Uses “V”-worms (equilateral-triangle hull) and “U”-worms (square hull)
$0.232239$ [KPS2013] Min–max estimate for convex hull area of certain forced configurations

References

Contribution notes

ChatGPT DeepResearch was used to prepare an initial version of this page.