分割数
数論における分割数（ぶんかつすう、） "p"("n") は自然数 "n" の分割（"n" をその順番の違いを除いて自然数の和として表す方法）の総数を表す数論的函数である。ただし、規約として "p"(0) = 1 および負の整数に対して "p"("n") = 0 と定める。
分割数の値について、いくつかは を参照。、知られている中でこの形で得られる最大の素数は、Bernardo Boncompagni が発見した "p"(40100918) で、これは十進で 7047 桁の数値である。
分割函数をより扱いやすくする方法のひとつは、補助的な函数 "p"("k", "n") を考えることである。これは少なくとも "k" 以上の自然数を用いて "n" を分割する方法の数を数えたもので、各 "k" に対して分割数を数えれば、次のいずれかの場合を見ればいいことになる。前者に当たる分割の総数は "p"("k", "n" − "k") である。これをみるには、整数 "n" − "k" を少なくとも "k" よりもサイズの大きい整数への分割を全て一覧したものを考えて、その一覧の各分割に "+ "k"" することを考えればよい。
このことは、補助的な函数を使って分割数のある種の漸化式を定義することに利用できる。つまり
が成立する。ここで、formula_2 は床函数である。
後者に当たる分割の総数は "p"("k" +1, "n") である。これは各成分が "k" 以上の分割から、ちょうど "k" になる成分を含むようなものを除いた結果は、すべての成分が "k" + 1 以上になっていなければならないことからわかる。
さて、上記の二条件は互いに排他的であるから、"n" の分割の総数というのは、それぞれの場合をあわせた "p"("k" + 1, "n") + "p"("k", "n" − "k") となっていることがわかる。したがって、再帰的に、補助的な函数をと定める。この函数は少し複雑な挙動を見せる傾向にある。
もともとの分割数 "p"("n") はちょうど "p"(1, "n") にあたる。
いくつかの値については以下のとおり。
分割数 "p"("n") の母函数は、次の式で与えられる。
右辺の各項を幾何級数として展開すれば、これは
と書くことができるが、ここから積をとって "x" の項となるものを拾い出せば
を得る。ここで各数 "i" は "a" 個ずつ現れる。これはまさに "n" の分割の定義そのものであるから、この無限積が求める母函数を与えることが確認できる。もっと一般に、整数 "n" の適当な集合 "A" に属する整数への分割数の母函数も、上記の式の項の "k" を "A" の元となっているものにとることで得られる。この結果はオイラーによる。
オイラーによるこのような分割数の母函数の定式化は"q"-ポッホハマー記号の特別な場合であり、また多くのモジュラー形式の積の定式化（特にデテキント・イータ函数の）と近い関係にある。また、この母函数表示をオイラーの五角数定理と合わせれば、次のような漸化式
を得る。ここで "p"(0) = 1 および負の整数 "k" に対して "p"("k") = 0 とし、和は ½"n"(3"n" − 1) の形（ただし "n" は正または負の整数全体を走る）の一般五角数全体にわたってとるものとする（順に "n" = 1, −1, 2, −2, 3, −3, 4, −4 ..., とすると、値として 1, 2, 5, 7, 12, 15, 22, 26, 35, 40, 51, ... が得られる）。和における符号は交互に +, +, −, −, +, +, ... と続く。
ラマヌジャンは 4 または 9 で終わる整数に対する分割数に関して合同式
が成立することを発見した。例えば、整数 4 の分割数は 5 であり、整数 9 の分割数は 30、整数 14 の分割数は 135 といった具合である。ラマヌジャンはまた 7 および 11 に関する合同式
も発見している。さて、5, 7, 11 は連続する素数になっているので、次の素数 13 に対する同様の合同式 "p"(13"k" + "a") ≡ 0 (mod 13) が適当な "a" のもと成立しそうなものだが、実際にはそうはなっていない。さらにいえば、"p"("bk" + "a") ≡ 0 (mod "b") の形の合同式は 5, 7, 11 以外のどの素数 "b" に対しても成立しないことが示せる。
1960年代にイリノイ大学シカゴ校のアトキンは、同様のいくつかの小さな素数を法とする合同式を発見している。例えば
のようなものが含まれる。2000年には、ウィスコンシン大学マディソン校の小野()は任意の素数を法とする同様の合同式の存在を示した。さらに数年後、小野はイリノイ大学のスコット・アールグレンとともに、6 と互いに素なすべての整数を法とする分割数の合同式が存在することを証明している。分割数 "p"("n") の漸近表示は、
で与えられる。この漸近公式は、ハーディとラマヌジャンによって1918年に初めて見出され、また、それとは独立にウスペンスキーが1920年に発見している。例えば "p"(1000) を考えると、漸近公式からだいたい 2.4402 × 10 となることがわかるが、これは真の値とくらべても十分近い値である（真の値よりは 1.415% ほど大きい）。
1937年にラーデマッハーはハーディとラマヌジャンの結果に基づいて次の発散級数表示
を得ている。ただし
とおいた。この式の微分の箇所はもう少し簡単な形に直せる。ここで、記号 ("m", "n") = 1 は "m" の値として "n" と互いに素であるものだけを考えることを意味する。また函数 "s"("m", "k") はデデキント和である。ラーデマッハーの公式の証明はフォード円、ファレイ数列、モジュラー対称性およびデデキント・イータ函数などを主に使ってなされる。
2011年1月、小野とダルムシュタット工科大学のジャン・ヘンドリック・ブルーニエは、任意の自然数 "n" に対する "p"("n") を決定する有限で代数的な公式を得たと発表した。
分割数は "n" の「五角数分割」上の和として表すことができる。
を "n" の五角数分割とする。ここに各 "q" = "m"(3"m" − 1)/2 は一般五角数（GPN, 数列 ）で "q" は "n" を超えない最大の GPN である。故に
を得る。ここで
は多項係数である。"p"("n") に対する和の項の数は数列 で与えられる。例えば 8 = 7+1 = 5+2+1 = 5+1+1+1 = 2+2+2+2 = ... だから
各自然数 "n" に対して "p"("n") は次の式で求められる。
つまり、"p"("n") は上記無限次元テープリッツ行列を "n" × "n" で止めた正方行列の行列式である。この行列の零でない成分は、一般五角数 "q" 番目の行の先頭から斜め (diagonal) に配置され（主対角線のひとつ上側の成分 (superdiagonel) は仮想的に 0 番目の行からと考える）、その値が (−1) となっている。この行列式公式は、次の行列の間の関係式
に同値なのだが、この関係式自体は単に上述の母函数の間の関係式（と五角数定理）を行列の形にまとめたものである。
ラマヌジャンの公式
を使えば、分割数 "p"(5"k" − 1) はより小さな "k"-次行列の行列式
として表すことができる。第一列の成分のなす数列は であり、最終列の（最初の 1 から）五つ毎に現れる非零成分のなす数列 (1, −5, 5, 10, −15, −6, …) は、数列 になっている（最終列はそれ以外の成分は全て零である）。例えば
同様のやり方で、残り二つのラマヌジャンの公式を使えば、分割数 "p"(7"k" − 2) および "p"(25"k" − 1) も "k"-次の行列式
と表すことができる。これらの行列の最初の列はそれぞれ および であり、最終列は次の展開
から得られる。例えば "p"(149) は
で計算できる。また、分割数の第 "n"-部分和は行列式
で与えられる。ただし、"c" = −1, "c" = 2, "c" = 0 かつ "k" > 2 に対しては
とする。相異なる整数成分への分割の分割数を "q"("n") と書けば（これは分割の項に述べるように奇数成分への分割の分割数とも等しく）、
が成り立つ。第一列は数列 で、最終列は 2"q" + 1 行目の成分が (−1) でそれ以外の成分は零である。