We introduce a new ``Winding Number Conjecture'' about maps from the $(d-1)$-skeleton of the $((d+1)(q-1))$-simplex into $\real^d$. This conjecture is equivalent to the Topological Tverberg Theorem. Furthermore, many statements about the Topological Tverberg Theorem transfer to the Winding Number Conjecture, for example all currently proven cases of the Topological Tverberg Theorem as well as Sierksma's conjecture about the number of Tverberg partitions.
In the case $d=2$, the Winding Number Conjecture is a statement about complete graphs: It claims that in every image of $K_{3(q-1)+1}$ in the plane either $q-1$ triangles wind around one vertex or $q-2$ triangles wind around the intersection of two edges, where the triangles, edges and vertices are disjoint. We examine which other graphs have this property and find the minimal subgraph of $K_7$ having this property.
In this paper we present a proof of the BMZ Reduction Lemma with a motivational perspective, and state this lemma for maps to manifolds using the classical definition of cohomological dimension. The lemma, proved and utilized in [4], gives a geometrical insight in the proof of the BMZ colored topological Tverberg theorem.
We present projective versions of the center point theorem and Tverberg's theorem, interpolating between the original and the so-called "dual" center point and Tverberg theorems. Furthermore we give a common generalization of these and many other known (transversal, constraint, dual, and colorful) Tverberg type results in a single theorem, as well as some essentially new results about partitioning measures in projective space.
In this paper, we present some results related to Barany-Larman colored problem and The Zivaljevic and Vrecica colored Tverberg problem. We give an alternative proof for the Barany-Larman Conjecture for primes -1 and the optimal colored Tverberg theorem. Also, we prove generalizations of the Colored Tverberg theorem of Zivaljevic and Vrecica.
In this paper, we prove a version of the Colored Tverberg Theorem with new constraints on the faces, in which we limit the number of faces with each one of the colors.
Many of the strengthenings and extensions of the topological Tverberg theorem can be derived with surprising ease directly from the original theorem: For this we introduce a proof technique that combines a concept of "Tverberg unavoidable subcomplexes" with the observation that Tverberg points that equalize the distance from such a subcomplex can be obtained from maps to an extended target space. Thus we obtain simple proofs for many variants of the topological Tverberg theorem, such as the colored Tverberg theorem of Zivaljevic and Vrecica (1992). We also get a new strengthened version of the…
Using equivariant obstruction theory we construct equivariant maps from certain classifying spaces to representation spheres for cyclic groups, product of elementary Abelian groups and dihedral groups. Restricting them to finite skeleta constructs equivariant maps between spaces which are related to the topological Tverberg conjecture. This answers negatively a question of Özaydin posed in relation to weaker versions of the same conjecture. Further, it also has consequences for Borsuk-Ulam properties of representations of cyclic and dihedral groups.
The topological Tverberg theorem states that any continuous map of a $(d+1)(r-1)$-simplex into the Euclidean $d$-space maps some points from $r$ pairwise disjoint faces of the simplex to the same point whenever $r$ is a prime power. We substantially generalize this theorem to continuous maps of certain CW complexes, including simplicial $((d+1)(r-1)-1)$-spheres, into the Euclidean $d$-space. We also discuss the atomicity of the Tverberg property.
The main result of this paper is a "colored Tverberg theorem for rainbow-unavoidable complexes". This theorem may be considered as a merging of two theorems: "Tverberg theorem for collectively unavoidable complexes" and "balanced colored Tverberg theorem". The main tool for the proof is discrete Morse theory.
We prove a "Tverberg type" multiple intersection theorem. It strengthens the prime case of the original Tverberg theorem from 1966, as well as the topological Tverberg theorem of Barany et al. (1980), by adding color constraints. It also provides an improved bound for the (topological) colored Tverberg problem of Barany & Larman (1992) that is tight in the prime case and asymptotically optimal in the general case. The proof is based on relative equivariant obstruction theory.
We prove a relative of the Optimal (Type B)} Colored Tverberg theorem of Živaljević and Vrećica which modifies this results in two different ways. (1) Our result is valid if the number of rainbow faces is $q= p^n-1$, where $p$ is a prime. (2) The size of rainbow simplices satisfies the condition $\vert C_i\vert \in \{2q-2, 2q+1\}$ while in the original theorem $\vert C_i\vert = 2q-1$ for all $i$.
In this paper we use the strength of the constraint method in combination with a generalized Borsuk-Ulam type theorem and a cohomological intersection lemma to show how one can obtain many new topological transversal theorems of Tverberg type. In particular, we derive a topological generalized transversal Van Kampen-Flores theorem and a topological transversal weak colored Tverberg theorem.
The topological Tverberg theorem states that for any prime power q and continuous map from a (d+1)(q-1)-simplex to R}^d, there are q disjoint faces F_i of the simplex whose images intersect. It is possible to put conditions on which pairs of vertices of the simplex that are allowed to be in the same face F_i. A graph with the same vertex set as the simplex, and with two vertices adjacent if they should not be in the same F_i, is called a Tverberg graph if the topological Tverberg theorem still work. These graphs have been studied by Hell, Schoneborn and Ziegler, and it is known that disjoint u…
In 1989 H. Tverberg proposed a quite general conjecture in Discrete geometry, which could be considered as the common basis for many results in Combinatorial geometry and at the same time as a discrete analogue of the common transversal theorems. It implies or contains as the special cases many classical "coincidence" results such as Radon's theorem, Rado's theorem, the Ham-sandwich theorem, the nonembeddability results (of graphs in the plane) etc. The main goal of this note is to verify this conjecture in one new, non-trivial case. We obtain the continuous version of the conjecture. So, it i…
We prove that any continuous map of an N-dimensional simplex Delta_N with colored vertices to a d-dimensional manifold M must map r points from disjoint rainbow faces of Delta_N to the same point in M: For this we have to assume that N \geq (r-1)(d+1), no r vertices of Delta_N get the same color, and our proof needs that r is a prime. A face of Delta_N is a rainbow face if all vertices have different colors. This result is an extension of our recent "new colored Tverberg theorem", the special case of M=R^d. It is also a generalization of Volovikov's 1996 topological Tverberg theorem for maps t…
We prove a new theorem of Tverberg type which confirms the conjecture of Blagojevic, Frick, and Ziegler about the existence of "balanced Tverberg partitions" (Conjecture 6.6 in, Tverberg plus constraints, Bull. London Math. Soc., 46 (2014) 953-967). The proof relies on the connectivity and shellability properties of multiple chessboard complexes and their symmetric analogues.
The topological Tverberg theorem claims that for any continuous map of the (q-1)(d+1)-simplex to R^d there are q disjoint faces such that their images have a non-empty intersection. This has been proved for affine maps, and if $q$ is a prime power, but not in general. We extend the topological Tverberg theorem in the following way: Pairs of vertices are forced to end up in different faces. This leads to the concept of constraint graphs. In Tverberg's theorem with constraints, we come up with a list of constraints graphs for the topological Tverberg theorem. The proof is based on connectivity r…
We prove a "multiple colored Tverberg theorem" and a "balanced colored Tverberg theorem", by applying different methods, tools and ideas. The proof of the first theorem uses multiple chessboard complexes (as configuration spaces) and Eilenberg-Krasnoselskii theory of degrees of equivariant maps for non-free actions. The proof of the second result relies on high connectivity of the configuration space, established by discrete Morse theory.
In this paper we consider some results on intersection between rays and a given family of convex, compact sets. These results are similar to the center point theorem, and Tverberg's theorem on partitions of a point set.
The type A colored Tverberg theorem of Blagojević, Matschke, and Ziegler provides optimal bounds for the colored Tverberg problem, under the condition that the number of intersecting rainbow simplices is a prime number. We extend this result to an optimal, type A colored Tverberg theorem for multisets of colored points, which is valid for each prime power $r=p^k$. One of the principal new ideas is to replace the ambient simplex $Δ^N$, used in the original Tverberg theorem, by an "abridged simplex" of smaller dimension, and to compensate for this reduction by allowing vertices to repeatedly app…
The topological Tverberg theorem has been generalized in several directions by setting extra restrictions on the Tverberg partitions. Restricted Tverberg partitions, defined by the idea that certain points cannot be in the same part, are encoded with graphs. When two points are adjacent in the graph, they are not in the same part. If the restrictions are too harsh, then the topological Tverberg theorem fails. The colored Tverberg theorem corresponds to graphs constructed as disjoint unions of small complete graphs. Hell studied the case of paths and cycles. In graph theory these partitions are…
In this paper we give an asymptotically tight bound for the tolerated Tverberg Theorem when the dimension and the size of the partition are fixed. To achieve this we study certain partitions of order-type homogeneous sets and use a generalization of the Erdős-Szekeres theorem.
Using the authors' 2014 "constraints method," we give a short proof for a 2015 result of Dobbins on representations of a point in a polytope as the barycenter of points in a skeleton, and show that the "r-fold Whitney trick" of Mabillard and Wagner (2014/2015) implies that the Topological Tverberg Conjecture for r-fold intersections fails dramatically for all r that are not prime powers.
Bárány, Kalai, and Meshulam recently obtained a topological Tverberg-type theorem for matroids, which guarantees multiple coincidences for continuous maps from a matroid complex to d-dimensional Euclidean space, if the matroid has sufficiently many disjoint bases. They make a conjecture on the connectivity of k-fold deleted joins of a matroid with many disjoint bases, which would yield a much tighter result - but we provide a counterexample already for the case of k=2, where a tight Tverberg-type theorem would be a topological Radon theorem for matroids. Nevertheless, we prove the topological …
I describe the history of Topological Tverberg Theorem. I present some important constructions and discuss their properties. In particular, I describe in details the cell structure of the classifying space $K\left( S_{r},1\right),$ where $S_{r}$ is the permutation group. I also clarify some bibliographical issues.
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 Tverberg's theorem and its applications. The survey contains several open problems and conjectures.
The "topological Tverberg conjecture" by Bárány, Shlosman and Szűcs (1981) states that any continuous map of a simplex of dimension $(r-1)(d+1)$ to $\mathbb{R}^d$ maps points from $r$ disjoint faces of the simplex to the same point in $\mathbb{R}^d$. This was established for affine maps by Tverberg (1966), for the case when $r$ is a prime by Bárány et al., and for prime power $r$ by Özaydin (1987). We combine the generalized van Kampen theorem announced by Mabillard and Wagner (2014) with the constraint method of Blagojević, Ziegler and the author (2014), and thus prove the existence of counte…
Bárány's "topological Tverberg conjecture" from 1976 states that any continuous map of an $N$-simplex $Δ_N$ to $\mathbb{R}^d$, for $N\ge(d+1)(r-1)$, maps points from $r$ disjoint faces in $Δ_N$ to the same point in $\mathbb{R}^d$. The proof of this result for the case when $r$ is a prime, as well as some colored version of the same result, using the results of Borsuk-Ulam and Dold on the non-existence of equivariant maps between spaces with a free group action, were main topics of Matoušek's 2003 book "Using the Borsuk-Ulam theorem." In this paper we show how advanced equivariant topology meth…
This paper presents sixteen quantitative versions of the classic Tverberg, Helly, & Caratheodory theorems in combinatorial convexity. Our results include measurable or enumerable information in the hypothesis and the conclusion. Typical measurements include the volume, the diameter, or the number of points in a lattice.
We prove the following optimal colorful Tverberg-Vrecica type transversal theorem: For prime r and for any k+1 colored collections of points C^l of size |C^l|=(r-1)(d-k+1)+1 in R^d, where each C^l is a union of subsets (color classes) C_i^l of size smaller than r, l=0,...,k, there are partition of the collections C^l into colorful sets F_1^l,...,F_r^l such that there is a k-plane that meets all the convex hulls conv(F_j^l), under the assumption that r(d-k) is even or k=0. Along the proof we obtain three results of independent interest: We present two alternative proofs for the special case k=0…
The classical 1966 theorem of Tverberg with its numerous variations was and still is a motivating force behind many important developments in convex and computational geometry as well as the testing ground for methods from equivariant algebraic topology. In 2018, Bárány and Soberón presented a new variation, the "Tverberg plus minus theorem." In this paper, we give a new proof of the Tverberg plus minus theorem, by using a projective transformation. The same tool allows us to derive plus minus analogues of all known affine Tverberg type results. In particular, we prove a plus minus analogue of…
We obtain algorithms for computing Tverberg partitions based on centerpoint approximations. This applies to a wide range of convexity spaces, from the classic Euclidean setting to geodetic convexity in graphs. In the Euclidean setting, we present probabilistic algorithms which are weakly polynomial in the number of points and the dimension. For geodetic convexity in graphs, we obtain deterministic algorithms for cactus graphs and show that the general problem of finding the Radon number is NP-hard.
The Topological Tverberg Theorem claims that any continuous map of a (q-1)(d+1)-simplex to \R^d identifies points from q disjoint faces. (This has been proved for affine maps, for d=1, and if q is a prime power, but not yet in general.) The Topological Tverberg Theorem can be restricted to maps of the d-skeleton of the simplex. We further show that it is equivalent to a ``Winding Number Conjecture'' that concerns only maps of the (d-1)-skeleton of a (q-1)(d+1)-simplex to \R^d. ``Many Tverberg partitions'' arise if and only if there are ``many q-winding partitions.'' The d=2 case of the Winding…
We prove a Tverberg-type theorem using the probabilistic method. Given $\varepsilon >0$, we find the smallest number of partitions of a set $X$ in $R^d$ into $r$ parts needed in order to induce at least one Tverberg partition on every subset of $X$ with at least $\varepsilon |X|$ elements. This generalizes known results about Tverberg's theorem with tolerance.
We discuss five discrete results: the lemmas of Sperner and Tucker from combinatorial topology and the theorems of Carathéodory, Helly, and Tverberg from combinatorial geometry. We explore their connections and emphasize their broad impact in application areas such as game theory, graph theory, mathematical optimization, computational geometry, etc.
For a finite set $S$ of points in the plane and a graph with vertices on $S$ consider the disks with diameters induced by the edges. We show that for any odd set $S$ there exists a Hamiltonian cycle for which these disks share a point, and for an even set $S$ there exists a Hamiltonian path with the same property. We discuss high-dimensional versions of these theorems and their relation to other results in discrete geometry.
The topological Tverberg conjecture was considered a central unsolved problem of topological combinatorics. The conjecture asserts that for any integers $r,d>1$ and any continuous map $f:Δ\to\mathbb R^d$ of the $(d+1)(r-1)$-dimensional simplex there are pairwise disjoint faces $σ_1,\ldots,σ_r\subsetΔ$ such that $f(σ_1)\cap \ldots \cap f(σ_r)\ne\emptyset$. The conjecture was proved for a prime power $r$. Recently counterexamples for other $r$ were found. Analogously, the $r$-fold van Kampen-Flores conjecture holds for a prime power $r$ but does not hold for other $r$. The arguments form a beaut…
In this paper we show a variant of colorful Tverberg's theorem which is valid in any matroid: Let $S$ be a sequence of non-loops in a matroid $M$ of finite rank $m$ with closure operator cl. Suppose that $S$ is colored in such a way that the first color does not appear more than $r$-times and each other color appears at most $(r-1)$-times. Then $S$ can be partitioned into $r$ rainbow subsequences $S_1,\ldots, S_r$ such that $cl\,\emptyset\subsetneq cl\,S_1\subseteq cl\, S_2\subseteq \ldots \subseteq cl\,S_r$. In particular, $\emptyset\neq \bigcap_{i=1}^r cl\,S_i$. A subsequence is called rainb…
Tverberg's theorem says that a set with sufficiently many points in $\mathbb{R}^d$ can always be partitioned into $m$ parts so that the $(m-1)$-simplex is the (nerve) intersection pattern of the convex hulls of the parts. The main results of our paper demonstrate that Tverberg's theorem is but a special case of a more general situation. Given sufficiently many points, all trees and cycles can also be induced by at least one partition of a point set.
This paper discusses Tverberg-type theorems with coordinate constraints (i.e., versions of these theorems where all points lie within a subset $S \subset \mathbb{R}^d$ and the intersection of convex hulls is required to have a non-empty intersection with $S$). We determine the $m$-Tverberg number, when $m \geq 3$, of any discrete subset $S$ of $\mathbb{R}^2$ (a generalization of an unpublished result of J.-P. Doignon). We also present improvements on the upper bounds for the Tverberg numbers of $\mathbb{Z}^3$ and $\mathbb{Z}^j \times \mathbb{R}^k$ and an integer version of the well-known posit…
We prove (Theorem 2.4) that the symmetrized deleted join $SymmDelJoin(\mathcal{K})$ of a "balanced family" $\mathcal{K} = \langle K_i\rangle_{i=1}^r$ of collectively $r$-unavoidable subcomplexes of $2^{[m]}$ is $(m-r-1)$-connected. As a consequence we obtain a Tverberg-Van Kampen-Flores type result (Theorem 3.2) which is more conceptual and more general then previously known results. Already the case $r=2$ of Theorem 3.2 seems to be new as an extension of the classical Van Kampen-Flores theorem. The main tool used in the paper is R. Forman's discrete Morse theory.
This paper presents a new variation of Tverberg's theorem. Given a discrete set $S$ of $R^d$, we study the number of points of $S$ needed to guarantee the existence of an $m$-partition of the points such that the intersection of the $m$ convex hulls of the parts contains at least $k$ points of $S$. The proofs of the main results require new quantitative versions of Helly's and Carathéodory's theorems.
Balanced Sperner families via the topological Tverberg theorem
Research Center for Mathematics and Interdisciplinary Sciences, Shandong University（山东大学数学交叉科学研究中心）；Frontiers Science Center for Nonlinear Expectations, Ministry of Education（教育部非线性期望前沿科学中心）；School of Mathematical Sciences, Zhejiang University（浙江大学数学科学学院）
We use the probabilistic method to obtain versions of the colorful Carathéodory theorem and Tverberg's theorem with tolerance. In particular, we give bounds for the smallest integer $N=N(t,d,r)$ such that for any $N$ points in $R^d$, there is a partition of them into $r$ parts for which the following condition holds: after removing any $t$ points from the set, the convex hulls of what is left in each part intersect. We prove the bound $N=rt+O(\sqrt{t})$ for fixed $r,d$ which is polynomial in each parameters. Our bounds extend to colorful versions of Tverberg's theorem, as well as Reay-type var…
The well know theorem of Tverberg states that if n > (d+1)(r-1) then one can partition any set of n points in R^d to r disjoint subsets whose convex hulls have a common point. The numbers T(d,r) = (d + 1)(r - 1) + 1 are known as Tverberg numbers. Reay asks the following question: if we add an additional parameter k (1 < k < r+1) what is the minimal number of points we need in order to guarantee that there exists an r partition of them such that any k of the r convex hulls intersect. This minimal number is denoted by T(d,r,k). Reay conjectured that T(d,r,k) = T(d,r) for all d,r and k. In this a…
A result of Rosenthal says that for every $q>1$ and $n \in \mathbb{N}$ there is $N \in \mathbb{N}$ such that every sequence of $N$ distinct positive numbers contains, after a suitable translation and possible multiplication by $-1$, a subsequence $a_1,\ldots,a_n$ that is either $q$-increasing (that is, $a_{i+1}>qa_i$ for all $i$) or $1/q$-decreasing ($a_{i+1}<a_i/q$ for all $i$). One of our main theorems extends this result to vector sequences. This theorem is then used to prove the universality theorem for Tverberg partitions which says that, for every $d$ and $r$, every long enough sequence …
The colored Tverberg theorem asserts that for every d and r there exists t=t(d,r) such that for every set C in R^d of cardinality (d+1)t, partitioned into t-point subsets C_1,C_2,...,C_{d+1} (which we think of as color classes; e.g., the points of C_1 are red, the points of C_2 blue, etc.), there exist r disjoint sets R_1,R_2,...,R_r \subseteq C that are "rainbow", meaning that |R_i \cap C_j| < 2 for every i,j, and whose convex hulls all have a common point. All known proofs of this theorem are topological. We present a geometric version of a recent beautiful proof by Blagojević, Matschke, and…
In 2009, Blagojevic, Matschke & Ziegler established the first tight colored Tverberg theorem, but no lower bounds for the number of colored Tverberg partitions. We develop a colored version of our previous results (2008), and we extend our results from the uncolored version: Evenness and non-trivial lower bounds for the number of colored Tverberg partitions. This follows from similar results on the number of colored Birch partitions.
We prove a no-dimensional version of Carathédory's theorem: given an $n$-element set $P\subset \Re^d$, a point $a \in \conv P$, and an integer $r\le d$, $r \le n$, there is a subset $Q\subset P$ of $r$ elements such that the distance between $a$ and $\conv Q$ is less than $\diam P/\sqrt {2r}$. A general no-dimension Helly type result is also proved with colourful and fractional consequences. Similar versions of Tverberg's theorem and some of their extensions are also established.
Let b(M) denote the maximal number of disjoint bases in a matroid M. It is shown that if M is a matroid of rank d+1, then for any continuous map f from the matroidal complex M into the d-dimensional Euclidean space there exist t \geq \sqrt{b(M)}/4 disjoint independent sets σ_1,\ldots,σ_t \in M such that \bigcap_{i=1}^t f(σ_i) \neq \emptyset.
