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.

Unbounded Regions of High-Order Voronoi Diagrams of Lines and Line Segments in Higher Dimensions

Half-Plane Voronoi Diagram

Polyline-sourced Geodesic Voronoi Diagrams on Triangle Meshes

The edge labeling of higher order Voronoi diagrams

Voronoi diagrams of algebraic varieties under polyhedral norms

Limits of Voronoi Diagrams

A Note on Visibility-Constrained Voronoi Diagrams

Generalized Voronoi Diagrams and Lie Sphere Geometry

What Else Can Voronoi Diagrams Do For Diameter In Planar Graphs?

A Randomized Algorithm for the Voronoi Diagram of Line Segments on Coarse-Grained Multiprocessors.

Baseline Bounded Half-Plane Voronoi Diagram.

No-dimensional Tverberg Partitions Revisited

A two dimensional analog of the three gap theorem

Data Structures for Halfplane Proximity Queries and Incremental Voronoi Diagrams

The Complexity of Geodesic Voronoi Diagrams on Triangulated 2-Manifold Surfaces

No-dimensional Tverberg Theorems and Algorithms

Voronoi Graph -- Improved raycasting and integration schemes for high dimensional Voronoi diagrams

Bottleneck Partial-Matching Voronoi Diagrams and Applications

On Clustering Induced Voronoi Diagrams

Enumeration of points, lines, planes, etc

Finding the Area and Perimeter Distributions for Flat Poisson Processes of a Straight Line and Voronoi Diagrams