Arithmetic Properties of Colored Partitions Restricted by Parity of the Parts

技術要約：パリティによる制限を受けた彩色分割の算術的性質

問題提起
本論文は、整数 $r, s \ge 1$ に対して、偶数の部が $r$ 個の色で、奇数の部が $s$ 個の色で現れることができる、彩色分割（colored partitions）の一般化されたクラスである「パリティによって制限された多重彩色分割」の算術的性質、特に合同式を調査するものである。$a_{r,s}(n)$ をこの数列の分割数とする。その母関数は次のように与えられる：
$$\sum_{n=0}^{\infty} a_{r,s}(n)q^n = \frac{f_2^{s-r}}{f_1^s}$$
ここで $f_m = (q^m; q^m)_\infty$ である。この定義は、$k$ 色の分割 $p_k(n)$、偶数が単色で奇数が $s$ 色の分割 $a_s(n)$、および偶数が $r$ 色で奇数が単色の分割 $a^*_r(n)$ を含む、既知のいくつかの分割関数を一般化したものである。主な目的は、$r$ および $s$ の特定のケースについて既知の結果を拡張し、$a_{r,s}(n)$ の素数に対する無限個の合同式の族を確立することである。

手法
著者らは、関連する先行研究で使用されていたモジュラー形式の理論を避け、初等的な母関数の操作と古典的な $q$ 級数技法を用いる。核心となる手法は以下の通りである：

1. 母関数の解析： ラマヌジャンのテータ関数（$\phi(q), \psi(q)$）および標準的な $q$ 積（$f_m$）を用いて $a_{r,s}(n)$ の母関数を表現する。
2. 分解技法： テータ関数の既知の 3 分解および 2 分解（例：$f_1, f_2, f_3, f_6$ に関する恒等式）を適用し、素数 $p$ を法とする特定の指数を持つ項を孤立させる。
3. 合同式の簡約： 二項定理を用いて、$f_m^{p^k} \equiv f_{mp}^{p^{k-1}} \pmod{p^k}$ という形の合同式を確立し、これにより母関数を素数で簡約することを可能にする。
4. 帰納的伝播： 重要な道具として、基本ケース（例：$a_{r,s}(pn+r) \equiv 0 \pmod p$）から、無限の家族の形 $a_{p(k-j)+(r-1), p^k+(s-1)}(p^k n + r) \equiv 0 \pmod p$ へと合同式を拡張できる補題 2.6 がある。この補題は、$A(n)$ の母関数が指数 $pn+C$に対して合同式を満たすとき、$q$積を$p$乗に持ち上げたことで構成される関連する関数$B(n)$ もまたその合同式を満たすという観察に基づいている。

主要な貢献と結果
本論文は、既知の合同式の初等的な証明を提供し、多数の新しい無限の合同式の族を確立している。

• 既存の結果の再証明： セラーズ（Sellers）らによって確立された 3 および 5 を法とする合同式（定理 1.2 および 1.3、具体的には $a_{1,5}(n)$ のケース）に対し、第 3 節において代替となる初等的な証明を提供する。
• 3 を法とする合同式： 第 4 節では、様々な $r$ と $s$ の組み合わせについて、3 を法とするいくつかの合同式の族を確立する。注目すべき結果は以下の通りである：
  • $a_{3(k-j)+3, 3k+6}(3n+1) \equiv a_{3(k-j)+3, 3k+6}(3n+2) \equiv 0 \pmod 3$。
  • $a_{27(k-j)+2, 27k+4}(27n+9) \equiv a_{27(k-j)+2, 27k+4}(27n+18) \equiv 0 \pmod 3$。
  • 再帰関係：$a_{2,4}(27n) \equiv a_{2,4}(3n) \pmod 3$。
  • 特定の算術級数における $a_{9(k-j)+4, 9k+2}$ および $a_{3(k-j)+5, 3k+1}$ に対する合同式。
• 素数 $p$ を法とする合同式： 第 5 節では、これらの知見を任意の素数 $p \ge 5$（および 1 つのケースでは $p \ge 3$）へと一般化する。定理 1.12 から 1.18 は、二次剰余条件に基づく $a_{r', s'}(pn+r) \equiv 0 \pmod p$ という形の合同式を確立している。
  • これらの合同式の条件は、特定の線形式（例：$8r+1, 4r+1, 3r+1, 12r+1$）が $p$ を法とする二次非剰余であるか、あるいは特定の割り切り条件（例：$p \mid 3r+1$）を満たすかどうかに依存する。
  • これらの結果は、ラマヌジャンのテータ関数の分解特性を利用して、特定のパラメータを持つ母関数が $r \pmod p$ に合同な指数を持つ項を含まないことを示すことで得られる。

意義
本論文は、様々な既知の分割関数を包含する統一的な枠組み（$a_{r,s}(n)$）を導入することで、彩色分割の定義を大幅に拡張したと主張している。その主要な意義は、以前は高度なモジュラー形式の理論を用いて確立されていた合同式に対して、初等的な証明を提供した点にある。$q$ 級数の操作と恒等式のみに依拠することで、著者らはこれらの算術的性質をより親しみやすいものにしている。さらに、本論文はこれらの結果を $k$ と $j$ によってパラメータ化された無限の家族へと統一・一般化し、これらのパリティ制限付き彩色分割の算術的挙動における広範な構造的規則性を実証している。本研究は、より広いクラスの母関数へとそのような性質の既知の領域を拡大することにより、分割合同の研究に貢献している。