[论文解读] Walking into an absolute sum

Hans J. H. Tuenter|ArXiv.org|Jun 4, 2006

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

一句话总结

本文证明了关于和 $ S_r(n) = \sum_{k=0}^{2n} \binom{2n}{k} |n-k|^r $ 的一个猜想，表明当 $ r = 2r+1 $ 为奇数时，其值为 $ P_r(n) \cdot n \binom{2n}{n} $；当 $ r = 2r $ 为偶数时，其值为 $ Q_r(n) \cdot 2^{2n-r} $，其中 $ P_r(n) $ 和 $ Q_r(n) $ 是次数为 $ r $ 的整系数多项式。关键结果揭示了其与 Genocchi 数及 Dumont-Foata 多项式之间的深刻联系，并将这些和与对称伯努利随机游走中绝对距离的矩联系起来。

ABSTRACT

We investigate a combinatorial sum that can be interpreted as the moments of a random variate, measuring the absolute distance to the origin in a symmetric Bernoulli random walk. These sums can be characterized by polynomials related to the Dumont-Foata polynomials. The sums corresponding to the odd moments have a connection to the Gandhi polynomials and Genocchi numbers.

研究动机与目标

• 解决一个猜想：$ S_{2r+1}(n) $ 是否为 $ \binom{2n}{n} $ 与一个次数为 $ r+1 $ 的首一多项式的乘积，证明其并非首一，但仍为整系数多项式。
• 推导出 $ S_r(n) $ 的递推关系，从而系统地计算奇数 $ r $ 对应的多项式 $ P_r(n) $ 和偶数 $ r $ 对应的 $ Q_r(n) $。
• 建立 $ P_r(n) $、$ Q_r(n) $ 与已知组合序列（特别是 Genocchi 数和 Dumont-Foata 多项式）之间的联系。
• 将 $ S_r(n) $ 解释为对称伯努利随机游走经过 $ 2n $ 步后，从原点出发的绝对距离的矩。

提出的方法

• 推导出对所有 $ r \geq 0 $ 成立的递推关系 $ S_{r+2}(n) = n^2 S_r(n) - 2n(2n-1) S_r(n-1) $，初始条件为 $ S_0(n) = 2^{2n} $ 和 $ S_1(n) = n \binom{2n}{n} $。
• 通过代换 $ S_{2r+1}(n) = P_r(n) \cdot n \binom{2n}{n} $ 推导出 $ P_r(n) $ 的递推关系：$ P_{r+1}(n) = n^2(P_r(n) - P_r(n-1)) + n P_r(n-1) $，初始条件 $ P_0(n) = 1 $。
• 通过代换 $ S_{2r}(n) = Q_r(n) \cdot 2^{2n-r} $ 推导出 $ Q_r(n) $ 的递推关系：$ Q_{r+1}(n) = 2n^2(Q_r(n) - Q_r(n-1)) + n Q_r(n-1) $，初始条件 $ Q_0(n) = 1 $。
• 证明 $ P_r(n) $ 和 $ Q_r(n) $ 是次数为 $ r $ 的整系数多项式，并确定其首项系数分别为 $ r! $ 和 $ \frac{(2r)!}{2^r r!} $。
• 将 $ P_r(n)/n $ 和 $ Q_r(n)/n $ 的常数项分别与 Genocchi 数及与正切数相关的序列联系起来。
• 将 $ S_r(n) $ 解释为对称伯努利随机游走中绝对位置的缩放矩，通过中心极限定理将其与半正态分布联系起来。

实验结果

研究问题

• RQ1 是否 $ S_{2r+1}(n) $ 等于 $ \binom{2n}{n} $ 乘以一个次数为 $ r+1 $ 的多项式？若是，该多项式具有何种性质？
• RQ2 控制和 $ S_r(n) $ 的递推结构是什么？如何利用它生成多项式 $ P_r(n) $ 和 $ Q_r(n) $？
• RQ3 多项式 $ P_r(n) $ 和 $ Q_r(n) $ 如何与已知的组合序列（如 Genocchi 数和 Dumont-Foata 多项式）相关联？
• RQ4 对 $ S_r(n) $ 的概率解释是什么？它如何与对称随机游走中绝对距离的矩相关联？
• RQ5 $ S_r(n) $ 的渐近行为如何？其与半正态分布矩的一致性如何？

主要发现

• 该猜想——即 $ S_{2r+1}(n) $ 是 $ \binom{2n}{n} $ 与一个首一多项式的乘积——是错误的；实际上 $ S_{2r+1}(n) = P_r(n) \cdot n \binom{2n}{n} $，其中 $ P_r(n) $ 是一个整系数多项式，次数为 $ r $，首项系数为 $ r! $。
• 对于偶数指标，有 $ S_{2r}(n) = Q_r(n) \cdot 2^{2n-r} $，其中 $ Q_r(n) $ 是一个整系数多项式，次数为 $ r $，首项系数为 $ \frac{(2r)!}{2^r r!} $。
• $ P_r(n)/n $ 的常数项与 Genocchi 数 $ G_{2r} $ 匹配，而 $ Q_r(n)/n $ 的常数项与序列 $ 2^{r-1} G_{2r} / r $ 匹配，后者与正切数相关。
• $ P_r(n) $ 的首项系数为 $ r! $，因此除 $ r = 0 $ 和 $ r = 1 $ 外，$ P_r(n) $ 并非首一；类似地，当 $ r \geq 2 $ 时，$ Q_r(n) $ 也非首一。
• 和 $ S_r(n) $ 直接关联于对称伯努利随机游走中绝对距离 $ |Y_{2n}| $ 的 $ r $ 阶矩，满足 $ \mathbb{E}[|Y_{2n}|^r] = 2^{-2n + r} S_r(n) $。
• 渐近地，$ S_r(n) \sim \frac{\Gamma((r+1)/2)}{\Gamma(1/2)} \cdot 2^{2n} n^{r/2} $，与中心极限定理导出的半正态分布极限一致。