[论文解读] Quantitative Tverberg, Helly, & Carathéodory theorems

Jesús A. De Loera, R. N. La Haye+2 more|arXiv (Cornell University)|Mar 20, 2015

Computational Geometry and Mesh Generation参考文献 42被引用 14

一句话总结

本文通过引入体积、直径或格点数量等可度量或可数参数，提出了凸几何中经典定理——卡拉西奥多里定理、赫利定理和特维尔伯格定理——的新定量版本。它建立了这些定理之间的联系，表明定量卡拉西奥多里结果可推出定量赫利结果，而后者又可推出定量特维尔伯格结果，且对包含小球或大量格点的凸包大小给出了明确的界。

ABSTRACT

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.

研究动机与目标

• 将经典凸几何定理扩展为包含体积、直径或格点数量等定量度量。
• 通过层级蕴含结构统一定量卡拉西奥多里、赫利与特维尔伯格定理。
• 提出这些定理的离散与连续定量版本，并应用于凸体逼近与离散凸性。
• 定义并利用离散集合中点的定量赫利数与深度概念。
• 证明当赫利数存在时，特维尔伯格数也存在，从而在定理之间建立基础性联系。

提出的方法

• 使用彩色定量斯坦尼茨型定理，确保从多个集合中选取的点的凸包包含小球。
• 应用凸体逼近理论推导连续定量结果，将多面体逼近与体积/直径界联系起来。
• 将点相对于有限集合的深度定义为该点在凸包中包含的稳健性度量。
• 引入定量赫利数 $\mathds{H}_S(k)$，确保所有足够大的凸集的交集中至少包含 $k$ 个格点。
• 通过归纳法与半空间深度论证，构造出 $m$-特维尔伯格划分，使得各部分的凸包均包含一个公共的 $k$ 点集合。
• 利用 $\mathbb{Z}^d$ 上的离散凸性及一般凸性空间，将结果推广至欧几里得凸集之外。

实验结果

研究问题

• RQ1 能否使用体积或直径等连续度量，形式化卡拉西奥多里、赫利与特维尔伯格定理的定量版本？
• RQ2 在何种最小点数下，可保证存在一个特维尔伯格划分，使得各部分凸包包含一个小球或大量格点？
• RQ3 在离散设置中，定量赫利数与特维尔伯格划分的存在性之间有何关系？
• RQ4 从卡拉西奥多里到赫利再到特维尔伯格的蕴含链在定量设定下能否形式化？
• RQ5 在从多个集合中选取有界数量点的情况下，其凸包中可保证包含的球的半径的紧界是什么？

主要发现

• 建立了连续定量卡拉西奥多里定理，其半径满足 $ r(d) \geq d^{-2d-2} $：若每个 $ 2d $ 个集合 $ X_i $ 满足 $ B_1(0) \subset \operatorname{conv}(X_i) $，则存在点 $ x_i \in X_i $，使得 $ B_{r(d)}(0) \subset \operatorname{conv}\{x_1,\dots,x_{2d}\} $。
• 定义了离散定量赫利数 $ \mathds{H}_S(k) $：若离散集合 $ S \subset \mathbb{R}^d $ 中任意 $ \mathds{H}_S(k) $ 个凸集的交集中至少包含 $ k $ 个点，则整个集合族的交集中也包含至少 $ k $ 个点。
• 对于满足 $ |A| \geq \mathds{H}_S(k)(m-1)kd + k $ 的集合 $ A \subset S $，存在一个 $ m $-特维尔伯格划分，使得各部分的凸包均包含 $ S $ 中一个公共的 $ k $ 点集合。
• 点 $ p $ 相对于集合 $ A $ 的深度定义为包含 $ p $ 的任意闭半空间中所含点的最小数量；若深度至少为 $ (m-1)kd + 1 $，则存在 $ m $ 个不相交的 $ A $ 的子集，其凸包均包含 $ p $。
• 本文证明了当赫利数存在时，特维尔伯格数也存在，从而建立了结构性层次：定量卡拉西奥多里 $\Rightarrow$ 定量赫利 $\Rightarrow$ 定量特维尔伯格。
• 结果在紧性意义上是紧的：$ r(d) $ 的界以及所需点数的界在 $ d $ 的多项式因子范围内是最优的，基于已知的极值构造。