[论文解读] N-free extensions of posets.Note on a theorem of P.A.Grillet

Maurice Pouzet, Zaguia, Nejib|arXiv (Cornell University)|Sep 13, 2005

Advanced Topology and Set Theory参考文献 3被引用 4

一句话总结

本文提供了有限偏序集图示的最小N自由barycentric细分的构造性刻画，证明了对每个N-构型中的对角边重复两次添加虚拟顶点的操作，可得到最小的N自由偏序集。该结果证实该过程与边选择顺序无关，为Grillet提出的关于最小N自由扩展的算法与组合问题提供了答案。

ABSTRACT

Let $S\_{N}(P)$ be the poset obtained by adding a dummy vertex on each diagonal edge of the $N$'s of a finite poset $P$. We show that $S\_{N}(S\_{N}(P))$ is $N$-free. It follows that this poset is the smallest $N$-free barycentric subdivision of the diagram of $P$, poset whose existence was proved by P.A. Grillet. This is also the poset obtained by the algorithm starting with $P\_0:=P$ and consisting at step $m$ of adding a dummy vertex on a diagonal edge of some $N$ in $P\_m$, proving that the result of this algorithm does not depend upon the particular choice of the diagonal edge choosen at each step. These results are linked to drawing of posets.

研究动机与目标

• 提供Grillet存在定理所断言的偏序集图示的最小N自由barycentric细分的构造性描述。
• 通过证明结果与对角边选择无关，解决构造此类最小N自由扩展时的算法模糊性问题。
• 确立对所有N-构型的对角边重复两次应用虚拟顶点插入操作后得到的偏序集是N自由且最小的。
• 澄清偏序集与其图示中N-构型之间的关系，并表明两种情形下均得到相同的最小N自由扩展。

提出的方法

• 定义 $ S_N(P) $ 为在有限偏序集 $ P $ 的每个N-构型的所有对角边上添加一个虚拟顶点后得到的偏序集。
• 通过覆盖关系与不可比关系的结构分析，证明 $ S_N(S_N(P)) $ 是N自由的。
• 使用归纳法与包含关系论证，表明任何 $ \mathrm{Diag}(P) $ 的N自由barycentric细分都必须包含 $ S_N(S_N(P)) $，从而确立其最小性。
• 证明在每一步中依次对N-构型的对角边插入虚拟顶点的算法，无论选择边的顺序如何，最终都会收敛到 $ S_N(S_N(P)) $。
• 利用对偶性以及覆盖对与不可比关系的性质，排除在结果偏序集中出现新N-构型的可能性。
• 应用一个关键引理，表明中间偏序集 $ S_N(P) $ 中的对角边集合为空，从而说明无法再形成新的N-构型。

实验结果

研究问题

• RQ1 有限偏序集的图示的最小N自由barycentric细分是什么？如何显式构造？
• RQ2 在偏序集中依次对N-构型的对角边插入虚拟顶点的算法是否会产生唯一结果，且与边选择顺序无关？
• RQ3 能否证明 $ S_N(S_N(P)) $ 是N自由的，并且是 $ \mathrm{Diag}(P) $ 的所有N自由barycentric细分中最小的？
• RQ4 偏序集 $ P $ 中的N-构型与其中图示 $ \mathrm{Diag}(P) $ 中的N-构型有何关系？构造过程是否依赖于使用哪一种版本？
• RQ5 为何 $ S_N(S_N(P)) $ 中不包含新的N-构型？为何该过程在两次迭代后即稳定？

主要发现

• 偏序集 $ S_N(S_N(P)) $ 是N自由的，即其不包含与四个元素构成的N-构型（具有特定覆盖与不可比关系）同构的诱导子偏序集。
• 偏序集 $ S_N(S_N(P)) $ 是 $ \mathrm{Diag}(P) $ 的最小N自由barycentric细分，因此与Grillet构造的最小N自由扩展 $ \overline{P} $ 一致。
• 无论选择对角边的顺序如何，依次在每一步对N-构型的对角边插入虚拟顶点的算法最终都会收敛到 $ S_N(S_N(P)) $。
• 该算法所需的步数恰好为 $ |N_{\text{diag}}(P)| + |A(P)| $，其中 $ A(P) $ 是属于N-构型但不是对角边的边的集合。
• 该构造在对偶下保持不变：对对偶偏序集应用相同过程会得到相同结果，从而确认其结构稳健性。
• 中间偏序集 $ S_N(P) $ 不包含新的对角边（即 $ A(S_N(P)) = \emptyset $），这是证明 $ S_N(S_N(P)) $ 为N自由的关键。