[論文レビュー] Graded posets inverse zeta matrix formula

A. K. Kwaśniewski|arXiv (Cornell University)|Mar 14, 2009

Advanced Combinatorial Mathematics参考文献 34被引用数 5

ひとこと要約

本稿では、有限個の最小元を持つ階層的posetにおけるゼータ行列の逆行列に対する明示的公式を、隣接行列と二部有向グラフ鎖における自然結合演算を用いて提示する。主な貢献は、poset区間内の最大鎖を用いたモビウス関数の組合せ的解釈であり、$F$-多項式係数と$F$-階層的poset構造から導かれるモビウス行列の明示的表現が得られる。

ABSTRACT

We derive the explicit formula for the inverse of zeta matrix for any graded posets with the finite set of minimal elements . The combinatorial interpretation of this result is given. For that to do special number theoretic code triangles for graded posets are proposed and apart from the present author combinatorial interpretation of $F-nomial$ coefficients another one is proposed referring to the number of all maximal chains in the corresponding poset intervals.

研究の動機と目的

• 任意の有限個の最小元を持つ階層的posetにおけるゼータ行列の逆行列に対する明示的公式を導出すること。
• poset区間内の最大鎖を用いたモビウス関数の組合せ的解釈を確立すること。
• 階層的posetの被覆関係有向グラフを構成するために、二部有向グラフの隣接行列における自然結合演算を導入・利用すること。
• $F$-多項式係数をposet区間内の最大鎖の数え上げとして新たな解釈を与えること。
• $F$-階層的poset構造と「逆さま表記原理」を用いてモビウス行列の公式を一般化すること。

提案手法

• 階層的posetを表す二部有向グラフ鎖の隣接行列の自然結合を用いて、逆ゼータ行列を導出する。
• 階層的posetは、自然数列$F$でインデックス付けられたレベルを持つKoDAG（カウラツキ・完全有向グラフ）として表現される。
• ゼータ行列は隣接行列$\kappa$の累乗の和として表現され、$[Max] = (I - \kappa)^{-1}$となる。ここで$[Max]_{s,t}$はレベル$s$から$t$への最大鎖の数を表す。
• 逆ゼータ行列は$[Max]^{-1} = \delta - \kappa$として計算され、ここで$\delta$は単位行列、$\kappa$は被覆関係の隣接行列である。
• $F$-多項式係数$\binom{n}{k}_F$は、$F$-列の階乗でスケーリングされた、レベル$k$から$n$への最大鎖の数として組合せ的に解釈される。
• 「逆さま表記原理」を適用して、自然数から任意の自然数値列$F$への結果の一般化を実現し、広範な適用可能性を保証する。

実験結果

リサーチクエスチョン

• RQ1 任意の有限個の最小元を持つ階層的posetに対して、ゼータ行列の逆行列を明示的にどのように計算できるか。
• RQ2 poset区間内の最大鎖を用いたモビウス関数の組合せ的意味は何か。
• RQ3 $F$-多項式係数は$F$-階層的posetにおける最大鎖の数とどのように関係するか。
• RQ4 隣接行列の自然結合演算を用いて、階層的posetのゼータ行列およびモビウス行列を体系的に構成できるか。
• RQ5 「逆さま表記原理」は、標準ケースから任意の$F$-階層的posetへの結果の一般化において、果たす役割は何か。

主な発見

• 逆ゼータ行列は明示的に$[Max]^{-1} = \delta - \kappa$として与えられ、ここで$\delta$は単位行列、$\kappa$は被覆関係の隣接行列である。
• 任意のレベル$k$の要素から任意のレベル$n$の要素への最大鎖の数は$n^{ar{m}}_F$であり、$m = n - k$であり、これは$\sum_{i=1}^{n_F} [Max]_{k,i}$に等しい。
• $F$-多項式係数$\binom{n}{k}_F$は$\frac{[Max]_{k-2,n}}{(n-k)_{F}!}$として解釈され、区間$[x_{k-2}, x_n]$内の最大鎖の数に直接関連づけられる。
• モビウス関数は符号付き最大鎖の数として組合せ的に解釈され、逆ゼータ行列$[Max]^{-1}$がこの情報を符号化する。
• この逆ゼータ行列の公式は、$F$が自然数値列である任意の$F$-階層的posetに対して成り立ち、逆さま表記原理により一般化される。
• 隣接行列の自然結合演算により、二部有向グラフ鎖からゼータ行列およびその逆行列を体系的に構成可能であり、poset構造に対するデータベース的演算を形成する。