The hamburger theorem

We generalize the ham sandwich theorem to $d+1$ measures in $\mathbb{R}^d$ as follows. Let $\mu_1,\mu_2, \dots, \mu_{d+1}$ be absolutely continuous finite Borel measures on $\mathbb{R}^d$. Let $\omega_i=\mu_i(\mathbb{R}^d)$ for $i\in [d+1]$, $\omega=\min\{\omega_i; i\in [d+1]\}$ and assume that $\sum_{j=1}^{d+1} \omega_j=1$. Assume that $\omega_i \le 1/d$ for every $i\in[d+1]$. Then there exists a hyperplane $h$ such that each open halfspace $H$ defined by $h$ satisfies $\mu_i(H) \le (\sum_{j=1}^{d+1} \mu_j(H))/d$ for every $i \in [d+1]$ and $\sum_{j=1}^{d+1} \mu_j(H) \ge \min(1/2, 1-d\omega) \ge 1/(d+1)$. As a consequence we obtain that every $(d+1)$-colored set of $nd$ points in $\mathbb{R}^d$ such that no color is used for more than $n$ points can be partitioned into $n$ disjoint rainbow $(d-1)$-dimensional simplices.Comment: 11 pages, 2 figures; a new proof of Theorem 8, extended concluding remark

Mass Partitions via Equivariant Sections of Stiefel Bundles

We consider a geometric combinatorial problem naturally associated to the geometric topology of certain spherical space forms. Given a collection of $m$ mass distributions on $\mathbb{R}^n$, the existence of $k$ affinely independent regular $q$-fans, each of which equipartitions each of the measures, can in many cases be deduced from the existence of a $\mathbb{Z}_q$-equivariant section of the Stiefel bundle $V_k(\mathbb{F}^n)$ over $S(\mathbb{F}^n)$, where $V_k(\mathbb{F}^n)$ is the Stiefel manifold of all orthonormal $k$-frames in $\mathbb{F}^n,\, \mathbb{F} = \mathbb{R}$ or $\mathbb{C}$, and $S(\mathbb{F}^n)$ is the corresponding unit sphere. For example, the parallelizability of $\mathbb{R}P^n$ when $n = 2,4$, or $8$ implies that any two masses on $\mathbb{R}^n$ can be simultaneously bisected by each of $(n-1)$ pairwise-orthogonal hyperplanes, while when $q=3$ or 4, the triviality of the circle bundle $V_2(\mathbb{C}^2)/\mathbb{Z}_q$ over the standard Lens Spaces $L^3(q)$ yields that for any mass on $\mathbb{R}^4$, there exist a pair of complex orthogonal regular $q$-fans, each of which equipartitions the mass.Comment: 11 pages, final versio

Dynamic ham-sandwich cuts in the plane

We design efficient data structures for dynamically maintaining a ham-sandwich cut of two point sets in the plane subject to insertions and deletions of points in either set. A ham-sandwich cut is a line that simultaneously bisects the cardinality of both point sets. For general point sets, our first data structure supports each operation in O(n1/3+ε) amortized time and O(n4/3+ε) space. Our second data structure performs faster when each point set decomposes into a small number k of subsets in convex position: it supports insertions and deletions in O(logn) time and ham-sandwich queries in O(klog4n) time. In addition, if each point set has convex peeling depth k , then we can maintain the decomposition automatically using O(klogn) time per insertion and deletion. Alternatively, we can view each convex point set as a convex polygon, and we show how to find a ham-sandwich cut that bisects the total areas or total perimeters of these polygons in O(klog4n) time plus the O((kb)polylog(kb)) time required to approximate the root of a polynomial of degree O(k) up to b bits of precision. We also show how to maintain a partition of the plane by two lines into four regions each containing a quarter of the total point count, area, or perimeter in polylogarithmic time.Engineering and Applied Science

Colorful Borsuk--Ulam theorems and applications

We prove a colorful generalization of the Borsuk--Ulam theorem and derive colorful consequences from it, such as a colorful generalization of the ham sandwich theorem. Even in the uncolored case this specializes to a strengthening of the ham sandwich theorem, which given an additional condition, contains a result of B\'{a}r\'{a}ny, Hubard, and Jer\'{o}nimo on well-separated measures as a special case. We prove a colorful generalization of Fan's antipodal sphere covering theorem, we derive a short proof of Gale's colorful KKM theorem, and we prove a colorful generalization of Brouwer's fixed point theorem. Our results also provide an alternative between Radon-type intersection results and KKM-type covering results. Finally, we prove colorful Borsuk--Ulam theorems for higher symmetry.Comment: 15 page