[论文解读] Carathéodory, Helly and the others in the max-plus world

Stéphane Gaubert, Frédéric Meunier|arXiv (Cornell University)|Apr 8, 2008

Computational Geometry and Mesh Generation参考文献 4被引用 11

一句话总结

本文建立了经典离散几何定理在最大-加法代数中的对应版本，包括彩色Carathéodory定理和Tverberg定理，并证明了Sierksma在最大-加法设定下关于Tverberg划分最小数量的猜想。通过二分图表示和一般性论证，本文表明在$\mathbb{R}_{\text{max}}^{d+1}$中，$(d+1)(q-1)+1$个点的最大-加法Tverberg划分数量至少为$((q-1)!)^d$，从而在最大-加法世界中证实了该猜想。

ABSTRACT

Carathéodory's, Helly's and Radon's theorems are three basic results in discrete geometry. Their max-plus counterparts have been proved by various authors. In this paper, more advanced results in discrete geometry are shown to have also their max-plus counterparts: namely, the colorful Carathéodory theorem and the Tverberg theorem. A conjecture connected to the Tverberg theorem -- Sierksma's conjecture --, although still open for the usual convexity, is shown to be true in the max-plus settings.

研究动机与目标

• 将经典离散几何定理——Carathéodory、Helly和Radon定理——推广至最大-加法代数设定。
• 通过凸集交集的方法，建立最大-加法版本的彩色Carathéodory定理。
• 证明点集$q$重划分在最大-加法设定下的Tverberg定理对应版本。
• 通过证明无序Tverberg划分数量的下界为$((q-1)!)^d$，解决Sierksma猜想在最大-加法框架下的问题。
• 开发基于二分图的图论框架，用于分析和计数最大-加法Tverberg划分。

提出的方法

• 使用最大-加法线性组合表示最大-加法凸包：$\bm{x} = \max_i (\lambda_i + \bm{x}_i)$，其中$\max_i \lambda_i = 0$。
• 在$\mathbb{R}_{\text{max}}^{d+1}$中，使用顶点集$U = X$（点）和$W = [d+1]$（坐标）的二分图建模点集及其凸包。
• 若$\lambda_i + x_{i,j} = x_j^*$，即Tverberg点的第$j$个分量，则在点$\bm{x}_i$与坐标$j$之间定义边。
• 利用每个子集$U_i$满足$N(U_i) = W$的邻域条件，刻画有效的Tverberg划分。
• 将推论1应用于具有$q$个不相交子集$U_1, \dots, U_q$且具有完全邻域覆盖的二分图，推导出划分数量的下界。
• 通过一般性假设和基于边图中环的矛盾分析，证明少于$(d+1)(q-1)+1$个点无法拥有锥形Tverberg划分。

实验结果

研究问题

• RQ1 彩色Carathéodory定理能否推广至最大-加法设定？若能，其与经典版本有何不同？
• RQ2 Tverberg定理在最大-加法代数中是否存在有效对应版本，特别是关于将点集划分为$q$个子集且其最大-加法凸包相交的问题？
• RQ3 Sierksma猜想——关于无序Tverberg划分的最小数量——在最大-加法设定下是否成立？
• RQ4 最大-加法凸包和Tverberg点的何种结构性质使得能够对这类划分的数量建立组合下界？
• RQ5 如何利用二分图表示来建模和计数最大-加法Tverberg划分？

主要发现

• 最大-加法彩色Carathéodory定理成立：若$d+1$个点集的凸包均与凸集$C$相交，则存在每个集合中各取一点，其凸包也与$C$相交。
• 建立了最大-加法版本的Radon定理，甚至允许含有$-\infty$分量，这扩展了以往要求非负分量的研究结果。
• 证明了最大-加法Tverberg定理：$\mathbb{R}_{\text{max}}^{d+1}$中任意$(d+1)(q-1)+1$个点集均可划分为$q$个不相交子集，其最大-加法凸包共享一个公共点。
• Sierksma猜想在最大-加法设定下得到证实：$N+1 = (d+1)(q-1)+1$个点的无序Tverberg划分数量至少为$((q-1)!)^d$，并通过二分图分解给出了构造性证明。
• 证明依赖于一般性假设，以及从Tverberg系数和坐标重合导出的边图中基于环的矛盾分析。
• 通过迭代应用图论引理，推导出不同Tverberg划分数量的下界为$q! \cdot ((q-1)!)^{d}$，从而在最大-加法世界中确认了该猜想。