[论文解读] Hooks and powers of parts in partitions

Roland Bacher, Laurent Manivel|arXiv (Cornell University)|Aug 29, 2001

Advanced Mathematical Identities参考文献 5被引用 17

一句话总结

本文建立了一个令人惊讶的组合恒等式：在所有整数分拆中，长度为 $k$ 的钩子总数等于所有此类分拆中大小为 $k$ 的部分总数的 $k$ 倍。通过生成函数和 $q$-二项式系数，作者证明钩子计数仅依赖于长度 $k$，而与钩子类型无关，并推导出在均匀分布下 $k$-阶部分的矩以及分拆中重数重数的精确公式。

ABSTRACT

This paper shows that the number of hooks of length k contained in all partitions of n equals k times the number of parts of length k in all partitions of n. It contains also formulas for the moments (under uniform distribution) of k-th parts in partitions of n.

研究动机与目标

• 建立一个深层的组合恒等式，将整数分拆中的钩子计数与部分重数联系起来。
• 在均匀分布下，分析 $n$ 的分拆中 $k$-阶部分及其重数的分布。
• 推导出 $k$-阶部分及其重数在分拆中的精确生成函数和矩公式。

提出的方法

• 使用生成函数 $\psi_k(y,z)$ 编码重数至少为 $k$ 的部分数量，将 $m_k(n)$ 与 $\nu_k(n)$ 联系起来。
• 应用恒等式 $\sum_{j} \binom{j}{d} Z^j = \frac{1}{Z} \left( \frac{Z}{1-Z} \right)^{d+1}$ 计算 $\nu_k(n)$ 的矩。
• 利用 $q$-二项式系数 ${\alpha+\beta \choose \alpha}_q$ 对部分大小和部分数量受限的分拆进行计数。
• 通过分拆的共轭与转置，推导 $\lambda_k(n)$ 和 $\nu_k(n)$ 的生成函数。
• 使用指数生成函数恒等式 $\prod_i (1 - x_i)^{-1} = \exp\left(\sum_l \frac{\sum_i x_i^l}{l}\right)$ 展开 $\lambda_k(n)$ 的矩。
• 通过生成函数和系数比较，建立关键恒等式 $\nu_k(n) = \gamma_k(n) + \nu_{k+1}(n)$。

实验结果

研究问题

• RQ1 在所有 $n$ 的分拆中，长度为 $k$ 的钩子总数是否仅依赖于 $k$，而与钩子类型无关？
• RQ2 能否使用生成函数以闭式表达 $n$ 的分拆中 $k$-阶部分的矩？
• RQ3 是否存在一个组合解释，将大小为 $k$ 的部分的重数与长度为 $k$ 的钩子数量联系起来？
• RQ4 向量 $\lambda(n)$、$\nu(n)$ 和 $\gamma(n)$ 如何通过生成函数相互关联？

主要发现

• 在所有 $n$ 的分拆中，长度为 $k$ 的钩子总数等于所有此类分拆中大小为 $k$ 的部分总数的 $k$ 倍。
• 类型为 $\tau(\alpha, k-1-\alpha)$、长度为 $k$ 的钩子的生成函数为 $\frac{z^k}{1 - z^k} \prod_{i=1}^\infty \frac{1}{1 - z^i}$，与大小为 $k$ 的部分的生成函数完全一致。
• 所有 $n$ 的分拆中大小为 $k$ 的部分数量，记为 $\nu_k(n)$，满足 $\nu_k(n) = \gamma_k(n) + \nu_{k+1}(n)$，其中 $\gamma_k(n)$ 计算重数的重数。
• $n$ 的分拆中 $k$-阶部分的 $d$-阶矩，即 $\sum_n \binom{\lambda_k(n)}{d} z^n$，由 $\left( \prod_{i=1}^\infty \frac{1}{1 - z^i} \right) S_d(k)$ 给出，其中 $S_d(k)$ 是 $\sigma_l(k)$ 的对称函数。
• $\varphi_k(y,z) = \sum_\lambda y^{\lambda_k} z^{|\lambda|}$ 的生成函数等于 $\left( \prod_{i=1}^{k-1} \frac{1}{1 - z^i} \right) \left( \prod_{j=k}^\infty \frac{1}{1 - y z^j} \right)$，该表达式可通过微分导出矩公式。
• $\sum_n \binom{\nu_k(n)}{d} z^n$ 的生成函数为 $\left( \sum_j \binom{j}{d} z^{jk} \right) \prod_{i \neq k} \frac{1}{1 - z^i}$，从而为部分重数的矩提供了显式的有理生成函数。