Sign Laws and Mock Theta Functions

技术摘要：符号律与模拟西塔函数

问题陈述
本文研究了拉马努金（Ramanujan）三阶模拟西塔函数 $\rho(q)$ 的系数 $r(n)$ 的符号行为。该函数定义为级数：
$$\rho(q) = \sum_{m \ge 0} \frac{q^{2m(m+1)}}{(1 + q + q^2)(1 + q^3 + q^6) \cdots (1 + q^{2m+1} + q^{4m+2})} = \sum_{n \ge 0} r(n)q^n.$$
对初始系数的经验观察揭示了一个显著的模 3 周期符号模式：$r(3m) > 0$，而 $r(3m+1) \le 0$ 且 $r(3m+2) \le 0$。在非正剩余类中的零点仅出现在特定的较小整数处（$n = 2, 4, 8, 11, 20$）。主要目标是严格证明该“符号律”对所有 $n \ge 0$ 均成立，并确定 $r(n) = 0$ 的精确索引集合。

方法论
证明结合了解析数论（特别是针对模拟西塔函数的圆法改进版）与精确整数算术。

1. 通过 Watson 恒等式进行约简：
   作者利用 Watson 恒等式将 $\rho(q)$ 与另一个三阶模拟西塔函数 $\omega(q)$ 及一个 eta 乘积 $T(q)$ 联系起来：
   $$2\rho(q) + \omega(q) = T(q), \quad \text{其中 } T(q) = 3 \frac{(q^6; q^6)_\infty^4}{(q^3; q^3)_\infty^2 (q^2; q^2)_\infty}.$$
   这使得问题转化为分析差值 $T(q) - \omega(q)$。$T(q)$ 的系数是模形式，而 $\omega(q)$ 是一个模拟西塔函数。

2. 圆法与单位根分析：
   通过在圆 $|q| = e^{-\beta}$ 上的 Cauchy 积分提取系数 $r(n)$。积分被分解为“主弧”（major arcs，靠近单位根处）和“次弧”（minor arcs）。

   • $q=1$ 处的抵消： $T(q)$ 和 $\omega(q)$ 在 $q=1$ 处的领先极项是相同的，它们在差值中相互抵消，从而留下一个多项式有界的贡献。
   • $q=-1$ 处的消失： 在 $q=-1$ 处的贡献也被证明是多项式有界的。
   • 三次根处的占优： 第一个存活的指数项产生于原始三次单位根（$\zeta = e^{2\pi i/3}$ 和 $\zeta^2$）。利用 Zwegers 完成（Zwegers completion）和变换法则，作者推导出了 $\rho(q)$ 在这些根附近的有效渐近估计。

3. 有效渐近性：
   来自三次弧的贡献产生一个形式为如下的主项：
   $$\kappa_{n \pmod 3} \frac{2\pi}{d_n^{1/4}} I_{1/2}(x),$$
   其中 $d_n = 12n+8$，$x = \pi\sqrt{d_n}/18$，且常数 \kappa_0, \kappa_1, \kappa__2 是由涉及 $\pi/18$ 的三角函数值导出的。具体而言：

   • $\kappa_0 = \frac{1}{3}\cos(\frac{\pi}{18}) > 0$
   • $\kappa_1 = -\frac{1}{3}\sin(\frac{2\pi}{9}) < 0$
   • $\kappa_2 = -\frac{1}{3}\sin(\frac{\pi}{9}) < 0$

   作者为次弧以及非占优的主弧部分建立了显式的误差界。他们证明了对于足够大的 $n$，主项会支配误差项，从而确定 $r(n)$ 的符号。

4. 有限验证：
   为了处理渐近占优性尚未被证明的 $n$ 范围，作者使用精确整数算术进行了精确计算。他们在截断多项式环 $\mathbb{Z}[q]/(q^{L+1})$ 中实现了一种算法，用以计算直到交叉点（由解析估计确定）为止的 $r(n)$ 的精确值。

关键结果
论文证明了定理 1.1，该定理确立了对所有 $n \ge 0$ 的符号律：

• 对于所有 $m \ge 0$，$r(3m) > 0$。
• 对于所有 $m \ge 0$，$r(3m+1) \le 0$ 且 $r(3m+2) \le 0$。
• 等式（$r(n)=0$）恰好发生在 $n \in \{2, 4, 8, 11, 20\}$。

解析部分保证了对于 $n \ge 392,275$ 的符号律；精确整数验证确认了 $0 \le n < 392,275$ 范围内的结果，识别了特定的零点，并确认在该有限范围内不存在符号违规。

意义与主张
本文声称，模拟西塔函数的系数符号行为可以由“单位根占优原理”来控制。在 $\rho(q)$ 的案例中，$q=1$ 处主极点的抵消将决定因素转移到了三次单位根，其相位决定了周期的符号模式。

作者指出这种方法论并非仅限于 $\rho(q)$。他们表明，同样的策略——即识别第一个不抵消的单位根贡献并控制剩余的弧——应该也适用于其他三阶模拟西塔函数。具体而言，他们引用了关于拉马努金函数 $\phi(q)$（周期 4）和 $\chi(q)$（周期 6）具有类似符号律的初步证据，并提出了一个将这些结果推广到所有拉马努金模拟西塔函数的系统性计划。这项工作弥合了模拟西塔函数的定性模性质与其系数的精确定量算术性质之间的鸿沟。