[論文レビュー] 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$-グラフの隣接行列を用いて、ラベル付きposetの順序多項式とオイラー順序多項式を行列ベースの手法で計算する新しいアプローチを提案する。これにより再帰的計算が可能となり、1つの線形作用素を用いて不変量を統一的に扱える。主な貢献は、順序多項式と正規化されたオイラー順序多項式を含む新しい不変量を生成する一般化された再帰的アルゴリズムを提供することである。応用例としてベルヌーイ数や準対称関数との関係が示される。

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.

研究の動機と目的

• ラベル付きposetの順序多項式とオイラー順序多項式を、グラフ論的および線形代数的道具を用いて、新たな計算フレームワークを構築すること。
• 既知の不変量（順序多項式や正規化されたオイラー順序多項式など）の計算を、1つの線形作用素に基づく再帰的アルゴリズムで統一すること。
• ラベル付きposetの新しい不変量の理論を拡張し、ベルヌーイ数や準対称関数との関係を調査すること。
• 異なるラベル付けの規則の下でラベルなしposetを特定のラベル付きposetと同一視することにより、アプローチをラベルなしposetへ一般化すること。

提案手法

• 本稿では、ラベル付きposet $(P,\omega)$ の$\omega$-グラフを定義し、その隣接行列を用いて順序多項式 $\Omega(P,\omega;t)$ とオイラー順序多項式 $e(P,\omega;\lambda)$ の明示的公式を導出する。
• 1つの線形作用素 $\Xi$ を用いた再帰的アルゴリズム（アルゴリズム3.1）を導入し、ラベル付きposetの不変量の族を生成する。
• 非空の $\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)$ を得る）の2つの同一視スキームを用いて、ラベルなしposetへ拡張し、逆差分作用素 $\nabla^{-1}$ を用いた効率的な計算が可能となる。

実験結果

リサーチクエスチョン

• RQ1 ラベル付きposetの順序多項式 $\Omega(P,\omega;t)$ は、その $\omega$-グラフの隣接行列を用いてどのように表現できるか？
• RQ2 1つの線形作用素を用いて、$\Omega(P,\omega;t)$ や $\tilde{e}(P,\omega;\lambda)$ といった複数のラベル付きposetの不変量を統一的に生成する再帰的アルゴリズムを構築できるか？
• RQ3 提案された不変量とベルヌーイ数や準対称関数といった古典的対象との関係は何か？
• RQ4 このフレームワークは、ラベルなしposetの不変量を計算するためにどのように適合可能か。また、異なるラベル付けの規則にはどのような計算上の利点があるか？

主な発見

• 順序多項式 $\Omega(P,\omega;t)$ とオイラー順序多項式 $e(P,\omega;\lambda)$ は、$(P,\omega)$ の $\omega$-グラフの隣接行列を用いて明示的に表現され、行列ベースの計算が可能になる。
• 1つの線形作用素 $\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）が存在し、構成のさらなる一般化が示唆される。
• ラベルなしposetに対しては、アルゴリズム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)$ を満たす。
• このフレームワークにより、ラベル付きposetの新しい不変量を一様に生成する方法が提供され、既知の不変量を一般化するとともに、導出された再帰的公式を通じてベルヌーイ数や多項式と関連づけられる。