シューアの分割定理のソースを表示

[[整数分割]]において、'''シューアの分割定理'''（シューアのぶんかつていり、{{lang-en-short|Schur's partition theorem}}）は分割の恒等式に関する定理<ref name="Andrews_Eriksson2004_ch4">[[#Andrews_Eriksson2004|G. E. Andrews and K. Eriksson (2004), chapter 4]]</ref><ref name="Andrews1986_ch6">[[#Andrews1986|G. E. Andrews (1986), chapter 6]]</ref>。シューアの分割恒等式とも呼ばれる。1926年にドイツの数学者[[イサイ・シューア]]によって、導かれた<ref name="Schur1926">[[#Schur1926|I. Schur, ''Sitzungsber. Preuss. Akad. Wiss. Phys.-Math. Kl.'' (1926)]]</ref>。

== 内容 ==
正の整数 {{mvar|n}} に対し、正の整数の組 {{math|&lambda;{{=}}(&lambda;<sub>1</sub>,&hellip;, &lambda;<sub>''l''</sub>)}}が {{mvar|n}} の'''分割'''であるとは、{{math|&lambda;<sub>1</sub> &ge; &hellip;&ge; &lambda;<sub>''l''</sub>}} かつ{{math|&lambda;<sub>1</sub>+&hellip;+&lambda;<sub>''l''</sub> {{=}} ''n''}} を満たすときのことをいう。例えば、{{math|4}}の分割は{{math|(4), (3, 1), (2, 2), (2, 1, 1), (1, 1, 1, 1)}}である。

シューアの分割定理は次の条件を満たす分割の総数が等しいことを主張する。
*和因子が{{math|6}}を法として{{math|&plusmn;1}}に[[整数の合同|合同]]である分割（{{math|&lambda;<sub>''i''</sub>&equiv; &plusmn;1 (mod 6)}}）
*和因子が相異なり、{{math|3}}を法として{{math|&plusmn;1}}に合同である分割（{{math|&lambda;<sub>''i''</sub>&minus;&lambda;<sub>''i''+1</sub> &gt; 1}} かつ {{math|&lambda;<sub>''i''</sub>&equiv; &plusmn;1 (mod 3)}}）
*どの和因子も{{math|3}}以上の差があり、和因子として連続する{{math|3}}の倍数を含まない<ref group="注">例えば、3と6は連続する3の倍数であり、3と9は連続しない3の倍数である。</ref>分割（{{math|&lambda;<sub>''i''</sub>&minus;&lambda;<sub>''i''+1</sub> &ge; 3}} かつ {{math|&lambda;<sub>''i''</sub>&isin;3{{mathbf|Z}} &rArr; &lambda;<sub>''i''</sub>&minus;&lambda;<sub>''i''+1</sub> &gt; 3}}）

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

以降、正の整数 {{mvar|n}} に対し、1番目の条件を満たす分割の個数を {{math|''A''(''n'')}}、2番目の条件を満たす分割の個数を{{math|''B''(''n'')}}、3番目の条件を満たす分割の個数を {{math|''C''(''n'')}}とする。
{{math|''n''{{=}}15}} の場合、シューアの分割定理の条件を満たす分割は次のようになる<ref name="Andrews1986_ch6"></ref>。

{|class="wikitable" style="margin: 1em auto 1em auto"
!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|id=A003105}}）。
{|class="wikitable" style="margin: 1em auto 1em auto"
!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|6}}を法として{{math|&plusmn;1}}に合同とする分割の個数 {{math|''A''(''n'')}}と和因子が相異なり、{{math|3}}を法として{{math|&plusmn;1}}に合同である分割 {{math|''B''(''n'')}} の母関数は
:<math>
\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}}
</math>
:<math>
\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}
</math>
で与えられる。但し、[[q-解析|{{mvar|q}}-解析]]で使用される[[qポッホハマー記号|{{mvar|q}}-ポッホハマー記号]]
:<math>
(a;q)_{n}=  \begin{cases} (1-aq)(1-aq^2)\cdots (1-aq^{n-1})& (n>0)\\
 1 & (n = 0)\end{cases}
</math>
を用いた。
:<math>
\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}
</math>
であるから、
:<math>
\sum_{n=0}^{\infty}B(n)q^n=\sum_{n=0}^{\infty}A(n)q^n
</math>
が成り立つ。

== 組合せ論的な証明 ==
組合せ論的な観点からは、与えられた条件を満たす和因子の2つの集合間を対応付ける全単射写像を具体的に構成することで、シューアの分割定理を証明することができる<ref name="Andrews_Eriksson2004_ch4"></ref>。
;融合・等分写像
[[オイラーの分割恒等式]]は、和因子を奇数とする分割と和因子が互いに異なる分割が同数であることを主張する。オイラーの分割恒等式では、同じ和因子を足し合わせる融合操作と、逆に偶数の和因子を二つに等分する等分操作からなる[[オイラーの分割恒等式#初等的な説明|融合・等分写像]]がこの二つの条件を満たす分割を結ぶ全単射写像となる。この融合・等分写像は和因子が3で割り切れないという性質を保つ。シューアの分割定理の定理において、和因子が&plusmn;1 (mod 6)であるという条件は3で割り切れない奇数であるという条件と等価である。したがって、この融合・等分写像によって、和因子が&plusmn;1 (mod 6)である分割と、和因子が相異なり和因子が&plusmn;1 (mod 3)である分割が同数であることを示すことができる<ref name="Andrews_Eriksson2004_ch4"></ref>。
例えば、和因子が&plusmn;1 (mod 6)である {{math|''n''{{=}}15}}の分割の例{{math|5+5+1+1+1+1+1}}は融合操作により、
:<math>
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
</math>
と、和因子が相異なり、和因子が&plusmn;1 (mod 3)である分割{{math|10+4+1}}に写される。
;ブレスードの全単射
1980年にデビッド・ブレスードは、シューアの分割定理の巧みな全単射写像を構成した<ref name="Bressoud1980">[[#Bressoud1980|D. M.Bressoud, ''Proc. Amer. Math. Soc.'' (1980)]]</ref>。ブレスードの全単射では、次の例のように{{math|&plusmn;1 (mod 3)}}に合同で相異なる和因子からなる分割から{{math|3-}}差的で連続する3の倍数を含まない和因子からなる分割への写像を与える。ここでは、{{math|&plusmn;1 (mod 3)}}に合同で相異なる和因子からなる分割の例として、{{math|&pi;:13+10+8+7+4+2+1}}を用いた説明を行う<ref name="Andrews1986_ch6"></ref>。{{math|&pi;}}の和因子を縦の列に並べて表示する。まず、最小の和因子から始めて、高々差が2である和因子の対を足し合わせる融合操作を行い、{{math|&pi;<sub>1</sub>}}に写す。
:<math>
\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}
</math>
次に、和因子が小さいものから順番に、0から始まる連続する3の倍数を引いていき、{{math|&pi;<sub>2</sub>}}を構成する。
:<math>
\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}
</math>
{{math|&pi;<sub>2</sub>}}の列の隣には、引き算を行った0から始まる連続する3の倍数を表示しておく。{{math|&pi;<sub>2</sub>}}の1列目を昇順に並べ替えたものを、{{math|&pi;<sub>3</sub>}}とする。さらに{{math|&pi;<sub>3</sub>}}の1列目と2列目を足し合わせたものを{{math|&pi;<sub>4</sub>}}とする。
:<math>
\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}
</math>
こうして得られた分割{{math|&pi;<sub>4</sub>}}は、{{math|3-}}差的で連続する3の倍数を含まない和因子からなる分割となっている。

== アルダーの予想 ==
シューアの分割定理と他のいくつかの分割定理との間に類似性を見ることができる<ref name="Andrews_Eriksson2004_ch4"></ref>。
例えば、和因子が{{math|3}}を法として{{math|&plusmn;1}}に合同である分割については、次の定理が成り立つ。
*「和因子が{{math|3}}を法として{{math|&plusmn;1}}に合同である分割」と「和因子が{{math|0-}}差的な分割」は同数
和因子が{{math|4}}を法として{{math|&plusmn;1}}に合同である分割については、[[オイラーの分割恒等式]]が成り立つ。オイラーの分割恒等式は、和因子が奇数である分割は、和因子が互いに相異なる分割は同数あることを主張する。整数が奇数という条件は、和因子が{{math|4}}を法として{{math|&plusmn;1}}に合同であるという条件と同値である。また、和因子が相異なるという条件は{{math|1-}}差的であることを表す。したがって、オイラーの分割恒等式は
*「和因子が{{math|4}}を法として{{math|&plusmn;1}}に合同である分割」と「和因子が{{math|1-}}差的な分割」は同数
と表せる。和因子が{{math|5}}を法として{{math|&plusmn;1}}に合同である分割については、[[ロジャース＝ラマヌジャン恒等式]]から得られる分割恒等式
*「和因子が{{math|5}}を法として{{math|&plusmn;1}}に合同である分割」と「和因子が{{math|2-}}差的な分割」は同数
が成り立つ。
これらの結果から一見して、一般に正の整数 {{mvar|d}} について、
*「和因子が{{math|''d''+3}}を法として{{math|&plusmn;1}}に合同である分割」と「和因子が{{math|''d''-}}差的な分割」は同数
が期待されるが、これは成り立たない。
実際、{{math|''d''{{=}}3}}の版であるシューアの分割定理は、
*「和因子が{{math|6}}を法として{{math|&plusmn;1}}に合同である分割」と「和因子が{{math|3-}}差的で、連続する3の倍数を含まない分割」は同数
を主張しており、{{math|3-}}差的であることに加えて、連続する3の倍数を含まないという条件が必要となる。
一般の場合には条件を弱めた'''アルダーの予想'''
*「和因子が{{math|''d''-}}差的な分割」の個数は「和因子が{{math|''d''+3}}を法として{{math|&plusmn;1}}に合同である分割」の個数以上
が予想されている。7は例外の可能性があるが、{{mvar|d}} が{{math|2<sup>''k''</sup>-1}} の形の整数である場合、この予想が正しいことが知られている<ref name="Andrews1971">[[#Andrews1971|George E. Andrews, ''Pacific J. Math.'' (1971)]]</ref>。但し、それ以外の場合については、この予想は未解決である。

== 脚注 ==
===出典===
{{reflist}}
=== 注 ===
{{reflist|group="注"}}

== 参考文献 ==
=== 書籍 ===
*{{Cite book|
|title= Integer Partitions  
|first1=George E.
|last1=Andrews
|first2=Eriksson
|last2=Kimmo
|publisher=Cambridge University Press
|year=2004
|edition=2nd
|isbn=978-0521600903
|ref=Andrews_Eriksson2004}}; {{Cite book |和書
|title= 整数の分割
|author1= ジョージ・アンドリュース 
|authorlink1=ジョージ・アンドリュース
|author2= キムモ・エリクソン
|authorlink2=キムモ・エリクソン
|others=佐藤文広（訳）
|publisher=数学書房
|year=2006
|isbn=978-4903342610
|ref=Andrew_Eriksson2006 }}
*{{Cite book |
|title= q -Series: Their Development and Application in Analysis, Number Theory, Combinatorics, Physics and Computer Algebra
|first1=George E.  
|last1=Andrews
|series=CBMS
|publisher=American Mathematical Society
|isbn= 978-0821807163
|year=1986
|ref=Andrews1986}}
*{{Cite book |
|title= An Invitation to the Rogers-Ramanujan Identities
|first1=Andrew V.
|last1=Sills
|publisher=CRC Press
|year=2017
|isbn=978-1498745253
|ref= Sills2017}}

=== 論文 ===
*{{citation
|first=George E.
|last=Andrews
|title=On a partition problem of H. L. Alder
|journal=Pacific J. Math.
|volume=36
|year=1971
|pages=279-284
|url=https://msp.org/pjm/1971/36-2/pjm-v36-n2-p01-s.pdf
|ref=Andrews1971}}
*{{citation
|first=D. M.
|last=Bressoud
|title=Combinatorial Proof of Schur's 1926 Partition Theorem
|journal=Proc. Amer. Math. Soc.
|volume=79
|year=1980
|pages=338-340
|url=http://www.ams.org/journals/proc/1980-079-02/S0002-9939-1980-0565367-X/S0002-9939-1980-0565367-X.pdf
|ref=Bressoud1980}}
*{{citation
|first=Issai
|last=Schur
|authorlink=イサイ・シューア
|title=Zur additiven Zahlentheorie
|journal=Sitzungsber. Preuss. Akad. Wiss. Phys.-Math. Kl.
|year=1926
|pages=488-495
|ref=Schur1926}} (Reprinted in {{Cite book |
|first1=I.
|last1=Schur
|title= Gesammelte Abhandlungen
|publisher=Springer
|volume=3
|location=Berlin
|year=1973
}})

== 外部リンク ==
*{{mathworld|urlname=SchursPartitionTheorem|title=Schur's Partition Theorem}}

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

{{DEFAULTSORT:しゆあのふんかつていり}}
[[Category:組合せ論]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]