[论文解读] Weak order complexes

Sergeĭ Ovchinnikov|ArXiv.org|Mar 11, 2004

Advanced Combinatorial Mathematics参考文献 14被引用 4

一句话总结

本文通过将弱序偏序集的哈斯图表示为排列多面体的立方剖分的1-骨架，提出了一种类序集的几何模型。关键贡献是提出了一种新颖的立方剖分构造，为弱序提供了组合等价的几何实现，作为标准弱序多面体表示的替代方案，并通过一个良分级集合族在媒体理论中实现应用。

ABSTRACT

The paper presents geometric models for the set WO of weak orders on a finite set. In particulary, WO is modeled as a set of vertices of a cubical subdivision of a permutahedron. This approach is an alternative to the usual representation of WO by means of weak order polytopes.

研究动机与目标

• 通过排列多面体的立方剖分，为有限集上的弱序集合建立几何模型。
• 通过将弱序的哈斯图嵌入立方复形的1-骨架，提供标准弱序多面体表示的替代方案。
• 通过证明弱序集合构成一个与媒介同构的良分级集合族，建立弱序与媒体理论之间的联系。
• 以弱序中无差异类的合并或分裂来表征媒介中令牌的作用。

提出的方法

• 将弱序集合建模为排列多面体的立方剖分的顶点，利用平行多面体和超平面排列的结构。
• 将每个弱序表示为弱2-序的交集，通过此类2-序的族建立唯一表示。
• 定义弱2-序子集族𝒥，构成构建媒介的基础，该族为良分级。
• 定义令牌τ_V和τ̃_V，基于弱2-序V = (B, G)对弱序执行分裂或合并无差异类的操作。
• 利用立方剖分的几何结构，将令牌的作用解释为弱序格上的局部变换。
• 利用排列多面体几何与弱序偏序集之间的对偶性，证明良分级性和结构性质。

实验结果

研究问题

• RQ1 如何将有限集上的弱序集合几何化为排列多面体的立方剖分？
• RQ2 该立方剖分的1-骨架的组合结构是什么？它与弱序偏序集的哈斯图有何关系？
• RQ3 弱序偏序集能否被嵌入为良分级集合族？如果是，这如何促成媒介结构的建立？
• RQ4 令牌τ_V和τ̃_V的作用如何对应于弱序中无差异类的操作？
• RQ5 立方剖分模型与标准弱序多面体表示之间有何关系？

主要发现

• 有限集X上的弱序集合组合等价于排列多面体的立方剖分的1-骨架，为弱序提供了新的几何模型。
• 每个弱序均可唯一表示为弱2-序的交集，这构成了构建良分级集合族的基础。
• 此类交集的族𝒥是良分级的，且同构于一个媒介，从而实现了弱序的基于令牌的表示。
• 令牌τ_V作用于弱序W时，将无差异类X_p分裂为X_p ∩ B和X_p ∩ G，其中V = (B, G)，并保持其他类的顺序。
• 反向令牌τ̃_V在W ⊂ V的条件下，将W中两个相邻的无差异类X_p和X_{p+1}合并，得到一个更粗糙的弱序。
• 弱序格中原子之上的区间同构于(n−1)元集的子集格，证实了剖分的立方结构。