[論文レビュー] The number of simultaneous core partitions

Huan Xiong|arXiv (Cornell University)|Sep 24, 2014

Advanced Mathematical Identities参考文献 9被引用数 9

ひとこと要約

この論文は、$(t,t+1,t+2)$-コア分割の数が、$\sum_{0\leq k\leq\lfloor t/2\rfloor}\frac{1}{k+1}\binom{t}{2k}\binom{2k}{k}$ で与えられる$t$-番目のモーツキン数に等しいというアムデルバーハンの予想を証明する。また、$(t, t+1, \dots, t+p)$-コア分割の数の母関数を確立し、このような分割がパラメータの最大公約数が1であるときにかつそのときに限り有限であることを証明する。これはアンドリュースの結果を複数のパラメータに拡張したものである。

ABSTRACT

Amdeberhan conjectured that the number of $(t,t+1, t+2)$-core partitions is $\sum_{0\leq k\leq [\frac{t}{2}]}\frac{1}{k+1}\binom{t}{2k}\binom{2k}{k}$. In this paper, we obtain the generating function of the numbers $f_t$ of $(t, t + 1, ..., t + p)$-core partitions. In particular, this verifies that Amdeberhan's conjecture is true. We also prove that the number of $(t_1,t_2,..., t_m)$-core partitions is finite if and only if gcd$(t_1,t_2,..., t_m)=1,$ which extends Anderson's result on the finiteness of the number of $(t_1,t_2)$-core partitions for coprime positive integers $t_1$ and $t_2$ and thus rediscover a result of Keith and Nath with a different proof.

研究の動機と目的

• $(t,t+1,t+2)$-コア分割の数が$t$-番目のモーツキン数に等しいというアムデルバーハンの予想を証明すること。
• $(t,t+1,\dots,t+p)$-コア分割の数の母関数を導出すること。
• アンドリュースの$(t_1,t_2)$-コア分割に関する有限性結果を$m$-組に一般化し、有限性が$\gcd(t_1,\dots,t_m) = 1$であることと同値であることを示すこと。
• ケイシーとナスの同時コア分割の有限性に関する結果を$\beta$-集合と順序論的技法を用いて再証明すること。

提案手法

• $t$-コア分割を特徴付けるために$\beta$-集合を用い、分割が$t$-コアであることはその$\beta$-集合の要素がすべて$t$を法として$0$に合同でないときに限り成り立つことを示す。
• もし$\gcd(t_1,\dots,t_m) = 1$ならば、$t_1,\dots,t_m$が生成する半群に属する要素を含まない$\beta$-集合が存在し得ないため、有界性が保証されることを応用する。
• フック長から導かれる半順序集合の良い部分集合の集合に対する再帰的分解を構成し、$\beta$-集合の部分集合間の同型を用いる。
• 生成関数$F(x) = \sum_{t\geq 0} f_t x^t$を定義し、$F(x)$と$x^p$を含む関数方程式を導出し、二次方程式を用いて閉形式を得る。
• 写像$\phi$と$\varphi$を用いて部分順序集合の部分集合間の同型を示し、良い部分集合の数を保存するようにし、再帰的数え上げを可能にする。
• 既知の母関数を応用する：$p=1$のとき、カタラン数の母関数が得られ、$p=2$のとき、モーツキン数の母関数が得られ、アムデルバーハンの予想が確認される。

実験結果

リサーチクエスチョン

• RQ1 アムデルバーハンの予想、すなわち$(t,t+1,t+2)$-コア分割の数が$t$-番目のモーツキン数に等しいという主張は正しいか？
• RQ2 一般の$p$に対して、$(t,t+1,\dots,t+p)$-コア分割の数の母関数は何か？
• RQ3 $(t_1,t_2,\dots,t_m)$-コア分割の数が有限であるのはどのような条件下か？
• RQ4 アンドリュースの2つの互いに素なパラメータに関する有限性結果を$m$パラメータに一般化できるか？
• RQ5 $\beta$-集合とフック長の順序論的構造は、同時コア分割の数え上げをどのように支援するか？

主な発見

• $(t,t+1,t+2)$-コア分割の数は、正確に$t$-番目のモーツキン数に等しい：$f_t = \sum_{0\leq k\leq\lfloor t/2\rfloor}\frac{1}{k+1}\binom{t}{2k}\binom{2k}{k}$。
• $f_t$の母関数は$\sum_{t\geq 0} f_t x^t = \frac{1 - x - \sqrt{1 - 2x - 3x^2}}{2x^2}$ であり、これはモーツキン数の母関数であることを確認する。
• $(t_1,t_2,\dots,t_m)$-コア分割の数は、$\gcd(t_1,t_2,\dots,t_m) = 1$であることと同値に有限である。これはアンドリュースの結果を$m$パラメータに拡張したものである。
• $p=1$のとき、母関数は$\frac{1 - \sqrt{1 - 4x}}{2x}$ に簡略化され、これはカタラン数の母関数に一致し、$(t,t+1)$-コア分割に対するアンドリュースの公式が回復される。
• $p=2$のとき、結果は既知のモーツキン数の母関数を用いてアムデルバーハンの予想を確認する。
• この研究で用いられた$\beta$-集合と部分順序集合の同型を用いた証明技法は、有限性条件の新たな自己完結的導出を可能にし、ケイシーとナスの結果を再発見した。