[论文解读] The number of simultaneous core partitions

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

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

一句话总结

本文证明了Amdeberhan的猜想：$(t,t+1,t+2)$-核心分拆的数量等于第$t$个Motzkin数，其表达式为$\sum_{0\leq k\leq\lfloor t/2\rfloor}\frac{1}{k+1}\binom{t}{2k}\binom{2k}{k}$。本文建立了$(t, t+1, \dots, t+p)$-核心分拆数量的生成函数，并证明此类分拆有限当且仅当参数的最大公约数为1，将Anderson的结果推广至多参数情形。

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.

研究动机与目标

• 证明Amdeberhan的猜想：$(t,t+1,t+2)$-核心分拆的数量等于第$t$个Motzkin数。
• 推导$(t,t+1,\dots,t+p)$-核心分拆数量的生成函数。
• 将Anderson关于$(t_1,t_2)$-核心分拆的有限性结果推广至$m$元组，证明其有限当且仅当$\gcd(t_1,\dots,t_m) = 1$。
• 通过$\beta$-集和序理论方法，为Keith与Nath关于同时核心分拆有限性的结果提供一种新证明。

提出的方法

• 使用$\beta$-集刻画$t$-核心分拆，其中分拆为$t$-核心当且仅当其$\beta$-集中无元素模$t$同余于$t$的倍数。
• 应用原理：若$\gcd(t_1,\dots,t_m) = 1$，则任何$\beta$-集均不能包含由$t_1,\dots,t_m$生成的半群中的元素，从而确保有界性。
• 通过$\beta$-集子集之间的同构关系，对由钩长导出的偏序集中“良好子集”的集合进行递归分解。
• 定义生成函数$F(x) = \sum_{t\geq 0} f_t x^t$，并推导出涉及$F(x)$与$x^p$的函数方程，通过二次公式得出闭式表达。
• 利用双射$\phi$与$\varphi$证明偏序子集之间的同构，保持良好子集数量不变，从而实现递归计数。
• 应用已知生成函数：当$p=1$时，恢复Catalan数；当$p=2$时，恢复Motzkin数，从而确认Amdeberhan的猜想。

实验结果

研究问题

• RQ1 Amdeberhan的猜想是否成立：即$(t,t+1,t+2)$-核心分拆的数量是否为第$t$个Motzkin数？
• RQ2 $(t,t+1,\dots,t+p)$-核心分拆数量的生成函数在一般$p$下是什么？
• RQ3 $(t_1,t_2,\dots,t_m)$-核心分拆的数量在何种条件下有限？
• RQ4 Anderson关于两互质参数的有限性结果能否推广至$m$个参数？
• RQ5 $\beta$-集与钩长上的序理论结构如何促进同时核心分拆的计数？

主要发现

• $(t,t+1,t+2)$-核心分拆的数量恰好为第$t$个Motzkin数：$f_t = \sum_{0\leq k\leq\lfloor t/2\rfloor}\frac{1}{k+1}\binom{t}{2k}\binom{2k}{k}$。
• 生成函数为$\sum_{t\geq 0} f_t x^t = \frac{1 - x - \sqrt{1 - 2x - 3x^2}}{2x^2}$，确认其为Motzkin数的生成函数。
• $(t_1,t_2,\dots,t_m)$-核心分拆的数量有限当且仅当$\gcd(t_1,t_2,\dots,t_m) = 1$，将Anderson的结果推广至$m$个参数。
• 当$p=1$时，生成函数退化为$\frac{1 - \sqrt{1 - 4x}}{2x}$，即Catalan数的生成函数，从而恢复Anderson关于$(t,t+1)$-核心分拆的公式。
• 当$p=2$时，结果通过Motzkin数的已知生成函数确认了Amdeberhan的猜想。
• 利用$\beta$-集与偏序子集间同构关系的证明方法，为有限性条件提供了新的、自包含的推导，独立重新发现了Keith与Nath的结果。