On the arithmetic properties of partitions into parts simultaneously $4$-regular and $9$-distinct

技術的要約：同時 4-regular かつ 9-distinct である分割の算術的性質

問題提起
本論文は、整数 $n$ の分割のうち、部分が同時に $\ell$-regular（部分が $\ell$ で割り切れない）かつ $t$-distinct（各部分の出現回数が $t$ 未満）である分割の数を数える分割関数 $RD(\ell, t)(n)$ の算術的性質を調査するものである。著者らおよび他の研究者による先行研究では、様々な $(\ell, t)$ のペアが調査されてきたが、本研究では特に $(\ell, t) = (4, 9)$ のケースに焦点を当てている。関数 $RD(4, 9)(n)$は、数列 A187020（1項シフトしたもの）に対応する。本研究の主な目的は、$RD(4, 9)(n)$ に関する 4、6、12、および 24 を法とする無限個の合同式およびラマヌジャン型の合同式を確立することである。

手法
著者らは、$q$-級数および母関数論を用いて結果を導出している。核心となる手法は以下の通りである：

1. 母関数の分解（Dissections）: 冪級数のディセクション公式や、テータ関数および積 $f_k = (q^k; q^k)_\infty$ の既知の公式を利用する。具体的には、2-dissection（補題 2.1）、5-dissection（補題 2.2）、および Ramanujan、Cui、Gu らによるテータ関数の一般的な素数ディセクション（補題 2.3 および 2.4）を用いている。
2. 剰余による簡約（Modular Reductions）: 特定の整数を法とする母関数を簡略化するために、合同式 $f_{p^k} \equiv f_{p^{k-1}} \pmod{p^k}$（補題 2.5）を適用する。
3. 係数の抽出: ディセクション公式から、特定の $q$ のべき乗（例：$q^{pn+i}$）を持つ項を系統的に抽出することで、分割関数の部分列を孤立させる。
4. 二次剰余の解析: 二次剰余に関する合同式（例：$(6k+1)^2 + (6m+1)^2 \equiv 0 \pmod p$）を分析し、特定の条件（$p \equiv 3 \pmod 4$ または $p \equiv 5 \pmod 6$ など）を満たす特定の素数 $p$ に対して、特定の係数が消滅することを示す。
5. 数学的帰納法: 指数 $\alpha$ に関する帰納法を用いて、特定の係数が消滅することを利用し、無限個の合同式の族を確立する。

主要な貢献と結果

• Modulo 4:
  本論文は、素数 $p \equiv 3 \pmod 4$ に対して無限個の合同式の族を確立している。任意の $\alpha \ge 0, n \ge 0, 1 \le i \le p-1$ に対して：
  $$RD(4, 9)(12p^{2\alpha+1}(pn + i) + p^{2\alpha+2} + 1) \equiv 0 \pmod 4.$$
  この結果は、$RD(4, 9)(12n+2)$を$f_1^2$の係数に関連付け、モジュロ$p$ における特定の二次合同式の非自明な解の不在を利用することで導かれる。

• Modulo 6:
  5 の冪に対して無限個の合同式の族が証明されている。すべての $\alpha \ge 0, n \ge 0$ に対して：
  $$RD(4, 9)(6 \cdot 5^{2\alpha+2}n + 6 \cdot 5^{2\alpha+1}i + 5^{2\alpha+2} + 1) \equiv 0 \pmod 6,$$
  ここで $i \in \{1, 2, 3, 4\}$ である。これは、$RD(4, 9)(6n+2)$ の母関数を分解し、Ramanujan の関数 $f_1$ の 5-dissection を適用することによって達成される。

• Modulo 12:
  素数 $p \equiv 5 \pmod 6$ に対して、著者らはすべての $\alpha \ge 0, n \ge 0, 1 \le i \le p-1$ について以下を証明している：
  $$RD(4, 9)(6p^{2\alpha+1}(pn + i) + 3p^{2\alpha+2} + 1) \equiv 0 \pmod{12}.$$
  この証明は、テータ関数の積 $\psi(q)\psi(q^3)$ を分析し、指数が $-3$ の二次非剰余に関連する特定のモジュラー条件を満たすときに係数が消滅することを示すプロセスを含む。

• Modulo 24 (Ramanujan-like Congruences):
  本論文は、無限個のパラメータに依存せず、すべての $n \ge 0$ に対して成立する特定のラマヌジャン型合同式を確立している：
  $$RD(4, 9)(24n + 23) \equiv 0 \pmod{24},$$
  $$RD(4, 9)(48n + 29) \equiv 0 \pmod{24},$$
  $$RD(4, 9)(96n + 89) \equiv 0 \pmod{24}.$$
  これらは、$RD(4, 9)(6n+5)$ の母関数から偶数次および奇数次の項を抽出する厳密なプロセスと、2-dissection 公式の適用を通じて導出される。

意義と範囲
本論文は、$RD(4, 9)(n)$ の算術的挙動に関する「徹底的な調査」を提供することを主張している。その意義は、Keith によって開始され、著者らによって以前に探求された、同時に regular かつ distinct である分割の研究を拡張することにある。これらの合同式を確立することにより、著者らは、複数の制約を持つ分割関数の除法特性に関する理解に寄与している。本研究は、著者らの以前の研究 [13] の継続であり、新しい無限個の族と、以前の知見を補完する特定の合同式を提示している。本論文は、数列自体の算術的性質を超えた、新しい組合せ論的な解釈や応用を提案するものではない。