[論文レビュー] Cobweb posets as noncommutative prefabs

A. K. Kwaśniewski|ArXiv.org|Mar 15, 2005

Advanced Algebra and Logic参考文献 5被引用数 29

ひとこと要約

本稿では、結合的および可換性を緩和することで、組合せ的構造であるprefabの概念を一般化する新しいクラスの非可換・非結合的prefabとして、cobweb posetsを導入する。F-二項係数（例：二項係数、フィボノミアル係数）が、これらのposetにおけるインシデント係数として自然に現れることを示し、自己相似的で最小元を持つ階数付きposetを用いて、古典的な組合せ的数の新しい組合せ的解釈を提供する。

ABSTRACT

A class of new type graded infinite posets with minimal element are considered. These so called cobweb posets introduced recently by the present author provide a wide range of new noncommutative prefab combinatorial schema with characteristic graded subposets as primes. The schema are defined here via relaxing commutativity and associativity requirements imposed on the composition of prefabs by the fathers of this fertile concept. The construction and the very first basic properties of cobweb prefabs are pointed out in what follows. An another single valued commutative amd associative composision is also considered.

研究の動機と目的

• 合成における可換性および結合性を緩和することで、prefabの概念を一般化すること。
• 適切な整数列に基づいて、最小元を持つ階数付き無限posetの新クラス—cobweb posets—を定義すること。
• インシデントの観点から、F-二項係数（二項係数およびフィボノミアル数を含む）の組合せ的解釈を提供すること。
• cobweb posetsが、特徴的な階数付き部分posetを素数として持つ、非可換・非結合的prefab（以下、prefabiant）の新クラスを生み出すことを示すこと。
• cobweb posetsと拡張されたアンブレル計算、特にF-Dobinski型の公式およびq指数型母関数との関係を探索すること。

提案手法

• 任意の非ゼロ実数からなる適切な列{F_n}からcobweb posetsを構成し、s番目のレベルΦ_sにs_F個の頂点を持つペア⟨j,s⟩として頂点を定義する。
• ハッセ図は、⟨j,p⟩と⟨q,p+1⟩の間の辺によって定義され、⟨1,0⟩から⟨1,1⟩への特別な辺を含み、自己相似性を保つ階数付き構造を確保する。
• prefabフレームワークにおける合成演算∘は、層ごとのcoopt合成により定義される：⟨Φ_k→Φ_n⟩∘⟨Φ_p→Φ_q⟩ = ⟨Φ_{k+p}→Φ_{n+q}⟩で、Z≥×Z≥の階数を保存する。
• F-二項係数(n choose k)_Fは、n_F! / (k_F! (n−k)_F!)として定義され、n_F! はF列の項の積であり、二項係数およびフィボノミアル係数を一般化する。
• ψ拡張およびアンブレル計算の文脈において、生成関数および指数型公式を解釈するために、F微分∂_F x^n = n_F x^{n−1}を用いる。
• 本稿では、元のprefab定義におけるc2公理が[1]における基本定理と同値であることを示し、cobwebフレームワーク内でのF-二項係数のすべての組合せ的解釈を一様に可能にする。

実験結果

リサーチクエスチョン

• RQ1 可換性および結合性を緩和することで、合成が非可換・非結合的となるようなprefabの概念をどのように一般化できるか？
• RQ2 二項係数、qガウス係数、フィボノミアル係数といったF-二項係数が、新しい階数付きposetのクラス内でどのような組合せ的解釈を受けるか？
• RQ3 cobweb posetsは、自己相似的で階数付きのposet構造を用いて、縮小されたインシデント代数のインシデント係数を解釈する普遍的フレームワークとして機能できるか？
• RQ4 F微分およびψ拡張は、cobweb posetsと指数型母関数、アンブレル計算を結ぶ役割を果たすか？
• RQ5 cobweb posetsから導かれる新しい組合せ的構造（prefabiant）は、ベル数、スターリング数、ベクトル空間の分解といった既知の組合せ的対象とどのように関係するか？

主な発見

• cobweb posetsは、任意の適切な列{F_n}によって定義され、最小元を持ち、自己相似的で階数付きの無限posetを形成し、一意なハッセ図構造を持つ。
• cobweb posetのレベル間の有限の特徴的部分poset（素数となるprefabiant）の数は、F-二項係数(n choose k)_Fで与えられ、これは二項係数、qガウス係数、フィボノミアル係数を含む。
• cobweb posetsの構成により、非可換・非結合的prefab（以下、prefabiant）の新クラスが得られ、合成は部分posetの層ごとのcoopt合成により定義される。
• 元のprefab定義におけるc2公理が、[1]における基本定理と同値であることが示され、cobwebフレームワーク内でのF-二項係数のすべての組合せ的解釈が一様に可能になる。
• 第二の、単一値的で可換かつ結合的な合成のケースが提示され、fを定数1関数として選べば、cobweb設定において[1]の系2および系3が回復される。
• 本稿では、拡張されたアンブレル計算およびψ拡張との関係を確立し、F-Dobinski型の公式およびq指数型母関数（例：qベル数）が、cobweb posetsを介して解釈可能であると示唆している。