分割のランク・クランク
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/03 15:03 UTC 版)
「ラマヌジャンの合同式」の記事における「分割のランク・クランク」の解説
1944年にフリーマン・ダイソンは分割のランク（英語版）(rank)と呼ばれる量を導入し、5と7を法としたときのラマヌジャンの合同式の組合せ論的解釈に関する予想を提示した。さらにダイソンは分割のクランク（英語版）(crank)と呼ばれる量が存在することを予想し、11を法としたときについても組合せ論的解釈が可能であることを予言した。ダイソンが導入したランクは分割における最大の和因子から和因子の個数（分割の長さ）を引いた差で定義される。正の整数 n のランク m の分割の個数を N(m, n) と表し、t を法としたときにランクが m と合同な分割の個数を N(m, t, n) と表す。ダイソンは N ( 0 , 5 , 5 n + 4 ) = N ( 1 , 5 , 5 n + 4 ) = N ( 2 , 5 , 5 n + 4 ) = N ( 3 , 5 , 5 n + 4 ) = N ( 4 , 5 , 5 n + 4 ) = p ( 5 n + 4 ) 5 {\displaystyle {\begin{aligned}N(0,5,5n+4)=&N(1,5,5n+4)=N(2,5,5n+4)\\=&N(3,5,5n+4)=N(4,5,5n+4)\\=&{\frac {p(5n+4)}{5}}\end{aligned}}} N ( 0 , 7 , 7 n + 5 ) = N ( 1 , 7 , 7 n + 5 ) = N ( 2 , 7 , 7 n + 5 ) = N ( 3 , 7 , 7 n + 5 ) = N ( 4 , 7 , 7 n + 5 ) = N ( 5 , 7 , 7 n + 5 ) = N ( 6 , 7 , 7 n + 5 ) = p ( 7 n + 5 ) 7 {\displaystyle {\begin{aligned}N(0,7,7n+5)=&N(1,7,7n+5)=N(2,7,7n+5)\\=&N(3,7,7n+5)=N(4,7,7n+5)\\=&N(5,7,7n+5)=N(6,7,7n+5)\\=&{\frac {p(7n+5)}{7}}\end{aligned}}} が成り立つこと予想した。この予想が成り立てば、明らかに p(5n+4) は5で割り切れ、p(7n+5) は7で割り切れることになる。このランクに関するダイソンの予想が正しいことは、オリバー・アトキンとピーター・スウィナートン-ダイアー（英語版）によって、1954年に証明された。また、ダイソンが予想した性質を持つクランクは、1988年にジョージ・アンドリュース（英語版）とフランク・ガーバン（英語版）によって発見された。
※この「分割のランク・クランク」の解説は、「ラマヌジャンの合同式」の解説の一部です。
「分割のランク・クランク」を含む「ラマヌジャンの合同式」の記事については、「ラマヌジャンの合同式」の概要を参照ください。
- 分割のランク・クランクのページへのリンク
