Some new congruences and identities for $SOME(n)$, $DSOME(n)$, $\overline{SOME}(n)$ functions and analogues

Resumen Técnico: Nuevas Congruencias e Identidades para SOME(n), DSOME(n) y sus Análogos

Planteamiento del Problema y Contexto
Este artículo investiga las propiedades aritméticas de las funciones relacionadas con particiones introducidas por Andrews y Dastidar (2026) y Gireesh y Hemanthkumar. Específicamente, se centra en:

• SOME(n): La suma de todas las partes impares menos la suma de todas las partes pares en todas las particiones ordinarias de un entero positivo $n$.
• DSOME(n): El análogo de la diferencia calculado sobre particiones de $n$ en partes distintas.
• $\overline{\text{SOME}}(n)$: Un análogo de sobreparticiones de SOME(n).

Mientras que trabajos previos establecieron funciones generatrices y congruencias módulo 4, 5 y potencias de 2 para estas funciones, este artículo tiene como objetivo derivar nuevas identidades, establecer resultados de monotonicidad y generalizar estos conceptos a familias arbitrarias de particiones y particiones de colores.

Metodología
Los autores emplean técnicas estándar de la teoría de series $q$ y el análisis de particiones. Las herramientas metodológicas clave incluyen:

• Funciones Generatrices: Manipulación de productos infinitos y series, utilizando la notación estándar como $(a; q)_\infty$ y $g_t = (q^t; q^t)_\infty$.
• Funciones Theta de Ramanujan: Utilización de $\phi(q)$, $\psi(q)$ y $f(-q)$ para transformar y analizar las representaciones en serie.
• Series de Lambert y Sumas de Divisores: Expansión de series que involucran $\sigma(n)$ (suma de divisores) y $r_k(n)$ (representaciones como sumas de cuadrados).
• Teorema del Número Pentagonal Truncado: Aplicación de los resultados de Andrews y Merca para probar propiedades de monotonicidad.
• Diferenciación Logarítmica: Utilizada para derivar funciones generatrices para funciones generalizadas.
• Inversión de Möbius: Aplicada en el contexto de particiones de colores para establecer condiciones de divisibilidad.

Contribuciones Clave y Resultados

1. Identidades y Congruencias para SOME(n) y DSOME(n)

• Nueva Identidad (Teorema 3.1): Los autores prueban una relación de recurrencia que vincula SOME(n) con la función de partición $p(n)$ y la suma de divisores $\sigma(n)$:
  $$\text{SOME}(n) + 4 \sum_{i=1}^{\lfloor n/2 \rfloor} p(n-2i)\sigma(i) = n p(n)$$
• Congruencias Módulo 4 y 8 (Teoremas 3.2 y 3.3): Se establece que $\text{SOME}(n) \equiv 2 \pmod 4$ (y $\pmod 8$) si $n$ es un cuadrado perfecto impar, y $0$ en caso contrario.
• Congruencia General (Teorema 3.4): Se proporciona una condición para $\text{SOME}(n) \equiv 0 \pmod{2^{\alpha+2}}$ que involucra sumas de representaciones de enteros como sumas de cuadrados.
• Identidades de DSOME(n) (Teoremas 3.5 y 3.6): El artículo deriva una fórmula explícita para $\text{DSOME}(n)$ que involucra $pd(n)$ (particiones distintas) y $\sigma(n)$, y establece una relación entre $\text{DSOME}(n)$ y $\text{SOME}(n)$ utilizando el teorema del número pentagonal de Euler.

2. Resultados de Monotonicidad

• Teoremas 3.8 y 3.12: Utilizando el teorema del número pentagonal truncado, los autores prueban que $\text{SOME}(n) \ge \text{SOME}(n-2)$ para $n \ge 2$.
• Corolarios: Esto implica que las sucesiones $\{\text{SOME}(2n)\}$ y $\{\text{SOME}(2n-1)\}$ son monótonamente crecientes. Consecuentamente, la suma de todas las partes impares en las particiones de $n$ es mayor o igual que la suma de todas las partes pares. Resultados de monotonicidad similares se prueban para el análogo de sobrepartición $\overline{\text{SOME}}(n)$.

3. Análogo General SP(n)

• Definición: El artículo define $SP(n)$ como la suma de (partes impares - partes pares) sobre cualquier familia arbitraria de particiones $P(n)$.
• Propiedades de Divisibilidad:
  • Teorema 4.1: Para cualquier partición $\lambda$ de $n$, la diferencia entre la suma de las partes impares y pares satisface $\omega(\lambda) \equiv n \pmod 4$.
  • Teoremas 4.3 y 4.4: Los autores establecen condiciones necesarias y suficientes para que $SP(n) \equiv 0 \pmod k$ basadas en el conteo de partes congruentes con residuos específicos módulo $L = \text{mcm}(2, k)$. Específicamente, $SP(n) \equiv 0 \pmod 3$ si y solo si el conteo de partes congruentes a 1 o 2 (mod 6) es igual al conteo de partes congruentes a 4 o 5 (mod 6).

4. Análogo de Partición de Colores $S_c(n)$

• Definición: El artículo introduce $S_c(n)$ para particiones donde las partes de tamaño $j$ aparecen en $c_j$ colores diferentes.
• Función Generatriz (Teorema 5.1): Se deriva una función generatriz de forma cerrada utilizando diferenciación logarítmica.
• Condición de Divisibilidad (Teorema 5.2): Se prueba una condición necesaria y suficiente para que $S_c(n) \equiv 0 \pmod k$: esto ocurre si y solo si $k$ divide a $j c_j$ para todo $j \ge 1$.
• Corolarios: Se derivan reglas de divisibilidad específicas para módulos 3 y 4, y para casos donde las partes están restringidas a múltiplos de $k$.

Significancia y Reivindicaciones
El artículo afirma extender la teoría aritmética de las funciones de diferencia de particiones al:

1. Proporcionar nuevas identidades que relacionan estas funciones con las funciones clásicas de partición y de divisores.
2. Establecer la monotonicidad, una propiedad no resaltada previamente para estas funciones de diferencia específicas.
3. Generalizar el marco a familias de particiones arbitrarias ($SP(n)$) y particiones de colores ($S_c(n)$), unificando así diversos fenómenos de divisibilidad bajo una única estructura teórica.
4. Probar congruencias específicas módulo potencias de 2 y otros enteros, refinando la comprensión del comportamiento aritmético de estas funciones.

Los autores mantienen un alcance modesto, centrándose estrictamente en derivaciones teóricas y demostraciones dentro del ámbito de las particiones de enteros, sin proponer aplicaciones experimentales o extensiones futuras más allá de las estructuras matemáticas definidas.