On the number of missing integers in partitions

这是一份关于论文《ON THE NUMBER OF MISSING INTEGERS IN PARTITIONS》（论分拆中缺失整数的数量）的详细技术总结。

1. 研究背景与问题定义

背景：
分拆理论（Partition Theory）中，"最小排除数"（Minimal Excludant, 简称 mex）是一个经典统计量，定义为分拆中未出现的最小正整数。近年来，Andrews 和 Newman 等人复兴了这一概念，并将其与分拆的秩（rank）和克拉（crank）等统计量联系起来。

核心问题：
本文并未局限于单个 mex 值，而是将视角扩展到了缺失整数集合（Set of missing integers）的整体研究。

• 定义：对于一个分拆 $\pi$，其“缺失整数”是指那些小于该分拆最大部分但未作为部分出现的正整数。
• 研究目标：
  1. 统计具有特定数量缺失整数的分拆个数。
  2. 研究缺失整数数量的奇偶性分布（即具有偶数个缺失整数的分拆数 $Me(n)$与奇数个缺失整数的分拆数$Mo(n)$ 之间的关系）。
  3. 将研究范围从普通分拆（Unrestricted Partitions）扩展到过拆分（Overpartitions，即每个整数首次出现时可选择是否加横线）。
  4. 探讨缺失整数数量与分拆其他统计量（如最大排除数 maex、第二最小排除数等）的联系。

2. 方法论

本文主要采用**生成函数（Generating Functions）和q-级数（q-series）**恒等式的方法。

• 符号系统：使用标准的 $q$-乘积记号 $(a; q)_n$ 和 $(a; q)_\infty$。
• 核心工具：
  • q-二项式定理 (q-Binomial Theorem)：用于处理包含变量 $w$（用于追踪缺失整数数量）的无穷乘积。
  • 雅可比三重积恒等式 (Jacobi Triple Product Identity)：用于推导模同余性质。
  • 欧拉恒等式：$( -q; q)_\infty = 1/(q; q^2)_\infty$。
• 构造策略：
  • 构建一个三变量生成函数，其中 $q$ 追踪分拆的总和 $n$，$w$ 追踪缺失整数的数量 $m$。
  • 通过引入参数 $j$ 来限制缺失整数的下界（即统计 $\ge j$ 的缺失整数）。
  • 通过对生成函数求导并令 $w=0$ 或 $w=1$，提取特定系数（如 $P(n, 1)$ 或 $Me(n) - Mo(n)$）。

3. 主要贡献与结果

3.1 普通分拆（Unrestricted Partitions）

• 生成函数公式 (Theorem 2.1)：
  作者推导出了具有 $m$ 个缺失整数（且这些整数 $\ge j$）的分拆数的生成函数：
  $$\sum_{n=1}^\infty \sum_{m=0}^\infty P_j(n, m) w^m q^n = \frac{w^{-j}}{( \frac{w-1}{w}; q)_j} \left( \frac{((w-1)q; q)_\infty}{(wq; q)_\infty} - \sum_{\ell=0}^{j-1} \frac{(\frac{w-1}{w}; q)_\ell}{(q; q)_\ell} (wq)^\ell \right)$$
  当 $j=1$ 时，简化为 Corollary 2.2，给出了 $P(n, m)$ 的闭式生成函数。

• 特例与组合解释：

  • $P(n, 0)$：对应无缺失整数的分拆（Gap-free partitions），其生成函数为 $(-q; q)_\infty$。
  • $P(n, 1)$：对应恰好有一个缺失整数的分拆。作者证明其数量等于“恰好有一个部分重复两次，其余部分均只出现一次”的分拆数（OEIS A090858）。这建立了 mex 与 maex（最大排除数）重合的统计量之间的联系。

• 奇偶性偏差与同余 (Theorem 2.6 & Conjecture 2.7)：

  • 定义了 $Me(n)$（偶数个缺失整数）和$Mo(n)$（奇数个缺失整数）。
  • 模 3 同余：证明了 $Me(n) - Mo(n) \pmod 3$ 的值取决于 $n$ 是否为平方数：
    • 若 $n$ 非平方数，差值为 $0 \pmod 3$。
    • 若 $n$ 为奇平方数，差值为 $1 \pmod 3$。
    • 若 $n$ 为偶平方数，差值为 $2 \pmod 3$。
  • 偏差猜想：提出猜想，当 $n > 34$ 时，$Me(n) > Mo(n)$，即具有偶数个缺失整数的分拆总是多于奇数个缺失整数的分拆。

• 广义统计量 (Theorem 2.9)：
  研究了所有分拆中，小于最大部分且重数小于 $k$ 的不同整数的总数 $\nu_{D, <k}(n)$。

  • 恒等式：该总数等于所有分拆中不等于 $k$ 的部分的总数。
  • 当 $k=1$ 时，意味着所有分拆中缺失整数的总数等于所有分拆中不等于 1 的部分的总数。

3.2 过拆分（Overpartitions）

• 生成函数推广 (Theorem 3.1 & Corollary 3.2)：
  将上述结果推广到过拆分。过拆分允许整数首次出现时加横线。

  • 推导了过拆分中缺失整数数量的生成函数，形式与普通分拆类似，但系数涉及 $(-q; q)$ 项。
  • 当 $w=0$ 时，得到无缺失整数的过拆分（Gap-free overpartitions）生成函数为 $(-2q; q)_\infty$，这对应于将整数分拆为不同部分（每个整数最多出现一次，可以是普通或加横线，但不能同时出现）。

• 奇偶性偏差与同余 (Theorem 3.7 & Conjecture 3.6)：

  • 模 4 同余：对于过拆分，$Me(n) - Mo(n) \pmod 4$ 的规律为：
    • 若 $n$ 非平方数，差值为 $0 \pmod 4$。
    • 若 $n$ 为平方数，差值为 $2 \pmod 4$。
  • 偏差猜想：提出猜想，当 $n > 27$ 时，$Me(n) > Mo(n)$。

4. 关键发现与意义

1. 统计量的扩展：将研究从单一的“最小缺失数”（mex）扩展到了“缺失整数集合”的计数，提供了一个更丰富的分拆统计视角。
2. 新的组合恒等式：
   • 建立了缺失整数数量与特定分拆结构（如部分重复模式）之间的双射关系。
   • 证明了缺失整数总数与特定部分（非 1 部分）总数之间的深刻联系（Theorem 2.9）。
3. 奇偶性偏差现象：
   • 发现并量化了缺失整数数量奇偶性的不平衡现象（Bias），类似于 Kim, Kim 和 Lovejoy 发现的奇偶部分数量的偏差。
   • 提供了模 3（普通分拆）和模 4（过拆分）的精确同余公式，揭示了平方数在分拆统计中的特殊地位。
4. OEIS 关联：
   • 生成的序列 $Me(n) - Mo(n)$ 对应 OEIS 中的新条目（A268498 和 A268499），赋予了这些已知数列新的组合解释。

5. 结论与未来方向

论文在结论部分提出了几个开放性问题，指引了未来的研究方向：

• 其他模数的同余：是否存在模 3 和模 4 以外的同余性质？
• 渐近公式：推导 $Me(n) - Mo(n)$ 的渐近公式及 Hardy-Ramanujan-Rademacher 类型的精确公式。
• 双射证明：目前许多结果（如 Theorem 2.9 和 Corollary 2.4）仅通过生成函数证明，寻找组合双射证明（Bijective proofs）是极具价值的方向。
• 过拆分的广义统计：寻找过拆分中关于“重数小于 $k$ 的缺失整数”的类似恒等式。

总结：
这篇文章通过严谨的 q-级数分析，系统地研究了分拆和过拆分中缺失整数的分布规律。它不仅给出了精确的生成函数和同余公式，还揭示了分拆统计量之间意想不到的联系（如缺失整数与部分重复的关系），并提出了关于奇偶性偏差的猜想，为分拆理论的新分支奠定了坚实基础。