On a conjecture of Andrews and almost alternating sign patterns

技术摘要：关于 Andrews 的猜想与几乎交替的符号模式

问题陈述
本文研究了乔治·安德鲁斯（George Andrews）在拉马努金《遗失笔记》（Ramanujan's Lost Notebook）中特定 $q$-级数里观察到的一种符号现象。经典的组合分区 $q$-级数系数通常表现为单调增长或保持有界，但安德鲁斯识别出了五个具有异常行为的级数（$\sigma(q), v_1(q), v_2(q), v_3(q), v_4(q)$）。具体而言，对于 $v_2(q), v_3(q)$ 和 $v_4(q)$，数值证据表明其系数表现出“极佳的符号正则性”，即表现为交替符号，仅存在极少数例外。本文旨在证明关于这三个级数的安德鲁斯猜想，并建立一个解释这一现象的通用框架。

方法论
作者采用了经过改进的赖特圆法（Wright's Circle Method），这是一种适用于非模 $q$-级数的技术。该方法分为三个主要阶段进行：

1. 单位根附近的渐近分析： 作者分析了生成函数 $v_j(q)$ 在 $q$ 趋向于单位根时的行为。他们利用广义 $q$-超几何形式 $V_{r,b}(q)$ 来涵盖 $v_2$ 和 $v_4$。通过采用（特别是 Watson 的）轮廓积分和鞍点法，他们推导出了这些函数在 $q \to \zeta e^{-z}$（其中 $\zeta$ 为单位根）时精确的渐近展开式。

   • 对于阶数 $m \not\equiv 2 \pmod 4$ 的单位根，函数保持有界。
   • 对于阶数 $m \equiv 2 \pmod 4$ 的情况（特别是主极点 $-1$），函数表现出指数级增长，并伴随着涉及 Bloch–Wigner 稀疏函数 $D(e^{i\theta})$ 的振荡项。

2. 系数提取： 利用从生成函数在主极点附近导出的渐近性质，作者应用圆法来提取系数 $V_j(n)$ 的渐近行为。这涉及将轮廓积分分解为围绕主极点的极大弧（major arc）和极小弧（minor arcs）。极大弧贡献了主项，而极小弧被证明仅贡献一个较小的误差项。

3. 符号模式分析： 作者建立了一个通用定理（定理 6.4），证明任何满足特定渐近形式（其特征为指数增长因子、依赖奇偶性的符号因子 $(-1)^n$ 以及振荡余弦项）的整数序列，必然表现出“几乎交替的符号模式”。他们利用差异理论（特别是关于序列如 $\sqrt{n} \pmod 1$ 分布的界限）来证明振荡项的零点出现的密度为零，从而确保了对于几乎所有的 $n$，符号交替均成立。

核心贡献与结果

• 证明了安德鲁斯的猜想： 本文对 $v_2(q), v_3(q)$ 和 $v_4(q)$ 的符号行为提供了严格证明。

  • 定理 A： 证实了序列 $V_2(n), V_3(n)$ 和 $V_4(n)$ 满足几乎交替的符号模式。具体而言，$|V_j(n)| \to \infty$ 当 $n \to \infty$ 时在密度为零的集合之外成立；且对于几乎所有的 $n$，$V_j(n)$ 与 $V_j(n+1)$ 符号相反。
  • 定理 B： 提供了精确的渐近公式。对于 $j \in \{2, 3, 4\}$，系数的行为如下：
    $$V_j(n) \sim (-1)^n \alpha_j \frac{e^{2\sqrt{n}\text{Re}(\sqrt{W_j})}}{\sqrt{n}} \cos\left(2\sqrt{n}\text{Im}(\sqrt{W_j}) - \delta_j\right)$$
    其中 $W_j$ 涉及 Bloch–Wigner 稀疏函数，$\alpha_j, \delta_j$ 是显式常数。该公式清晰地揭示了控制符号变化的指数增长与振荡行为之间的相互作用。

• 组合解释： 作者为系数 $V_2(n), V_3(n)$ 和 $V_4(n)$ 提供了关于分区（partitions）和重分区（overpartitions）的新组合解释。值得注意的是，他们修正并完善了对 $V_4(n)$ 的解释，增加了一个关于最大部分模 4 同余的条件，这在安德鲁斯最初的表述中是缺失的。

• 推广： 研究结果被推广到形式为 $V_{r,b}(q)$ 的无穷 $q$-超几何级数族以及线性组合 $U_{2,b}(q)$。论文表明，这种符号现象并非孤立的奇特现象，而是系统性地源于这些级数在单位根附近的振荡渐近特性。

• 新族系与数值观察： 作者引入了一个新的级数族 $v_{\{k\}}(q)$，并展示了数值证据，表明其系数表现出长度为 $k$ 的广义符号模式。虽然尚未得到证明，但这表明该现象具有普遍性。

意义
本文解决了关于拉马努金《遗失笔记》中特定 $q$-级数符号正则性的长期存在的安德鲁斯猜想。通过将这些级数与二次域的算术（通过 Bloch–Wigner 稀殊函数）及自守对象联系起来，这项工作将这些实例置于一个更广泛的理论框架内，该框架连接了 $q$-超几何级数、分区理论与模形式。基于渐近振荡来证明“几乎交替”符号模式的通用框架的开发，为分析非模 $q$-级数的系数提供了一种新工具。作者指出，虽然 $v_1(q)$ 的结果此前已由 Folsom, Males, Rolen 和 Storzer 确立，但本文解决了剩余的级数问题，并为一类更广泛的函数提供了统一的处理方法。