[论文解读] Sperner and KKM-type theorems on trees and cycles

Andrew Niedermaier, Douglas Rizzolo+1 more|arXiv (Cornell University)|Sep 2, 2009

Advanced Graph Theory Research参考文献 6被引用 1

一句话总结

本文建立了一种针对树状结构的Sperner型组合定理，证明其与有限覆盖下的KKM型定理及有限树上的不动点定理等价——类似于单纯形上的经典等价关系。研究进一步将这些结果推广至无限覆盖和无限树，并提出一种关于环的新型KKM定理，其在投票理论中具有应用价值。

ABSTRACT

Abstract. In this paper we prove a new combinatorial theorem for labellings of trees, and show that it is equivalent to a KKM-type theorem for finite covers of trees and to discrete and continuous fixed point theorems on finite trees. This is in analogy with the equivalence of the classical Sperner’s lemma, KKM lemma, and the Brouwer fixed point theorem on simplices. Furthermore, we use these ideas to develop new KKM and fixed point theorems for infinite covers and infinite trees. Finally, we extend the KKM theorem on trees to an entirely new KKM theorem for cycles, and discuss interesting social consequences, including an application in voting theory. 1.

研究动机与目标

• 开发一种针对有限树的Sperner型组合定理，将经典不动点原理推广至树状结构。
• 建立该Sperner型定理、针对树的有限覆盖的KKM型定理，以及有限树上的离散与连续不动点定理之间的等价性。
• 将这些结果推广至无限覆盖与无限树，将KKM定理与不动点定理的应用范围从有限情形扩展至更广领域。
• 提出一种关于环的新KKM定理，将组合不动点理论的适用范围拓展至环状结构。
• 通过将新定理应用于集体决策模型，探索其在社会科学中的影响，特别是投票理论中的应用。

提出的方法

• 基于顶点标记与边的组合划分，提出一种针对有限树的新Sperner型标记定理。
• 通过拓扑与组合论证，证明Sperner型定理、针对树的有限覆盖的KKM型定理，以及有限树上的不动点定理之间的等价性。
• 通过将标记与覆盖条件适应于极限或紧致性论证，将该框架推广至无限覆盖与无限树。
• 通过重新定义覆盖与标记条件以适应环状连通性，提出一种关于环的新型KKM型定理。
• 利用拓扑与图论工具，在树与环结构中建立不动点存在性与组合一致性的理论基础。
• 通过在环状结构上建模候选人偏好与多数规则，将结果应用于投票理论，证明稳定结果的存在性。

实验结果

研究问题

• RQ1 如何在保持与KKM定理及不动点定理等价性的前提下，将Sperner引理推广至树状结构域？
• RQ2 在使用组合标记时，何种条件可确保有限与无限覆盖的树中不动点的存在性？
• RQ3 能否为循环图提出一种KKM型定理？其与基于树的版本有何不同？
• RQ4 这些定理对集体决策有何影响，特别是在具有循环偏好结构的投票系统中？
• RQ5 与有限情形相比，无限覆盖与无限树如何影响KKM定理与不动点定理的有效性与结构？

主要发现

• 为有限树建立了一种新的Sperner型定理，为树状图上的不动点存在性提供了组合基础。
• 证明了Sperner型定理与针对树的有限覆盖的KKM型定理，以及有限树上的离散与连续不动点定理之间存在等价性。
• 该框架成功推广至无限覆盖与无限树，在非紧致设定下导出了新的不动点定理。
• 为环开发了一种新颖的KKM定理，引入了在环状结构上的一类新型组合不动点结果。
• 将结果应用于投票理论，通过新KKM框架证明了在循环偏好模型中存在稳定结果。
• 树上标记、覆盖与不动点定理之间的理论等价性，与经典单纯形情形一致，但现已扩展至非单纯形的树状与环状拓扑结构。