Some new congruences on biregular overpartitions

技术摘要：关于双正则过度划分的新同余性质

问题陈述
本文研究了 $\bar{B}_{\ell_1, \ell_2}(n)$，即 $n$ 的 $(\ell_1, \ell_2)$-双正则过度划分（biregular overpartitions）的数量的算术性质。过度划分是一种其中每个部分的第一处出现可以被加划线标记的划分。双正则过度划分是指没有任何部分能被 $\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$-级数操作、分解公式（dissection formulas）以及模形式理论。主要工具包括：

1. 生成函数： $\bar{B}_{\ell_1, \ell_2}(n)$ 的生成函数被表示为一个 eta-商（式 1.1）。
2. 分解公式： 本文利用了源自拉马努金（Ramanujan）工作及后续文献的各种分解恒等式（引理 2.5–2.10），根据索引对特定整数的模（例如，提取 $q^{2n}, q^{3n}$ 等项）来分离生成函数中的项。
3. 模形式与 Hecke 本征形式： 作者将特定的 eta-商识别为空间 $M_k(\Gamma_0(N), \chi)$ 中的模形式。通过证明这些形式是 Hecke 本征形式，本文利用 Hecke 算子 $T_p$ 的性质来导出递推关系。
4. Newman 恒等式： 对于特定情况，本文应用了 Newman [19] 关于 eta 函数乘积系数的一个恒等式，以建立对于素数 $p \equiv 1 \pmod m$ 的同余关系。
5. 同余性质： 引理 2.8，一个关于 $f_m$ 的幂次模 $p^k$ 的标准同于关系，被反复用于在模 3 和 2 的幂次下简化表达式。

主要贡献与结果
本文为以下对 $(\ell_1, \ell_2)$ 建立了关于 3 以及 2 的幂次的无穷多个同余族：

• 特定对： $(2, 9)$, $(5, 2)$, $(5, 4)$, $(8, 3)$, 以及 $(5, 8)$。
• 一般族：
  • $(5, 2^t)$ 对于所有 $t \geq 3$。
  • $(3, 2^t)$ 对于所有 $t \geq 1$。
  • $(4, 3^t)$ 对于所有 $t \geq 1$。

各章节的具体发现：

• 第 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$。利用 Hecke 本征形式理论，导出了对于形式为 $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)$ 提供新的无穷多个同余族，扩展了现有的关于双正则过度划分的文献。通过利用 Hecke 本征形式理论和 Newman 恒等式，作者超越了特定的计算实例，建立了这些划分函数的结构性质。其结果有助于理解具有受限部分整除性的过度划分的算术行为，特别是强调了模 3 和 2 的幂次的模式。这项工作依赖于模形式和 $q$-级数的奠基理论，为这些新的同余关系提供了一个严谨的代数框架。