Inequalities for the number of $t$-hooks in two partition classes arising from sum-product identities

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della teoria delle partizioni, focalizzandosi sulle disuguaglianze riguardanti il numero di ganci (hook lengths) di lunghezza $t$ (detti $t$-hook) in classi specifiche di partizioni.

• Contesto Storico: Il punto di partenza è un risultato di Andrews (2020) che generalizza l'identità di Eulero. Andrews ha dimostrato che per le partizioni di $n$ in parti distinte rispetto a quelle in parti dispari, il numero totale di ganci di lunghezza 1 ($t=1$) è maggiore o uguale nelle prime rispetto alle seconde.
• Congettura: Ballantine, Burson, Craig, Folsom e Wen hanno congetturato che per $t \ge 2$, questa disuguaglianza si inverte per $n$ sufficientemente grande (cioè, le partizioni con parti dispari avrebbero più $t$-hook rispetto a quelle con parti distinte). Questa congettura è stata provata per $t=2,3$ e successivamente risolta per tutti i casi.
• Obiettivo del Paper: Estendere questo problema di "bias" (tendenza) dei ganci ad altre identità fondamentali di partizioni che collegano condizioni di "gap" (differenza tra parti) a condizioni di congruenza. Nello specifico, gli autori analizzano:
  1. La prima identità di Rogers-Ramanujan (gap $\ge 2$ vs parti $\equiv 1, 4 \pmod 5$).
  2. La prima identità di Little Göllnitz (gap $\ge 2$ con restrizioni sulle parti dispari vs parti $\equiv 1, 5, 6 \pmod 8$).

2. Metodologia

Gli autori adottano un approccio analitico basato sulla teoria delle funzioni generatrici e sull'analisi asintotica.

• Funzioni Generatrici Bivariate: Per ogni classe di partizioni $R_j$ (o $G_j$), costruiscono funzioni generatrici bivariate $R_{j,t}(x, q)$ dove l'esponente di $x$ conta il numero di $t$-hook. Derivando rispetto a $x$ e valutando in $x=1$, ottengono le funzioni generatrici univariate $S_{j,t}(q)$ per il numero totale di $t$-hook.
• Identificazione delle Forme: Le funzioni generatrici risultanti sono identificate come somme di Nahm (serie $q$ della forma $\sum A_n(q)$ con rapporti razionali) o prodotti di prodotti infiniti e funzioni razionali.
• Analisi Asintotica (Metodo del Punto di Sella e Teorema di Tauberiano):
  • Per stimare i coefficienti $r_{j,t}(n)$ e $g_{j,t}(n)$ per $n \to \infty$, gli autori utilizzano il Teorema di Tauberiano di Ingham. Questo teorema richiede il comportamento asintotico della funzione generatrice quando $q \to 1$ (ovvero $z \to 0$ con $q=e^{-z}$).
  • Stima del Picco: Analizzano il comportamento del termine generale della serie generatrice per identificare la regione di "picco" (dove il termine è massimale). Per la prima identità di Rogers-Ramanujan, il picco si verifica quando $n \approx \frac{\log(\phi)}{\varepsilon}$ (dove $\phi$ è il rapporto aureo).
  • Decomposizione: Scompongono la somma in una parte principale (intorno al picco, $N_\varepsilon$) e una parte di errore (lontano dal picco).
  • Stime di Errore: Utilizzano il Lemma di Ingham e stime complesse (espansioni asintotiche di funzioni $q$-Pochhammer e polinomi di Bernoulli) per dimostrare che il contributo della parte lontana dal picco è trascurabile rispetto alla parte principale.
  • Estensione del Dominio: Dimostrano che l'asintotica ottenuta in un cono ristretto di $y$ (parte immaginaria di $z$) può essere estesa a un dominio più ampio, essenziale per applicare il teorema di Ingham.

3. Contributi Chiave e Risultati Principali

A. Prima Identità di Rogers-Ramanujan

Definiamo:

• $r_{1,t}(n)$: numero totale di $t$-hook nelle partizioni con parti che differiscono di almeno 2.
• $r_{2,t}(n)$: numero totale di $t$-hook nelle partizioni con parti $\equiv 1, 4 \pmod 5$.

Teoremi Asintotici (per $n \to \infty$):

• Per $t=1$: $r_{1,1}(n) \sim r_{2,1}(n) \sim C_1 n^{-1/4} e^{2\pi\sqrt{n/15}}$.
  • Tuttavia, un'analisi più fine dei termini di ordine inferiore rivela che $r_{1,1}(n) > r_{2,1}(n)$.
• Per $t=2$: $r_{1,2}(n) \sim r_{2,2}(n) \sim C_2 n^{-1/4} e^{2\pi\sqrt{n/15}}$.
  • In questo caso, l'analisi rivela che $r_{1,2}(n) < r_{2,2}(n)$.

Conclusione (Teorema 1.2): Per $n$ sufficientemente grande:
$$r_{1,1}(n) > r_{2,1}(n) \quad \text{e} \quad r_{1,2}(n) < r_{2,2}(n).$$

B. Prima Identità di Little Göllnitz

Definiamo:

• $g_{1,t}(n)$: numero totale di $t$-hook nelle partizioni con gap $\ge 2$ e nessuna coppia di parti dispari che differisce esattamente di 2.
• $g_{2,t}(n)$: numero totale di $t$-hook nelle partizioni con parti $\equiv 1, 5, 6 \pmod 8$.

Teoremi Asintotici (per $n \to \infty$):

• Per $t=1$: $g_{1,1}(n) \sim g_{2,1}(n) \sim C_3 n^{-1/4} e^{\pi\sqrt{n/2}}$.
  • Risultato: $g_{1,1}(n) > g_{2,1}(n)$.
• Per $t=2$: $g_{1,2}(n) \sim g_{2,2}(n) \sim C_4 n^{-1/4} e^{\pi\sqrt{n/2}}$.
  • Risultato: $g_{1,2}(n) < g_{2,2}(n)$.

Conclusione (Teorema 1.5): Per $n$ sufficientemente grande:
$$g_{1,1}(n) > g_{2,1}(n) \quad \text{e} \quad g_{1,2}(n) < g_{2,2}(n).$$

4. Significato e Implicazioni

• Generalizzazione del Bias dei Ganci: Il lavoro conferma che il fenomeno osservato da Andrews e congetturato da Ballantine et al. non è limitato all'identità di Eulero, ma è una proprietà strutturale più profonda che si manifesta anche nelle identità di Rogers-Ramanujan e Göllnitz.
• Metodologia per Somme di Nahm: Il paper fornisce un modello dettagliato per l'analisi asintotica delle somme di Nahm, che sono spesso difficili da trattare a causa della loro struttura complessa. Gli autori semplificano le tecniche esistenti (come quelle di Bringmann et al.) fornendo stime di errore rigorose e dettagliate.
• Congettura per $t > 2$: Basandosi sui risultati per $t=1,2$ e su esperimenti numerici, gli autori congetturano che per ogni $t > 2$, la disuguaglianza si inverte definitivamente a favore delle partizioni con condizioni di congruenza (cioè $r_{1,t}(n) < r_{2,t}(n)$ e $g_{1,t}(n) < g_{2,t}(n)$ per $n$ grande).
• Struttura Unificata: Il risultato suggerisce una dicotomia universale: le partizioni definite da condizioni di "gap" tendono ad avere più ganci di lunghezza 1 (spesso correlati al numero di parti o parti distinte), mentre le partizioni definite da condizioni di congruenza tendono ad avere più ganci di lunghezza maggiore ($t \ge 2$).

In sintesi, il paper combina tecniche avanzate di analisi complessa e teoria delle funzioni $q$ per risolvere problemi combinatori aperti, fornendo nuove evidenze su come le strutture locali (ganci) riflettano le differenze globali tra classi di partizioni definite da identità classiche.