[论文解读] A New Approach to Order Polynomials of Labeled Posets and Their Generalizations

John Shareshian, David L. Wright+1 more|ArXiv.org|Nov 24, 2003

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

一句话总结

本文提出了一种基于矩阵的新方法，利用 $\omega$-图的邻接矩阵计算标记偏序集的序多项式与欧拉多项式，实现递归计算，并通过单一线性算子统一各类不变量。核心贡献是一项通用递归算法，可生成新不变量，包括序多项式与归一化的欧拉多项式，其应用涵盖伯努利数与准对称函数。

ABSTRACT

In this paper, we first give formulas for the order polynomial $Ω(\Pw; t)$ and the Eulerian polynomial $e(\Pw; λ)$ of a finite labeled poset $(P, ω)$ using the adjacency matrix of what we call the $ω$-graph of $(P, ω)$. We then derive various recursion formulas for $Ω(\Pw; t)$ and $e(\Pw; λ)$ and discuss some applications of these formulas to Bernoulli numbers and Bernoulli polynomials. Finally, we give a recursive algorithm using a single linear operator on a vector space. This algorithm provides a uniform method to construct a family of new invariants for labeled posets $(\Pw)$, which includes the order polynomial $Ω(\Pw; t)$ and the invariant $ ilde e(\Pw; λ) =\frac {e(\Pw; λ)}{(1-λ)^{|P|+1}}$. The well-known quasi-symmetric function invariant of labeled posets and a further generalization of our construction are also discussed.

研究动机与目标

• 开发一种基于图论与线性代数工具的新型计算框架，用于计算标记偏序集的序多项式与欧拉多项式。
• 通过基于线性算子的单一递归算法，统一计算已知不变量（如序多项式与归一化欧拉多项式）的方法。
• 将理论扩展至标记偏序集的新不变量，并探索其与伯努利数及准对称函数的联系。
• 通过不同标记约定将未标记偏序集与特定标记偏序集对应，推广该方法至未标记偏序集。

提出的方法

• 本文定义了标记偏序集 $(P,\omega)$ 的 $\omega$-图，并利用其邻接矩阵推导出序多项式 $\Omega(P,\omega;t)$ 与欧拉多项式 $e(P,\omega;\lambda)$ 的显式公式。
• 提出一种递归算法（算法 3.1），在向量空间 $A$ 上使用单一线性算子 $\Xi$，生成标记偏序集的一族不变量。
• 该方法在非空 $\omega$-自然理想 $S \in \mathcal{I}_\omega(P)$ 上递归应用算子 $\Xi$，其中 $\Psi(P,\omega) = \Xi \sum_{\emptyset \neq S \in \mathcal{I}_\omega(P)} \Psi(P \setminus S, \omega)$。
• 对于特定选择的 $A$、$a$ 与 $\Xi$，该算法可恢复已知不变量：当 $A = \mathbb{C}[t]$、$a = 1$、$\Xi = \Delta$ 时，恢复 $\Omega(P,\omega;t)$；当 $A = \mathbb{C}[\lambda]$、$\Xi$ 为乘以 $\lambda(1-\lambda)^{m-1}$ 时，恢复 $\tilde{e}(P,\omega;\lambda)$。
• 提出一种广义算法（算法 3.7），使用算子序列 $\Xi_m$，当 $A = \mathbb{C}[[x]]$、$a = 1$、$\Xi_m = \Lambda_m$ 时，可恢复准对称函数不变量 $K(P,\omega;x)$。
• 通过两种标识方案将方法扩展至未标记偏序集：自然标记偏序集（生成 $\Omega(P;t)$）与序反转标记偏序集（生成 $\bar{\Omega}(P;t)$），并利用逆差分算子 $\nabla^{-1}$ 实现高效计算。

实验结果

研究问题

• RQ1 如何用标记偏序集 $(P,\omega)$ 的 $\omega$-图的邻接矩阵表示其序多项式 $\Omega(P,\omega;t)$？
• RQ2 能否构建一个统一的递归算法，使用单一线性算子生成标记偏序集的多个不变量，包括 $\Omega(P,\omega;t)$ 与 $\tilde{e}(P,\omega;\lambda)$？
• RQ3 所提出的不变量与伯努利数、准对称函数等经典对象之间存在何种关系？
• RQ4 该框架如何适配未标记偏序集的不变量计算？不同标记约定的计算优势为何？

主要发现

• 序多项式 $\Omega(P,\omega;t)$ 与欧拉多项式 $e(P,\omega;\lambda)$ 均可通过 $\omega$-图的邻接矩阵显式表达，实现基于矩阵的计算。
• 使用单一线性算子 $\Xi$ 的递归算法（算法 3.1）可生成一族不变量，包括 $\Omega(P,\omega;t)$ 与 $\tilde{e}(P,\omega;\lambda) = \frac{e(P,\omega;\lambda)}{(1-\lambda)^{|P|+1}}$，其成立条件为特定选择的 $A$、$a$ 与 $\Xi$。
• 准对称函数不变量 $K(P,\omega;x)$ 无法由算法 3.1 恢复，但其满足递推公式（命题 3.6），提示该构造可进一步推广。
• 对于未标记偏序集，算法 4.1（基于自然标记偏序集）与算法 4.2（基于序反转标记）分别恢复 $\Omega(P;t)$ 与 $\bar{\Omega}(P;t)$，其中算法 4.2 计算效率更高。
• 序多项式 $\Omega(P;t)$ 亦可通过算法 4.2 利用逆差分算子 $\nabla^{-1}$ 计算，其中 $\widetilde{\Omega}(P;t) = (-1)^{|P|}\Omega(P;t)$ 满足 $\widetilde{\Omega}(P;t) = -\nabla^{-1} \sum_{\emptyset \neq S \subset L(P)} \widetilde{\Omega}(P \setminus S, t)$。
• 该框架提供了一种统一方法，用于生成标记偏序集的新不变量，推广了已知不变量，并通过推导的递推公式将其与伯努利数及多项式联系起来。