[論文レビュー] Fibonomial cumulative connection constants

A. K. Kwaśniewski|arXiv (Cornell University)|Jun 1, 2004

Polynomial and algebraic computation参考文献 13被引用数 13

ひとこと要約

本稿では、恒続的根多項式列の文脈において一般化ラーハ数から導かれる組合せ的量として、フィボナッチ二項累積接続定数（ccc）を導入する。これらの定数に対する再帰的関係をフィボナッチおよびラソン根列を用いて確立し、部分集合の数や部分空間格子のカーディナリティを含む、その和の組合せ的解釈を提供する。また、フィボナッチ数列に基づくコブウェブposetにおけるモービウス関数の明示的公式を示す。

ABSTRACT

In this note we present examples of cumulative connection constants included new fibonomial ones. All examples posses combinatorial interpretation.

研究の動機と目的

• 多項式列および接続定数配列の文脈において累積接続定数（ccc）を定義し、分析すること。
• フィボナッチおよびラソン根列を用いて、一般化ラーハ数の理論をフィボナッチ二項の場合に拡張すること。
• cccの和の組合せ的解釈を提供すること。これには部分集合の数や部分空間格子の基数が含まれる。
• 恒続的根多項式列を用いてcccの再帰的関係を導出し、検証すること。
• インシデント代数およびゼータ関数を用いて、フィボナッチ数列に基づくコブウェブposetにおけるモービウス関数の明示的公式を確立すること。

提案手法

• 再帰的関係 $ L_{n+1,k} = L_{n,k-1} + (r_{k+1} - s_{n+1})L_{n,k} $ を用い、$ c_{n,k} = L_{n,k} $ とすることで接続定数を定義する。
• 再帰的関係から導かれる累積接続定数の公式 $ C_{n+1} = (1 - s_{n+1})C_n + \nsum_{k=0}^{n} c_{n,k} r_{k+1} $ を適用する。
• $ q $-アンブロ計算および $ q $-ガウス数多項式を用いて、$ GF(q) $ 上の部分空間格子をモデル化し、$ C_n = (1+_{q}1)^n $ と表す。
• モービウス反転公式を適用し、$ \binom{n}{k}_q $、$ \theta_k(x) $、$ \rho_k(x) $ に関する恒等式を導出し、$ q $-二項定理と関連付ける。
• 逆さ表記原理を用いて、$ \mathbb{Z} \times \mathbb{Z} $ 座標における $ F $-コブウェブposetのモービウス関数の公式を再表現する。
• $ F $-コブウェブposetの $ \zeta $ 関数の2通りの同等な表現を導出する。1つはフィボナッチ積を含み、もう1つはデルタ和構造を含む。

実験結果

リサーチクエスチョン

• RQ1 恒続的根多項式列を用いて、フィボナッチ二項列に累積接続定数をどのように一般化できるか。
• RQ2 フィボナッチ二項の場合に、$ C_n = \sum_k c_{n,k} $ の和がどのような組合せ的解釈をもつか。
• RQ3 一般化ラーハ数の再帰的関係が、フィボナッチおよびラソン根列にどのように拡張されるか。
• RQ4 $ F $-分類コブウェブposetにおけるモービウス関数の構造は何か。また、代数的にどのように表現できるか。
• RQ5 $ F $-コブウェブposetの $ \zeta $ 関数の2通りの表現は同等であるか。また、インシデント代数とどのように関係するか。

主な発見

• フィボナッチ根列 $ r_k = 0 $ および $ s_k = 0 $ の場合、累積接続定数 $ C_n = F_n $ となり、これは $ n $ 番目のフィボナッチ数に一致する。
• ラソン根列において $ r_1 = 0, r_2 = 2, r_k = 1 - r_{k-1}^2 $（$ k > 2 $）のとき、$ C_n = L_n $ となり、これは $ n $ 番目のラソン数に一致する。
• $ V(n,q) $ における部分空間の数を $ C_n = \sum_{k=0}^n \binom{n}{k}_q $ と表すと、これは $ (1+_{q}1)^n $ に等しくなる。これは指数的加重ボックスからの繰返しを許す選択肢の数として解釈できる。
• $ F $-コブウェブposetのモービウス関数は $ \mu(x,y) = \delta(s,u)\delta(t,v) + \sum_{k=1}^\infty \delta(t+k,v)(-1)^k \prod_{i=t+1}^{v-1} (i-1)_F $ で与えられ、すべての自然数値列 $ F $ に対して有効である。
• フィボナッチ積を含む形式とデルタ和構造を含む形式の2通りの同等な $ \zeta $ 関数の表現が導出された。両者とも $ F $-分類コブウェブposetに対して有効である。
• $ q $-アナログのcccについて、再帰的関係 $ C_{n+1} = C_n + \sum_{k=0}^n \binom{n}{k}_q q^k $ が成り立つ。これは一般再帰式 (2) と整合的であることを確認する。