[论文解读] Multiple Sums and Partition Identities

Roudy El Haddad|arXiv (Cornell University)|Jan 25, 2021

Advanced Mathematical Identities参考文献 19被引用 7

一句话总结

本文提出了处理多重求和——即对严格递增指标嵌套求和——的一般公式，通过引入变分公式和一个约化定理，将此类求和表示为简单非递归求和的组合。核心贡献是一组统一并推广了伯努利数、斯特林数、黎曼ζ函数与二项式系数结果的分拆恒等式，其应用涵盖多项式、多重ζ值及广义二项式定理。

ABSTRACT

Sums of the form $\sum_{q \leq N_1 < \cdots < N_m \leq n}{a_{(m);N_m}\cdots a_{(2);N_2}a_{(1);N_1}}$ date back to the sixteen century when Viète illustrated that the relation linking the roots and coefficients of a polynomial had this form. In more recent years, such sums have become increasingly used with a diversity of applications. In this paper, we develop formulae to help with manipulating such sums (which we will refer to as multiple sums). We develop variation formulae that express the variation of multiple sums in terms of lower order multiple sums. Additionally, we derive a set of partition identities that we use to prove a reduction theorem that expresses multiple sums as a combination of simple (non-recurrent) sums. We present a variety of applications including applications concerning polynomials and MZVs as well as a generalization of the binomial theorem. Finally, we establish the connection between multiple sums and a type of sums called recurrent sums. By exploiting this connection, we provide additional partition identities for odd and even partitions.

研究动机与目标

• 开发系统化方法以处理一般多重求和，即对严格递增指标的嵌套求和，其推广了如韦达公式和多重ζ值等经典结构。
• 解决尽管已有大量关于多重调和级数和多重ζ值等特例文献，但缺乏多重求和一般公式的问题。
• 推导出统一并扩展涉及伯努利数、第一类斯特林数及ζ函数的已知结果的分拆恒等式。
• 建立多重求和与递归求和（基于先前工作）之间的联系，从而为奇分拆和偶分拆推导出新恒等式。
• 将经典结果如法尔哈贝公式和二项式定理推广至基于分拆的多重求和语境。

提出的方法

• 引入变分公式，将多重求和的变化表示为低阶多重求和的形式，从而实现递归简化。
• 推导约化定理，利用分拆恒等式将任意多重求和表示为简单（非递归）求和的线性组合。
• 利用生成函数和整数分拆上的组合恒等式，推导出对偶分拆和奇分拆求和的闭式表达。
• 利用先前关于递归求和的研究成果，建立多重求和与基于分拆的分解之间的结构联系。
• 将理论应用于推导涉及伯努利数、ζ函数及广义二项式系数的新恒等式，通过分拆加权求和实现。
• 使用生成函数技术和基于符号的拆分（偶分拆与奇分拆求和）推导出受限分拆类求和的闭式表达。

实验结果

研究问题

• RQ1 如何系统地将多重求和的变化表示为低阶多重求和的形式？
• RQ2 哪些分拆恒等式可将一般多重求和约化为简单非递归求和的组合？
• RQ3 如何形式化并利用多重求和与递归求和之间的联系，以推导新恒等式？
• RQ4 这些恒等式对伯努利数、ζ函数及广义二项式定理等经典对象有何影响？
• RQ5 偶分拆与奇分拆的分拆恒等式如何从多重求和的结构中自然涌现，又能催生哪些新定理？

主要发现

• 建立了约化定理，利用分拆恒等式将任意多重求和表示为简单求和的线性组合，从而简化了复杂的嵌套结构。
• 推导出偶分拆求和的闭式表达：$\sum_{\sum i y_{k,i}=m, \sum y_{k,i} \text{ even}} \prod_{i=1}^{m} \frac{1}{(y_{k,i})!} \left(\frac{n}{i}\right)^{y_{k,i}} = \frac{1}{2}\left[\binom{n-m+1}{m} + (-1)^m \binom{n}{m}\right]$。
• 类似地，推导出奇分拆求和的闭式表达：$\sum_{\sum i y_{k,i}=m, \sum y_{k,i} \text{ odd}} \prod_{i=1}^{m} \frac{1}{(y_{k,i})!} \left(\frac{n}{i}\right)^{y_{k,i}} = \frac{1}{2}\left[\binom{n-m+1}{m} - (-1)^m \binom{n}{m}\right]$。
• 本文建立了多重求和与递归求和之间的结构联系，从而可推导出奇分拆与偶分拆的新分拆恒等式。
• 提出了一种新的二项式系数定义，即作为分拆上的求和，通过分拆加权求和推广了经典二项式系数。
• 该理论被应用于推广法尔哈贝公式，并简化了多项式根与系数之间的关系，包括与导数的联系。