🔢 mathematics

A note on the partition function of a rectangle

Questo articolo investiga il comportamento asintotico delle funzioni di partizione di rettangoli, stabilendo che il numero di modi per partizionare un quadrato $n \times n$ cresce come $\exp\left( \left(\frac{\pi}{\sqrt{3}}+o(1)\right)n\sqrt{\log n} \right)$ mentre le partizioni di un rettangolo $3 \times n$ crescono come $\exp\left( \pi\sqrt{\frac{11n}{3}}+O(\log n) \right)$ .

Autori originali: Krystian Gajdzica, Maciej Zakarczemny

Pubblicato 2026-08-11

📖 5 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Krystian Gajdzica, Maciej Zakarczemny

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Immagina di essere un maestro costruttore con una scorta infinita di mattoncini LEGO, ma con un colpo di scena: puoi usare solo mattoncini rettangolari e devi costruire un muro perfetto e solido, senza spazi vuoti o sovrapposizioni. Ora, immagina di avere un progetto specifico per un muro che è un quadrato perfetto, diciamo largo $n$ blocchi e alto $n$ blocchi. La domanda che i matematici amano porre è: "In quanti modi diversi puoi disporre questi mattoncini per riempire quel quadrato?". Non si tratta solo di impilarli in linea; si tratta di mescolare e abbinare diverse dimensioni — piccoli quadrati $1\times1$ , lunghe strisce $1\times5$ o blocchi massicci $2\times3$ . Nel mondo della matematica, questo è chiamato una "partizione", e contare queste disposizioni è come cercare di contare ogni possibile modo per risolvere un puzzle gigante e complesso.

Per molto tempo, i matematici sono stati ossessionati dal contare queste disposizioni per numeri semplici (come sommare gli interi per ottenere un totale). Ma quando si passa da una semplice linea di numeri a un rettangolo 2D, il problema esplode in complessità. È come passare dal sistemare i libri su un singolo scaffale al riempire un'intera biblioteca con libri di forme diverse. Questo specifico articolo approfondisce due versioni molto difficili di questo puzzle: una in cui il progetto è un quadrato perfetto ( $n \times n$ ) e un'altra in cui è un rettangolo molto lungo e sottile ( $3 \times n$ ). Perché questo è importante? Perché questi modelli compaiono ovunque nella natura e nella fisica, dall'impacchettamento degli atomi al comportamento dei livelli energetici. Comprendere il "tasso di crescita" di questi modelli — quanto velocemente il numero di possibilità aumenta man mano che il muro diventa più grande — è come trovare il codice segreto che governa come la complessità si costruisce nel nostro universo.

Allora, cosa hanno scoperto realmente gli autori di questo articolo? Non hanno solo tirato a indovinare; hanno costruito un rigoroso ponte matematico per passare dal noto all'ignoto. Per prima cosa, hanno affrontato il quadrato ( $n \times n$ ). Hanno dimostrato che, man mano che il quadrato diventa enorme, il numero di modi per piastrellarlo cresce con un ritmo molto specifico e selvaggio. Non è una semplice esplosione; è una crescita "super-esponenziale" che dipende dalla dimensione del quadrato moltiplicata per la radice quadrata del suo logaritmo. In parole povere, hanno scoperto che il numero di modi per piastrellare un quadrato è approssimativamente $e$ elevato alla potenza di $(\pi/\sqrt{3}) \times n \times \sqrt{\log n}$ . Hanno fornito anche dei limiti superiori e inferiori più semplici, "abbastanza buoni", per dimostrare che la loro risposta principale è solida, anche se la formula esatta è un po' complessa.

Poi, si sono volti l'attenzione a un rettangolo lungo e sottile ( $3 \times n$ ). Questa è una creatura diversa perché un lato è fisso a 3 mentre l'altro cresce all'infinito. Qui, gli autori hanno trovato una risposta ancora più precisa. Hanno dimostrato che il numero di modi per piastrellare questo rettangolo è approssimativamente $e$ elevato alla potenza di $\pi \times \sqrt{11n/3}$ . Questa non è solo una supposizione o una simulazione; è un fatto matematicamente provato con un margine di errore molto stretto. Hanno anche dimostrato che un precedente tentativo, basato su una supposizione più debole, era troppo impreciso, sostituendolo con una formula molto più netta e accurata.

Per ottenere queste risposte, gli autori hanno dovuto essere creativi. Per il quadrato, non potevano limitarsi a contare ogni singola piastrellatura (ce ne sono troppe!). Invezione, hanno usato un trucco astuto: hanno contato tutte le possibili collezioni di rettangoli che potrebbero teoricamente occupare l'area, anche se non potrebbero essere effettivamente disposti in un quadrato senza spazi vuoti. Questo ha fornito loro un "soffitto" (un limite superiore). Poi, hanno costruito un "pavimento" specifico (un limite inferiore) dimostrando che potevano sicuramente costruire un numero enorme di quadrati validi usando una specifica strategia di impacchettamento. Stringendo la vera risposta tra questo pavimento e questo soffitto, hanno provato il tasso di crescita esatto. Per il rettangolo $3 \times n$ , hanno usato una strategia simile ma hanno dovuto scomporre il rettangolo in strisce più piccole e gestibili, utilizzando strumenti avanzati della teoria delle "funzioni generatrici" (che sono come formule magiche che trasformano i problemi di conteggio in problemi di algebra) per ottenere i numeri precisi.

L'articolo accenna anche a un mistero più grande e ancora irrisolto. Gli autori suggeriscono che per un rettangolo di dimensioni $m \times n$ (dove $m$ è un numero fisso come 4 o 5 e $n$ diventa enorme), potrebbe esserci un modello universale su come crescono questi numeri. Hanno prove solide per $m=1, 2$ e $3$, ma per $m=4$ e oltre, la risposta rimane una domanda aperta e affascinante. Hanno persino provato a costruire una "scala" di rettangoli per risolvere il caso $4 \times n$ e ha funzionato, ma per $5 \times n$ , lo stesso trucco è fallito, suggerendo che le regole cambiano man mano che il rettangolo si allarga.

In breve, questo articolo è un trionfo di precisione. Prende due problemi di conteggio molto difficili — uno per i quadrati e uno per i rettangoli lunghi — e li risolve con formule esatte. Dice esattamente quanto velocemente cresce il numero di possibilità man mano che le forme diventano più grandi, sostituendo vaghe supposizioni con una matematica dura e provata. Sebbene non abbiano risolto il problema per ogni possibile dimensione di rettangolo, hanno decifrato il codice per i casi più interessanti e hanno fornito una tabella di marcia per quelli che sono ancora in attesa di essere risolti.

Sintesi Tecnica: Una Nota sulla Funzione di Partizione di un Rettangolo

Enunciato del Problema
Questo articolo investiga il comportamento asintotico della funzione di partizione del rettangolo $p(m, n)$ , che conta i modi per partizionare un rettangolo di dimensioni $m \times n$ in un multiset di blocchi rettangolari con lati interi. Due partizioni sono considerate identiche se consistono nello stesso multiset di tipi di blocchi, dove un blocco $a \times b$ è indistinguibile da un blocco $b \times a$ . La disposizione geometrica dei blocchi è irrilevante per il conteggio; conta solo il multiset dei tipi, a condizione che i blocchi possano teoricamente tassellare l'area $m \times n$ .

Gli autori si concentrano su due casi specifici:

Partizioni quadrate: $p(n, n)$ , dove entrambe le dimensioni tendono all'infinito.
Rettangoli ad altezza fissa: $p(3, n)$ , dove l'altezza è fissata a 3 e la larghezza $n$ tende all'infinito.

Questi problemi generalizzano la classica funzione di partizione degli interi $p(n)$ , che corrisponde al caso $p(1, n)$ . Mentre il comportamento asintotico di $p(m, n)$ per $m$ fisso e $n$ grande è stato congetturato dagli autori e da Robin Visser come seguire una specifica forma che coinvolge i numeri armonici, il preciso comportamento per il caso del quadrato ( $m=n$ ) presenta una distinta sfida asintotica.

Metodologia
L'articolo impiega una combinazione di teoria analitica dei numeri, funzioni generatrici e costruzioni combinatorie di packing (imballaggio).

Limiti Superiori tramite Funzioni Generatrici: Gli autori derivano limiti superiori rilassando la condizione geometrica di tassellazione (condizione 3 nella Definizione 1.1). Considerano il numero di multiset di rettangoli con area totale $mn$ indipendentemente dal fatto che possano effettivamente tassellare il rettangolo. Ciò è modellato utilizzando funzioni generatrici della forma $\prod (1-x^{ab})^{-r(ab)}$ , dove $r(ab)$ conta il numero di tipi di rettangoli con area $ab$.
- Per $p(n, n)$ , confrontano la funzione generatrice con quella delle partizioni in parti da un multiset correlato alla funzione divisore $d(s)$ , utilizzando i risultati di Berndt, Robles, Zaharescu e Zeindler.
- Per $p(3, n)$ , decompongono il problema in partizioni che coinvolgono blocchi di altezza 3 e quelle che non li coinvolgono, utilizzando la convoluzione di funzioni generatrici e il teorema tauberiano di Ingham (perfezionato da Bringmann Jennings–Shaffer e Mahlburg) per estrarre i coefficienti asintotici.
Limiti Inferiori tramite Costruzioni di Packing: Per stabilire limiti inferiori, gli autori costruiscono tassellazioni specifiche.
- Per $p(n, n)$ , utilizzano un approccio di "partizione colorata" combinato con un algoritmo di packing greedy. Partizionano il quadrato in strisce orizzontali di diverse altezze e riempiono esse con rettangoli derivati da partizioni intere ristrette.
- Per $p(3, n)$ , impiegano una costruzione a "scala" (staircase), dividendo il rettangolo $3 \times n$ in strisce orizzontali di altezze 3, 2 e 1, e riempiendole con rettangoli di corrispondenti altezze derivati da partizioni intere con parti ristrette.
Analisi Asintotica: Le prove si basano pesantemente sulla formula asintotica di Hardy–Ramanujan per $p(n)$ , sulle proprietà della funzione eta di Dedekind e su stime precise di somme armoniche e funzioni divisore.

Contributi Chiave e Risultati

Formula Asintotica per Partizioni Quadrate ( $p(n, n)$ ):
Gli autori stabiliscono il termine asintotico principale per la funzione di partizione quadrata:
$p(n, n) = \exp\left( \left(\frac{\pi}{\sqrt{3}} + o(1)\right) n \sqrt{\log n} \right)$
Questo risultato è significativo perché differisce dalla forma congetturata per $m$ fisso (che scala come $\sqrt{n}$ ). Il caso del quadrato scala come $n\sqrt{\log n}$ . L'articolo fornisce anche due limiti superiori elementari più deboli e un limite inferiore semplice per illustrare la difficoltà del problema prima di presentare la prova principale.
Formula Asintotica per $p(3, n)$ :
L'articolo dimostra il comportamento asintotico esatto per il rettangolo $3 \times n$ :
$p(3, n) = \exp\left( \pi \sqrt{\frac{11n}{3}} + O(\log n) \right)$
Questo conferma la congettura per $m=3$ con un termine di errore più forte ( $O(\log n)$ nell'esponente) rispetto a quanto precedentemente noto. La costante $\pi\sqrt{11/3}$ è derivata dall'interazione tra le partizioni in parti di dimensione $\ge 3$ e specifici tipi di blocchi consentiti nella geometria $3 \times n$ .
Limiti Superiori Indipendenti:
Gli autori presentano un limite superiore indipendente per $p(3, n)$ che è più debole del risultato principale ma derivato tramite un approccio analitico differente, offrendo una prospettiva alternativa sul problema.
Congetture per $m$ Generale:
Mentre provano il caso per $m=3$ , gli autori reiterano la loro congettura per $m$ fisso $\ge 4$ :
$p(m, n) = \exp\left( \pi \sqrt{\frac{2m H_m}{3} n} + o(\sqrt{n}) \right)$
dove $H_m$ è il numero armonico $m$ -esimo. Notano che il caso del quadrato ( $m=n$ ) rimane un problema distinto in cui entrambe le dimensioni crescono.

Significatività e Rivendicazioni
L'articolo sostiene di aver risolto il preciso comportamento asintotico logaritmico per la funzione di partizione quadrata $p(n, n)$ , un problema che era rimasto aperto nonostante i valori noti per piccoli $n$ . Gli autori sottolineano che il caso del quadrato porta a un problema asintotico fondamentalmente diverso rispetto ai rettangoli ad altezza fissa, poiché entrambi i lati tendono all'infinito.

Per il caso $3 \times n$ , il lavoro fornisce la prima prova della formula asintotica con un termine di errore rigoroso, confermando gli argomenti euristici e l'evidenza numerica precedentemente raccolti. Gli autori osservano con modestia che, sebbene la loro costruzione per $p(4, n)$ sia in linea con la congettura, la costruzione a "scala" utilizzata per $m=3$ e $m=4$ fallisce nel produrre il termine esponenziale congetturato per $m=5$ , suggerendo che potrebbero essere necessarie diverse disposizioni geometriche per altezze fisse superiori.

Il lavoro contribuisce alla teoria più ampia delle partizioni intere estendendo l'analisi asintotica ai problemi di partizione geometrica, colmando il divario tra la classica teoria delle partizioni e i problemi di tassellazione dove l'ordine dei blocchi è irrilevante.

Articoli simili