Some new congruences on biregular overpartitions

技術要約：二重正則オーバーパーティションに関する新しい合同式

問題提起
本論文は、$(\ell_1, \ell_2)$-二重正則オーバーパーティションの数である $\bar{B}_{\ell_1, \ell_2}(n)$ の算術的性質を調査するものである。オーバーパーティションとは、各部分の最初の出現がオーバーライン（上線）を付されることができる分割である。二重正則オーバーパーティションとは、$\ell_1$ または $\ell_2$ で割り切れる部分を持たないオーバーパーティションであり、制約条件として $\gcd(\ell_1, \ell_2)=1$ および $\ell_1, \ell_2 > 1$ が課される。Nadji, Ahmia, および Ramírez [18]、Alanazi, Munagi, および Saikia [1]、ならびに Paudel, Sellers, および Wang [21] による最近の研究では、$(4,3)$、$(4,9)$、$(8,3)$ といった特定のペアに対する合同式が確立されているが、本論文はこれらの結果を、新しいペアおよびパラメータの一般的な族へと拡張することを目的としている。

手法
著者は、古典的な $q$ 級数操作、分割公式、およびモジュラー形式の理論を組み合わせて用いる。主なツールは以下の通りである：

1. 生成関数: $\bar{B}_{\ell_1, \ell_2}(n)$ の生成関数は、エータ商（式 1.1）として表現される。
2. 分割公式: 論文では、ラマヌジャンの研究およびその後の文献から導出された様々な分割恒等式（補題 2.5–2.10）を利用して、生成関数の項を特定の整数（例：$q^{2n}, q^{3n}$ 等）の法に基づいたインデックスに従って分離する。
3. モジュラー形式とヘッケ固有形式: 著者は、特定のエータ商を空間 $M_k(\Gamma_0(N), \chi)$ におけるモジュラー形式として特定する。これらの形式がヘッケ固有形式であることを証明することにより、ヘッケ作用素 $T_p$ の性質を利用して、係数の漸化式を導出する。
4. ニューマンの恒等式: 特定のケースにおいて、エータ関数の積の係数に関する Newman [19] による恒等式を適用し、$p \equiv 1 \pmod m$ である素数に対する合同式を確立する。
5. 合同特性: $f_m$ のべき乗に関する標準的な合同式である補題 2.8 を用いて、3 および 2 のべき乗を法とする式を簡略化するために繰り返し使用する。

主要な貢献と結果
本論文は、以下のペア $(\ell_1, \ell_2)$ に対して、3 および 2 のべき乗を法とする無限個の合同式の族を確立している：

• 特定のペア: $(2, 9), (5, 2), (5, 4), (8, 3), (5, 8)$
• 一般的な族:
  • すべての $t \geq 3$ に対する $(5, 2^t)$
  • すべての $t \geq 1$ に対する $(3, 2^t)$
  • すべての $t \geq 1$ に対する $(4, 3^t)$

セクションごとの具体的な知見:

• セクション 3 ($\bar{B}_{2,9}(n)$): 著者は $\bar{B}_{2,9}(6n+3) \equiv 0 \pmod 4$ および $\bar{B}_{2,9}(6n+5) \equiv 0 \pmod 8$ を証明する。ヘッケ固有形式の理論を用いて、引数が $6p_1^2 \dots p_{k+1}^2 n + \dots$（ここで $p_i \geq 5$ かつ $p_i \not\equiv 1 \pmod 6$）の形である場合の、8 を法とする無限の合同式の族を導出する。8 および 3 を法とする乗法的公式も確立されている。
• セクション 4 ($\bar{B}_{5,2^t}(n)$): $t \geq 3$ について、論文は $\bar{B}_{5,2^t}(4n+3) \equiv 0 \pmod 8$ であることを示す。また、$p \not\equiv 1 \pmod 4$ である素数の平方を含む引数に対する、8 を法とする無限の合同式の族を導出する。$p \pmod{20}$ に依存する関数 $f(p)$ を含む乗法的公式が提示されている。
• セクション 5 & 6 ($\bar{B}_{5,2}(n)$ および $\bar{B}_{5,4}(n)$): これらの特定のケースに対して、同様の 4 を法とする合同式（$\bar{B}_{5,2}(4n+3) \equiv 0 \pmod 4$ および $\bar{B}_{5,4}(4n+3) \equiv 0 \pmod 4$ を含む）が確立されている。
• セクション 7 ($\bar{B}_{8,3}(n)$): 論文は $\bar{B}_{8,3}(36n+33) \equiv 0 \pmod 3$ を証明する。
• セクション 8 ($\bar{B}_{4,3^t}(n)$): すべての $t \geq 1$ について、著者は $\bar{B}_{4,3^t}(3n) \equiv 0 \pmod 8$ （$n \geq 1$ のとき）および、$6n+4, 12n+7, 3n+2$ という引数に対する様々な 4 を法とする合同式を確立する。
• セクション 9 ($\bar{B}_{3,2^t}(n)$): すべての $t \geq 1$ について、論文は $\bar{B}_{3,2^t}(16n+6) \equiv \bar{B}_{3,2^t}(16n+10) \equiv \bar{B}_{3,2^t}(16n+14) \equiv 0 \pmod 8$ であることを証明する。

意義
本論文は、これまでカバーされていなかった、あるいは完全に一般化されていなかったペア $(\ell_1, \ell_2)$ に対して新しい無限の合同式の族を提供することにより、二重正則オーバーパーティションに関する既存の文献を拡張すると主張している。ヘッケ固有形式およびニューマンの恒等式を活用することで、著者は単なる計算例を超えて、これらの分割関数の構造的性質を確立している。その結果は、部分の割り切れなさが制限されたオーバーパーティションの算術的挙動、特に 3 および 2 のべき乗を法とするパターンに関する理解に寄与するものである。本研究は、モジュラー形式および $q$ 級数の基礎理論に依拠しており、これらの新しい合同式に対して厳密な代数的枠組みを提供している。