On a conjecture of Andrews and almost alternating sign patterns

技術要約：アンドリューズの予想とほぼ交互の符号パターンについて

問題提起
本論文は、ラマヌジャンによる「失われたノートブック」に見られる特定の $q$ 級数において、ジョージ・アンドリューズが観察した符号現象を取り扱う。古典的な分割理論に基づく $q$ 級数は、通常、係数が単調に増加するか、あるいは有界である。しかし、アンドリューズは、通常の挙果とは異なる挙動を示す5つの級数（$\sigma(q), v_1(q), v_2(q), v_3(q), v_4(q)$）を特定した。具体的には、$v_2(q), v_3(q), v_4(q)$ について、数値的証拠は、その係数が「極めて高い符号の規則性」を示し、ごく稀な例外を除いて符号が交互に入れ替わることを示唆していた。本論文の目的は、これら3つの級数に関するアンドリューズの予想を証明し、この現象を説明する一般的な枠組みを確立することである。

手法
著者らは、非モジュラー $q$ 級数に適した手法である、ライトの円法（Wright's Circle Method）の適応版を用いる。手法は以下の3つの主要段階で進行する：

1. 1のべき根付近における漸近挙動： 著者らは、生成関数 $v_j(q)$ が1のべき根に接近する際の挙動を分析する。$v_2$ と $v_4$ を包含するために、一般化された $q$ 超幾何形式 $V_{r,b}(q)$ を利用する。ワトソンの積分路（Watson's contour integral）を用いた複素積分（特にサドルポイント法）を用いることで、$q \to \zeta e^{-z}$（ここで $\zeta$ は1のべき根）において、これらの関数の精密な漸近展開を導出する。

   • 階数が $m \not\equiv 2 \pmod 4$ の1のべき根に対して、関数は有界である。
   • 階数が $m \equiv 2 \pmod 4$ の場合（特に支配的な極である $-1$に対して）、関数は指数関数的な成長と、ブロッホ・ウィグナーのディログ関数$D(e^{i\theta})$ を含む振動項を伴って増大する。

2. 係数の抽出： 支配的な極の近くでの生成関数の漸近挙動を用いて、円法を適用し、係数 $V_j(n)$ の漸近的挙動を抽出する。これには、積分路を主要弧（major arc、支配的な極の周囲）と副弧（minor arcs）に分解するプロセスが含まれる。主要弧の寄与が支配的な項を与え、副弧の寄与はより小さい誤差項となることが示される。

3. 符号パターンの分析： 指数関数的な成長因子、パリティに依存する符号因子 $(-1)^n$、および振動的な余弦項によって特徴付けられる特定の漸近形式を満たす任意の整数列は、必然的に「ほぼ交互の符号パターン」を示すという一般定理（定理6.4）を確立する。著者らは、不一致理論（特に数列 $\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$ において、$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$ はブロッホ・ウィグナーのディログ関数を含み、$\alpha_j, \delta_j$ は明示的な定数である。この公式は、符号を支配する指数関数的成長と振動挙動の相互作用を明示的に明らかにしている。

• 組合せ論的解釈： 著者らは、$V_2(n), V_3(n), V_4(n)$ の係数に関する分割およびオーバーパーティション（overpartition）を用いた新しい組合せ論的解釈を提供する。特に、$V_4(n)$ の解釈については、アンドリューズの元の定式化で欠落していた「最大部分の 4 を法とする合同条件」を加えることで、修正および精緻化を行っている。

• 一般化： 結果は、$q$ 超幾何級数の無限族 $V_{r,b}(q)$ および線形結合 $U_{2,b}(q)$ へと拡張される。本論文は、この符号現象が孤立した珍しい現象ではなく、1のべき根付近におけるこれらの級数の振動的な漸近挙動から体系的に生じるものであることを示している。

• 新しい族と数値的観察： 著者らは新しい級数の族 $v_{\{k\}}(q)$ を導入し、その係数が長さ $k$ の一般化された符号パターンを示すことを示唆する数値的証拠を提示する。これは証明されていないものの、この現象が広く存在することを示唆している。

意義
本論文は、ラマヌジャンの「失われたノートブック」に由来する特定の $q$ 級数の符号の規則性に関する、アンドリューズの長年の予想を解決する。これらの級数を（ブロッホ・ウィグナーのディログ関数を介して）二次体の算術や自明な対象へと結びつけることで、本研究は、$q$ 超幾何級数、分割、およびモジュラー形式を繋ぐより広い理論的枠組みの中に、これらの例を位置づけている。「ほぼ交互」の符号パターンを証明するための、漸近的振動に基づく一般的な枠組みの開発は、非モジュラー $q$ 級数の係数を分析するための新しいツールを提供する。著者らは、$v_1(q)$ に関する結果は既に Folsom, Males, Rolen, Storzer によって確立されているが、本論文は残りの級数に対処し、より広範な関数に対する統一的なアプローチを提供していると述べている。