Tverberg's Theorem Is 50 Years Old: A Survey: Imre B Ar Any Pablo Sober On
Tverberg's Theorem Is 50 Years Old: A Survey: Imre B Ar Any Pablo Sober On
Abstract
This survey presents an overview of the advances around Tverberg’s theorem, focusing on the
last two decades. We discuss the topological, linear-algebraic, and combinatorial aspects of Tver-
berg’s theorem and its applications. The survey contains several open problems and conjectures.
1 Introduction
Tverberg’s theorem has been a cornerstone of combinatorial convexity for over fifty years. Its impact
and influence is only comparable to that of the famous and classic theorems of Carathéodory and
Helly. This gem lies at the crossroads of combinatorics, topology, and linear algebra, and continues
to yield challenging and interesting open problems. Its states the following.
Theorem 1 (Helge Tverberg 1966 [?]). Given (r − 1)(d + 1) + 1 points in Rd , there is a partition of
them into r parts whose convex hulls intersect.
1
1.1 Interlude: a short history of Tverberg’s theorem
An early predecessor of Tverberg’s theorem is Radon’s lemma from 1921 [?, ?]. Radon used it in
his proof of Helly’s theorem. It says that any set X of d + 2 points in Rd can be split into two sets
whose convex hulls intersect. So it is the case r = 2 of Tverberg’s theorem. Its proof is simple: the
P P
d + 2 vectors in X have a nontrivial affine dependence x∈X α(x)x = 0 and x∈X α(x) = 0. The
sets X1 = {x ∈ X : α(x) ≥ 0} and X2 = {x ∈ X : α(x) < 0} form a partition of X and their convex
hulls intersect, as one can easily check.
Another result linked to this theorem is Rado’s centerpoint theorem. This states that for any set
X of ln points d
m in R , there is a point p such that any closed half-space that contains p also contains at
n
least d+1 points of X. The standard proof of this result uses Helly’s theorem. Tverberg’s theorem
l m
n
implies it in few lines: setting r = d+1 , there is a partition of X into r parts X1 , . . . , Xr and a point
r
p ∈ Rd such that p ∈ j=1 conv Xj . Then p is a centerpoint of X: every closed halfspace containing
T
2 Topological versions
3 Colorful versions