Plus minus analogues for affine Tverberg type results

DOI10.1007/S00454-019-00120-YMaRDI QIDQ2197697zbMATH OpenOpenAlexFDO

Authors Pavle V. M. Blagojević, Günter M. Ziegler

Publication date 1 September 2020

Published in Discrete \& Computational Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1905.07715

zbMATH Keywords

colored Tverberg theoremprojective transformationsTverberg plus minusTverberg theorem

Mathematics Subject Classification ID

Helly-type theorems and geometric transversal theory (52A35) Arrangements of points, flats, hyperplanes (aspects of discrete geometry) (52C35)

Abstract: 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'ar'any and Sober'on 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 the optimal colored Tverberg theorem.

Review text

For a face \(\mu\) of a simplex \(\Delta\), denote by \(\mu^{\prime}\) the complementary face of \(\Delta\). The Tverberg plus minus theorem is due to \textit{I. Bárány} and \textit{P. Soberón} [Discrete Comput. Geom. 60, No. 3, 588--598 (2018; Zbl 1401.52014)] and it has the following enounce: Let \(d \geq 1\), \(r \geq 2\) be integers, \(N = (r - 1)(d + 1)\) and let \(a\) be an affine map of the \(N\)-dimensional simplex \(\Delta_N\) into the Euclidean space \(\mathbb{R}^d\). Furthermore, let \(\mu\) be a face of \(\Delta_N\) of dimension at most \(r - 2\) with \(a(\mu) \cap a(\mu^{\prime}) = \emptyset\). Then there exist \(r\) pairwise disjoint proper faces \(\sigma_1, \dots, \sigma_r\) of \(\Delta_N\) and there exists a point \(b \in \operatorname{aff}(a(\sigma_1)) \cap \dots \cap \operatorname{aff}(a(\sigma_r))\) such that for its \(r\) affine representations: \[ b = \sum_{v \in \operatorname{vert} \sigma_i} \alpha_v a(v), \sum_{v \in \operatorname{vert} \sigma_i} \alpha_v = 1, \; i = 1, \dots, r \] the following implications hold: \[ v \in \operatorname{vert} \mu \Longrightarrow a(v)\leq 0\; \text{ and } v \in \operatorname{vert} \mu^{\prime} \Longrightarrow a(v)\geq 0. \] Using an appropriate projective transformation, the authors show that the Tverberg plus minus theorem is a corollary of the classical Tverberg theorem. The new proof allows to directly derive plus minus analogues of other known affine Tverberg type results.

Recommendations

• scientific article; zbMATH DE number 940709
• Tverberg plus minus
• scientific article; zbMATH DE number 679669
• Generalization and sharpening of Safta's conjecture in the \(n\)-dimensional space
• Algorithmic copositivity detection by simplicial partition
• Radii minimal projections of polytopes and constrained optimization of symmetric polynomials
• scientific article; zbMATH DE number 68290
• On the number of Tverberg partitions in the prime power case
• An inequality for simplices

Cites work

• 3N colored points in a plane
• A Colored Version of Tverberg's Theorem
• A Generalization of Radon's Theorem
• Beyond the Borsuk–Ulam Theorem: The Topological Tverberg Story
• Optimal bounds for a colorful Tverberg-Vrećica type problem
• Optimal bounds for the colored Tverberg problem
• Tverberg plus minus
• Tverberg's Theorem at 50: Extensions and Counterexamples
• Tverberg’s theorem is 50 years old: A survey
• Using the Borsuk-Ulam theorem. Lectures on topological methods in combinatorics and geometry. Written in cooperation with Anders Björner and Günter M. Ziegler

Cited in

(1)

• Tverberg plus minus

This page was built for publication: Plus minus analogues for affine Tverberg type results

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2197697)