[論文レビュー] Motzkin numbers, central trinomial coefficients and hybrid polynomials

Paweł Błasiak, G. Dattoli+3 more|ArXiv.org|Feb 1, 2008

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

ひとこと要約

本稿では、ハイブリッド・エルミート・ラゲル Hermite-Laguerre 多項式を用いた統一的枠組みを導入し、モツキン数と中心三項係数（CTC）を研究する。操作的積分法を用いて、それらの深い代数的関係を明らかにする。主な貢献は、CTC とモツキン数がハイブリッド多項式の特別な値として特定されることであり、これにより新しい漸化式と一般化形が得られる。特に、p-関連およびm次順序 CTC 系列に対して閉形式の漸化式が導出される。

ABSTRACT

We show that the formalism of hybrid polynomials, interpolating between Hermite and Laguerre polynomials, is very useful in the study of Motzkin numbers and central trinomial coefficients. These sequences are identified as special values of hybrid polynomials, a fact which we use to derive their generalized forms and new identities satisfied by them.

研究の動機と目的

• ハイブリッド多項式形式を用いて、モツキン数と中心三項係数の統一的代数的枠組みを確立すること。
• エルミート＝カンペ・ド・フェリエの多項式を介して、$ c_{n+1} $、$ c_n $、および $ m_{n-1} $ を結ぶ新しい漸化式を導出すること。
• CTC とモツキン数を p-関連および m 次順序形に一般化し、それらの組合せ的および代数的性質を拡張すること。
• パラメータ化されたエルミート多項式と超幾何表現を通じて、得られた整数列の組合せ的解釈を探索すること。

提案手法

• ハイブリッド・エルミート・ラゲル多項式 $ \Pi_n(x,y) = H_n(y, \widehat{D}_x^{-1}) \mathbf{1} $ の定義、ここで $ \widehat{D}_x^{-1} $ は逆微分作用素である。
• 操作的規則の使用：$ H_n(x,y) = \exp(y \partial_x^2) \cdot x^n $ および指数型母関数 $ \sum_{n=0}^\infty \frac{t^n}{n!} H_n(x,y) = \exp(xt + yt^2) $。
• 中心三項係数を $ c_n = \Pi_n(1,1) $ として表現し、モツキン数を $ m_n = \frac{1}{n+1} \binom{n+1}{1}_2 $ として定義し、ハイブリッド多項式の評価と関連付ける。
• 一般化 CTC を $ c_n^p = n! \sum_{k=0}^{[n/2]} \frac{1}{(n-2k)!k!(k+p)!} $ で導出し、漸化式 $ c_n^{p+1} = \frac{c_{n+2}^p - c_{n+1}^p}{2(n+1)} $ を確立する。
• m 次順序 p-関連 CTC を $ {}_m c_n^p = n! \sum_{k=0}^{[n/m]} \frac{1}{(n-mk)!k!(k+p)!} $ として導入し、漸化式 $ {}_m c_{n+1}^p = {}_m c_n^p + m \frac{n!}{(n-m+1)!} {}_m c_{n-m+1}^p $ を得る。
• 超幾何関数を介して結果を関連付ける：$ H_n(x,y) = x^n \cdot {}_2F_0(-n/2, (1-n)/2; 4y/x) $ により、特定のパラメータ選択で組合せ的解釈が可能になる。

実験結果

リサーチクエスチョン

• RQ1 モツキン数と中心三項係数を、単一の多項式形式で体系的に統一することは可能か？
• RQ2 ハイブリッド・エルミート・ラゲル多項式の評価として表された CTC とモツキン数において、どのような漸化式が導かれるか？
• RQ3 一般化された p-関連および m 次順序中心三項係数の代数的および組合せ的性質は何か？
• RQ4 エルミート多項式の特定のパラメータ選択が、既知の整数列とその組合せ的解釈をどのように導くか？
• RQ5 ハイブリッド多項式枠組みは、標準的解釈を超えて CTC と MN の組合せ的意味を新たな洞察をもたらすか？

主な発見

• 中心三項係数 $ c_n $ は正確に $ \Pi_n(1,1) $ に等しく、CTC とハイブリッド・エルミート・ラゲル多項式との直接的な関連を確立する。
• モツキン数 $ m_n $ は $ \frac{1}{n+1} \binom{n+1}{1}_2 $ として表現され、p=1 の p-関連 CTC すなわち $ c_n^1 $ として特定される。
• p-関連 CTC に対して新しい漸化式 $ c_n^{p+1} = \frac{c_{n+2}^p - c_{n+1}^p}{2(n+1)} $ が導出され、$ p \geq 0 $ に対して有効であり、$ p > 1 $ の場合、$ c_n^p $ は整数でないことがある。
• m 次順序 p-関連 CTC $ {}_m c_n^p $ は漸化式 $ {}_m c_{n+1}^p = {}_m c_n^p + m \frac{n!}{(n-m+1)!} {}_m c_{n-m+1}^p $ を満たし、標準的 CTC 構造を一般化する。
• パラメータ $ x=1, y=1/2 $ の場合、エルミート多項式 $ H_n(1,1/2) $ はインボリューション数（A000085）を生成し、単一要素とペアに分割する集合分割の数を数える。
• パラメータ $ x=y=1/2 $ の場合、$ 2^n H_n(1/2,1/2) $ は A115329 を生成し、色分けされたペア分割を数える。これは、パラメータ選択が新たな組合せ的解釈を導くことを示している。