[论文解读] Several generalizations and variations of Chu-Vandermonde identity

Romeo Meštrović|arXiv (Cornell University)|Jul 23, 2018

Advanced Combinatorial Mathematics参考文献 18被引用 3

一句话总结

本文通过基于复值离散随机变量的k阶矩（k=1,2,3）的概率方法，推广了经典的Chu-Vandermonde恒等式。推导出涉及复数多重集求和的新组合恒等式，建立两个新的组合同余式，并将结果扩展至矩阵形式，包括二次型和Hermite矩阵恒等式，所有结果均基于固定大小m的随机子集和的矩计算。

ABSTRACT

In this paper we prove some combinatorial identities which can be considered as generalizations and variations of remarkable Chu-Vandermonde identity. These identities are proved by using an elementary combinatorial-probabilistic approach to the expressions for the $k$-th moments ($k=1,2,3$) of some particular cases of recently investigated discrete random variables. Using one of these Chu-Vandermonde-type identities, two combinatorial congruences are established.

研究动机与目标

• 通过概率矩分析方法将Chu-Vandermonde恒等式推广至新的组合恒等式。
• 通过固定大小m的离散复随机变量研究复数子集和的统计性质。
• 推导并证明此类随机变量的一、二、三阶矩的新恒等式。
• 利用其中一个导出的恒等式建立组合同余式。
• 将结果推广至矩阵值情形，包括实矩阵与复矩阵及其Hermite转置。

提出的方法

• 使用概率方法计算复值离散随机变量X(m,Φ_N)的k阶矩（k=1,2,3），其中X(m,Φ_N)定义为从复数多重集Φ_N中随机选取m个元素的和。
• 应用期望的定义，推导在无放回均匀抽样下E[X(m,Φ_N)]、E[|X(m,Φ_N)|²]和E[(X(m,Φ_N))³]的闭式表达式。
• 通过将矩表达式与固定大小子集上的对称和相等，推导组合恒等式，得到涉及多项式系数和z_i幂和的恒等式。
• 通过将标量替换为矩阵，将结果推广至矩阵形式，证明(k₁A₁ + ... + kₛAₛ)³及相关二次型的恒等式。
• 利用线性性与组合计数方法，将恒等式推广至矩阵代数及Hermite转置情形。
• 通过小规模情形验证矩阵恒等式，并基于先前工作的计数方法推测其一般有效性。

实验结果

研究问题

• RQ1 如何利用离散复值随机变量的一、二、三阶矩推广Chu-Vandermonde恒等式？
• RQ2 将矩表达式与固定大小子集上的对称和相等时，会涌现出哪些新的组合恒等式？
• RQ3 所导出的恒等式能否扩展至矩阵值情形，特别是涉及Hermite转置与矩阵幂的情形？
• RQ4 从涉及标量与矩阵系数的导出恒等式中，可推导出哪些组合同余式？
• RQ5 当变量z_i为复数与实数时，这些恒等式的行为有何不同？能否将其推广至多项式环？

主要发现

• X(m,Φ_N)的一阶矩为E[X(m,Φ_N)] = (m/N)∑z_i，推广了从多重集中随机选取m个元素的期望和。
• 二阶矩为E[|X(m,Φ_N)|²] = (m/(N(N-1)))((N−m)∑|z_i|² + (m−1)|∑z_i|²)，对复数z_i成立。
• 当z_i为实数时，三阶矩为E[(X(m,Φ_N))³] = (m/(N(N−1)))((N+2−3m)∑z_i³ + 3(m−1)(∑z_i²)(∑z_i))。
• 新恒等式(27)将三阶矩推广至加权和：对多项式系数求和∑(k₁z₁+…+kₛzₛ)³，得到∑n_i z_i³与(∑n_i z_i²)(∑n_i z_i)的线性组合。
• 矩阵恒等式(28)、(29)与(30)将结果推广至M×N与N×N矩阵，以二项式系数和总和表示矩阵幂与乘积的加权和。
• 由于线性性与多项式延拓，恒等式在复数域上成立；基于小规模情形的验证，推测矩阵形式恒等式具有一般有效性。