Sign Laws and Mock Theta Functions

技術要約：符号則とモック・セータ関数

問題設定
本論文は、以下の級数で定義されるラマヌジャンの3次モック・セータ関数 $\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. ワトソンの恒等式による簡約：
   著者らは、$\rho(q)$ を別の3次モック・セータ関数 $\omega(q)$ とエータ商 $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. 円法と1の冪根の解析：
   係数 $r(n)$ は、円 $|q| = e^{-\beta}$ 上のコーシーの積分公式を通じて抽出される。積分は「主要弧（major arcs）」と「副弧（minor arcs）」に分解される。

• $q=1$ における相殺： $T(q)$ と $\omega(q)$ の主要な極項は $q=1$ において同一であり、それらの差において相殺されるため、多項式的に有界な寄与のみが残る。
• $q=-1$ における消失： $q=-1$ における寄与もまた、多項式的に有界であることが示される。
• 3次の冪根における支配性： 最初に出現する生存する指数項は、原始3次の1の冪根（$\zeta = e^{2\pi i/3}$ および $\zeta^2$）から生じる。ゼーガーズの補完（Zwegers completion）と変換則を用いて、著者らはこれらの根の近傍における $\rho(q)$ の有効な漸近評価を導出している。

3. 有効漸近挙動：
   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. 有限な検証：
   漸近的な支配性がまだ証明されていない範囲を扱うために、著者らは整数演算を用いた厳密な計算を行っている。彼らは、解析的な評価によって決定されたクロスオーバーポイントまで $r(n)$ を正確に計算するために、切断多項式環 $\mathbb{Z}[q]/(q^{L+1})$ におけるアルゴリズムを実装している。

主要な結果
本論文は、すべての $n \ge 0$ について符号則を確立する定理 1.1を証明している：

• すべての $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$ の範囲における結果が確認され、特定の零点が特定されるとともに、この有限な範囲において符号の違反が存在しないことが確認された。

意義と主張
本論文は、モック・セータ係数の符号挙動が「1の冪根支配原理（root-of-unity dominance principle）」によって制御され得ることを主張している。$\rho(q)$ の場合、$q=1$ における支配的な極の相殺により、決定要因は3次の冪根へとシフトし、その位相が周期的な符号パターンを規定している。

著者らは、この手法が $\rho(q)$ に限定されたものではないことを示唆している。彼らは、同じ戦略（最初の相殺されない1の冪根の寄与を特定し、残りの弧を制御すること）が他の3次モック・セータ関数にも適用可能であることを示しており、具体的には、ラマヌジャンの関数 $\phi(q)$（周期4）や $\chi(q)$（周期6）における類似の符号則に関する予備的な証拠を挙げ、これらの結果をすべてのラマヌジャンのモック・セータ関数へと拡張するための体系的なプログラムを提案している。本研究は、モック・セータ関数の定性的なモジュラー特性と、その係数の精密な定量的な算術的特性との間の溝を埋めるものである。