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

Resumen Técnico: Demostraciones Analíticas de Identidades y Congruencias de Andrews-Bachraoui para Particiones de Dos Colores

Planteamiento del Problema
Este artículo aborda problemas abiertos y correcciones relativos a la función de partición de dos colores $F(n)$, introducida por Andrews y Bachraoui. En este modelo de partición, las partes impares pueden aparecer en dos colores (rojo y azul), mientras que las partes pares aparecen en un solo color (azul). Los autores se centran en tres versiones restringidas específicas de $F(n)$:

• $F_0(n)$: El número de particiones donde el conteo de partes impares rojas es par.
• $F_1(n)$: El número de particiones donde el conteo de partes impares rojas es impar.
• $H(n)$: El número de particiones donde las partes del mismo color no se repiten.

Los objetivos principales son proporcionar demostraciones analíticas para dos identidades de series $q$ conectadas con $F(n)$ y $H(n)$ que anteriormente figuraban como problemas abiertos, y establecer nuevas propiedades de congruencia para $F_0(n)$ y $F_1(n)$ módulo 2, 4 y 8. Además, el artículo corrige errores encontrados en las funciones generatrices presentadas en el trabajo original de Andrews y Bachraoui.

Metodología
Los autores emplean técnicas estándar de la teoría de particiones y series $q$. La metodología incluye:

1. Funciones Generatrices: Utilizando las funciones generatrices para $F_0(n)$ y $F_1(n)$, las cuales están expresadas en términos de productos $q$-infinitos que involucran $(q; q)_\infty$. El artículo señala una corrección a los signos en los numeradores de estos productos hallados en la literatura previa.
2. Sumas Telescópicas: Para las identidades de series $q$, los autores definen secuencias específicas ($A_n, B_n, C_n, D_n$) y demuestran que los términos en la serie representan diferencias telescópicas (por ejemplo, $A_n - A_{n-1}$). Al sumar estas diferencias y tomar el límite cuando $n \to \infty$, derivan las identidades de forma cerrada.
3. Funciones Theta y Dissecciones: Para probar las congruencias, los autores utilizan la función theta general de Ramanujan $f(\alpha, \beta)$ y sus casos especiales $\phi(q)$ y $\psi(q)$. Aplican fórmulas de disección de 2 y propiedades de aritmética modular de productos $q$ (específicamente módulo 2, 4, 8 y 16) para extraer coeficientes.
4. Funciones Teórico-Numéricas: Las demostraciones para las congruencias módulo 8 involucran la función de suma de divisores $\sigma(n)$, el número de representaciones de un entero como suma de dos cuadrados $r_2(n)$, y el número de representaciones como $u^2 + 2v^2$. Los autores relacionan estos elementos con símbolos de Jacobi y sumas de divisores para caracterizar el comportamiento de las funciones de partición.

Contribuciones Clave y Resultados

• Corrección de Funciones Generatrices: El artículo identifica y corrige errores en las funciones generatrices para $F_0(n)$ y $F_1(n)$ tal como fueron presentadas en el trabajo original de Andrews y Bachraoui, específicamente respecto a los signos en los numeradores de los productos $q$.
• Demostración de Identidades Abiertas: Los autores proporcionan demostraciones analíticas rigurosas para dos identidades (etiquetadas como 1.1 y 1.2 en el texto) que involucran series y productos infinitos relacionados con $F(n)$ y $H(n)$. Estas identidades no habían sido probadas previamente en la literatura.
• Congruencias Módulo 2:
  • Se demuestra que $F_i(n) \equiv 1 \pmod 2$ si y solo si $n$ es un cuadrado perfecto o el doble de un cuadrado perfecto; de lo contrario, $F_i(n) \equiv 0 \pmod 2$.
  • Esto conduce a corolarios respecto al desvanecimiento de $F_i(Mn+r) \pmod 2$ basado en si $r$ pertenece a un conjunto específico de residuos cuadráticos.
• Congruencias Módulo 4:
  • El artículo establece valores específicos para $F_0(n)$ y $F_1(n)$ módulo 4 dependiendo de si $n$ es un cuadrado, el doble de un cuadrado, o ninguno de los dos.
  • Se deriva una relación recursiva que involucra la función de suma de divisores $\sigma(k)$ para $n F_i(n)$ módulo 2.
• Congruencias Módulo 8:
  • Se proporcionan caracterizaciones detalladas para $F_0(2n)$ y $F_1(2n)$ módulo 8, distinguiendo casos basados en si $n$ es el cuadrado de un entero impar/par o el doble de un cuadrado.
  • Para argumentos de la forma $4n+1$, los autores derivan una fórmula que involucra $\varepsilon(n)$ (que es 1 si $n$ es un número prónico $a(a+1)$) y una función de suma de divisores $D(n)$ que involucra símbolos de Jacobi.
  • Para argumentos de la forma $4n+3$, se muestra que el valor de $F_0(4n+3)$ módulo 8 depende de la paridad del número de representaciones de $n$ en la forma $2P_r + 16P_s$, donde $P_j$ son números pentagonales generalizados.

Significancia
El artículo reclama su significancia principalmente en la resolución de problemas abiertos dejados por Andrews y Bachraoui respecto a la estructura analítica de estas funciones de partición de dos colores específicas. Al proporcionar las demostraciones para las identidades de series $q$, los autores validan el marco teórico que rodea a $F(n)$ y $H(n)$. Además, el establecimiento de congruencias módulo 2, 4 y 8 ofrece una comprensión aritmética más profunda de la distribución de estas particiones. El trabajo sirve como una corrección a la literatura previa y proporciona una base para futuras investigaciones sobre las propiedades de divisibilidad de funciones de partición restringidas relacionadas, tales como aquellas basadas en la paridad de las partes pares o el número total de partes.