分拆函數計算機

歡迎使用分拆函數計算機，這是探索組合數學中最迷人物件之一的全功能工具。輸入任何非負整數 \(n\)，此工具將計算 \(p(n)\) —— 即將 \(n\) 寫成正整數之和（且不計順序）的方法數 —— 以及相異部分分拆數量 \(q(n)\)、奇數部分分拆數量 \(o(n)\)、Hardy-Ramanujan 漸近估計值、所有匹配的 Ramanujan 同餘式，以及（對於較小的 \(n\)）以動畫 Young 圖渲染的每一個分拆。

什麼是分拆函數 p(n)？

分拆函數 \(p(n)\) 計算將 \(n\) 寫成正整數之和且不考慮順序的方法數。僅僅是加數順序不同的兩個和被視為同一個分拆。例如，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.\)

生成函數

Leonhard Euler 發現 \(p(n)\) 的生成函數具有非常簡潔的乘積形式：

每個因子 \(1/(1 - x^k) = 1 + x^k + x^{2k} + \ldots\) 貢獻了部分 \(k\) 在分拆中出現次數的選擇。將這些因子相乘，會恰好生成每個分拆一次。

Young (Ferrers) 圖

Young 圖（也稱為 Ferrers 圖）將分拆視覺化地表示為左對齊的方塊陣列。每一行對應一個部分，且各行按從大到小的順序列出。例如，7 的分拆 \(4 + 2 + 1\) 變成：

Young 圖讓您可以「看到」分拆恆等式。將圖表沿其主對角線翻轉會使行變為列，這對應於共軛分拆。每當 \(n \le 15\) 時，此計算機會為 \(n\) 的每個分拆渲染一個 Young 圖。

Euler 分拆定理

Euler 最優雅的結果之一指出：

例如，7 的「相異」部分分拆為 \(\{7\}, \{6+1\}, \{5+2\}, \{4+3\}, \{4+2+1\}\) —— 共五個。7 的「奇數」部分分拆為 \(\{7\}, \{5+1+1\}, \{3+3+1\}, \{3+1+1+1+1\}, \{1+1+1+1+1+1+1\}\) —— 也是五個。計算機的摘要面板會報告 \(q(n)\) 和 \(o(n)\)，以便您為所選的 \(n\) 驗證此恆等式。

Hardy-Ramanujan 漸近公式

1918 年，G.H. Hardy 和 Srinivasa Ramanujan 證明了第一個捕捉大 \(n\) 時 \(p(n)\) 真實增長率的公式：

該結果源於 Hardy-Ramanujan 的「圓法」(circle method)，該方法在單位圓上的奇點周圍對生成函數進行積分。Hans Rademacher 在 1937 年將其完善為精確的收斂級數 —— 這是解析數論中最著名的公式之一。

Ramanujan 分拆同餘式

在研究分拆值表時，Ramanujan 注意到三個令人驚訝的整除模式：

例如，\(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)\) 以及 Hardy-Ramanujan 估計值。
3. 查看主要結果面板，其中 \(p(n)\) 以大標題數字顯示，然後查看摘要網格中的相異部分、奇數部分、漸近估計值和百分比誤差。
4. 檢查 Young 圖 —— 如果 \(n \le 15\)，每個分拆都會在響應式網格中繪製為動畫 Young 圖。
5. 探索增長圖表 —— 繪製了 \(k = 0, 1, \ldots, n\) 的 \(p(k)\)、\(q(k)\) 和 Hardy-Ramanujan 曲線。在線性刻度和對數刻度之間切換以查看漸近形狀。
6. 閱讀增長表 —— 針對較小的 \(k\) 逐行查看 \(p(k), q(k), o(k)\)。使用它可以發現每個 Ramanujan 同餘式的首次出現。

運算範例：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\}\) —— 共三個，所以 \(q(5) = 3\)。「奇數」部分分拆：\(\{5\}, \{3+1+1\}, \{1+1+1+1+1\}\) —— 也是三個，所以 \(o(5) = 3\)。Euler 定理成立。最後，\(n = 5 \equiv 0 \pmod 5\)「不」具有 \(5k+4\) 的形式，因此不適用 5-同餘式；然而，\(p(4) = 5\) 確實滿足 \(p(5k+4) \equiv 0 \pmod 5\)。

p(n) 的典型值

歷史

• 1750年代： Leonhard Euler 研究分拆並發現生成函數恆等式和「相異 = 奇數」定理。
• 1915年： Major Percy MacMahon 出版了 \(n\) 高達 200 的 \(p(n)\) 表格 —— 這是手工計算的。
• 1918年： Hardy 和 Ramanujan 使用圓法證明了漸近公式。
• 1919年： Ramanujan 發表了著名的同餘式 \(p(5k+4),\ p(7k+5),\ p(11k+6)\)。
• 1937年： Hans Rademacher 將 Hardy-Ramanujan 公式完善為精確的收斂級數。
• 2011年： Ken Ono 和 Jan Bruinier 證明了 \(p(n)\) 在每個正整數處都可以表示為有限代數和。

應用

• 組合數學與表示論 —— 分拆索引了對稱群 \(S_n\) 的不可約表示。
• 統計力學 —— 分拆計數出現在理想量子氣體的熵和弦論分拆函數中。
• 模形式 —— \(p(n)\) 的生成函數與 Dedekind eta 函數密切相關。
• 電腦科學 —— 子集和與整數規劃枚舉基準測試經常使用分拆計數。

常見問題解答

什麼是分拆函數 p(n)？

\(p(n)\) 計算在不計順序的情況下將 \(n\) 表示為正整數之和的方法數。\(p(4) = 5\)，因為 4 可以寫成 \(4\), \(3+1\), \(2+2\), \(2+1+1\) 或 \(1+1+1+1\)。按照慣例 \(p(0) = 1\)。

什麼是 Young 圖或 Ferrers 圖？

Young 圖是分拆的視覺表示：每個部分變成一排左對齊的方塊，部分按從大到小的順序從上到下排列。對於 \(4+2+1\)，畫一排 4 個、一排 2 個和一排 1 個方塊。當 \(n \le 15\) 時，此計算機會為每個分拆渲染一個 Young 圖。

Euler 分拆定理說了什麼？

對於每個正整數 \(n\)，將 \(n\) 分拆為相異部分的方法數等於將 \(n\) 分拆為奇數部分的方法數。對於 \(n = 5\)：相異部分給出 \(\{5\}, \{4+1\}, \{3+2\}\)；奇數部分給出 \(\{5\}, \{3+1+1\}, \{1+1+1+1+1\}\)。兩個計數都等於 3。

什麼是 Hardy-Ramanujan 漸近公式？

它指出當 \(n \to \infty\) 時，\(p(n) \sim \frac{1}{4n\sqrt{3}} \exp\!\left(\pi \sqrt{2n/3}\right)\)。這是 G.H. Hardy 和 Srinivasa Ramanujan 於 1918 年發現的描述 \(p(n)\) 精確增長率的第一個公式。

什麼是 Ramanujan 分拆同餘式？

三個顯著的整除模式：\(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}\)。使用圖表的對數刻度切換來視覺化此增長曲線。

其他資源

• 分拆函數 - 維基百科
• Ramanujan 同餘式 - 維基百科