The set of packing and covering densities of convex disks

Abstract

For every convex disk $K$ (a convex compact subset of the plane, with non-void interior), the packing density $δ(K)$ and covering density $\vartheta(K)$ form an ordered pair of real numbers, {\em i.e.}, a point in ${\mathbb R}^2$. The set $Ω$ consisting of points assigned this way to all convex disks is the subject of this article. A few known inequalities on $δ(K)$ and $\vartheta(K)$ jointly outline a relatively small convex polygon $P$ that contains $Ω$, while the exact shape of $Ω$ remains a mystery. Here we describe explicitly a leaf-shaped convex region $Λ$ contained in $Ω$ and occupying a good portion of $P$. The sets $Ω_T$ and $Ω_L$ of translational packing and covering densities and lattice packing and covering densities are defined similarly, restricting the allowed arrangements of $K$ to translated copies or lattice arrangements, respectively. Due to affine invariance of the translative and lattice density functions, the sets $Ω_T$ and $Ω_L$ are compact. Furthermore, the sets $Ω$, $Ω_T$ and $Ω_L$ contain the subsets $Ω^\star$, $Ω_T^\star$ and $Ω_L^\star$ respectively, corresponding to the centrally symmetric convex disks $K$, and our leaf $Λ$ is contained in each of $Ω^\star$, $Ω_T^\star$ and $Ω_L^\star$.