[论文解读] A generalization of Tverberg's Theorem

Micha A. Perles, Moriah Sigron|arXiv (Cornell University)|Oct 25, 2007

Matrix Theory and Algorithms参考文献 5被引用 12

一句话总结

本文证明了 Reay 的猜想：在若干情况下，Tverberg 数 $T(d,r,k)$ 等于经典的 Tverberg 数 $T(d,r) = (d+1)(r-1)+1$，包括当 $k \geq \lfloor (d+3)/2 \rfloor$ 时，当 $d < \frac{rk}{r-k} - 1$ 时，以及特定值 $d=3,r=4,k=2$ 和 $d=5,r=3,k=2$ 的情况。证明基于从原点出发的 $d+1$ 条射线，每条射线上放置 $r-1$ 个点的几何构造，并通过微扰方法表明：当 $n = T(d,r)-1$ 时，任意 $r$-划分必须有 $k$ 个部分的凸包互不相交。关键贡献在于在广泛的参数范围内确立了该猜想，支持了即使在较弱的交集条件下，Tverberg 型划分的紧致性仍与最初设想一致的观点。

ABSTRACT

The well know theorem of Tverberg states that if n &gt; (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 &lt; k &lt; 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 article we prove that this is true for the following cases: when k &gt; [ (d+3)/2 ]-1 or when d &lt; rk/(r-k)-1 and for the specific values d = 3; r = 4; k = 2 and d = 5; r = 3; k = 2.

研究动机与目标

• 研究 Reay 的猜想是否成立，即对所有 $2 \leq k \leq r$，有 $T(d,r,k) = T(d,r)$，这意味着在 $r$-划分中实现 $k$-重凸包交集所需的最少点数等于经典的 Tverberg 数。
• 确定当要求从完全的 $r$-重交集减弱为 $k$-重凸包交集时，Tverberg 数 $T(d,r)$ 是否仍保持紧致性，其中 $k < r$。
• 构造显式反例（即包含 $T(d,r)-1$ 个点的集合），这些集合无法被划分为 $r$ 个部分使得其凸包在 $k$-重意义下相交，从而在特定情况下证明该猜想。
• 通过从原点出发的射线及微扰方法，研究极值构型的几何结构，以证明 $T(d,r)$ 个点对于 $k$-重 Tverberg 划分是必要的。

提出的方法

• 通过在 $\mathbb{R}^d$ 中从原点出发的 $d+1$ 条射线上各放置 $r-1$ 个点，构造一个包含 $(d+1)(r-1)$ 个点的集合 $X$，使其正张成该空间。
• 利用仿射相关性和凸几何方法，证明当 $n = T(d,r)-1$ 时，$X$ 的任意 $r$-划分必须有 $k$ 个部分的凸包互不相交，从而推出 $T(d,r,k) \geq T(d,r)$。
• 通过使用精心选择的向量 $\vec{u}, \vec{u}^\prime, \vec{u}^{\prime\prime}$ 对特定射线上的点施加微扰，以受控方式分离不同颜色类（如红色、蓝色、黄色）的凸包。
• 应用命题 5.0.3，正式验证微扰不会破坏坏划分中凸包的非交集性，确保构造的有效性。
• 分析射线的顺序和颜色分配（如红-蓝、黄-蓝），对划分进行分类，表明仅有有限多个超平面可能分离凸包，从而实现有限验证。
• 利用 Helly 定理简化问题：当 $k \geq d+1$ 时，$k$-重交集蕴含完全的 $r$-重交集，因此 $T(d,r,k) = T(d,r)$ 显然成立。

实验结果

研究问题

• RQ1 Reay 的猜想 $T(d,r,k) = T(d,r)$ 是否对所有 $2 \leq k \leq r$ 和所有 $d,r$ 成立？
• RQ2 当仅要求凸包的 $k$-重交集而非完全的 $r$-重交集时，Tverberg 数 $T(d,r)$ 是否仍能保持紧致性？
• RQ3 在哪些 $d$、$r$ 和 $k$ 的范围内，可以构造出包含 $T(d,r)-1$ 个点的集合，使得其无法被划分为 $r$ 个部分且满足 $k$-重凸包交集？
• RQ4 是否可以使用从原点出发的 $d+1$ 条射线，每条射线上有 $r-1$ 个点，并通过微扰来强制所有 $k$-元组的凸包不相交，从而构造出此类极值集合？
• RQ5 该猜想是否可对 $k=2$ 及更大的 $d$ 成立，特别是 $T(d,3,2)$？对于大的 $d$，是否成立 $T(d,3,2) < 2d+3$？

主要发现

• 当 $k \geq \lfloor (d+3)/2 \rfloor$ 时，猜想 $T(d,r,k) = T(d,r)$ 成立，从而在该范围内证明了 Reay 的猜想。
• 当 $d < \frac{rk}{r-k} - 1$ 时，猜想成立，涵盖如 $r=3,k=2$ 时 $d < 5$ 的情况，并可推广至其他参数组合。
• 特定情况 $d=3,r=4,k=2$ 满足 $T(3,4,2) = T(3,4) = 13$，确认了该非平凡三元组下猜想的成立。
• 情况 $d=5,r=3,k=2$ 同样满足 $T(5,3,2) = T(5,3) = 13$，为该猜想提供了进一步验证。
• 使用从原点出发的 $d+1$ 条射线，每条射线上有 $r-1$ 个点，并辅以受控微扰的构造方法，在所有已证明的情况下成功展示了 $T(d,r,k) = T(d,r)$。
• 本文表明，当 $k=2$ 时，问题可简化为 Radon 型划分，这类问题理解更充分，且暗示 $T(d,3,2) < 2d+3$ 可能在大 $d$ 时成立，尽管该问题仍为开放问题。