[論文レビュー] Linear recurrence sequences and their convolutions via Bell polynomials

Daniel Birmajer, Juan B. Gil+1 more|arXiv (Cornell University)|May 29, 2014

Advanced Combinatorial Mathematics参考文献 2被引用数 3

ひとこと要約

本稿では、線形線形再帰列とその多重畳み込みを部分ベル多項式を用いて分析するための新規フレームワークを導入する。再帰係数の INVERT 変換を用いて列を表現することで、元の再帰の深さを保ったまま、畳み込み列の普遍的な再帰関係を導出する。これにより、組合せ的恒等式やギラール＝ワーリングの公式の一般化を体系的に導出可能となる。

ABSTRACT

We recast homogeneous linear recurrence sequences with fixed coefficients in terms of partial Bell polynomials, and use their properties to obtain various combinatorial identities and multifold convolution formulas. Our approach relies on a basis of sequences that can be obtained as the INVERT transform of the coefficients of the given recurrence relation. For such a basis sequence $(y_n)$ with generating function $Y(t)$, and for any positive integer $r$, we give a formula for the convolved sequence generated by $Y(t)^r$ and prove that it satisfies an elegant recurrence relation.

研究の動機と目的

• 固定係数を有する線形再帰列の表現を、部分ベル多項式を用いて統一すること。
• 母関数とベル多項式の恒等式を用いて、このような列の多重畳み込みを体系的に計算する手法を開発すること。
• 任意の r 重畳み込みに対して、元の列と同一の深さの普遍的な再帰関係を導出すること。
• 本フレームワークを用いて、累乗和対称関数のギラール＝ワーリングの公式を再導出すること。

提案手法

• 再帰係数の INVERT 変換に部分ベル多項式を適用し、線形再帰列を表現すること。
• 生成関数 $ Y(t) = 1/Q(t) $ において $ Q(t) = 1 - \sum c_n t^n $ と定義される基底列を導入し、任意の列をシフトされた基底列の線形結合として表現すること。
• ファウ・ディ・ブルーノの公式を用いて、基底列 $ y_n $ を部分ベル多項式で表現する：$ y_n = \sum_{k=0}^n \frac{k!}{n!} B_{n,k}(1!c_1, 2!c_2, \dots) $。
• r 重畳み込み列 $ a_n^{(r)} $ に対して普遍的な再帰関係を導出し、元の列と同一の深さの再帰を満たすことを示すこと。
• ベル多項式の性質を応用して、畳み込み列およびその母関数の閉形式表現を導出すること。
• 具体的な例（フィボナッチ、パドヴァン、トリボナッチ列およびその畳み込み）を用いてフレームワークの妥当性を検証すること。

実験結果

リサーチクエスチョン

• RQ1 固定係数を有する線形再帰列は、部分ベル多項式とその係数の INVERT 変換を用いて体系的に表現可能か？
• RQ2 線形再帰列の r 重畳み込みを支配する普遍的な再帰関係は何か？また、元の再帰の深さを保っているか？
• RQ3 本ベル多項式フレームワークを用いて、累乗和対称関数のギラール＝ワーリングの公式を再導出可能か？
• RQ4 ベル多項式展開を用いて畳み込み列を表現することで、どのような組合せ的恒等式が導かれるか？
• RQ5 本手法は、フィボナッチ、パドヴァン、トリボナッチなどの列に適用可能であり、それらの畳み込みに対して新たな再帰関係を導出可能か？

主な発見

• 線形再帰列の r 重畳み込みは、元の列と同一の深さの再帰を満たすことが、ベル多項式の恒等式を用いて示された。
• 任意の列 $ (a_n) $ が次数 $ d $ の線形再帰を満たす場合、その r 重畳み込み $ a_n^{(r)} $ は、$ n a_n^{(r)} = \sum_{j=1}^d (n + j(r-1)) c_j a_{n-j}^{(r)} $ の形の再帰を満たす。ここで $ c_j $ は再帰係数である。
• r 重畳み込みの母関数は $ Y(t)^r $ であり、その係数はベル多項式で表される：$ y_n^{(r)} = \sum_{k=1}^n \binom{k+r-1}{k} \frac{k!}{n!} B_{n,k}(1!c_1, 2!c_2, \dots) $。
• 本フレームワークにより、基本対称関数をベル多項式で表現することで、累乗和対称関数のギラール＝ワーリングの公式が統一的に導出可能となった。
• フィボナッチ、パドヴァン、トリボナッチ列の畳み込みに対して、A001629、A001628、A001872、A073778 などの既知の OEIS シーケンスと一致する明示的な再帰関係が導出された。
• 特に、スパarsな係数や構造的係数を有する列に対しては、ベル多項式展開の係数を抽出することで、新たな組合せ的恒等式を導出可能となった。