[论文解读] Core partitions with distinct parts

Huan Xiong|arXiv (Cornell University)|Aug 31, 2015

Advanced Mathematical Identities参考文献 21被引用 13

一句话总结

本文完整解決了 Amdeberhan 對 $(t,t+1)$-核心分拆中具有相異部分的猜想，推導出具有相異部分的 $t$-核心分拆的生成函數，並使用組合方法與斐波那契恆等式，證明其數目、最大大小、總大小與平均大小的精確公式。

ABSTRACT

Simultaneous core partitions have attracted much attention since Anderson's work on the number of $(t_1,t_2)$-core partitions. In this paper we focus on simultaneous core partitions with distinct parts. The generating function of $t$-core partitions with distinct parts is obtained. We also prove the results on the number, the largest size and the average size of $(t, t + 1)$-core partitions. This gives a complete answer to a conjecture of Amdeberhan, which is partly and independently proved by Straub, Nath and Sellers, and Zaleski recently.

研究动机与目标

• 解決 Amdeberhan 在 2015 年提出的關於 $(t,t+1)$-核心分拆中具有相異部分的計數與大小統計之猜想。
• 利用 $\beta$-集合與組合約束，推導具有相異部分的 $t$-核心分拆之生成函數。
• 建立具有相異部分的 $(t,t+1)$-核心分拆之數目、最大大小、所有大小總和與平均大小的精確公式。
• 使用遞迴分解與斐波那契數列恆等式，提供這些結果的自包含證明。
• 確認並擴展 Straub、Nath 與 Sellers 對相關核心分拆族之先前部分結果。

提出的方法

• 利用 $\beta$-集合編碼具有相異部分的 $t$-核心分拆，其中每個集合 $B$ 滿足連續索引下 $x_i x_{i+1} = 0$。
• 透過 $\nu_t$ 中允許的 $(n_1, \nu_2, \nu_3, \nu_{t-1})$-元組之和，推導生成函數，指數為包含 $i n_i + t \binom{n_i}{2} - \binom{\nu}{2}$ 的二次型。
• 基於 $t-1$ 是否屬於 $\beta$-集合，進行遞迴分解，導出數目與大小總和的遞迴關係式。
• 利用斐波那契恆等式證明所有大小總和等於 $\sum_{i+j+k=t+1, i,j,k\geq1} F_i F_j F_k$，其中 $F_i$ 為第 $i$ 個斐波那契數。
• 建立平均大小為歸一化和 $\sum_{i+j+k=t+1} \frac{F_i F_j F_k}{F_{t+1}}$。
• 驗證大小總和的遞迴式 $e_t = e_{t-1} + e_{t-2} + F_{t-1}$，並確認其與斐波那契三重和一致。

实验结果

研究问题

• RQ1 具有相異部分的 $t$-核心分拆之生成函數為何？
• RQ2 具有相異部分的 $(t,t+1)$-核心分拆之精確數目為何？
• RQ3 此類分拆的最大可能大小為何？
• RQ4 所有具有相異部分的 $(t,t+1)$-核心分拆之大小總和與平均大小為何？
• RQ5 此類分拆之數目與大小統計與斐波那契數之間有何關係？

主要发现

• 具有相異部分的 $t$-核心分拆之生成函數為 $\sum_{n\geq 0} cd_t(n) q^n = \sum_{(n_1,\dots,n_{t-1}) \in \mathcal{C}_t} q^{\sum_{i=1}^{t-1} \left( i n_i + t \binom{n_i}{2} \right) - \binom{\sum n_i}{2}}$，其中 $\mathcal{C}_t$ 為無兩個連續非零項之元組集合。
• 具有相異部分的 $(t,t+1)$-核心分拆之數目為斐波那契數 $F_{t+1}$。
• 此類分拆的最大大小為 $\left\lfloor \frac{1}{3} \binom{t+1}{2} \right\rfloor$。
• 達成最大大小之分拆數目為 2（若 $t \equiv 1 \pmod{3}$），否則為 1。
• 所有具有相異部分的 $(t,t+1)$-核心分拆之大小總和為 $\sum_{i+j+k=t+1, i,j,k\geq1} F_i F_j F_k$。
• 平均大小為 $\sum_{i+j+k=t+1, i,j,k\geq1} \frac{F_i F_j F_k}{F_{t+1}}$。