18 research outputs found
A Tverberg type theorem for matroids
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 \sigma_1,\ldots,\sigma_t \in M
such that \bigcap_{i=1}^t f(\sigma_i) \neq \emptyset.Comment: This article is due to be published in the collection of papers "A
Journey through Discrete Mathematics. A Tribute to Jiri Matousek" edited by
Martin Loebl, Jaroslav Nesetril and Robin Thomas, due to be published by
Springe
Eliminating higher-multiplicity intersections in the metastable dimension range
The -fold analogues of Whitney trick were `in the air' since 1960s.
However, only in this century they were stated, proved and applied to obtain
interesting results. Here we prove and apply a version of the -fold Whitney
trick when general position -tuple intersections have positive dimension.
Theorem. Assume that is disjoint union of
-dimensional disks, , and a proper PL (smooth)
map such that . If the map
extends to
, then there is a proper PL (smooth) map such that on and .Comment: 13 pages, 2 figures, exposition improve
Stronger counterexamples to the topological Tverberg conjecture
Denote by the -dimensional simplex. A map is an almost -embedding if whenever are pairwise disjoint
faces. A counterexample to the topological Tverberg conjecture asserts that if
is not a prime power and , then there is an almost -embedding
. This was improved by
Blagojevi\'c-Frick-Ziegler using a simple construction of higher-dimensional
counterexamples by taking -fold join power of lower-dimensional ones. We
improve this further (for large compared to ):
If is not a prime power and
, then there is an almost
-embedding .
For the -fold van Kampen-Flores conjecture we also produce counterexamples
which are stronger than previously known. Our proof is based on generalizations
of the Mabillard-Wagner theorem on construction of almost -embeddings from
equivariant maps, and of the \"Ozaydin theorem on existence of equivariant
maps.Comment: 7 page
LIPIcs
The Tverberg theorem is one of the cornerstones of discrete geometry. It states that, given a set X of at least (d+1)(r-1)+1 points in R^d, one can find a partition X=X_1 cup ... cup X_r of X, such that the convex hulls of the X_i, i=1,...,r, all share a common point. In this paper, we prove a strengthening of this theorem that guarantees a partition which, in addition to the above, has the property that the boundaries of full-dimensional convex hulls have pairwise nonempty intersections. Possible generalizations and algorithmic aspects are also discussed. As a concrete application, we show that any n points in the plane in general position span floor[n/3] vertex-disjoint triangles that are pairwise crossing, meaning that their boundaries have pairwise nonempty intersections; this number is clearly best possible. A previous result of Alvarez-Rebollar et al. guarantees floor[n/6] pairwise crossing triangles. Our result generalizes to a result about simplices in R^d,d >=2