[论文解读] A curious polynomial interpolation of Carlitz-Riordan's $q$-ballot numbers

Frédéric Chapoton, Jiang Zeng|arXiv (Cornell University)|Nov 27, 2013

Advanced Combinatorial Mathematics参考文献 11被引用 1

一句话总结

本文引入了一个多项式序列 $ C_n(x|q) $，其由一个 $ q $-差分方程定义，当在 $ q $-整数处求值时，该序列插值了 Carlitz-Riordan 的 $ q $-投票数。主要贡献在于一个组合递推关系以及一个基展开，其中系数本身也是 $ q $-投票数，揭示了这些多项式背后深刻的代数与组合结构。

ABSTRACT

We study a polynomial sequence $C_n(x|q)$ defined as a solution of a $q$-difference equation. This sequence, evaluated at $q$-integers, interpolates Carlitz-Riordan's $q$-ballot numbers. In the basis given by some kind of $q$-binomial coefficients, the coefficients are again some $q$-ballot numbers. We obtain in a combinatorial way another curious recurrence relation for these polynomials.

研究动机与目标

• 通过 $ q $-差分方程构造 Carlitz-Riordan 的 $ q $-投票数在 $ x $ 上的多项式插值。
• 研究这些多项式在 $ q $-整数处的取值，并将其与 $ q $-投票数关联起来。
• 确定 $ C_n(x|q) $ 在 $ q $-二项式系数基下的展开形式，并揭示其系数的组合结构。
• 通过组合论证推导并证明一个新颖的 $ C_n(x|q) $ 递推关系，该关系在经典情形 $ q = 1 $ 下依然成立。
• 探讨关于系数正性及 $ C_n(x|q) $ 的分子的 Newton 多面体几何形状的开放问题。

提出的方法

• 通过 $ q $-差分方程 $ \Delta_q C_{n+1}(x|q) = q C_n(q^2 x + q + 1|q) $ 定义多项式序列 $ C_n(x|q) $，其中 $ \Delta_q $ 为 Hahn 算子。
• 利用 Hahn 算子的定义 $ \Delta_q f(x) = \frac{f(1 + qx) - f(x)}{1 + (q - 1)x} $，将递推关系转化为涉及 $ C_n(qx + 1|q) $ 的等价形式。
• 在 $ q $-整数 $ [k]_q $ 处计算 $ C_n([k]_q|q) $，并证明其等于 $ q^{kn + \frac{n(n+1)}{2}} f(k+n, n|q^{-1}) $，从而将多项式与 $ q $-投票数联系起来。
• 将 $ C_n(x|q) $ 在 $ q $-二项式系数 $ \binom{x}{k}_q $ 的基下展开，表明其系数本身即为 $ q $-投票数。
• 通过点状格路的组合分解建立 $ C_n(x|q) $ 的新递推关系，根据首次竖直步的高度区分不同情形。
• 通过将生成函数解释为带面积与高度权重的格路之和，提供该递推关系的组合证明。

实验结果

研究问题

• RQ1 能否构造一个在 $ x $ 上的多项式序列，其系数属于 $ \mathbb{Q}(q) $，使得在 $ q $-整数处求值可恢复 $ q $-投票数 $ f(n,k|q) $？
• RQ2 当 $ C_n(x|q) $ 在 $ q $-二项式系数基 $ \binom{x}{k}_q $ 下展开时，其系数的结构如何？它们与 $ q $-投票数有何关联？
• RQ3 是否存在一个非平凡的 $ C_n(x|q) $ 递推关系，可推广经典 Catalan 数的递推关系（当 $ q = 1 $ 时），并能通过组合方法证明？
• RQ4 $ C_n(x|q) $ 的分子的 Newton 多面体形状如何？其上边界斜率是否遵循可预测的模式？
• RQ5 当以最简形式书写时，$ C_n(x|q) $ 的系数是否为正？这一性质能否被证明或猜想？

主要发现

• 在 $ x = [k]_q $ 处求值 $ C_n(x|q) $ 得到 $ C_n([k]_q|q) = q^{kn + \frac{n(n+1)}{2}} f(k+n, n|q^{-1}) $，该结果在 $ q $-整数处插值了 $ q $-投票数 $ f(n,k|q) $。
• 在基 $ \binom{x}{k}_q $ 下展开 $ C_n(x|q) $ 时，其系数本身即为 $ q $-投票数，具体为 $ C_n(x|q) = \sum_{k=0}^{n-1} f(n-k, k|q) \cdot q^{k(k-1)/2} \binom{x}{k}_q $。
• 通过组合方法建立了一个新的 $ C_n(x|q) $ 递推关系：$ n C_n(x|q) = (2n - 1 + x) C_{n-1}(x|q) + \sum_{j=0}^{n-3} (n - j - 2) C_j(x|q) C_{n-1-j}(x|q) $，对 $ n \geq 2 $ 成立，其组合证明基于路径分解。
• 当 $ q = 1 $ 时，该递推关系退化为 $ n C_n(x|1) = (2n - 1 + x) C_{n-1}(x|1) + \sum_{j=0}^{n-3} (n - j - 2) C_j C_{n-1-j}(x|1) $，且多项式 $ C_n(x|1) $ 是 Catalan 生成函数的倍式。
• $ C_n(x|q) $ 的首项系数为 $ \frac{q^{n^2}}{[1]_q [2]_q \cdots [n]_q} $，且其最简形式下分子的系数被猜想全为正。
• $ C_n(x|q) $ 的分子的 Newton 多面体具有上边界，其斜率对应于奇数 $ 1, 3, \dots, 2n - 3 $，暗示其具有规则的几何结构。