シューアの分割定理

整数分割において、シューアの分割定理（シューアのぶんかつていり、テンプレート:Lang-en-short）は分割の恒等式に関する定理。シューアの分割恒等式とも呼ばれる。1926年にドイツの数学者イサイ・シューアによって、導かれた。

内容

正の整数 テンプレート:Mvar に対し、正の整数の組 テンプレート:Mathが テンプレート:Mvar の分割であるとは、テンプレート:Math かつテンプレート:Math を満たすときのことをいう。例えば、テンプレート:Mathの分割はテンプレート:Mathである。

シューアの分割定理は次の条件を満たす分割の総数が等しいことを主張する。

• 和因子がテンプレート:Mathを法としてテンプレート:Mathに合同である分割（テンプレート:Math）
• 和因子が相異なり、テンプレート:Mathを法としてテンプレート:Mathに合同である分割（テンプレート:Math かつ テンプレート:Math）
• どの和因子もテンプレート:Math以上の差があり、和因子として連続するテンプレート:Mathの倍数を含まない分割（テンプレート:Math かつ テンプレート:Math）

整数分割において、どの和因子もテンプレート:Mvar 以上の差があるとき、テンプレート:Mvar差的であるという。 但し、テンプレート:Math差的であるとは、同じ和因子は高々2つまでしか含まないと定義する。3番目の条件における、どの和因子も3以上も差があるという条件は、テンプレート:Math差的であることを表している。

以降、正の整数 テンプレート:Mvar に対し、1番目の条件を満たす分割の個数を テンプレート:Math、2番目の条件を満たす分割の個数をテンプレート:Math、3番目の条件を満たす分割の個数を テンプレート:Mathとする。 テンプレート:Math の場合、シューアの分割定理の条件を満たす分割は次のようになる。

A(15)=9	B(15)=9	C(15)=9
13+1+1	14+1	15
11+1+1+1+1	13+2	14+1
7+7+1	11+4	13+2
7+5+1+1+1	10+5	12+3
7+1+1+1+...+1	10+4+1	11+4
5+5+5	8+7	10+5
5+5+1+1+...+1	8+5+2	10+4+1
5+1+1+...+1	8+4+2+1	9+5+1
1+1+...+1	7+5+2+1	8+5+2

また、シューアの分割定理の条件を満たす分割の個数をいくつか書き下すと次のようになる（テンプレート:OEIS）。

n	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20
A(n)=B(n)=C(n)	1	1	1	1	2	2	3	3	3	4	5	6	7	8	9	10	12	14	16	18

母関数による証明

和因子がテンプレート:Mathを法としてテンプレート:Mathに合同とする分割の個数 テンプレート:Mathと和因子が相異なり、テンプレート:Mathを法としてテンプレート:Mathに合同である分割 テンプレート:Math の母関数は

$\sum _{n=0}^{\mathrm{\infty }}A(n)q^n=\prod _{j=0}^{\mathrm{\infty }}\frac{1}{(1-q^{6j+1})(1-q^{6j+5})}=\frac{1}{(q;q^6{)}_{\mathrm{\infty }}(q^5;q^6{)}_{\mathrm{\infty }}}$

$\sum _{n=0}^{\mathrm{\infty }}B(n)q^n=\prod _{j=0}^{\mathrm{\infty }}(1+q^{3j+1})(1+q^{3j+2})=(-q;q^3{)}_{\mathrm{\infty }}(-q^2;q^3{)}_{\mathrm{\infty }}$

で与えられる。但し、[[q-解析|テンプレート:Mvar-解析]]で使用される[[qポッホハマー記号|テンプレート:Mvar-ポッホハマー記号]]

$(a;q{)}_n=\{\begin{array}{cc}(1-aq)(1-a{q}^2)\cdots (1-a{q}^{n-1})& (n>0)\\ 1& (n=0)\end{array}$

を用いた。

$\begin{array}{cc}(-q;q^3{)}_{\mathrm{\infty }}(-q^2;q^3{)}_{\mathrm{\infty }}& =\frac{(q^2;q^6{)}_{\mathrm{\infty }}(q^4;q^6{)}_{\mathrm{\infty }}}{(q;q^3{)}_{\mathrm{\infty }}(q^2;q^3{)}_{\mathrm{\infty }}}\\ & =\frac{(q^2;q^6{)}_{\mathrm{\infty }}(q^4;q^6{)}_{\mathrm{\infty }}}{(q;q^6{)}_{\mathrm{\infty }}(q^2;q^6{)}_{\mathrm{\infty }}(q^5;q^6{)}_{\mathrm{\infty }}(q^4;q^6{)}_{\mathrm{\infty }}}\\ & =\frac{1}{(q;q^6{)}_{\mathrm{\infty }}(q^5;q^6{)}_{\mathrm{\infty }}}\end{array}$

であるから、

$\sum _{n=0}^{\mathrm{\infty }}B(n)q^n=\sum _{n=0}^{\mathrm{\infty }}A(n)q^n$

が成り立つ。

組合せ論的な証明

組合せ論的な観点からは、与えられた条件を満たす和因子の2つの集合間を対応付ける全単射写像を具体的に構成することで、シューアの分割定理を証明することができる。

融合・等分写像

オイラーの分割恒等式は、和因子を奇数とする分割と和因子が互いに異なる分割が同数であることを主張する。オイラーの分割恒等式では、同じ和因子を足し合わせる融合操作と、逆に偶数の和因子を二つに等分する等分操作からなる融合・等分写像がこの二つの条件を満たす分割を結ぶ全単射写像となる。この融合・等分写像は和因子が3で割り切れないという性質を保つ。シューアの分割定理の定理において、和因子が±1 (mod 6)であるという条件は3で割り切れない奇数であるという条件と等価である。したがって、この融合・等分写像によって、和因子が±1 (mod 6)である分割と、和因子が相異なり和因子が±1 (mod 3)である分割が同数であることを示すことができる。 例えば、和因子が±1 (mod 6)である テンプレート:Mathの分割の例テンプレート:Mathは融合操作により、

$5+5+1+1+1+1+1\to (5+5)+(1+1)+(1+1)+1=10+2+2+1\to 10+(2+2)+1=10+4+1$

と、和因子が相異なり、和因子が±1 (mod 3)である分割テンプレート:Mathに写される。

ブレスードの全単射

1980年にデビッド・ブレスードは、シューアの分割定理の巧みな全単射写像を構成した。ブレスードの全単射では、次の例のようにテンプレート:Mathに合同で相異なる和因子からなる分割からテンプレート:Math差的で連続する3の倍数を含まない和因子からなる分割への写像を与える。ここでは、テンプレート:Mathに合同で相異なる和因子からなる分割の例として、テンプレート:Mathを用いた説明を行う。テンプレート:Mathの和因子を縦の列に並べて表示する。まず、最小の和因子から始めて、高々差が2である和因子の対を足し合わせる融合操作を行い、テンプレート:Mathに写す。

$\pi :\begin{array}{c}13\\ 10\\ 8\\ 7\\ 4\\ 2\\ 1\end{array}\to {\pi }_1:\begin{array}{cc}13& \\ 10& \\ 15& =8+7\\ 4& \\ 3& =2+1\end{array}$

次に、和因子が小さいものから順番に、0から始まる連続する3の倍数を引いていき、テンプレート:Mathを構成する。

${\pi }_1:\begin{array}{c}13\\ 10\\ 15\\ 4\\ 3\end{array}\to {\pi }_2:\begin{array}{cc}1& =13-12\\ 1& =10-9\\ 9& =15-6\\ 1& =4-3\\ 3& =3-0\end{array}$

テンプレート:Mathの列の隣には、引き算を行った0から始まる連続する3の倍数を表示しておく。テンプレート:Mathの1列目を昇順に並べ替えたものを、テンプレート:Mathとする。さらにテンプレート:Mathの1列目と2列目を足し合わせたものをテンプレート:Mathとする。

${\pi }_2:\begin{array}{cc}1& 12\\ 1& 9\\ 9& 6\\ 1& 3\\ 3& 0\end{array}\to {\pi }_3:\begin{array}{cc}9& 12\\ 3& 9\\ 1& 6\\ 1& 3\\ 1& 0\end{array}\to {\pi }_4:\begin{array}{cc}21& =9+12\\ 12& =3+9\\ 7& =1+6\\ 4& =1+3\\ 1& =1+0\end{array}$

こうして得られた分割テンプレート:Mathは、テンプレート:Math差的で連続する3の倍数を含まない和因子からなる分割となっている。

アルダーの予想

シューアの分割定理と他のいくつかの分割定理との間に類似性を見ることができる。 例えば、和因子がテンプレート:Mathを法としてテンプレート:Mathに合同である分割については、次の定理が成り立つ。

• 「和因子がテンプレート:Mathを法としてテンプレート:Mathに合同である分割」と「和因子がテンプレート:Math差的な分割」は同数

和因子がテンプレート:Mathを法としてテンプレート:Mathに合同である分割については、オイラーの分割恒等式が成り立つ。オイラーの分割恒等式は、和因子が奇数である分割は、和因子が互いに相異なる分割は同数あることを主張する。整数が奇数という条件は、和因子がテンプレート:Mathを法としてテンプレート:Mathに合同であるという条件と同値である。また、和因子が相異なるという条件はテンプレート:Math差的であることを表す。したがって、オイラーの分割恒等式は

• 「和因子がテンプレート:Mathを法としてテンプレート:Mathに合同である分割」と「和因子がテンプレート:Math差的な分割」は同数

と表せる。和因子がテンプレート:Mathを法としてテンプレート:Mathに合同である分割については、ロジャース＝ラマヌジャン恒等式から得られる分割恒等式

• 「和因子がテンプレート:Mathを法としてテンプレート:Mathに合同である分割」と「和因子がテンプレート:Math差的な分割」は同数

が成り立つ。 これらの結果から一見して、一般に正の整数 テンプレート:Mvar について、

• 「和因子がテンプレート:Mathを法としてテンプレート:Mathに合同である分割」と「和因子がテンプレート:Math差的な分割」は同数

が期待されるが、これは成り立たない。 実際、テンプレート:Mathの版であるシューアの分割定理は、

• 「和因子がテンプレート:Mathを法としてテンプレート:Mathに合同である分割」と「和因子がテンプレート:Math差的で、連続する3の倍数を含まない分割」は同数

を主張しており、テンプレート:Math差的であることに加えて、連続する3の倍数を含まないという条件が必要となる。 一般の場合には条件を弱めたアルダーの予想

• 「和因子がテンプレート:Math差的な分割」の個数は「和因子がテンプレート:Mathを法としてテンプレート:Mathに合同である分割」の個数以上

が予想されている。7は例外の可能性があるが、テンプレート:Mvar がテンプレート:Math の形の整数である場合、この予想が正しいことが知られている。但し、それ以外の場合については、この予想は未解決である。

参考文献

書籍

• テンプレート:Cite book; テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book

論文

• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation (Reprinted in テンプレート:Cite book)

外部リンク

• テンプレート:Mathworld

関連項目

• 分割数
• オイラーの分割恒等式
• ロジャース＝ラマヌジャン恒等式