arXiv++ Combinatorics

Hadwiger's theorem is a Helly-type theorem involving common transversals to families of convex sets instead of common intersections. Subsequently, Pollack and Wenger identified a necessary and sufficient condition, called a consistent $k$-ordering, for the existence of a hyperplane transversal for sets in $\mathbb{R}^d$. We obtain a quantitative generalization of Hadwiger's theorem in $\mathbb{R}^2$, showing that compact convex sets in $\mathbb{R}^2$ with a quantitative version of consistent ordering have a transversal satisfying quantitative requirements. Our proof generalizes the methods in Wenger's proof of Hadwiger's theorem in $\mathbb{R}^2$. We also prove colorful versions of our results.

Among other things, it is shown that for every pair of positive integers $r$, $d$, satisfying $1<r<d\leq 2r$, and every finite simple graph $H,$ there is a connected graph $G$ with diameter $d$, radius $r$, and center $H.$

Many results in mass partitions are proved by lifting $\mathbb{R}^d$ to a higher-dimensional space and dividing the higher-dimensional space into pieces. We extend such methods to use lifting arguments to polyhedral surfaces. Among other results, we prove the existence of equipartitions of $d+1$ measures in $\mathbb{R}^d$ by parallel hyperplanes and of $d+2$ measures in $\mathbb{R}^d$ by concentric spheres. For measures whose supports are sufficiently well separated, we prove results where one can cut a fixed (possibly different) fraction of each measure either by parallel hyperplanes, concentric spheres, convex polyhedral surfaces of few facets, or convex polytopes with few vertices.