[论文解读] On natural join of posets properties and first applications

A. K. Kwaśniewski|ArXiv.org|Aug 10, 2009

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

一句话总结

本文引入了一种新的偏序集（posets）自然连接操作 $P \oplus\!\to Q$，该操作统一并推广了早期关于cobweb posets及其哈斯图（KoDAGs）的构造。通过在共享子偏序集上强制同构一致性，该操作使得cobweb posets的莫比乌斯函数公式可被简单推导，并确立了所有无哑顶点的分次偏序集均为全关系链的自然连接，从而通过克努特记号获得zeta与莫比乌斯矩阵的显式公式。

ABSTRACT

In addition to the three standard operations on posets which are dual of poset or ordinal and cardinal sums of partial ordered sets one adds the natural join of posets. This is especially natural natural join operation for graded posets including very special and important the so called cobweb posets. The main aims of this article are the presentation of the authors update applications of natural join of posets in the domain of graded posets and summary of the general properties of natural join of posets with posing some questions arising on the way. Thus in this note apart from revealing some general properties of natural join of posets we also deliver the authors combinatorial interpretations of cobweb posets including discrete hyperboxes coding of the so called cobweb posets .Various explicit formulas for the zeta functions and zeta matrices as well as the inverse of zeta matrix for any graded posets are supplied. Whitney numbers formulas and those for characteristic polynomials are given too.

研究动机与目标

• 正式化并推广偏序集的自然连接操作 $P \oplus\!\to Q$，通过同构子偏序集确保兼容性。
• 为构造cobweb posets及其哈斯图（KoDAGs）提供统一框架，将其表示为全关系链的自然连接。
• 利用克努特记号，为分次偏序集（特别是cobweb posets）的zeta与莫比乌斯矩阵推导显式公式。
• 确立cobweb posets为N-free、可系列-并行、贪婪型，且维度为2，阐明其结构与算法性质。
• 提出关于KoDAGs与cobweb posets的铺砌、可逆性及结构性质的开放问题。

提出的方法

• 定义自然连接 $P \oplus\!\to Q$，使得在同构子偏序集 $R \subseteq P$ 与 $R' \subseteq Q$ 上的偏序关系等价，将 $R$ 与 $R'$ 视为相同对象。
• 将cobweb posets表示为 $r$-元全关系链的自然连接，其中每一层 $\Phi_k$ 的大小为 $k_F$，由序列 $F = \{k_F\}_{k \geq 0}$ 编码。
• 使用克努特记号及倒置记号（$F_n \equiv n_F$）表达分次偏序集的zeta与莫比乌斯矩阵公式。
• 应用自然连接将无哑顶点的分次偏序集分解为二元完全（全）关系链，通过公共面的投影形成KoDAGs。
• 利用自然连接结构与矩阵补充法，推导cobweb posets的威特尼数与特征多项式的显式公式。
• 利用关于可系列-并行与贪婪型偏序集的已知结果，证明cobweb posets为N-free且维度为2。

实验结果

研究问题

• RQ1 如何形式化定义偏序集的自然连接，以在同构子偏序集上保持顺序等价性？其基础性质为何？
• RQ2 自然连接在简化cobweb posets的莫比乌斯函数公式推导中起何作用？
• RQ3 所有无哑顶点的分次偏序集是否均可表示为全关系链的自然连接？其与哈斯有向图结构有何关联？
• RQ4 自然连接操作与偏序集的维度或Ferrers维度之间存在何种关系，特别是在cobweb posets情形下？
• RQ5 cobweb posets是否可逆？在贪婪与最优线性扩展的语境下，其可逆性由何种条件决定？

主要发现

• 自然连接 $P \oplus\!\to Q$ 满足自然连接一致性条件，确保在同构子偏序集上的顺序兼容性，且可统一构造cobweb posets。
• 证明了cobweb posets为N-free且可系列-并行，意味着其为贪婪型偏序集且维度为2。
• 通过自然连接操作，以简洁直接的方式推导出cobweb posets的莫比乌斯函数公式。
• 为任意分次偏序集提供了zeta矩阵及其逆矩阵（通过莫比乌斯函数）的显式公式，采用克努特记号与矩阵补充法。
• 证明了所有无哑顶点的分次偏序集（即无内部顶点满足入度或出度为零）均为全关系链的自然连接。
• cobweb posets及其哈斯有向图（KoDAGs）由离散超盒编码，此类超盒的自然连接等价于其公共面投影后的笛卡尔积。