Vanishing Coefficients in Products of Quintuple Products

技術要約：二重五重積における係数の消失

問題提起
本論文は、無限 $q$-積の級数展開における係数の消失現象を調査するものであり、特に二つの五重積（Quintuple Product）の積に焦点を当てている。本研究は、Richmond、Szekeres、Andrews、Bressoudらによる先行研究を拡張するものである。彼らは、特定の $q$-級数展開の係数がゼロになる素数における算術級列を特定してきた。著者らは、係数が恒等的にゼロとなる $Q(q^{bm}, q^p)Q(q^{bn}, q^p)$ の明示的な算術級列を、素数 $p \equiv 1 \pmod 4$ に対して導出することを目的としている。ここで、$p = m^2 + n^2$ であり、$b$ は正の整数、$Q(z, q)$ は五重積を表す。

手法
著者らは、以前の $p$-分割（$p$-dissection）や $(1; q^{p^2})_\infty$ の形の無限積の出現に依存した手法とは根本的に異なる手法を用いている。本論文では、**整数格子上の対合変換（involutive transformations on integer lattices）**を利用している。

核心となる戦略は以下の通りである：

1. 定式化： ヤコビ三重積恒等式を用いて、$Q(q^{bm}, q^p)Q(q^{bn}, q^p)$（非消滅因子 $(q^{2p}; q^{2p})_\infty^2$ を乗じたもの）を整数 $r, s, u, v$ に関する四重和として表現する。
2. 制限： 指数の $q$ の項が $b\tau \pmod p$ の特定の値に合同である項に限定する。ここで $\tau$ は、係数が消失すると仮定される算術級列に対応する。
3. 対合の構成： 整数格子 $\mathbb{Z}^4$ 上の写像 $x \mapsto x' = Ax + b$ （ここで $x = (r, s, u, v)$）を定義する。著者らは、以下の条件を満たす行列 $A$ およびベクトル $b$ を探索する：
   • 写像が対合であること（$A^2 = I$ かつ $(A+I)b = 0$）。
   • 指数関数 $g(x)$ が写像の下で不変であること（$g(x') = g(x)$）。
   • 符号関数 $f(x)$ がパリティを反転させること（$f(x') \equiv f(x) + 1 \pmod 2$）。
4. 数値的探索： $A$ および $b$ の具体的な形式は、様々な素数に対する Mathematica や PARI/GP を用いた広範なコンピュータ代数実験を通じて最初に発見された。著者らは、$g(x') - g(x) = 0$ という条件から導かれる二次方程式の系を解くことでパターンを特定し、それらを一般化して解析的に検証した。

主要な貢献と結果
主要な貢献は、数列 $\{a_t\}$（$\sum_{t=0}^\infty a_t q^t = Q(q^{bm}, q^p)Q(q^{bn}, q^p)$ で定義される）において、係数が消失する算術級列を明示的に決定する定理 3 である。
$w \equiv \overline{2}(m+n) \pmod p$ とする。消失条件は $p \pmod{12}$ に依存する：

• ケース 1 ($p \equiv 1 \pmod{12}$):
  係数は、以下の級列の指数 $t$ において消失する：
  $$a_{pt + wb} = 0 \quad \text{および} \quad a_{pt + (w-3b)b} = 0$$
  （注：論文の表記では $apt+wb$を$a_{pt+wb}$ としている）。

• ケース 2 ($p \equiv 5 \pmod{12}$):
  係数は、以下の級列の指数 $t$ において消失する：
  $$a_{pt + (1-3b\overline{m})wb} = 0 \quad \text{および} \quad a_{pt + (1-3b\overline{n})wb} = 0$$

証明は、行列 $A$ とベクトル $b$ を4つの異なるサブケース（$m, n$ の 3 による可除性と $p \pmod{12}$ の値に基づく）に対して明示的に構成し、それらが要求される対合の性質を満たすことを検証することによって完了される。

さらに、本論文は、この積を $(q^p; q^p)_\infty^2$ で割ったものへと結果を拡張する系 1 を提示している。この修正は重要であり、これは消失する係数を分割関数に関連付けるものである。他の級列における非消滅係数は、最終的に一定の符号を維持することが知られている。

意義と主張
著者らは、自らの結果が、これらの特定の積における係数の消失に関する新しい構成的な証明を提供していると主張しており、これは $p$-分割に依存する従来の手法とは異なるものである。本論文は、二つの五重積の積の展開における対称性から、消失が生じていることを強調している。

著者らは、二つの超疎（superlacular）な級数（Ono および Robins による定義）の積は疎（lacunary）である（多くのゼロ係数を持つ）ものの、自らの研究は、それらのゼロが系統的に発生する特定の算術級列を特定していると述べている。彼らは、自らの知見が、厳密な代数的検証を伴うコンピュータ支援による実験から導かれたものであることを謙虚に述べている。

結言において、著者らは、三つまたは四つの五重積の積においても同様の消失現象が存在する可能性を示唆し、予備的な実験データ（例：$p=31$ および $p=41$）を引用しているが、これらのケースは本稿の範囲ではなく、後続の論文で検討されるべきものであると明記している。