[論文レビュー] Reduced Incidence algebras description of cobweb posets and KoDAGs

Ewa Krot-Sieniawska|ArXiv.org|Feb 29, 2008

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

ひとこと要約

本稿は、F₀=1 を満たす自然数列 {Fₙ} によって定義される、一般化された階層的poset（cobweb posets）の縮約インシデント代数を、区間上の順序に整合する同値関係を特定することによって導入する。標準的縮約代数 R(Π) におけるインシデント係数が正確に Fₙ に一致することを証明し、ζ、μ、η、χ といった主要関数の閉形式表現を Fₙ を用いて導出し、R(Π) がこのようなposetに対して最大の縮約インシデント代数であることを確立する。

ABSTRACT

After identifying the reduced incidence algebra of an arbitrary cobweb poset the very first properties of these algebras are being disclosed.

研究の動機と目的

• 任意の {Fₙ} で F₀=1 を満たす列によって生成されるcobweb poset Π に対する縮約インシデント代数 R(Π) を定義し、特徴づけること。
• 区間上の順序に整合する同値関係のもとで、標準的縮約代数 R(Π) が最大の縮約インシデント代数であることを特定すること。
• R(Π) 内で基本的インシデント代数関数（ζ、μ、η、χ など）の明示的公式を {Fₙ} を用いて導出すること。
• R(Π) におけるインシデント係数が正確に {Fₙ} の要素に一致することを確立し、組合せ的構造と代数的係数とを結びつけること。

提案手法

• cobweb poset Π を、各レベル Φₛ がサイズ Fₛ である階層的かつ局所的に有限なposetと定義し、(s,t) ≤ (u,v) であるのは t < v または (t = v かつ s = u) のときと定める。
• 区間 [x,y] 上に、[x,y] ∼ [u,v] であるのは r(x) = r(u) かつ r(y) = r(v) のときと定義される順序に整合する同値関係 ∼ を導入し、これにより標準的縮約インシデント代数 R(Π) を得る。
• インシデント係数 ⟨k,n|l⟩ を、[x,y] 内の要素 z で [x,z] ∈ (k,l) かつ [z,y] ∈ (l,n) を満たすものの個数として定義し、k ≤ l ≤ n のとき ⟨k,n|l⟩ = Fₗ であり、それ以外は 0 であることを証明する。
• R(Π) 内での積公式を導出：(f ∗ g)(k,n) = ∑ₗ Fₗ f(k,l)g(l,n) であり、代数的構造が {Fₙ} に直接依存することを示す。
• I(Π) 内のすべての標準的インシデント関数（ζ、μ、η、χ など）が R(Π) に引き継がれ、それらの値が k、n、Fₙ のみに依存することを証明する。
• 同値関係 ∼ が区間上での順序に整合する関係の中で最も細かいものであることを示すことにより、R(Π) が最大の縮約インシデント代数であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 F₀=1 を満たす列 {Fₙ} によって定義されるcobweb poset Π に対して、縮約インシデント代数 R(Π) の構造は何か？
• RQ2 R(Π) 内のインシデント係数は列 {Fₙ} とどのように関係するか？
• RQ3 標準的インシデント関数（ζ、μ、η、χ など）は R(Π) 内で閉形式で表現可能か？
• RQ4 R(Π) は区間上の順序に整合する同値関係のもとで、Π に対して最大の縮約インシデント代数か？
• RQ5 R(Π) 内の代数的積構造は何か？ そして {Fₙ} にどのように依存するか？

主な発見

• 標準的縮約代数 R(Π) 内のインシデント係数は、k ≤ l ≤ n のとき ⟨k,n|l⟩ = Fₗ であることから、正確に列要素 Fₗ に一致する。
• R(Π) 内の積は (f ∗ g)(k,n) = ∑ₗ Fₗ f(k,l)g(l,n) で与えられ、代数的構造が {Fₙ} に直接依存することを示している。
• R(Π) 内のゼータ関数は、k ≤ n のとき ζ(k,n) = 1、それ以外は 0 であり、ζ²(k,n) = (∑ᵢ₌ₖⁿ⁻¹ Fᵢ) + 2（k ≤ n のとき）を満たす。
• R(Π) 内のモービウス関数は、k ≤ n のとき μ(k,n) = (−1)ⁿ⁻ᵏ ∏ᵢ₌ₖ₊₁ⁿ⁻¹ (Fᵢ − 1)、それ以外は 0 である。
• χ(k,n) = δ(k+1,n) であり、χˢ(k,n) = δ(k+s,n) · Fₖ₊₁Fₖ₊₂⋯Fₙ₋₁ であり、これは長さ s の最大鎖の個数を数える。
• R(Π) は最大の縮約インシデント代数であり、これは (k,n) のランクペアによって定義される同値関係 ∼ が、区間上での順序に整合する関係の中で最も細かいものであることを意味する。