arXiv++ Combinatorics

We study versions of results in combinatorial geometry related to families of convex sets in $\mathbb{R}^d$ whose intersection contains a $k$-dimensional affine space. We prove generalizations of the colorful Radon theorem, the fractional Helly theorem, the colorful Helly theorem, and the selection-structure Helly theorem. When $k=0$, our arguments give new proofs of the corresponding versions for points.

We construct a smooth strictly positive density in $\mathbb{R}^4$ that cannot be divided into $16$ parts of the same size by four affine hyperplanes. This settles the last open case of Grünbaum's 1960 conjecture and disproves Ramos' general conjecture on hyperplane equipartitions. The proof reduces the problem to proving that five explicit polynomials in six variables have no common zero in $[-1,1]^6$. The verification relies on a computer-assisted subdivision argument using convexity and Bernstein coefficients.

We study $b_d(n)$, the minimum number of points needed to meet the relative interior of every $(d-1)$-simplex spanned by an $n$-point set in general position in $\mathbb{R}^d$. In the plane, this is the parameter from the Blocking Conjecture. We improve the best known general planar lower bound to $ b_2(n)\ge \frac{41}{13}n-O\left(\frac{n}{\log n}\right)$. For $n$ points on the moment curve in even dimension $2r$, we prove that at least $\frac{1}{r!}n^r\log n-O_r(n^r)$ points are needed to pierce the relative interior of all its codimension-one simplices, which exceeds the number of codimension-one faces in a triangulation by a $\log n$ factor. For equally spaced points on the moment curve in odd dimensions, we construct an optimal blocking set whose size equals the maximum number of codimension-one faces in a triangulation.

We prove Borsuk-Ulam-type results governed by selection structures. Selection structures extend the matroidal framework for colorful theorems in discrete geometry and include non-matroidal examples such as chessboard complexes. Motivated by Frick and Wellner's Radon-type strengthening of Fan's theorem and its colorful variants, we prove selection-structure analogues whose conclusions are determined by Radon partitions. We also prove a prime-power selection-structure covering version of Volovikov's theorem, governed by Tverberg partitions. We include applications to fair partitions, including selection-structure versions of the ham sandwich and necklace splitting theorems.

A convex splinter $K$ is a union of convex sets in $\mathbb{R}^d$ such that every minimal affine dependent set of $\mathbb{R}^d$ contained in $K$ is contained in one of the sets. The study of convex splinters was motivated by the study of flat transversals to convex sets. We extend several variations of Helly's theorem from convex geometry to convex splinters. These include fractional and colorful variations of Helly's theorem. We also extend Tverberg's theorem to convex splinters.

We introduce selection structures, a topological framework that extends the role played by color classes and matroids in discrete geometry and KKM theorems. Selection structures allow us to extend classic results to genuinely non-matroidal examples, including chessboard complexes and matching complexes. We show that several matroidal versions of classic results can be generalized to selection structures. These include McGinnis' version of Komiya's KKMS theorem, Holmsen's version of Carathéodory's theorem, Kalai and Meshulam's version of Helly's theorem, and Sadovek's version of the Goodman--Pollack transversal theorem.

We study topological analogues of Kalai's cascade conjecture. Given a continuous map from an $n$-simplex to $\mathbb R^d$, let $T_r(f)$ be the set of points contained in the images of $r$ pairwise disjoint faces. We prove that if $r$ is a prime power and $\dim T_r(f)\le k$, then there exists a point that remains an $r$-Tverberg point after any $t$ vertices are deleted, provided $n=(r-1)(d+1)+t(k+1)$. For $t=1$, this gives a topological analogue of a standard consequence of Kalai's cascade conjecture. We also confirm the cascade conjecture for finite point sets whose Radon set is $0$-dimensional.

We give a new simple geometric proof that any seven points in the plane have four Tverberg partitions into three sets. This is the only confirmed non-trivial case of Sierksma's conjecture. Earlier proofs, by Stephan Hell, relied on topological arguments.

In this paper, we study the problem of splitting fairly bundles of items. We show that given $n$ bundles with $m$ kinds of items in them, it is possible to distribute the value of each kind of item fairly among $r$ persons by breaking apart at most $(r-1)m$ bundles. Moreover, we can guarantee that each participant will receive roughly $n/r - mr/2$ full bundles. The proof methods are topological and use a modified form of the configuration space/test map scheme. We obtain optimal results when $r$ is a power of two.

In this paper, we generalize classic mass partition results dealing with partitions using spheres, parallel hyperplanes, or axis-parallel wedges to the setting of mass assignments. In a mass assignment problem, we assign mass distributions continuously to all $k$-dimensional subspaces of $\mathbb{R}^d$, and seek to guarantee the existence of a particular subspace in which more masses can be bisected than those by analyzing the problem in $\mathbb{R}^k$. We prove new mass assignment results for spheres, parallel hyperplanes, and axis-parallel wedges. The proof techniques rely on new Borsuk--Ulam type theorems on spheres and Stiefel manifolds.

In this paper, we prove a result on the bisection of mass assignments by parallel hyperplanes on Euclidean vector bundles. Our methods consist of the development of a novel lifting method to define the configuration space--test map scheme, which transforms the problem to a Borsuk--Ulam-type question on equivariant fiber bundles, along with a new computation of the parametrized Fadell--Husseini index. As the primary application, we show that any $d+k+m-1$ mass assignments to linear $d$-spaces in $\mathbb{R}^{d+m}$ can be bisected by $k $ parallel hyperplanes in at least one $d$-space, provided that the Stirling number of the second kind $S(d+k+m-1, k)$ is odd. This generalizes all known cases of a conjecture by Soberón and Takahashi, which asserts that any $d+k-1$ measures in $\mathbb{R}^d$ can be bisected by $k$ parallel hyperplanes.

In a mass partition problem, we are interested in finding equitable partitions of smooth measures in $\mathbb{R}^d$. In this manuscript, we study the problem of finding simultaneous bisections of measures using scaled copies of a prescribed set $K$. We distinguish the problem when we are allowed to use scaled and translated copies of $K$ and the problem when we are allowed to use scaled isometric copies of $K$. These problems have only previously been studied if $K$ is a half-space or a Euclidean ball. We obtain positive results for simultaneous bisection of any $d+1$ masses for star-shaped compact sets $K$ with non-empty interior, where the conditions on the problem depend on the smoothness of the boundary of $K$. Additional proofs are included for particular instances of $K$, such as hypercubes and cylinders, answering positively a conjecture of Soberón and Takahashi. The proof methods are topological and involve new Borsuk--Ulam-type theorems.

The Tverberg--Vrećica conjecture claims a broad generalization of Tverberg's classical theorem. One of its consequences, the central transversal theorem, extends both the centerpoint theorem and the ham sandwich theorem. In this manuscript, we establish complex analogues of these results, where the corresponding transversals are complex affine spaces. The proofs of the complex Tverberg--Vrećica conjecture and its optimal colorful version rely on the non-vanishing of an equivariant Euler class. Furthermore, we obtain new Borsuk--Ulam-type theorems on complex Stiefel manifolds. These theorems yield complex analogues of recent extensions of the ham sandwich theorem for mass assignments by Axelrod-Freed and Soberón, and provide a direct proof of the complex central transversal theorem.

We prove extensions of Halman's discrete Helly theorem for axis-parallel boxes in $\mathbb{R}^d$. Halman's theorem says that, given a set $S$ in $\mathbb{R}^d$, if $F$ is a finite family of axis-parallel boxes such that the intersection of any $2d$ contains a point of $S$, then the intersection of $F$ contains a point of $S$. We prove colorful, fractional, and quantitative versions of Halman's theorem. For the fractional versions, it is enough to check that many $(d+1)$-tuples of the family contain points of $S$. Among the colorful versions we include variants where the coloring condition is replaced by an arbitrary matroid. Our results generalize beyond axis-parallel boxes to $H$-convex sets.

We prove a common generalization to several mass partition results using hyperplane arrangements to split $\mathbb{R}^d$ into two sets. Our main result implies the ham-sandwich theorem, the necklace splitting theorem for two thieves, a theorem about chessboard splittings with hyperplanes with fixed directions, and all known cases of Langerman's conjecture about equipartitions with $n$ hyperplanes. Our main result also confirms an infinite number of previously unknown cases of the following conjecture of Takahashi and Soberón: For any $d+k-1$ measures in $\mathbb{R}^d$, there exist an arrangement of $k$ parallel hyperplanes that bisects each of the measures. The general result follows from the case of measures that are supported on a finite set with an odd number of points. The proof for this case is inspired by ideas of differential and algebraic topology, but it is a completely elementary parity argument.

A theorem of Grünbaum, which states that every $m$-polytope is a refinement of an $m$-simplex, implies the following generalization of Tverberg's theorem: if $f$ is a linear function from an $m$-dimensional polytope $P$ to $\mathbb{R}^d$ and $m \ge (d + 1)(r - 1)$, then there are $r$ pairwise disjoint faces of $P$ whose images intersect. Moreover, the topological Tverberg theorem implies that this statement is true whenever the map $f$ is continuous and $r$ is a prime power. In this note, we show that for certain families of polytopes the lower bound on the dimension $m$ of the polytopes can be significantly improved, both in the affine and topological cases.

A vast array of envy-free results have been found for the subdivision of one-dimensional resources, such as the interval $[0,1]$. The goal is to divide the space into $n$ pieces and distribute them among $n$ observers such that each receives their favorite pieces. We study high-dimensional versions of these results. We prove that several spaces of convex partitions of $\mathbb{R}^d$ allow for envy-free division among any $n$ observers. We also prove the existence of convex partitions of $\mathbb{R}^d$ which allow for envy-free divisions among several groups of $n$ observers simultaneously.

Given a finite set of points in $\mathbb{R}^d$, Tverberg's theorem guarantees the existence of partitions of this set into parts whose convex hulls intersect. We introduce a graph structured on the family of Tverberg partitions of a given set of points, whose edges describe closeness between different Tverberg partitions. We prove bounds on the minimum and maximum degree of this graph, the number of vertices of maximal degree, its clique number, and its connectedness.

Krasnosselsky's art gallery theorem gives a combinatorial characterization of star-shaped sets in Euclidean spaces, similar to Helly's characterization of finite families of convex sets with non-empty intersection. We study colorful and quantitative variations of Krasnosselsky's result. In particular, we are interested in conditions on a set $K$ that guarantee there exists a measurably large set $K'$ such that every point in $K'$ can see every point in $K$. We prove results guaranteeing the existence of $K'$ with large volume or large diameter.

We study the existence of fair distributions when we have more guests than pieces to allocate, focusing on envy-free distributions among those who receive a piece. The conditions on the demand from the guests can be weakened from those of classic cake-cutting and rent-splitting results of Stromquist, Woodall, and Su. We extend existing variations of the cake-cutting problem with secretive guests and those that resist the removal of any sufficiently small set of guests.