[论文解读] 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

一句话总结

本文提出了一种统一框架，利用混合赫尔米特-拉盖尔多项式研究Motzkin数与中心三项系数（CTC），通过操作演算揭示了它们之间的深层代数联系。主要贡献在于将CTC与Motzkin数识别为混合多项式在特定值下的取值，从而推导出新的递推关系与广义形式，包括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.

研究动机与目标

• 通过混合多项式形式建立Motzkin数与中心三项系数的统一代数框架。
• 通过赫尔米特-坎佩-德费里埃多项式推导出连接 $ c_{n+1} $、$ c_n $ 与 $ m_{n-1} $ 的新递推关系。
• 将CTC与Motzkin数广义化为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) $，Motzkin数表示为 $ m_n = \frac{1}{n+1} \binom{n+1}{1}_2 $，将其与混合多项式求值联系起来。
• 通过 $ c_n^p = n! \sum_{k=0}^{[n/2]} \frac{1}{(n-2k)!k!(k+p)!} $ 推导广义CTC，并建立递推关系 $ 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 如何在单一多项式形式下系统性地统一Motzkin数与中心三项系数？
• RQ2 当CTC与Motzkin数表示为混合赫尔米特-拉盖尔多项式求值时，会涌现出哪些递推关系？
• RQ3 广义p-关联与m阶中心三项系数的代数与组合性质是什么？
• RQ4 赫尔米特多项式中特定参数选择如何产生具有组合解释的已知整数序列？
• RQ5 混合多项式框架能否为CTC与MN的组合意义提供超越标准解释的新见解？

主要发现

• 中心三项系数 $ c_n $ 恰好等于 $ \Pi_n(1,1) $，建立了CTC与混合赫尔米特-拉盖尔多项式之间的直接联系。
• Motzkin数 $ 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，用于计数带颜色的成对划分，表明参数选择可导出新的组合解释。