[论文解读] On the Intriguing Problem of Counting (n+1,n+2)-Core Partitions into Odd Parts

Anthony Zaleski, Doron Zeilberger|arXiv (Cornell University)|Dec 28, 2017

Advanced Combinatorial Mathematics参考文献 1被引用 3

一句话总结

本文研究了将 $(n+1,n+2)$-核心分拆表示为奇数部分的计数问题，这是分拆理论中长期悬而未决的开放问题。通过在三角形格点上的序理想方法以及使用 Maple 的高级生成函数技术，作者计算了该序列的 23 项，并为存在代数生成函数提供了强有力证据，后经 Paul Johnson 发现其与偶数部分分拆之间存在深层联系而得到证实，从而实现了快速算法，并提出了生成函数的代数方程猜想。

ABSTRACT

Tewodros Amdeberhan and Armin Straub initiated the study of enumerating subfamilies of the set of (s,t)-core partitions. While the enumeration of (n+1,n+2)-core partitions into distinct parts is relatively easy (in fact it equals the Fibonacci number F_{n+2}), the enumeration of (n+1,n+2)-core partitions into odd parts remains elusive. Straub computed the first eleven terms of that sequence, and asked for a "formula," or at least a fast way, to compute many terms. While we are unable to find a "fast" algorithm, we did manage to find a "faster" algorithm, which enabled us to compute 23 terms of this intriguing sequence. We strongly believe that this sequence has an algebraic generating function, since a "sister sequence" (see the article), is OEIS sequence A047749 that does have an algebraic generating function. One of us (DZ) is pledging a donation of 100 dollars to the OEIS, in honor of the first person to generate sufficiently many terms to conjecture (and prove non-rigorously) an algebraic equation for the generating function of this sequence, and another 100 dollars for a rigorous proof of that conjecture. Finally, we also develop algorithms that find explicit generating functions for other, more tractable, families of (n+1,n+2)-core partitions.

研究动机与目标

• 计算更多 $(n+1,n+2)$-核心分拆中奇数部分的计数序列项，此前 Straub 仅计算了 11 项。
• 基于强烈的数值证据和结构类比，判断该序列的生成函数是否为代数函数。
• 利用序理想与生成函数方法，开发算法以枚举 $(n+1,n+2)$-核心分拆的受限家族。
• 建立奇数部分与偶数部分 $(n+1,n+2)$-核心分拆之间的联系，从而为奇数部分序列提供快速计算算法。

提出的方法

• 作者将 $(n+1,n+2)$-核心分拆建模为三角形格点 $A_n$ 上的序理想，其对应集合为 $P_{n+1,n+2} = \mathbb{N} \setminus ((n+1)\mathbb{N} + (n+2)\mathbb{N})$。
• 他们根据每条对角线上最大与最小标签的奇偶性对序理想进行分类，定义其‘类型’，从而实现生成函数的递归分解。
• 对于固定的 $k$，他们将注意力限制在最外层 $k$ 条对角线内的序理想，这使得递归具有有限状态机的特性，并产生代数生成函数。
• 使用 Maple 包 `OddArmin.txt`、`core.txt` 和 `stCorePlus.txt`，他们实现了计算受限家族生成函数的算法，包括重复次数受限或仅含奇数部分的情况。
• 他们推导出 $k$-重复受限情形（如 $k=2,3,4$）的显式有理生成函数，并证明这些函数满足代数方程。
• 他们利用 Paul Johnson 的发现：奇数部分序列与偶数部分序列相关，从而可基于偶数部分生成函数实现快速计算，并提出奇数部分生成函数的代数方程猜想。

实验结果

研究问题

• RQ1 基于数值证据和与相关序列的类比，该序列的生成函数是否为代数函数，如强烈暗示的那样？
• RQ2 鉴于直接枚举的困难，能否构建一个快速算法来计算该序列的大量项？
• RQ3 计数 $(n+1,n+2)$-核心分拆中奇数部分与偶数部分的序列之间存在何种结构关系？
• RQ4 能否通过已知的组合变换，从偶数部分序列导出奇数部分序列的生成函数？
• RQ5 推测生成函数的代数方程，至少需要多少项数据？

主要发现

• 作者计算了计数 $(n+1,n+2)$-核心分拆中奇数部分的序列的 23 项，显著扩展了此前已知的 11 项。
• 该序列强烈猜想具有代数生成函数，依据为数值证据以及与 OEIS 序列 A047749 的结构联系。
• Paul Johnson 的工作揭示了奇数部分序列与偶数部分序列之间的关系，从而允许通过偶数部分生成函数实现快速计算。
• 当 $k=2$ 时，生成函数为 $-\frac{x^4 - x^3 - x^2 + x + 1}{x^5 - x^4 - 2x^3 + 3x^2 + x - 1}$，其前 20 项系数与奇数部分序列完全匹配。
• 当 $k=3$ 时，生成函数为 $-\frac{x^9 + x^8 - 4x^7 - 6x^6 + 8x^5 + 9x^4 - 5x^3 - 5x^2 + x + 1}{(x^9 + 2x^8 - 3x^7 - 9x^6 + 3x^5 + 14x^4 - x^3 - 7x^2 + 1)(x - 1)}$，可生成序列的前 25 项。
• 作者为纪念 Paul Johnson 的发现，向 OEIS 捐赠了 200 美元，该发现解决了高效计算该序列的核心难题。