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.

Nonempty interior of configuration sets via microlocal partition optimization

Nonempty interior of configuration sets via microlocal partition optimization

A Mattila-Sjölin theorem for simplices in low dimensions

No-dimensional Tverberg Partitions Revisited

Triangles with one fixed side‚Äďlength, a Furstenberg-type problem, and incidences in finite vector spaces

Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. III. Foundations for the k-Dimensional Case with Applications to k=2

Intersections of sets, diophantine equations and Fourier analysis

On Optimal Point Sets Determining Distinct Triangles

Similar point configurations via group actions

Happy Ending: An Empty Hexagon in Every Set of 30 Points

On the Fine-Grained Complexity of Small-Size Geometric Set Cover and Discrete $k$-Center for Small $k$

Colorful Intersections and Tverberg Partitions

Evasive Sets, Covering by Subspaces, and Point-Hyperplane Incidences

Hausdorff dimension of plane sections and general intersections

Triangulated 3-Manifolds: Combinatorics and Volume Optimisation

Intersections of matroids

Lattice tilings minimizing nonlocal perimeters

Lower bounds and integrality gaps in simplicial decomposition

Finite Point Configurations and the Regular Value Theorem in a Fractal setting

No-dimensional Tverberg Theorems and Algorithms