Two-color partitions with evens in one color

技术摘要：偶数部分仅出现在一种颜色中的双色分拆

问题陈述
本文研究了受特定奇偶性和颜色约束的双色（红色和蓝色）整数分拆序列。主要研究对象是集合 $F(n)$，定义为整数 $n$ 的双色分拆集合，其中偶数部分被限制为仅出现在蓝色中。作者根据特定类型加项数量的奇偶性，分析了 $F(n)$ 的子序列：

• $F_0(n)$ 和 $F_1(n)$：$F(n)$ 中奇数红色部分数量为偶数或奇数的分拆数量。
• $F_2(n)$ 和 $F_3(n)$：$F(n)$ 中偶数部分总数为偶数或奇数的分拆数量。

此外，本文引入了一个子集 $H(n)$，其中同色部分不重复，并分析了类似的基于奇偶性的子序列（$H_0$ 至 $H_3$）。该研究还将这些序列与过分割（overpartitions）理论和最小排除数（$mex$）联系起来。

方法论
作者采用了基于 $q$-级数理论的解析方法。方法论依赖于：

1. 生成函数：利用标准 $q$-乘积记号（如 $(a; q)_\infty = \prod_{j=0}^\infty (1-aq^j)$）为序列 $F(n)$、$F_i(n)$ 和 $H_i(n)$ 构建生成函数。
2. 代数操作：利用欧拉公式和雅可比三重积恒等式等恒等式来变换和简化这些生成函数。
3. 级数展开：将生成函数表示为无穷级数，以识别系数并建立组合恒等式。
4. 比较分析：将推导出的生成函数与过分割 $p(n)$ 和奇数部分过分割 $po(n)$ 的已知生成函数进行比较，以推导显式公式。

主要贡献与结果

• 生成函数与组合解释（定理 1 与 2）：
  作者建立了 $F_0(n)$ 和 $F_1(n)$ 的闭式生成函数。

  • $\sum F_0(n)q^n$ 被表示为涉及模 16 项的乘积。这导出了推论 1，将 $F_0(n)$ 解释为带可选上划线的 $n$ 的分拆数，其中奇数部分和 $\equiv 0 \pmod{16}$ 的部分被限制为蓝色，而 $\equiv 6, 10 \pmod{16}$ 的部分可以出现在两种颜色中，但遵循特定的上划线规则。
  • $\sum F_1(n)q^n$ 以类似方式推导得出，导出了推论 2，为涉及 $n-1$ 的分拆提供了 $F_1(n)$ 的组合解释，其中部分 $\equiv 2, 14 \pmod{16}$。

• 与过分割的联系（定理 5）：
  本文推导了将双色序列与标准过分割 $p(n)$ 联系起来的显式公式：

  • $F_0(n) = p(n) + \frac{p(n/2)}{2}$
  • $F_1(n) = p(n) - \frac{p(n/2)}{2}$
    这些恒等式表明，序列 $F_0$ 和 $F_1$ 是过分割计数的线性组合。

• 最小排除数恒等式（定理 3 与 4）：
  作者将最小排除数（$mex$）的概念扩展到双色分拆。他们证明了：

  • $F_2(n) = p_{4,2}(n, \text{blue})$
  • $F_3(n) = \overline{p}_{4,2}(n, \text{blue})$
    其中，$p_{4,2}(n, \text{blue})$ 计数满足特定模条件（相对于蓝色部分）的分拆，即最小的缺失部分且该部分 $\equiv 2 \pmod 4$。

• 非重复部分的结果（定理 6）：
  对于子集 $H(n)$（同色部分不重复），作者提供了 $H_0, H_1, H_2, H_3$ 关于 $po(n)$（奇数部分过分割）的公式。这些公式取决于$n$是否为完全平方数，涉及诸如$\frac{po(n)}{2} \pm 1$或$\frac{po(n)}{2} \pm (-1)^n$ 的项。

• 新的 $q$-级数恒等式：
  在结论部分，作者通过分析基于分拆的最大和最小部分的生成函数，推导出了新的 $q$-级数恒等式（公式 5.3 和 5.6）。

意义与主张
本文声称建立了具有特定奇偶约束的双色分拆的新分拆恒等式和生成函数。它强调了这些序列在整数分拆理论中的自然出现，特别是将它们与过分割联系起来。

作者明确指出，他们的主要定理和推论的证明是解析的，依赖于 $q$-级数操作。他们通过提出开放问题 1指出了当前工作的空白：为推论 1–2 和定理 3–4 提供双射证明。此外，他们在第 5 节提出了新的 $q$-级数恒等式，并就这些特定恒等式的解析证明推导提出了开放问题 2。该工作被呈现为对分拆组合理论和 $q$-级数的贡献，并未声称对其他领域有直接应用。