Ferrers 形内具有不同部分的划分的单峰性

我们研究了包含在给定移位 Ferrers 形 $\lambda$ 内的划分偏序集的秩生成函数 $F_{\lambda}$。当 $\lambda$ 有四个部分时，我们证明对于任意 $n\ge 4$，若 $\lambda =\langle n,n-1,n-2,n-3 \rangle$，则 $F_{\lambda}$ 是单峰的；而对于形式为 $\lambda=\langle n,n-t,n-2t,n-3t \rangle$ 的双索引无限划分族，在给定任意 $t\ge 2$ 且 $n$ 相对于 $t$ 足够大时，单峰性不成立。当 $\lambda$ 有 $b\le 3$ 个部分时，我们证明我们的秩生成函数 $F_{\lambda}$ 均为单峰。然而，对于 $b\ge 5$ 的情况，情形仍大多不明。总体而言，我们获得的结果类型与 D. Stanton 1990 年论文中的结果呈现出显著的相似性，后者考虑的是普通（直）Ferrers 形内划分的情况。在此过程中，我们还确定了一些有趣的二项式系数的 $q$-类比，并在某些情况下猜想其具有单峰性。我们在本注记中陈述了若干其他猜想，以期激发该领域的进一步工作。特别是，其中一项猜想试图将阶梯形划分偏序集 $M(n)$ 的单峰性置于更广泛的背景下，而为其寻找组合证明仍是一个突出的未决问题。