[論文レビュー] A note on mobiusien function and mobiusien inversion formula of fibonacci cobweb poset

Ewa Krot|ArXiv.org|Apr 7, 2004

Advanced Mathematical Theories and Applications被引用数 5

ひとこと要約

本稿では、平面グリッド座標系を用いて、フィボナッチコブウェブposetのモービウス関数の最初の明示的公式を提示する。これにより、モービウス逆転の直接計算が可能になる。要素を座標⟨s,t⟩として表現することで、モービウス関数のコンactかつ計算に適した形が導かれ、poset上に定義された関数に適用可能な対応するモービウス逆転公式が確立される。

ABSTRACT

The explicit formula for mobiusien function of fibonacci cobweb poset P is given for the first time by the use of definition of P in plane grid coordinate system.

研究の動機と目的

• フィボナッチコブウェブposetのモービウス関数の明示的で閉形式の表現を導出すること。これにより、再帰的定義の制限を克服する。
• sがレベルt内の位置を表すという意味で、クワシニェフスキーの平面グリッド座標系（⟨s,t⟩）を用いてモービウス関数を再定式化すること。
• モービウス関数の計算に効率的な公式を提供することで、実用的なモービウス逆転の適用を可能にすること。
• 組合せ的数え上げやフィボノミアル係数の分析に適した、座標形式のモービウス逆転公式を確立すること。

提案手法

• フィボナッチコブウェブposetの要素を、レベル（フィボナッチ添え字）を表すtと、レベル内での位置を表すsからなる順序対⟨s,t⟩として表現する。
• 部分順序を次のように定義する：⟨s,t⟩ ≤ ⟨u,v⟩ ならば (t < v) または (t = v かつ s = u)。
• 再帰的定義 μ(x,x) = 1 および μ(x,y) = -∑_{x≤z<y} μ(x,z) を用いて、明示的公式を導出する。
• モービウス関数 μ(⟨s,t⟩,⟨u,v⟩) を δ(t,v)δ(s,u) − δ(t+1,v) + ∑_{k=2}^∞ δ(t+k,v)(−1)^k ∏_{i=t+1}^{v−1}(F_i − 1) として表現する。
• 逆転を支援するために、ゼータ関数 ζ(⟨s,t⟩,⟨u,v⟩) = δ(s,u)δ(t,v) + ∑_{k=1}^∞ δ(t+k,v) を導出する。
• 導出されたモービウス関数を用いて、モービウス逆転公式を次のように定式化する：f(⟨s,t⟩) = ∑_{v≥1} ∑_{u=1}^{F_v} g(⟨u,v⟩) μ(⟨s,t⟩,⟨u,v⟩)。

実験結果

リサーチクエスチョン

• RQ1 座標表現を用いた場合、フィボナッチコブウェブposetのモービウス関数の明示的で非再帰的公式は何か？
• RQ2 モービウス関数は、逆転公式への直接的適用に適した形でどのように表現できるか？
• RQ3 コブウェブposetのゼータ関数およびモービウス関数は、平面グリッド座標系を用いて再表現可能か？その場合、解析的明瞭性が向上するか？
• RQ4 明示的モービウス関数をposet上に定義された関数に適用した場合、得られるモービウス逆転公式は何か？
• RQ5 この新しい公式は、この文脈における従来の再帰的定式化と比較して、実用性においてどのように優れているか？

主な発見

• モービウス関数 μ(⟨s,t⟩,⟨u,v⟩) は、δ(t,v)δ(s,u) − δ(t+1,v) + ∑_{k=2}^∞ δ(t+k,v)(−1)^k ∏_{i=t+1}^{v−1}(F_i − 1) として明示的に与えられ、閉形式の表現が得られる。
• この公式はモービウス関数の値を正しく捉えている：x=y のとき1、同じレベルにあり異なるとき0、xがレベルt、yがレベルt+1にあるとき-1。
• 非連続なレベルにある要素に対しては、xがレベルk、yがレベルn > k+1にあるとき、モービウス関数は (−1)^{n−k} ∏_{l=k+1}^{n−1}(F_l − 1) に等しい。
• ゼータ関数は ζ(⟨s,t⟩,⟨u,v⟩) = δ(s,u)δ(t,v) + ∑_{k=1}^∞ δ(t+k,v) として再表現され、座標形式での順序関係が明確に明らかになる。
• 座標形式で表現されたモービウス逆転公式が導出された：f(⟨s,t⟩) = ∑_{v≥1} ∑_{u=1}^{F_v} g(⟨u,v⟩) μ(⟨s,t⟩,⟨u,v⟩)。これにより、poset上の関数の逆転が可能になる。
• 明示的公式により、再帰を用いずにモービウス関数の値を直接計算できるようになり、組合せ的応用における実用性が著しく向上する。