[论文解读] Radon partitions in convexity spaces

Boris Bukh|arXiv (Cornell University)|Sep 13, 2010

Computational Geometry and Mesh Generation参考文献 10被引用 8

一句话总结

本文研究了抽象凸性空间中的Radon划分，证明尽管Eckhoff猜想——即从Radon定理纯组合地推导出Tverberg定理——是错误的，但k阶Radon数的多项式界仍然成立。具体而言，证明了对于任意具有有限 $ r_2 $ 的凸性空间，k阶Radon数满足 $ r_k \leq c(r_2)k^2\log^2k $，从而在欧几里得空间之外，对组合凸性中的Tverberg型结果实现了重要的定量推广。

ABSTRACT

Tverberg's theorem asserts that every (k-1)(d+1)+1 points in R^d can be partitioned into k parts, so that the convex hulls of the parts have a common intersection. Calder and Eckhoff asked whether there is a purely combinatorial deduction of Tverberg's theorem from the special case k=2. We dash the hopes of a purely combinatorial deduction, but show that the case k=2 does imply that every set of O(k^2 log^2 k) points admits a Tverberg partition into k parts.

研究动机与目标

• 确定Tverberg定理是否能通过Eckhoff猜想在抽象凸性空间中仅从Radon定理纯组合地推导出来。
• 研究当Eckhoff猜想不成立时，具有有限 $ r_2 $ 的凸性空间中k阶Radon数 $ r_k $ 的定量行为。
• 建立一个非平凡的 $ r_k $ 上界，将Tverberg定理推广到欧几里得空间之外。
• 探索在具有有界 $ r_2 $ 的凸性空间中弱 $ \varepsilon $-网的存在性，其动机来自离散几何与计算几何中的应用。

提出的方法

• 使用点集在凸性空间中的单纯复形（nerve complex）来编码凸包交集的组合结构。
• 应用超图上的极值组合学，特别是利用 $ r $-好族和 $ (2r-3) $-均匀超图中的团，以提取不相交集合。
• 对与点 $ p $ 相关的族 $ \mathcal{F}_p $ 使用归纳法和递归构造，这些族满足反映 $ r_2 = 3 $ 情况的公理 (J1)–(J3)。
• 在超图中利用抽屉原理和密度论证，证明足够大的集合在单纯复形中包含 $ k $ 个两两不相交的集合。
• 应用已知的 $ r_k $ 上界，包括Jamison和Eckhoff的不等式，以推导出最终的多项式界。
• 使用以子集 $ I \subset [k] $ 索引的族 $ \mathcal{F}_I $ 的递归构造，依赖于单纯复形的性质 (N5) 以完成归纳步骤。

实验结果

研究问题

• RQ1 在抽象凸性空间中，能否通过纯组合论证从Radon定理推出Tverberg定理？
• RQ2 在具有有限 $ r_2 $ 的凸性空间中，k阶Radon数 $ r_k $ 的最佳可能上界是什么？
• RQ3 在具有有限 $ r_2 $ 的凸性空间中，对于所有 $ \varepsilon > 0 $，是否存在大小为 $ f(\varepsilon, r_2) $ 的弱 $ \varepsilon $-网？
• RQ4 点集的单纯复形结构与Tverberg划分的存在性之间有何关系？
• RQ5 即使Eckhoff猜想不成立，$ r_k $ 是否仍存在关于 $ k $ 和 $ r_2 $ 的多项式界？

主要发现

• Eckhoff猜想是错误的：对每个 $ k \geq 3 $，存在一个凸性空间，满足 $ r_2 = 4 $ 但 $ r_k \geq 3(k-1) + 2 $，违反了猜想中的界 $ (k-1)(r_2 - 1) + 1 $。
• k阶Radon数满足 $ r_k \leq c(r_2)k^2\log^2k $，其中常数 $ c(r_2) $ 仅依赖于 $ r_2 $，从而在 $ k $ 上提供了多项式上界。
• 对于满足 $ r_2 = 3 $ 的凸性空间，有 $ r_k \leq 2(k-1) + 1 $，该界与欧几里得空间中的已知紧界一致。
• 证明技术依赖于从单纯复形导出的 $ (2r-3) $-均匀超图中构造一个大小为 $ 2k $ 的团，利用 $ r $-好条件可得到 $ k $ 个两两不相交的集合。
• 当 $ \varepsilon > 1 - 1/(r_2 - 1) $ 时，弱 $ \varepsilon $-网的存在性得到保证，但对更小的 $ \varepsilon $，其存在性仍为开放问题。
• 本文证明了中心点定理和Helly定理在具有有限 $ r_2 $ 的凸性空间中仍然成立，从而将经典结果从欧几里得几何推广到了更广的范畴。