Asymptotic Formula for $(t+1)$-Regular Partitions

1. Il Problema

L'articolo si concentra sullo studio asintotico delle partizioni $t$-regolari. Una partizione di un intero positivo $N$ è definita $t$-regolare se nessuno dei suoi parti è divisibile per $t$.
Il numero di tali partizioni è denotato con $p(N, t-1)$ (o $p(N, t)$ nel contesto specifico dell'articolo, dove si considera la regolarità rispetto a $t+1$). Sebbene la funzione di partizione classica $p(N)$ sia stata risolta da Hardy e Ramanujan (1918) e raffinata da Rademacher (1938), le partizioni vincolate presentano sfide analitiche aggiuntive.

Il problema centrale affrontato è la derivazione di formule asintotiche esplicite per $p(N, t)$ quando il parametro $t$ non è necessariamente fissato, ma varia in relazione a $N$.

• Stato dell'arte: Nel 1971, Hagis aveva derivato una formula asintotica per $p(N, t)$ utilizzando il metodo del cerchio, ma solo nel caso in cui $t$ fosse fissato.
• Obiettivo: Estendere il risultato di Hagis a diversi intervalli di $t$ (inclusi casi in cui $t$ cresce con $N$), ottenere stime di errore esplicite e applicare questi risultati a problemi di teoria dei gruppi (specificamente le tabelle dei caratteri dei gruppi simmetrici).

2. Metodologia

Gli autori adottano il metodo del punto di sella (saddle point method) per stimare il coefficiente di Fourier della funzione generatrice associata alle partizioni $t$-regolari.

• Funzione Generatrice: La funzione generatrice per $p(N, t)$ è data da:
  $$G(q, t) = \frac{F(q)}{F(q^{t+1})} = \frac{\eta((t+1)z)}{\eta(z)}$$
  dove $q = e^{2\pi i z}$ e $\eta(z)$ è la funzione eta di Dedekind.
• Integrale di Cauchy: Il numero di partizioni è espresso come un integrale di contorno:
  $$p(N, t) = \int_{-1/2}^{1/2} \exp(-2\pi i z L) g_t(z) \, dx$$
  con $L = N + t/24$ e $g_t(z) = \eta((t+1)z)/\eta(z)$.
• Analisi del Punto di Sella:
  1. Si definisce una funzione $a(z) = -2\pi i N z + \log g_t(z)$.
  2. Si trova il punto di sella $y > 0$ risolvendo $a'(iy) = 0$, che porta all'equazione:
     $$\frac{\mu_1((t+1)iy) - (t+1)\mu_1(iy)}{(t+1)y^2} = N + \frac{t}{24}$$
     dove $\mu_k(z)$ sono funzioni derivate dal logaritmo della funzione eta.
  3. L'integrale viene diviso in due regioni: una piccola intorno al punto di sella ($|x| < y/3$) dove si usa lo sviluppo di Taylor, e una regione esterna dove si dimostra che il contributo è trascurabile (errore esponenziale).
  4. Per gestire la regione esterna, gli autori utilizzano le proprietà modulari della funzione eta ($SL_2(\mathbb{Z})$) per ottenere limiti inferiori su $|\eta(z)|$ quando la parte immaginaria è piccola.

3. Contributi Chiave e Risultati Principali

Il lavoro fornisce formule asintotiche esplicite per $p(N, t)$ in tre diverse fasce di valori per $t$ rispetto a $N$:

A. Teorema 1.1: Formula Generale

Stabilisce l'esistenza di un unico punto di sella $y$ e fornisce una formula asintotica generale in termini di $y$ e delle funzioni $\mu_k$. Questa formula è precisa ma non esplicita perché $y$ è definito implicitamente.

B. Teorema 1.2: Formule Esplicite per Intervalli di $t$

Gli autori risolvono l'equazione del punto di sella per ottenere stime esplicite in tre casi:

1. Caso $t$ piccolo (fissato o crescente lentamente):
   Se $t+1 \leq \frac{2\pi}{(1/2+\epsilon)\log(N)} \sqrt{\frac{24(t+1)(N+t/24)}{t}}$, si ottiene una formula precisa con un termine di errore $O(N^{-1/2})$. Questa formula generalizza e raffina il risultato di Hagis, includendo termini esponenziali corretti dipendenti da $\rho_1$.
   $$p(N, t) \approx \sqrt{12} A_t(N) \exp\left(2\pi\sqrt{6}\sqrt{\frac{t}{t+1}\left(N+\frac{t}{24}\right)}\right) \times (\text{correzioni})$$

2. Caso intermedio:
   Per valori di $t$ superiori al primo caso ma minori di $\sqrt{24N}$, viene fornita una stima superiore (upper bound) per $p(N, t)$, poiché la semplificazione esatta diventa complessa.

3. Caso $t$ grande ($t > \sqrt{24N}$):
   Quando $t$ è sufficientemente grande, il comportamento di $p(N, t)$ si avvicina a quello delle partizioni non vincolate $p(N)$. La formula mostra che:
   $$p(N, t) = p(N) \exp\left(-\nu_1 \exp\left(-\frac{\pi(t+1)}{\sqrt{6N}}\right)\right) (1 + O(N^{-1/2}))$$
   Questo indica che per $t$ molto grandi, la restrizione "nessuna parte divisibile per $t$" ha un impatto esponenzialmente piccolo sul numero totale di partizioni.

C. Teorema 1.3: Recupero del Risultato di Hagis

Dimostrano che quando $t$ è fissato, la loro formula si riduce esattamente alla formula asintotica di Hagis, confermando la coerenza del metodo.

4. Applicazione: Zeri nelle Tabelle dei Caratteri

Un contributo significativo è l'applicazione di questi risultati alla teoria dei gruppi, in particolare per stimare il numero di zeri nelle tabelle dei caratteri del gruppo simmetrico $S_N$.

• Sia $Z_t(N)$ il numero di coppie $(\lambda, \mu)$ tali che il carattere irriducibile $\chi_\lambda(\mu) = 0$, dove $\lambda$ è una partizione $t$-core.
• Utilizzando le nuove stime per $p(N, t)$, gli autori generalizzano i risultati di McSpirit e Ono (che valevano solo per $t$ fissato) a qualsiasi $t$ (fino a $t \ll N^{1/2-\delta}$).
• Risultato: Dimostrano che $Z_t(N) \sim c_t(N) p(N)$ in un intervallo molto più ampio di $t$ rispetto alla letteratura precedente.

5. Significato e Impatto

• Avanzamento Metodologico: L'uso del metodo del punto di sella invece del metodo del cerchio permette di ottenere stime di errore più controllate e di gestire intervalli di parametri $t$ che variano dinamicamente con $N$, cosa difficile con il metodo classico di Hagis.
• Generalizzazione: Estende la comprensione delle partizioni regolari da un parametro fisso a un parametro variabile, colmando il divieto tra il comportamento "piccolo $t$" e "grande $t$".
• Interdisciplinarità: Collega direttamente l'analisi asintotica delle funzioni di partizione alla teoria delle rappresentazioni dei gruppi simmetrici, fornendo strumenti quantitativi precisi per lo studio degli zeri nei caratteri.
• Precisione: Le formule ottenute includono termini di correzione espliciti e costanti numeriche ben definite (es. $1 < \rho_1 < 1.00873$), offrendo una precisione superiore rispetto alle stime qualitative precedenti.

In sintesi, questo lavoro rappresenta un passo avanti significativo nella teoria analitica delle partizioni, fornendo un quadro unificato e rigoroso per l'analisi asintotica delle partizioni $t$-regolari in un ampio spettro di parametri.