Weighted partitions with interval restrictions: exact formulas and a bivariate master identity

技术摘要：具有区间限制的加权分拆：精确公式与二元主恒等式

问题陈述
本文解决了 Andrews 和 El Bachraoui 在之前的研究 [3] 中提出的关于符号分拆函数 $a''_2(n)$ 和 $b''_2(n)$ 的两个猜想。这些函数计算整数 $n$ 的分拆，其部分受到特定区间限制，并由 $(-1)^{j+1}$ 进行加权，其中 $j$ 是大于 1 的部分的个数。

• $a''_2(n)$： 计算具有 $l-1$ 个 1、最小偶数部分为 $2k$、大于 1 的部分在 $[2k, 2l-2]$ 之间且奇数部分大于 1 且互不相同的划分。
• $b''_2(n)$： 与 $a''_2(n)$ 类似，但区间扩大为 $[2k, 2l-1]$。

这些猜想认为：

1. $a''_2(n)$ 的生成函数具有涉及周期性符号的“三角形假索（triangular false theta）”描述。
2. $b''_2(n)$ 的系数严格限定在集合 $\{-1, 0, 1, 2\}$ 中。

方法论
作者采用结合解析技术和组合双射的对偶方法来证明这些猜想。

1. 二元泛化： 核心方法论创新是引入辅助变量 $z$，用于追踪大于 1 的非强制性部分的数量。这导致了二元生成函数 $A(z, q)$ 和 $B(z, q)$ 的定义。原始符号函数通过特化 $z = -1$ 来恢复。
2. 解析证明： 作者利用涉及基本超几何级数的恒等式（特别是 Andrews, Subbarao 和 Vidyasagar 的恒等式 [4]）以及 Rogers–Fine 恒等式，推导出了 $A(z, q)$ 和 $B(z, q)$ 的闭合形式。这些推导建立了联系 $A(z, q)$ 与 $B(z, q)$ 的“主恒等式（Master Identity）”。
3. 组合证明： 本文提供了生成函数恒等式的双射证明。
   • 对于单个函数，双射将分拆对映射到相应的生成级数。
   • 对于主恒等式，作者在增广分拆对象上构造了一个符号反转对合（sign-reversing involution）。该对合将来自 $A$ 和 $B$ 族的多数项进行配对，留下一个特定的“边界族”作为未配对的对象，这恰好对应于恒等式中的修正项。
4. 特化与求值： 通过在主恒等式中令 $z = -1$ 并应用 Rogers–Fine 恒等式，作者显式地求值了假索级数。此外，还提供了一个使用 Heine 变换的直接证明，以独立于主恒等式的方式验证 $a''_2(n)$ 的假索公式。

主要贡献与结果

• 主恒等式： 本文确立了基本关系式：
  $$(1 + q^2)B(z, q) - (1 + q)A(z, q) = -\frac{q^4}{1 - q^3}$$
  该恒等式统一了两个分拆族的研究，并控制了它们的普通、符号及固定细分生成函数。

• 猜想 1 的证明（假索公式）： 作者证明了 $a''_2(n)$ 的生成函数为：
  $$\sum_{n \ge 0} a''_2(n)q^n = \frac{q}{1-q^2} + \frac{1}{1+q} \sum_{n \ge 0} \chi(n)q^{\binom{n+1}{2}+1}$$
  其中 $\chi(n)$ 是一个周期性符号函数。这证实了“三角形假索”结构，并提供了一个决定 $a''_2(n)$ 的简单奇偶规则。

• 猜想 2 的证明（系数范围）： 本文推导出了 $b''_2(n)$ 的显式生成函数：
  $$\sum_{n \ge 0} b''_2(n)q^n = \frac{q + q^2 + q^3 - q^4}{(1-q)(1+q^2)(1+q+q^2)} + \frac{q}{1+q^2} \sum_{n \ge 0} \chi(n)q^{\binom{n+1}{2}}$$
  通过分析有理部分和假索贡献，作者证明了对于所有 $n$，$b''_2(n) \in \{-1, 0, 1, 2\}$，从而证实了该猜想。此外，他们还基于 12 周期函数和三角形区间提供了 $b''_2(n)$ 的精确系数公式。

• 精细恒等式： 主恒等式对于普通生成函数（令 $z=1$）和固定细分生成函数（$z^r$ 的系数）具有直接的推论，建立了两个分拆族精细计数之间的线性关系。

• 量子模形式解释： 为 $a''_2(n)$ 推导出的假索级数被鉴定为权重为 $1/2$ 的强量子模形式。本文将该级数与具有周期系数的部分索函数（partial theta functions）联系起来，并描述了其通过与一元索函数相关的 Eichler 积分所表现出的模阻碍。

意义
本文声称，其主要意义在于证明了符号分拆函数 $a''_2(n)$ 和 $b''_2(n)$ 的刚性（rigidity），而这在之前仅通过计算观察到。引入二元变量 $z$ 揭示了这些看似不同的猜想实际上是一个单一结构性恒等式的后果。这项工作提供了系数的完整描述，超越了范围断言，达到了精确公式的水平。此外，本文强调了这些分拆恒等式与量子模形式理论之间的联系，为假索级数如何从组合分拆问题中产生提供了一个具体的例子。解析证明与组合证明的结合确保了结果的稳健性，并提供了对底层双射结构的洞察。