Calcolatore Funzione di Partizione

Benvenuti nel Calcolatore Funzione di Partizione, un esploratore completo per uno degli oggetti più affascinanti della combinatoria. Inserisci qualsiasi intero non negativo \(n\) e questo strumento calcolerà \(p(n)\) — il numero di modi per scrivere \(n\) come somma di interi positivi dove l'ordine non conta — insieme al numero di partizioni in parti distinte \(q(n)\), il numero di partizioni in parti dispari \(o(n)\), la stima asintotica di Hardy-Ramanujan, ogni congruenza di Ramanujan corrispondente e (per piccoli \(n\)) ogni singola partizione visualizzata come un diagramma di Young animato.

Cos'è la Funzione di Partizione p(n)?

La funzione di partizione \(p(n)\) conta il numero di modi per scrivere \(n\) come somma di interi positivi, senza considerare l'ordine. Due somme che differiscono solo per l'ordine degli addendi sono considerate la stessa partizione. Ad esempio, le partizioni di 4 sono:

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

Ciò fornisce \(p(4) = 5\). Per convenzione \(p(0) = 1\), contando la "partizione vuota". Alcuni altri valori: \(p(1) = 1,\ p(5) = 7,\ p(10) = 42,\ p(50) = 204.226,\ p(100) = 190.569.292.\)

Funzione Generatrice

Leonhard Euler scoprì che la funzione generatrice per \(p(n)\) ha una forma di prodotto meravigliosamente compatta:

Ogni fattore \(1/(1 - x^k) = 1 + x^k + x^{2k} + \ldots\) contribuisce alla scelta di quante volte la parte \(k\) appare nella partizione. Moltiplicando i fattori tra loro si genera ogni partizione esattamente una volta.

Diagrammi di Young (Ferrers)

Un diagramma di Young (chiamato anche diagramma di Ferrers) rappresenta visivamente una partizione come una matrice di quadrati giustificata a sinistra. Ogni riga corrisponde a una parte, e le righe sono elencate dalla più grande alla più piccola. Ad esempio, la partizione \(4 + 2 + 1\) di 7 diventa:

I diagrammi di Young permettono di "vedere" le identità delle partizioni. Riflettere un diagramma rispetto alla sua diagonale principale trasforma le righe in colonne, il che corrisponde alla partizione coniugata. Questo calcolatore genera un diagramma di Young per ogni partizione di \(n\) ogni volta che \(n \le 15\).

Teorema delle Partizioni di Eulero

Uno dei risultati più eleganti di Eulero afferma:

Ad esempio, le partizioni di 7 in parti distinte sono \(\{7\}, \{6+1\}, \{5+2\}, \{4+3\}, \{4+2+1\}\) — cinque. Le partizioni di 7 in parti dispari sono \(\{7\}, \{5+1+1\}, \{3+3+1\}, \{3+1+1+1+1\}, \{1+1+1+1+1+1+1\}\) — anch'esse cinque. Il pannello riassuntivo del calcolatore riporta sia \(q(n)\) che \(o(n)\) in modo da poter verificare questa identità per il valore \(n\) scelto.

L'Asintotica di Hardy-Ramanujan

Nel 1918, G.H. Hardy e Srinivasa Ramanujan dimostrarono la prima formula che catturava il vero tasso di crescita di \(p(n)\) per grandi \(n\):

Il risultato emerse dal metodo del cerchio di Hardy-Ramanujan, che integra la funzione generatrice attorno alle singolarità sul cerchio unitario. Hans Rademacher la perfezionò nel 1937 in una serie convergente esatta — una delle formule più celebri nella teoria analitica dei numeri.

Le Congruenze di Ramanujan per le Partizioni

Studiando la tabella dei valori delle partizioni, Ramanujan notò tre sorprendenti modelli di divisibilità:

Per esempio, \(p(4)=5,\ p(9)=30,\ p(14)=135,\ p(19)=490,\ p(24)=1575\) sono tutti divisibili per 5. Il calcolatore segnala automaticamente quando il numero \(n\) scelto rientra in una di queste classi.

Come Usare Questo Calcolatore

1. Inserisci un intero non negativo fino a 500 nella casella di input, oppure clicca su uno dei famosi esempi rapidi (0, 4, 10, 42, 100, 200).
2. Clicca su "Calcola Partizioni". Lo strumento calcola \(p(n)\), \(q(n)\), \(o(n)\) e la stima di Hardy-Ramanujan.
3. Controlla il pannello hero che mostra \(p(n)\) come titolo di grandi dimensioni, quindi esamina la griglia riassuntiva per le parti distinte, le parti dispari, la stima asintotica e l'errore percentuale.
4. Ispeziona i diagrammi di Young — se \(n \le 15\), ogni singola partizione viene disegnata come un diagramma di Young animato in una griglia responsive.
5. Esplora il grafico di crescita — traccia \(p(k)\), \(q(k)\) e la curva di Hardy-Ramanujan per \(k = 0, 1, \ldots, n\). Passa dalla scala lineare a quella logaritmica per vedere la forma asintotica.
6. Leggi la tabella di crescita — una vista riga per riga di \(p(k), q(k), o(k)\) per piccoli \(k\). Usala per individuare la prima occorrenza di ogni congruenza di Ramanujan.

Esempio Svolto: Partizioni di 5

Esaminiamo \(n = 5\). Tutte le partizioni sono:

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

Quindi \(p(5) = 7\). Partizioni in parti distinte: \(\{5\}, \{4+1\}, \{3+2\}\) — tre, quindi \(q(5) = 3\). Partizioni in parti dispari: \(\{5\}, \{3+1+1\}, \{1+1+1+1+1\}\) — anch'esse tre, quindi \(o(5) = 3\). Il teorema di Eulero è confermato. Infine, \(n = 5 \equiv 0 \pmod 5\) non è della forma \(5k+4\), quindi la congruenza per 5 non si applica; tuttavia, \(p(4) = 5\) soddisfa \(p(5k+4) \equiv 0 \pmod 5\).

Valori Classici di p(n)

Storia

• Anni 1750: Leonhard Euler studia le partizioni e scopre l'identità della funzione generatrice e il teorema "distinte = dispari".
• 1915: Il Maggiore Percy MacMahon pubblica una tabella di \(p(n)\) per \(n\) fino a 200 — calcolata a mano.
• 1918: Hardy e Ramanujan dimostrano la formula asintotica usando il metodo del cerchio.
• 1919: Ramanujan pubblica le famose congruenze \(p(5k+4),\ p(7k+5),\ p(11k+6)\).
• 1937: Hans Rademacher perfeziona Hardy-Ramanujan in una serie convergente esatta.
• 2011: Ken Ono e Jan Bruinier dimostrano che \(p(n)\) può essere espresso come una somma algebrica finita per ogni intero positivo.

Applicazioni

• Combinatoria e teoria delle rappresentazioni — le partizioni indicizzano le rappresentazioni irriducibili del gruppo simmetrico \(S_n\).
• Meccanica statistica — i conteggi delle partizioni appaiono nell'entropia dei gas quantistici ideali e nelle funzioni di partizione della teoria delle stringhe.
• Forme modulari — la funzione generatrice per \(p(n)\) è strettamente correlata alla funzione eta di Dedekind.
• Informatica — i benchmark di enumerazione per il problema della somma dei sottoinsiemi e la programmazione intera usano spesso i conteggi delle partizioni.

Domande Frequenti

Cos'è la funzione di partizione p(n)?

\(p(n)\) conta il numero di modi per esprimere \(n\) come somma di interi positivi dove l'ordine non conta. \(p(4) = 5\) perché 4 può essere scritto come \(4\), \(3+1\), \(2+2\), \(2+1+1\) o \(1+1+1+1\). Per convenzione \(p(0) = 1\).

Cos'è un diagramma di Young o di Ferrers?

Un diagramma di Young è una rappresentazione visiva di una partizione: ogni parte diventa una riga di quadrati giustificati a sinistra, con le parti elencate dalla più grande alla più piccola dall'alto verso il basso. Per \(4+2+1\), si disegna una riga di 4, una riga di 2 e una riga di 1. Questo calcolatore genera un diagramma di Young per ogni partizione quando \(n \le 15\).

Cosa afferma il teorema di Eulero sulle partizioni?

Per ogni intero positivo \(n\), il numero di partizioni di \(n\) in parti distinte è uguale al numero di partizioni di \(n\) in parti dispari. Per \(n = 5\): le parti distinte danno \(\{5\}, \{4+1\}, \{3+2\}\); le parti dispari danno \(\{5\}, \{3+1+1\}, \{1+1+1+1+1\}\). Entrambi i conteggi sono pari a 3.

Qual è la formula asintotica di Hardy-Ramanujan?

Afferma che \(p(n) \sim \frac{1}{4n\sqrt{3}} \exp\!\left(\pi \sqrt{2n/3}\right)\) quando \(n \to \infty\). Questa è stata la prima formula a descrivere l'esatto tasso di crescita di \(p(n)\), scoperta nel 1918 da G.H. Hardy e Srinivasa Ramanujan.

Cosa sono le congruenze di Ramanujan per le partizioni?

Tre notevoli schemi di divisibilità: \(p(5k+4) \equiv 0 \pmod 5\), \(p(7k+5) \equiv 0 \pmod 7\) e \(p(11k+6) \equiv 0 \pmod{11}\). Ad esempio, \(p(4)=5, p(9)=30, p(14)=135\) sono tutti divisibili per 5.

Quanto velocemente cresce p(n)?

p(n) cresce in modo sub-esponenziale ma più velocemente di qualsiasi polinomio, approssimativamente come \(\exp(\pi \sqrt{2n/3})\). Per confronto: \(p(10)=42\), \(p(50)=204.226\), \(p(100)=190.569.292\) e \(p(200) \approx 4 \times 10^{12}\). Usa l'opzione scala logaritmica del grafico per visualizzare questa curva di crescita.

Risorse Aggiuntive

• Funzione di Partizione - Wikipedia (EN)
• Diagramma di Young - Wikipedia
• Congruenze di Ramanujan - Wikipedia (EN)
• OEIS A000041 - Numero di partizioni di n