[论文解读] A bijective proof of Amdeberhan's conjecture on the number of $(s, s+2)$-core partitions with distinct parts

Jineon Baek, Hayan Nam+1 more|arXiv (Cornell University)|May 7, 2017

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

一句话总结

本文首次给出了一个双射证明，表明当 $ s $ 为奇数时，具有不同部分的 $(s,s+2)$-核心分拆的数量恰好为 $ 2^{s-1} $。作者通过一种新颖的偏序集上的序理想双射方法，将这些分拆与长度为 $ s $ 的格路直接对应起来，该偏序集源自核心分拆的 $\beta$-集合，从而以一种构造性、组合化的方式解决了长期悬而未决的猜想。

ABSTRACT

Amdeberhan conjectured that the number of $(s,s+2)$-core partitions with distinct parts for an odd integer $s$ is $2^{s-1}$. This conjecture was first proved by Yan, Qin, Jin and Zhou, then subsequently by Zaleski and Zeilberger. Since the formula for the number of such core partitions is so simple one can hope for a bijective proof. We give the first direct bijective proof of this fact by establishing a bijection between the set of $(s, s+2)$-core partitions with distinct parts and a set of lattice paths.

研究动机与目标

• 提供Amdeberhan猜想的直接双射证明，即当 $ s $ 为奇数时，具有不同部分的 $(s,s+2)$-核心分拆数量为 $ 2^{s-1} $，此前该结果仅通过代数或计算方法证明。
• 在具有不同部分的 $(s,s+2)$-核心分拆与长度为 $ s $ 的格路之间建立构造性、组合化的对应关系。
• 通过核心分拆的 $\beta$-集合与偏序集 $P_{s,s+2}$ 中的序理想重新表述问题，从而实现与格路的清晰双射。
• 解决一个长期开放的问题：为简洁公式 $ 2^{s-1} $ 提供双射解释，尽管该公式形式优美，但此前一直缺乏直接的组合解释。

提出的方法

• 作者使用核心分拆的 $\beta$-集合表示法，将问题转化为在偏序集 $P_{s,s+2}$ 中计数不包含连续整数的序理想。
• 他们定义了一个具有对称结构的偏序集 $Q$，并构造了从 $P_{s,s+2}$ 与 $Q$ 的子偏序集之间的显式反序映射 $f_R$ 和保序映射 $f_L$。
• 关键构造将 $P_{s,s+2}$ 中的序理想 $I$ 映射为一个新的序理想 $J = f_L(I \cap L) \cup (Q^{-} \setminus f_R(I \cap R))$，并证明该映射构成 $Q$ 中的平衡序理想。
• 他们证明该映射是从具有不同部分的合法 $(s,s+2)$-核心分拆集合到 $Q$ 中平衡序理想集合的双射，而后者又与格路一一对应。
• 通过高度函数 $h_J(p)$ 建立格路对应关系，其中路径由序列 $(p, h_J(p) - h_J(0))$ 定义，其中 $ 0 \leq p \leq 2k+1 $，且 $ s = 2k+1 $，路径终点位于正奇数高度。
• 该证明依赖于验证所构造映射的良定义性、序保持性及可逆性，利用了序理想性质与偏序集 $Q$ 的结构。

实验结果

研究问题

• RQ1 是否存在一个直接的双射证明，表明当 $ s $ 为奇数时，具有不同部分的 $(s,s+2)$-核心分拆数量为 $ 2^{s-1} $，正如Amdeberhan所猜想的？
• RQ2 具有不同部分的 $(s,s+2)$-核心分拆集合能否自然地与格路等组合对象对应？
• RQ3 核心分拆的 $\beta$-集合及其相关偏序集 $P_{s,s+2}$ 具有哪些结构特性，使得此类双射成为可能？
• RQ4 如何在偏序集与格路框架中编码并保持‘无连续钩长’（即不同部分）的条件？

主要发现

• 对于每个奇正整数 $ s $，具有不同部分的 $(s,s+2)$-核心分拆的数量恰好为 $ 2^{s-1} $，通过双射方法确认了Amdeberhan的猜想。
• 构建了具有不同部分的 $(s,s+2)$-核心分拆集合与从 $(0,0)$ 出发、终点为 $(s,y)$（$ y $ 为正整数）的长度为 $ s $ 的格路之间的双射，路径步长为 $ U=(1,1) $ 和 $ D=(1,-1) $。
• 该双射通过两步映射实现：首先从分拆的 $\beta$-集合映射到偏序集 $P_{s,s+2}$ 中的序理想，再映射到变换后的偏序集 $Q$ 中的平衡序理想，后者对应一条格路。
• 该构造确保 $\beta$-集合中无连续整数（对应于不同部分）的性质被保留，并在路径结构中得以体现。
• 证明表明，此类格路的数量为 $ 2^{s-1} $，与合法核心分拆的数量一致，从而以组合方式证明了该公式。
• 作者首次为此结果提供了直接、构造性的双射，填补了以往证明依赖代数或符号计算技术所留下的空白。