[論文レビュー] Generalized Compositions of Natural Numbers

Milan Janjić|arXiv (Cornell University)|Dec 16, 2010

Advanced Mathematical Theories and Applications被引用数 3

ひとこと要約

本稿では、各整数 i が b_i 種類の異なるタイプで現れる自然数の一般化された合成を導入し、その数に対する再帰的関係式と閉形式の公式を導出する。また、フィボナッチ数、カタラン数、ペル数、ヤコブスティアル数などの古典的数列との関連を確立し、b_i の特定の選択により既知の整数列が得られ、定数係数の線形再帰を用いた明示的公式が可能であることを示す。

ABSTRACT

We consider compositions of natural numbers when there are different types of each natural number. Several recursions as well as some closed formulas for the number of compositions is derived. We also find its relationships with some known classes of integers such as Fibonacci, Catalan, Pell, Pell-Lucas, and Jacobsthal numbers.

研究の動機と目的

• 各部のサイズ i に対して複数のタイプ（色）を許容することで、標準的な整数合成を一般化すること。
• このような一般化された合成の数に対する再帰的関係式と閉形式表現を導出すること。
• 一般化された合成とフィボナッチ数、カタラン数、ペル数、ヤコブスティアル数などのよく知られた整数列との関連を調査すること。
• 定数係数の線形再帰を満たすようにするための、b = (b_1, b_2, ...) の列に関する条件を同定すること。
• OEIS に登録された既知の数列が、特定の b_i の割り当てのもとで一般化された合成の数としてどのように現れるかを示すこと。

提案手法

• c(n, b) を、各部 i が b_i 種類の異なるタイプから選べる一般化された n の合成の数とする。
• 再帰的関係式：c(n, b) = sum_{i=1}^{n} b_i * c(n-i, b) を確立し、c(1, b) = b_1 および n > 1 のとき c(n, b) = b_n（1つの部のみの場合）とする。
• a_n = c(n-1, b) を導入し、a_{n+1} = sum_{i=1}^n b_{n+1-i} a_i という再帰的関係を得る。
• 特殊ケースの分析：b_i が等差数列、b_i = i^2（二次関数）、b_i が指数関数的、および b_i がフィボナッチ数の場合。
• フィボナッチ数の恒等式（例：カッシーニの恒等式、和の恒等式）を用いて、これらのケースにおける c(n, b) の閉形式を導出する。
• 三角数の b_i の場合、ゼルバーガーのアルゴリズムを適用し、二項係数の和を含む恒等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 標準的な整数合成を、各部のサイズ i に対して複数のタイプ（色）を許容することでどのように一般化できるか。また、そのような合成の数を支配する再帰的関係は何か。
• RQ2 b_i の列にどのような条件下で、一般化された合成の数が定数係数の線形再帰を満たすか。
• RQ3 特定の b_i の選択のもとで、フィボナッチ数、カタラン数、ペル数、ヤコブスティアル数などの古典的数列が、一般化された合成の数としてどのように現れるか。
• RQ4 b_i が等差数列、二次関数的、または指数関数的パターンに従う場合に、一般化された合成に対して閉形式の表現を導出できるか。
• RQ5 一般化された合成を二項係数の重み付き和として解釈することで、どのような組合せ的恒等式が導けるか。

主な発見

• b_i = p（すべての i に対して）の場合、一般化された合成の数は c(n, b) = p(1+p)^{n-1} と表され、標準的な 2^{n-1} の合成を一般化する。
• b_i = C_{i-1}（カタラン数）の場合、c(n, b) = C_n となり、カタラン数がこの合成写像のもとで不動点であることが示される。
• b_i = m(i-1) + k（等差数列）の場合、c(n, b) は定数係数の三項線形再帰を満たす：c(n+1, b) = (k+2)c(n, b) + (m-k-1)c(n-1, b)。
• b_i = i^2（二次関数）の場合、合成の数は定数係数の四項線形再帰を満たし、明示的な閉形式が得られる。
• b_i = F_{m + k(i-1)}（フィボナッチに基づく）の場合、合成の数は係数にフィボナッチ数を含む二階線形再帰を満たす。
• フィボナッチに基づく b_i 列における m と k の特定の選択により、既知の OEIS 数列が得られる：例として m=0, k=1 はヤコブスティアル数（A001045）、m=1, k=1 はペル数（A000129）、m=1, k=2 は A007052 を与える。