シューアの分割定理

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

## 内容
正の整数  に対し、正の整数の組 が  の**分割**であるとは、 かつ を満たすときのことをいう。例えば、の分割はである。

シューアの分割定理は次の条件を満たす分割の総数が等しいことを主張する。
*和因子がを法としてに合同である分割（）
*和因子が相異なり、を法としてに合同である分割（ かつ ）
*どの和因子も以上の差があり、和因子として連続するの倍数を含まない分割（ かつ ）

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

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

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

## 母関数による証明
和因子がを法としてに合同とする分割の個数 と和因子が相異なり、を法としてに合同である分割  の母関数は
:
\sum_{n=0}^{\infty}A(n)q^n=\prod_{j=0}^{\infty}{\frac{1}{(1-q^{6j+1})(1-q^{6j+5})}}
=\frac{1}{(q;q^6)_{\infty}(q^5;q^6)_{\infty}}

:
\sum_{n=0}^{\infty}B(n)q^n=\prod_{j=0}^{\infty}{(1+q^{3j+1})(1+q^{3j+2})}
=(-q;q^3)_{\infty}(-q^2;q^3)_{\infty}

で与えられる。但し、-解析で使用される-ポッホハマー記号
:
(a;q)_{n}=  \begin{cases} (1-aq)(1-aq^2)\cdots (1-aq^{n-1})& (n>0)\\
 1 & (n = 0)\end{cases}

を用いた。
:
\begin{align}
(-q;q^3)_{\infty}(-q^2;q^3)_{\infty} 
&=\frac{(q^2;q^6)_{\infty}(q^4;q^6)_{\infty}}{(q;q^3)_{\infty}(q^2;q^3)_{\infty}} \\
&=\frac{(q^2;q^6)_{\infty}(q^4;q^6)_{\infty}}{(q;q^6)_{\infty}(q^2;q^6)_{\infty}(q^5;q^6)_{\infty}(q^4;q^6)_{\infty}} \\
&=\frac{1}{(q;q^6)_{\infty}(q^5;q^6)_{\infty}}
\end{align}

であるから、
:
\sum_{n=0}^{\infty}B(n)q^n=\sum_{n=0}^{\infty}A(n)q^n

が成り立つ。

## 組合せ論的な証明
組合せ論的な観点からは、与えられた条件を満たす和因子の2つの集合間を対応付ける全単射写像を具体的に構成することで、シューアの分割定理を証明することができる。
;融合・等分写像
オイラーの分割恒等式は、和因子を奇数とする分割と和因子が互いに異なる分割が同数であることを主張する。オイラーの分割恒等式では、同じ和因子を足し合わせる融合操作と、逆に偶数の和因子を二つに等分する等分操作からなる融合・等分写像がこの二つの条件を満たす分割を結ぶ全単射写像となる。この融合・等分写像は和因子が3で割り切れないという性質を保つ。シューアの分割定理の定理において、和因子が&plusmn;1 (mod 6)であるという条件は3で割り切れない奇数であるという条件と等価である。したがって、この融合・等分写像によって、和因子が&plusmn;1 (mod 6)である分割と、和因子が相異なり和因子が&plusmn;1 (mod 3)である分割が同数であることを示すことができる。
例えば、和因子が&plusmn;1 (mod 6)である の分割の例は融合操作により、
:
5+5+1+1+1+1+1 \rightarrow (5+5)+(1+1)+(1+1)+1=10+2+2+1 \rightarrow 10+(2+2)+1=10+4+1

と、和因子が相異なり、和因子が&plusmn;1 (mod 3)である分割に写される。
;ブレスードの全単射
1980年にデビッド・ブレスードは、シューアの分割定理の巧みな全単射写像を構成した。ブレスードの全単射では、次の例のようにに合同で相異なる和因子からなる分割から差的で連続する3の倍数を含まない和因子からなる分割への写像を与える。ここでは、に合同で相異なる和因子からなる分割の例として、を用いた説明を行う。の和因子を縦の列に並べて表示する。まず、最小の和因子から始めて、高々差が2である和因子の対を足し合わせる融合操作を行い、に写す。
:
\pi :
\begin{matrix}
13 \\
10 \\
 8 \\
 7 \\
 4 \\
 2 \\
 1
\end{matrix}
\rightarrow
\pi_{1}:
\begin{matrix}
13 & \\
10 & \\
15 &=8+7 \\
 4 & \\
 3 &=2+1 \\
\end{matrix}

次に、和因子が小さいものから順番に、0から始まる連続する3の倍数を引いていき、を構成する。
:
\pi_{1}:
\begin{matrix}
13  \\
10  \\
15  \\
 4  \\
 3  \\
\end{matrix}
\rightarrow
\pi_{2}:
\begin{matrix}
1 & =13-12\\
1 & =10-9\\
9 & =15-6\\
1 & =4-3\\
3 & =3-0\\
\end{matrix}

の列の隣には、引き算を行った0から始まる連続する3の倍数を表示しておく。の1列目を昇順に並べ替えたものを、とする。さらにの1列目と2列目を足し合わせたものをとする。
:
\pi_{2}:
\begin{matrix}
1 & 12\\
1 & 9\\
9 & 6\\
1 & 3\\
3 & 0\\
\end{matrix}
\rightarrow
\pi_{3}:
\begin{matrix}
9 & 12\\
3 & 9\\
1 & 6\\
1 & 3\\
1 & 0\\
\end{matrix}
\rightarrow
\pi_{4}:
\begin{matrix}
21 &=9+12 \\
12 &=3+9 \\
 7 &=1+6 \\
 4 &=1+3 \\
 1 &=1+0 \\
\end{matrix}

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

## アルダーの予想
シューアの分割定理と他のいくつかの分割定理との間に類似性を見ることができる。
例えば、和因子がを法としてに合同である分割については、次の定理が成り立つ。
*「和因子がを法としてに合同である分割」と「和因子が差的な分割」は同数
和因子がを法としてに合同である分割については、オイラーの分割恒等式が成り立つ。オイラーの分割恒等式は、和因子が奇数である分割は、和因子が互いに相異なる分割は同数あることを主張する。整数が奇数という条件は、和因子がを法としてに合同であるという条件と同値である。また、和因子が相異なるという条件は差的であることを表す。したがって、オイラーの分割恒等式は
*「和因子がを法としてに合同である分割」と「和因子が差的な分割」は同数
と表せる。和因子がを法としてに合同である分割については、ロジャース＝ラマヌジャン恒等式から得られる分割恒等式
*「和因子がを法としてに合同である分割」と「和因子が差的な分割」は同数
が成り立つ。
これらの結果から一見して、一般に正の整数  について、
*「和因子がを法としてに合同である分割」と「和因子が差的な分割」は同数
が期待されるが、これは成り立たない。
実際、の版であるシューアの分割定理は、
*「和因子がを法としてに合同である分割」と「和因子が差的で、連続する3の倍数を含まない分割」は同数
を主張しており、差的であることに加えて、連続する3の倍数を含まないという条件が必要となる。
一般の場合には条件を弱めた**アルダーの予想**
*「和因子が差的な分割」の個数は「和因子がを法としてに合同である分割」の個数以上
が予想されている。7は例外の可能性があるが、 が の形の整数である場合、この予想が正しいことが知られている。但し、それ以外の場合については、この予想は未解決である。

## 脚注
### 出典

### 注

## 参考文献
### 書籍
*; 
*
*

### 論文
*
*
* (Reprinted in )

## 外部リンク
*

## 関連項目
*分割数
*オイラーの分割恒等式
*ロジャース＝ラマヌジャン恒等式