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.

A Short Proof of the Toughness of Delaunay Triangulations

Rigidity of the Delaunay triangulations of the plane

THE EXPECTED EXTREMES IN A DELAUNAY TRIANGULATION

Revisiting Random Points: Combinatorial Complexity and Algorithms

Formal study of plane Delaunay triangulation

A Remark on the Rigidity of Delaunay Triangulated Plane

Constructing Intrinsic Delaunay Triangulations from the Dual of Geodesic Voronoi Diagrams

Proximal Delaunay Triangulation Regions

Some Counterexamples for Compatible Triangulations

Weighted Voronoi-Delaunay dual on polyhedral surfaces and its finiteness

No-dimensional Tverberg Theorems and Algorithms

Almost Congruent Triangles

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

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

An obstruction to Delaunay triangulations in Riemannian manifolds

No-dimensional Tverberg Partitions Revisited

Short proofs of Tverberg-type theorems for cell complexes

Representing Infinite Periodic Hyperbolic Delaunay Triangulations Using Finitely Many Dirichlet Domains

Constructing Intrinsic Delaunay Triangulations of Submanifolds

A colorful Goodman-Pollack-Wenger theorem

Constrained Delaunay Tetrahedrization: A Robust and Practical Approach