Analytic proofs of Andrews-Bachraoui identities related to two-color partitions with evens in one color

Resumo Técnico: Provas Analíticas de Identidades de Andrews-Bachraoui e Congruências para Partições de Duas Cores

Enunciado do Problema
Este artigo aborda problemas em aberto e correções relativas à função de partição de duas cores $F(n)$, introduzida por Andrews e Bachraoui. Neste modelo de partição, as partes ímpares podem aparecer em duas cores (vermelha e azul), enquanto as partes pares aparecem em uma única cor (azul). Os autores focam em três versões restritas específicas de $F(n)$:

• $F_0(n)$: O número de partições onde a contagem de partes ímpares vermelhas é par.
• $F_1(n)$: O número de partições onde a contagem de partes ímpares vermelhas é ímpar.
• $H(n)$: O número de partições onde partes da mesma cor não se repetem.

Os objetivos primários são fornecer provas analíticas para duas identidades de séries $q$ conectadas a $F(n)$ e $H(n)$ que foram anteriormente listadas como problemas em aberto, e estabelecer novas propriedades de congruência para $F_0(n)$ e $F_1(n)$ módulo 2, 4 e 8. Além disso, o artigo corrige erros encontrados nas funções geradoras apresentadas no trabalho original de Andrews e Bachraoui.

Metodologia
Os autores empregam técnicas padrão da teoria de partições e séries $q$. A metodologia inclui:

1. Funções Geradoras: Utilizando as funções geradoras para $F_0(n)$ e $F_1(n)$, que são expressas em termos de produtos $q$-infinitos envolvendo $(q; q)_\infty$. O artigo observa uma correção aos sinais nos numeradores desses produtos encontrados na literatura anterior.
2. Somas Telescópicas: Para as identidades de séries $q$, os autores definem sequências específicas ($A_n, B_n, C_n, D_n$) e demonstram que os termos na série representam diferenças telescópicas (por exemplo, $A_n - A_{n-1}$). Ao somar essas diferenças e tomar o limite quando $n \to \infty$, eles derivam as identidades de forma fechada.
3. Funções Theta e Dissecções: Para provar congruências, os autores utilizam a função theta geral de Ramanujan $f(\alpha, \beta)$ e seus casos especiais $\phi(q)$ e $\psi(q)$. Eles aplicam fórmulas de dissecação de 2 e propriedades aritméticas modulares de produtos $q$ (especificamente módulo 2, 4, 8 e 16) para extrair coeficientes.
4. Funções Teórico-Numéricas: As provas para congruências módulo 8 envolvem a função de soma dos divisores $\sigma(n)$, o número de representações de um inteiro como uma soma de dois quadrados $r_2(n)$, e o número de representações como $u^2 + 2v^2$. Os autores relacionam estes a símbolos de Jacobi e somas de divisores para caracterizar o comportamento das funções de partição.

Principais Contribuições e Resultados

• Correção de Funções Geradoras: O artigo identifica e corrige erros nas funções geradoras para $F_0(n)$ e $F_1(n)$ conforme apresentadas no trabalho original de Andrews e Bachraoui, especificamente em relação aos sinais nos numeradores dos produtos $q$.
• Prova de Identidades em Aberto: Os autores fornecem provas analíticas rigorosas para duas identidades (rotuladas como 1.1 e 1.2 no texto) envolvendo séries e produtos infinitos relacionados a $F(n)$ e $H(n)$. Estas identidades estavam anteriormente não provadas na literatura.
• Congruências Módulo 2:
  • É provado que $F_i(n) \equiv 1 \pmod 2$ se, e somente se, $n$ é um quadrado perfeito ou o dobro de um quadrado perfeito; caso contrário, $F_i(n) \equiv 0 \pmod 2$.
  • Isso leva a corolários relativos ao desaparecimento de $F_i(Mn+r) \pmod 2$ com base em se $r$ pertence a um conjunto específico de resíduos quadráticos.
• Congruências Módulo 4:
  • O artigo estabelece valores específicos para $F_0(n)$ e $F_1(n)$ módulo 4 dependendo se $n$ é um quadrado, o dobro de um quadrado, ou nenhum dos dois.
  • Uma relação recursiva envolvendo a função soma dos divisores $\sigma(k)$ é derivada para $n F_i(n)$ módulo 2.
• Congruências Módulo 8:
  • Caracterizações detalhadas são fornecidas para $F_0(2n)$ e $F_1(2n)$ módulo 8, distinguindo casos baseados em se $n$ é o quadrado de um inteiro ímpar/par ou o dobro de um quadrado.
  • Para argumentos da forma $4n+1$, os autores derivam uma fórmula envolvendo $\varepsilon(n)$ (que é 1 se $n$ é um número prônico $a(a+1)$) e uma função de soma de divisores $D(n)$ envolvendo símbolos de Jacobi.
  • Para argumentos da forma $4n+3$, o valor de $F_0(4n+3)$ módulo 8 é mostrado para depender da paridade do número de representações de $n$ na forma $2P_r + 16P_s$, onde $P_j$ são números pentagonais generalizados.

Significância
O artigo afirma sua significância principalmente na resolução de problemas em aberto deixados por Andrews e Bachraoui referentes à estrutura analítica destas funções de partição de duas cores específicas. Ao fornecer as provas para as identidades de séries $q$, os autores validam o arcabouço teórico em torno de $F(n)$ e $H(n)$. Além disso, o estabelecimento de congruências módulo 2, 4 e 8 oferece uma compreensão aritmética mais profunda da distribuição destas partições. O trabalho serve como uma correção à literatura anterior e fornece uma base para investigações futuras sobre propriedades de divisibilidade de funções de partição restritas relacionadas, tais como aquelas baseadas na paridade das partes pares ou no número total de partes.