[論文レビュー] The First Ascent into the Incidence Algebra of the Fibonacci Cobweb Poset

Ewa Krot|arXiv (Cornell University)|Oct 31, 2004

Advanced Mathematical Theories and Applications被引用数 5

ひとこと要約

この論文は、座標に基づくグリッド表現を用いて、フィボナッチ・コブウェブposetのインシデント代数におけるモービウス関数およびその他の主要な要素について明示的な公式を導出する。クワシニェフスキーの構成と再帰関係を活用することで、フィボナッチ数とクロネッカーのデルタを用いたモービウス関数の閉形式表現を確立し、この非二項的poset構造におけるモービウス反転およびチェーン数え上げの公式を可能にする。

ABSTRACT

The explicite formulas for möbiusien function and some other important elements of the incidence algebra are delivered. For that to do one uses kwaśniewski's construction of his fibonacci cobweb poset in the plane grid coordinate system.

研究の動機と目的

• フィボナッチ・コブウェブposetのインシデント代数におけるモービウス関数の明示的公式を導出すること。
• ζ、η、χおよびそれらの累乗といった、インシデント代数の主要な要素に対する閉形式表現を提供すること。
• 有限部分posetにおけるモービウス反転およびチェーン数え上げを可能にすること。
• 代数的インシデント構造を通じて、フィボナッチ二項係数の組合せ的解釈を拡張すること。

提案手法

• フィボナッチ・コブウェブposetのクワシニェフスキーによる座標に基づくグリッド表現を用い、要素を⟨s,t⟩として表し、tがレベル内の位置をインデックスする。
• モービウス関数の標準的再帰関係を適用：μ(x,x) = 1 および x < y のとき μ(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(x) = ∑_{y≤x} g(y)μ(y,x) を適用し、導出されたμ関数を明示的に代入する。

実験結果

リサーチクエスチョン

• RQ1 フィボナッチ・コブウェブposetのインシデント代数におけるモービウス関数の明示的閉形式表現は何か？
• RQ2 フィボナッチ・コブウェブposetのζ関数は、クロネッカーのデルタおよびフィボナッチ数を用いてどのように表現できるか？
• RQ3 ζ²、ηᵏ、χᵏおよびそれらの逆関数のこのposet構造における組合せ的解釈は何か？
• RQ4 導出された公式を用いて、この非二項的posetにおいてモービウス反転を効果的に適用できるか？
• RQ5 インシデント代数の要素は、有限部分posetにおけるチェーンおよびセグメントの数え上げとどのように関係するか？

主な発見

• フィボナッチ・コブウェブposetのモービウス関数は、μ(⟨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) として表現され、セグメントおよびチェーンの数え上げを可能にする。
• 区間[x,y]に含まれる要素の数は、card[x,y] = (∑_{i=t+1}^{v-1} ∑_{j=1}^{F_i} 1) + 2 で与えられ、レベル構造を反映している。
• 関数η(⟨s,t⟩,⟨u,v⟩) = ∑_{k=1}^∞ δ(t+k,v) は、xからyへの長さkのチェーンの数を数える。
• 関数χ(⟨s,t⟩,⟨u,v⟩) = δ(t+1,v) は、xからyへの長さ1の最大チェーンの数を数える。
• ℳ = δ - χ の逆関数は ℳ⁻¹ = δ + χ + χ² + ⋯ で与えられ、xからyへのすべての最大チェーンを数える。