[论文解读] On $(2k+1, 2k+3)$-core partitions with distinct parts

Sherry H.F. Yan, Guizhi Qin+2 more|arXiv (Cornell University)|Apr 13, 2016

Advanced Mathematical Identities参考文献 4被引用 5

一句话总结

本文证实了Straub关于$(2k+1, 2k+3)$-核心分拆中不同部分的两个猜想：证明了此类分拆的数量为$2^{2k}$，并推导出其最大大小为$\frac{k(k+1)(k+2)(5k+11)}{24}$。该方法利用偏序集理论和$P_{2k+1,2k+3}$偏序集的序理想来刻画这些分拆的$\beta$-集合，通过在钩长集合上的组合优化，实现了显式计数与大小公式的推导。

ABSTRACT

In this paper, we are mainly concerned with the enumeration of $(2k+1, 2k+3)$-core partitions with distinct parts. We derive the number and the largest size of such partitions, confirming two conjectures posed by Straub.

研究动机与目标

• 解决猜想1.1，即当$s$为奇数时，$(s,s+2)$-核心分拆中不同部分的数量等于$2^{s-1}$。
• 解决猜想1.2，即对于奇数$s$，此类分拆的最大大小为$\frac{(s^2-1)(s+3)(5s+17)}{384}$。
• 通过偏序集$P_{2k+1,2k+3}$及其序理想，刻画$(2k+1,2k+3)$-核心分拆中不同部分的结构。
• 通过在$\beta$-集合上的组合优化，推导出这些分拆的计数与最大大小的显式公式。

提出的方法

• 作者通过偏序集$P_{2k+1,2k+3}$的序理想对$(2k+1,2k+3)$-核心分拆中不同部分的集合进行建模，其中$P_{2k+1,2k+3}$定义为$\mathbb{N}^+ \setminus \{n = k_1(2k+1) + k_2(2k+3) \mid k_1,k_2 \in \mathbb{N}\}$。
• 他们将$P_{2k+1,2k+3}$分解为两个不相交的集合：$Q_k = \{2i-1 \mid 1 \leq i \leq k\}$ 和 $Q_k' = \{2i + (s-1)(2k+3) \mid 1 \leq s \leq 2k, 1 \leq i \leq 2k+1-s\}$，并为$1 \leq i \leq k$定义了一类‘良好’的序理想$\gamma_{k,i}$。
• 使用分拆的$\beta$-集合来编码其第一列中的钩长；分拆的大小通过公式$|\lambda| = \sum_{h \in \beta(\lambda)} h - \binom{|\beta(\lambda)|}{2}$计算。
• 最大大小的分拆被识别为$\mu_{k,k}$，对应于$\beta$-集合$\gamma_{k,k}$，该集合包含从1到$2k-1$的所有奇数，以及所有形如$2k+2 + p(2k+3)$（其中$0 \leq p \leq k-1$）的元素。
• 通过二次比较和单调性论证，证明了$\mu_{k,k}$能产生最大大小，即任何其他对应于不同$i$的$\beta$-集合都会导致更小的和。
• 将$k = \frac{s-1}{2}$代入推导出的大小公式，验证了奇数$s$下的猜想1.2。

实验结果

研究问题

• RQ1 $(2k+1,2k+3)$-核心分拆中不同部分的确切数量是多少？它是否等于如猜想所述的$2^{2k}$？
• RQ2 $(2k+1,2k+3)$-核心分拆中不同部分的最大可能大小是多少？当$s = 2k+1$时，它是否与有理函数$\frac{(s^2-1)(s+3)(5s+17)}{384}$一致？
• RQ3 如何利用偏序集$P_{2k+1,2k+3}$来刻画此类分拆的$\beta$-集合？其极大元素表现出何种结构？
• RQ4 在所有$(2k+1,2k+3)$-核心分拆中不同部分的分拆中，是否存在唯一的最大大小分拆？如果是，其$\beta$-集合是什么？

主要发现

• $(2k+1,2k+3)$-核心分拆中不同部分的数量恰好为$2^{2k}$，从而证实了猜想1.1。
• 此类分拆的最大大小为$\frac{k(k+1)(k+2)(5k+11)}{24}$，代入$k = \frac{s-1}{2}$后验证了猜想1.2。
• 最大大小的分拆对应于$\beta$-集合$\gamma_{k,k} = \{1,3,\dots,2k-1\} \cup \{2k+2, 2k+2+(2k+3), \dots, 2k+2+(k-1)(2k+3)\}$。
• 在所有此类分拆中，$\mu_{k,k}$是唯一达到最大大小的分拆，这是通过在$i \in [1,k]$范围内对大小函数进行二次比较而证明的。
• 大小公式的推导基于对$\beta_{1,k}$的元素和等差数列$2k+2 + p(2k+3)$的求和，然后减去二项式系数$\binom{|\beta_{1,k}| + k}{2}$。
• 该结果推广了关于$(s,s+1)$-核心分拆中不同部分的先前工作，并将框架扩展至形式为$(2k+1,2k+3)$的奇-奇互素对。