[论文解读] The discrete yet ubiquitous theorems of Carath\\'eodory, Helly, Sperner, Tucker, and Tverberg

Jesús A. De Loera, Xavier Goaoc+2 more|arXiv (Cornell University)|Jun 16, 2017

Advanced Graph Theory Research参考文献 403被引用 70

一句话总结

对五个基本的离散定理及其相互关系、改写、算法方面，以及在数据科学、优化和几何领域的广泛应用的综述。

ABSTRACT

We discuss five discrete results: the lemmas of Sperner and Tucker from combinatorial topology and the theorems of Carath\\'eodory, Helly, and Tverberg from combinatorial geometry. We explore their connections and emphasize their broad impact in application areas such as game theory, graph theory, mathematical optimization, computational geometry, etc.

研究动机与目标

• 从组合拓扑引入 Sperner 和 Tucker，以及从组合几何引入 Carathéodory、Helly 和 Tverberg。
• 揭示五个定理之间的联系与统一视角。
• 讨论连续版本、推广以及计算方面的考量。
• 调查博弈论、公平分配、图论、优化和数据分析等领域的多样化应用。
• 突出未解问题，并为选定结果提供新的证明。

提出的方法

• 通过对单纯复的标记和奇偶性论证来呈现 Sperner 和 Tucker。
• 讨论定理的连续版本和一般化。
• 从组合凸性的角度解释 Carathéodory、Helly 和 Tverberg。
• 讨论计算方面的考量和算法方面的要点。
• 调查在博弈、公平分配、图论、优化和数据分析等领域的应用。
• 阐明新的证明，如 Meshulam’s lemma 和 ham sandwich theorem。

实验结果

研究问题

• RQ1 Sperner–Tucker 型结果如何与 Carathéodory–Helly–Tverberg 型结果相互关联？
• RQ2 这五个定理存在哪些改写和推广？
• RQ3 这些定理在计算和算法方面有哪些含义？
• RQ4 这些定理在博弈论、优化、几何和数据分析等领域的广泛应用是什么？

主要发现

• 本文澄清了 Sperner、Tucker、Carathéodory、Helly 和 Tverberg 之间的关系。
• 它介绍了五个定理的改写与变体，并强调了它们的算法方面。
• 该综述展示了这些定理如何支撑优化、几何和拓扑中的证明与结果。
• 为 Meshulam’s lemma 和 ham sandwich theorem 提供了新的证明。
• 明确了该领域的未解问题，强调持续的研究方向。
• 该工作调查了数据分析、博弈、图和几何算法等领域的多样化应用。