Some new congruences on biregular overpartitions

Resumo Técnico: Algumas Novas Congruências em Sobrepartições Biregulares

Enunciado do Problema
O artigo investiga as propriedades aritméticas de $\bar{B}_{\ell_1, \ell_2}(n)$, o número de $(\ell_1, \ell_2)$-sobrepartições biregulares de $n$. Uma sobrepartição é uma partição onde a primeira ocorrência de cada parte pode ser sobrelinhada. Uma sobrepartição biregular é aquela em que nenhuma parte é divisível por $\ell_1$ ou $\ell_2$, com as restrições $\gcd(\ell_1, \ell_2)=1$ e $\ell_1, \ell_2 > 1$. Embora trabalhos recentes de Nadji, Ahmia e Ramírez [18]; Alanazi, Munagi e Saikia [1]; e Paudel, Sellers e Wang [21] tenham estabelecido congruências para pares específicos como $(4,3)$, $(4,9)$ e $(8,3)$, este artigo visa estender esses resultados para novos pares e famílias gerais de parâmetros.

Metodologia
O autor emprega uma combinação de manipulações clássicas de séries $q$, fórmulas de dissecação e a teoria de formas modulares. As principais ferramentas incluem:

1. Funções Geratrizes: A função geratriz para $\bar{B}_{\ell_1, \ell_2}(n)$ é expressa como um cociente de eta (Equação 1.1).
2. Fórmulas de Dissecação: O artigo utiliza várias identidades de dissecação (Lemmas 2.5–2.10) derivadas do trabalho de Ramanujan e da literatura subsequente para separar termos na função geratriz com base no índice módulo inteiros específicos (por exemplo, extraindo termos $q^{2n}$, $q^{3n}$, etc.).
3. Formas Modulares e Autofomas de Hecke: O autor identifica cocientes de eta específicos como formas modulares nos espaços $M_k(\Gamma_0(N), \chi)$. Ao provar que essas formas são autofomas de Hecke, o artigo aproveita as propriedades dos operadores de Hecke $T_p$ para derivar relações de recorrência para os coeficientes.
4. Identidade de Newman: Para casos específicos, o artigo aplica uma identidade devida a Newman [19] referente aos coeficientes de produtos de funções eta para estabelecer congruências para primos $p \equiv 1 \pmod m$.
5. Propriedades de Congruência: O Lemma 2.8, uma congruência padrão para potências de $f_m$ módulo $p^k$, é usado repetidamente para simplificar expressões módulo 3 e potências de 2.

Principais Contribuições e Resultados
O artigo estabelece infinitas famílias de congruências módulo 3 e potências de 2 para os seguintes pares $(\ell_1, \ell_2)$:

• Pares Específicos: $(2, 9)$, $(5, 2)$, $(5, 4)$, $(8, 3)$ e $(5, 8)$.
• Famílias Gerais:
  • $(5, 2^t)$ para todo $t \geq 3$.
  • $(3, 2^t)$ para todo $t \geq 1$.
  • $(4, 3^t)$ para todo $t \geq 1$.

Descobertas Específicas por Seção:

• Seção 3 ($\bar{B}_{2,9}(n)$): O autor prova que $\bar{B}_{2,9}(6n+3) \equiv 0 \pmod 4$ e $\bar{B}_{2,9}(6n+5) \equiv 0 \pmod 8$. Usando a teoria de autofomas de Hecke, famílias infinitas de congruências módulo 8 são derivadas para argumentos da forma $6p_1^2 \dots p_{k+1}^2 n + \dots$ onde os primos $p_i \geq 5$ e $p_i \not\equiv 1 \pmod 6$. Fórmulas multiplicativas módulo 8 e 3 também são estabelecidas.
• Seção 4 ($\bar{B}_{5,2^t}(n)$): Para $t \geq 3$, o artigo mostra que $\bar{B}_{5,2^t}(4n+3) \equiv 0 \pmod 8$. Ele deriva famílias infinitas de congruências módulo 8 para argumentos envolvendo quadrados de primos $p \not\equiv 1 \pmod 4$. Fórmulas multiplicativas envolvendo uma função $f(p)$ dependente de $p \pmod{20}$ são apresentadas.
• Seções 5 & 6 ($\bar{B}_{5,2}(n)$ e $\bar{B}_{5,4}(n)$): Congruências similares módulo 4 são estabelecidas para estes casos específicos, incluindo $\bar{B}_{5,2}(4n+3) \equiv 0 \pmod 4$ e $\bar{B}_{5,4}(4n+3) \equiv 0 \pmod 4$.
• Seção 7 ($\bar{B}_{8,3}(n)$): O artigo prova que $\bar{B}_{8,3}(36n+33) \equiv 0 \pmod 3$.
• Seção 8 ($\bar{B}_{4,3^t}(n)$): Para todo $t \geq 1$, o autor estabelece $\bar{B}_{4,3^t}(3n) \equiv 0 \pmod 8$ (para $n \geq 1$) e várias congruências módulo 4 para argumentos $6n+4$, $12n+7$ e $3n+2$.
• Seção 9 ($\bar{B}_{3,2^t}(n)$): Para todo $t \geq 1$, o artigo prova que $\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$.

Significância
O artigo afirma estender a literatura existente sobre sobrepartições biregulares ao fornecer novas famílias infinitas de congruências para pares $(\ell_1, \ell_2)$ que não foram previamente cobertos ou totalmente generalizados. Ao utilizar a teoria de autofomas de Hecke e a identidade de Newman, o autor vai além de exemplos computacionais específicos para estabelecer propriedades estruturais dessas funções de partição. Os resultados contribuem para a compreensão mais ampla do comportamento aritmético de sobrepartições com divisibilidade de partes restrita, destacando especificamente padrões módulo 3 e potências de 2. O trabalho baseia-se nas teorias fundamentais de formas modulares e séries $q$, oferecendo um arcabouço algébrico rigoroso para estas novas congruências.