Calculadora de Función de Partición

Bienvenido a la Calculadora de Función de Partición, un explorador completo de uno de los objetos más fascinantes de la combinatoria. Ingresa cualquier número entero no negativo \(n\) y esta herramienta calculará \(p(n)\) — el número de formas de escribir \(n\) como una suma de números enteros positivos donde el orden no importa — junto con el número de particiones en partes distintas \(q(n)\), el número de particiones en partes impares \(o(n)\), la estimación asintótica de Hardy-Ramanujan, cada congruencia de Ramanujan coincidente y (para n pequeñas) cada una de las particiones representadas como un diagrama de Young animado.

¿Qué es la función de partición p(n)?

La función de partición \(p(n)\) cuenta el número de formas de escribir \(n\) como una suma de números enteros positivos, sin tener en cuenta el orden. Dos sumas que difieren solo en el orden de sus sumandos se consideran la misma partición. Por ejemplo, las particiones de 4 son:

• 4
• 3 + 1
• 2 + 2
• 2 + 1 + 1
• 1 + 1 + 1 + 1

Eso da \(p(4) = 5\). Por convención \(p(0) = 1\), contando la "partición vacía". Algunos valores más: \(p(1) = 1,\ p(5) = 7,\ p(10) = 42,\ p(50) = 204{,}226,\ p(100) = 190{,}569{,}292.\)

Función Generadora

Leonhard Euler descubrió que la función generadora de \(p(n)\) tiene una forma de producto bellamente compacta:

Cada factor \(1/(1 - x^k) = 1 + x^k + x^{2k} + \ldots\) contribuye a la elección de cuántas veces aparece la parte \(k\) en la partición. Al multiplicar los factores entre sí, se genera cada partición exactamente una vez.

Diagramas de Young (Ferrers)

Un diagrama de Young (también llamado diagrama de Ferrers) representa una partición visualmente como una matriz de cuadros justificada a la izquierda. Cada fila corresponde a una parte, y las filas se enumeran de mayor a menor. Por ejemplo, la partición \(4 + 2 + 1\) de 7 se convierte en:

Los diagramas de Young te permiten "ver" identidades de partición. Al reflejar un diagrama a través de su diagonal principal, las filas se transforman en columnas, lo que corresponde a la partición conjugada. Esta calculadora genera un diagrama de Young para cada partición de \(n\) siempre que \(n \le 15\).

Teorema de Partición de Euler

Uno de los resultados más elegantes de Euler establece:

Por ejemplo, las particiones de 7 en partes distintas son \(\{7\}, \{6+1\}, \{5+2\}, \{4+3\}, \{4+2+1\}\) — cinco de ellas. Las particiones de 7 en partes impares son \(\{7\}, \{5+1+1\}, \{3+3+1\}, \{3+1+1+1+1\}, \{1+1+1+1+1+1+1\}\) — también cinco. El panel de resumen de la calculadora informa tanto \(q(n)\) como \(o(n)\) para que puedas verificar esta identidad para el valor de \(n\) que elijas.

La Asintótica de Hardy-Ramanujan

En 1918, G.H. Hardy y Srinivasa Ramanujan demostraron la primera fórmula que capturaba la tasa de crecimiento real de \(p(n)\) para n grandes:

El resultado surgió del método del círculo de Hardy-Ramanujan, que integra la función generadora alrededor de singularidades en el círculo unitario. Hans Rademacher la perfeccionó en 1937 en una serie convergente exacta — una de las fórmulas más célebres de la teoría analítica de números.

Congruencias de Partición de Ramanujan

Mientras estudiaba la tabla de valores de partición, Ramanujan notó tres patrones de divisibilidad asombrosos:

Por ejemplo, \(p(4)=5,\ p(9)=30,\ p(14)=135,\ p(19)=490,\ p(24)=1575\) son todos divisibles por 5. La calculadora marca automáticamente cuando tu \(n\) elegida se encuentra en una de estas clases.

Cómo usar esta calculadora

1. Ingresa un número entero no negativo hasta 500 en el cuadro de entrada, o haz clic en uno de los ejemplos rápidos famosos (0, 4, 10, 42, 100, 200).
2. Haz clic en "Calcular particiones". La herramienta calcula \(p(n)\), \(q(n)\), \(o(n)\) y la estimación de Hardy-Ramanujan.
3. Revisa el panel principal que muestra \(p(n)\) como un número de titular grande, luego explora la cuadrícula de resumen para las partes distintas, las partes impares, la estimación asintótica y el porcentaje de error.
4. Inspecciona los diagramas de Young — si \(n \le 15\), cada partición se dibuja como un diagrama de Young animado en una cuadrícula adaptable.
5. Explora el gráfico de crecimiento — traza \(p(k)\), \(q(k)\) y la curva de Hardy-Ramanujan para \(k = 0, 1, \ldots, n\). Alterna entre escala lineal y logarítmica para ver la forma asintótica.
6. Consulta la tabla de crecimiento — una vista línea por línea de \(p(k), q(k), o(k)\) para k pequeños. Úsala para detectar la primera aparición de cada congruencia de Ramanujan.

Ejemplo paso a paso: Particiones de 5

Analicemos \(n = 5\). Todas las particiones son:

• \(5\)
• \(4 + 1\)
• \(3 + 2\)
• \(3 + 1 + 1\)
• \(2 + 2 + 1\)
• \(2 + 1 + 1 + 1\)
• \(1 + 1 + 1 + 1 + 1\)

Así que \(p(5) = 7\). Particiones en partes distintas: \(\{5\}, \{4+1\}, \{3+2\}\) — tres de ellas, por lo que \(q(5) = 3\). Particiones en partes impares: \(\{5\}, \{3+1+1\}, \{1+1+1+1+1\}\) — también tres, por lo que \(o(5) = 3\). El teorema de Euler se cumple. Finalmente, \(n = 5 \equiv 0 \pmod 5\) no tiene la forma \(5k+4\), por lo que la congruencia de \(5\) no se aplica; sin embargo, \(p(4) = 5\) sí satisface \(p(5k+4) \equiv 0 \pmod 5\).

Valores clásicos de p(n)

Historia

• Década de 1750: Leonhard Euler estudia las particiones y descubre la identidad de la función generadora y el teorema "distintas = impares".
• 1915: El Mayor Percy MacMahon publica una tabla de \(p(n)\) para n hasta 200 — calculada a mano.
• 1918: Hardy y Ramanujan demuestran la fórmula asintótica usando el método del círculo.
• 1919: Ramanujan publica las famosas congruencias \(p(5k+4),\ p(7k+5),\ p(11k+6)\).
• 1937: Hans Rademacher perfecciona la fórmula de Hardy-Ramanujan en una serie convergente exacta.
• 2011: Ken Ono y Jan Bruinier demuestran que \(p(n)\) se puede expresar como una suma algebraica finita en cada número entero positivo.

Aplicaciones

• Combinatoria y teoría de la representación — las particiones indexan representaciones irreducibles del grupo simétrico \(S_n\).
• Mecánica estadística — los recuentos de particiones aparecen en la entropía de los gases cuánticos ideales y en las funciones de partición de la teoría de cuerdas.
• Formas modulares — la función generadora de \(p(n)\) está estrechamente relacionada con la función eta de Dedekind.
• Informática — los puntos de referencia de enumeración de suma de subconjuntos y programación entera utilizan con frecuencia recuentos de partición.

Preguntas frecuentes

¿Qué es la función de partición p(n)?

\(p(n)\) cuenta el número de formas de expresar \(n\) como una suma de números enteros positivos donde el orden no importa. \(p(4) = 5\) porque 4 se puede escribir como \(4\), \(3+1\), \(2+2\), \(2+1+1\) o \(1+1+1+1\). Por convención \(p(0) = 1\).

¿Qué es un diagrama de Young o de Ferrers?

Un diagrama de Young es una representación visual de una partición: cada parte se convierte en una fila de cuadros justificados a la izquierda, con las partes enumeradas de mayor a menor de arriba hacia abajo. Para \(4+2+1\), dibuja una fila de 4, una fila de 2 y una fila de 1. Esta calculadora genera un diagrama de Young para cada partición cuando \(n \le 15\).

¿Qué dice el teorema de partición de Euler?

Para cada número entero positivo \(n\), el número de particiones de \(n\) en partes distintas es igual al número de particiones de \(n\) en partes impares. Para \(n = 5\): las partes distintas dan \(\{5\}, \{4+1\}, \{3+2\}\); las partes impares dan \(\{5\}, \{3+1+1\}, \{1+1+1+1+1\}\). Ambos recuentos son iguales a 3.

¿Cuál es la fórmula asintótica de Hardy-Ramanujan?

Establece que \(p(n) \sim \frac{1}{4n\sqrt{3}} \exp\!\left(\pi \sqrt{2n/3}\right)\) a medida que \(n \to \infty\). Esta fue la primera fórmula para describir la tasa exacta de crecimiento de \(p(n)\), descubierta en 1918 por G.H. Hardy y Srinivasa Ramanujan.

¿Qué son las congruencias de partición de Ramanujan?

Tres patrones de divisibilidad notables: \(p(5k+4) \equiv 0 \pmod 5\), \(p(7k+5) \equiv 0 \pmod 7\) y \(p(11k+6) \equiv 0 \pmod{11}\). Por ejemplo, \(p(4)=5, p(9)=30, p(14)=135\) son todos divisibles por 5.

¿Qué tan rápido crece p(n)?

p(n) crece de forma subexponencial pero más rápido que cualquier polinomio, aproximadamente como \(\exp(\pi \sqrt{2n/3})\). Para comparar: \(p(10)=42\), \(p(50)=204{,}226\), \(p(100)=190{,}569{,}292\) y \(p(200) \approx 4 \times 10^{12}\). Utiliza el interruptor de escala logarítmica del gráfico para visualizar esta curva de crecimiento.

Recursos adicionales

• Función de partición - Wikipedia
• Congruencias de Ramanujan - Wikipedia