整数の分割

整数の分割とは、正の整数を正の整数の順序付けられていない和として表現することであり、その理論はこのような表現を数え上げ、関連付けます。

Definition

正の整数 n の分割とは、n を正の整数の和として記述する方法であり、その際、順序は考慮されません。分割関数 p(n) は、そのような分割の数を数えます。

Scope

このトピックでは、分割関数 p(n)、分割恒等式、ヤング図形と共役、および分割を無限積として符号化する母関数法について研究します。これには、異なる部分への分割と奇数部分への分割を等しいとするオイラーの恒等式や、組合せ論を数論およびq-級数に結びつけるロジャース-ラマヌジャン恒等式などの古典的な結果が含まれます。

Core questions

• 正の整数は、順序付けられていない正の整数の和として何通りの方法で書くことができますか？
• 分割数を符号化する母関数は何ですか？
• 部分にどのような制限を設けると、同数の分割族が得られますか？
• p(n)は漸近的にどのように増加しますか？

Key concepts

• 分割関数 p(n)
• ヤング図形（フェラーズ図形）
• 共役分割
• 異なる部分と奇数部分
• 五角数定理
• ロジャース-ラマヌジャン恒等式

Key theories

オイラーの積母関数

p(n)の母関数は、すべての正の整数kに対する1/(1-x^k)の無限積であり、この積を操作することで、オイラーの五角数定理のような分割恒等式と漸化式が得られます。

オイラーの異なる部分と奇数部分の恒等式

nの異なる部分への分割の数は、奇数部分への分割の数に等しいという、全単射または単純な母関数論証によって証明可能な基本的な分割恒等式です。

Clinical relevance

分割理論は、対称群の表現論（分割が既約表現をインデックス付けする）、統計力学（格子モデルに分割のような和が現れる）、および数論におけるモジュラー形式の研究と関連しています。

History

オイラーは18世紀に母関数を通じて分割の現代理論を確立しました。ハーディとラマヌジャンの1918年のp(n)の漸近公式は、分割の増加に関する解析的研究を開始しました。

Key figures

• Leonhard Euler
• Srinivasa Ramanujan
• Godfrey Harold Hardy

Seminal works

• stanley2011
• flajolet2009

Frequently asked questions

分割はコンポジションとどう異なりますか？

コンポジションは順序付けられた和を数えるため、2+1と1+2は異なりますが、分割では順序が無視されるため、これらは同じものとして扱われます。

ヤング図形とは何ですか？

ヤング図形は、分割を左揃えのセルの行として表現し、各部分に1行を割り当てます。これは、図形を反転させることで恒等式を証明するための視覚的なツールとなります。