Calculadora de Função de Partição

Bem-vindo à Calculadora de Função de Partição, um explorador completo para um dos objetos mais fascinantes da combinatória. Insira qualquer número inteiro não negativo \(n\) e esta ferramenta calculará \(p(n)\) — o número de maneiras de escrever \(n\) como uma soma de números inteiros positivos onde a ordem não importa — juntamente com o número de partições em partes distintas \(q(n)\), o número de partições em partes ímpares \(o(n)\), a estimativa assintótica de Hardy-Ramanujan, cada congruência de Ramanujan correspondente e (para \(n\) pequenos) cada partição renderizada como um diagrama de Young animado.

O que é a Função de Partição p(n)?

A função de partição \(p(n)\) conta o número de maneiras de escrever \(n\) como uma soma de números inteiros positivos, desconsiderando a ordem. Duas somas que diferem apenas na ordem de suas parcelas são consideradas a mesma partição. Por exemplo, as partições de 4 são:

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

Isso resulta em \(p(4) = 5\). Por convenção \(p(0) = 1\), contando a "partição vazia". Mais alguns valores: \(p(1) = 1,\ p(5) = 7,\ p(10) = 42,\ p(50) = 204{,}226,\ p(100) = 190{,}569{,}292.\)

Função Geradora

Leonhard Euler descobriu que a função geradora para \(p(n)\) possui uma forma de produto lindamente compacta:

Cada fator \(1/(1 - x^k) = 1 + x^k + x^{2k} + \ldots\) contribui com a escolha de quantas vezes a parte \(k\) aparece na partição. Multiplicar os fatores juntos gera cada partição exatamente uma vez.

Diagramas de Young (Ferrers)

Um diagrama de Young (também chamado de diagrama de Ferrers) representa uma partição visualmente como uma matriz de caixas alinhada à esquerda. Cada linha corresponde a uma parte, e as linhas são listadas da maior para a menor. Por exemplo, a partição \(4 + 2 + 1\) de 7 torna-se:

Os diagramas de Young permitem que você "veja" identidades de partição. Refletir um diagrama em sua diagonal principal transforma linhas em colunas, o que corresponde à partição conjugada. Esta calculadora renderiza um diagrama de Young para cada partição de \(n\) sempre que \(n \le 15\).

Teorema de Partição de Euler

Um dos resultados mais elegantes de Euler afirma:

Por exemplo, as partições de 7 em partes distintas são \(\{7\}, \{6+1\}, \{5+2\}, \{4+3\}, \{4+2+1\}\) — cinco delas. As partições de 7 em partes ímpares são \(\{7\}, \{5+1+1\}, \{3+3+1\}, \{3+1+1+1+1\}, \{1+1+1+1+1+1+1\}\) — também cinco. O painel de resumo da calculadora relata tanto \(q(n)\) quanto \(o(n)\) para que você possa verificar esta identidade para o \(n\) escolhido.

A Assintótica de Hardy-Ramanujan

Em 1918, G.H. Hardy e Srinivasa Ramanujan provaram a primeira fórmula que capturou a verdadeira taxa de crescimento de \(p(n)\) para grandes \(n\):

O resultado surgiu do método do círculo de Hardy-Ramanujan, que integra a função geradora em torno de singularidades no círculo unitário. Hans Rademacher o refinou em 1937 em uma série convergente exata — uma das fórmulas mais celebradas na teoria analítica dos números.

Congruências de Partição de Ramanujan

Ao estudar a tabela de valores de partição, Ramanujan notou três padrões de divisibilidade surpreendentes:

Por exemplo, \(p(4)=5,\ p(9)=30,\ p(14)=135,\ p(19)=490,\ p(24)=1575\) são todos divisíveis por 5. A calculadora sinaliza automaticamente sempre que o \(n\) escolhido estiver em uma dessas classes.

Como Usar Esta Calculadora

1. Insira um número inteiro não negativo até 500 na caixa de entrada, ou clique em um dos exemplos rápidos famosos (0, 4, 10, 42, 100, 200).
2. Clique em "Calcular Partições". A ferramenta calcula \(p(n)\), \(q(n)\), \(o(n)\) e a estimativa de Hardy-Ramanujan.
3. Revise o painel principal mostrando \(p(n)\) como um número de destaque grande, depois examine a grade de resumo para partes distintas, partes ímpares, a estimativa assintótica e o erro percentual.
4. Inspecione os diagramas de Young — se \(n \le 15\), cada partição é desenhada como um diagrama de Young animado em uma grade responsiva.
5. Explore o gráfico de crescimento — plota \(p(k)\), \(q(k)\) e a curva de Hardy-Ramanujan para \(k = 0, 1, \ldots, n\). Alterne entre a escala linear e logarítmica para ver a forma assintótica.
6. Leia a tabela de crescimento — uma visualização linha por linha de \(p(k), q(k), o(k)\) para \(k\) pequenos. Use-a para identificar a primeira ocorrência de cada congruência de Ramanujan.

Exemplo Prático: Partições de 5

Vamos percorrer \(n = 5\). Todas as partições são:

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

Portanto, \(p(5) = 7\). Partições em partes distintas: \(\{5\}, \{4+1\}, \{3+2\}\) — três delas, então \(q(5) = 3\). Partições em partes ímpares: \(\{5\}, \{3+1+1\}, \{1+1+1+1+1\}\) — também três, então \(o(5) = 3\). O teorema de Euler se mantém. Por fim, \(n = 5 \equiv 0 \pmod 5\) não é da forma \(5k+4\), então a congruência de 5 não se aplica; no entanto, \(p(4) = 5\) satisfaz \(p(5k+4) \equiv 0 \pmod 5\).

Valores Clássicos de p(n)

História

• Década de 1750: Leonhard Euler estuda partições e descobre a identidade da função geradora e o teorema "distintas = ímpares".
• 1915: Major Percy MacMahon publica uma tabela de \(p(n)\) para \(n\) até 200 — calculada manualmente.
• 1918: Hardy e Ramanujan provam a fórmula assintótica usando o método do círculo.
• 1919: Ramanujan publica as famosas congruências \(p(5k+4),\ p(7k+5),\ p(11k+6)\).
• 1937: Hans Rademacher refina Hardy-Ramanujan em uma série convergente exata.
• 2011: Ken Ono e Jan Bruinier provam que \(p(n)\) pode ser expressa como uma soma algébrica finita em cada número inteiro positivo.

Aplicações

• Combinatória e teoria de representação — as partições indexam representações irredutíveis do grupo simétrico \(S_n\).
• Mecânica estatística — as contagens de partições aparecem na entropia de gases quânticos ideais e em funções de partição da teoria das cordas.
• Formas modulares — a função geradora para \(p(n)\) está intimamente relacionada à função eta de Dedekind.
• Ciência da computação — benchmarks de enumeração de soma de subconjuntos e programação inteira frequentemente usam contagens de partições.

Perguntas Frequentes

O que é a função de partição p(n)?

\(p(n)\) conta o número de maneiras de expressar \(n\) como uma soma de números inteiros positivos onde a ordem não importa. \(p(4) = 5\) porque 4 pode ser escrito como \(4\), \(3+1\), \(2+2\), \(2+1+1\) ou \(1+1+1+1\). Por convenção \(p(0) = 1\).

O que é um diagrama de Young ou Ferrers?

Um diagrama de Young é uma representação visual de uma partição: cada parte torna-se uma linha de caixas alinhadas à esquerda, com as partes listadas da maior para a menor, de cima para baixo. Para \(4+2+1\), desenhe uma linha de 4, uma linha de 2 e uma linha de 1. Esta calculadora renderiza um diagrama de Young para cada partição quando \(n \le 15\).

O que diz o teorema de partição de Euler?

Para cada número inteiro positivo \(n\), o número de partições de \(n\) em partes distintas é igual ao número de partições de \(n\) em partes ímpares. Para \(n = 5\): partes distintas resultam em \(\{5\}, \{4+1\}, \{3+2\}\); partes ímpares resultam em \(\{5\}, \{3+1+1\}, \{1+1+1+1+1\}\). Ambas as contagens são iguais a 3.

Qual é a fórmula assintótica de Hardy-Ramanujan?

Afirma que \(p(n) \sim \frac{1}{4n\sqrt{3}} \exp\!\left(\pi \sqrt{2n/3}\right)\) conforme \(n \to \infty\). Esta foi a primeira fórmula a descrever a taxa exata de crescimento de \(p(n)\), descoberta em 1918 por G.H. Hardy e Srinivasa Ramanujan.

O que são as congruências de partição de Ramanujan?

Três padrões notáveis de divisibilidade: \(p(5k+4) \equiv 0 \pmod 5\), \(p(7k+5) \equiv 0 \pmod 7\) e \(p(11k+6) \equiv 0 \pmod{11}\). Por exemplo, \(p(4)=5, p(9)=30, p(14)=135\) são todos divisíveis por 5.

Quão rápido p(n) cresce?

p(n) cresce subexponencialmente, mas mais rápido do que qualquer polinômio, aproximadamente como \(\exp(\pi \sqrt{2n/3})\). Para comparação: \(p(10)=42\), \(p(50)=204{,}226\), \(p(100)=190{,}569{,}292\), e \(p(200) \approx 4 \times 10^{12}\). Use a alternância de escala logarítmica do gráfico para visualizar esta curva de crescimento.

Recursos Adicionais

• Função de Partição - Wikipédia
• Tableau de Young - Wikipédia
• Congruências de Ramanujan - Wikipédia
• OEIS A000041 - Número de partições de n