[论文解读] Natural join construction of graded posets versus ordinal sum and discrete hyper boxes

A. K. Kwaśniewski|ArXiv.org|Jul 15, 2009

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

一句话总结

本文引入了格序偏序集的自然连接运算 $P \oplus\!\to Q$，作为一种新颖的构造方法，为格序偏序集提供了一个统一的框架，该框架推广了序和运算，并能简便推导出cobweb偏序集的Möbius函数公式。该方法利用格序偏序集的双邻接矩阵的自然连接，将其解释为KoDAG（Ko-完全有向无环图），并基于 $F$-格结构和 $F$-多项式，建立了Whitney数和特征多项式的显式公式。

ABSTRACT

One introduces here the natural join $P \os Q$ of graded posets $< P,\leq_P >$ and $< Q,\leq_Q >$ with correspondingly maximal and minimal sets being identical as expressed by ordinal sum $P\oplus Q$ apart from other definition and due to that one arrives at a simple proof of the $M{ö}bius $ function formula for cobweb posets. We also quote the other authors explicit formulas for the zeta matrix and its inverse for any graded posets with the finite set of minimal elements from earlier works of the author. These formulas are based on the formulas for cobweb posets and their $Hasse$ diagrams or graphs named $KoDAGs$ which are interpreted as chains of binary complete or universal relations joined by the natural join operation. Natural join of two independent sets is therefore the ordinal sum of this trivially ordered posets represented also by directed biclique named dibiclique and correspondingly by their $Hasse $ diagrams or graphs named $KoDAGs$. Such cobweb posets and equivalently their Hasse diagrams or graphs named $KoDAGs$ are also encoded by discrete hyper-boxes and the natural join operation of such discrete hyper boxes is just cartesian product of them accompanied with projection out of common faces. All graded posets with no mute vertices in their $Hasse$ diagrams which means that no vertex has indegree or outdegree equal zero are natural join of chain of relations and may be at the same time interpreted an $n-ary$ relation, $n \in N \cup \{\infty \}$.

研究动机与目标

• 通过自然连接运算，统一并推广格序偏序集的序和构造。
• 通过自然连接和KoDAG表示，提供cobweb偏序集Möbius函数公式的一种简单、系统化的证明。
• 利用 $F$-格结构，推导出cobweb偏序集的Whitney数和特征多项式的显式公式。
• 阐明 $F$-格偏序集可表示为 $n$-元关系的条件，排除哑顶点。
• 建立离散超盒、自然连接与带公共面投影的笛卡尔积之间的联系。

提出的方法

• 将两个格序偏序集 $P$ 和 $Q$ 的自然连接 $P \oplus\!\to Q$ 定义为将 $P$ 的最大集与 $Q$ 的最小集识别的构造，从而推广序和运算。
• 将cobweb偏序集表示为KoDAG（Ko-完全有向无环图），即编码二元完全关系链的有向无环图。
• 使用相邻层级的双邻接矩阵来建模自然连接运算，确保无零行或零列（无哑顶点），以支持 $n$-元关系的表示。
• 将zeta矩阵 $[Max]$ 表示为幂级数 $ (I - \kappa)^{-1} = \sum_{k \geq 0} \kappa^k $，其中 $\kappa$ 为关联矩阵。
• 构造逆zeta矩阵 $[Max]^{-1} = \delta - \kappa$，其为下三角矩阵，对角线上为单位块，下方为负的双邻接矩阵。
• 通过 $[Max]_{k,n}$ 表达区间 $[x_k, x_n]$ 中最大链的数量，导出涉及 $F$-多项式与阶乘的显式公式。

实验结果

研究问题

• RQ1 在最大集与最小集相同的格序偏序集背景下，自然连接运算如何推广序和运算？
• RQ2 KoDAG和双邻接矩阵在表示cobweb偏序集及推导Möbius函数中起到何种作用？
• RQ3 在何种条件下，$F$-格偏序集可表示为 $n$-元关系？无哑顶点的存在如何影响这一表示？
• RQ4 能否通过自然连接构造，为cobweb偏序集的Whitney数和特征多项式导出显式公式？
• RQ5 离散超盒如何与格序偏序集的自然连接及笛卡尔积（含公共面投影）相关联？

主要发现

• 自然连接 $P \oplus\!\to Q$ 提供了一种统一的构造方式，推广了序和运算，并能简便推导出cobweb偏序集的Möbius函数公式。
• 区间 $[x_k, x_n]$ 中最大链的数量由 $[Max]_{k,n} = \binom{n-1}{k-2}_F (n-k+1)_F!$ 给出，其中 $\binom{n-1}{k-2}_F$ 为 $F$-多项式系数。
• 逆zeta矩阵 $[Max]^{-1}$ 是一个下三角矩阵，对角线上为单位块，下方为负的双邻接矩阵，从而实现Möbius函数的高效计算。
• 无哑顶点（双邻接矩阵中无零行或零列）的cobweb偏序集，可通过二元完全关系的自然连接解释为 $n$-元关系。
• cobweb偏序集的特征多项式与Whitney数可通过自然连接结构导出的 $F$-多项式与 $F$-阶乘显式表达。
• 离散超盒对应于 $F$-格偏序集的自然连接，其作为带公共面投影的笛卡尔积实现，同时保持偏序集结构。