Sign law for Ramanujan's third order mock theta function $\rho(q)$

技术摘要：拉马努金三阶模拟 $\theta$ 函数 $\rho(q)$ 的符号律

问题陈述
本文研究了拉马努金三阶模拟 $\theta$ 函数 $\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.$$
对初始系数的数值计算揭示了依赖于 $n \pmod 3$ 的严格符号模式：

• $r(3n) > 0$
• $r(3n+1) \le 0$
• $r(3n+2) \le 0$

虽然负余数类中的早期项偶尔会消失（具体为 $r(2), r(4), r(8), r(11), r(20) = 0$），但尚未观察到具有“错误”符号的项。本文旨在证明该符号律的渐近有效性。

方法论
证明依赖于圆法（circle method）和模拟 $\theta$ 系数的渐近分析，具体利用以下步骤：

1. Watson 恒等式： 作者利用了 Watson 关于 $\rho(q)$ 与另一个模拟 $\theta$ 函数 $\omega(q)$ 以及一个 $\theta$-$\eta$ 乘积 $T(q)$ 相关的经典恒等式：
   $$2\rho(q) + \omega(q) = T(q).$$
   用系数表示，这给出了关系式 $2r(n) = t(n) - w(n)$，其中 $t(n)$ 和 $w(n)$ 分别是 $T(q)$ 和 $\omega(q)$ 的系数。

2. Rademacher 型展开：

   • 对于 $\omega(q)$： 作者利用了已有的关于 $\omega(q)$ 的 Rademacher 型展开（基于 Garthwaite 以及 Andersen–Anderson 的工作）。他们显式地计算了前三个 Kloosterman 和（$c=1, 2, 3$）以确定领先渐近项。
   • 对于 $T(q)$： 函数 $T(q)$ 被表示为一个 $\theta$-$\eta$ 商：$T(q) = 3 \psi(q^3)^2 / (q^2; q^2)_\infty$。作者推导出了这个 $\eta$-商的一个新的 Rademacher 型展开。这涉及计算 $T(q)$ 在单位根（$q=1, -1, \zeta, \zeta^2$）附近的局部渐近行为，以确定相应的乘子系统和 Bessel 系数。

3. 抵消与比较：
   通过将展开式代入 $2r(n) = t(n) - w(n)$，作者观察到领先项（对应 $c=1$）恰好抵消。$c=2$ 的项对于两个函数均消失。因此，$r(n)$ 的渐近行为由 $c=3$ 的项支配。

4. 符号判定：
   作者计算了来自 $t(n)$ 和 $w(n)$ 的 $c=3$ 项的具体常数。他们证明了 $r(n)$ 的系数正比于一个常数 $\kappa_{n \pmod 3}$ 乘以一个修正后的 Bessel 函数 $I_{1/2}$。由于对于 $x > 0$，有 $I_{1/2}(x) > 0$，因此 $r(n)$ 的符号在 $n$ 很大时完全由 $\kappa_{n \pmod 3}$ 的符号决定。

主要结果
本文建立了 $r(n)$ 当 $n \to \infty$ 时的渐近公式：
$$r(n) \sim \kappa_{n \pmod 3} \frac{2\pi}{(12n+8)^{1/4}} I_{1/2}\left( \frac{\pi\sqrt{12n+8}}{18} \right),$$
其中常数为：

• $\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$

定理 1.2 指出，对于所有充分大的 $n$：

• $r(3n) > 0$
• $r(3n+1) < 0$
• $r(3n+2) < 0$

该近似的误差项被证明比主项呈指数级更小（$O(e^{\pi\sqrt{12n+8}/24})$ 对比主项增长 $e^{\pi\sqrt{12n+8}/18}$），从而确保了符号最终会被固定。

意义与主张
本文声称提供了第一个关于 $\rho(q)$ 系数渐近符号律的证明。这项工作置于理解模拟 $\theta$ 函数算术性质的更广泛背景之下，扩展了 Dragonette、Andrews、Bringmann 和 Ono 的思想圈。

作者明确指出，其证明涵盖了系数的“最终”行为。他们并未声称确定了符号律对所有 $n$ 成立的精确有限截断点，尽管实验数据表明对于 $n \ge 21$ 严格不等式成立（包括在负余数类中注明的零项）。论文最后推测，类似的符号律可能也存在于其他三阶模拟 $\theta$ 函数（特别是 $\phi(q)$ 和 $\chi(q)$）中，但在本研究中并未对此进行证明。