[論文レビュー] Further developements in finite fibonomial calculus

Ewa Krot|ArXiv.org|Oct 26, 2004

Algebraic structures and combinatorial models参考文献 3被引用数 3

ひとこと要約

この論文は、フィボナッチコブウェブposetを介したフィボナッチ二項係数の組合せ的解釈を導入し、インシデント代数の要素を定義し、このposetにおけるモービウス関数を導出することによって、有限フィボナッチ二項式微積分を発展させる。また、作用素代数と形式的級数の間の同型を確立し、古典的アンブレル計算をフィボナッチに基づく多項式列および作用素へ一般化する。

ABSTRACT

Primary definitions, notation and general observations of finite fibonomial operator calculus (ffoc) are presented. Kwasniewski's combinatorial interpretation of fibonomial coefficients by the use of fibonacci cobweb poset is given. Some elements of incidence algebra of fibonacci cobweb poset are defined.

研究の動機と目的

• フィボナッチコブウェブposetを用いたフィボナッチ二項係数の組合せ的解釈を提供することで、有限フィボナッチ二項式作用素微積分（FFOC）を拡張すること。
• フィボナッチコブウェブposetのインシデント代数の要素、特にゼータ関数およびモービウス関数を定義し、それらを分析すること。
• F-シフト不変作用素の代数とフィボナッチ二項係数を係数とする形式的冪級数の間の同型を確立すること。
• FFOCフレームワーク内でのシーファーF多項式および∂F-デルタ作用素の導出および特徴付けを行うこと。
• フィボナッチコブウェブposetのモービウス関数の最初の明示的公式を提示し、これによりチェーン数え上げおよび逆変換公式が可能になること。

提案手法

• フィボナッチ数列 {F_n} を用いて、F階乗、F二項係数、および F_n x^{n-1} を用いた ∂F 導出作用素を定義する。
• F-平行移動作用素 E^y(∂F) = exp_F{y∂F} = ∑ (y^k ∂F^k)/F_k! を導入し、F-シフト不変性を定義する。
• ∂F-デルタ作用素 Q(∂F) を、多項式の次数を1つ減らす線形作用素として定義し、それに関連する ∂F-基本多項式列を導入する。
• フィボナッチ二項係数の畳み込みを用いて乗法を保つことにより、形式的F級数とF-シフト不変作用素の間の同型 φ: Φ_F → Σ_F を確立する。
• フィボナッチコブウェブposet P におけるインシデント代数枠組みを適用し、再帰的公式を用いてゼータ関数およびモービウス関数を定義する。
• レベル位置に基づく閉形式のケースを用いて、再帰的公式 μ(x,y) = –∑_{x≤z<y} μ(x,z) を用いてモービウス関数 μ(x,y) を明示的に導出する。

実験結果

リサーチクエスチョン

• RQ1 フィボナッチコブウェブposetを介してフィボナッチ二項係数をどのように組合せ的に解釈できるか？
• RQ2 フィボナッチコブウェブposetのインシデント代数の構造、特にゼータ関数およびモービウス関数は何か？
• RQ3 ∂F-デルタ作用素およびシーファーF多項式は、フィボナッチ二項式設定における古典的アンブレル計算をどのように一般化するか？
• RQ4 フィボナッチコブウェブposetのモービウス関数の明示的形は何か？また、チェーン数え上げにどのように寄与するか？
• RQ5 形式的F級数とF-シフト不変作用素の間の同型は、この枠組みにおける作用素微積分をどのように促進するか？

主な発見

• フィボナッチコブウェブposetのモービウス関数 μ(x,y) は明示的に導出され、μ(x,y) = 1（x=yの場合）、–1（xがレベルkにあり、yがレベルk+1にある場合）、k≥3のときxとyが同じレベルにありかつ異なる場合に0である。
• xがレベルkにあり、yがレベルn > k+1にある場合、μ(x,y) = –∏_{l=k+1}^{n-1} (1 – F_l) であり、これは非隣接レベルに対して乗法的公式を提供する。
• フィボナッチコブウェブposetのインシデント代数は、ζ = ζ₁ – ζ₀ を満たすゼータ関数を支持し、ζ₁ および ζ₀ はレベル遷移における無限和によって定義される。
• 同型 φ: Φ_F → Σ_F は、形式的F級数 ∑ (a_k t^k)/F_k! を、演算子 ∑ (a_k / F_k!) Q(∂F)^k にマッピングし、フィボナッチ二項係数の畳み込みを用いて代数的構造を保つ。
• シーファーF多項式は、S が可逆なF-シフト不変作用素であり、{q_n} が ∂F-基本列であるとき、S⁻¹q_n(x) として特徴付けられる。
• F-アーベル作用素 A(∂F) は、アーベルF多項式の明示的公式を導く。A^{(a)}_{n,F}(x) = (F_n / n) ∑_{k=0}^{n-1} binom{n-1}{k}_F (-a n)^k (n-k)/F_{n-k} x^{n-k}。