[论文解读] Simultaneous cores with restrictions and a question of Zaleski and Zeilberger

Paul D. Johnson|arXiv (Cornell University)|Feb 26, 2018

Advanced Combinatorial Mathematics参考文献 5被引用 5

一句话总结

本文提出了一种关于$(n,n+1)$-核心分拆的通用递推公式，其部分差值受限制，统一了此前关于不同部分与被$d$整除部分的研究结果。通过使用阿巴库图和生成函数，该文解决了Zaleski与Zeilberger提出的问题，证明所有奇数部分的$(n,n+1)$-核心分拆的数量等于第$n$个斐波那契数，同时推导出大小、长度和最大部分等丰富统计量。

ABSTRACT

IMPORTANT NOTE: This paper is much rougher than I'd usually submit, and not entirely complete, though the main theorems and proofs should not be hard to follow. Given the ongoing strike at UK Universities it may be some time before I get to complete it to my satisfaction, and in the meantime people I've shared the preliminary draft with would like to be able to reference it. Hence I'm uploading it in its current form, and will update it later. The main new result of this paper is to count the number of (n,n+1)-core partitions with odd parts, answering a question of Zaleski and Zeilberger with bounty a charitable contribution to the OEIS. Along the way, we prove a general theorem giving a recurrence for (n,n+1)-core parts whose smallest part and consecutive part differences are restricted to lie in an arbitrary set M. This theorem unifies many known results about (n,n+1)-core partitions with restrictions. We end with discussions of extensions of the general theorem that keep track of the largest part, number of parts, and size of the partition, and about a few cases where the same methods work on more general simultaneous cores.

研究动机与目标

• 统一并推广关于$(n,n+1)$-核心分拆在部分差值受限情况下的已知结果。
• 解决Zaleski与Zeilberger提出的具体问题：所有奇数部分的$(n,n+1)$-核心分拆的数量。
• 构建适用于各种受限类$(n,n+1)$-核心分拆的递推框架，利用阿巴库构造。
• 通过生成函数丰富递推关系，以追踪大小、部分数量和最大部分等统计量。
• 探索该方法在$(n,n+1)$-核心情形之外的特定情况下的适用性。

提出的方法

• 通过整数分拆的阿巴库模型推导出通用递推公式，利用集合$M \subset \mathbb{N}$编码部分差值约束。
• 通过分析阿巴库上珠子的配置，特别是白色珠子的连续段与黑色珠子边界的分布，构建递推关系。
• 基于特征函数$\chi_M(q)$定义生成函数$F_M(q)$，该函数追踪允许的部分差值。
• 利用$\chi_M(q)$的导数和有理函数，推导出关于大小、长度和最大部分的丰富生成函数。
• 将递推关系应用于$M = \mathbb{N}_+$（不同部分）和$M = 2\mathbb{N}$（奇数部分），分别得到斐波那契数列和Fuss-Catalan型计数。
• 通过在$F_M(q)$上应用微分算子，将方法扩展至追踪总大小和总部分数量等统计量。

实验结果

研究问题

• RQ1 所有奇数部分的$(n,n+1)$-核心分拆的数量是多少？它是否遵循已知的组合序列？
• RQ2 能否为$(n,n+1)$-核心分拆在任意连续部分差值限制下构建统一的递推公式？
• RQ3 如何使递推关系丰富化，以追踪大小、部分数量和最大部分等附加统计量？
• RQ4 是否存在该递推方法可推广至$(n,n+1)$-核心以外的多重核心情形？
• RQ5 所有奇数部分与所有偶数部分的$(n,n+1)$-核心分拆数量之间存在何种关系？

主要发现

• 所有奇数部分的$(n,n+1)$-核心分拆的数量等于第$n$个斐波那契数$F_n$，解决了Zaleski与Zeilberger提出的问题。
• 为连续部分差值属于固定集合$M \subset \mathbb{N}$的$(n,n+1)$-核心分拆建立了通用递推公式，统一了先前的研究结果。
• 该递推关系在$M = \mathbb{N}_+$（不同部分）时成立，恢复了斐波那契计数；在$M = 2\mathbb{N}$（奇数部分）时，也得到相同的斐波那契数列。
• 生成函数$F_M(q)$满足一个涉及$\chi_M(q)$的函数方程，使得可通过微分推导出丰富统计量。
• 所有此类分拆的总大小、部分数量和最大部分均由$F_M(q)$及其导数导出的有理生成函数所捕获。
• 该方法可扩展至$M = k\mathbb{N}_+$，得到部分为互异且被$k$整除的分拆，并在这些情形下与Fuss-Catalan数建立联系。