🔢 mathematics

On Glaisher's Partition Theorem

Este artículo generaliza la función de partición $D(n)$ para probar una identidad análoga en el caso $m=3$ del teorema de Glaisher y presenta una nueva serie que equivale al producto de Glaisher tanto en casos finitos como infinitos.

Autores originales: George E. Andrews, Aritram Dhar

Publicado 2026-04-14

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: George E. Andrews, Aritram Dhar

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 caja llena de bloques de construcción de diferentes tamaños. Tu misión es construir torres usando exactamente $n$ bloques en total. En el mundo de las matemáticas, esto se llama una "partición" de un número.

Este artículo, escrito por dos expertos (George Andrews y Aritram Dhar), es como un viaje de descubrimiento para encontrar reglas ocultas sobre cómo podemos apilar esos bloques de diferentes maneras.

Aquí tienes la explicación en lenguaje sencillo, usando analogías:

1. El Gran Misterio: Dos formas de hacer lo mismo

Hace mucho tiempo, un matemático llamado Euler descubrió un truco increíble. Dijo que hay dos formas de construir torres que, aunque parecen muy diferentes, siempre dan el mismo número de resultados posibles:

Forma A: Usar bloques de tamaños que nunca se repiten (puedes tener un bloque de 1, uno de 2, uno de 3, pero no dos bloques de 3).
Forma B: Usar solo bloques de tamaños impares (1, 3, 5, 7...), pero puedes repetirlos tantas veces como quieras.

Euler demostró que, sin importar cuántos bloques tengas ( $n$ ), el número de torres que puedes hacer con la Forma A es exactamente igual al número de torres de la Forma B. Es como si dos recetas de cocina totalmente distintas resultaran en el mismo número de pasteles deliciosos.

2. La Regla General (El Teorema de Glaisher)

Luego, otro matemático llamado Glaisher amplió esta idea. Imagina que tienes una regla estricta: "Ningún tamaño de bloque puede repetirse más de $m-1$ veces".

Si $m=2$ , significa que no puedes repetir ningún bloque (la regla de Euler).
Si $m=3$ , significa que puedes tener como máximo 2 bloques del mismo tamaño, pero no 3.

Glaisher descubrió que esta regla es equivalente a otra: "Usa bloques de tamaños que no sean divisibles por $m$ ".

Si $m=3$ , no puedes usar bloques de tamaño 3, 6, 9, etc.
El artículo confirma que, de nuevo, el número de torres posibles bajo estas dos reglas distintas es idéntico.

3. El Nuevo Descubrimiento: Encontrando "Gemelos" Ocultos

Recientemente, otros matemáticos encontraron nuevas formas de contar estas torres, llamadas funciones $C(n)$ y $D(n)$ . Descubrieron que estas nuevas formas también son iguales a las reglas antiguas de Euler.

¿Qué hacen los autores de este artículo?
Ellos tomaron esa idea y la aplicaron al caso especial donde $m=3$ (la regla de "máximo 2 repeticiones").

Definieron una nueva forma de contar torres llamada $C_3(n)$ : Imagina que la pieza más grande de tu torre es un múltiplo de 3 (como 3, 6, 9), y todas las piezas más pequeñas que ella siguen la regla de no repetirse más de 2 veces.
Definieron otra forma llamada $D_3(n)$ : Imagina que la pieza más pequeña de tu torre aparece exactamente 3 veces, y todas las demás piezas se repiten menos de 3 veces.

El hallazgo sorprendente:
Los autores demostraron que, para casi todos los números, la cantidad de torres de la forma $C_3(n)$ es exactamente un tercio de la cantidad de torres de la forma $D_3(n)$ .
Es como si dijeras: "Si cuentas todas las torres donde la pieza pequeña aparece 3 veces, y divides ese número por 3, obtendrás exactamente el número de torres donde la pieza grande es un múltiplo de 3".

4. El "Polvo Mágico" (La parte complicada)

En matemáticas, a veces las fórmulas no son perfectas y hay un pequeño "residuo" o error que no encaja. En este caso, hay una función extra llamada $E_m(n)$ que actúa como ese polvo mágico o ajuste fino.

Para el caso $m=3$ , los autores calcularon exactamente qué es ese polvo. Resulta ser una serie de números muy específica que solo aparece en ciertos momentos (cuando el número de bloques es un "número triangular" más 1).
Fuera de esos momentos especiales, la regla simple de "dividir por 3" funciona perfectamente.

5. ¿Por qué es importante?

Imagina que tienes un mapa del tesoro.

Los matemáticos ya sabían que el tesoro (el número total de particiones) estaba en dos lugares diferentes (las reglas de Glaisher).
Este artículo les dice: "¡Espera! Hay un atajo nuevo. Si miras el tesoro desde un ángulo específico (la función $C_3$ ), puedes calcularlo fácilmente dividiendo otro ángulo (la función $D_3$ ) entre 3".

Además, el artículo proporciona nuevas "recetas" (fórmulas matemáticas) para calcular estos números sin tener que construir todas las torres una por una, lo cual es muy útil para los ordenadores y para entender patrones profundos en los números.

En resumen:
Los autores tomaron una regla antigua sobre cómo contar formas de agrupar números, la adaptaron a un caso nuevo y específico, y descubrieron una relación elegante y simple (dividir entre 3) entre dos formas de contar que parecían no tener nada que ver. Es como descubrir que dos idiomas diferentes, al traducirse correctamente, cuentan la misma historia con la misma precisión.

A continuación presento un resumen técnico detallado del artículo "ON GLAISHER'S PARTITION THEOREM" (Sobre el Teorema de Particiones de Glaisher), escrito por George E. Andrews y Aritram Dhar.

1. Planteamiento del Problema

El artículo aborda la teoría de particiones de números enteros, centrándose en generalizaciones del famoso Teorema de Particiones de Euler y su extensión, el Teorema de Glaisher.

Contexto Histórico:
- El teorema de Euler establece que el número de particiones de un entero $n$ en partes distintas ( $A(n)$ ) es igual al número de particiones de $n$ en partes impares ( $B(n)$ ).
- El teorema de Glaisher (1883) generaliza esto: para un entero $m \ge 2$ , el número de particiones de $n$ en las que ninguna parte se repite más de $m-1$ veces ( $A_m(n)$ ) es igual al número de particiones de $n$ en partes que no son divisibles por $m$ ( $B_m(n)$ ).
Problema Específico:
- Recientemente, Andrews, Kumar y Yee introdujeron nuevas funciones de partición, $C(n)$ y $D(n)$ , que ofrecen identidades elegantes relacionadas con el caso $m=2$ (Euler).
- Lin y Zang extendieron la función $C(n)$ al caso general $m$ (particiones $m$ -regulares).
- La brecha: Mientras que la extensión de $C(n)$ estaba resuelta, la generalización de la función $D(n)$ y la obtención de una identidad análoga para $m > 2$ (específicamente para $m=3$ ) permanecían abiertas. El objetivo del artículo es cerrar esta brecha, proporcionando una generalización de $D(n)$ y probando una identidad de partición análoga para el caso $m=3$ .

2. Metodología

Los autores emplean un enfoque basado en series $q$ (generadoras) y manipulación algebraica de productos infinitos y sumas.

Herramientas Principales:
- Símbolos de Pochhammer $q$ : $(A; q)_N$ y $(A; q)_\infty$ .
- Identidades clásicas de Euler para series $q$ .
- Raíces de la unidad: Se utiliza $\zeta_m = e^{2\pi i/m}$ y específicamente $\omega = \zeta_3$ (raíz cúbica primitiva de la unidad) para el caso $m=3$ .
- Descomposición de funciones generadoras en componentes basadas en congruencias módulo $m$ .
Estrategia de Demostración:
1. Definición de Funciones: Se definen rigurosamente las funciones $C_m(n)$ $C_{m} (n)$ y $D_m(n)$ $D_{m} (n)$ para generalizar los casos anteriores.
  - $C_m(n)$ : Particiones donde la parte más grande es divisible por $m$ y las partes menores o iguales a la mitad de esa parte se repiten menos de $m$ veces.
  - $D_m(n)$ : Particiones en partes no negativas donde la parte más pequeña aparece exactamente $m$ veces y las demás menos de $m$ veces.
2. Derivación de Funciones Generadoras: Se construyen las funciones generadoras para $C_m(n)$ y se descomponen algebraicamente.
3. Identificación de Términos de Error: Se demuestra que la función generadora de $C_m(n)$ no es exactamente igual a la de $D_m(n)$ , sino que difiere por un término de error $E_m(n)$ , estableciendo la relación: $C_m(n) = D_m(n) + \frac{E_m(n)}{m}$ .
4. Análisis del Caso $m=3$ : Se realiza un cálculo detallado para $m=3$ , utilizando propiedades de la función $\chi(n) = \omega^n + \omega^{-n}$ para simplificar la serie de error y obtener una forma cerrada explícita.

3. Contribuciones Clave y Resultados

El artículo presenta varios teoremas y corolarios fundamentales:

A. Generalización de la Identidad de Partición (Teorema 1.4)

Se establece una relación general para cualquier $m \ge 2$ :
$C_m(n) = D_m(n) + \frac{E_m(n)}{m}$
Donde $E_m(n)$ es una función de error cuya función generadora $\varepsilon_m(q)$ se define mediante una serie compleja que involucra raíces de la unidad. Esto generaliza el resultado conocido para $m=2$ donde el término de error desaparece o se simplifica drásticamente.

B. Identidad Específica para $m=3$ (Teorema 1.5)

Para el caso $m=3$ , los autores logran una forma cerrada explícita para la función de error $\varepsilon_3(q)$ :
$\varepsilon_3(q) = 2 - q - 2q^2 + \sum_{n=2}^{\infty} (-1)^n \chi(n-1) q^{(n+1/2)+1}$
Esta simplificación es crucial porque permite analizar cuándo el término de error es cero.

C. Corolario de Igualdad Análoga (Corolario 1.6)

Basado en el Teorema 1.5, se demuestra que para $m=3$ , si $n$ es un entero positivo que no es de la forma "número triangular más 1", entonces:
$C_3(n) = \frac{1}{3} D_3(n)$
Este es un resultado sorprendente, ya que sugiere que la relación simple $C(n) = \frac{1}{m} D(n)$ (análoga al caso de Euler) se mantiene para $m=3$ bajo ciertas condiciones de $n$ , a pesar de la complejidad inicial de las funciones generadoras.

D. Nuevas Identidades de Series $q$ (Teoremas 1.8 y 1.9)

El artículo proporciona nuevas identidades de series $q$ finitas e infinitas que conectan las funciones de partición con productos de Euler generalizados:
$1 + \sum_{n=1}^{\infty} \sum_{j=1}^{m-1} q^{mn-j} \left( \prod_{r=1}^{m-j} (q^r; q^m)_n \right) \left( \prod_{r=m-j+1}^{m-1} (q^r; q^m)_{n-1} \right) = \frac{(q^m; q^m)_\infty}{(q; q)_\infty}$
Esta identidad generaliza resultados previos de Andrews y Bachraoui para $m=2$ .

E. Identidad Unificada (Teorema 1.7)

Se presenta una identidad de partición que unifica los teoremas de Euler, Glaisher y las nuevas funciones $C_m$ y $D_m$ :
$A_m(n) = B_m(n) = \sum_{k=1}^{m-2} B_m^{(k)}(n) + C_m(n+1) = \sum_{k=1}^{m-2} B_m^{(k)}(n) + D_m(n+1) + \frac{E_m(n+1)}{m}$

4. Significado e Impacto

Avance Teórico: El trabajo cierra una brecha significativa en la teoría de particiones al extender las identidades elegantes de Andrews-Kumar-Yee (originalmente para $m=2$ ) al caso general $m$ , con un tratamiento completo para $m=3$ .
Nuevas Conexiones: Revela una conexión profunda y no trivial entre las particiones con restricciones de repetición ( $C_m$ ) y aquellas con restricciones de multiplicidad mínima ( $D_m$ ), mediada por un término de error que, en casos específicos, se anula o se vuelve manejable.
Herramientas para Futuras Investigaciones: Las nuevas identidades de series $q$ (Teorema 1.8 y 1.9) proporcionan nuevas herramientas analíticas para la comunidad de combinatoria.
Desafío Abierto: Los autores concluyen señalando que, aunque las pruebas analíticas (series $q$ ) son completas, falta una prueba biyectiva (combinatoria) para el Corolario 1.6, lo que invita a futuros trabajos a encontrar una correspondencia directa entre los conjuntos de particiones definidos.

En resumen, el artículo de Andrews y Dhar es una contribución sustancial a la teoría de particiones, demostrando que las estructuras elegantes descubiertas por Euler y sus sucesores recientes poseen generalizaciones robustas y a menudo sorprendentes para módulos mayores, enriqueciendo el panorama de las identidades de partición y las series $q$ .