Extending Andrews and Newman's refinement of the crank-mex theorem

问题陈述
本文旨在对“crank–mex 定理”进行改进，该定理由 Andrews 和 D. Newman (2020) 以及 Hopkins 和 Sellers (2020) 建立。原定理指出，具有非负 crank（$M_{\ge 0}(n)$）的 $n$ 的整数分拆数量等于具有奇数最小排除数（mex）的分拆数量（$X_o(n)$）。Andrews 和 M. Newman 最近通过追踪大于 1 的部分个数（记为统计量 $\beta(\lambda)$）对这一等价关系进行了精细化处理。他们通过解析方法证明了 $x_o(n, k) = m_{\ge 0}(n, k)$，但请求一个组合证明。

当前的工作将这一研究方向扩展到了互补的一组分拆统计量。具体而言，它研究了以下集合之间的等量关系：

1. 具有偶数 mex 的分拆（$X_e(n)$）。
2. 具有不动点（即对于某个 $i$，满足 $\lambda_i = i$）的分拆。
3. 具有负 crank 的分拆（$M_{< 0}(n)$）。
4. 具有正 crank 的分拆（$M_{> 0}(n)$）。

作者旨在通过追踪大于 1 的部分个数（$k$），以及针对不动点情况追踪此类部分的具体计数，来建立并完善这些关系。

方法论
本文采用了两种不同的方法论来证明其主要定理：

1. 解析证明： 作者利用 $q$-级数和生成函数。他们定义了四个分拆集合的生成函数，引入变量 $z$ 来追踪大于 1 的部分个数，并使用 $q$ 来追踪部分之和。对于与 crank 相关的集合，他们使用了 Andrews 和 Garvan (1988) 推导出的已知 crank 生成函数。通过代数变形，包括使用 Heine 变换和 $q$-二项式定理，他们证明了这些集合的生成函数是恒等的（或通过一个简单的因子 $z$ 相关联），从而证明了等量关系。
2. 组合证明： 作者为这些集合构建了显式的双射。
   • 偶数 Mex $\leftrightarrow$ 不动点： 他们改编了 Konan (2023) 的广义双射，该双射将具有奇数 mex 的分拆与不含不动点的分拆联系起来。他们通过修改该映射，将其用于连接偶数 mex 分拆与具有不动点的分拆，并仔细分析了在迭代映射过程中大于 1 的部分个数是如何变化的。
   • 不动点 $\leftrightarrow$ 负 Crank： 他们基于不动点指数、1 的个数（$\omega(\lambda)$）与 crank 之间的关系定义了一个双射。通过建立引理，证明了具有不动点和负 crank 的分拆满足特定的 $\omega(\lambda)$ 界限。该映射涉及将一个不动点 $i$ 替换为 $i$ 个 1（或反之亦然），并相应地调整大于 1 的部分个数。
   • 负 Crank $\leftrightarrow$ 正 Crank： 作者为具有负 crank 的分拆与具有正 crank 的分拆构建了一个直接的双射。该映射涉及通过移动部分和 1 的个数来反转 crank 的符号，并使大于 1 的部分个数恰好增加 1。

主要贡献与结果
主要结果是定理 1，它确立了对于正整数 $n$ 和 $k$，以下四个集合是等量的：

• (a) 具有偶数 mex 且有 $k$ 个大于 1 的部分的分拆。
• (b) 具有一个不动点且有 $k+1$ 个大于 1 的部分的分拆。
• (c) 具有负 crank 且有 $k$ 个大于 1 的部分的分派。
• (d) 具有正 crank 且有 $k+1$ 个大于 1 的部分的分拆。

数学表达式为：
$$x_e(n, k) = f(n, k+1) = m_{< 0}(n, k) = m_{> 0}(n, k+1)$$

本文为该定理提供了解析和组合两种证明。组合证明依赖于一条双射链：
$$X_e(n, k) \xrightarrow{\text{Konan 的映射}} (1) \times G_1(n-1, k) \xrightarrow{\text{不动点映射}} F(n, k+1) \xrightarrow{\text{Crank 映射}} M_{< 0}(n, k) \xrightarrow{\text{Crank 映射}} M_{> 0}(n, k+1)$$

作者还讨论了 $k=0$ 的特殊情况，指出了关于分拆 $(1^n)$ 的一个微小例外，并引入了符号 $F^*(n, k+1)$ 来处理这一边界条件。

意义与局限性
本文声称成功地将 crank–mex 定理的精细化扩展到了涉及偶数 mex、不动点和带符号 crank 的互补集合。通过提供解析和组合证明，这项工作为这些分拆统计量提供了更深层的结构理解。

然而，作者对于解决 Andrews 和 Newman 提出的开放问题保持了谦逊的态度。他们明确指出，他们的结果并未为 $x_o(n, k) = m_{\ge 0}(n, k)$ 的精细化提供组合证明。他们识别出两个“难以逾越的障碍”，阻碍了对 Konan 现有双射进行针对该特定情况的精细化处理：

1. 不存在一个在保持大于 1 的部分个数不变的前提下，连接 $X_o(n)$ 与无不动点分拆集 $G(n)$ 的双射，因为这两类集合中 $\beta$ 值的分布有着本质的区别。
2. 即使考虑到 crank 为零的分拆的奇偶性，也不存在一个保持必要统计量不变的 $M_{\le 0}(n, k)$ 与 $M_{\ge 0}(n, k+1)$ 之间的双射。

因此，本文得出结论，若要满足对奇数 mex 精细化问题的组合证明请求，可能需要建立 $X_o(n)$ 与 $M_{\ge 0}(n)$ 之间的直接联系，或者发现全新的等量集合，而非仅仅是对现有双射的扩展。