分割数電卓

分割数計算機へようこそ。これは、組合せ論における最も魅力的な対象の一つを詳しく探索できるツールです。任意の非負の整数 \(n\) を入力すると、このツールは \(p(n)\)（順序を問わずに \(n\) を正の整数の和として表す方法の数）を計算します。また、異なる部分への分割 \(q(n)\)、奇数の部分への分割 \(o(n)\)、ハーディ・ラマヌジャンの漸近推定値、一致するラマヌジャンの合同式を表示し、小さな \(n\) に対してはすべての分割をアニメーション付きのヤング図形として描画します。

分割関数 p(n) とは何ですか？

分割関数 \(p(n)\) は、順序を無視して、\(n\) を正の整数の和として表す方法の数をカウントします。加数の順序だけが異なる2つの和は、同じ分割とみなされます。例えば、4の分割は以下の通りです：

• 4
• 3 + 1
• 2 + 2
• 2 + 1 + 1
• 1 + 1 + 1 + 1

これにより、\(p(4) = 5\) となります。慣例により \(p(0) = 1\) とし、これを「空の分割」と数えます。他の値の例：\(p(1) = 1,\ p(5) = 7,\ p(10) = 42,\ p(50) = 204{,}226,\ p(100) = 190{,}569{,}292.\)

母関数

レオンハルト・オイラーは、\(p(n)\) の母関数が非常に美しいコンパクトな積の形式を持つことを発見しました：

各因子 \(1/(1 - x^k) = 1 + x^k + x^{2k} + \ldots\) は、分割において部分 \(k\) が何回現れるかの選択に寄与します。これらの因子を掛け合わせることで、すべての分割が正確に一度ずつ生成されます。

ヤング図形（フェラーズ図形）

ヤング図形（フェラーズ図形とも呼ばれる）は、左揃えに並べられた箱の配列として分割を視覚的に表現します。各行が一つの部分に対応し、行は大きい順に並べられます。例えば、7の分割 \(4 + 2 + 1\) は次のようになります：

ヤング図形を用いると、分割の恒等式を「見る」ことができます。図形を主対角線に沿って反転させると行と列が入れ替わり、これは共役分割に対応します。この電卓では、\(n \le 15\) の場合に \(n\) のすべての分割に対してヤング図形を描画します。

オイラーの分割定理

オイラーの最もエレガントな結果の一つに、以下のものがあります：

例えば、7を異なる部分に分割する方法は \(\{7\}, \{6+1\}, \{5+2\}, \{4+3\}, \{4+2+1\}\) の5通りです。一方、7を奇数の部分に分割する方法は \(\{7\}, \{5+1+1\}, \{3+3+1\}, \{3+1+1+1+1\}, \{1+1+1+1+1+1+1\}\) の5通りで、確かに一致します。電卓のサマリーパネルには \(q(n)\) と \(o(n)\) の両方が表示されるため、選択した \(n\) についてこの恒等式を確認できます。

ハーディ・ラマヌジャンの漸近公式

1918年、G.H. ハーディとシュリニヴァーサ・ラマヌジャンは、大きな \(n\) に対する \(p(n)\) の真の成長率を捉えた最初の公式を証明しました：

この結果は、単位円上の特異点の周りで母関数を積分する「ハーディ・ラマヌジャンの円法」から導かれました。ハンス・ラーデマッハーは1937年にこれを洗練し、厳密に収束する級数へと発展させました。これは解析的数論における最も有名な公式の一つです。

ラマヌジャンの分割合同式

分割数の表を研究していたラマヌジャンは、3つの驚くべき整除性のパターンに気づきました：

例えば、\(p(4)=5,\ p(9)=30,\ p(14)=135,\ p(19)=490,\ p(24)=1575\) はいずれも 5 で割り切れます。電卓は、選択した \(n\) がこれらのクラスのいずれかに該当する場合、自動的にフラグを表示します。

この電卓の使い方

1. 入力ボックスに 500 までの非負の整数を入力するか、有名なクイック例（0, 4, 10, 42, 100, 200）のいずれかをクリックします。
2. 「分割数を計算」をクリックします。ツールが \(p(n)\)、\(q(n)\)、\(o(n)\)、およびハーディ・ラマヌジャンの推定値を計算します。
3. 大きな見出しとして表示される \(p(n)\) のヒーローパネルを確認し、サマリーグリッドで異なる部分への分割、奇数の部分への分割、漸近推定値、および誤差率をチェックします。
4. ヤング図形を確認します。\(n \le 15\) の場合、すべての分割がレスポンシブなグリッド内にアニメーション付きのヤング図形として描画されます。
5. 成長チャートを探索します。\(k = 0, 1, \ldots, n\) に対する \(p(k)\)、\(q(k)\)、およびハーディ・ラマヌジャン曲線がプロットされます。線形スケールと対数スケールを切り替えて、漸近的な形状を確認できます。
6. 成長テーブルを読む。小さな \(k\) に対する \(p(k), q(k), o(k)\) の値を一行ずつ確認できます。各ラマヌジャン合同式の最初の出現場所を見つけるのに役立ちます。

計算例: 5の分割

\(n = 5\) の場合を見てみましょう。すべての分割は以下の通りです：

• \(5\)
• \(4 + 1\)
• \(3 + 2\)
• \(3 + 1 + 1\)
• \(2 + 2 + 1\)
• \(2 + 1 + 1 + 1\)
• \(1 + 1 + 1 + 1 + 1\)

したがって \(p(5) = 7\) です。異なる部分への分割は \(\{5\}, \{4+1\}, \{3+2\}\) の3通りなので \(q(5) = 3\) です。奇数の部分への分割は \(\{5\}, \{3+1+1\}, \{1+1+1+1+1\}\) の3通りなので \(o(5) = 3\) です。オイラーの定理が成立しています。最後に、\(n = 5 \equiv 0 \pmod 5\) は \(5k+4\) の形ではないため、5の合同式は適用されませんが、\(p(4) = 5\) は \(p(5k+4) \equiv 0 \pmod 5\) を満たしています。

p(n) の代表的な値

歴史

• 1750年代: レオンハルト・オイラーが分割を研究し、母関数の恒等式と「異なる = 奇数」の定理を発見。
• 1915年: パーシー・マクマホン少佐が \(n=200\) までの \(p(n)\) の表を出版（手計算による）。
• 1918年: ハーディとラマヌジャンが円法を用いて漸近公式を証明。
• 1919年: ラマヌジャンが有名な合同式 \(p(5k+4),\ p(7k+5),\ p(11k+6)\) を発表。
• 1937年: ハンス・ラーデマッハーがハーディ・ラマヌジャンの公式を精緻化し、厳密に収束する級数を作成。
• 2011年: ケン・オノとヤン・ブルーニエが、すべての正の整数において \(p(n)\) が有限の代数的和として表現できることを証明。

応用

• 組合せ論と表現論 — 分割は対称群 \(S_n\) の既約表現のインデックスとなります。
• 統計力学 — 分割数は理想量子ガスのエントロピーや、弦理論の分配関数に現れます。
• モジュラー形式 — \(p(n)\) の母関数はデデキントのイータ関数と密接に関連しています。
• 計算機科学 — 部分和問題や整数計画法の列挙ベンチマークで、分割数が頻繁に使用されます。

よくある質問

分割関数 p(n) とは何ですか？

\(p(n)\) は、順序を問わずに \(n\) を正の整数の和として表す方法の数をカウントします。\(p(4) = 5\) となるのは、4が \(4\), \(3+1\), \(2+2\), \(2+1+1\), \(1+1+1+1\) と書けるためです。慣例により \(p(0) = 1\) です。

ヤング図形（フェラーズ図形）とは何ですか？

ヤング図形は分割の視覚的表現です。各部分を左揃えの箱の行とし、上から下へ大きい順に並べます。\(4+2+1\) の場合、4個、2個、1個の行を描きます。この電卓では、\(n \le 15\) のときにすべての分割に対してヤング図形を描画します。

オイラーの分割定理は何を述べていますか？

任意の正の整数 \(n\) について、\(n\) を異なる部分に分割する方法の数と、奇数の部分に分割する方法の数は等しいというものです。\(n = 5\) の場合：異なる部分は \(\{5\}, \{4+1\}, \{3+2\}\)、奇数の部分は \(\{5\}, \{3+1+1\}, \{1+1+1+1+1\}\) で、どちらも3通りです。

ハーディ・ラマヌジャンの漸近公式とは何ですか？

\(n \to \infty\) のとき \(p(n) \sim \frac{1}{4n\sqrt{3}} \exp\!\left(\pi \sqrt{2n/3}\right)\) となることを述べています。これは1918年に G.H. ハーディとシュリニヴァーサ・ラマヌジャンによって発見された、\(p(n)\) の正確な成長率を記述した最初の公式です。

ラマヌジャンの分割合同式とは何ですか？

3つの驚くべき整除性のパターン、\(p(5k+4) \equiv 0 \pmod 5\)、\(p(7k+5) \equiv 0 \pmod 7\)、および \(p(11k+6) \equiv 0 \pmod{11}\) のことです。例えば \(p(4)=5, p(9)=30, p(14)=135\) はいずれも 5 で割り切れます。

p(n) はどのくらいの速さで増加しますか？

p(n) は指数関数よりは緩やかですが、どの多項式よりも速く、おおよそ \(\exp(\pi \sqrt{2n/3})\) のように増加します。比較として、\(p(10)=42\)、\(p(50)=204{,}226\)、\(p(100)=190{,}569{,}292\)、\(p(200) \approx 4 \times 10^{12}\) です。チャートの対数スケール切り替えを使用して、この成長曲線を確認してください。

追加リソース

• 分割数 - Wikipedia
• ヤング図形 - Wikipedia
• Ramanujan's Congruences - Wikipedia (英語)
• OEIS A000041 - n の分割数 (英語)