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

On the uniformity and size of microsets

No-dimensional Tverberg Partitions Revisited

Similar point configurations via group actions

Intersections of sets, diophantine equations and Fourier analysis

Colorful Intersections and Tverberg Partitions

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

Hausdorff dimension of plane sections and general intersections

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

Volumes spanned by $k$ point configurations in $\mathbb{R}^d$

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

On Optimal Point Sets Determining Distinct Triangles

Interior of certain sums and continuous images of very thin Cantor sets

No-dimensional Tverberg Theorems and Algorithms

Tight colorful no-dimension Tverberg theorem

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

Local Differences Determined by Convex sets

A necessary and sufficient condition for $k$-transversals