[論文レビュー] Generalization of Fibonomial Coefficients

Maciej Dziemiańczuk|ArXiv.org|Aug 22, 2009

Advanced Mathematical Theories and Applications参考文献 16被引用数 4

ひとこと要約

この論文は、タイル可能な列 $\tau_{p,q}$ から導かれる新しい $\tau$-二項係数の族を導入することで、フィボナッチ二項係数を一般化する。母関数を用いて二項型定理を確立し、組合せ的解釈を導出する。主な貢献は、$\mathcal{T}$-二項係数が離散ハイパーボックスのタイリングおよびコブウェブposetの分割に統一的に関連することを示し、二項係数、ガウス係数、フィボナッチ二項係数が特別な場合として含まれる枠組みを提供することにある。

ABSTRACT

Following Lucas and then other Fibonacci people Kwasniewski had introduced and had started ten years ago the open investigation of the overall F-nomial coefficients which encompass among others Binomial, Gaussian and Fibonomial coefficients with a new unified combinatorial interpretation expressed in terms of cobweb posets' partitions and tilings of discrete hyperboxes. In this paper, we deal with special subfamily of T-nomial coefficients. The main aim of this note is to develop the theory of T-nomial coefficients with the help of generating functions. The binomial-like theorem for T-nomials is delivered here and some consequences of it are drawn. A new combinatorial interpretation of T-nomial coefficients is provided and compared with the Konvalina way of objects' selections from weighted boxes. A brief summary of already known properties of T-nomial coefficients is served.

研究の動機と目的

• タイル可能な列 $\mathcal{T}_{p,q}$ を用いて、より広いクラスの $\mathcal{T}$-二項係数を導入することで、フィボナッチ二項係数を一般化すること。
• $\mathcal{T}$-二項係数のための母関数フレームワークを構築し、二項型定理を導出すること。
• $\mathcal{T}$-二項係数を離散ハイパーボックスのタイリングおよびコブウェブposetの分割という組合せ的解釈で新たに提示すること。
• 既知の $F$-二項係数に関する結果を、二項係数、ガウス係数、フィボナッチ二項係数を含め、一つの代数的・組合せ的構造に統一的かつ拡張すること。

提案手法

• $\mathcal{T}_{p,q}$ を母関数 $\mathcal{T}_{p,q}(x) = \frac{x}{(1 - p x)(1 - q x)}$ の係数として定義し、$1_{\mathcal{T}} = 1$ とする。
• $n = m + k$ のもとで $n_{\mathcal{T}} = p^m k_{\mathcal{T}} + q^k m_{\mathcal{T}}$ という再帰的関係を導出し、$\mathcal{T}$-二項係数の構造を確立する。
• 母関数を用いて、$\mathcal{T}$-二項係数の二項型定理を証明し、$\sum_{k \geq 0} \binom{n}{k}_{\mathcal{T}} (-1)^{n-k} q^{\binom{n-k}{2}} x^k = \prod_{s=0}^{n-1} (x - q^s)$ などの恒等式を含む。
• $\mathcal{T}$-二項係数を、$V_{1,m}$ の平行移動を用いた $m$ 次元離散ハイパーボックス $V_{k,n}$ のタイリングの数として組合せ的解釈を確立する。
• $\mathcal{T}_{p,q}$ の特別な場合が既知の係数を回復することを示す：$\mathcal{T}_{1,q}$ はガウス係数、$\mathcal{T}_{1,1}$ は二項係数、$\mathcal{T}_{\varphi_+, \varphi_-}$ はフィボナッチ二項係数に対応する。
• 逆変換公式と母関数の恒等式を用いて双対的表現を導出し、たとえば $\mathcal{T}_{1,q}$ に対して $\binom{n}{k}_{\mathcal{T}}^{-1} = (-1)^{n-k} q^{\binom{n-k}{2}} \binom{n}{k}_{\mathcal{T}}$ が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 フィボナッチ再帰を越えて、より広い系列の族を用いてフィボナッチ二項係数をどのように一般化できるか？
• RQ2 一般化された $\mathcal{T}$-二項係数に対して、二項型定理を支える母関数フレームワークは何か？
• RQ3 $\mathcal{T}$-二項係数は、離散ハイパーボックスのタイリングやコブウェブposetの分割といった組合せ的構造とどのように関係するか？
• RQ4 $\mathcal{T}$-二項係数の枠組みは、二項係数、ガウス係数、フィボナッチ二項係数といった既知の係数系を、一つの代数的・組合せ的モデルに統一できるか？
• RQ5 $\mathcal{T}$-二項係数の逆転および双対性の性質は何か？ そして、それらは既知の恒等式をどのように一般化するか？

主な発見

• $\mathcal{T}$-二項係数 $\binom{n}{k}_{\mathcal{T}}$ は母関数 $\mathcal{T}_{p,q}(x) = \frac{x}{(1 - p x)(1 - q x)}$ を通じて定義され、フィボナッチ、ガウス、二項係数を含む系列を一般化する。
• 二項型定理が確立された：$\sum_{k \geq 0} \binom{n}{k}_{\mathcal{T}} (-1)^{n-k} q^{\binom{n-k}{2}} x^k = \prod_{s=0}^{n-1} (x - q^s)$ は $\mathcal{T}_{1,q}$ に対して有効である。
• $\mathcal{T}_{p,p}$ の場合、$\mathcal{T}$-二項係数 $\binom{n}{k}_{\mathcal{T}_p} = \binom{n}{k} p^{k(n-k)}$ は、$n$ 頂点と $k$ 個の頂点が一つの部分に属する $p$-多重グラフのラベル付き数を数える。
• $\mathcal{T}$-二項係数 $\binom{n}{k}_{\mathcal{T}}$ は、$m = n - k + 1$ のもとで、$V_{1,m}$ の平行移動を用いた離散ハイパーボックス $V_{k,n}$ の $m$ 次元タイリングの数を数える。
• 逆変換公式 $\binom{n}{k}_{\mathcal{T}_{1,q}}^{-1} = (-1)^{n-k} q^{\binom{n-k}{2}} \binom{n}{k}_{\mathcal{T}_{1,q}}$ は、$q$-二項係数の双対性を一般化する。
• フィボナッチ二項係数は、$p = \varphi_+$、$q = \varphi_-$ に対応するフィボナッチ再帰に対応する $\mathcal{T}_{p,q}$ の特別な場合として現れ、$\binom{n}{k}_{\text{Fib}} = (n-1)_F \binom{n-1}{k-1}_{\text{Fib}} + (k+1)_F \binom{n-1}{k}_{\text{Fib}}$ を得る。