整数分拆

整数分拆是将一个正整数表示为正整数的无序和，其理论旨在计数和关联这些表示。

Definition

正整数 n 的分拆是将 n 写成正整数之和的一种方式，其中顺序无关紧要；分拆函数 p(n) 计算此类分拆的数量。

Scope

本主题研究分拆函数 p(n)、分拆恒等式、杨图（Young diagram）及其共轭，以及将分拆编码为无穷乘积的生成函数方法。它包括经典结果，如欧拉恒等式（将不同部分的划分与奇数部分的划分等同起来）和罗杰斯-拉马努金恒等式（Rogers-Ramanujan identities），这些恒等式将组合学与数论和q-级数联系起来。

Core questions

• 一个正整数有多少种方式可以写成正整数的无序和？
• 什么生成函数编码了分拆数？
• 对部分施加哪些限制会产生数量相等的分拆族？
• p(n) 如何渐近增长？

Key concepts

• 分拆函数 p(n)
• 杨图（Young (Ferrers) diagrams）
• 共轭分拆
• 不同部分和奇数部分
• 五边形数定理
• 罗杰斯-拉马努金恒等式

Key theories

欧拉乘积生成函数

p(n) 的生成函数是所有正整数 k 的 1/(1-x^k) 的无穷乘积；对该乘积进行操作可以得到分拆恒等式和递推关系，例如欧拉五边形数定理。

欧拉不同部分-奇数部分恒等式

将 n 分拆成不同部分的数量等于将其分拆成奇数部分的数量，这是一个可以通过双射或简单的生成函数论证来证明的基础分拆恒等式。

Clinical relevance

分拆理论与对称群的表示论（其中分拆索引不可约表示）、统计力学（其中类似分拆的和出现在晶格模型中）以及数论中模形式的研究相关联。

History

欧拉在18世纪通过生成函数开创了现代分拆理论；哈代（Hardy）和拉马努金（Ramanujan）在1918年提出的 p(n) 渐近公式开启了分拆增长的解析研究。

Key figures

• Leonhard Euler
• Srinivasa Ramanujan
• Godfrey Harold Hardy

Seminal works

• stanley2011
• flajolet2009

Frequently asked questions

分拆与组成有何不同？

组成计算有序和，因此 2+1 和 1+2 是不同的，而分拆则将它们视为相同，因为顺序被忽略了。

什么是杨图？

杨图将分拆表示为左对齐的单元格行，每行代表一个部分，提供了一种通过反射图来证明恒等式的可视化工具。