🔢 mathematics

Arithmetic properties of DSOME function

Este artículo deriva una función generatriz de forma cerrada para la función $DSOME(n)$ , lo que permite el descubrimiento de nuevas congruencias internas módulo 4 y 8 que extienden el trabajo reciente de Andrews y Ghosh Dastidar.

Autores originales: Nayandeep Deka Baruah, Pankaj Gogoi

Publicado 2026-07-03

📖 4 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Nayandeep Deka Baruah, Pankaj Gogoi

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que tienes una bolsa gigante de bloques numerados. Tu trabajo es construir torres usando estos bloques, pero hay una regla: los bloques en cada torre deben sumar un número específico, digamos 5. Puedes construir una torre con un solo bloque de 5, o cinco bloques de 1, o un 3 y un 2, y así sucesivamente. En matemáticas, estas torres se llaman particiones.

Durante mucho tiempo, los matemáticos se han sentido fascinados por contar cuántas torres diferentes puedes construir para cualquier número. Pero recientemente, dos investigadores (Andrews y Ghosh Dastidar) decidieron mirar estas torres de una manera nueva. En lugar de solo contarlas, empezaron a pesarlas.

El juego de "pesar": SOME y DSOME

Ellos crearon dos "escalas" especiales para pesar estas torres:

SOME(n): Imagina que cada bloque de número impar (1, 3, 5...) está hecho de oro pesado, y cada bloque de número par (2, 4, 6...) está hecho de plástico ligero. Esta función suma el peso de todos los bloques de oro y resta el peso de todos los bloques de plástico para cada posible torre de tamaño n.
DSOME(n): Este es el mismo juego, pero con un giro. Solo puedes construir torres donde ningún par de bloques tenga el mismo tamaño. No puedes tener dos 2, o tres 3. Es como construir una torre donde cada escalón debe tener un tamaño único. Luego, haces lo mismo de pesar el oro menos el plástico.

El artículo se centra en esta segunda versión, más estricta: DSOME(n).

El gran descubrimiento: Una receta secreta

Los autores de este artículo, Nayandeep Deka Baruah y Pankaj Gogoi, querían entender los patrones ocultos en estos pesos. Sabían que existía una receta (fórmula) complicada y desordenada para calcular DSOME(n), pero era difícil de usar para encontrar patrones.

Su primer gran logro fue encontrar una "forma cerrada". Piensa en esto como tomar una receta de cocina compleja de 10 pasos con ingredientes oscuros y simplificarla en una única ecuación elegante y compacta. Encontraron una fórmula nítida y compacta que genera todos los números DSOME a la vez.

Encontrando ritmos ocultos (Congruencias)

Una vez que tuvieron esta fórmula tan nítida, comenzaron a buscar "ritmos" o patrones repetitivos en los números. En matemáticas, encontrar un ritmo a menudo significa descubrir que ciertos números siempre resultan en un residuo de cero cuando se dividen por un número específico (como 4 u 8).

Esto es lo que encontraron, explicado de forma sencilla:

La regla de "cada 4": Demostraron que si observas los números DSOME en ciertos intervalos (como cada cuarto número en una secuencia específica), el resultado es siempre perfectamente divisible por 4. Es como un latido de tambor que siempre cae en el tiempo fuerte.
La regla de "cada 25": Encontraron que si observas números que son 1 más que un múltiplo de 25 (como 26, 51, 76...), el resultado es siempre divisible por 4.
La regla "profunda" (Módulo 8): Fueron aún más profundo. Descubrieron que para números muy específicos y grandes (como aquellos que terminan en 26 cuando se dividen por 125), el resultado es divisible por 8.
La conexión del "Árbol Genealógico": Quizás el hallazgo más interesante es una relación entre diferentes generaciones de estos números. Mostraron que el valor de un número enorme (como 15,625) está matemáticamente vinculado a los valores de números mucho más pequeños (como 25 o 625) en una ecuación específica. Es como decir que el peso de un roble gigante está determinado exactamente por los pesos de sus bellotas y retoños en una fórmula precisa.

La bola de cristal (Conjeturas)

Al final del artículo, los autores observan sus datos y hacen una suposición educada (una conjetura). Sospechan que hay incluso más ritmos ocultos que no han demostrado todavía. Advierten que si observas números que terminan en 21 (al dividir por 50), el resultado es divisible por 8, y si observas números que terminan en 71 (al dividir por 100), el resultado es divisible por 16.

Resumen

En resumen, este artículo toma un rompecabezas matemático complicado sobre el pesaje de torres de números únicos, encuentra una forma más simple de calcular los pesos, y utiliza esa simplicidad para revelar patrones ocultos y repetitivos en los números. No solo encontraron un patrón; encontraron toda una familia de reglas que dictan cómo se comportan estos números, y lanzaron una suposición sobre incluso más reglas que esperan ser descubiertas.

Resumen Técnico: Propiedades Aritméticas de la Función DSOME

Planteamiento del Problema
Este artículo investiga las propiedades aritméticas de la función $DSOME(n)$, introducida recientemente por Andrews y Ghosh Dastidar. La función se define como la suma de todas las partes impares en las particiones de un entero positivo $n$ en partes distintas, menos la suma de todas las partes pares en esas mismas particiones. Mientras que Andrews y Ghosh Dastidar establecieron funciones generatrices para $DSOME(n)$ y demostraron varias congruencias módulo 4 y 5, los autores de este artículo tienen como objetivo derivar una expresión de forma cerrada para la función generatriz de $DSOME(n)$. Esta forma cerrada sirve como base para el descubrimiento de nuevas congruencias y relaciones de congruencia interna módulo 4 y 8.

Metodología
Los autores emplean la teoría de series $q$ e identidades de partición. La metodología central consiste en:

Derivación de una Forma Cerrada: Los autores transforman la función generatriz de $DSOME(n)$, originalmente expresada como una serie infinita que involucra productos $q$ , en una forma cerrada que involucra los productos $q$ estándar $f_n = (q^n; q^n)_\infty$ .
Técnicas de Dissección: Para extraer coeficientes correspondientes a progresiones aritméticas específicas (por ejemplo, $5n+r$ ), los autores utilizan 5-dissecciones y 2-dissecciones de las funciones $f_1$ , $1/f_1$ y las funciones de Rogers-Ramanujan $G(q)$ y $H(q)$ .
Manipulación Algebraica: Las demostraciones dependen fuertmente de identidades que involucran la fracción continua de Rogers-Ramanujan $R(q)$ y su función relacionada $T(q) = G(q)/H(q)$ . Específicamente, los autores utilizan un conjunto de relaciones algebraicas (Lema 2.1) que conectan $T(q)$ y $T(q^2)$ para simplificar expresiones complejas.
Aritmética Modular: Los autores aplican congruencias módulo 2, 4 y 8 a las series resultantes. Utilizan frecuentemente la propiedad que $f_k^{2\ell} \equiv f_{2k}^{2\ell-1} \pmod{2^\ell}$ para reducir términos e aislar coeficientes.

Contribuciones Clave y Resultados

Función Generatriz en Forma Cerrada (Teorema 1.1):
La principal contribución teórica es la expresión de la función generatriz para $DSOME(n)$ en una forma cerrada:
$\sum_{n=0}^{\infty} DSOME(n)q^n = \frac{1}{8} \left( \frac{f_2}{f_1} - \frac{f_1^7}{f_2^3} \right)$
Esta expresión permite una manipulación más directa que la representación original en serie.
Nuevas Congruencias Módulo 4 (Teorema 1.2):
Utilizando la forma cerrada y técnicas de 5-dissección, los autores demuestran que para todo $n \ge 0$ y $1 \le r \le 4$ :
$DSOME(25n + 5r + 1) \equiv 0 \pmod 4$
Esto extiende los resultados previos al identificar una familia más amplia de coeficientes que se anulan.
Nuevas Congruencias Módulo 8 (Teorema 1.3):
Los autores establecen una congruencia más fuerte módulo 8. Para todo $n \ge 0$ y $1 \le r \le 4$ :
$DSOME(625n + 125r + 26) \equiv 0 \pmod 8$
Este resultado demuestra un nivel más profundo de estructura aritmética dentro de la función.
Congruencias Internas (Teorema 1.4):
El artículo deriva relaciones recursivas (congruencias internas) que vinculan los valores de $DSOME(n)$ en diferentes escalas. Específicamente, demuestra relaciones que conectan $DSOME(15625n + 651)$ con combinaciones lineales de $DSOME(25n+1)$, $DSOME(625n+26) $y$ DSOME(n)$ módulo 8.

Significancia y Reivindicaciones
Los autores afirman que la expresión de forma cerrada de la función generatriz es el facilitador clave para estos nuevos descubrimientos. Al expresar la función en términos de $f_1$ y $f_2$ , pudieron aplicar métodos de dissección estándar para descubrir congruencias que no eran evidentes desde la definición original de la serie.

El artículo concluye modestamente que, si bien estas nuevas congruencias módulo 4 y 8 son significativas, "aún quedan por descubrir muchas más congruencias". Basándose en cálculos numéricos, los autores proponen dos conjeturas para investigación futura:

$DSOME(50n + 21) \equiv 0 \pmod 8$
$DSOME(100n + 71) \equiv 0 \pmod{16}$

Este trabajo se posiciona como una continuación del estudio iniciado por Andrews y Ghosh Dastidar, proporcionando un marco algebraico más robusto para analizar las propiedades aritméticas de las funciones de partición relacionadas con partes distintas.