Sign Patterns in a Two Colored Partition Companion series

技術的要約：二色分割随伴級数における符号パターン

問題提起
本論文は、AndrewsとEl Bachraouiによる二色分割級数 $S_1(q)$ およびその関連する「奇数随伴」級数 $T_o(q)$ に関する研究から生じた、相互に関連する二つの問題を調査するものである。$S_1(q)$ は、最小の部分が特定の色の制約を受け、より大きな部分は両方の色またはどちらかの色で現れることができる、異なる部分からなる $n$ の二色分割を数え上げる。AndrewsとEl Bachraouiは、$s_1(n)$ に関する完全な modulo 4 の記述を確立し、エータ正規化された随伴関数 $C(q) = (q;q)_\infty T_o(q)$ を導入したが、その係数 $c(n)$ は複雑な符号パターンを示す。

本研究の主な目的は以下の通りである：

1. $c(n)$ の漸近挙動に関する Andrews–El Bachraoui の符号予想（係数が任意に大きな正の値および負の値をとるかどうか）を解決すること。
2. $s_1(n)$ の modulo 4 に関する合同式の組合せ論的な証明を提供すること（これは元の著作において未解決のまま残されていた問題である）。

手法
著者らは、二つの主要な結果に対して、それぞれ異なる解析的および組合せ論的手法を用いている。

• 符号予想（定理 3）に対して： 著者らは、$c(n)$ の係数を、特定の剰余類制約の下での二次形式 $x^2 + 3y^2 = 4D$ （ここで $D=6n+7$）の表現回数の差として表す、符号付き表現公式を利用する。

  • 著者らは、特定の合同条件（$u_j \equiv 1 \pmod{12}, v_j \equiv 0 \pmod{4}$）および小さな角度制約を満たす $u_j^2 + 3v_j^2$ の形の素数 $p_j$ を選択することによって、整数の列 $n_k$ を構成する。
  • 二次形式 $x^2 + 3y^2$ の乗法恒等式を用いることで、これらの素数を基底解に乗じることで、$2^k$ 個の異なる正の解がすべて「プラス」符号クラス $(1, 3) \pmod{(12, 4)}$ に属することを証明する。
  • 必要な領域内にそのような素数が無限に存在することを保証するために、Grössencharacter に関するヘッケの素数定理を援用する。
  • 負の極限は、既知の関数関係 $c(25n+28) = -c(n)$ を用いて導かれる。

• 組合せ論的証明（定理 4）に対して： 著者らは、符号反転単射を構成することにより、$s_1(n)$ の modulo 4 合同式に対処する。

  • まず、$S_1(q) \equiv F(q) \pmod 4$ であることを確立する。ここで $F(q)$ は三つ組 $(a; \lambda, \mu)$ の符号付き生成関数である。
  • これらの三つ組を、写像 $\Phi$ を用いて異なる部分を持つ分割モデル $\rho$ へ写し、問題を「偶数の最小部分を持つ非負の異なる部分への分割」上の単射を見つける問題へと変換する。
  • 著者らは、ChenとLiuによって構築された、異なる部分の分割に対する明示的な Franklin 型の単射 $\psi$ を利用する。この単射は重みを保存し、符号を反転させ、特定の「固定点」（階段状分割）のみをキャンセルせずに残す。
  • これらの固定点を元の三つ組へと写し戻すことで、生き残った項がちょうど三角数に対応することを示し、それによって合同式を証明する。

主要な貢献および結果

1. 符号予想の解決： 本論文は、Andrews–El Bachraoui の予想の強い形式を証明している。著者らは、すべての整数 $k \geq 0$ に対して、$c(n) = 2^k$ となる $n$ が無限に存在し、かつ $c(n) = -2^k$ となる $n$ も無限に存在することを示す。したがって、以下を確立する：
   $$\limsup_{n \to \infty} c(n) = +\infty \quad \text{および} \quad \liminf_{n \to \infty} c(n) = -\infty.$$
   これにより、エータ正規化された随伴級数の係数が、無限定な振幅で振動することを裏付けている。

2. Modulo 4 合同式の組合せ論的証明： 本論文は、$n = r(r+1)/2$ （三角数）の場合に $s_1(n) \equiv (-1)^r \pmod 4$ であり、それ以外の場合は $0 \pmod 4$ であるという定理に対する、最初の組合せ論的証明（符号付き単射による）を提供している。これは、Andrews と El Bachraoui によって提起された問題 1 に答えるものである。

3. 構造的洞察： 本研究は、部分トーダ関数、符号付き分割恒等式、および Franklin 型のキャンセルとの関係を明確にしている。また、$T_o(q)$ のパリティと、三角数インデックスから離れたときの $S_1(q)$ の modulo 8 の挙動を明示的に結びつけている。

意義および主張
著者らは、本研究を Andrews と El Bachraoui による最近の知見に対する直接的な進展として位置づけている。その意義は以下の点にある：

• 厳密な漸近挙動： $c(n)$ が無限に符号を変えるという観察を超えて、これらの符号の大きさが無限定であることを証明したこと。
• 組合せ論的な説明： $s_1(n)$ の算術的性質、特に modulo 4 の挙動に対して、以前は解析的にのみ証明されていたものを、構成的かつ全単射的な説明を提供したこと。
• 手法の適用： Chen と Liu の Franklin 型の単射の枠組みを二色の分割の文脈に適応させることに成功し、合同式を説明するための符号付き単射の有用性を示したこと。

本論文は、modulo 4 のケースは組合せ論的に解決されたものの、modulo 8 の合同式予想（[3] の Conjecture 2）は組合せ論的な証明については未解決のままであり、modulo 4 の結果を直接説明するランクやクランクの統計量の存在も未解決の問題であると述べて締めくくっている。