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

A. K. Kwaśniewski|arXiv (Cornell University)|Jan 1, 2009

Advanced Combinatorial Mathematics参考文献 10被引用数 8

ひとこと要約

本稿では、有界な最小元集合をもつ任意の階級付きposetのゼータ行列について、二部有向グラフの鎖を用いたモデル化と隣接行列への自然結合演算を用いて、公式を提示する。主な貢献は、隣接行列の統合とアンブレ・記法を用いた、到達可能性、連結性、ゼータ行列計算を結びつける体系的かつ包括的な手法であり、微分posetおよびKoDAG（コブウェブposet）への応用を含む。

ABSTRACT

The way to arrive at formula of zeta matrix for any graded posets with the finite set of minimal elements is delivered following the first reference. This is being achieved via adjacency and zeta matrix description of bipartite digraphs chains, the representatives of graded posets. The bipartite digraphs elements of such chains amalgamate to form corresponding cover relation graded poset digraphs with corresponding adjacency matrices being amalgamated throughout natural join as special adequate database operation. The colligation of reachability and connectivity with the presented description is made explicit. The special posets encoded via kodags directed acyclic graphs as cobeb posets cover relations digraphs are recognized as an example of differential posets subfamily. As on this night one reminisce anniversary of death of distinguished johann bernoulli the first this sylvester night article is to commemorate this date.

研究の動機と目的

• 階級付きposetの有限最小元をもつ場合に、グラフベースの表現を用いてゼータ行列の一般公式を開発すること。
• 有向無閉路グラフ（DAG）における隣接行列演算を通じて、到達可能性、連結性、ゼータ行列の関係を形式化すること。
• コブウェブposet（KoDAG）のゼータ行列構造を用いて、それが微分posetの標準的例であることを示すこと。
• 自然結合をデータベース的演算として隣接行列に適用することにより、posetの被覆関係と推移的閉包の記述を統一すること。
• 拡張アンブレ記法およびグレーヴス＝ハイゼンベルク＝ヴァイエル代数の枠組みの中でゼータ行列計算を統合すること。

提案手法

• 各連続するレベルのペアが有向弧で接続される二部有向グラフの鎖として階級付きposetを表現する。
• これらの二部有向グラフの隣接行列における自然結合演算を用いて、posetの完全な被覆関係有向グラフを構築する。
• ゼータ行列を、被覆関係の反射的かつ推移的閉包として定義し、ブール行列和として表す：$ A(f{R}^*) = igvee_{k o 0} A(f{R})^{igcirc k} $。
• アンブレ記法の技術を用いてposetの微分構造をモデル化し、演算子恒等式 $ DU - UD = abla_F $ を用いる。ここで $ abla_F $ は対角差分作用素である。
• ゼータ行列 $ f{R}^* $ がインシデント代数ゼータ関数 $ ilde{f{R}} $ に一致することを確立し、$ f{R}^* = igcup_{k o 0} f{R}^k $ となることを示す。
• KoDAG（コブウェブposetのハッセ図）が $ DU - UD = abla_F $ 恒等式を満たすことを検証することで、微分posetの部分クラスとして認識する。

実験結果

リサーチクエスチョン

• RQ1 階級付きposetの有限最小元をもつ場合に、グラフおよび行列演算を用いてゼータ行列を体系的に計算する方法は何か？
• RQ2 自然結合は、二部有向グラフの隣接行列を組み合わせることで、posetの完全な構造を再構築する際に果たす役割は何か？
• RQ3 ハッセ有向グラフにおける到達可能性と連結性は、ゼータ行列およびインシデント代数とどのように関係するか？
• RQ4 コブウェブposet（KoDAG）は、演算子恒等式を用いて、微分posetの部分クラスとして形式的に認識できるか？
• RQ5 アンブレ記法は、階級付きposetにおけるゼータ行列と微分作用素を統合する枠組みをどのように提供するか？

主な発見

• 任意の有限最小元をもつ階級付きposetのゼータ行列は、被覆関係の反射的推移的閉包として、ブール行列の累乗を用いて計算可能であり、$ f{R}^* = igcup_{k o 0} f{R}^k $ と表される。
• 二部有向グラフ鎖の隣接行列の自然結合は、posetの完全な被覆関係有向グラフを再構築でき、ゼータ行列のモジュラー構築を可能にする。
• ゼータ行列 $ f{R}^* $ はインシデント代数ゼータ関数に等しく、ブール半環において $ f{R}^* = (I - f{R})^{-1} $ と表される。
• コブウェブposet（KoDAG）は微分posetの条件 $ DU - UD = abla_F $ を満たし、$ F $-微分posetの標準的例であることが確認される。
• 演算子 $ D $ は $ abla_F $ として定義され、拡張アンブレ記法における一般化された微分作用素として機能し、$ DU^n = n abla_F U^{n-1} + U^n D $ を満たす。
• この枠組みはゼータ行列計算をグレーヴス＝ハイゼンベルク＝ヴァイエル代数に埋め込み、有限作用素記法のアンブレ表現が多項式代数上の微分作用素を一般化することを示している。