Vanishing Coefficients in Products of Quintuple Products

技术摘要：五重积乘积中消失的系数

问题陈述
本文研究了无穷 $q$-乘积级数展开式中系数消失的现象，特别关注由两个五重积（Quintuple Product）实例构成的乘积。这项研究扩展了 Richmond、Szekeres、Andrews 和 Bressoud 等人的前人工作，他们识别了在特定素数模下的算术级数，其中特定 $q$-级数展开式的系数为零。作者旨在推导出对于 $p \equiv 1 \pmod 4$ 的素数 $p$，在 $Q(q^{bm}, q^p)Q(q^{bn}, q^p)$ 的系数恒为零的显式算术级数。此处，$p = m^2 + n^2$，$b$ 为正整数，$Q(z, q)$ 表示五重积。

方法论
作者采用了一种与以往研究截然不同的方法，以往的研究依赖于 $p$-分解以及形式为 $(1; q^{p^2})_\infty$ 的无穷乘积的出现。本文利用了整数格点上的对合变换（involutive transformations on integer lattices）。

核心策略包括：

1. 公式化： 利用 Jacobi 三重积恒等式，将乘积 $Q(q^{bm}, q^p)Q(q^{bn}, q^p)$（乘以一个非零因子 $(q^{2p}; q^{2p})_\infty^2$）表示为关于整数 $r, s, u, v$ 的四重求和。
2. 限制： 将求和限制在 $q$ 的指数模 $p$ 同余于特定值 $b\tau$ 的项上，其中 $\tau$ 对应于假设系数消失的算术级数。
3. 对合构造： 定义整数格点 $\mathbb{Z}^4$ 上的映射 $x \mapsto x' = Ax + b$（其中 $x = (r, s, u, v)$）。作者寻求一个矩阵 $A$ 和向量 $b$，使得：
   • 该映射是一个对合（$A^2 = I$ 且 $(A+I)b = 0$）。
   • 指数函数 $g(x)$ 在映射下是不变的（$g(x') = g(x)$）。
   • 符号函数 $f(x)$ 改变奇偶性（$f(x') \equiv f(x) + 1 \pmod 2$）。
4. 数值探索： 矩阵 $A$ 和向量 $b$ 的具体形式最初是通过在各种素数上进行广泛的计算机代数实验（使用 Mathematica 和 PARI/GP）发现的。作者通过求解由条件 $g(x') - g(x) = 0$ 导出的二次方程组来识别模式，随后将这些模式进行了推广和解析验证。

主要贡献与结果
本文的主要贡献是定理 3，它明确确定了序列 $\{a_t\}$ 中系数消失的算术级数，其中该序列定义为：
$$\sum_{t=0}^\infty a_t q^t = Q(q^{bm}, q^p)Q(q^{bn}, q^p)$$
设 $w \equiv \overline{2}(m+n) \pmod p$。消失条件取决于 $p \pmod{12}$：

• 情况 1 ($p \equiv 1 \pmod{12}$):
  系数在以下级数中的索引 $t$ 处消失：
  $$a_{pt + wb} = 0 \quad \text{且} \quad a_{pt + (w-3b)b} = 0$$
  （注：论文符号使用 $apt+wb$来表示$a_{pt+wb}$）。

• 情况 2 ($p \equiv 5 \pmod{12}$):
  系数在以下级数中的索引 $t$ 处消失：
  $$a_{pt + (1-3b\overline{m})wb} = 0 \quad \text{且} \quad a_{pt + (1-3b\overline{n})wb} = 0$$

证明过程通过显式构造四个不同子情况（基于 $m, n$ 对 3 的整除性以及 $p \pmod{12}$ 的值）的矩阵 $A$ 和向量 $b$，并验证它们满足所需的对合属性来完成。

此外，本文提出了推论 1，将这些消失结果扩展到除以 $(q^p; q^p)_\infty^2$ 后的乘积。这种修改之所以重要，是因为它将消失的系数与分拆函数联系起来，而在其他级数中，非零系数最终会保持恒定的符号。

意义与主张
作者声称，其结果为这些特定乘积中系数的消失提供了一种新的、构造性的证明，这与以往依赖 $p$-分解的方法不同。论文强调，这种消失源于两个五重积乘积展开式中的对称性。

作者指出，虽然两个超稀疏级数（如 Ono 和 Robins 所定义）的乘积是稀疏的（即具有许多零系数），但其工作识别了这些零出现的特定算术级数。

作者谦虚地表示，其发现是基于计算机辅助实验并经过严格代数验证的结果。

在结论部分，作者暗示三个和四个五重积的乘积可能也存在类似的消失现象，并引用了初步的实验数据（例如对于 $p=31$ 和 $p=41$），但明确指出这些情况将在随后的论文中进行研究，不属于本文的研究范围。