Abstract:Tverberg's theorem states that for any $k \ge 2$ and any set $P \subset \mathbb{R}^d$ of at least $(d + 1)(k - 1) + 1$ points in $d$ dimensions, we can partition $P$ into $k$ subsets whose convex hulls have a non-empty intersection. The associated search problem of finding the partition lies in the complexity class $\text{CLS} = \text{PPAD} \cap \text{PLS}$, but no hardness results are known. In the colorful Tverberg theorem, the points in $P$ have colors, and under certain conditions, $P$ can be partitioned into colorful sets, in which each color appears exactly once and whose convex hulls intersect. To date, the complexity of the associated search problem is unresolved. Recently, Adiprasito, Barany, and Mustafa gave a no-dimensional Tverberg theorem, in which the convex hulls may intersect in an approximate fashion. This relaxes the requirement on the cardinality of $P$. The argument is constructive, but does not result in a polynomial-time algorithm. We present a deterministic algorithm that finds for any $n$-point set $P \subset \mathbb{R}^d$ and any $k \in \{2, \dots, n\}$ in $O(nd \lceil{\log k}\rceil)$ time a $k$-partition of $P$ such that there is a ball of radius $O\left((k/\sqrt{n})\mathrm{diam(P)}\right)$ that intersects the convex hull of each set. Given that this problem is not known to be solvable exactly in polynomial time, our result provides a remarkably efficient and simple new notion of approximation. Our main contribution is to generalize Sarkaria's method to reduce the Tverberg problem to the Colorful Caratheodory problem (in the simplified tensor product interpretation of Barany and Onn) and to apply it algorithmically. It turns out that this not only leads to an alternative algorithmic proof of a no-dimensional Tverberg theorem, but it also generalizes to other settings such as the colorful variant of the problem.

On Boltyanski and Gohberg's Partition Conjecture

Borsuk’s Partition Conjecture

Borsuk's Problem in Metric Spaces

On the number of high‐dimensional partitions

On the number of high-dimensional partitions

No-dimensional Tverberg Partitions Revisited

A Computer Program for Borsuk's Conjecture

Small Shadow Partitions

Variations on Bollobás systems of $d$-partitions

A quantitative program for Hadwiger’s covering conjecture

On the number of partitions of the hypercube ${\bf Z}_q^n$ into large subcubes

Partitioning the hypercube into smaller hypercubes

Bounds for the number of multidimensional partitions

Partition problems in high dimensional boxes

On combinatorial problem concerning partitions of a box into boxes

An overpartition analogue of Bressoud's conjecture for even moduli

Some new Bollobás-type inequalities

No-dimensional Tverberg Theorems and Algorithms

High-dimensional envy-free partitions

Bounds on hyperbolic sphere packings: On a conjecture by Cohn and Zhao

A proof of the Erdős-Sands-Sauer-Woodrow conjecture