arXiv++ Combinatorics

Illumination complexes are examples of 'flat polyhedral complexes' which arise if several copies of a convex polyhedron (convex body) Q are glued together along some of their common faces (closed convex subsets of their boundaries). A particularly nice example arises if Q is a Δ-zonotope (generalized rhombic dodecahedron), known also as the dual of the difference body Δ - Δ of a simplex Δ, or the dual of the convex hull of the root system A_n. We demonstrate that the illumination complexes and their relatives can be used as 'configuration spaces', leading to new 'fair division theorems'. Among the central new results is the 'polyhedral curtain theorem' (Theorem 3) which is a relative of both the 'ham sandwich theorem' and the 'splitting necklaces theorem'.

Equivariant "Ham Sandwich" Theorems are obtained for the finite subgroups G of the unit spheres S(F) in the classical algebras F = R, C, and H. Given any n F-valued mass distributions on F^n, it is shown that there exists a G-equivariant decomposition of F^n into |G| regular convex fundamental regions which "G-equipartition" each of the n measures, as realized by the vanishing of the "G-averages" of these regions' measures. Applications for real measures follow, among them that any n signed mass distributions on R^{(p-1)n} can be equipartitioned by a single regular p-fan when p a prime number.

We show that $m$ points and $n$ smooth algebraic surfaces of bounded degree in $\mathbb{R}^3$ satisfying suitable nondegeneracy conditions can have at most $O(m^{\frac{2k}{3k-1}}n^{\frac{3k-3}{3k-1}}+m+n)$ incidences, provided that any collection of $k$ points have at most O(1) surfaces passing through all of them, for some $k\geq 3$. In the case where the surfaces are spheres and no three spheres meet in a common circle, this implies there are $O((mn)^{3/4} + m +n)$ point-sphere incidences. This is a slight improvement over the previous bound of $O((mn)^{3/4} β(m,n)+ m +n)$ for $β(m,n)$ an (explicit) very slowly growing function. We obtain this bound by using the discrete polynomial ham sandwich theorem to cut $\mathbb{R}^3$ into open cells adapted to the set of points, and within each cell of the decomposition we apply a Turan-type theorem to obtain crude control on the number of point-surface incidences. We then perform a second polynomial ham sandwich decomposition on the irreducible components of the variety defined by the first decomposition. As an application, we obtain a new bound on the maximum number of unit distances amongst $m$ points in $\mathbb{R}^3$.

We prove almost tight bounds on incidences between points and $k$-dimensional varieties of bounded degree in $\R^d$. Our main tools are the Polynomial Ham Sandwich Theorem and induction on both the dimension and the number of points.

In this paper, we prove that a set of $N$ points in ${\bf R}^2$ has at least $c{N \over \log N}$ distinct distances, thus obtaining the sharp exponent in a problem of Erdös. We follow the set-up of Elekes and Sharir which, in the spirit of the Erlangen program, allows us to study the problem in the group of rigid motions of the plane. This converts the problem to one of point-line incidences in space. We introduce two new ideas in our proof. In order to control points where many lines are incident, we create a cell decompostion using the polynomial ham sandwich theorem. This creates a dichotomy: either most of the points are in the interiors of the cells, in which case we immediately get sharp results, or alternatively the points lie on the walls of the cells, in which case they are in the zero set of a polynomial of suprisingly low degree, and we may apply the algebraic method. In order to control points where only two lines are incident, we use the flecnode polynomial of the Rev. George Salmon to conclude that most of the lines lie on a ruled surface. Then we use the geometry of ruled surfaces to complete the proof.

We generalize the ham sandwich theorem for the case of well separated measures. Given convex bodies $K_1,...,K_d$ in $\mathbb{R_d}$ and numbers $α_1,...,α_d \in [0, 1]$, we give a sufficient condition for existence and uniqueness of an (oriented)halfspace H with Vol($H \cap K_i$)= $α_i \dot$ Vol$K_i$ for every i. The result is extended from convex bodies to measures.

We study the relationship between unit-distance representations and Lovasz theta number of graphs, originally established by Lovasz. We derive and prove min-max theorems. This framework allows us to derive a weighted version of the hypersphere number of a graph and a related min-max theorem. Then, we connect to sandwich theorems via graph homomorphisms. We present and study a generalization of the hypersphere number of a graph and the related optimization problems. The generalized problem involves finding the smallest ellipsoid of a given shape which contains a unit-distance representation of the graph. We prove that arbitrary positive semidefinite forms describing the ellipsoids yield NP-hard problems.

A "ham sandwich" theorem is established for n quaternionic Borel measures on quaternionic space H^n. For each finite subgroup G of S^3, it is shown that there is a quaternionic hyperplane H and a corresponding tiling of H^n into |G| fundamental regions which are rotationally symmetric about H with respect to G, and satisfy the condition that for each of the n measures, the "G average" of the measures of these regions is zero. If each quaternionic measure is a 4-tuple of finite Borel measures on R^{4n}, the original ham sandwich theorem on R^{4n} is recovered when G = Z_2. The theorem applies to [n/4] finite Borel measures on R^n, and when G is the quaternion group Q_8 this gives a decomposition of R^n into 2 rings of 4 cubical "wedges" each, such that the measure any two opposite wedges is equal for each finite measure.

A "ham sandwich" theorem is derived for n complex Borel measures on C^n. For each integer m>=2, it shown that there exists a regular m-fan centered about a complex hyperplane, satisfying the condition that for each complex measure, the "Z_m rotational average" of the measures of the m corresponding regular sectors is zero. Taking [n/2] finite Borel measures on R^n and letting m=3, the theorem shows the existence of a regular 3-fan in R^n which trisects each measure; when m=4, the theorem shows the existence of a pair of orthogonal hyperplanes, each of which bisects each measure. If the theorem is applied to 2n finite Borel measures on R^2n, the classical ham sandwich theorem for R^2n is recovered when m = 2.

Let m_1,...,m_n be continuous probability measures on R^n and a_1,...,a_n in [0,1]. When does there exist an oriented hyperplane H such that the positive half-space H^+ has m_i(H^+)=a_i for all i in [n]? It is well known that such a hyperplane does not exist in general. The famous ham sandwich theorem states that if a_i=1/2 for all i, then such a hyperplane always exists. In this paper we give sufficient criteria for the existence of H for general a_i in [0,1]. Let f_1,...,f_n:S^{n-1}->R^n denote auxiliary functions with the property that for all i the unique hyperplane H_i with normal v that contains the point f_i(v) has m_i(H_i^+)=a_i. Our main result is that if Im(f_1),...,Im(f_n) are bounded and can be separated by hyperplanes, then there exists a hyperplane H with m_i(H^+)=a_i for all i. This gives rise to several corollaries, for instance if the supports of m_1,...,m_n are bounded and can be separated by hyperplanes, then H exists for any choice of a_1,...,a_n in [0,1]. We also obtain results that can be applied if the supports of m_1,...,m_n overlap.