Proofs of the Conjectures on $SOME(n)$ and $DSOME(n)$ Functions Related to Integer Partitions

Resumen Técnico de "Pruebas de las Conjeturas sobre las Funciones SOME(n) y DSOME(n) Relacionadas con Particiones de Enteros"

Planteamiento del Problema
Este artículo aborda dos conjeturas específicas relativas a las propiedades aritméticas de dos funciones relacionadas con particiones, $SOME(n)$y$DSOME(n)$, introducidas por Andrews y Dastidar (2026) y Baruah y Gogoi (2026), respectivamente.

• $SOME(n)$ se define como la suma de todas las partes impares menos la suma de todas las partes pares en todas las particiones de un entero positivo $n$.
• $DSOME(n)$ es la diferencia análoga (suma de partes impares menos suma de partes pares) restringida a las particiones de $n$ en partes distintas.

Los objetivos primordiales son probar:

1. La conjetura de Andrews-Dastidar: Para enteros $\alpha \ge 1$ y $\lambda \ge 0$ tales que $24\lambda \equiv 1 \pmod{5^\alpha}$, $SOME(\lambda) \equiv 0 \pmod{5^\alpha}$.
2. La conjetura de Baruah-Gogoi: $DSOME(50n + 21) \equiv 0 \pmod 8$ para todos los enteros $n \ge 0$.

Además, los autores pretenden establecer nuevas familias infinitas de congruencias para $DSOME(n)$ módulo 2, 4 y 8.

Metodología
Los autores emplean técnicas de la teoría de series-$q$, formas modulares e identidades de particiones. La metodología se basa fuertemente en funciones generatrices y la manipulación de símbolos $q$-Pochhammer, denotados como $(a; q)_\infty$.

• Funciones Generatrices: El artículo utiliza las funciones generatrices conocidas para $SOME(n)$y$DSOME(n)$, expresadas en términos de productos infinitos y sumas que involucran series-$q$.
• Aritmética Modular y Congruencias: Las pruebas implican la extracción de coeficientes de funciones generatrices y el análisis de ellos módulo enteros específicos (2, 4, 5, 8 y potencias de 5).
• Funciones Theta de Ramanujan: Los autores utilizan la función theta general de Ramanujan $f(\alpha, \beta)$ y sus casos especiales $\phi(q)$, $\psi(q)$ y $f(-q)$ para transformar series complejas en formas más manejables.
• Teoría de Operadores: Se define un operador $U_2$ para extraer términos con índices pares de series de potencias, facilitando la derivación de congruencias para progresiones aritméticas específicas (por ejemplo, $DSOME(2n)$).
• Series de Eisenstein y Sumas de Divisores: La prueba para la conjetura de $SOME(n)$ conecta la función con la serie de Eisenstein cuasimodular clásica $E_2(q)$ y la función de la suma de divisores $\sigma(n)$. Aprovecha congruencias conocidas para la función de partición $p(n)$ y una secuencia de coeficientes relacionada $c(n)$ establecida por Wang y Yang.
• Análisis Combinatorio: Para las pruebas de $DSOME(n)$, los autores analizan la paridad de los coeficientes en expansiones de series que involucran sumas de cuadrados y números pentagonales generalizados, reduciendo a menudo el problema al conteo de soluciones a ecuaciones diofánticas módulo primos específicos.

Contribuciones Clave y Resultados

1. Prueba de la Conjetura de Andrews-Dastidar:
   Los autores establecen que $SOME(\lambda) \equiv 0 \pmod{5^\alpha}$ siempre que $24\lambda \equiv 1 \pmod{5^\alpha}$.

   • Mecanismo: Derivan una relación que vincula $SOME(n)$ con un coeficiente $c(2n)$ y la función de partición $p(n)$: $12SOME(n) = c(2n) - (12n+1)p(n)$.
   • Lógica: Al utilizar congruencias conocidas para $c(n)$ (derivadas del trabajo de Wang y Yang sobre formas cuasimodulares) y las clásicas congruencias de Ramanujan para $p(n)$, demuestran que ambos términos en el lado derecho de la ecuación se anulan módulo $5^\alpha$ bajo la condición dada. Dado que $\gcd(12, 5^\alpha)=1$, el resultado se sigue.

2. Prueba de la Conjetura de Baruah-Gogoi:
   El artículo prueba que $DSOME(50n + 21) \equiv 0 \pmod 8$.

   • Mecanismo: Esto se establece como un caso específico ($t=2$) de un teorema más general (Teorema 4.11) que establece que $DSOME(50n + 10t + 1) \equiv 0 \pmod 8$ para $1 \le t \le 4$.
   • Lógica: La prueba implica expandir la función generatriz de $DSOME(n)$ módulo 8 en componentes que involucran $f_1$, $X(q)$ y sus derivadas. Los autores analizan los coeficientes de $q^N$ donde $N = 50n + 10t + 1$ relacionándolos con la valoración 5-ádica de $M = 24N + 1$. Demuestran que los coeficientes relevantes se anulan debido a la inexistencia de ciertas soluciones enteras para formas cuadráticas módulo 5.

3. Nuevas Familias Infinitas de Congruencias:
   El artículo establece varias congruencias nuevas para $DSOME(n)$:

   • Módulo 2: Se proporciona una caracterización completa de cuándo $DSOME(n) \equiv 1 \pmod 2$, mostrando que ocurre si y solo si $n$ es de la forma $24j^2 + 10j + 1$ o $24j^2 + 22j + 5$. Los corolarios proporcionan condiciones para que $DSOME(Mn+r) \equiv 0 \pmod 2$ basadas en símbolos de Legendre.
   • Módulo 4: Se derivan caracterizaciones similares para $DSOME(2n) \pmod 4$, identificando formas cuadráticas específicas ($48k^2 + 14k + 1$ y $48k^2 + 46k + 11$) donde la función es distinta de cero.
   • Módulo 8: Se deriva una fórmula de convolución que expresa $DSOME(n)$ módulo 8 en términos de la función de partición en partes distintas $pd(n)$ y sumas de divisores $\sigma_3(n)$ y $\sigma(n)$.

Significado
El artículo reclama su importancia principalmente en la resolución de conjeturas abiertas sobre el comportamiento aritmético de $SOME(n)$y$DSOME(n)$. Al probar estas conjeturas, los autores confirman la existencia de patrones estructurales profundos en estas funciones de partición que reflejan las congruencias de tipo Ramanujan encontradas en la función de partición estándar $p(n)$. El trabajo extiende la comprensión de cómo la paridad y las restricciones modulares se aplican a las sumas ponderadas de partes de particiones, específicamente para particiones distintas. El establecimiento de nuevas familias infinitas de congruencias módulo 2, 4 y 8 proporciona un marco más amplio para futuras investigaciones sobre las propiedades aritméticas de las funciones relacionadas con particiones.