[论文解读] Simple game induced manifolds

Pavel Galashin, Gaiane Panina|arXiv (Cornell University)|Nov 27, 2013

Advanced Combinatorial Mathematics参考文献 16被引用 3

一句话总结

本文提出了一种新型组合流形的构造方法，称为“由简单博弈诱导的流形”，其基础是称为“拟连杆”的组合对象——这是多边形连杆的推广。通过使用类似于单峰多面体的胞腔复形来建模此类拟连杆的模空间，作者证明了所得空间是一个与圆上稳定点构型同胚的PL流形，从而将经典多边形连杆的结果推广到更广泛的组合框架。

ABSTRACT

Starting by a simple game $Q $ as a combinatorial data, we build up a cell complex $M(Q)$, whose construction resembles combinatorics of the permutohedron. The cell complex proves to be a combinatorial manifold; we call it the extit{ simple game induced manifold.} By some motivations coming from polygonal linkages, we think of $Q$ and of $M(Q)$ as of extit{ a quasilinkage} and the extit{moduli space of the quasilinkage} respectively. We present some examples of quasilinkages and show that the moduli space retains many properties of moduli space of polygonal linkages. In particular, we show that the moduli space $M(Q)$ is homeomorphic to the space of stable point configurations on $S^1$, for an associated with a quasilinkage notion of stability.

研究动机与目标

• 将多边形连杆的模空间推广到更广泛的组合对象类，称为拟连杆。
• 定义并研究一类新的胞腔复形，称为“由简单博弈诱导的流形”，其来源于拟连杆。
• 建立这些流形与圆上稳定点系统构型空间的拓扑等价性。
• 探讨拟连杆在何种条件下可由实际的多边形连杆实现（即是否“可实现”）。

提出的方法

• 从拟连杆 $ \mathcal{Q} $ 构造一个胞腔复形 $ M(\mathcal{Q}) $，其定义基于单调性与强互补性公理。
• 利用 $ S^{n-1} $ 上的Q-排列伪球面来建模拟连杆的参数空间，其中每个房间对应一种不同的拟连杆类型。
• 在每个房间 $ C $ 中定义短集为满足 $ I \not\triangleq E_I^+ $ 的集合，由此生成一个拟连杆 $ L(C) $，并关联一个流形 $ M(L(C)) $。
• 证明相邻房间对应的拟连杆仅通过一次“翻转”操作不同，且对应的流形通过与胞腔结构相容的莫尔斯手术相联系。
• 利用Folkman-Lawrence拓扑表示定理，将伪球面排列与定向拟阵联系起来。
• 证明模空间 $ M(\mathcal{Q}) $ 在由拟连杆导出的稳定性条件下，同胚于 $ S^1 $ 上稳定 $ n $ 元点构型的空间。

实验结果

研究问题

• RQ1 在何种条件下，一个拟连杆可实现为具有正长度向量的多边形连杆的短集族？
• RQ2 模空间 $ M(\mathcal{Q}) $ 的胞腔结构如何与单峰多面体及其他经典多面体相关联？
• RQ3 模空间 $ M(\mathcal{Q}) $ 从底层拟连杆继承了哪些拓扑与组合性质？
• RQ4 能否自然地将拟连杆的模空间识别为 $ S^1 $ 上稳定点构型的空间，以及在何种条件下成立？
• RQ5 通过翻转改变拟连杆时，其关联模空间的拓扑如何变化？

主要发现

• 拟连杆 $ \mathcal{Q} $ 的模空间 $ M(\mathcal{Q}) $ 是一个组合流形，通过类似于单峰多面体的胞腔分解构造而成。
• 对于任意拟连杆 $ \mathcal{Q} $，模空间 $ M(\mathcal{Q}) $ 在由拟连杆导出的稳定性条件下，同胚于 $ S^1 $ 上稳定 $ n $ 元点构型的空间。
• Q-伪球面排列中相邻房间对应的拟连杆仅通过一次“翻转”操作不同，且对应的流形通过与胞腔结构相容的莫尔斯手术相联系。
• 拟连杆类严格大于可实现连杆类；存在虚拟连杆，满足简单博弈的公理，但并非由任何正长度向量诱导而来。
• 该构造推广了经典多边形连杆的模空间：当 $ \mathcal{Q} = \mathcal{S}(L) $ 时，所得流形 $ M(\mathcal{Q}) $ 与经典模空间 $ M(L) $ 一致。
• 模空间 $ M(\mathcal{Q}) $ 的同调群为自由阿贝尔群，其秩由特定大小的短子集数量决定，从而推广了通用连杆情形下的已知结果。